Calcul du Frobenius divisé modulo p sur la cohomologie cristalline de certains revêtements de la droite projective
Publications mathématiques de Besançon. Algèbre et théorie des nombres (2020), pp. 61-103.

Dans cet article nous décrivons une famille de revêtements modérément ramifiés de la droite projective sur un corps fini, pour lesquels nous effectuons le calcul de la matrice du Frobenius divisé cristallin. Les formules que nous obtenons généralisent les formules de Hasse–Witt classiques dans le cas des courbes hyperelliptiques. Un des outils est un résultat récent de Huyghe–Wach qui démontre que le Frobenius divisé cristallin coïncide avec le morphisme explicite, construit par Deligne–Illusie en 1987, pour établir la dégénérescence de la suite spectrale de Hodge vers de Rham dans le cas algébrique.

In this paper we describe a family of tamely ramified coverings of the projective line over a finite field, for which we compute the matrix of the divided crystalline Frobenius. The formulas we obtain generalize the classical Hasse–Witt formulas in the case of hyperelliptic curves. Our result relies on a result of Huyghe–Wach which shows that the divided crystalline Frobenius coincides with the explicit morphism, constructed by Deligne–Illusie in 1987, for their proof of the degeneration of the Hodge–de Rham spectral sequence in the algebraic case.

Publié le :
DOI : https://doi.org/10.5802/pmb.41
Classification : 14F40,  11S23,  14F30
Mots clés : Divided Frobenius, super-elliptic curves, Hasse–Witt matrix, Deligne–Illusie morphism, de Rham cohomology, crystalline cohomology
@article{PMB_2020____61_0,
     author = {Amandine Pierrot},
     title = {Calcul du {Frobenius} divis\'e modulo $\protect p$ sur la cohomologie cristalline de certains rev\^etements de la droite projective},
     journal = {Publications math\'ematiques de Besan\c{c}on. Alg\`ebre et th\'eorie des nombres},
     pages = {61--103},
     publisher = {Presses universitaires de Franche-Comt\'e},
     year = {2020},
     doi = {10.5802/pmb.41},
     language = {fr},
     url = {https://pmb.centre-mersenne.org/articles/10.5802/pmb.41/}
}
Amandine Pierrot. Calcul du Frobenius divisé modulo $\protect p$ sur la cohomologie cristalline de certains revêtements de la droite projective. Publications mathématiques de Besançon. Algèbre et théorie des nombres (2020), pp. 61-103. doi : 10.5802/pmb.41. https://pmb.centre-mersenne.org/articles/10.5802/pmb.41/

[1] Vishal Arul; Alex J. Best; Edgar Costa; Richard Magner; Nicholas Triantafillou Computing zeta functions of cyclic covers in large characteristic, Proceedings of the Thirteenth Algorithmic Number Theory Symposium (The Open Book Series), Volume 2 (2019), pp. 37-53 | MR 3952003

[2] Pierre Berthelot; Arthur Ogus Notes on crystalline cohomology, Princeton University Press ; University of Tokyo Press, 1978, vi+243 pages | MR 0491705

[3] Siegfried Bosch; Werner Lütkebohmert; Michel Raynaud Néron models, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., 21, Springer, 1990, x+325 pages | Article | MR 1045822

[4] Pierre Cartier Une nouvelle opération sur les formes différentielles, C. R. Math. Acad. Sci. Paris, Volume 244 (1957), pp. 426-428 | MR 0084497

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

[6] Arsen Elkin The rank of the Cartier operator on cyclic covers of the projective line, J. Algebra, Volume 327 (2011), pp. 1-12 | Article | MR 2746026

[7] Jean-Marc Fontaine; William Messing p-adic periods and p-adic étale cohomology, Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985) (Contemporary Mathematics), Volume 67, American Mathematical Society, 1987, pp. 179-207 | Article | MR 902593

[8] Pierrick Gaudry; Nicolas Gürel An extension of Kedlaya’s point-counting algorithm to superelliptic curves, Advances in cryptology—ASIACRYPT 2001 (Gold Coast) (Lecture Notes in Computer Science), Volume 2248, Springer, 2001, pp. 480-494 | Article | MR 1934859 | Zbl 1064.11080

[9] Cécile Gonçalves A point counting algorithm for cyclic covers of the projective line, Algorithmic arithmetic, geometry, and coding theory (Contemporary Mathematics), Volume 637, American Mathematical Society, 2015, pp. 145-172 | Article | MR 3364447

[10] Josep González Hasse–Witt matrices for the Fermat curves of prime degree, Tôhoku Math. J., Volume 49 (1997) no. 2, pp. 149-163 | Article | MR 1447179

[11] David Harvey; Andrew V. Sutherland Computing Hasse–Witt matrices of hyperelliptic curves in average polynomial time, LMS J. Comput. Math., Volume 17 (2014) no. suppl. A, pp. 257-273 | Article | MR 3240808

[12] Helmut Hasse Existenz separabler zyklischer unverzweigter Erweiterungskörper vom Primzahlgrade p über elliptischen Funktionenkörpern der Charakteristik p, J. Reine Angew. Math., Volume 172 (1935), pp. 77-85

[13] Christine Huyghe; Nathalie Wach Interprétation cristalline du morphisme de Deligne–Illusie (à paraître aux Ann. Inst. Fourier)

[14] Christine Huyghe; Nathalie Wach Représentations galoisiennes associées aux courbes hyperelliptiques lisses, Q. J. Math, Volume 66 (2015) no. 1, pp. 171-189 | Article | MR 3356285

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

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

[17] Qing Liu Algebraic geometry and arithmetic curves, Oxford Graduate Texts in Mathematics, 6, Oxford University Press, 2002, xvi+576 pages (Translated from the French by Reinie Erné, Oxford Science Publications) | MR 1917232

[18] Barry Mazur Frobenius and the Hodge filtration (estimates), Ann. Math., Volume 98 (1973), pp. 58-95 | Article | MR 0321932

[19] Jan Tuitman Counting points on curves using a map to P 1 , Math. Comp., Volume 85 (2016) no. 298, pp. 961-981 | Article | MR 3434890

[20] Jan Tuitman Counting points on curves using a map to P 1 , II, Finite Fields Appl., Volume 45 (2017), pp. 301-322 | Article | MR 3631366

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