Almost étale extensions of Fontaine rings and log-crystalline cohomology in the semi-stable reduction case

Lodh, Rémi Shankar

Annales de l'Institut Fourier, Tome 61 (2011) no. 5, pp. 1875-1942.

Soit $K$ un corps de caractéristique nulle, complet pour une valuation discrète, à corps résiduel parfait de caractéristique $p>0$, et soit $K^{+}$ son anneau d’entiers. Nous montrons que la cohomologie log-cristalline de la fibre spéciale de certains $K^{+}$-schémas affines $X=Spec\left(R\right)$ à réduction bonne ou semi-stable se calcule comme la cohomologie galoisienne du groupe fondamental ${\pi }_1\left(X_{\overline{K}}\right)$ de la fibre générique géométrique de $X$ à valeurs dans un anneau de Fontaine construit à partir de $R$. Ce calcul est basé sur la théorie des revêtements presque étales de Faltings.

Let $K$ be a field of characteristic zero complete for a discrete valuation, with perfect residue field of characteristic $p>0$, and let $K^{+}$ be the valuation ring of $K$. We relate the log-crystalline cohomology of the special fibre of certain affine $K^{+}$-schemes $X=Spec\left(R\right)$ with good or semi-stable reduction to the Galois cohomology of the fundamental group ${\pi }_1\left(X_{\overline{K}}\right)$ of the geometric generic fibre with coefficients in a Fontaine ring constructed from $R$. This is based on Faltings’ theory of almost étale extensions.

Classification : 14F30
Keywords: $p$-adic Hodge theory, almost étale extensions, crystalline cohomology, log-structures
Mot clés : théorie de Hodge $p$-adique, revêtements presque étales, cohomologie cristalline, structures logarithmiques

[1] Andreatta, F.; Brinon, O. Acyclicité géométrique d’un $B_{cris}$ relatif (2007) (Preprint)

[2] Berthelot, P. Cohomologie cristalline des schémas de caractéristique $p>0$, Lecture notes in mathematics, 407, Springer, 1974 | MR | Zbl

[3] Berthelot, P.; Ogus, A. Notes on crystalline cohomology, Princeton University Press, 1978 | MR | Zbl

[4] Bourbaki, N. Algèbre commutative, Masson, 1985

[5] Breuil, C. Topologie log-syntomique, cohomologie log-cristalline, et cohomologie de Čech, Bull. S.M.F., Volume 124 (1996) no. 4, pp. 587-647 | Numdam | MR | Zbl

[6] Faltings, G.; Igusa, J.-I. Crystalline cohomology and $p$-adic Galois representations, Algebraic Analysis, Geometry and Number Theory, Johns Hopkins University Press (1989), pp. 25-80 | MR | Zbl

[7] Faltings, G. Almost étale extensions, Astérisque, Volume 279 (2002), pp. 185-270 | Numdam | MR | Zbl

[8] Fontaine, J.-M. Le corps des périodes $p$-adiques, Astérisque, Volume 223 (1994), pp. 59-111 | Numdam | MR | Zbl

[9] Gabber, O.; Ramero, L. Almost ring theory, Lecture notes in mathematics, 1800, Springer, 2003 | MR | Zbl

[10] Grothendieck, A.; Dieudonné, J. Éléments de géométrie algébrique, Publ. math. I.H.E.S., Volume 4,8,11,17,20,24,28,32 (1960-1967) | Numdam | Zbl

[11] Illusie, L. Complexe de de Rham-Witt et cohomologie cristalline, Ann. Sci. E.N.S. (4ème série), Volume 12 (1979), pp. 501-661 | Numdam | MR | Zbl

[12] Kato, K.; Igusa, J.-I. Logarithmic structures of Fontaine-Illusie, Algebraic Analysis, Geometry and Number Theory, Johns Hopkins University Press (1989), pp. 191-224 | MR | Zbl

[13] Kato, K. Semi-stable reduction and $p$-adic étale cohomology, Astérisque, Volume 223 (1994), pp. 269-293 | Numdam | MR | Zbl

[14] Serre, J.-P. Corps locaux, Hermann, 1968 | MR

[15] Serre, J.-P. Local Algebra, Springer Monographs in Mathematics, Springer, 2000 | MR | Zbl