Raynaud-Tamagawa theta divisors and new-ordinariness of ramified coverings of curves. (English) Zbl 1484.14065
Let \((X,D_X)\) be a smooth pointed stable curve of genus \(g_X\) over an algebraic closed field \(k\) of characteristic \(p>0\). Define the Hasse-Witt invariant as \(\sigma_X:=\dim_{\mathbb{F}_p}(H_{et}^1(X,\mathbb{F}_p))\). We call the curve \(X\) ordinary if \(g_X=\sigma_X\). Consider a multi-admissible cover \((Z,D_Z)\to (X,D_X)\) over \(k\) as in [Y. Yang, Publ. Res. Inst. Math. Sci. 54, No. 3, 649–678 (2018; Zbl 1439.14102)]. The cover \((Z,D_Z)\) is called new-ordinary if \(\sigma_Z-\sigma_X=g_Z-g_X\).
In [S. Nakajima, Adv. Stud. Pure Math. 2, 69–88 (1983; Zbl 0529.14016)], Nakajima consider the case when \(D_X=\emptyset\) and \(X\) is generic. He found that if the cover \(Z\) corresponds to a prime-to-\(p\) cyclic quotient of the tame fundamental group \(\Pi_X\) of \(X\) then \(Z\) is ordinary.
The main result of the paper under review gives necessary and sufficient conditions for a cover \((Z,D_Z)\to (X,D_X)\) to be new-ordinary when \((X,D_X)\) is generic and the cover corresponds to a prime-to-\(p\) cyclic quotient of the tame fundamental group \(\Pi_{(X,D_X)}\). For the proof, the author relate new-ordinariness to the existence of Raynaud-Tamagawa theta divisors, see [M. Raynaud, Bull. Soc. Math. Fr. 110, 103—125 (1982; Zbl 0505.14011)] and [A. Tamagawa, Math. Sci. Res. Inst. Publ. 41, 47–105 (2003; Zbl 1073.14035)].
In [S. Nakajima, Adv. Stud. Pure Math. 2, 69–88 (1983; Zbl 0529.14016)], Nakajima consider the case when \(D_X=\emptyset\) and \(X\) is generic. He found that if the cover \(Z\) corresponds to a prime-to-\(p\) cyclic quotient of the tame fundamental group \(\Pi_X\) of \(X\) then \(Z\) is ordinary.
The main result of the paper under review gives necessary and sufficient conditions for a cover \((Z,D_Z)\to (X,D_X)\) to be new-ordinary when \((X,D_X)\) is generic and the cover corresponds to a prime-to-\(p\) cyclic quotient of the tame fundamental group \(\Pi_{(X,D_X)}\). For the proof, the author relate new-ordinariness to the existence of Raynaud-Tamagawa theta divisors, see [M. Raynaud, Bull. Soc. Math. Fr. 110, 103—125 (1982; Zbl 0505.14011)] and [A. Tamagawa, Math. Sci. Res. Inst. Publ. 41, 47–105 (2003; Zbl 1073.14035)].
Reviewer: Rodolfo Aguilar Aguilar (Sofia)
MSC:
| 14H30 | Coverings of curves, fundamental group |
| 14F35 | Homotopy theory and fundamental groups in algebraic geometry |
| 14G32 | Universal profinite groups (relationship to moduli spaces, projective and moduli towers, Galois theory) |
Keywords:
pointed stable curve; admissible covering; generalized Hasse-Witt invariant; new-ordinary; Raynaud-Tamagawa theta divisor; positive characteristicReferences:
| [1] | Achter, J.; Pries, R., Monodromy of the p-rank strata of the moduli space of curves, Int. Math. Res. Not., 15 (2008) · Zbl 1152.14024 |
| [2] | Bosch, S.; Lütkebohmert, W.; Raynaud, M., Néron Models, Ergeb. Math. Grenz., vol. 21 (1990), Springer: Springer New York-Heidelberg-Berlin · Zbl 0705.14001 |
| [3] | Bouw, I., The p-rank of ramified covers of curves, Compos. Math., 126, 295-322 (2001) · Zbl 1056.14036 |
| [4] | Crew, R., Étale p-covers in characteristic p, Compos. Math., 52, 31-45 (1984) · Zbl 0558.14009 |
| [5] | Fried, M. D.; Jarden, M.; arithmetic, Field, Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, vol. 11 (2008), Springer-Verlag: Springer-Verlag Berlin · Zbl 1145.12001 |
| [6] | Grothendieck, A., Revêtements Étales ét Groupe Fondamental (SGA1), (Séminaire de Géométrie Algébrique de Bois-Marie 1960/61. Séminaire de Géométrie Algébrique de Bois-Marie 1960/61, Lecture Notes in Math., vol. 224 (1971), Springer-Verlag) |
| [7] | Knudsen, F., The projectivity of the moduli space of stable curves, II: the stacks \(M_{g , n}\), Math. Scand., 52, 161-199 (1983) · Zbl 0544.14020 |
| [8] | Li, W.; Mantovan, E.; Pries, R.; Tang, Y., Newton polygon stratification of the Torelli locus in PEL-type Shimura varieties, Int. Math. Res. Not. (2021), in press |
| [9] | Nakajima, S., On generalized Hasse-Witt invariants of an algebraic curve, (Ihara, Y., Galois Groups and Their Representations. Galois Groups and Their Representations, Nagoya, 1981. Galois Groups and Their Representations. Galois Groups and Their Representations, Nagoya, 1981, Adv. Stud. Pure Math, vol. 2 (1983), North-Holland Publishing Company: North-Holland Publishing Company Amsterdam), 69-88 · Zbl 0529.14016 |
| [10] | Ozman, E.; Pries, R., Ordinary and almost ordinary Prym varieties, Asian J. Math., 23, 455-477 (2019) · Zbl 1461.14035 |
| [11] | Pacheco, A.; Stevenson, K., Finite quotients of the algebraic fundamental group of projective curves in positive characteristic, Pac. J. Math., 192, 143-158 (2000) · Zbl 0951.14016 |
| [12] | Pop, F.; Saïdi, M., On the specialization homomorphism of fundamental groups of curves in positive characteristic, (Galois Groups and Fundamental Groups. Galois Groups and Fundamental Groups, Math. Sci. Res. Inst. Publ., vol. 41 (2003), Cambridge Univ. Press: Cambridge Univ. Press Cambridge), 107-118 · Zbl 1053.14030 |
| [13] | Raynaud, M., Sections des fibrés vectoriels sur une courbe, Bull. Soc. Math. Fr., 110, 103-125 (1982) · Zbl 0505.14011 |
| [14] | Raynaud, M., Sur le groupe fondamental d’une courbe complète en caractéristique \(p > 0\), (Arithmetic Fundamental Groups and Noncommutative Algebra. Arithmetic Fundamental Groups and Noncommutative Algebra, Berkeley, CA, 1999. Arithmetic Fundamental Groups and Noncommutative Algebra. Arithmetic Fundamental Groups and Noncommutative Algebra, Berkeley, CA, 1999, Proc. Sympos. Pure Math., vol. 70 (2002), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 335-351 · Zbl 1058.14036 |
| [15] | Serre, J-P., Sur la topologie des variétés algébriques en caractéristique p, (Symp. Int. Top. Alg., Mexico (1958)), 24-53 · Zbl 0098.13103 |
| [16] | Subrao, D., The p-rank of Artin-Schreier curves, Manuscr. Math., 16, 169-193 (1975) · Zbl 0321.14017 |
| [17] | Tamagawa, A., On the fundamental groups of curves over algebraically closed fields of characteristic >0, Int. Math. Res. Not., 853-873 (1999) · Zbl 1055.14029 |
| [18] | Tamagawa, A., Fundamental groups and geometry of curves in positive characteristic, (Arithmetic Fundamental Groups and Noncommutative Algebra. Arithmetic Fundamental Groups and Noncommutative Algebra, Berkeley, CA, 1999. Arithmetic Fundamental Groups and Noncommutative Algebra. Arithmetic Fundamental Groups and Noncommutative Algebra, Berkeley, CA, 1999, Proc. Sympos. Pure Math., vol. 70 (2002), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 297-333 · Zbl 1054.14039 |
| [19] | Tamagawa, A., On the tame fundamental groups of curves over algebraically closed fields of characteristic >0, (Galois Groups and Fundamental Groups. Galois Groups and Fundamental Groups, Math. Sci. Res. Inst. Publ., vol. 41 (2003), Cambridge Univ. Press: Cambridge Univ. Press Cambridge), 47-105 · Zbl 1073.14035 |
| [20] | Tamagawa, A., Finiteness of isomorphism classes of curves in positive characteristic with prescribed fundamental groups, J. Algebraic Geom., 13, 675-724 (2004) · Zbl 1100.14021 |
| [21] | Vidal, I., Contributions à la cohomologie étale des schémas et des log-schémas (2001), U. Paris-Sud, Thèse |
| [22] | Yang, Y., On the admissible fundamental groups of curves over algebraically closed fields of characteristic \(p > 0\), Publ. Res. Inst. Math. Sci., 54, 649-678 (2018) · Zbl 1439.14102 |
| [23] | Yang, Y., On the averages of generalized Hasse-Witt invariants of pointed stable curves in positive characteristic, Math. Z., 295, 1-45 (2020) · Zbl 1453.14084 |
| [24] | Yang, Y., Maximum generalized Hasse-Witt invariants and their applications to anabelian geometry, for the most recent version · Zbl 1520.14061 |
| [25] | Yang, Y., Moduli spaces of fundamental groups of curves in positive characteristic I, for the most recent version |
| [26] | Zhang, B., Revêtements étales abeliens de courbes génériques et ordinarité, Ann. Fac. Sci. Toulouse Math. (5), 6, 133-138 (1992) · Zbl 0785.14014 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
