FLIPPING SURFACES. PAUL HACKING, JENIA TEVELEV AND GIANCARLO URZÚA arxiv: v2 [math.ag] 2 Jul 2015

Transcription

1 FLIPPING SURFACES PAUL HACKING, JENIA TEVELEV AND GIANCARLO URZÚA arxiv: v [math.ag] Jul 01 Abstract. We study semistable extremal -fold neighborhoods, which are fundamental building blocks of birational geometry, following earlier work of Mori, Kollár, and Prokhorov. We classify possible flips and extend Mori s algorithm for computing flips of extremal neighborhoods of type ka to more general k1a neighborhoods. The novelty of our approach is to show that k1a belong to the same deformation family as ka, in fact we explicitly construct the universal family of extremal neighborhoods. This construction follows very closely Mori s division algorithm, which can be interpreted as a sequence of mutations in the cluster algebra. We identify, in the versal deformation space of a cyclic quotient singularity, the locus of deformations such that the total space admits a (terminal) antiflip. We show that these deformations come from at most two irreducible components of the versal deformation space. As an application, we give an algorithm for computing stable one-parameter degenerations of smooth projective surfaces (under some conditions) and describe several components of the Kollár Shepherd-Barron Alexeev boundary of the moduli space of smooth canonically polarized surfaces of geometric genus zero. 1. Introduction We continue the study of semistable extremal neighborhoods pioneered by Mori, Kollár, and Prokhorov [M88, KM9, M0, MP11]. Our motivation is to compute explicitly stable one-parameter degenerations of smooth canonically polarized surfaces and to describe their moduli space introduced by Kollár and Shepherd-Barron [KSB88]. We work throughout over k = C. Extremal neighborhoods are fundamental building blocks of the Minimal Model Program approach to - dimensional birational geometry[km98]. The goal of this program is to construct a canonical representative in the birational class of a smooth (or mildly singular) proper -fold by gradually forcing the canonical divisor to intersect curves non-negatively. On each step of the program, one has to analyze the local picture of a -fold around a curve which has negative intersection with the canonical divisor. Concretely, let X 1

2 be the germ of a -fold along a proper reduced irreducible 1 curve C such that X has terminal singularities. We say X is an extremal neighborhood if there is a germ Q Y of a -fold and a proper birational morphism f: (C X) (Q Y) such that f O X = O Y, f 1 (Q) = C (as sets) and K X C < 0. Then C P 1. The exceptional locus (the union of positive-dimensional fibers) of f is either equal to C or is a divisor with image a curve passing through Q. We say f is a flipping contraction in the first case and a divisorial contraction in the second. If f is a divisorial contraction then Q Y is a terminal singularity [MP11, Th 1.10]. If one is running the minimal model program, Y will (locally) give its next step. If f is a flipping contraction then one has to construct the flip. The flip of f is a germ X + of a -fold along a proper reduced curve C + such that X + has terminal singularities, and a proper birational morphism f + : (C + X + ) (Q Y) such that f + O X + = O Y, (f + ) 1 (Q) = C + (as sets), and K X + C + > 0. The existence of the flip was proved by Mori [M88, Th ] and uniquenessfollowsfromx + = Proj Y O Y (mk Y )cf. [KM98,Cor.6.4]. To classify extremal neighborhoods, following Miles Reid, we choose a general member E X K X. Let E Y = π(e X ) K Y. Then E X and E Y are normal surfaces with at worst Du Val singularities [KM9, Th. 1.7]. We say the extremal neighborhood f: X Y is semistable if Q E Y is a Du Val singularity of type A [KM9, p. 41]. Semistable extremal neighborhoods are of two types k1a and ka. We say f is of type k1a or ka if the number of singular points of E X equals one or two respectively [KM9, 1, C.4, p.4]. In the case of a flipping contraction, f is semistable iff the general hyperplane section through Q Y is a cyclic quotient singularity 1 (1,a) ([KM9], Corollary.4 n and Appendix), i.e., is (locally analytically) isomorphic to the quotient of A by µ n acting by (x,y) (ζx,ζ a y), where ζ µ n is a primitive root of unity. We are primarily interested in semistable neighborhoods due to applications to compact moduli spaces of surfaces. Let s m Y,Q O Y,Q be a general element. Consider the corresponding morphism Y A 1 s m 0 1 In some papers C is allowed to be reducible, however we can always reduce to the irreducible case by factoring f locally analytically over Q Y, see [K88, 8.4]. This is a special case of the general elephant conjecture of Miles Reid.

3 and the induced morphism X A 1 s. Write X = X 0 = (s = 0) X and Y = Y 0 = (s = 0) Y. Thus we can view an extremal neighborhood as a total space of a flat family of surfaces. Let X s, 0 < s 1, denote a nearby smooth fiber. In this paper we assume that the second Betti number b (X s ) = 1. Our motivation for this assumption is as follows. LetM K,χ begieseker smodulispaceofcanonicalsurfacesofgeneral type with given numerical invariants K and χ. Let M K,χ be its compactification, the moduli space of stable surfaces of Kollár, Shepherd- Barron, and Alexeev. Given a map D M K,χ from a punctured smooth curve germ, i.e. a family X D of canonical surfaces, one is interested in computing its stable limit D M K,χ, perhaps after a finite base change. In many important cases the family X D can be compactified by a flat family X D, where the special fiber X is irreducible, normal, and has quotient singularities. Computing the stable limit then amounts to running the relative minimal model program for X D. It turns out that we can always reduce to the case of flips and divisorial contractions of type k1a and ka with b (X s ) = 1 (in an analytic neighborhood of a contracted curve) after a finite surjective base change by passing to a small partial resolution using simultaneous resolution of Du Val singularities (see e.g. [KM98, Th. 4.8] and [BC94, ]). See Section for more details. Building on [MP11], we show in Section that if X is an extremal neighborhood of type k1a (resp. ka) with b (X s ) = 1 then X is normal and has one (resp. two) cyclic quotient singularities along C of the following special form (P X) 1 m (1,ma 1) for some m,a N, gcd(a,m) = 1, a so-called Wahl singularity. In [M0] Mori gave an explicit algorithm for computing flips of extremal neighborhoods of type ka. We extend his result to neighborhoods of type k1a. The novelty of our approach is that instead of considering extremal neighborhoods one-by-one, we construct their universal family(see Section ), and in particular show that k1a neighborhoods belong to the same deformation family as ka (see Proposition.4, whose proof in given at the end of.4).

