Log minimal model program for the moduli space of stable curves: The first flip

Abstract

We give a geometric invariant theory (GIT) construction of the log canonical model ${\bar{M}}_g(\alpha )$ of the pairs $({\bar{M}}_g,\alpha \delta )$ for $\alpha \in (7/10-\epsilon ,7/10]$ for small $\epsilon \in {\mathbb{Q}}_{+}$. We show that ${\bar{M}}_g(7/10)$ is isomorphic to the GIT quotient of the Chow variety bicanonical curves; ${\bar{M}}_g(7/10-\epsilon )$ is isomorphic to the GIT quotient of the asymptotically-linearized Hilbert scheme of bicanonical curves. In each case, we completely classify the (semi)stable curves and their orbit closures. Chow semistable curves have ordinary cusps and tacnodes as singularities but do not admit elliptic tails. Hilbert semistable curves satisfy further conditions, e.g., they do not contain elliptic bridges. We show that there is a small contraction $\Psi :{\bar{M}}_g(7/10+\epsilon )\to {\bar{M}}_g(7/10)$ that contracts the locus of elliptic bridges. Moreover, by using the GIT interpretation of the log canonical models, we construct a small contraction ${\Psi }^{+}:{\bar{M}}_g(7/10-\epsilon )\to {\bar{M}}_g(7/10)$ that is the Mori flip of $\Psi$.

75 pages, 15 figures

References in corpus (2)

• Existence of minimal models for varieties of log general type
• Perfect forms and the moduli space of abelian varieties

Cited by in corpus (23)

• Alternate Compactifications of Moduli Spaces of Curves
• Finite Hilbert stability of (bi)canonical curves
• Singularities with G_m-action and the log minimal model program for ${\bar{M}}_g$
• GIT for polarized curves
• Birational contraction of genus two tails in the moduli space of genus four curves I
• GIT Constructions of Log Canonical Models of M_g
• The final log canonical model of the moduli space of stable curves of genus four
• Log canonical models and variation of GIT for genus four canonical curves
• GIT Constructions of Moduli Spaces of Stable Curves and Maps
• Groebner techniques for low degree Hilbert stability
• Towards Mori's program for the moduli space of stable maps
• GIT and moduli with a twist
• An outline of the log minimal model program for the moduli space of curves
• Stability of genus five canonical curves
• Moduli spaces of hyperelliptic curves with A and D singularities
• The cone of type A, level one conformal blocks divisors
• Finite Hilbert stability of canonical curves, II. The even-genus case
• On GIT quotients of Hilbert and Chow schemes of curves
• Stability of Tails and 4-Canonical Models
• Log canonical models for ${\bar{M}}_{g,n}$
• On extensions of the Torelli map
• On the birational geometry of the parameter space for codimension 2 complete intersections
• Mori's program for ${\bar{M}}_{0,7}$ with symmetric divisors