×

On the Severi problem in arbitrary characteristic. (English) Zbl 1517.14019

The Severi problem concerns the irreducibility of the scheme \(V^{\mathrm{irr}}_{g,d}\) that parametrizes irreducible projective plane curves of fixed degree \(d\) and geometric genus \(g\). In characteristic \(0\), the irreducibility was finally proved by J. Harris [Invent. Math. 84, 445–461 (1986; Zbl 0596.14017)], based on a result by M. Artin (ed.) and J. Tate (ed.) [Arithmetic and geometry. Papers dedicated to I. R. Shafarevich on the occasion of his sixtieth birthday. Vol. II: Geometry. Boston-Basel-Stuttgart: Birkhäuser (1983; Zbl 0518.00005)] that bounds the dimension of the irreducible components of \(V^{\mathrm{irr}}_{g,d}\) and describes curves parametrized by general points in the components. Zariski’s and Harris’ proofs require degeneration arguments that do not apply immediately in positive characteristic. In the paper under review, the authors apply a degeneration to tropical objects to extend the solution of the Severi problem to plane curves defined over an algebraically closed field of any characteristic. Indeed, by means of a tropical degeneration, the authors prove that the closure of any component \(V\) of the variety \(V_{g,d}\) that parametrizes (possible reducible) curves of degree \(d\) and genus \(g\) contains the variety \(V_{1-d,d}\). As a consequence, the authors obtain that \(V\) has dimension \(\leq 3d+g-1\) and its general point parametrizes a nodal curve. Directly from the degeneration argument, the authors then prove the irreducibility of \(V^{\mathrm{irr}}_{g,d}\), for all \(g\geq 0\).

MSC:

14H10 Families, moduli of curves (algebraic)
14H50 Plane and space curves
14D06 Fibrations, degenerations in algebraic geometry
14T90 Applications of tropical geometry

References:

