arxiv: v2 [math.ag] 29 Mar 2011

Transcription

1 AN OUTLINE OF THE LOG MINIMAL MODEL PROGRAM FOR THE MODULI SPACE OF CURVES arxiv: v [math.ag] 9 Mar 011 DONGHOON HYEON ABSTRACT. B. Hassett and S. Keel predicted that there is a descending sequence of critical α values where the log canonical model for the moduli space of stable curves with respect to αδ changes, where δ denotes the divisor of singular curves. We derive a conjectural formula for the critical values in two different ways, by working out the intersection theory of the moduli space of hyperelliptic curves and by computing the GIT stability of certain curves with tails and bridges. The results give a rough outline of how the log minimal model program would proceed, telling us when the log canonical model changes and which curves are to be discarded and acquired at the critical steps. 1. INTRODUCTION Recently in a series of papers, B. Hassett, Y. Lee and the author completed the first couple of steps of the log minimal model program and showed that the log canonical model M g α) := Proj m 0 ΓmK Mg + αδ)) changes at certain critical values of α, contracting the locus of elliptic tails and bridges. Moreover, these new compactifications of M g were identified with GIT moduli spaces parametrizing ordinary cusps and tacnodes. The whole story so far demonstrates the so-called Hassett-Keel principle: As we run the log minimal model program for M g with respect to αδ, decreasing α from 1 to 0, we produce birational contractions with exceptional loci in the divisors δ i, and the resulting varieties are moduli spaces parametrizing curves with increasingly worse singularities. In general, flips are expected in between the divisorial contractions with centers in δ i, possibly introducing curves with singularities other than rational singularities. And it is the existence of the flips that makes carrying out this program highly nontrivial. Recently, [JA] gave a stack-theoretic construction of the second flip, of which projective moduli space would be proven to exist in a forthcoming work. Also, there is an excellent survey on the Hassett-Keel program by Fedorchuk and Smyth [MF], which puts the whole program in a broader context of birational geometry of M g. While we are making steady progress in this program, step by step arduously, we turn our attention in this paper to some work in the literature where Hassett-Keel principle is in clear display. In [Kap93a, Kap93b], Kapranov constructed birational morphisms from M 0,n to GIT quotients P 1 ) n / x SL where x denotes the linearization Ox 1,..., x n ). The symmetric linearization case O1,..., 1) was worked out in [GHvdP88]. See also [Has03] in which such morphisms are given functorially in a more general setting of weighted pointed curves, and [KM10] where the morphism is explicitly decomposed into a sequence of blow-downs. For the Date: November,

2 DONGHOON HYEON symmetric linearization x = 1,..., 1), the birational morphism descends to give a birational morphism from M 0,n /S n to the compact moduli space P n /SL of semistable binary forms of degree n. For the even n = g + case where M 0,n /S n is isomorphic to the moduli space of stable hyperelliptic curves, Avritzer and Lange give a detailed functorial description of the birational morphism which they denote by f g [AL0]: On the locus H g of smooth hyperelliptic curves, f g is an isomorphism, and it maps a general curve R 1, k j R 1 R, x 1,..., x g+ ), x k R, k > j in the boundary B j ), j g + 1, to the binary form x x 0 ) j g+ k=j+1 x x k), where x 0 denotes the point of attachment. Note that for odd j, the stable curve associated to a general j 1 tail, i.e. a curve consisting of a genus g curve D and curve T meeting in one node p. For even j, it is a curve of the form D p1,p B pointed curve in B j is a genus j 1 a genus j 1 consisting of a genus g j 1 curve D and a genus j curve B meeting in two nodes p 1 and p. Such a curve will be called a genus j bridge. In terms of stable curves, f g replaces the genus j 1 tail resp. genus j bridge) by a singularity locally analytically isomorphic to y = x j if j is odd resp. even), putting forth a picture that is very desirable from the view point of Hassett-Keel principle. Indeed, for g =, f is precisely the divisorial contraction given in [Has05] and [HL07]. Yongnam Lee and the author took the initiative from this and considered the log minimal model program for the moduli space H g of hyperelliptic curves with suitable log canonical divisor K Hg + D α, and proved that the boundary divisors B j, j = 3, 4, 5 are contracted in succession [HL10b]. The problem had seemed to get combinatorially too complex very quickly as j gets larger. In this article, we shall postulate that the log MMP for H g obeys Hassett-Keel, and deduce a conjectural formula for the critical values α j at which the log canonical model H g α) changes. Furthermore, we also consider the other aspect of Hassett-Keel principle that dictates how H g α) manifests itself as a moduli space: We compute the GIT stability of the mth Hilbert point of certain curves with singularity locally analytically isomorphic to y = x k, and the results predict that such a curve will go from being GIT unstable to semi)stable at a critical value. The critical values are then shown to precisely match α j s via the relation between α and m. We shall make this more precise and state the main results in the remainder of the introduction. Let L α be the Q-divisor L α := g+1 s=1 and define H g α) by { } 13 sg + 1 s) + α ) 4g + g B s + s=1 H g α) := Proj n 0 ΓH g, n4g + )L α ). { } 13 α sg s) + B s+1 4g + Hassett-Keel principle gives us a sequence of critical values α j and birational maps f g,j : H g α j 1 ) H g α j ) precisely at which B j gets contracted:

3 OUTLINE OF THE LOG MMP FOR M g 3 f g,3 H g H g 9/11) f g,4 f g,5 H g 7/10) fg,g+1 H g α g+1 ) Proposition 1. 1) conjectural critical values) Critical values α j are given by 1, j = 3j ) α j = +10j 1, j = 3, 5, 7,... 8j 8j 4, j = 4, 6, 8,... ) 3j+16 8j+8 f g ) conjectural discrepancy formula) The pullback by f g, j := f g,j f g,j 1 f 3 of the cycle theoretic image of L α on H g α j ) is given by L [j] α = j k= ) k r Bk + g+1 k=j+1 where r k are B k -coefficient of L α. In particular, g+1 ) k L [g+1] α = r B k. k= r k Bk. 3) There is an isomorphism H g α g+1 ) B g+ via which the map f g is identified with f g,g+1 f g,g f g,4 f g,3 away from a codimension locus. The proposition is not only interesting on its own, but also provides useful information on the log minimal model program for M g. For instance, the critical values in this conjecture are expected to be the critical values for the log MMP for M g as well. Indeed, α 3 = 9/11, α 4 = 7/10, α 5 = /3 and α 6 = 17/8 have appeared as critical values in the aforementioned work. Also, our analysis of log MMP for H 4 in [HL10b] plays a crucial role in our upcoming paper on the log MMP for M 4 [HL10a]. Hassett-Keel principle predicts that as δ i is contracted at, say α = α, genus i tails D p T are replaced in M g α ) by suitable curves with A i singularity y = x i+1. How does α factor in the GIT construction of the log canonical models, so that the stability of D p T changes at the critical value α? Recall that the GIT stability depends on how the parameter space is linearized. The Hilbert scheme of ν-canonically embedded curves naturally admits a one-parameter family of linearizations, and α can be regarded as the parameter in the variation of GIT quotients. We shall consider the stability of D p T with rational cuspidal tail T and show that it is stable with respect to a one-parameter subgroup coming from AutT) for α > α i+1 but becomes unstable for α < α i+1, where α j are precisely the critical values obtained by intersection theory in Proposition 1. The subscript i + 1 comes from the relation δ i H g = B i+1. This strongly suggests how the log canonical models can be constructed as GIT quotients. To state the results precisely, recall that µ L x, ρ) denotes the Hilbert-Mumford index with respect to a 1-PS ρ : G m G of a point x in a projective variety with L-linearized G action. Also, for any projective variety X, [X] m denotes its mth Hilbert point.