4 Theorem 1.1. For any extremal neighborhood of type k1a or ka with b (X s ) = 1, in Sectionwe defineafour-tuple ofintegers (a 1,m 1,a,m ) and the following data which depends only on this four-tuple: A positive integer δ, a toric surface M and a toric birational morphism p : M A which depend only on δ (M is only locally of finite type for δ > 1), flat irreducible families of surfaces and morphisms U M, Y A, X + A, π : U Y A M, and π + : X + Y, such that the following holds. Let f: (C X) (Q Y) be an extremal neighborhood of type k1a or ka with b (X s ) = 1 and with associated four-tuple (a 1,m 1,a,m ). Then there is a morphism g: (0 A 1 t ) M such that p(g(0)) = 0 A and X Y is the pull-back of U Y A M under g. In other words, U is the universal family of extremal neigborhoods. If f is a flipping contraction then the flip f + : X + Y is the pullback of X + Y under p g. We give an explicit combinatorial algorithm to compute all k1a and ka corresponding to this family (see Propositions. and.4). The construction of the universal family, which is the content of Section, follows very closely the division algorithm in [M0], which one can interpret as a sequence of mutations in the cluster algebra of rank with general coefficients (see Remark.7). If δ = 1 the morphism p is the blowup of 0 A. If δ, M is the toric variety associated to the fan Σ with support {(x 1,x ) R x 1,x 0 and either x 1 > ξx or x > ξx 1 } {0}, where ξ = (δ + δ 4)/ 1. It has rays spanned by v i Z for i Z \ {0} given by v 1 = (1,0), v = (δ,1), v i+1 + v i 1 = δv i for i, and v 1 = (0,1), v = (1,δ), v (i+1) +v (i 1) = δv i for i. Over torus orbits of dimension 1 (resp. 0) corresponding to rays of Σ (resp. -dimensional cones), fibers of π are surfaces with one(resp. two) Wahl singularities. In the flipping case, the special fiber Y Y is a germ of a cyclic quotient singularity 1(1,Ω) and the special fiber X+ X + is its extremal P-resolution, i.e., a partial resolution f 0 + : (C + X + ) (Q Y) such that X + 1 has only Wahl singularities 1) for i = 1,, the (1,m m i a i i exceptional curve C + = P 1, and K X + is relatively ample. 4

5 Example 1.. Let m 1 =,a 1 =, and m =,a = 1. The Wahl singularities 1 (1,9) and 1 (1,) are minimally resolved by chains of smooth rational curves E 1,E,E and F 1,F respectively, such that E1 =, E =, E =, F1 =, andf =. Let(C + X + ) be a surface germ around a C + = P 1 such that X + has these two Wahl singularities, C + passes through both of them, and in the minimal resolution of X +, the proper transform of C + is a ( 1)-curve which only intersects E 1 and F 1, and transversally at one point. With this data we build a π + : X + Y as Theorem 1.1. We have δ = 4. With this we construct the universal antiflip π : U Y, where the central fiber of Y is a surface germ with one singularity 1 (1,), and the 94 corresponding birational toric morphism p: M A defined by the morphism between fans shown in Figure 1. In this figure, the rays v i, v i with i in the fan Σ are decorated by the data (m,a) of the associated k1a antiflip, which has as central fiber a surface with one singularity 1 (1,ma 1). Two consecutive m v i,v i+1 or v i,v (i+1) with i represents a ka antiflip, which has two singularities, one from each of the k1a of the rays. These k1a s are recovered from the ka by Q-Gorenstein smoothing up one of the singularities while preserving the other. When i tends to infinity, the rays v i and v i approach to two lines with irrational slopes ξ and 1, ξ where ξ = + 1 = The rays v 1 and v 1 correspond to the Wahl singularities 1 (1,) and 1 (1,9) of X + respectively Figure 1. The map between fans for p: M A.

6 In Section, following [M0], we show that an extremal P-resolution of a cyclic quotient singularity gives a unique family U M of (terminal) antiflips. In addition we identify, in the versal deformation space of this cyclic quotient singularity X +, the locus of deformations such that the total space admits a terminal antiflip, see Corollary.. Specifically, we show that a smoothing X + A 1 s admits a terminal antiflip if and only if there is a divisor D K X + such that D X + is the toric boundary of X + for some choice of toric structure and the axial multiplicities α 1,α of the singularities of X + satisfy α1 δα 1α +α > 0. This raises the following question, which we find very interesting: Question 1.. Classify smoothings of cyclic quotient singularities which admit an antiflip (not necessarily terminal). See also Remark. and Example.6 of a canonical antiflip. In 4. we classify extremal P-resolutions. We show, by a combinatorial argument built on continued fractions representing zero [C89, S89] (see 4.1), that any cyclic quotient singularity admits at most two extremal P-resolutions (and thus at most two families of antiflips). Moreover, we prove in 4. that these two families must have the same parameter δ, i.e., they live over the same toric surface M. At the end of 4.1, we give a list with the first cyclic quotient singularities (up to order 4) admitting one or two extremal P-resolutions. Finally, in Section, we give an application to moduli of stable surfaces, which was the original motivation for this paper. We start by constructing a stable surface which admits a Q-Gorenstein smoothing to a canonically polarized smooth surface with K = 4 and p g = 0, following ideas of Lee and Park [LP07]. The surface X has two Wahl singularities P 1 = 1 (1, 14 1) and P = 1 (1,7 1), and no 7 local-to-global obstructions to deform (i.e. deformations of its singularities globalize to deformations of X). The Kollár Shepherd-Barron Alexeev moduli space of stable surfaces near X is two-dimensional and has two boundary curves, which correspond to Q-Gorenstein deformations X X 1 and X X which smoothen P 1 (resp. P ) and preserve the remaining singularity. We address the question of describing minimal models of X 1 and X. Namely, we consider deformations X X 1 and X X of surfaces obtained by simultaneously resolving P 1 (resp. P ) and run our explicit MMP to find new limits X + of each family. This allows us to conclude that X 1 is a rational surface and X is a Dolgachev surface of type (,), i.e., an elliptic fibration over P 1 with two multiple fibers of multiplicity and, respectively. More systematic study of the boundary of the moduli space of surfaces of geometric genus 0 will appear elsewhere. 6

7 Acknowledgements. Paul Hacking was supported by NSF grants DMS and DMS Jenia Tevelev was supported by NSF grants DMS and DMS Giancarlo Urzúa was supported by the FONDECYT Inicio grant funded by the Chilean Government. We would like to thank I. Dolgachev, J. Kollár, S. Mori, and M. Reid for helpful discussions. In particular, M. Reid explained to us in detail his joint work with G. Brown which describes explicitly the graded ring of a ka flip [BR1]. Contents 1. Introduction 1 Acknowledgements 7. Extremal neighborhoods 7.1. Toric background 7.. Explicit description of k1a neighborhoods 14.. k1a degenerates to ka 16. Construction of universal family of flipping and divisorial contractions Construction of versal deformation of ka surface 17.. Cluster variables 1.. Construction of the contraction and flip 6.4. The universal family of K negative surfaces 4 4. Classification of extremal P-resolutions The continued fraction of an extremal P-resolution At most two extremal P-resolutions over 1 (1,Ω) Same δ over 1 (1,Ω) 4. Applications to moduli spaces of stable surfaces 7.1. Example 9 References 67. Extremal neighborhoods.1. Toric background. We recall that the minimal resolution of a cyclic quotient singularity of type 1 (1,a) has exceptional locus a n nodal chain of smooth rational curves with self-intersection numbers b 1,..., b r where n/a = [b 1,...,b r ] = b 1 1 b br, b i for all i 7

8 is the expansion of n/a as a Hirzebruch Jung continued fraction. See [F9], p. 46. Moreover, the minimal resolution can be described torically as follows. Identify the singularity (P X) with the germ (0 A x 1,x / 1 n (1,a)) of the affine toric surface corresponding to the cone σ = R 0 in the lattice N = Z +Z 1(1,a). n Define α i,β i N for 1 i r by α 1 = β r = 1 and Define α i /α i 1 = [b i 1,...,b 1 ] for i r, β i /β i+1 = [b i+1,...,b r ] for 1 i r 1. v i = 1 n (α i,β i ) for 1 i r. Then each v i is a primitive vector in the lattice N. The minimal resolution π: X X is the toric proper birational morphism corresponding to the subdivision Σ of the cone σ given by adding the rays ρ i = R 0 v i generated by the v i for i = 1,...,r. Let E i denote the exceptional curve corresponding to the ray ρ i. Then E i is a smooth rational curve such that E i = b i. Define l i = (x i = 0) X for i = 1,. Let l i X denote the strict transform of l i. Then the toric boundary of X is the nodal chain of curves l 1,E r,...,e 1,l. Moreover, we have and π l 1 = l n αi E i π l = l + 1 n βi E i. (Indeed, since E i corresponds to the primitive vector v i = 1 n (α i,β i ) N, the orders of vanishing of x 1 and x along E i equal α i /n and β i /n respectively.) Finally the discrepancies c i Q defined by are given by K X = π K X + c i E i c i = 1+(α i +β i )/n. (Indeed, for any toric variety X with boundary B we have K X +B = 0. Thus in our case K X = (l 1 +l ) and K X = (l 1+E r + +E 1 +l ). 8

9 Now the formula for the discrepancies follows from the formulas for the pullback of l 1 and l above.) The Wahl singularity is a cyclic quotient singularity of the form (P X) A p,q/ 1 m (1,ma 1) for some m,a N, gcd(a,m) = 1. The number m is the index of the singularity. We have an identification given by (P X) (ξη = ζ m ) A ξ,η,ζ / 1 m (1, 1,a) ξ = p m, η = q m, ζ = pq. The deformation (P X) (0 A 1 t ) of (P X) is of the form (0 (ξη = ζ m +t α h(t)) (A ξ,η,ζ / 1 m (1, 1,a)) (0 A1 t )) for some α N and convergent power series h(t), h(0) 0. It follows that we have an isomorphism of germs (P X) (0 (ξη = ζ m +t α ) (A ξ,η,ζ / 1 m (1, 1,a)) A1 t ). The number α N is called the axial multiplicity of P X [M88, Def. 1a., p. 140]. In particular, the -fold germ X is analytically Q-factorial by [K91,..7]. The following proposition is mostly a combination of results from [M0] and [MP11]. Proposition.1. Let f: (C X) (Q Y) be an extremal neighborhood of type k1a or ka. Let t m Y,Q O Y,Q be a general element and let X (0 A 1 t ) be the corresponding morphism. Let X = X 0 denote the special fiber and X s, 0 < s 1, a nearby fiber. Then b (X s ) = 1 iff X is normal and has the following description. If f is of type ka then X has two singular points P i C X, i = 1,. For each i = 1, there are numbers m i,a i N, m i > 1, gcd(a i,m i ) = 1, and an isomorphism of germs (P i C X) (0 (q i = 0) A p i,q i / 1 (1,m m i a i 1)). i If f is of type k1a then X has one singular point P 1 C X. There are numbers m 1,a 1 N, gcd(a 1,m 1 ) = 1, and an isomorphism (P 1 C X) (0 (p m 0 1 = q m 1 ) A p 1,q 1 / 1 m 1(1,m 1 a 1 1)) for some m 0,m N such that m 0 m (m 1 a 1 1) mod m 1. 9

10 Proof. The proper birational morphism f 0 : (C X) (Q Y) can be described as follows. If f is of type ka then X is normal and has two singular points P i C X, i = 1,, of index greater than 1. For each i = 1, there are numbers ρ i,m i,a i N, m i > 1, gcd(a i,m i ) = 1, and an isomorphism of germs (P i C X) (0 (q i = 0) A p i,q i / 1 ρ i (1,ρ m i m i a i 1)). i See[M0, Rk..]. Iff isoftype k1athenx isnotnecessarily normal. If X is normal then X has one singular point P 1 C X of index greater than 1 and possibly an additional singular point P C X of index 1. There are numbers ρ 1,m 1,a 1 N, gcd(a 1,m 1 ) = 1, ρ N and an isomorphism (P 1 C X) (0 (p m 0 1 = q m 1 ) A p 1,q 1 / 1 ρ 1 m 1(1,ρ 1 m 1 a 1 1)) for some m 0,m N such that m 0 m (ρ 1 m 1 a 1 1) mod ρ 1 m 1. If ρ = 1 then P 1 X is the unique singular point. If ρ > 1 we have an additional singular point P X and an isomorphism (P C X) (0 (x = 0) A x,y / 1 ρ (1, 1))). (So in particular P X is a Du Val singularity of type A ρ 1.) See [MP11, Th ]. If X is normal then we have b (X s ) = 1+(ρ 1 1)+(ρ 1). Indeed, C is irreducible by assumption, the link of a cyclic quotient singularity is a lens space, and the Milnor fiber M of a Q-Gorenstein 1 smoothing of a singularity of type (1,ρma 1) has Milnor number ρm µ := b (M) = ρ 1. Now the result follows from a Mayer Vietoris argument. So b (X s ) = 1 iff ρ 1 = ρ = 1 as claimed. It remains to show that if X is not normal then b (X s ) > 1. We use the classification of the non-normal case given in [MP11], Theorem Let ν: H X denote the normalization of X and C H the inverse image of C. Then C has two components C 1,C P1 meeting in a single point N. We have an isomorphism (N C H ) (0 (x 1 x = 0) A x 1,x / 1 n (1,b)) for some n,b. There are also points P 1 C 1 \ {N }, P C \ {N } and isomorphisms (P 1 C 1 H ) (0 (x 1 = 0) A x 1,x / 1 m (1,a)) 10

