×

Log minimal model program for the moduli space of stable curves: the first flip. (English) Zbl 1273.14034

Let \(\bar M _g\) denote the moduli space of stable curves of genus \(g\). This space is known to be of general type for all \(g\geq 24\) and so it is birational to its canonical model which is given by \(\text{Proj}\bigoplus _{n\geq 0}\Gamma (\bar M _g,nK_{\bar{\mathcal M}_g})\) (note that this ring is finitely generated by C. Birkar et al., [J. Am. Math. Soc. 23, No. 2, 405–468 (2010; Zbl 1210.14019)]). It is an important natural problem to understand the geometry of this canonical model. One possible strategy is to approximate the canonical model by log canonical models. Let \(\delta\) be the boundary divisor. By B. Hassett and D. Hyeon [Trans. Am. Math. Soc. 361, No. 8, 4471–4489 (2009; Zbl 1172.14018)] it is known that \( K_{\bar{\mathcal M}_g}+\alpha \delta\) is ample for \(9/11<\alpha \leq 1\) (and hence \(\bar{\mathcal M}_g\cong \bar{\mathcal M}_g(\alpha ):=\text{Proj}\bigoplus _{n\geq 0}\Gamma (\bar M _g,n(K_{\bar{\mathcal M}_g}+\alpha \delta ))\)) there is a divisorial contraction \( \bar{\mathcal M}_g\to \bar{\mathcal M}_g(9/11)\) and \( \bar{\mathcal M}_g(\alpha) \cong \bar{\mathcal M}_g(9/11)\) for \(7/10<\alpha \leq 9/11\). In this paper it is shown that the map the morphism \( \bar{\mathcal M}_g(\frac 7{10}+\epsilon )\to \bar{\mathcal M}_g(\frac 7{10})\) is a flipping contraction and the rational map \( \bar{\mathcal M}_g(\frac 7{10}+\epsilon )\dasharrow \bar{\mathcal M}_g (\frac 7{10}-\epsilon )\) is a flip for \(0<\epsilon \ll 1\). The geometry of this flip is explicitely described in terms of invariant theory (GIT).

MSC:

14E30 Minimal model program (Mori theory, extremal rays)
14H10 Families, moduli of curves (algebraic)
14L24 Geometric invariant theory

References:

