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

Relative p-adic Hodge theory, II: Imperfect period rings
复制标题

DOI:
--
复制
发表时间:
2016-02
期刊:
arXiv: Number Theory
影响因子:
--
通讯作者:
K. Kedlaya;Ruochuan Liu
K. Kedlaya;Ruochuan Liu
中科院分区:
其他
文献类型:
--
作者:
K. Kedlaya;Ruochuan Liu

文献摘要

被引文献

相似文献

在前一篇文章中,我们构造了一类与Q_p上任意adic空间相关联的(phi,Gamma)-模,并证明了这类(phi,Gamma)-模对应于根Q_p-局部系统,这类(phi,Gamma)-模涉及Scholze原根拓扑的周期环层。本文首先将刚性解析空间上的Kiehl凝聚层理论推广到adic空间上的伪凝聚层理论,然后构造了相应的伪凝聚(phi,Gamma)-模理论。然后,我们将这些对象与一个更明确的结构联系起来,如果空间配备了一个合适的无限etale覆盖;在这种情况下,人们可以分解周期层,并建立一个类似的Cherbonnier-Colmez定理关于p-adic Galois表示的过收敛。作为一个应用,我们表明,相对(φ,伽玛)-模块在我们的意义上与相对(φ,伽玛)-模块构造的Andreatta和Brinon在几何设置,后者可以被构造。作为另一个应用,我们建立了p-adic域上任意刚性解析空间上的伪凝聚(phi,Gamma)-模范畴是阿贝尔的,满足升链条件,并且在各种自然导函子(包括Hom,张量积和拉回)下是稳定的。应用程序的原etale局部系统的etale上同调将在随后的文件。
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.