4 4 DONGHOON HYEON Proposition. Let C = D p T be a bicanonical genus i tail, i, such that T is a rational curve with an A i singularity y = x i+1. Then there exists a one parameter subgroup ρ of SL 3g 3 coming from AutT) such that µ[c] m, ρ) = 1 3 m 1)4i 8i + )m 3i ) Using the relation ) between m and α 3), we may write it in terms of α and j = i + 1: 17α 8 µ[c] m, ρ) = 87 10α) 8j 8j 4)α 3j + 10j 1) ) = 8j 8j 4)17α 8) 87 10α) α α j ). Thus C is Hilbert stable with respect to ρ for α > α i+1, strictly semistable for α = α i+1 and unstable for α < α i+1. Retain C and ρ, and consider the basin of attraction B ρ [C] m ). We obtain: 1) Let C = D p T be a bicanonical genus i tail, i, where T is a hyperelliptic curve of genus i and p is a Weierstrass point of T. Then µ[c ] m, ρ) = µ[c] m, ρ). In particular C is α-hilbert stable with respect to α > α i+1, strictly semistable for α = α i+1 and unstable for α < α i+1. T and sometimes C itself by abusing terminology) is called a Weierstrass genus i tail. ) Let C be a bicanonical genus g curve obtained from C by replacing T by an A i singularity. That is, C is of genus g, has A i singularity at p and admits a partial normalization ν : D, p) C, p ). Then µ[c ] m, ρ) = µ[c ] m, ρ) In particular, C is α-hilbert unstable with respect to α > α i+1, strictly semistable for α = α i+1 and stable otherwise. We also consider the stability of genus i bridges. Genus one bridges elliptic bridges) were introduced in [HH08], where we showed that they are Hilbert unstable and Chow strictly semistable when they are bicanonically embedded. Bridges of higher genera also become Hilbert unstable as α decreases further: Proposition 3. Let C = D p1,p B be a bicanonical genus i bridge, i, such that B = R 1 R is a union of two rational curves meeting in one point forming an A i+1 singularity y = x i+. Then there exists a one parameters subgroup ρ of SL 3g 3 coming from AutR) such that µ[c] m, ρ) = 1 m 1)4ii 1)m 3ii + 1)). 6 Using the relation ), 3, we may write it in terms of α and j = i + : µ[c] m, ρ) = j )17α 8) α) 8j + 1)α 3j + 16)) = j j )17α 8) 7 10α) α α j ). Thus C is Hilbert stable with respect to ρ for α > α i+, strictly semistable for α = α i+ and unstable for α < α i+. Retain C, ρ and analyze B ρ [C] m ). We have:

5 OUTLINE OF THE LOG MMP FOR M g 5 1) Let C = D p 1,p B be a bicanonical genus i bridge, i, where B is a hyperelliptic curve of genus i and p 1, p are interchanged by the hyperelliptic involution of B. Then µ[c ] m, ρ) = µ[c] m, ρ) In particular C is α-hilbert stable with respect to α > α i+, strictly semistable for α = α i+ and unstable for α < α i+. Such a subcurve B and sometimes C itself by abusing terminology) is called a hyperelliptic genus i bridge. ) Let C be a bicanonical genus g curve obtained from C by replacing B by an A i+1 singularity. That is, C is of genus g, has A i+1 singularity at p and admits a partial normalization ν : D, p 1, p ) C, p ) mapping p i to p. Then µ[c ] m, ρ) = µ[c ] m, ρ) In particular C is α-hilbert unstable with respect to α > α i+, strictly semistable for α = α i+ and stable otherwise. Acknowledgement. The author thanks Brendan Hassett for sharing his ideas on the log minimal model program for the moduli of stable curves. Especially, the results in 3.1 were developed from his stability computation of genus two tails. The author thanks Sean Keel for pointing out inaccuracies in a preliminary version, and Jarod Alper and Maksym Fedorchuk for patiently explaining their heuristics of predicting critical values and change in singularity loci. He also greatly benefited from useful conversations with Valery Alexeev, Angela Gibney, Young-Hoon Kiem, Yongnam Lee, Ian Morrison, Jihun Park, David Smyth and Dave Swinarski.. INTERSECTION WITH VITAL CURVES We shall use the isomorphism H g M 0,g+ := M 0,g+ /S g+ throughout the paper, which grants us access to the intersection theory on M 0,n worked out comprehensively in [KM96]. Recall that a vital curve is an irreducible component of the locus in M 0,g+ consisting of pointed curves with g nodes, and any effective curve is conjectured to be an effective sum of vital curves Fulton Conjecture, [GKM0, KM96, Gib09]) which has been confirmed positively for g 11. A vital curve may be determined by {a, b, c, d} Z + such that a + b + c + d = g + [KM96, 4.1], and its intersection with a divisor g+1 k= r k B k is given by ) r a+b + r b+c + r a+c r a r b r c r d [KM96, 1.3,4.4]. In this section, we shall derive the conjectural critical value formula ) and the log discrepancy formula ) by applying Hassett-Keel principle. Recall that L α [j] denotes the pullback under f g, j = f g,j f g,j 1 f g,3 of the cycle theoretic image of L α on H g α j ). Let r [j] k denote the B k coefficients of L [j] α i.e. g+1 L [j] α = r [j] B k k, L [] α := L α. k= For notational convenience we also let r k denote r [] k. To prove Proposition 1, we shall use induction on j. Note that the statement is trivially true for j =. Assume that it is true for

