On tame ramification and centers of $F$-purity

Abstract

We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in between other notions of tame ramification in arithmetic geometry. However, when applied to the Frobenius map, it naturally yields the notion of center of $F$-purity (aka compatibly $F$-split subvariety). As an application, we describe the behavior of centers of $F$-purity under finite covers -- it all comes down to a transitivity property for tame ramification in towers.

arXiv comment38 pages, minor changes based on referee reports, accepted for publication in the Journal of the LMS, comments are very much welcome

References in corpus (12)

• On the behavior of test ideals under finite morphisms
• Centers of F-purity
• Edge ideals: algebraic and combinatorial properties
• Boij-Söderberg theory: Introduction and survey
• Fundamental groups of $F$-regular singularities via $F$-signature
• Finiteness of the number of compatibly-split subvarieties
• Étale fundamental groups of strongly $F$-regular schemes
• Adjoint ideals along closed subvarieties of higher codimension
• On the behavior of $F$-signatures, splitting primes, and test modules under finite covers
• The F-signature Function on the Ample Cone
• Tame fundamental groups of pure pairs and Abhyankar's lemma
• The Cartier core map for Cartier algebras

Cited by in corpus (1)

• Centers of perfectoid purity