Relative p-adic Hodge theory: Foundations

Abstract

We describe a new approach to relative p-adic Hodge theory based on systematic use of Witt vector constructions and nonarchimedean analytic geometry in the style of both Berkovich and Huber. We give a thorough development of phi-modules over a relative Robba ring associated to a perfect Banach ring of characteristic p, including the relationship between these objects and etale Z_p-local systems and Q_p-local systems on the algebraic and analytic spaces associated to the base ring, and the relationship between etale cohomology and phi-cohomology. We also make a critical link to mixed characteristic by exhibiting an equivalence of tensor categories between the finite etale algebras over an arbitrary perfect Banach algebra over a nontrivially normed complete field of characteristic p and the finite etale algebras over a corresponding Banach Q_p-algebra. This recovers the homeomorphism between the absolute Galois groups of F_p((pi)) and Q_p(mu_{p^infty}) given by the field of norms construction of Fontaine and Wintenberger, as well as generalizations considered by Andreatta, Brinon, Faltings, Gabber, Ramero, Scholl, and most recently Scholze. Using Huber's formalism of adic spaces and Scholze's formalism of perfectoid spaces, we globalize the constructions to give several descriptions of the etale local systems on analytic spaces over p-adic fields. One of these descriptions uses a relative version of the Fargues-Fontaine curve.

210 pages; v5: version to appear in Asterisque

References in corpus (1)

• Almost direct summands

Cited by in corpus (35)

• Relative p-adic Hodge theory, II: Imperfect period rings
• Extended eigenvarieties for overconvergent cohomology
• Geometrization of the local Langlands correspondence: an overview
• An application of the almost purity theorem to the homological conjectures
• Local and global structure of connections on nonarchimedean curves
• Logarithmic adic spaces: some foundational results
• On the Sheafyness Property of Spectra of Banach Rings
• Frobenius modules over multivariate Robba rings
• On the p-adic cohomology of the Lubin-Tate tower
• Line bundles on perfectoid covers: case of good reduction
• Diamantine Picard functors of rigid spaces
• A quotient of the Lubin-Tate tower II
• Topological spectrum and perfectoid Tate rings
• New methods for (phi, Gamma)-modules
• Hodge-Iwasawa Theory I
• Relative p-adic Hodge theory, II: (phi, Gamma)-modules
• Galois representations, $(\phi ,\Gamma )$-modules and prismatic F-crystals
• Some ring-theoretic properties of A_inf
• On commutative nonarchimedean Banach fields
• Pseudocoherent and Perfect Complexes and Vector Bundles on Analytic Adic Spaces
• An embedding problem of Noetherian rings into the Witt vectors
• Projective Geometry for Perfectoid Spaces
• The cohomology of the moduli space of curves at infinite level
• Foundations of Logarithmic Adic Spaces
• The de Rham-Fargues-Fontaine cohomology
• p-adic etale cohomology of period domains
• Period Rings with Big Coefficients and Application II
• Reified valuations and adic spectra
• Category and Cohomology of Hodge-Iwasawa Modules
• Analytic Geometry and Hodge-Frobenius Structure Continued
• A prismatic approach to $(\phi ,\hat{G})$-modules and $F$-crystals
• Topics on Geometric and Representation Theoretic Aspects of Period Rings I
• Perfectoid Shimura varieties of abelian type
• ${\mathbf{A}}_{\text{inf}}$ has uncountable Krull dimension
• Tilting Correspondences of Perfectoid Rings