11 and (P C H ) (0 (x 1 = 0) A x 1,x / 1 m (1, a)) for some m,a. The non-normal surface X is formed from H by identifying the curves C 1 and C. The points P 1 and P are identified to a point P X and we have an isomorphism (P X) (0 (xy = 0) A x,y,z / 1 m (1, 1,a)). Moreover the image N X of N is a degenerate cusp singularity (cf. [KSB88, Def. 4.0]) and X has normal crossing singularities along C \{N,P}. Let µ: H H betheminimal resolution. SinceY = Y 0 is arational singularity (by [KM9], Corollary.4), H is a resolution of Y, and Ys is a smoothing of Y, we have K H +b ( H) = K Y s +b (Y s ). See [L86], 4.1c. We remark that K is well-defined in our situation (see e.g. [L86]), and b is the second Betti number as usual. The morphism X s Y s is a proper birational morphism of smooth surfaces, hence a composition of blowups, so K X s +b (X s ) = K Y s +b (Y s ). Also KX s = KX because X (0 A1 t ) is Q-Gorenstein, so we obtain K H +b ( H) = K X +b (X s ). We use this equation to show that b (X s ) > 1 if X is non-normal. Write C i H for the strict transform of C i. The exceptional locus of µ is a disjoint union of chains of smooth rational curves E 1,...,E r, F 1,...,F s, and G 1,...,G l (the exceptional loci over the singularities P 1, P, and N ) such that the curves E r,e r 1,...,E 1, C 1,G 1,...,G l, C,F 1,...,F s form a nodal chain. We have K H + C 1 + C = π (K H +C )+ α i E i + β i F i G i for some α i,β i Q. Write E i = a i and F i = b i. By Lemma. below, we have ( α i E i ) +( β i F i ) = (r a i a/m)+(s b i (m a)/m) = (r +s) 1 a i b i. 11

12 Now since the cyclic quotient singularities P 1 and P are conjugate, that is, of the form 1(1,a) and 1 (1, a) for some a,m, we have the m m identity (ai 1) = (b i 1) = r +s 1. (Proof: By induction using the following characterization of conjugate singularities. We identify a cyclic quotient singularity 1 (1,a) with the m associated continued fraction m/a = [a 1,...,a r ], a i. Then [],[] is a conjugate pair, and if [a 1,...,a r ], [b 1,...,b s ] is a conjugate pair, so is [a 1 +1,...,a r ], [,b 1,...,b s ].) So we obtain Thus ( α i E i ) +( β i F i ) = 1 r s. (K H + C 1 + C + G i ) = (K H +C ) +1 r s. We also compute (K H+ C 1 + C + G i ) = K H+K H( C 1 + C + G i )+( C 1 + C + G i ) = K H ((+ C 1 )+(+ C )+ (+G i ))+ C 1 + C +( G i ) +(l+1) = K H C 1 C G i l 6. where we have used the adjunction formula K HΓ+Γ = for Γ P 1. Combining, we obtain (1) K H = (K H +C ) + C 1 + C + G i +l+7 r s. By [MP11], Theorem 1.8., we have So C 1 + C + G i +l+ 0. K H (K H +C ) + r s Now b ( H) = r + s + l + and K H + C = ν K X, so combining we obtain Now (1) gives b (X s ) l K H +b ( H) K X +l+4. The first formula of the following lemma is well-known, see e.g. [Ish00]. 1

