Homological properties of the relative Frobenius morphism

Abstract

This work concerns maps of commutative noetherian local rings containing a field of positive characteristic. Given such a map $\phi$ of finite flat dimension, the results relate homological properties of the relative Frobenius of $\phi$ to those of the fibers of $\phi$. The focus is on the complete intersection property and the Gorenstein property.

Minor edits, replaced with journal version