Interprétation cristalline de l’isomorphisme de Deligne–Illusie
[Crystalline interpretation of Deligne–Illusie morphism]
Annales de l'Institut Fourier, Online first, 69 p.

Let k be a finite field of characteristic p>0, W(k) the ring of Witt vectors of k, X a smooth scheme over specW(k) of dimension <p-1 and X 0 the special fiber of X. In 1987, Deligne and Illusie proved the degeneration of the spectral sequence “de Hodge vers de Rham” in a purely algebraic way, by constructing a quasi-isomorphism at the level of derived categories between the de Rham complex of X 0 with a complex with 0 differentials. Simultaneously Fontaine and Messing constructed a divided Frobenius map on the crystalline complexes associated with X 0 . We show that both morphisms of derived categories are compatible mod p>0. We use this compatibility to compute the filtered φ-module modp and the (φ,Γ)-module modp associated to the Drinfeld Curve.

Soit k un corps fini de caractéristique p>0, W(k) l’anneau des vecteurs de Witt de k, X un schéma lisse sur specW(k) de dimension <p-1, X 0 la fibre spéciale de X. En 1987, Deligne et Illusie ont démontré la dégénérescence de la suite spectrale de Hodge vers de Rham d’une façon purement algébrique, en construisant un quasi-isomorphisme dans la catégorie dérivée entre le complexe de de Rham de X 0 et un complexe à différentielles nulles. Concomitamment, Fontaine et Messing ont construit un Frobenius divisé sur les complexes cristallins associés à X 0 . Nous montrons que ces deux morphismes de catégories dérivées sont compatibles. Comme application de cette compatibilité, nous donnons la structure du φ-module filtré modp et celle du (φ,Γ)-module associé à la courbe de Drinfeld.

Received:
Revised:
Accepted:
Online First:
DOI: 10.5802/aif.3545
Classification: 11S23,  14F30,  14F40
Keywords: Drinfeld curve, crystalline cohomology, de Rham cohomology, (φ,Γ)-module.
Huyghe, Christine 1; Wach, Nathalie 1