13 Lemma.. Let (P X) be a cyclic quotient singularity of type 1 (1,a). Let π: X n X be the minimal resolution of X. Write n/a = [b 1,...,b r ], b i for all i. Let a denote the inverse of a modulo n. Then r K X = r + b i (+a+a )/n. i=1 Let P D X be a curve such that (P X,D) (0 A x 1,x / 1 n (1,a),(x 1 = 0)). Let D X be the strict transform of D. Then r (K X +D ) = r b i a/n. Proof. Write l i = (x i = 0) X and let l i X be the strict transform. Let E 1,...,E r be the exceptional curves of π, a nodal chain of smooth rational curves with self-intersection numbers b 1,..., b r, such that l meets E 1 and l 1 meets E r. We have i=1 K X = (l 1 +l + E i ) = a i E i for some a i Q, 1 < a i < 0. The exceptional curves E 1 and E r correspond to the rays in the fan Σ of X generated by 1(1,a) and n 1 n (a,1), so a 1 = 1(1+a) 1 and a n r = 1 n (a +1) 1. Now we have K X = K X(l 1 +l + E i ) = ( a i E i )(l 1 +l ) K X( E i ) = a 1 a r + (E i +) = r + b i (+a+a )/n where we have used the adjunction formula K XE i +E i =. In the second case, we have where K X +D = K X +l 1 = (l + E i ) = (a i µ i )E i in particular, µ 1 = 1 n. So π l 1 = l 1 + µ i E i, (K X+D ) = (K X+D )(l + E i ) = ( (a i µ i )E i )l (K X+l 1)( E i ) = (a 1 µ 1 )+ (E i +) 1 = r b i a/n. 1

14 .. Explicit description of k1a neighborhoods. Proposition.. Let f: (C X) (Q Y) be an extremal neighborhood of type k1a with b (X s ) = 1 as in Proposition.1, in particular (P 1 C X) (0 (p m 0 1 = q m 1 ) A p 1,q 1 / 1 m 1(1,m 1 a 1 1)) for some m 0,m N such that m 0 m (m 1 a 1 1) mod m 1. Let π: X X denote the minimal resolution of X. Thus the exceptional locus of π is a nodal chain of smooth rational curves E 1,...,E r with self-intersection numbers e 1,..., e r where m 1 /(m 1a 1 1) = [e 1,...,e r ]. Let C X denote the strict transform of C. Then C is a ( 1)-curve which intersects a single component E i of the exceptional locus of π transversely in one point. Moreover, identifying (P 1 X) with the germ of the affine toric variety given by the cone σ = R 0 in the lattice N = Z +Z 1 m 1(1,m 1 a 1 1), the exceptional divisor E i is extracted by the toric proper birational morphism given by subdividing σ by the ray ρ = R 0 1 m 1(m,m 0 ). Define a k N, 1 a k m k, gcd(m k,a k ) = 1 for each k = 0,, by if i < r, m 0 = a 0 = 1 if i = r, and [e r,...,e i+1 ] = m 0 /(m 0 a 0 ) [e 1,...,e i 1 ] = m /(m a ) if i > 1, m = a = 1 if i = 1. The surface germ (Q Y) is isomorphic to a cyclic quotient singularity of type 1 (1,Ω), where [e 1,...,e i 1,e i 1,e i+1,...,e r ] = /Ω, equivalently, We also have and = m 1 m 0m and Ω = m 1 a 1 m 0 (m a ) 1. K X C = δ/m 1, where δ := (m 0 +m )/m 1, δ N, () a 0 +(m a ) = δa 1. 14

15 Proof. The description of the minimal resolution together with the strict transform C of C is given by [MP11], Theorem Contracting C, we obtain a resolution of Q Y with exceptional locus a chain of smooth rational curves with self-intersection numbers e 1,.., e i 1, (e i 1), e i+1,..., e r. Hence Q Y is a cyclic quotient singularity of type 1 (1,Ω) where /Ω = [e 1,...,e i 1,e i 1,e i+1,...,e r ]. Given n,a N with a < n, gcd(a,n) = 1, write n/a = [b 1,...,b r ], b i for all i for the Hirzebruch Jung continued fraction. Define a,q N by aa = 1+qn, a < n. The continued fraction corresponds to the factorization in SL(, Z) ( ) ( ) ( ) q a a =, n 1 b 1 1 b r see [BR1], Proposition.1. Now, assuming i 1, r, the equalities [e r,...,e i+1 ] = m 0 /(m 0 a 0 ) [e 1,...,e i 1 ] = m /(m a ) [e 1,...,e r ] = m 1 /(m 1a 1 1) give [e 1,...,e i 1,e i 1,e i+1,...,e r ] = /Ω, where ( ) ( )( )( ) (m1 a 1 1) Ω m a m 1 = 0 0 m0 a 0 m 0 1 m 0 ( ) m0 (m = a ) m 0 m So Ω = m 1 a 1 m 0 (m a ) 1 and = m 1 m 0m as claimed. The cases i = 1,r are proved similarly. From the discussion in.1, the discrepancy c i in the formula K X = π K X + j c j E j is given by c i = 1+(m +m 0 )/m 1. Although this resolution is not necessarily minimal, the continued fraction is well defined and computes the type of the singularity, see [BR1, Prop..1]. 1

16 Now K X C = π K X C = (K X c j E j ) C = 1 c i = (m +m 0 )/m 1. Note that m 1 K X is Cartier so δ := (m +m 0 )/m 1 = m 1 K X C is an integer. The matrix factorization ( ) ( ) ( ) a 1 +1 m 1 a 1 m 1 a m 1 a 1 +1 m 1 m = = 1 1 e 1 1 e r ( )( )( ) m a = 0 1 m 1 e i (m 0 a 0 ) m 0 implies that ( )( ) ( ) m (m a ) a 1 +1 m 1 a 1 m 1 a 1 1 m 1 a 1 +1 m 1 m =, 1 (m 0 a 0 ) m 0 which gives () m 0 = m (m 1 a 1 1) (m a )m 1 and (4) (m 0 a 0 ) = m (a 1 +1 m 1a 1 ) (m a )(m 1 a 1 +1 m 1 ). The equation () implies that () δ = a 1 m +m 1 a m 1 m. Adding () and (4) gives (6) a 0 = a 1 m (m 1 a 1 +1)(m a ). Finally, combining () and (6) gives ()... k1a degenerates to ka. Proposition.4. Let f 0 : (C X) (Q Y) be as in Proposition.. We retain the notations δ,,ω and a i,m i, i = 0,1,. Define proper birational morphisms f i 0: (C i X i ) (Q Y) for i = 0,1 as follows. We identify (Q Y) with the germ of the affine toric variety given by the cone σ = R 0 in the lattice Define N = Z +Z 1 (1,Ω). v i = 1 (m i+1,m i ) N. 16

