Towards the ample cone of $\overline {M}_{g,n}$

Authors:
Angela Gibney, Sean Keel and Ian Morrison

Journal:
J. Amer. Math. Soc. **15** (2002), 273-294

MSC (2000):
Primary 14H10, 14E99

DOI:
https://doi.org/10.1090/S0894-0347-01-00384-8

Published electronically:
December 20, 2001

MathSciNet review:
1887636

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper we study the ample cone of the moduli space $\overline {M}_{g,n}$ of stable $n$-pointed curves of genus $g$. Our motivating conjecture is that a divisor on $\overline {M}_{g,n}$ is ample iff it has positive intersection with all $1$-dimensional strata (the components of the locus of curves with at least $3g+n-2$ nodes). This translates into a simple conjectural description of the cone by linear inequalities, and, as all the $1$-strata are rational, includes the conjecture that the Mori cone is polyhedral and generated by rational curves. Our main result is that the conjecture holds iff it holds for $g=0$. More precisely, there is a natural finite map $r: \overline {M}_{ 0, 2g+n} \rightarrow \overline {M}_{g,n}$ whose image is the locus $\overline {R}_{g,n}$ of curves with all components rational. Any $1$-strata either lies in $\overline {R}_{g,n}$ or is numerically equivalent to a family $E$ of elliptic tails, and we show that a divisor $D$ is nef iff $D \cdot E \geq 0$ and $r^{*}(D)$ is nef. We also give results on contractions (i.e. morphisms with connected fibers to projective varieties) of $\overline {M}_{g,n}$ for $g \geq 1$ showing that any fibration factors through a tautological one (given by forgetting points) and that the exceptional locus of any birational contraction is contained in the boundary.

- Enrico Arbarello and Maurizio Cornalba,
*Combinatorial and algebro-geometric cohomology classes on the moduli spaces of curves*, J. Algebraic Geom.**5**(1996), no. 4, 705–749. MR**1486986** - Enrico Arbarello and Maurizio Cornalba,
*Calculating cohomology groups of moduli spaces of curves via algebraic geometry*, Inst. Hautes Études Sci. Publ. Math.**88**(1998), 97–127 (1999). MR**1733327** - Lucia Caporaso, Joe Harris, and Barry Mazur,
*Uniformity of rational points*, J. Amer. Math. Soc.**10**(1997), no. 1, 1–35. MR**1325796**, DOI https://doi.org/10.1090/S0894-0347-97-00195-1 - Maurizio Cornalba and Joe Harris,
*Divisor classes associated to families of stable varieties, with applications to the moduli space of curves*, Ann. Sci. École Norm. Sup. (4)**21**(1988), no. 3, 455–475. MR**974412** - P. Deligne and D. Mumford,
*The irreducibility of the space of curves of given genus*, Inst. Hautes Études Sci. Publ. Math.**36**(1969), 75–109. MR**262240** - Carel Faber,
*Intersection-theoretical computations on $\overline {\scr M}_g$*, Parameter spaces (Warsaw, 1994) Banach Center Publ., vol. 36, Polish Acad. Sci. Inst. Math., Warsaw, 1996, pp. 71–81. MR**1481481** - Carel Faber,
*Algorithms for computing intersection numbers on moduli spaces of curves, with an application to the class of the locus of Jacobians*, New trends in algebraic geometry (Warwick, 1996) London Math. Soc. Lecture Note Ser., vol. 264, Cambridge Univ. Press, Cambridge, 1999, pp. 93–109. MR**1714822**, DOI https://doi.org/10.1017/CBO9780511721540.006
[Gibney00]Gibney00 A. Gibney, - Joe Harris and Ian Morrison,
*Moduli of curves*, Graduate Texts in Mathematics, vol. 187, Springer-Verlag, New York, 1998. MR**1631825** - Yi Hu and Sean Keel,
*Mori dream spaces and GIT*, Michigan Math. J.**48**(2000), 331–348. Dedicated to William Fulton on the occasion of his 60th birthday. MR**1786494**, DOI https://doi.org/10.1307/mmj/1030132722 - Sean Keel,
*Intersection theory of moduli space of stable $n$-pointed curves of genus zero*, Trans. Amer. Math. Soc.**330**(1992), no. 2, 545–574. MR**1034665**, DOI https://doi.org/10.1090/S0002-9947-1992-1034665-0 - Seán Keel,
*Basepoint freeness for nef and big line bundles in positive characteristic*, Ann. of Math. (2)**149**(1999), no. 1, 253–286. MR**1680559**, DOI https://doi.org/10.2307/121025
[KeelMcKernan96]KeelMcKernan96 S. Keel and J. McKernan, - János Kollár and Shigefumi Mori,
*Birational geometry of algebraic varieties*, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti; Translated from the 1998 Japanese original. MR**1658959** - M. Kontsevich and Yu. Manin,
*Quantum cohomology of a product*, Invent. Math.**124**(1996), no. 1-3, 313–339. With an appendix by R. Kaufmann. MR**1369420**, DOI https://doi.org/10.1007/s002220050055
[Logan00]Logan00 A. Logan, - Atsushi Moriwaki,
*Relative Bogomolov’s inequality and the cone of positive divisors on the moduli space of stable curves*, J. Amer. Math. Soc.**11**(1998), no. 3, 569–600. MR**1488349**, DOI https://doi.org/10.1090/S0894-0347-98-00261-6
[Moriwaki00]Moriwaki00 ---,

