In 1969 Kunz [Ku] proved a fundamental result, connecting the regularity of a local ring of positive characteristic with the flatness of its Frobenius endomorphism φ. This was a first indication of the important role that φ would play in homological commutative algebra, especially in reflecting basic homological properties of the ring. Some results in Peskine and Szpiro’s groundbreaking thesis,...