17 Let f0 i be the toric proper birational morphism corresponding to the subdivision Σ i of σ given by the ray ρ i = R 0 v i, and C i the exceptional curve of f0. i Let P1,P i i X i denote the torus fixed points corresponding to the maximal cones e 1,v i R 0, e,v i R 0 of Σ i respectively. Then X i has cyclic quotient singularities of types 1 1 (1,m i a i 1) and (1,m i+1 a i+1 1). Moreover, m i m i+1 K X i C i = δ m i m i+1. The one parameter deformation of f i 0 : (Ci X i ) (Q Y) given by the trivial deformation of the 1 m 1(1,m 1 a 1 1) singularity and the versal Q-Gorenstein smoothing of the remaining singularity of X i (with the target (Q Y) being fixed) has general fiber isomorphic to the morphism f 0 : (C X) (Q Y). We postpone the proof until the end of.4, since it is a consequence of the construction of the universal family.. Construction of universal family of flipping and divisorial contractions We follow [M0] closely. Let a 1,a,m 1,m N be such that 1 a i m i and gcd(a i,m i ) = 1 for each i = 1,, and (1) δ := m 1 a +m a 1 m 1 m > 0, () := m 1 +m δm 1m > Construction of versal deformation of ka surface. Write W = (x 1 y 1 = z m 1 +u 1 x δ, x y = z m +u x δ 1 ) A x 1,x,y 1,y,z A u 1,u. Γ = {γ = (γ 1,γ ) γ m 1 1 = γ m } G m. Define an action of Γ on W by (7) Γ γ = (γ 1,γ ): (x 1,x,y 1,y,z,u 1,u ) Define and (γ 1 x 1,γ x,γ δ γ 1 1 y 1,γ1 δ γ 1 y,γ a 1 1 γ a m z,u 1,u ) W o = W \(x 1 = x = 0) X = W o /Γ. 17

18 Write U 1 = (x 0) X, U = (x 1 0) X. Then X = U 1 U is a open covering of X and we have identifications U i = (ξ i η i = ζ m i i +u i ) A ξ i,η i,ζ i / 1 m i (1, 1,a i ) A u 1,u. for each i = 1,. Here the coordinates ξ 1,η 1,ζ 1 are the restrictions of the coordinates x 1,y 1,z on W to the µ m1 cover of U 1 given by setting x = 1. Similarly for i =. The glueing of U 1 and U is given by U 1 (ξ 1 0) = (ξ 0) U ξ m 1 1 = ξ m, ξ a 1 1 ζ 1 = ξ m a ζ. (The expression for η 1 in U is determined by the equation of U 1.) Write C = (y 1 = y = z = u 1 = u = 0) X and P i = (x i = y 1 = y = z = u 1 = u = 0) X for each i = 1,. Then P i is the point 0 U i X for each i = 1,, and C is a proper smooth rational curve in X with local equations for each i = 1,. Write C U i = (η i = u 1 = u = 0) U i S i = (x i = 0) X for each i = 1,. The morphism X A u 1,u is a flat family of surfaces (flatness is clear in the charts U 1 and U ). Write X = X 0 = (u 1 = u = 0) X for the fiber over 0 A. Then X is a toric surface. Write V i := U i X Then V i = (ξ i η i = ζ m i i ) A ξ i,η i,ζ i / 1 m i (1, 1,a i ) and we have an identification given by V i = A p i,q i / 1 (1,m m i a i 1) i ξ i = p m i i, η i = q m i i, ζ i = p i q i. 18

19 The glueing is given by V 1 (p 1 0) = (p 0) V p m 1 1 = p m, p (m 1a 1 1) 1 q 1 = p m (m a )+1 q. The surface X is the toric variety associated to the fan Σ in the lattice N = Z defined as follows. Let v 1 = ( m 1 a 1 +1, m 1 ), v = (1,0), v = (m (m a )+1,m ) be vectors in N. Let Σ be the fan in N with cones {0}, ρ 1 = R 0 v 1, ρ = R 0 v, ρ = R 0 v, σ 1 = ρ 1 + ρ and σ = ρ + ρ. The ray ρ i corresponds to the divisor l i := (p i = 0) V i for each i = 1, and the ray ρ corresponds to the curve C X. Let : Z Z ((a 1,a ),(b 1,b )) a 1 b a b 1 denote the usual orientation of Z. Note that v 1 v = > 0 by assumption. So the support Σ of the fan Σ is the convex cone σ := ρ 1 + ρ. Let Y denote the affine toric surface associated to the cone σ in N and let 0 Y denote the torus fixed point. We compute where Thus N = Zv 1 Zv +Z 1 (1,Ω) Ω (m 1 a 1 1)(m a +1) m 1(a (m a )+1) (m δm 1 )(m a )+m 1 a 1 1 mod. Y = A z 1,z / 1 (1,Ω) where z1 = qm 1 1, z = qm. We have a toric proper birational morphism π 0 : X Y with exceptional locus the curve C X. Let M Γ denote the cokernel of the homomorphism of abelian groups Z Z, 1 (m 1, m ). 19

20 Then and Γ = Hom(M Γ,G m ) M Γ = Hom(Γ,G m ). Lemma.1. The equality X = (W \ (x 1 = x = 0))/Γ induces an identification Cl(X) M Γ such that for each i = 1,. Proof. Write Then [S i ] ē i M Γ = Z /Z(m 1, m ) Z = (x 1 = x = 0) W. Z = (x 1 = x = z = 0) A x 1,x,y 1,y,z A u 1,u. In particular Z W is an irreducible divisor. We have (x 1 ) = Z + S 1, (x ) = Z + S. where S i W is an irreducible divisor for each i = 1,. Note that W := W\(Z S 1 S ) = W\((x 1 = 0) (x = 0)) = (G m ) x 1,x A z,u 1,u. In particular Cl(W ) = 0 and Γ(W,O W )/k = x 1,x. Now W o = W \Z and S i W o = (x i ) for i = 1,, so and Write Cl(W o ) = Cl(W ) = 0 Γ(W o,o W ) = k. q: W o X = W o /Γ for the quotient map. We can define a group homomorphism (8) Cl(X) M Γ, [D] χ as follows. Write q 1 D = (f) some f Γ(W o,o W ). Then, for each γ Γ, we have for some χ M Γ = Hom(Γ,G m ). γ f = χ(γ)f 0

21 The action of the group Γ on W o has finite stabilizers and is free in codimension 1. It follows that the homomorphism (8) is an isomorphism with inverse χ (O W o k χ 1 ) Γ where we regard χ M Γ as a one dimensional representation of Γ and we identify [D] Cl(X) with the isomorphism class of the rank one reflexive sheaf O X (D). Remark.. The quotient map q: W o X is identified with the spectrum of the (relative) Cox ring Spec X Cox(X) X, where Cox(X) = [D] Cl(X) O X(D), via Γ = Hom(Cl(X),G m ). Strictly speaking, in order to define the Cox ring we need to choose a representatived α ofeachclassα Cl(X)andcompatibleisomorphisms O X (D α1 ) O X (D α ) O X (D α1 +α ). In our case we take representatives c 1 S 1 +c S for (c 1,c ) Z a list of coset representatives for the quotient M Γ and isomorphisms derived from the isomorphism O X (m 1 S 1 ) O X (m S ), x m 1 1 x m... Cluster variables. Assume without loss of generality that m 1 m. Define a sequence as follows. Define d: Z Z d(1) = m 1, d() = m. For i, if d(i) is defined and d(i) > 0, define d(i+1) = δd(i) d(i 1). Lemma.. There exists k such that d(k 1) > 0 and d(k) 0. Definition.4. Let k N be the number defined by Lemma.. Define d(k +1) = d(k 1) < 0,d(k +) = d(k) 0, and m 1 := d(k 1) > 0, m := d(k) 0. 1

22 If δ = 1 then k = and we have d(1) = m 1 > 0, d() = m > 0, d() = m m 1 0, d(4) = m < 0, d() = m 1 m 0. In this case we define d(i) for i Z by requiring d(i + ) = d(i) for each i Z. Then d(i 1)+d(i+1) = d(i) for i 0,1, mod. If δ > 1 then we define d(i) for i 0 and i k+ by requiring that d(i 1)+d(i+1) = δd(i) for i k +1,k +. Lemma.. If δ > 1 then d(i) 0 for i k,k +1. Define a sequence as follows. f: Z Z f(0) = (0,1), f(1) = (1,0), f() = (0,1), f() = (1,0). If δ = 1 define f(4) = f() f() = (1,1) and define f(i) for i Z by requiring f(i+) = f(i) for each i Z. If δ define f(i) for i Z by requiring f(i 1)+f(i+1) = δf(i) for i 1,. Lemma.6. If δ > 1 then f(i) Z >0 for all i 0,1,,. We define a sequence L i Cl(X) for i Z as follows. Define Define L i for i k by L 1 = [S ] Cl(X), L = [S 1 ] Cl(X). L i 1 +L i+1 = δl i for i k 1. Define L k+1 = L k 1, L k+ = L k. If δ = 1 then k = and L 1 = [S ], L = [S 1 ], L = L L 1, L 4 = L, L = L 1 L. We define L i for i Z by requiring L i+ = L i for each i Z. Then L i 1 +L i+1 = δl i for i 1,0,1 mod. If δ > 1 define L i for i 0 and i k + by requiring that L i 1 +L i+1 = δl i for i 1,,k,k+1.

23 We define a sequence F i Γ(X,L i ) for i Z. Define F 0 = y 1, F 1 = x, F = x 1, F = y. We have F i Γ(X,L i ) for i = 1, by the definitions, and for i = 0, by the definition (7) of the Γ-action and Lemma.1. Note that the equations of W can be rewritten F 0 F = z d(1) +F δ 1 u f(1) = u f(1) (z d(1) u f(1) +F δ 1 ) F 1 F = z d() +F δ u f() = u f() (z d() u f() +F δ ) Define F i for 4 i k by Define F k+1 by and F k+ by F i 1 F i+1 = z d(i) u f(i) +F δ i for i k 1. F k 1 F k+1 = z d(k) F δ k +uf(k) = z d(k) (z d(k) u f(k) +F δ k ) F k F k+ = z d(k+1) F δ k+1 +uf(k+1) = z d(k+1) (z d(k+1) u f(k+1) +F δ k+1 ) If δ = 1 then k = and one checks that F = F 0. We define F i for all i Z by requiring F i+ = F i for all i Z. If δ > 1 then we define F i for i 1 and i k + by requiring F i 1 F i+1 = z d(i) u f(i) +F δ i for i 1,,k,k+1. We can rewrite the equations defining the F i as follows: F i 1 F i+1 = q i F δ i +r i for i Z where q i,r i k[z,u 1,u ] are defined as follows. If δ = 1 then q 1 = u 1, q = u, q = z m 1 m, q 4 = z m, q = 1 r 1 = z m 1, r = z m, r = u 1, r 4 = u 1 u, r = z m 1 m u and q i+ = q i, r i+ = r i for each i Z. If δ > 1 then u 1 i = 1 u i = q i = z d(k) = z m i = k z d(k+1) = z m 1 i = k +1 1 otherwise. and r i = z d(1) = z m 1 i = 1 z d() = z m i = u f(k) i = k u f(k+1) i = k +1 z d(i) u f(i) otherwise.

24 Note in particular that q i,r i are coprime monomials in k[z,u 1,u ] for each i. Moreover, we have q i 1 q i+1 r δ i = r i 1r i+1 for all i Z Remark.7. In the terminology of [FZ0] the algebra k[u ±1 1,u±,z±1 ][{F i i Z}] is a cluster algebra of rank, with clusters {(F i,f i+1 )} i Z and coefficient group P Z the group of monomials in z,u 1,u. In the notation of [FZ0], Example., p. 0, the exchange relations are given by b = c = δ and coefficients q i,r i as defined above. In particular the case δ = 1 is a cluster algebra of finite type associated to the root system A. Proposition.8. For each i Z we have F i Γ(X,L i ). Proof. (Cf. [M0], Theorems.10,.1, and.1.) From the definitions it is clear that F i is a rational section of L i for each i Z. We must show that it is a regular global section, or, equivalently, F i Γ(W o,o W ). We say f,g Γ(W o,o W ) are coprime on X if (f = g = 0) X has codimension. Define statements A i,b i,c i,i+1 for i Z as follows. (A i ) F i Γ(X,L i ). (B i ) F i and zu 1 u are coprime on X. (C i,i+1 ) F i and F i+1 are coprime on X. The following implications are immediate from the equations (1) For each i Z, F i 1 F i+1 = q i F δ i +r i. (A i 1,A i,a i+1 and B i ) (C i 1,i and C i,i+1 ). () For each i Z\{1,,k,k+1}, we have (a) (A i 1,A i,a i+1 and C i 1,i ) B i 1 (b) Indeed, for (1) we have (A i 1,A i,a i+1 and C i,i+1 ) B i+1 (F i 1 = F i = 0) (F i = r i = 0) (F i = zu 1 u = 0). 4

25 Similarly for B i,i+1. For (a), we have (F i 1 = zu 1 u = 0) (F i 1 = q i F δ i = 0) = (F i 1 = F i = 0) using q i = 1 for i 1,,k,k+1. Case (b) is similar. We show (A i,a i 1,A i,a i+1,b i 1,B i and C i 1,i ) (A i and A i+ ). for each i Z. We have (9) F i F i+ = q i+1 F δ i+1 +r i+1 Γ(W o,o W ). Also, let denote congruence modulo F i in Γ(W o,o W ), then q i 1 F δ i 1(F i F i+ ) = q i 1 F δ i 1(q i+1 F δ i+1 +r i+1 ) = q i 1 (q i+1 (F i 1 F i+1 ) δ +F δ i 1r i+1 ) = q i 1 (q i+1 (q i F δ i +r i ) δ +F δ i 1r i+1 ) (q i 1 q i+1 r δ i )+q i 1F δ i 1 r i+1 = r i 1 r i+1 +q i 1 F δ i 1 r i+1 = r i+1 (q i 1 F δ i 1 +r i 1) = r i+1 (F i F i ) 0. So q i 1 Fi 1 δ F i+ Γ(W o,o W ). Now F i and q i 1 Fi 1 δ are coprime on X, so by (9) we have F i+ is regular in codimension 1 on W o. Hence F i+ is regular on W o because W is normal. Similarly F i is regular on W o. We verify A i,b i for i = 0,1,, and C i,i+1 for i = 0,1, by direct computation. Now by induction using the implications above we prove A i for i k +, B i for i k and C i,i+1 for i k 1. We claim that B k+1 and B k+ hold. (Note that the implication (b) was not established for i = k,k +1 so cannot be used here.) Observe that the loci (z = 0),(u 1 = 0),(u = 0) X are irreducible divisors. So it suffices to prove that (F k = 0) and (F k+1 = 0) do not contain any of these divisors. But by Lemma.9 below the intersection (z = u 1 = u = 0) of these divisors is not contained in (F k = 0) or (F k+1 = 0). This establishes the claim. Finally we deduce that A i,b i,c i,i+1 hold for all i Z by induction. Lemma.9. Define a sequence g: {1,,...,k +1} Z by g(1) = 0, g() = 1, and g(i+1)+g(i 1) = δg(i) for i k. (Then g(i) 0,

26 and g(i) > 0 unless i = 1 or δ = 1 and i = k +1 = 4.) Then (z = 0) X = l 1 +l +C (F 0 = 0) X = m 1 l +m 1 C (F 1 = 0) X = m l (F i = 0) X = d(i 1)l 1 +m g(i 1)C for i k (F k+1 = 0) X = m l +(m g(k)+m )C (F k+ = 0) X = (m 1 +δm )l +(m g(k +1)+m 1 +δm )C. In particular, set-theoretically we have and with equality for k. (F k = F k+1 = 0) X = C (F k 1 = F k+ = 0) X C, Proof. (Cf. [M0], (.), p. 17.) The description of (z = 0) X and (F i = 0) X for 0 i are verified by direct computation. We establish the description of (F i = 0) X for 0 i k + by induction using the equations F i 1 F i+1 = q i F δ i +r i q i F δ i mod (u 1,u ) for i k +1. The final statements follow using l 1 l =... Construction of the contraction and flip. Define a sequence c: Z Z as follows. Define Define c(i) for i k by We also define If δ = 1 then k = so c(1) = a 1, c() = m a. c(i 1)+c(i+1) = δc(i) for i k 1 c(k +1) = c(k 1), c(k +) = c(k). c(1) = a 1, c() = m a, c() = m a a 1, c(4) = a m, c() = a 1 +a m. We define c(i) for i Z by requiring c(i+) = c(i). If δ > 1 we define c(i) for i Z by requiring c(i 1)+c(i+1) = δc(i) for i k +1,k +. (Compare with the definition of the sequence d(i), i Z.) 6

