$F$-pure homomorphisms, strong $F$-regularity, and $F$-injectivity

Abstract

We discuss Matijevic-Roberts type theorem on strong $F$-regularity, $F$-purity, and Cohen-Macaulay $F$-injective (CMFI for short) property. Related to this problem, we also discuss the base change problem and the openness of loci of these properties. In particular, we define the notion of $F$-purity of homomorphisms using Radu-Andre homomorphisms, and prove basic properties of it. We also discuss a strong version of strong $F$-regularity (very strong $F$-regularity), and compare these two versions of strong $F$-regularity. As a result, strong $F$-regularity and very strong $F$-regularity agree for local rings, $F$-finite rings, and essentially finite-type algebras over an excellent local rings. We prove the $F$-pure base change of strong $F$-regularity.

37 pages, updated the bibliography, and modified some errors

Cited by in corpus (7)

• F-singularities in families
• A uniform treatment of Grothendieck's localization problem
• The gamma construction and asymptotic invariants of line bundles over arbitrary fields
• When is the Albanese morphism an algebraic fiber space in positive characteristic?
• On the upper semi-continuity of HSL numbers
• Finiteness properties of local cohomology for F-pure local rings
• On the semicontinuity problem of fibers and global $F$-regularity