6 6 DONGHOON HYEON j 1. Hassett-Keel principle asserts that there exists a birational contraction f g,j that contracts the divisor B j image of it in H g α j 1 ), to be more precise), so the extremal ray for f g,j is the class of the vital curve {a, b, j a b, g + j}. Let C a,b,c denote the vital curve associated to {a, b, c, g + a b c}. Intersecting C a,b,j a b with L [j 1] α, we obtain = a+b r a+b + r j a + r j b r a r b r j a b r j ) + j a ) + j b ) a ) b ) j a b ) ) r r j which after a simple combinatorics yields j ) r r j. Since the intersection of B j with {a, b, j a b, j} is 1, the discrepancy formula is ) j L [j] α = L [j 1] α + )r r j B j. Note that change occurs only in the coefficient of B j : ) r [j] j j = )r r j + r j = Hence the coefficient of the exceptional B j is given by ) j r. c j = r [j] j r [j 1] j = j ) r r j j ) ) ) 13 4g+ = g + α ) 13 j 1 4g+ g j 1 j ) ) 13 4g+ g + α ) 13 j 4g+ g + 1 j ) jj 1) 1 α 3j +10j 1 8, j odd = [ )] j ) j + 1)α 3j 8 +, j even α, j is odd ) α ), j even Setting c j = 0 and solving it for α, we obtain the formula for critical values ) of Proposition 1. Now we are ready to prove Proposition 1. 3). Since f g : H g B g+ and f g, g+1 : H g H g α g+1 ) both contract the boundary divisors B 3, B 4,..., B g+1 and no other divisors, H g α g+1 ) and B g+ are isomorphic away from a codimension two locus. We shall prove that an ample divisor on H g α g+1 ) is pulled back to an ample divisor on B g+. By the log discrepancy formula, the distinguished ample divisor on H g α g+1 ) pulls back to r k g+1 k= ) Bk. On the other hand, recall the geometric line bundles L x on M 0,n pulled back from the GIT quotients P 1 ) n / x SL where x = a 1,..., a n ) denotes the linearization Oa 1,..., a n ) used in the GIT construction [AS]. Let ϖ denote the projection P 1 ) n P 1 ) n /S n P n and note that ϖ O P n1)) O1, 1,..., 1). The natural ample line bundle on the GIT quotient B g+ comes from O P g+1). Hence its pullback to M 0,g+ is a positive rational multiple of the symmetric linearization L g+ 1 g+1,..., 1 g+1 ), which is equal to 1) g+1 k= kk 1) g + 1 B k.

7 OUTLINE OF THE LOG MMP FOR M g 7 where B k = S =k D S,S c and D S,Sc is the divisor whose general pointed curve has labels of S in one component and labels of S c on the other. Kiem and Moon also made a similar computation [KM10, Lemma 5.3]. The assertion now follows since 1) is a symmetric divisor that descends to a multiple of g+1 k k= ) Bk on M 0,g+. 3. MODULARITY PRINCIPLE OF HASSETT AND KEEL Hassett-Keel principle for H g asserts that the intermediate log canonical models H g α) are moduli spaces themselves parametrizing curves with prescribed singularities. These singularities are determined by the divisors contracted by H g H g α). For instance, consider a general curve in B s+1 which is a Weierstrass genus s tail. Recall that it is a genus g curve D p T consisting of a genus g s curve D and genus s hyperelliptic curve T meeting in one node such that the point p of attachment is a Weierstrass point of T. When B s+1 is contracted, such a curve D p T must be replaced in the resulting moduli space H g α s+1 ) by a genus g curve that depends only on D, p), and a natural candidate for the replacement is the curve C obtained from D p T by replacing T with an A s singularity y = x s+1 at p. 1 To explain how α appears as a parameter in the variation of GIT quotients of the Hilbert scheme, we recall the natural linearization of the Hilbert scheme. Let Hilb g,ν denote the closure of the locus of ν- canonical smooth genus g curves in the Hilbert scheme Hilb P P N ) parametrizing subschemes of PV) := P N of Hilbert polynomial Pm) = νm 1)g 1). For m 0, Hilb g,ν admits embeddings Pm) φ m : Hilb g,ν GrPm), S m V ) P S m V ) such that φ mo+1)) is a positive rational multiple of ) m 1)6mν mν ν + 1)λ mν δ) where λ is the determinant of the Hodge bundle and δ is the divisor of the singular curves [HH08, P8. Equation 5.3)]. For a ν-canonical curve C P N, we let [C] m denote the image in P Pm) S m V ) of [C] Hilb g,ν under φ m and call it the mth Hilbert point of C. Definition 1. C is said to be m-hilbert stable resp. semistable, unstable) if [C] m is GIT stable resp. semistable, unstable) with respect to the natural SLV) action on P Pm) S m V ). On the other hand, K Mg +αδ pulls back by the quotient map Hilb g,ν M g to 13λ α)δ which is proportional to ) when ν = and ) m = 3 α) 7 10α), α = 14m 6 0m 3. For meaningful values of m and α, this is a one-to-one order preserving correspondence between them. We say that a ν-canonical curve C P N is α-hilbert stable resp. semistable, unstable) if it is m-hilbert stable resp. semistable, unstable) for the corresponding m. 1 This is a natural generalization of the picture we described in [HH09, HL10b] in which the divisorial contraction M g M g9/11) resp. H g H g9/11)) replaces an elliptic tail with an ordinary cusp. This of course leaves room for confusion. Rule of thumb is, m is usually an integer, such as 6-Hilbert stable means [C] 6 is stable, and /3-Hilbert stable means again [C] 6 is stable since m/3) = 6.

8 8 DONGHOON HYEON 3.1. Cuspidal Tails. We first consider the curves in B j, j = b + 1, b. Let R be a rational curve of genus b with a single cusp q whose local analytic equation is y = x j. Let C = D p R be a bicanonical curve of genus g consisting of R and a genus g b curve D meeting in a single node p. Restricting O C 1) to R resp. D), we find that it is of degree 4b resp. 4g 4b ) and contained in a linear subspace of dimension 3b 1 resp. 3g 3b 1). We can and shall choose coordinates such that R {x 3b 1 = x 3b = = x 3g 4 = 0} and D {x 0 = x 1 = = x 3b 3 = 0}. R may be parametrized by mapping [s, t] to [s 4b, s 4b 4 t, s 4b 6 t 4,, s b t b, s b 3 t b+1, s b 4 t b+,, t 4b ] so that R has a single cusp x b+1 = xb+1 1 at q = [1, 0,..., 0], where we abused notation and let x 1 and x b+1 denote their images in the completed local ring at q. Let ρ denote the oneparameter subgroup with weights 0,, 4, 6,..., b, b + 1, b +,..., 4b, 4b,..., 4b ). The sum of these weights is r := ) 4b 1 b +4b )3g 3b ). We shall fix the ρ-weighted GLex order on the monomials. Lemma 1. The sum w R,ρ m) of the weights of the degree m monomials of in x 0,..., x 3b that are not in the initial ideal of R is w R,ρ m) = 8b 8b + )m + b 1)m b. Proof. In general, weight computation of this sort can be accomplished by using Gröbner basis, but in this case there is a more elementary solution since R admits a parametrization. Let P R m) = 4m 1)b 1) + m, the Hilbert polynomial of R. A monomial of degree m pulls back to one of the following m4b ) + 1 b monomials s m4b ) i t i, i = 0,, 4,..., b, b + 1, b +,..., m4b ). If i I, I =m x i and i J, J =m x i pull back to the same monomial, then i I, I =m x i i J, J =m x i is in the initial ideal in ρ R) of the ideal of R with respect to the ρ-weighted GLex order. It follows that each s m4b ) i t i appears at most once among the pullbacks of degree m monomials not in the initial ideal in ρ R). Since m4b ) + 1 b equals P R m), it has to appear in the set exactly once. Therefore, w R,ρ m) = b k=0 k + m4b ) k=b+1 k = 8b 8b + )m + b 1)m b. On the other hand, the contribution from D to the total weight is w D,ρ m) = 4b )m h 0 O C D) m p)) = 4b )m4m 1)g b 1) + m 1)

9 OUTLINE OF THE LOG MMP FOR M g 9 since ρ acts on D trivially with constant weight 4b. Combining these weights and the average weight, we obtain the Hilbert-Mumford index of C: µ[c] m, ρ) = mpm) r w N+1 R,ρm) w D,ρ m) = 1 m4m 1) 1 4b 1)4b ) 3 b + 4b )3g 3b )) 8b 8b + )m + b 1)m b ) 4b )m4m 1)g b 1) + m 1)) 4b 8b + )m + 7b + 8b )m + 3b ) = 1 3 = 1 3 m 1)4b 8b + )m 3b ) Using the relation ) from 3 and substituting j = b + 1, we can rewrite it as 17α 8 µ[c] m, ρ) = 87 10α) 8j 8j 4)α 3j + 10j 1) ) This completes the proof of Proposition. = 8j 8j 4)17α 8) 87 10α) α α j ) Basin of attraction of cuspidal tails. The local versal deformation space of q is given by x b+1 = x b c b 1 x b c b x b c 0 Since ρ acts on x 1 and x b+1 with weights and b + 1 respectively, it acts on c i with positive weight 4b + i, 0 i b 1. Hence the basin of attraction contains arbitrary smoothing of q. By considering the local stable reduction [Has00, 6..], we can deduce that if D p T is in the basin B ρ [C] m ), then T must be hyperelliptic and p is a Weierstrass point of T. Indeeed, consider the isotrivial family C B = Spec k[[t]] whose general member is ρt).d p T) and the special member is C. Stable reduction of C yields C B, B B a finite covering, whose general member is isomorphic to that of C and the special member is D p T where T is hyperelliptic and p is a Weierstrass point of T : This is precisely the content of[has00, 6..]. By the separability of M g, it follows that T is hyperelliptic and p is a Weierstrass point. On the other hand, ρ acts trivially on the local versal deformation of the node p and the basin of attraction does not contain any smoothing of p.. genus = b p genus = g-b p' cusp singularity b+1 y = x ρ -1 ρ cusp singularity b+1 y = x p rational, genus = b genus = g-b FIGURE 1. Basin of attraction of cuspidal tail

10 10 DONGHOON HYEON 3.. Nodal Bridges. In this section, we consider the case B j for even j = b +, b. Let R = R 1 a1 R be a curve of arithmetic genus b consisting of two rational curves meeting in an A b+1 singularity at a 1. Let C = R a0,a D P 3g 4 be a bicanonical curve of genus g consisting of R and a genus g b 1 curve D meeting in two nodes a 0 and a. By Riemann- Roch, we have h 0 R, O1) R) = 3b + 1 and h 0 D, O1) D) = 3g 3 3b 1) and may choose coordinates such that and R {x 3b+1 = x 3b+ = = x 3g 3 = 0} D {x 0 = = x 3b = 0}. The rational components R i of R are embedded as degree b curves in P N 3b = {x 3b+1 = = x N = 0} P N, and can be parametrized as follows so that they meet in an A b+1 singularity: we map s i, t i ) to x 0... x b x b+1... x b 1 x b... x 3b x 3b 1 x 3b s b 1... s b 1t b 1 s b 1 1 t b s 1 t b t b 1 0 s b... s b t b s b 1 t b+1... s t b 1 0 t b in {x 3b+1 = = x N = 0}. In this coordinate system, we have Let ρ be the 1-PS with weights 3b {}}{ a 0 = 0,..., 0, 1, 0, 0,..., 0) a = 0,..., 0, 0, 1, 0,..., 0) a 1 = 1, 0,..., 0, 0, 0,..., 0). 0, 1,, 3,..., b 1, b + 1, b +,, b 1, b, b..., b). The sum of the weights of ρ is ) ) b + 1 b b + b3g 3b 4). Lemma. The total ρ-weight w R,ρ m) of the degree m monomials in x 0,..., x 3b not in the initial ideal with respect to ρ-weighted GLex is ) b + 1 w R,ρ m) = 4b m + bm Proof. Let S denote the monomials of degree m in x 0,..., x 3b not in the initial ideal in ρ R). For k b, there are at most one monomial in S of weight k, namely x m 1 0 x k. In general, we claim that S contains at most two monomials of weight k. Suppose that M and M are monomials of weight k. If k bm + 1, then a monomial of weight k must involve x j for some j b + 1 and hence vanishes on R 1 or R. If M and M both vanish on the same component, then M M is in the ideal of R and one of them is in the initial ideal. Hence S may contain at most one monomial of weight k that vanishes on R 1 but not on R, and another with the opposite vanishing property. If k bm, there could be a monomial M of weight k comprised of x 0,..., x b only. These do not vanish on either components. But in this case, M + M M is in the ideal of R and one of them is in the initial ideal. Counting these possible monomials

11 OUTLINE OF THE LOG MMP FOR M g 11 in S, there are bm b monomials of weight b + 1 k bm that vanishes on R i for each i plus the b + 1 monomials x m 0, xm 1 0 x 1,..., x m 1 0 x b, totaling bm b) + b + 1 = 4bm + 1 b. But this equals P R m), the Hilbert polynomial of R, and we conclude that these are precisely the monomials in S. Summing up their weights, we obtain bm k=b+1 k + b k=0 bm k = k k=1 b k = bmbm + 1) k=0 Since ρ acts on D trivially with weight b, the contribution from D is bb + 1). bm h 0 Om) D a 0 a )) = bm4m 1)g b 1) 1). The normalized) Hilbert-Mumford index of C with respect to ρ is µ[c] m, ρ) = mpm) N+1 b+1 ) + b+1 ) + b + b3g 3b 4)) 4b m + bm b+1 = 3 bb 1)m 1 6 b7b 1)m + ) b+1 m 1)4bb 1)m 3bb + 1)). = 1 6 Using the relation ) and j = b +, we obtain ) ) bm4m 1)g b 1) 1) µ[c] m, ρ) = j )17α 8) α) 8j + 1)α 3j + 16)) = j j )17α 8) 7 10α) α α j ) Basin of attraction of nodal bridges. We apply similar arguments as in to analyze the ρ-action on the local versal deformation of the singularities, and conclude that the basin of attraction of C with respect to ρ contains arbitrary smoothing of a 1 but no smoothing of a 0 and a. If D a0,a E is in the basin of attraction of B ρ [C] m ), then by [Has00, 6..1], E is hyperellliptic of genus b and a 0, a are interchanged by the hyperelliptic involution. On the other hand, the basin of attraction of C with respect to ρ 1 would contain the curves obtained from C by replacing the bridge R by a b + 1)-fold node. This completes the proof of Proposition 3. Remark 1. Alper, Fedorchuk and Smyth [AFS10] observes that 13λ α)δ is positively proportional to 13α 13 α λ + λ, and the Hilbert-Mumford index computation boils down to computing µ λ [C], ρ) and µ λ [C], ρ). The upshot is that λ m [C] = H 0 C, ω m C ), and when ρ is the 1-PS coming from AutC), µ λm [C], ρ) is simply the ρ-weight of the G m action on H 0 C, ω m C ). This enables them to compute the Hilbert-Mumford index without working with explicit parametrization. They also formulate the modularity principle precisely and obtain a comprehensive outline of the whole program, predicting when various singularities would appear.

12 1 DONGHOON HYEON genus = b local equation b+ y = x. genus = g-b-1 ρ -1 ρ genus = 0 genus = 0 genus = g-b-1 FIGURE. Basin of attraction of nodal bridges REFERENCES [AFS10] Jarod Alper, Maksym Fedorchuk, and David Ishii Smyth. Singularities with G m-action and the log minimal model program for M g, 010. arxiv: v1 [math.ag]. [AL0] D. Avritzer and H. Lange. The moduli spaces of hyperelliptic curves and binary forms. Math. Z., 44):615 63, 00. [AS] Valery Alexeev and David Swinarski. Nef divisors on M 0,n from GIT. arxiv: v1 [math.ag]. [GHvdP88] L. Gerritzen, F. Herrlich, and M. van der Put. Stable n-pointed trees of projective lines. Nederl. Akad. Wetensch. Indag. Math., 50): , [Gib09] Angela Gibney. Numerical criteria for divisors on M g to be ample. Compos. Math., 1455):17 148, 009. [GKM0] Angela Gibney, Sean Keel, and Ian Morrison. Towards the ample cone of M g,n. J. Amer. Math. Soc., 15):73 94 electronic), 00. [Has00] Brendan Hassett. Local stable reduction of plane curve singularities. J. Reine Angew. Math., 50: , 000. [Has03] Brendan Hassett. Moduli spaces of weighted pointed stable curves. Adv. Math., 173):316 35, 003. [Has05] B. Hassett. Classical and minimal models of the moduli space of curves of genus two. In Geometric methods in algebra and number theory, volume 35 of Progress in mathematics, pages Birkhäuser, Boston, 005. [HH08] Brendan Hassett and Donghoon Hyeon. Log minimal model program for the moduli space of curves: the first flip, 008. submitted, arxiv: v1 [math.ag]. [HH09] Brendan Hassett and Donghoon Hyeon. Log canonical models for the moduli space of curves: the first divisorial contraction. Trans. Amer. Math. Soc., 3618): , 009. [HL07] Donghoon Hyeon and Yongnam Lee. Stability of tri-canonical curves of genus two. Math. Ann., 337): , 007. [HL10a] Donghoon Hyeon and Yongnam Lee. Birational contraction of genus two tails in the moduli space of genus four curves I, 010. arxiv: v1 [math.ag].

13 OUTLINE OF THE LOG MMP FOR M g 13 [HL10b] [JA] [Kap93a] [Kap93b] [KM96] [KM10] [MF] Donghoon Hyeon and Yongnam Lee. A new look at the moduli space of stable hyperelliptic curves. Math. Z., 64):317 36, 010. Frederick van der Wyck Jarod Alper, David Ishii Smyth. Weakly proper moduli stacks of curves. arxiv: v [math.ag]. M. M. Kapranov. Chow quotients of Grassmannians. I. In I. M. Gel fand Seminar, volume 16 of Adv. Soviet Math., pages Amer. Math. Soc., Providence, RI, M. M. Kapranov. Veronese curves and Grothendieck-Knudsen moduli space M 0,n. J. Algebraic Geom., ):39 6, Sean Keel and James McKernan. Contractivle extremal rays on M 0,n, arxiv:alg-geom/ v1. Young-Hoon Kiem and Han-Bom Moon. Moduli spaces of weighted pointed stable rational curves via GIT, 010. arxiv: v [math.ag]. David Ishii Smyth Maksym Fedorchuk. Alternate compactifications of moduli spaces of curves. arxiv: v1 [math.ag]. DEPARTMENT OF MATHEMATICS, POHANG UNIVERSITY OF SCIENCE AND TECHNOLOGY, SOUTH KOREA address: dhyeon@postech.ac.kr