Integral $p$-adic Hodge theory

Bhargav Bhatt; Matthew Morrow; Peter Scholze

doi:10.1007/s10240-019-00102-z

Integral

p

-adic Hodge theory

Bhargav Bhatt ; Matthew Morrow ; Peter Scholze

Publications Mathématiques de l'IHÉS, Volume 128 (2018), pp. 219-397

Abstract

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of $𝐂_{p}$ . It takes values in a mixed-characteristic analogue of Dieudonné modules, which was previously defined by Fargues as a version of Breuil–Kisin modules. Notably, this cohomology theory specializes to all other known $p$ -adic cohomology theories, such as crystalline, de Rham and étale cohomology, which allows us to prove strong integral comparison theorems.

The construction of the cohomology theory relies on Faltings’ almost purity theorem, along with a certain functor $L η$ on the derived category, defined previously by Berthelot–Ogus. On affine pieces, our cohomology theory admits a relation to the theory of de Rham–Witt complexes of Langer–Zink, and can be computed as a $q$ -deformation of de Rham cohomology.

Received: 2016-03-18
Accepted: 2019-01-08
Online First: 2019-01-16
Published online: 2018-11-09

DOI: 10.1007/s10240-019-00102-z

@article{PMIHES_2018__128__219_0,
     author = {Bhargav Bhatt and Matthew Morrow and Peter Scholze},
     title = {Integral $p$-adic {Hodge} theory},
     journal = {Publications Math\'ematiques de l'IH\'ES},
     pages = {219--397},
     year = {2018},
     publisher = {Springer Berlin Heidelberg},
     address = {Berlin/Heidelberg},
     volume = {128},
     doi = {10.1007/s10240-019-00102-z},
     language = {en},
     url = {https://pmihes.centre-mersenne.org/articles/10.1007/s10240-019-00102-z/}
}

TY  - JOUR
AU  - Bhargav Bhatt
AU  - Matthew Morrow
AU  - Peter Scholze
TI  - Integral $p$-adic Hodge theory
JO  - Publications Mathématiques de l'IHÉS
PY  - 2018
SP  - 219
EP  - 397
VL  - 128
PB  - Springer Berlin Heidelberg
PP  - Berlin/Heidelberg
UR  - https://pmihes.centre-mersenne.org/articles/10.1007/s10240-019-00102-z/
DO  - 10.1007/s10240-019-00102-z
LA  - en
ID  - PMIHES_2018__128__219_0
ER  -

%0 Journal Article
%A Bhargav Bhatt
%A Matthew Morrow
%A Peter Scholze
%T Integral $p$-adic Hodge theory
%J Publications Mathématiques de l'IHÉS
%D 2018
%P 219-397
%V 128
%I Springer Berlin Heidelberg
%C Berlin/Heidelberg
%U https://pmihes.centre-mersenne.org/articles/10.1007/s10240-019-00102-z/
%R 10.1007/s10240-019-00102-z
%G en
%F PMIHES_2018__128__219_0

Bhargav Bhatt; Matthew Morrow; Peter Scholze. Integral $p$-adic Hodge theory. Publications Mathématiques de l'IHÉS, Volume 128 (2018), pp. 219-397. doi: 10.1007/s10240-019-00102-z

References
Cited by

[1.] The Stacks Project, available at http://stacks.math.columbia.edu.

[2.] A. Abbes; M. Gros Topos co-évanescents et généralisations, 193, 2015

[3.] F. Andreatta; A. Iovita Comparison isomorphisms for smooth formal schemes, J. Inst. Math. Jussieu, Volume 12 (2013), pp. 77-151 | MR | DOI | Zbl

[4.] A. Beauville; Y. Laszlo Un lemme de descente, C. R. Acad. Sci., Sér. 1 Math., Volume 320 (1995), pp. 335-340 | MR | Zbl

[5.] P. Berthelot Sur le “théorème de Lefschetz faible” en cohomologie cristalline, C. R. Acad. Sci. Paris, Sér. A-B, Volume 277 (1973), p. A955-A958 | Zbl

[6.] P. Berthelot; A. Ogus Notes on Crystalline Cohomology, Princeton University Press/University of Tokyo Press, Princeton/Tokyo, 1978 | Zbl

[7.] P. Berthelot; A. Ogus $F$ -isocrystals and de Rham cohomology. I, Invent. Math., Volume 72 (1983), pp. 159-199 | MR | DOI | Zbl

[8.] B. Bhatt, M. Morrow and P. Scholze, Topological Hochschild homology and integral $p$ -adic Hodge theory, available at | arXiv

[9.] B. Bhatt; M. Morrow; P. Scholze Integral $p$ -adic Hodge theory—announcement, Math. Res. Lett., Volume 22 (2015), pp. 1601-1612 | MR | DOI | Zbl

[10.] B. Bhatt and P. Scholze, Prisms and prismatic cohomology, in preparation.

[11.] B. Bhatt; P. Scholze The pro-étale topology for schemes, Astérisque, Volume 369 (2015), pp. 99-201 | Zbl

[12.] S. Bloch; K. Kato $p$ -adic étale cohomology, Publ. Math. IHÉS, Volume 63 (1986), pp. 107-152 | DOI | Zbl

[13.] E. Bombieri; D. Mumford Enriques’ classification of surfaces in char. $p$ . III, Invent. Math., Volume 35 (1976), pp. 197-232 | MR | DOI | Zbl

[14.] J. Borger The basic geometry of Witt vectors, I: The affine case, Algebra Number Theory, Volume 5 (2011), pp. 231-285 | MR | DOI | Zbl

[15.] S. Bosch; U. Güntzer; R. Remmert Non-Archimedean Analysis, 261, Springer, Berlin, 1984 (A systematic approach to rigid analytic geometry) | Zbl

[16.] S. Bosch; W. Lütkebohmert Formal and rigid geometry. I. Rigid spaces, Math. Ann., Volume 295 (1993), pp. 291-317 | MR | DOI | Zbl

[17.] C. Breuil Groupes $p$ -divisibles, groupes finis et modules filtrés, Ann. Math., Volume 152 (2000), pp. 489-549 | MR | DOI | Zbl

[18.] O. Brinon Représentations $p$ -adiques cristallines et de de Rham dans le cas relatif, Mém. Soc. Math. Fr. (N. S.), 112, 2008 (vi+159 pp.)

[19.] X. Caruso Conjecture de l’inertie modérée de Serre, Invent. Math., Volume 171 (2008), pp. 629-699 | MR | DOI | Zbl

[20.] P. Colmez; W. Nizioł Syntomic complexes and $p$ -adic nearby cycles, Invent. Math., Volume 208 (2017), pp. 1-108 | MR | DOI | Zbl

[21.] B. Conrad and O. Gabber, Spreading out of rigid-analytic varieties, in preparation.

[22.] C. Davis; K. S. Kedlaya On the Witt vector Frobenius, Proc. Am. Math. Soc., Volume 142 (2014), pp. 2211-2226 | MR | DOI | Zbl

[23.] A. J. de Jong Smoothness, semi-stability and alterations, Publ. Math. IHÉS, Volume 83 (1996), pp. 51-93 | MR | DOI | Zbl

[24.] P. Deligne; L. Illusie Relèvements modulo $p^{2}$ et décomposition du complexe de de Rham, Invent. Math., Volume 89 (1987), pp. 247-270 | MR | DOI | Zbl

[25.] T. Ekedahl, Answer on Mathoverflow, http://mathoverflow.net/questions/21023/liftability-of-enriques-surfaces-from-char-p-to-zero.

[26.] R. Elkik Solutions d’équations à coefficients dans un anneau hensélien, Ann. Sci. Éc. Norm. Supér., Volume 6 (1973), pp. 553-603 | MR | DOI | Zbl

[27.] G. Faltings $p$ -adic Hodge theory, J. Am. Math. Soc., Volume 1 (1988), pp. 255-299 | MR | Zbl

[28.] G. Faltings Integral crystalline cohomology over very ramified valuation rings, J. Am. Math. Soc., Volume 12 (1999), pp. 117-144 | MR | DOI | Zbl

[29.] G. Faltings Almost étale extensions, Astérisque, Volume 279 (2002), pp. 185-270 (Cohomologies $p$ -adiques et applications arithmétiques, II) | Zbl

[30.] L. Fargues Quelques résultats et conjectures concernant la courbe, Astérisque, Volume 369 (2015), pp. 325-374 | MR | Zbl

[31.] L. Fargues and J.-M. Fontaine, Courbes et fibrés vectoriels en théorie de Hodge $p$ -adique, available at http://webusers.imj-prg.fr/~laurent.fargues/Courbe_fichier_principal.pdf.

[32.] J.-M. Fontaine Sur certains types de représentations $p$ -adiques du groupe de Galois d’un corps local; construction d’un anneau de Barsotti-Tate, Ann. Math., Volume 115 (1982), pp. 529-577 | MR | DOI | Zbl

[33.] J.-M. Fontaine Perfectoïdes, presque pureté et monodromie-poids (d’après Peter Scholze), Astérisque, Volume 352 (2013), pp. 509-534 (Exp. No. 1057, x. Séminaire Bourbaki. Vol. 2011/2012. Exposés 1043–1058) | Zbl

[34.] J.-M. Fontaine; W. Messing $p$ -adic periods and $p$ -adic étale cohomology, Current Trends in Arithmetical Algebraic Geometry, Volume 67 (1987), pp. 179-207 | DOI

[35.] J.-M. Fontaine and Y. Ouyang, Theory of $p$ -adic Galois representations, available at https://www.math.u-psud.fr/~fontaine/galoisrep.pdf.

[36.] O. Gabber On space filling curves and Albanese varieties, Geom. Funct. Anal., Volume 11 (2001), pp. 1192-1200 | MR | DOI | Zbl

[37.] O. Gabber; L. Ramero Almost Ring Theory, 1800, Springer, Berlin, 2003 (vi+307 pp.) | Zbl

[38.] O. Gabber and L. Ramero, Foundations of almost ring theory, http://math.univ-lille1.fr/~ramero/hodge.pdf.

[39.] T. Geisser; L. Hesselholt The de Rham-Witt complex and $p$ -adic vanishing cycles, J. Am. Math. Soc., Volume 19 (2006), pp. 1-36 | MR | DOI | Zbl

[40.] L. Hesselholt On the topological cyclic homology of the algebraic closure of a local field, An Alpine Anthology of Homotopy Theory, 399, Am. Math. Soc., Providence, 2006, pp. 133-162 | DOI

[41.] R. Huber A generalization of formal schemes and rigid analytic varieties, Math. Z., Volume 217 (1994), pp. 513-551 | MR | DOI | Zbl

[42.] R. Huber Étale Cohomology of Rigid Analytic Varieties and Adic Spaces, E30, Vieweg, Braunschweig, 1996 | DOI | Zbl

[43.] L. Illusie Complexe de de Rham-Witt et cohomologie cristalline, Ann. Sci. Éc. Norm. Supér., Volume 12 (1979), pp. 501-661 | DOI | Zbl

[44.] L. Illusie; M. Raynaud Les suites spectrales associées au complexe de de Rham-Witt, Publ. Math. IHÉS, Volume 57 (1983), pp. 73-212 | DOI | Zbl

[45.] N. M. Katz $p$ -adic properties of modular schemes and modular forms, Modular Functions of One Variable III, 350, 1973, pp. 69-190 | DOI

[46.] K. S. Kedlaya Nonarchimedean geometry of Witt vectors, Nagoya Math. J., Volume 209 (2013), pp. 111-165 | MR | DOI | Zbl

[47.] K. S. Kedlaya, Some ring-theoretic properties of A_inf, | arXiv

[48.] K. S. Kedlaya; R. Liu Relative $p$ -adic Hodge theory: foundations, Astérisque, Volume 371 (2015), p. 239 | MR | Zbl

[49.] M. Kisin Crystalline representations and $F$ -crystals, Algebraic Geometry and Number Theory, 253, Birkhäuser Boston, Boston, 2006, pp. 459-496 | DOI

[50.] M. Kisin Integral models for Shimura varieties of Abelian type, J. Am. Math. Soc., Volume 23 (2010), pp. 967-1012 | MR | DOI | Zbl

[51.] W. E. Lang On Enriques surfaces in characteristic $p$ . I, Math. Ann., Volume 265 (1983), pp. 45-65 | MR | DOI | Zbl

[52.] A. Langer; T. Zink De Rham-Witt cohomology for a proper and smooth morphism, J. Inst. Math. Jussieu, Volume 3 (2004), pp. 231-314 | MR | DOI | Zbl

[53.] C. Liedtke Arithmetic moduli and lifting of Enriques surfaces, J. Reine Angew. Math., Volume 706 (2015), pp. 35-65 | MR | Zbl

[54.] W. Lütkebohmert Formal-algebraic and rigid-analytic geometry, Math. Ann., Volume 286 (1990), pp. 341-371 | MR | DOI | Zbl

[55.] B. Poonen Bertini theorems over finite fields, Ann. Math., Volume 160 (2004), pp. 1099-1127 | MR | DOI | Zbl

[56.] M. Raynaud; L. Gruson Critères de platitude et de projectivité. Techniques de “platification” d’un module, Invent. Math., Volume 13 (1971), pp. 1-89 | MR | DOI | Zbl

[57.] M. Schlessinger Functors of Artin rings, Trans. Am. Math. Soc., Volume 130 (1968), pp. 208-222 | MR | DOI | Zbl

[58.] P. Scholze Perfectoid spaces, Publ. Math. Inst. Hautes Études Sci., Volume 116 (2012), pp. 245-313 | MR | DOI | Zbl

[59.] P. Scholze $p$ -adic Hodge theory for rigid-analytic varieties, Forum Math. Pi, Volume 1 (2013) (77) | MR | DOI | Zbl

[60.] P. Scholze Perfectoid spaces: a survey, Current Developments in Mathematics 2012, International Press, Somerville, 2013, pp. 193-227

[61.] P. Scholze $p$ -adic Hodge theory for rigid-analytic varieties—corrigendum [MR3090230], Forum Math. Pi, Volume 4 (2016) (4) | MR | DOI | Zbl

[62.] P. Scholze and J. Weinstein, $p$ -adic geometry, Lecture notes from course at UC Berkeley in Fall 2014, available at https://www.math.uni-bonn.de/people/scholze/Berkeley.pdf.

[63.] F. Tan and J. Tong, Crystalline comparison isomorphisms in p-adic hodge theory: the absolutely unramified case, available at | arXiv

[64.] T. Tsuji $p$ -adic étale cohomology and crystalline cohomology in the semi-stable reduction case, Invent. Math., Volume 137 (1999), pp. 233-411 | MR | DOI | Zbl

[65.] W. van der Kallen Descent for the $K$ -theory of polynomial rings, Math. Z., Volume 191 (1986), pp. 405-415 | MR | DOI | Zbl

Cited by Sources: