Numerical criteria for divisors on $\M_{g}$ to be ample

Abstract

The moduli space $\M_{g,n}$ of $n-$pointed stable curves of genus $g$ is stratified by the topological type of the curves being parametrized: the closure of the locus of curves with $k$ nodes has codimension $k$. The one dimensional components of this stratification are smooth rational curves (whose numerical equivalence classes are) called F-curves. The F-conjecture asserts that a divisor on $\M_{g,n}$ is ample if and only if it positively intersects the $F-$curves. In this paper the F-conjecture on $\M_{g,n}$ is reduced to showing that certain divisors in $\M_{0,N}$ for $N\le g+n$ are equivalent to the sum of the canonical divisor plus an effective divisor supported on the boundary. As an application of the reduction, numerical criteria are given which if satisfied by a divisor $D$ on $\M_g$, show that $D$ is ample. Additionally, an algorithm is described to check that a given divisor is ample. Using a computer program called Nef Wizard, written by Daniel Krashen (http://www.yale.edu/users/dkrashen/nefwiz), one can use the criteria and the algorithm to verify the conjecture for low genus. This is done on $\M_g$ for $g\le 24$, more than doubling the known cases of the conjecture and showing it is true for the first genus such that $\M_g$ is known to be of general type.

20 pages

References in corpus (1)

• Contractible Extremal Rays on \overline{M}_{0,n}

Cited by in corpus (11)

• Alternate Compactifications of Moduli Spaces of Curves
• On Log Canonical Models of the Moduli Space of Stable Pointed Curves
• Fulton's Conjecture for \bar{M}_{0,7}
• Square-tiled surfaces and rigid curves on moduli spaces
• Conformal blocks divisors on ${\bar{M}}_{0,n}$ from $s{l}_2$
• Cyclic covering morphisms on ${\bar{M}}_{0,n}$
• A non-boundary nef divisor on ${\bar{M}}_{0,12}$
• Semiampleness criteria for divisors on ${\overline{M}}_{0,n}$
• Symmetric F-conjecture for $g\le 35$
• Positive divisors on quotients of ${\bar{M}}_{0,n}$ and the Mori cone of ${\bar{M}}_{g,n}$
• On an equivalence of divisors on ${\bar{M}}_{0,n}$ from Gromov-Witten theory and conformal blocks