27 Definition.10. Define a 1 by a 1 c(k 1) mod m 1, 1 a 1 m 1 and if m = d(k) > 0 define a by Define a c(k) mod m, 1 a m. W = (x 1 y 1 = zm 1 x δ +u 1, x y = zm x δ 1 +u ) A x 1,x,y 1,y,z A u 1,u and Γ = {γ = (γ 1,γ ) γ 1m 1 = γ m } G m. Define an action of Γ on W by Γ γ : (x 1,x,y 1,y,z,u 1,u ) (γ 1 x 1,γ x,γ 1 1 y 1,γ 1 y,γc(k 1) 1 γ c(k) z,u 1,u ). Define W o = W \(x 1 = x = 0) and X = (W o )/Γ. Write U 1 = (x 0) X, U = (x 1 0) X Then X = U 1 U, U i = (ξ iη i = ζ im i +u i) A ξ / 1 i,η i,ζ i m i(1, 1,a i) A u 1,u for each i = 1,, and the glueing is given by U 1 (ξ 1 0) = (ξ 0) U, ξ 1m 1 = ξ m, ξ 1 c(k 1) ζ 1 = ξ c(k) ζ. Write X = (u 1 = u = 0) X, C = (y 1 = y = z = u 1 = u = 0) X, and P i = (x i = y 1 = y = z = u 1 = u = 0) X for each i = 1,. Then X is a toric surface, C X is a proper smooth rational curve, and P 1,P C are the torus fixed points of X. We also write l i = (x i = z = u 1 = u = 0) X for each i = 1,. Define Y = Spec(Γ(X,O X )) = Spec(Γ(W o,o W ) Γ ) A u 1,u. 7

28 Note that (x 1 = x = 0) W has codimension, and W is normal. Thus the coordinate ring of the affine variety Y is given by where and Γ(Y,O Y ) = Γ(W o,o W ) Γ = Γ(W,O W ) Γ = (R /I ) Γ R := k[x 1,x,y 1,y,z,u 1,u ] I := (x 1 y 1 (zm 1 x δ +u 1 ), x y (zm x 1 δ +u )) R. We have a natural morphism π : X Y. Define a birational toric morphism A u 1,u A u 1,u via Define a morphism u 1 u f(k+1), u u f(k). π: X Y A u 1,u A u 1,u over A u 1,u using the following diagram by Γ(Y,O Y ) = Γ(W,O W ) Γ π Γ(X,O X ) = Cox(X) Γ Γ(W,O W ) Cox(X) R φ φ(x 1,x,y 1,y,z) = (F k,f k+1,f k+,f k 1,z) NotethatbyconstructiontheequationsofW correspondtotherelationsf k 1 F k+1 = andf k F k+ = betweenthef k 1,F k,f k+1,f k+. Also,thegroupΓ = Hom(M Γ,G m )isidentifiedwithγ = Hom(M Γ,G m ) via M Γ Cl(X), ē 1,ē [S 1 ],[S ] and M Γ Cl(X), ē 1,ē L k,l k+1. Here we are using the case i = k in the second formula of: 8

29 Lemma.11. For 1 i k +1 we have and an identification Z /Z( d(i+1),d(i)) K X = c(i)l i+1 c(i+1)l i Cl(X), ē 1,ē L i,l i+1. Proof. Cf. [M0], Propositions.14 and.1, p It follows that π is well defined. Lemma.1. There exists a G m -action on X, A u 1,u, X, Y, and A u 1,u such that (1) The morphisms X A u 1,u, Y A u, A 1,u u 1,u A u π, 1,,u and π are G m -equivariant, and () G m fixes the points 0 A u 1,u, 0 A u and 0 Y and in 1, each case acts with positive weights on the,u corresponding maximal ideal in the affine coordinate ring. Proof. We define the G m action on X A u 1,u by λ G m : (x 1,x,y 1,y,z,u 1,u ) (x 1,x,λ m 1 y 1,λ m y,λz,λ m 1 u 1,λ m u ). Recall the equalities F 0 = y 1, F 1 = x, F = x 1, and F = y. Using the equations F i 1 F i+1 = q i Fi δ +r i for i Z we find that F i is a G m -eigenfunction for each i Z. (The equations are seen to be homogeneous for the G m -action by induction on i using the equalities q i 1 q i+1 ri δ = r i 1 r i+1.) Moreover, the weight of F i for i k + is given by wt(f i ) = g(i 1)m for i k, wt(f k+1 ) = m g(k)+m, and wt(f k+ ) = m g(k+1)+m 1 +δm. Cf. Lemma.9. Recall that x 1 = F k, x = F k+1, y 1 = F k+, y = F k 1, and u 1 = u f(k+1), u = u f(k). So we obtain a compatible G m -action on X A u, and an induced action on Y A 1,u u We observe 1.,u that G m acts with positive weights on A u 1,u, A u and Y as claimed. 1,,u (Note that if k = then G m acts with weight 0 on y = F = x 1, but no power of y is Γ -invariant.) Proposition.1. Assume d(k) = 0. Then m 1 = δ = gcd(m 1,m ), c(k) = 1, and we have an identification Y = (ξη = ζ m 1 +u 1 ) A ξ,η,ζ / 1 (1, 1,a m 1 ) A u 1 1.,u 9

30 Proof. (Cf. [M0], Theorem 4., p. 178.) Mori s proof works verbatim. Remark.14. In particular, in the case d(k) = 0 the family Y A u 1,u is independent of u, that is, it is the pullback of a family Y A 1 u 1 under the projection A u A 1,u u For the moment we will keep 1. the redundant variable u in order to treat both cases d(k) = 0 and d(k) < 0 simultaneously. Proposition.1. Assume d(k) < 0. The morphism π : X Y is a proper birational morphism with exceptional locus C = π 1 (0). Moreover K X C = δ > 0, m 1 m or, equivalently, δ = cm 1 m m 1 a m a 1, where c is the selfintersection of the proper transform of C in the minimal resolution of X. Proof. (Cf. [M0], Theorem 4.7, p. 178.) The morphism Π is clearly birational. We have (x i )a (y j )b,(x i )a z c Γ(Y,O Y ) for some a,b,c N, for each i = 1, and j = 1,. Recalling that C := (y 1 = y = z = u 1 = u = 0) X, we deduce (π ) 1 (0) = C. It follows that π is proper over a neighbourhood of 0 Y, and hence over Y using the existence of a contracting G m -action on π : X Y, see Lemma.1. We compute K X C = K X C = δ m 1 m using the toric description of the section X. Observe that z Γ(X, K X ) and C is the only proper curve contained in B := (z = 0) X. (Indeed the fibers of are obtained from the special fiber B A u 1,u B 0 = (z = 0) X = l 1 +C +l (the toric boundary of X ) by smoothing a subset of the two nodes.) Now since K X is relatively ample over Y (using K X C > 0, C = 0

31 (π ) 1 (0), and the contracting G m -action) it follows that the exceptional locus of π equals C. Proposition.16. (1) Assume d(k) < 0. The morphism π is a proper birational morphism with exceptional locus the codimension set E := (F k = F k+1 = 0). We have π(e) = {0} A A u 1,u u 1,u Y A A u 1,u u 1,u or explicitly { (x π(e) = 1 = x = y 1 = y = z = u 1 u = 0) if k 4 (x 1 = x = y 1 = y = z = u = 0) if k =. () Assume d(k) = 0. The morphism π is a proper birational morphism with exceptional locus the irreducible divisor We have E := (F k+1 = 0) X. π(e) = (ζ = ξ δ +u f(k) = 0) Y A u 1,u A u 1,u Proof. (Cf. [M0], Theorem 4., p. 177.) It is easy to see that π is birational. Now consider the base change Y A u 1,u A u 1,u and the morphism π: X Y A u 1,u A u 1,u. Let 0 Y A u 1,u A u 1,u denote the origin. If d(k) < 0 then the element (x i) a (y j) b R /I is Γ -invariant for some a,b N, for each i = 1, and j = 1,. If d(k) = 0 then the elements (x 1 )a,(y 1 )a,x y R /I are Γ invariant for some a N. It follows that Now and π 1 (0) := (x 1 = x = y 1 = y = u 1 = u = 0) (x 1 = x = u 1 = u = 0) (y 1 = y = u 1 = u = 0). C = (x 1 = x = u 1 = u = 0) C (y 1 = y = u 1 = u = 0) 1

32 by Lemma.9 (using F k 1 = y, F k = x 1, F k+1 = x, F k+ = y 1 ). Thus π 1 (0) = C. It follows that there is an open neighbourhood 0 U Y A u 1,u A u 1,u such that π is proper over U. Moreover, by Lemma.1 we have a contracting G m -action on π: (C X) (0 Y A A u 1,u u 1,u ). It follows that π is proper. Suppose d(k) < 0. Then L k C = d(k) m 1 m < 0 and L k+1 C = d(k 1) m 1 m < 0 by [M0], Proposition.14(), p Thus L k and L k+1 are relatively ample over some open neighbourhood 0 U Y A u 1,u A u 1,u (because π 1 (0) = C). Using the contracting G m -action again we deduce that L k and L k+1 are relatively ample over Y A u 1,u A u 1,u. Now E := (F k = F k+1 = 0) where F k Γ(X,L k ), F k+1 Γ(X,L k+1 ). So the exceptional locus of π is contained in E. We have E X = C = π 1 (0) by Lemma.9. Also, E is preserved by the contracting G m -action (because E = (F k = F k+1 = 0) and F k,f k+1 are eigenfunctions for the G m -action). Moreover, each fiber of E over A u 1,u is either empty or irreducible of dimension 1. Thus every fiber of E A u 1,u is algebraically equivalent to a multiple of C. It follows that the exceptional locus of π is equal to E. Similarly, if d(k) = 0, then L k+1 is relatively ample over Y A u 1,u A u 1,u, and E := (F k+1 = 0) satisfies E X = C by Lemma.9 (using m = d(k) = 0). Also, the locus E is preserved by the contracting G m -action. It follows that each fiber of E A u 1,u is a proper curve, such that each component is algebraically equivalent to a multiple of C. Sotheexceptionallocusofπ equalse. Finally, sincethemilnornumber of a Q-Gorenstein smoothing of a singularity of type 1 (1,ma 1) m equals 0, we have b (X t ) = b (X 0 ) = 1 for all t A u 1,u. It follows that thefibersofe A u 1,u areirreducible, andhencethate isirreducible. See [M0], Theorem 4., p. 178 for the identification of π(e). We identify the exceptional locus E explicitly in the case d(k) < 0 of flipping contractions. Proposition.17. Assume d(k) < 0. The locus E := (F k = F k+1 = 0) X is given in the charts U 1,U as follows. We have E (u 1 = 0) for k = and E (u 1 u = 0) for k >. Write E i = E (u i = 0) for

33 i = 1,. Then E 1 U 1 = (q m 1 +u p δm 1 m 1 ) (u 1 = 0) U 1 E 1 U = (η = u 1 = 0) U and similarly, for k >, E U 1 = (η 1 = u = 0) U 1 E U = (q m 1 +u 1 p δm m 1 ) (u = 0) U In particular, the nonempty fibers of E A u 1,u are irreducible of dimension 1. Proof. First observe that F k = F k+1 = 0 implies u f(k) = u f(k+1) = 0 using the equations F k 1 F k+1 = and F k F k+ =. Hence E (u 1 = 0) if k = and E (u 1 u = 0) if k >. RecallthatE (u 1 = u = 0) = C bylemma.9. InProposition.19 we show that, for k >, the restriction of the morphism π: X Y A A u 1,u u 1,u to the open subset (u 1 0) A u 1,u is identified with the restriction of the morphism associated to the data π : X Y A u 1,u A u 1,u (m 1,m,a 1,a ) := (m,δm m 1,m a,δa (m 1 a 1 )) to the open subset (u 0) A u 1,u. Thus it suffices to describe E (u 0). Let 0 s (u 1 = 0) A u 1,u. Consider the fibers U 1,s = (ξ 1 η 1 = ζ m 1 1 ) A ξ 1,η 1,ζ 1 / 1 m 1 (1, 1,a 1 ) = A p 1,q 1 / 1 m 1(1,m 1 a 1 1) U,s = (ξ η = ζ m +u ) A ξ,η,ζ / 1 m (1, 1,a ). Define closed irreducible curves k 1,k,h,F X s as follows. k 1 = (ξ 1 = ζ 1 = 0) = (p 1 = 0) U 1,s k = (ξ = 0) U,s h U 1,s = (η 1 = ζ 1 = 0) = (q 1 = 0) U 1,s h U,s = (ζ = 0) U,s F U 1,s = (q m 1 +u p δm 1 m 1 = 0) U 1,s F U,s = (η = 0) U,s

34 Now, similarly to Lemma.9, one checks (z = 0) Xs = k 1 +h (F 0 = 0) Xs = m 1 h (F 1 = 0) Xs = k (F i = 0) Xs = d(i 1)k 1 +g(i 1)F for i k (F k+1 = 0) Xs = m h+g(k)f Thus, noting that k 1 h F, we obtain F = (F k = F k+1 = 0) X s = E X s..4. The universal family of K negative surfaces. Let j Z be such that d(j),d(j + 1) > 0. Explicitly, if δ > 1 then we require j k 1,k,k+1 if d(k) < 0 and j k 1,k,k+1,k+ if d(k) = 0. If δ = 1 we require j 0,1 mod if d(k) < 0 and j 1 mod if d(k) = 0. We will call the allowed values of j admissible. In what follows the superscripts j are understood modulo in the case δ = 1. Define m j 1 = d(j), mj = d(j +1), aj 1 = c(j), aj = mj c(j +1). Thus m 1 i = m i and a 1 i = a i for each i = 1,. Lemma.18. We have 1 a j i m j i and gcd(a j i,mj i ) = 1 for each i = 1, and all admissible j. Moreover, and δ j := m j 1 aj +mj aj 1 mj 1 mj = δ > 0 j := (m j 1) +(m j ) δ j m j 1m j = > 0. We apply the above constructions to the data (m j 1,m j,a j 1,a j ), and denote the result by the same notations decorated by a superscript j. Proposition.19. For each admissible j the family X j A is u j 1,u j identified with X A u by identifying variables with the same name 1,u (forgetting the superscript), that is, (x j 1,x j,y j 1,y j,z j,u j 1,u j ) = (x 1,x,y 1,y,z,u 1,u ). In particular we have an induced identification Y j = Y. Let j,j +1 be admissible. Then we have an identification given by X j (u j 1 0) = (uj+1 0) X j+1 z j = z j+1, 4