[1] J. Alper and D. Hyeon, ”GIT constructions of log canonical models of \(\overline M_g\),” in Compact Moduli Spaces and Vector Bundles, Providence, RI: Amer. Math. Soc., 2012, vol. 564, pp. 87-106. · Zbl 1271.14033 · doi:10.1090/conm/564/11152
[2] A. Białynicki-Birula, ”Some theorems on actions of algebraic groups,” Ann. of Math., vol. 98, pp. 480-497, 1973. · Zbl 0275.14007 · doi:10.2307/1970915
[3] C. Birkar, P. Cascini, C. D. Hacon, and J. McKernan, ”Existence of minimal models for varieties of log general type,” J. Amer. Math. Soc., vol. 23, iss. 2, pp. 405-468, 2010. · Zbl 1210.14019 · doi:10.1090/S0894-0347-09-00649-3
[4] I. V. Dolgachev and Y. Hu, ”Variation of geometric invariant theory quotients,” Inst. Hautes Études Sci. Publ. Math., vol. 87, pp. 5-56, 1998. · Zbl 1001.14018 · doi:10.1007/BF02698859
[5] P. Deligne and D. Mumford, ”The irreducibility of the space of curves of given genus,” Inst. Hautes Études Sci. Publ. Math., vol. 36, pp. 75-109, 1969. · Zbl 0181.48803 · doi:10.1007/BF02684599
[6] D. Eisenbud and J. Harris, ”Limit linear series: basic theory,” Invent. Math., vol. 85, iss. 2, pp. 337-371, 1986. · Zbl 0598.14003 · doi:10.1007/BF01389094
[7] C. Faber, ”Intersection-Theoretical Computations on \(\overline M_g\),” in Parameter Spaces, Warsaw: Polish Acad. Sci., 1996, vol. 36, pp. 71-81. · Zbl 0870.14018
[8] G. Farkas, ”The global geometry of the moduli space of curves,” in Algebraic Geometry-Seattle 2005. Part 1, Providence, RI: Amer. Math. Soc., 2009, vol. 80, pp. 125-147. · Zbl 1169.14309
[9] J. Fogarty, ”Truncated Hilbert functors,” J. Reine Angew. Math., vol. 234, pp. 65-88, 1969. · Zbl 0197.17101 · doi:10.1515/crll.1969.234.65
[10] D. Gieseker, Lectures on Moduli of Curves, Published for the Tata Institute of Fundamental Research, Bombay, 1982, vol. 69. · Zbl 0534.14012
[11] A. Gibney, S. Keel, and I. Morrison, ”Towards the ample cone of \(\overline M_{g,n}\),” J. Amer. Math. Soc., vol. 15, iss. 2, pp. 273-294, 2002. · Zbl 0993.14009 · doi:10.1090/S0894-0347-01-00384-8
[12] G. Gotzmann, ”Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes,” Math. Z., vol. 158, iss. 1, pp. 61-70, 1978. · Zbl 0352.13009 · doi:10.1007/BF01214566
[13] B. Hassett, ”Classical and minimal models of the moduli space of curves of genus two,” in Geometric Methods in Algebra and Number Theory, Boston, MA: Birkhäuser, 2005, vol. 235, pp. 169-192. · Zbl 1094.14017 · doi:10.1007/0-8176-4417-2_8
[14] B. Hassett and D. Hyeon, ”Log canonical models for the moduli space of curves: the first divisorial contraction,” Trans. Amer. Math. Soc., vol. 361, iss. 8, pp. 4471-4489, 2009. · Zbl 1172.14018 · doi:10.1090/S0002-9947-09-04819-3
[15] B. Hassett, D. Hyeon, and Y. Lee, ”Stability computation via Gröbner basis,” J. Korean Math. Soc., vol. 47, iss. 1, pp. 41-62, 2010. · Zbl 1185.14022 · doi:10.4134/JKMS.2010.47.1.041
[16] D. Hyeon and Y. Lee, ”Stability of tri-canonical curves of genus two,” Math. Ann., vol. 337, iss. 2, pp. 479-488, 2007. · Zbl 1111.14017 · doi:10.1007/s00208-006-0046-2
[17] D. Hyeon and Y. Lee, ”Log minimal model program for the moduli space of stable curves of genus three,” Math. Res. Lett., vol. 17, iss. 4, pp. 625-636, 2010. · Zbl 1230.14035 · doi:10.4310/MRL.2010.v17.n4.a4
[18] J. Harris and D. Mumford, ”On the Kodaira dimension of the moduli space of curves,” Invent. Math., vol. 67, iss. 1, pp. 23-88, 1982. · Zbl 0506.14016 · doi:10.1007/BF01393371
[19] G. R. Kempf, ”Instability in invariant theory,” Ann. of Math., vol. 108, iss. 2, pp. 299-316, 1978. · Zbl 0406.14031 · doi:10.2307/1971168
[20] F. F. Knudsen and D. Mumford, ”The projectivity of the moduli space of stable curves. I. Preliminaries on “det” and “Div”,” Math. Scand., vol. 39, iss. 1, pp. 19-55, 1976. · Zbl 0343.14008
[21] J. Kollár and S. Mori, Birational Geometry of Algebraic Varieties, Cambridge: Cambridge Univ. Press, 1998, vol. 134. · Zbl 0926.14003 · doi:10.1017/CBO9780511662560
[22] J. Kollár, Rational Curves on Algebraic Varieties, New York: Springer-Verlag, 1996, vol. 32. · Zbl 0877.14012
[23] D. Mumford, J. Fogarty, and F. Kirwan, Geometric Invariant Theory, Third ed., New York: Springer-Verlag, 1994, vol. 34. · Zbl 0797.14004 · doi:10.1007/978-3-642-57916-5
[24] I. Morrison, ”Projective stability of ruled surfaces,” Invent. Math., vol. 56, iss. 3, pp. 269-304, 1980. · Zbl 0423.14005 · doi:10.1007/BF01390049
[25] A. Moriwaki, ”Relative Bogomolov’s inequality and the cone of positive divisors on the moduli space of stable curves,” J. Amer. Math. Soc., vol. 11, iss. 3, pp. 569-600, 1998. · Zbl 0893.14004 · doi:10.1090/S0894-0347-98-00261-6
[26] S. Mukai, An Introduction to Invariants and Moduli, Cambridge: Cambridge University Press, 2003, vol. 81. · Zbl 1033.14008
[27] D. Mumford, ”Stability of projective varieties,” Enseignement Math., vol. 23, iss. 1-2, pp. 39-110, 1977. · Zbl 0363.14003
[28] N. I. Shepherd-Barron, ”Perfect forms and the moduli space of abelian varieties,” Invent. Math., vol. 163, iss. 1, pp. 25-45, 2006. · Zbl 1088.14011 · doi:10.1007/s00222-005-0453-0
[29] D. Schubert, ”A new compactification of the moduli space of curves,” Compositio Math., vol. 78, iss. 3, pp. 297-313, 1991. · Zbl 0735.14022
[30] C. S. Seshadri, ”Quotient spaces modulo reductive algebraic groups,” Ann. of Math., vol. 95, pp. 511-556; errata, ibid. (2) 96 (1972), 599 (\zbl0248.14013, \doi10.2307/1970828), 1972. · Zbl 0241.14024 · doi:10.2307/1970870
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.