Relative p-adic Hodge theory, II: Imperfect period rings

Abstract

In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a suitable infinite etale cover; in this case, one can decomplete the period sheaves and establish an analogue of the theorem of Cherbonnier-Colmez on the overconvergence of p-adic Galois representations. As an application, we show that relative (phi, Gamma)-modules in our sense coincide with the relative (phi, Gamma)-modules constructed by Andreatta and Brinon in the geometric setting where the latter can be constructed. As another application, we establish that the category of pseudocoherent (phi, Gamma)-modules on an arbitrary rigid analytic space over a p-adic field is abelian, satisfies the ascending chain condition, and is stable under various natural derived functors (including Hom, tensor product, and pullback). Applications to the etale cohomology of pro-etale local systems will be given in a subsequent paper.

199 pages; v3: major changes to the treatment of pseudocoherent modules

References in corpus (2)

• Revêtements étales et groupe fondamental (SGA 1)
• Slope filtrations revisited

Cited by in corpus (22)

• Perfectoid covers of abelian varieties
• The $p$-adic Corlette-Simpson correspondence for abeloids
• Drinfeld's lemma for perfectoid spaces and overconvergence of multivariate $(\phi ,\Gamma )$-modules
• Finiteness of cohomology of local systems on rigid analytic spaces
• Pro-étale uniformisation of abelian varieties
• Hodge-Tate decomposition for non-smooth spaces
• Topological spectrum and perfectoid Tate rings
• Hodge-Iwasawa Theory I
• On commutative nonarchimedean Banach fields
• Quotients Of Admissible Formal Schemes and Adic Spaces by Finite Groups
• Vanishing theorems for Shimura varieties at unipotent level
• Some ring-theoretic properties of A_inf
• Projective Geometry for Perfectoid Spaces
• Period Rings with Big Coefficients and Application II
• Non-archimedean gauge seminorms
• Topologization and Functional Analytification I: Intrinsic Morphisms of Commutative Algebras
• Topics on Geometric and Representation Theoretic Aspects of Period Rings I
• Category and Cohomology of Hodge-Iwasawa Modules
• On the $v$-Picard group of Stein spaces
• Analytic Geometry and Hodge-Frobenius Structure Continued
• A prismatic approach to $(\phi ,\hat{G})$-modules and $F$-crystals
• Continuous functions on Berkovich spaces