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

HTML articles powered by AMS MathViewer

- by Angela Gibney, Sean Keel and Ian Morrison
- J. Amer. Math. Soc.
**15**(2002), 273-294 - DOI: https://doi.org/10.1090/S0894-0347-01-00384-8
- Published electronically: December 20, 2001
- PDF | Request permission

## 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.## References

- 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**, DOI 10.1007/BF02701767 - Lucia Caporaso, Joe Harris, and Barry Mazur,
*Uniformity of rational points*, J. Amer. Math. Soc.**10**(1997), no. 1, 1–35. MR**1325796**, DOI 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**, DOI 10.24033/asens.1564 - 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**, DOI 10.1007/BF02684599 - 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 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 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 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 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**, DOI 10.1017/CBO9780511662560 - 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 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 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.

## Bibliographic 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
- 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 - © Copyright 2001 American Mathematical Society
- 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
- MathSciNet review: 1887636

Dedicated: To Bill Fulton on his sixtieth birthday