[1] Abramovich, D.; Chen, Q.; Gross, M.; Siebert, B., Decomposition of degenerate Gromov-Witten invariants, Compos. Math., 156, 2020-2075 (2020) · Zbl 1476.14093 · doi:10.1112/S0010437X20007393
[2] Abramovich, D.; Caporaso, L.; Payne, S., The tropicalization of the moduli space of curves, Ann. Sci. Éc. Norm. Supér. (4), 48, 765-809 (2015) · Zbl 1410.14049 · doi:10.24033/asens.2258
[3] Arbarello, E.; Cornalba, M., Footnotes to a paper of Beniamino Segre, Math. Ann., 256, 341-362 (1981) · Zbl 0454.14023 · doi:10.1007/BF01679702
[4] Arbarello, E.; Cornalba, M., Su una congettura di Petri, Comment. Math. Helv., 56, 1-37 (1981) · Zbl 0505.14002 · doi:10.1007/BF02566195
[5] Brugallé, E.; Itenberg, I.; Mikhalkin, G.; Shaw, K., Brief introduction to tropical geometry, Proceedings of the Gökova Geometry-Topology Conference 2014, 1-75 (2015) · Zbl 1354.14089
[6] Brugallé, E.; Mikhalkin, G., Floor decompositions of tropical curves: the planar case, Proceedings of Gökova Geometry-Topology Conference 2008, 64-90 (2009) · Zbl 1200.14106
[7] Baker, M.; Payne, S.; Rabinoff, J., On the structure of non-Archimedean analytic curves, Tropical and Non-Archimedean Geometry, 93-121 (2013), Providence: Am. Math. Soc., Providence · Zbl 1320.14040 · doi:10.1090/conm/605/12113
[8] Chiantini, L.; Ciliberto, C., On the Severi varieties on surfaces in \({\mathbf{P}}^3 \), J. Algebraic Geom., 8, 67-83 (1999) · Zbl 0973.14017
[9] Cavalieri, R.; Chan, M.; Ulirsch, M.; Wise, J., A moduli stack of tropical curves, Forum Math. Sigma, 8 (2020) · Zbl 1444.14005 · doi:10.1017/fms.2020.16
[10] Chiang-Hsieh, H.-J.; Lipman, J., A numerical criterion for simultaneous normalization, Duke Math. J., 133, 347-390 (2006) · Zbl 1101.14004 · doi:10.1215/S0012-7094-06-13327-6
[11] Christ, K.; He, X.; Tyomkin, I., Degeneration of curves on some polarized toric surfaces, J. Reine Angew. Math., 787, 197-240 (2022) · Zbl 1498.14072 · doi:10.1515/crelle-2022-0006
[12] K. Christ, X. He and I. Tyomkin, Irreducibility of Severi varieties and Hurwitz schemes in small characteristic, 2022, in preparation.
[13] Deligne, P., Le lemme de Gabber, Astérisque, 127, 131-150 (1985) · Zbl 1182.14045
[14] de Jong, A. J., Smoothness, semi-stability and alterations, Publ. Math. Inst. Hautes Études Sci., 83, 51-93 (1996) · Zbl 0916.14005 · doi:10.1007/BF02698644
[15] de Jong, A. J.; He, X.; Starr, J. M., Families of rationally simply connected varieties over surfaces and torsors for semisimple groups, Publ. Math. Inst. Hautes Études Sci., 114, 1-85 (2011) · Zbl 1285.14053 · doi:10.1007/s10240-011-0035-1
[16] Deligne, P.; Mumford, D., The irreducibility of the space of curves of given genus, Publ. Math. Inst. Hautes Études Sci., 36, 75-109 (1969) · Zbl 0181.48803 · doi:10.1007/BF02684599
[17] Demazure, M.; Pinkham, H. C.; Teissier, B., Séminaire sur les Singularités des Surfaces, 1976-1977 (1980), Berlin: Springer, Berlin · Zbl 0415.00010
[18] Enriques, F.; Chisini, O., Lezioni sulla teoria geometrica delle equazioni e delle funzioni algebriche. 1. Vol. I, II (1985), Bologna: Zanichelli Editore S.p.A., Bologna · Zbl 0571.51001
[19] Fulton, W., Hurwitz schemes and irreducibility of moduli of algebraic curves, Ann. Math. (2), 90, 542-575 (1969) · Zbl 0194.21901 · doi:10.2307/1970748
[20] Gathmann, A.; Markwig, H., The numbers of tropical plane curves through points in general position, J. Reine Angew. Math., 602, 155-177 (2007) · Zbl 1115.14049
[21] Harris, J., On the Severi problem, Invent. Math., 84, 445-461 (1986) · Zbl 0596.14017 · doi:10.1007/BF01388741
[22] Harris, J.; Mumford, D., On the Kodaira dimension of the moduli space of curves, Invent. Math., 67, 23-88 (1982) · Zbl 0506.14016 · doi:10.1007/BF01393371
[23] Hurwitz, A., Über Riemann’sche Flächen mit gegebenen Verzweigungspunkten, Math. Ann., 39, 1-60 (1891) · JFM 23.0429.01 · doi:10.1007/BF01199469
[24] Illusie, L., Complexe cotangent et déformations. I (1971), Berlin: Springer, Berlin · Zbl 0224.13014
[25] Klein, F., Über Riemann’s Theorie der algebraischen Functionen und ihrer Integrale (1882), Leipzig: Teubner, Leipzig · JFM 14.0358.01
[26] Knudsen, F. F., The projectivity of the moduli space of stable curves. III. The line bundles on \(M_{g,n}\), and a proof of the projectivity of \(\overline{M}_{g,n}\) in characteristic 0, Math. Scand., 52, 200-212 (1983) · Zbl 0544.14021 · doi:10.7146/math.scand.a-12002
[27] Kontsevich, M., Enumeration of rational curves via torus actions, The Moduli Space of Curves, 335-368 (1995), Boston: Birkhäuser, Boston · Zbl 0885.14028 · doi:10.1007/978-1-4612-4264-2_12
[28] Kleiman, S. L.; Shende, V. V., On the Göttsche threshold, A Celebration of Algebraic Geometry, 429-449 (2013), Providence: Am. Math. Soc., Providence · Zbl 1317.14120
[29] Lang, L., Monodromy of rational curves on toric surfaces, J. Topol., 13, 1658-1681 (2020) · Zbl 1455.14113 · doi:10.1112/topo.12171
[30] Mikhalkin, G., Enumerative tropical algebraic geometry in \(\mathbf{R}^2 \), J. Am. Math. Soc., 18, 313-377 (2005) · Zbl 1092.14068 · doi:10.1090/S0894-0347-05-00477-7
[31] Mori, S., Projective manifolds with ample tangent bundles, Ann. Math. (2), 110, 593-606 (1979) · Zbl 0423.14006 · doi:10.2307/1971241
[32] Ranganathan, D., Logarithmic Gromov-Witten theory with expansions, Algebr. Geom., 9, 714-761 (2022) · Zbl 1509.14111 · doi:10.14231/AG-2022-022
[33] J. Rau, A first expedition to tropical geometry, 2017, https://www.math.uni-tuebingen.de/user/jora/downloads/FirstExpedition.pdf.
[34] Rosenlicht, M., Equivalence relations on algebraic curves, Ann. Math. (2), 56, 169-191 (1952) · Zbl 0047.14503 · doi:10.2307/1969773
[35] Severi, F., Vorlesungen über algebraische Geometrie, Anhang F (1921), Leipzig: Teubner, Leipzig · JFM 48.0687.01 · doi:10.1007/978-3-663-15773-1
[36] The Stacks project authors, The stacks project, 2020, https://stacks.math.columbia.edu.
[37] Tyomkin, I., On Severi varieties on Hirzebruch surfaces, Int. Math. Res. Not., 23 (2007) · Zbl 1135.14026
[38] Tyomkin, I., Tropical geometry and correspondence theorems via toric stacks, Math. Ann., 353, 945-995 (2012) · Zbl 1272.14045 · doi:10.1007/s00208-011-0702-z
[39] Tyomkin, I., On Zariski’s theorem in positive characteristic, J. Eur. Math. Soc., 15, 1783-1803 (2013) · Zbl 1307.14075 · doi:10.4171/JEMS/403
[40] Tyomkin, I., An example of a reducible Severi variety, Proceedings of the Gökova Geometry-Topology Conference 2013, 33-40 (2014) · Zbl 1327.14042
[41] Zariski, O., Dimension-theoretic characterization of maximal irreducible algebraic systems of plane nodal curves of a given order \(n\) and with a given number \(d\) of nodes, Am. J. Math., 104, 209-226 (1982) · Zbl 0516.14023 · doi:10.2307/2374074
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.