*Fibrations of ${\overline {M}_{g,n}}$*, Ph. D. Thesis, Univ. of Texas at Austin, 2000.

*Contractible extremal rays of $\overline {M}_{0,n}$*, preprint alg-geom/9707016 (1996).

*Relations among divisors on the moduli space of curves with marked points*, preprint math.AG/0003104, 2000. [LosevManin00]LosevManin00 A. Losev and Y. Manin,

*New Moduli Spaces of Pointed Curves and Pencils of Flat Connections*, Michigan Math. J.

**48**(2000), 443–472.

*Nef divisors in codimension one on the moduli space of stable curves*, preprint math.AG/0005012, 2000. [Moriwaki01]Moriwaki01 ---,

*The $Q$-Picard group of the moduli space of curves in positive characteristic*, Internat. J. Math.

**12**(2001), no. 5, 519–534. [Rulla00]Rulla00 W. Rulla,

*Birational Geometry of ${\overline {M}_{3}}$*, Ph D. Thesis, Univ. of Texas at Austin, 2000.

Retrieve articles in *Journal of the American Mathematical Society*
with MSC (2000):
14H10,
14E99

Retrieve articles in all journals with MSC (2000): 14H10, 14E99

Additional Information

**Angela Gibney**

Affiliation:
Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109

MR Author ID:
689485

Email:
agibney@math.lsa.umich.edu

**Sean Keel**

Affiliation:
Department of Mathematics, University of Texas at Austin, Austin, Texas 78712

MR Author ID:
289025

Email:
keel@fireant.ma.utexas.edu

**Ian Morrison**

Affiliation:
Department of Mathematics, Fordham University, Bronx, New York 10458

Email:
morrison@fordham.edu

Keywords:
Ample cone,
Mori cone,
moduli space,
stable curve

Received by editor(s):
September 5, 2000

Published electronically:
December 20, 2001

Additional Notes:
During this research, the first two authors received partial support from a Big XII faculty research grant, and a grant from the Texas Higher Education Coordinating Board.

The first author also received partial support from the Clay Mathematics Institute, and the second from the NSF

The third author’s research was partially supported by a Fordham University Faculty Fellowship and by grants from the Centre de Recerca Matemática for a stay in Barcelona and from the Consiglio Nazionale di Ricerche for stays in Pisa and Genova

Dedicated:
To Bill Fulton on his sixtieth birthday

Article copyright:
© Copyright 2001
American Mathematical Society