1 IRMA 7 rue René Descartes 67084 Strasbourg Cedex (France)
@unpublished{AIF_0__0_0_A120_0,
     author = {Huyghe, Christine and Wach, Nathalie},
     title = {Interpr\'etation cristalline de l{\textquoteright}isomorphisme de {Deligne{\textendash}Illusie}},
     journal = {Annales de l'Institut Fourier},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     year = {2022},
     doi = {10.5802/aif.3545},
     language = {fr},
     note = {Online first},
}
TY  - UNPB
AU  - Huyghe, Christine
AU  - Wach, Nathalie
TI  - Interprétation cristalline de l’isomorphisme de Deligne–Illusie
JO  - Annales de l'Institut Fourier
PY  - 2022
DA  - 2022///
PB  - Association des Annales de l’institut Fourier
N1  - Online first
UR  - https://doi.org/10.5802/aif.3545
DO  - 10.5802/aif.3545
LA  - fr
ID  - AIF_0__0_0_A120_0
ER  - 
%0 Unpublished Work
%A Huyghe, Christine
%A Wach, Nathalie
%T Interprétation cristalline de l’isomorphisme de Deligne–Illusie
%J Annales de l'Institut Fourier
%D 2022
%I Association des Annales de l’institut Fourier
%Z Online first
%U https://doi.org/10.5802/aif.3545
%R 10.5802/aif.3545
%G fr
%F AIF_0__0_0_A120_0
Huyghe, Christine; Wach, Nathalie. Interprétation cristalline de l’isomorphisme de Deligne–Illusie. Annales de l'Institut Fourier, Online first, 69 p.

[1] Berthelot, Pierre Cohomologie cristalline des schémas de caractéristique p>0, Lecture Notes in Mathematics, 407, Springer-Verlag, Berlin, 1974, 604 pages | Zbl

[2] Berthelot, Pierre 𝒟-modules arithmétiques. I. Opérateurs différentiels de niveau fini, Ann. Sci. École Norm. Sup. (4), Volume 29 (1996) no. 2, pp. 185-272 | DOI | MR | Zbl

[3] Berthelot, Pierre; Ogus, Arthur Notes on crystalline cohomology, Princeton University Press, Princeton, N.J., 1978, vi+243 pages | DOI | Zbl

[4] Breuil, Christophe Cohomologie étale de p-torsion et cohomologie cristalline en réduction semi-stable, Duke Math. J., Volume 95 (1998) no. 3, pp. 523-620 https://doi-org.scd1.univ-fcomte.fr/10.1215/S0012-7094-98-09514-X | DOI | MR | Zbl

[5] Deligne, Pierre Théorème de Lefschetz et critères de dégénérescence de suites spectrales, Inst. Hautes Études Sci. Publ. Math. (1968) no. 35, pp. 259-278 | DOI | MR | Zbl

[6] Deligne, Pierre; Illusie, Luc Relèvements modulo p 2 et décomposition du complexe de de Rham, Invent. Math., Volume 89 (1987) no. 2, pp. 247-270 | DOI | Zbl

[7] Fontaine, Jean-Marc Représentations p-adiques des corps locaux. I, The Grothendieck Festschrift, Vol. II (Progr. Math.), Volume 87, Birkhäuser Boston, Boston, MA, 1990, pp. 249-309 | Zbl

[8] Fontaine, Jean-Marc Le corps des périodes p-adiques, Périodes p-adiques (Bures-sur-Yvette, 1988) (Astérisque), Volume 223, Société Mathématique de France, Paris, 1994, pp. 59-111 (With an appendix by Pierre Colmez) | Zbl

[9] Fontaine, Jean-Marc; Laffaille, Guy Construction de représentations p-adiques, Ann. Sci. École Norm. Sup. (4), Volume 15 (1982) no. 4, p. 547-608 (1983) | DOI | MR | Zbl

[10] Fontaine, Jean-Marc; Messing, William p-adic periods and p-adic étale cohomology, Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985) (Contemp. Math.), Volume 67, Amer. Math. Soc., Providence, RI, 1987, pp. 179-207 https://doi-org.scd1.univ-fcomte.fr/10.1090/conm/067/902593 | DOI | MR | Zbl

[11] Godement, Roger Topologie algébrique et théorie des faisceaux, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1252, Hermann, Paris, 1958, viii+283 pages (Publ. Math. Univ. Strasbourg. No. 13) | MR | Zbl

[12] Haastert, Burkhard; Jantzen, Jens Carsten Filtrations of the discrete series of SL 2 (q) via crystalline cohomology, J. Algebra, Volume 132 (1990) no. 1, pp. 77-103 https://doi-org.scd1.univ-fcomte.fr/10.1016/0021-8693(90)90253-K | DOI | MR | Zbl

[13] Huyghe, Christine; Wach, Nathalie Représentations galoisiennes associées aux courbes hyperelliptiques lisses, Q. J. Math., Volume 66 (2015) no. 1, pp. 171-189 https://doi-org.scd1.univ-fcomte.fr/10.1093/qmath/hau019 | DOI | MR | Zbl

[14] Illusie, Luc Frobenius et dégénérescence de Hodge, Introduction à la théorie de Hodge (Panor. Synthèses), Volume 3, Société Mathématique de France, Paris, 1996, pp. 113-168 | MR

[15] Kato, Kazuya On p-adic vanishing cycles (application of ideas of Fontaine–Messing), Algebraic geometry, Sendai, 1985 (Adv. Stud. Pure Math.), Volume 10, North-Holland, Amsterdam, 1987, pp. 207-251 https://doi-org.scd1.univ-fcomte.fr/10.2969/aspm/01010207 | DOI | MR | Zbl

[16] Kedlaya, Kiran S. Counting points on hyperelliptic curves using Monsky–Washnitzer cohomology, J. Ramanujan Math. Soc., Volume 16 (2001) no. 4, pp. 323-338 | Zbl

[17] Mazur, B. Frobenius and the Hodge filtration (estimates), Ann. of Math. (2), Volume 98 (1973), pp. 58-95 | DOI | Zbl

[18] Pierrot, Amandine Calcul du φ-module filtré associé à certains revêtements de la droite projective, Ph. D. Thesis, Université de Strasbourg (2017), 119 pages

[19] Pierrot, Amandine Computation of the divided Frobenius modulo p on the cristalline cohomology of some covering of the projective line (2018) (http://arxiv.org/pdf/1811.07565)

[20] Wach, Nathalie Représentations cristallines de torsion, Compositio Math., Volume 108 (1997) no. 2, pp. 185-240 | MR | Zbl

Cited by Sources: