You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 9of π over the origin 0 ∈ C[1], denoted by W[1] 0 , is reduced with normal crossingsingularity whose irreducible components are Y 1 , Y 2 and a ruled variety ˜∆ over D.The singular locus of W[1] 0 consists of two disjoint divisors Y 1 ∩ ˜∆ and Y 2 ∩ ˜∆, bothisomorphic to D. Following the proof of Lemma 1.1 and the description afterwards,we can contract one of the P 1 factor so that the family W[1] × C[1] C[1] 1 ( resp.W[1] × C[1] C[1] 2 ) over C is a smoothing of the nodal divisor Y 1 ∩ ˜∆ (resp. thenodal divisor Y 2 ∩ ˜∆) of W[1] × A 2 0 A 2. Here C[1] i ⊂ C[1] is the i-th coordinate linedefined in the beginning of this subsection. It is direct to check that ˜∆ is the ruledvariety P D (1 D ⊕ N D1/Y 1) mentioned at the beginning of this section.We let π 2 :W[1] → A 1 be the composite of W[1] → C[1] → A 2 with the secondprojection A 2 → A 1 . It is easy to see that the singular locus of π 2 is the propertransform of D × A 1 ⊂ W × A 1 A 2 where D × A 1 → W × A 1 A 2 is the morphisminduced by D → W and A 1 → A 2 as the t 1 -axis. We denote the singular locus ofπ 2 by D 2 . Further, at each p ∈ D 2 , there is a formal coordinate chart 4 (z 1 , · · ·) ofp so that π ∗ :Γ(A 2 ) → ÔW[1],p satisfies t 1 ↦→ z 1 and t 2 ↦→ z 2 z 3 .We now construct W[2]. We let W 2 be the fiber product W[1]× A 2 A 3 with A 3 →A 2 the morphism (t 1 , t 2 , t 3 ) ↦→ (t 1 , t 2 t 3 ). Then W 2 has singularity along D 2 × A 2A 3 [23 ∨ ] ⊂ W[1] × A 2 A3 , where following our convention A 3 [23 ∨ ]is the codimensiontwo coordinate plane (line) spanned by all but the second and the third axes inA 3 . Note that the singularity type of W 2 along D 2 × A 2 A 3 [23 ∨ ]is identical to theone of W 2 along D × A 1 0 A 1. We now blow up W 2 along its singular locus and thencontract one copy of the P 1 -bundle in the resulting exceptional divisor. We willcontract the P 1 -bundle so that the resulting scheme, denoted by W[2] → C[2], hasthe property that its fibers over the l-th axis C[2] l ⊂ C[2] is a smoothing of thel-th nodal divisor of W[2] 0 W[2] × C[2] 0. The proof of this is a word by wordrepetition of our earlier construction of W[1] from W × A 1 A 2 .The model W[n]/C[n] is constructed by induction. Assume W[n − 1]/C[n − 1]was constructed, we then form W n = W[n − 1] × A n A n+1 , where A n+1 → A n isdefined by (· · · , t n+2 ) ↦→ (· · · , t n , t n+1 t n+2 ). We then resolve the singularity of W nby a small resolution. We require that the resulting family W[n]/C[n] be so thatW[n] × C[n] 0 ∼ = W[n] 0and the fibers of W[n] over the l-th factor C[n] l ⊂ C[n] is asmoothing of the l-th nodal divisor of W[n] 0. Again the detail to work this out isexactly the same as the construction of W[1].Throughout this paper, we will use W[n] 0to denote the fiber of W[n] over0 ∈ C[n] and denote by ∆ 1 , · · · , ∆ n+2 the n + 2 irreducible components of W[n] 0,ordered as specified at the beginning of this section.1.2. Construction of the stack of expanded degenerations. In this part, wewill construct the stack W of the expanded degenerations of W.We begin with an investigation of the G[n]-group action on W[n]. Clearly, sinceA n+1 → A 1 is G[n]-equivariant, its action lifts to C[n] → C. To show that it lifts toW[n], we need to understand the corresponding G m -action on the desingularizationZ of X, constructed in the subsection 1.1. Following the notation there, G m actson X via(z 1 , z 2 , t 1 , t 2 ) σ = (z 1 , z 2 , σt 1 , σ −1 t 2 ), σ ∈ G m4 Namely they generate the maximal ideal of the formal ring ÔW[1],p.
10 JUN LIand its lifting to Z is(1.10)([b 0 , 1], η 1 , η 2 ) σ = ([σb 0 , 1], η 1 , σ −1 η 2 ).Based on this, it is easy see that the G[n]-action on C[n] lifts uniquely to W[n].For later application, we now give a precise description of the G[n]-action nearthe nodal divisor of W[n] 0. This can best be done by looking at the simplest casewhere W = A 2 , C = A 1 and W → C is given by t = u 1 u 2 , where (u 1 , u 2 ) and tare the standard coordinates of A 2 and A 1 . With this choice of W → C, we canconstruct the corresponding W[n] → C[n]. To distinguish this from the generalcase, we will denote this special degeneration by Γ[n] → A n+1 .Lemma 1.2. Let the notation be as before. Then Γ[n] 0 is a chain of n + 2 curvesof which the first and the last are isomorphic to A 1 and the remainders are isomorphicto P 1 . Further, we can cover Γ[n] by G[n]-invariant affine open subsetsU 1 , · · · , U n+1 , each isomorphic to A n+2 , so that if we denote by (u l 1 , · · · , ul n+2 ) thestandard coordinate of U l∼ = A n+2 , then(i) the restriction of π:Γ[n] → A n+1 to U l is given byπ l : (u l 1, · · · , u l n+2) ↦→ (· · · , u l l−2, u l l−1, u l lu l l+1, u l l+2, u l l+3, · · ·);(ii) The G[n]-action on U l is given by(u l 1, · · · , u l n+2) σ = (· · · , ¯σ l−2 u l l−2, ¯σ l−1 u l l−1, σ −1l−1 ul l, σ l u l l+1, ¯σ l+1 u l l+2, ¯σ l+2 u l l+3, · · · ),where ¯σ i = σ i /σ i−1 with σ i = 1 for i = 0, n + 1;(iii) The transition function from (ul·) to (ul+1 · ) over U l ∩ U l+1 is given by(u l+11 , · · · , u l+1n+2 ) = (· · · , ul l−2 , ul l−1 , ul l ul l+1 , 1/ul l+1 , ul l+2 ul l+1 , ul l+3 , · · · ).Proof. We prove this Lemma by induction on n. For n = 0, there is nothing toprove. We now assume that the Lemma holds for Γ[n − 1]. Namely, we have foundcoverings U 1 , · · · , U n of Γ[n − 1] that satisfy the required property. Following theconstruction, Γ[n] is a small resolution of Γ[n − 1] × A n A n+1 . Using the explicitdescription of π| Ul :U l → A n , we see thatV l U l × A n A n+1 ∼ = A n+2 , where l < n,are smooth G[n]-invariant open subsets of Γ[n]. Clearly, we can choose a uniquecoordinate (v l·) of V l so that the projection V l → U l is given byu l i = v l i, i ≤ n; u l n+1 = v l n+1v l n+2,and the projection π l : V i → A n+1 is given by the formula (i) in the statementof the Lemma. A routine check shows that for l < n the G[n]-action on V l andthe transition function from V l−1 to V l is exactly as shown in the statement of theLemma.It remains to check the case where l = n and n + 1. We now look at thechart U n . Let ϕ : Γ[n] → Γ[n − 1] be the composite of the desingularizationΓ[n] → Γ[n − 1] × A n A n+1 with the obvious projection. Thenϕ −1 (U n ) ∼ = A n−1 × L ⊕2 ,where L is the tautological line bundle (degree −1) on P 1 and L ⊕2 is the total spaceof L ⊕2 . We now cover P 1 by B 0 = {[b 0 , 1]} and B 1 = {[1, b 1 ]} ⊂ P 1 . We choose
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 11trivializations L ⊕2 | B0∼ = B0 × A 2 and L ⊕2 | B1∼ = B1 × A 2 so that the transitionfunction from B 0 × A 2 to B 1 × A 2 is given by(b 0 , ζ 1 , ζ 2 ) −→ (b 1 , ζ ′ 1, ζ ′ 2) = (1/b 0 , ζ 1 b 0 , ζ 2 b 0 ).We let V n be A n−1 × L ⊕2 | B0 and let V n+1 = A n−1 × L ⊕2 | B1 ⊂ A n−1 × L ⊕2 . ThenV 1 , · · · , V n+1 form a covering of Γ[n]. Next for V n we choose a coordinateand for V n+1 we choose(v n 1 , · · · , v n n+2) = (z 1 , · · · , z n−1 , ζ 1 , b 0 , ζ 2 )(v n+11 , · · · , v n+1n+2 ) = (z 1, · · · , z n−1 , ζ ′ 1 , b 1, ζ ′ 2 ).We now check that this choice of coordinates satisfy the requirement of the Lemma.We first check the transition functions. The transition function from V n to V n+1is determined by the transition function from L ⊕2 | B0 to L ⊕2 | B1 . Thus we have(v1 n+1 , · · · , vn+2 n+1 ) = (z 1, · · · , z n−1 , ζ 1 ′ , b 1, ζ 2 ′ ) = (z 1, · · · , z n−1 , b 0 ζ 1 , 1/b 0 , ζ 2 b 0 )= (v1 n , · · · , vn−1, n vnv n n+1, n 1/vn+1, n vn+1v n n+2).nThis is the requirement in (iii) for l = n.It remains to work out the transition function from V n−1 to V n . We let v n−1 =(v1 n−1 , · · · , vn+2 n−1 ) be a general point and let vn = (v1 n , · · · , vn+2) n be the pointdefined by the relation (iii) with u replaced by v and l replaced by n − 1. Thenv n n+2 = vn−1 n+2 , vn n+1 = vn−1n+1 vn−1 n, vn n = 1/vn−1 n , vn−1 n = vn−1vn−1 n .Clearly, to prove (iii) we only need to check that the images of v n−1 and v n in U ncoincide and their images in A n+1 also coincide. By definition, the image of v n−1in A n+1 is(v1 n−1 , · · · , vn−1 vn−1 n , vn+1 n−1 , vn−1 n+2 )and the image of v n in A n+1 is(v n 1 , · · · , vn n−1 , vn n vn n+1 , vn n+2 ).They coincide using the relations mentioned above. On the other hand the imageof v n−1 in U n−1 is (· · · , vnn−1 , vn+1 n−1 vn−1 n+2 ) and its image in U n, using (iii) and theinduction hypothesis, is(v1 n−1 , · · · , v n−1The image of v n in U n isn−1 vn−1 n, 1/v n−1n, v n−1(v n 1 , · · · , vn n−1 , vn n , vn n+1 vn n+2 ).nvn+1 n−1 vn−1 n+2 ).They coincide as well. This proves the relation (iii). The part (ii) concerning thegroup action can be checked directly and will be omitted.To apply this Lemma to the general case W[n], we have the following usefulobservation. Let ˆD be the formal completion of W along D. For any open V ⊂ D,we let ˆV be V ⊂ ˆD endowed with the open subscheme structure. We choose V sothat ∼ OˆV = OV [w 1 , w 2 ] and the induced morphism ˆV → A 1 is given by t ↦→ w 1 w 2 .We let Ṽ ⊂ W[n] be an open subset so that Ṽ ∩(W[n]× W D) = W[n]× W V and letW[n] ˆ be the formal completion of Ṽ along W[n] × W V . Similarly we let U ⊂ Γ[n]be the preimage of 0 A 2 ∈ A 2 under Γ[n] → Γ[1] = A 2 and let ˆΓ[n] be the formalcompletion of Γ[n] along U. Then we have a G[n]-equivariant isomorphism(1.11)ˆ W[n] ∼ = V × ˆΓ[n].
12 JUN LIWe also denote by(1.12)Ψ : G[n] × C[n] −→ C[n]the morphisms of G[n]-actions.and Ψ : G[n] × W[n] −→ W[n]Corollary 1.3. Let G[n] l be the subgroup of G[n] that is the l-th copy of G m inG[n], using the isomorphism (1.1). Then the G[n] l action on ∆ l+1 is induced bythe linear action of G m on 1 D and N D2/Y 2of weight 0 and 1, respectively. It actstrivially on all other ∆ i ’s.Corollary 1.4. Let h:W[n] 0→ W[n] 0be an isomorphism commuting with W[n] 0→W 0 . Then there is a σ ∈ G[n] so that h is identical to the automorphism of W[n] 0induced by the action of the σ. Namely h(w) = Ψ(σ, w) for and w ∈ W[n] 0.Corollary 1.5. Let s ∈ C[n] be a closed point and let W[n] sbe the fiber of W[n]over s. Then the stabilizer of the W[n] s(which is the subgroup of G[n] that fixesW[n] s) is the trivial subgroup of G[n].We now fix the notation for the group action. Let G be any group scheme actingon an S-scheme X via Ψ : G × X → X. Let f : T → X be any S-morphism ofschemes and let λ : G ′ → G be a homomorphism of groups. Then we define theinduced group action morphismΨ λ f Ψ ◦ (λ × f) : G′ × T −→ X.In case G = G ′ and λ = 1 G , Ψ λ f will be shortened to Ψ f; In case T = X andf = 1 X , then Ψ λ f will be shortened to Ψλ . Now let ρ:T → G and f :T → X be twomorphisms. We define(1.13)f ρ Ψ ◦ (ρ, f) : T −→ X,in case the group action Ψ is clear from the context. Later, we will encounter thesituation where X is a scheme over a scheme Y and ρ is a morphism Y → G. Byabuse of notation we will use ρ to denote the composite morphism X → Y → G aswell and use f ρ to denote the morphism induced by the group action, as in (1.13).Let I ⊂ [n + 1] be a subset of l + 1 elements. It associates an embeddingγ I :C[l] → C[n] (see (1.4)). From the construction of W[n], it is clear that there isa canonical W-isomorphismγ I : W[l] ∼ = W[n] × C[n] C[l].Now let J be the complement of I in [n + 1] with entries j 1 ≤ · · · ≤ j n−l . We letλ J :G[n − l] → G[n] be the homomorphism defined so that the j i -th component ofλ J (σ) is σ i (σ i is the i-th component of σ) and all other components of λ J (σ) are1. Here the components of G[n] are defined via the isomorphism (1.1). Then bythe explicit G[n]-action on A n+1 , we see immediately thatΨ λJγ I: G[n − l] × C[l] −→ C[n]defined by the G[n]-action Ψ is an open immersion. We denote the image opensubscheme by C[ΣI] and denote W[n] × C[n] C[ΣI] by W[ΣI]. Clearly, W[ΣI] isG[n − l]-invariant under the induced actionΨ λJ : G[n − l] × W[n] −→ W[n].
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 13Lemma 1.6. The scheme W[ΣI] (resp. C[ΣI]) is a principal fiber bundle overW[l] (resp. C[l]) with group G[n − l] via the action Ψ λJ (resp. Ψ λJ ) and themorphism γ I (resp. γ I) is a section of this principal fiber bundle.The proof is based on the parallel result concerning A l+1 → A n+1 , which isobvious. We shall omit the proof here.The two principal fiber bundles are compatible in the sense that the followingdiagram is commutativeG[n − l] × W[ΣI]⏐↓Ψ λ J−−−−→ W[ΣI]⏐↓G[n − l] × C[ΣI]Ψ λ J−−−−→ C[ΣI].Often, we have several morphisms r : S → C[n] and like to compare the correspondingfiber products W[n] × C[n] S. Adopting the convention in groupoid,we shall view W[n] × C[n] S as the pull-back of W[n] → C[n] via r : S → C[n].Accordingly, we will denote such fiber product by r ∗ W[n].Corollary 1.7. Let (s, S) be a pointed scheme, ˜ι : S → C[n] be a morphism suchthat ˜ι(s) ∈ C[ΣI] for some subset I ⊂ [n+1] with |I| = l +1. Let S 0 = ˜ι −1 (C[ΣI]),which is an open neighborhood of s in S. Then there is a morphism (ρ, ι) : S 0 →G[n − l] × C[l] such that the restriction of ˜ι to S 0 ⊂ S is identical to Ψ λJγ ◦ (ρ, ι).IFurther it induces a canonical isomorphism˜ι ∗ W[n] × S S 0∼ = ι ∗ W[l],compatible to the projections to W × C S 0 , using the principal fiber bundle structureW[ΣI] → W[l] and the morphism γ I .We now introduce the notion of the expanded degenerations of W. Let S be anyC-scheme. An effective degeneration over S is a C-morphism ξ:S → C[n] for somen. Note that such a morphism comes with an S-familyW = W[n] × C[n] S −→ Sand the tautological projection W → W × C S. (For convenience, we will notdistinguish the family W from the morphism ξ, and vice versa if no confusionarises. As a convention, we will call W the associated family of ξ and call ξ theassociated morphism of W.) Let ξ 1 :S → C[n 1 ] and ξ 2 :S → C[n 2 ] be two effectivedegenerations. An effective arrow r : ξ 1 → ξ 2 consists of a standard embedding ι:C[n 1 ] → C[n 2 ] and a morphism ρ:S → G[n 2 ] so that (ι◦ξ 1 ) ρ = ξ 2 . By Corollary 1.7,this identity defines a canonical S-isomorphisms ξ ∗ 1 W[n 1] ∼ = ξ ∗ 2 W[n 2] compatiblewith their projections to W × C S. We call this the associated isomorphism of thearrow r : ξ 1 → ξ 2 . By abuse of notation, we will denote this isomorphism by r aswell. Now let ξ 1 and ξ 2 be any two effective degenerations over S. We say ξ 1 isequivariant to ξ 2 via an effective arrow if there is either an effective arrow ξ 1 → ξ 2or an effective arrow ξ 2 → ξ 1 . We say ξ 1 and ξ 2 are equivalent via a sequence ofeffective arrows if there is a sequence of effective degenerations η 0 , · · · , η m so thatη 0 = ξ 1 , η m = ξ 2 and η i is equivariant to η i+1 via an effective arrow for all i. Notethat once such a sequence of effective arrows is given, then there is a unique inducedS-isomorphism ξ ∗ 1W[n 1 ] ∼ = ξ ∗ 2W[n 2 ] compatible with their projections to W × C S.
14 JUN LINow let W 1 and W 2 be two effective degenerations over S. We say W 1 is isomorphicto W 2 if W 1 is S-isomorphic to W 2 and the isomorphism is compatibleto their tautological projections to W × C S. The following Lemma says that suchisomorphisms are locally generated by a sequence of arrows.Lemma 1.8. Let ξ 1 and ξ 2 be two effective degenerations over S so that theirassociated families W 1 and W 2 are isomorphic. Then to each p ∈ S there is anopen neighborhood S 0 of p ∈ S so that the (induced) isomorphism between W 1 × S S 0and W 2 × S S 0 is induced by a sequence of effective arrows between ξ 1 × S S 0 andξ 2 × S S 0 .Proof. In case p lies over C − 0, then there is nothing to prove. Now assumep lies over 0 ∈ C. Let n be the integer so that W 1 × S p has n + 2 irreduciblecomponents. Then by Corollary 1.7, there is an open neighborhood S 0 of p ∈ Sand two morphisms ξ 1, ′ ξ 2 ′ : S 0 → C[n] so that ξ i × S S 0 is equivalent to ξ i ′ via anarrow. Thus to prove the Lemma it suffices to consider the case where n 1 = n 2 = n.Now we assume, ξ i : S → C[n] and ξ i (p) = 0 ∈ C[n]. Let ϕ : W 1 −→ W 2 be theW S -isomorphism and let φ i : W i −→ W[n] be the associated morphisms. We definea functor Isom[S] from the category of S-schemes to sets that associates to anyS-scheme T the set of all morphisms ρ:T → G[n] such that with ι:W 1 × S T → W 1the induced morphism (i.e. the first projection) then(φ 1 ◦ ι) ρ = φ 2 ◦ ϕ ◦ ι : W 1 × S T −→ W[n].(For the notation here see the formula (1.13).) By the existence theorem of Hilbertschemes developed by Grothendieck coupled with the trivialization of the stabilizers(see Corollary 1.5), Isom[S] is represented by a subscheme R of S × G[n].We now show that R is non-empty and dominates a neighborhood of p ∈ S.Since ξ 1 (p) = ξ 2 (p) = 0 ∈ C[n], the restriction of the isomorphism ϕ to fibers overp induces an isomorphism W[n] 0∼ = W[n]0 that commutes with W[n] 0→ W 0 . Thenit is induced by an element g 0 ∈ G[n] by Corollary 1.4. Hence (p, g 0 ) ∈ R. Let mbe the maximal ideal of the local ring O S,p . By the previous discussion, we haveρ 0 : p → G[n] so that (i 0 , ρ 0 ) : p → S × G[n] factor through R ⊂ S × G[n], wherei 0 :p → S is the inclusion. Let B k = Spec O S,p /m k with i k :B k → S the inclusionmorphism. Suppose for some k ≥ 1 we have(i k−1 , ρ k−1 ) : B k−1 −→ S × G[n],extending (i 0 , ρ 0 ) that factor through R ⊂ S × G[n]. We will show that ρ k−1extends to ρ k satisfying similar condition. Since G[n] is smooth, we can extendρ k−1 to h k :B k → G[n]. Let ι k : W 1 × S B k → W 1 be the canonical immersion. Weconsider the problem of extending the W-morphismto a W-morphism(φ 1 ◦ ι k−1 ) h k−1= φ 2 ◦ ϕ ◦ ι k−1 : W 1 × S B k−1 −→ W[n]W 1 × S B k −→ W[n].This is a typical extension problem. Since (φ 1 ◦ ι k ) h kand φ 2 ◦ ϕ ◦ ι k are two suchextensions, by deformation theory they are related by an element in m k /m k+1 ⊗K,whereK = ker { Hom W[n]0 (Ω W[n] , O W[n]0 ) −→ Hom W[n]0 (Ω W ⊗ OW O W[n]0 , O W[n]0 ) } .
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 15We claim that K is isomorphic to k ⊕n and is generated by the group action of G[n].We let i:W[n] 0→ W[n] be the immersion and j :W[n] 0→ C[n] be the compositeof i with the projection. Then we have the exact sequence(1.14)0 −→ j ∗ Ω C[n] −→ i ∗ Ω W[n] −→ Ω W[n]0 −→ 0and its induced exact sequenceHom(i ∗ Ω W[n] , O W[n]0 ) −→ βHom(j ∗ δΩ C[n] , O W[n]0 ) −→ Ext 1 (Ω W[n]0 , O W[n]0 ).At the origin 0 ∈ C[n], we have a canonical isomorphism T 0 C[n] ∼ = T 0 A n+1 . Welet v l : k → k ⊕n+1 ≡ T 0 A n+1 be the l-th component. The dual of v l , which isv ∨ l :Ω C[n] ⊗ OC[n] k 0 → k, defines a homomorphism v ∨ l :j∗ Ω C[n] → O W[n]0 . Now let0 ≠ h ∈ Im(β) ⊂ Hom(j ∗ Ω C[n] , O W[n]0 ),say given by a homomorphism j ∗ Ω C[n] → O W[n]0 . Then it must be a linear combinationof v ∨ l , say equal to a 1v ∨ 1 + · · · + a n+1 v ∨ n+1. Now let c be the extension classin Ext 1 (Ω W[n]0 , j ∗ Ω C[n] ) of the exact sequence (1.14) and leth ∗ : Ext 1 (Ω W[n]0 , j ∗ Ω C[n] ) −→ Ext 1 (Ω W[n]0 , O W[n]0 )be the homomorphism induced by h. We claim that h ∗ (c) ≠ 0. Indeed, let T 2 =Speck[t]/(t 2 ) → C[n] be the immersion representing the tangent vector v = a 1 ∂ z1 +· · · + a n+1 ∂ zn+1 ∈ T 0 C[n]. ThenW[n] × C[n] Speck[t]/(t 2 ) −→ Speck[t]/(t 2 )is an infinitesimal smoothing of the l-th nodal divisor of W[n] 0whenever a l ≠ 0,and consequently the exact sequence(1.15)0 −→ O W[n]0 −→ Ω W[n]×C[n] T 2⊗ W[n]×C[n] T 2O W[n]0 −→ Ω W[n]0 −→ 0does not split since h ≠ 0. On the other hand, this exact sequence is exactlydefined by the extension class δ(h). In case h ∈ Im(β), then δ(h) = 0, violating thenon-splitness of (1.15). This proves β = 0. As a consequenceHom(Ω W[n]0 , O W[n]0 ) ∼ = Hom(i ∗ Ω W[n] , O W[n]0 ).Now let α be any element in K. Then α ∈ Hom(Ω W[n]0 , O W[n]0 ) by the aboveidentity. Hence the restriction of α to ∆ l , denoted by α l , is a vector field of ∆ l .Since α lies in the kernel, we have α 1 = α n+2 = 0. Furthermore, the restriction ofα l to the two (or one if l = 1 or n + 2) distinguished divisors is tangential to thesedivisors and must satisfy the compatibility condition α l | D− = α l+1 | D+ . Now let V lbe the subspace of H 0 (T ∆l ) consisting of the vector fields whose restrictions to thetwo distinguished divisors are tangential to the two divisors. Then V l is canonicallyisomorphic to the direct sum H 0 (T D ) ⊕ C, where C is generated by the vector fieldgenerated by the group action G[n] l . Let e(α l ) be the component of α l in H 0 (T D ).Then the compatibility condition translates to e(α 1 ) = · · · = e(α n+2 ). Adding thefact that α 1 = 0, we conclude that e(α l ) = 0 for 2 ≤ l ≤ n + 1. Therefore, α lmust be a vector field tangential to the fibers of ∆ l → D and vanishes on the twodistinguished divisors. By Corollary 1.4, such α is generated by the group actionG[n].If we apply this to the two extensions (φ 1 ◦ ι k ) h kand φ 2 ◦ ϕ ◦ ι k , we see thatthere is a morphism h + k : B k → G[n] with h + k | B k−1: B k−1 → G[n] factor through{e} ⊂ G[n] such that with ρ k = h + k · ι k,(φ 1 ◦ ι k ) ρ k= φ 2 ◦ ϕ ◦ ι k : W 1 × S B k −→ W[n].
16 JUN LISince k is arbitrary, this implies that the projection R → S dominates a neighborhoodof p ∈ S.We let π : R → S be the projection. To complete the proof of the Lemma, weneed to find a neighborhood R 0 of (p, ρ 0 ) ∈ R, so that π| R0 : R 0 → S is an openneighborhood of p ∈ S. First, by Corollary 1.5, for any s ∈ S the set π −1 (s) has atmost one point. Applying Corollary 1.5 again, we see that the choice of ρ k in theproof is unique. Hence the formal completion of R along (p, g 0 ) is isomorphic to theformal completion of S along p, under π. Hence R → S is étale over a neighborhoodof p ∈ S. Combining the one-to-one and étale property, we conclude that there isa neighborhood R 0 ⊂ R of (p, g 0 ) so that π| R0 :R 0 → S is an open immersion. Letρ:R 0 → G[n] be the morphism given by the definition of the functor Isom[S] andlet η:R 0 → S be the inclusion. Then ρ defines an effective arrow between ξ 1 × S R 0and ξ 2 × S R 0 . This proves the Lemma.We now define the stack W of the expanded degenerations of W.Definition 1.9. Let S be any C-scheme. An expanded degeneration of W over S isa pair (W, ρ), where W is a family over S and ρ:W → W × C S is an S-projection,so that there is an open covering S α of S such that for each S α the restriction pair(W × S S α , ρ| W×SS α) is isomorphic to an effective expanded degeneration of W. Let(W, ρ) and (W ′ , ρ ′ ) be two degenerations over S and S ′ respectively. An arrowW → W ′ consists of a C-morphism S → S ′ and an S-isomorphism W → W ′ × S ′ Scompatible to their projections to W × C S.We define the groupoid of the expanded degenerations of W to be the categoryW whose objects are expanded degenerations of W over S, where S is a C-scheme.In the following, we will call expanded degenerations of W simply degenerations ifits meaning is clear from the context. The functor p:W → (Sch/C) is the one thatsends degenerations over S to S. Arrows between two objects are those definedin the above Definition. Obviously, if ξ ∈ W with p(ξ) = S and i : T → S is amorphism, then there is a unique pull-back family i ∗ ξ ∈ W with an arrow i ∗ ξ → ξ.In this way, (W, p) forms a groupoid. For any S ∈ (Sch/C), we define W(S) to bethe category of all degenerations over S.Proposition 1.10. The groupoid W is a stack.Proof. This is straightforward and will be left to the readers.2. Pre-deformable morphismsRecall that a pre-stable curve is a connected complete curve with at most nodalsingularity. (Since the marked points will not affect our discussion of pre-deformablemorphisms, we will discuss curves without marked points in this section.) A morphismf whose domain is a pre-stable curve is called a pre-stable morphism. Letf : X → W[n] be a pre-stable morphism so that f(X) ⊂ W[n] 0. We say f isnon-degenerate if no irreducible component of X is mapped entirely to the singularlocus of W[n] 0. It is well-known that in general f may not be deformable to apre-stable morphism to W[n] over a general point t ∈ C[n]. One set of conditionsis purely local in nature. It reflects the fact that W[n] 0has nodal singularity. Inthis section, we will investigate such condition in details.
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 172.1. Morphisms of pure contact. We will investigate the following situation inthis subsection. Let k[t] → k[w 1 , w 2 ] be the homomorphism defined by t ↦→ w 1 w 2and let φ : k[s] → k[z 1 , z 2 ] be the homomorphism defined by φ(s) = z 1 z 2 orφ(s) = z 1 . Note that the former corresponds to a smoothing of the node and thelater corresponds to a family of smooth curves. We let A be a k[s]-algebra andlet R = k[z 1 , z 2 ] ⊗ k[[s]] A. We assume A is (s)-adically complete and let ˆR be the(z 1 , z 2 )-adic completion of R. In this part, we will investigate the situation wherethere is a homomorphism ψ : k[t] → A with induced homomorphism ˜ψ : k[t] → ˆRvia ˜ψ(t) = 1 ⊗ ψ(t) and a k[t]-homomorphism(2.1)ϕ : k[w 1 , w 2 ] −→ ˆRsatisfying the following non-degeneracy condition: The ideals (ϕ(w 1 ), ϕ(w 2 )) and(z 1 , z 2 ) in ˆR satisfy(z 1 , z 2 ) m ⊂ (ϕ(w 1 ), ϕ(w 2 )) ⊂ (z 1 , z 2 )for some integer m.Geometrically, this states that there are no irreducible components of the fibersof Spec ˆR → Spec A that are mapped entirely to the node in Speck[w 1 , w 2 ]/(w 1 w 2 ).We now state and prove our first technical result which explains the notion ofcurves of pure contact. We begin with the notion of normal forms of elements inˆR.Lemma 2.1. Let ˆR be as before. Then any α ∈ ˆR has a unique expression, calledits normal form, as(2.2)α = a 0 + ∑ i>0a i z i 1 + ∑ i>0b i z i 2 , a i, b i ∈ A.We call such expansion the normal form of α.Proof. Clearly, any α can be expressed as above. We now show that such expressionis unique. Let I n ⊂ ˆR be the A-sub-module spanned by all z1z i j 2 satisfying|i − j| > n. Clearly, the quotient A-module ˆR/I n is a free A-modulewith basis z1 n, · · · , z 1, 1, z 2 , · · · , z2 n. Let π n : ˆR −→ ˆR/In be the quotient homomorphismof A-modules. Assume α = 0 has an expression as in (2.2), then0 = π n (α) = a 0 + ∑ nj≥1 a jz j 1 + b jz j 2 in ˆR/I n . Since ˆR/I n is a free A-module andz1 n · · · , z2 n is a basis, all a j and b j are zero for j ≤ n. Since n is arbitrary, thisimplies that all a j and b j are zero. This proves the Lemma.Proposition 2.2. Let the notation be as before. We assume further that A is alocal ring and is flat over k[t]. Then of the two choices of φ:k[s] → k[z 1 , z 2 ] givenbefore, only φ(s) = z 1 z 2 is possible. Further, possibly after exchanging z 1 and z 2 ,the homomorphisms ϕ and ψ must be of the formsϕ(w 1 ) = z n 1 β 1, ϕ(w 2 ) = z n 2 β 2 and ψ(t) = s n ǫfor some integer n, units β 1 and β 2 ∈ ˆR and a unit ǫ ∈ A such that β 1 β 2 = ǫ in ˆR.Proof. Let m ⊂ A be the maximal idea and let(2.3)ϕ(w i ) = ∑ j≥0a i,j z j 1 + ∑ j≥0b i,j z j 2 , a i,0 = b i,0
18 JUN LIbe the normal form of ϕ(w i ). Since ϕ is non-degenerate, the homomorphismϕ 0 : k[w 1 , w 2 ] −→ k[z 1 , z 2 ]/(z 1 z 2 )induced by ϕ and k[z 1 , z 2 ]/(z 1 , z 2 ) ∼ = ˆR/m ˆR must be of the form (possibly afterexchanging z 1 and z 2 )ϕ 0 (w 1 ) = c 1 z n11 mod z n1+11 and ϕ 0 (w 2 ) = c 2 z n22 mod z n2+12 , c 1 , c 2 ≠ 0,for some positive integers n 1 and n 2 . Hence in (2.3), all a 1,j for j < n 1 and b 2,j forj < n 2 are in the maximal ideal m ⊂ A. We letI = ( {a 1,j s j , b 1,j , a 2,j , b 2,j s j |j ≥ 0} ) ⊂ Abe the ideal generated by the listed terms for all j ≥ 0.We first show that I ⊂ m. After expressing ϕ(w 1 )ϕ(w 2 ) in its normal formϕ(w 1 )ϕ(w 2 ) = c 0 + ∑ j>0 c jz j 1 + d jz j 2 we havec k = ∑a 2,k+i b 1,i s i , k > 0i+j=ka 1,i a 2,j + ∑ i≥0a 1,k+i b 2,i s i + ∑ i≥0andd k = ∑b 1,i b 2,j + ∑ b 1,k+i a 2,i s i + ∑ b 2,k+i a 1,i s i , k > 0.i+j=k i≥0i≥0Because ϕ(w 1 )ϕ(w 2 ) = ϕ(w 1 w 2 ) is the image of t in A, all c k and d k for k > 0 arezero. Now let l be the largest integer so that b 1,j ∈ m for j < l. Then by consideringthe relation d l+n2 = 0, we obtain∑b 1,i b 2,j + b 1,n2+la 2,0 + b 2,n2+la 1,0 ∈ m.i+j=l+n 2By assumption, all terms in the above expression except b 1,l b 2,n2 are in m. Henceb i,l b 2,n2 ∈ m. Since b 2,n2 ∉ m, b 1,l ∈ m. This shows that there is no such l andhence all b 1,j are in m. Similarly, by considering the relation c k = 0 we can showthat all a 2,j ∈ m.Now let n = min(n 1 , n 2 ) and let Ī be the associated ideal of I in the quotientring A/(s n ). Let ¯m be the maximal ideal of A/(s n ). We now show that Ī ⊂ ¯m · Ī.Note that in the expression of c k and d k , terms a 2,k+i b 1,i s i and b 1,k+i a 2,i s i are inm · I for all k, i ≥ 0. We let J = m · I + (s n ). Note that b 2,k s k ∈ J for k ≥ n.Now let k be the smallest integer so that b 2,k+i s k+i ∈ J for all i > 0. Hence k < n.Using c n1−k = 0, we obtain∑a 1,n1−k+ib 2,i s i +∑a 1,i a 2,j ∈ m · I,which impliesa 1,n1 b 2,k s k +n 1−k+i≥0∑k−n 1
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 19Since a 1,n1−i ∈ m and a 2,k+i ∈ I, we have a 1,n1 a 2,k ∈ J and hence a 2,k ∈ J. Forsimilar reason, b 1,k ∈ J for all k > 0. Combined, this proves that Ī ⊂ ¯m · Ī. SinceA is Noetherian, this is possible only if Ī = 0. This proves I ⊂ (sn ).We next show n 1 = n 2 . Assume n = n 1 < n 2 . Then d n2−n 1= 0 implies that∑b 1,i b 2,j + ∑ b 1,n2−n 1+ia 2,i s i + ∑ b 2,n2−n 1+ia 1,i s i = 0.i+j=n 2−n 1 i≥0i≥0Note that all terms in this expression except b 2,n2 a 1,n1 s n1 belong to m · (s n ). Thisis impossible. Hence n 1 = n 2 .We now look at the normal form of ϕ(w 1 ). Since b 1,j ∈ (s n ) for all j ≥ 0, thereare b ′ 1,j ∈ A so that b 1,j = b ′ 1,j sn . On the other hand, since a 1,j s j ∈ (s n ), there area ′ 1,j so that a 1,j = a ′ 1,j sn−j for j < n. Using s = z 1 z 2 , we see that there are β 1and β 2 in ˆR so that ϕ(w i ) = z n i β i. Further by our choice of n both β 1 and β 2 areunits in ˆR. It remains to show that there is a unit ǫ ∈ A so that ψ(t) = s n ǫ andβ 1 β 2 = ǫ. First, since ψ(t) = ϕ(w 1 w 2 ), which is in the ideal (s n ), there is an ǫ ∈ Aso that ψ(t) = s n ǫ. Hence s n (β 1 β 2 − ǫ) = 0 in ˆR. Because ˆR is flat over k[t], thisimplies that β 1 β 2 − ǫ = 0. Hence ǫ is a unit in A. This completes the proof of theLemma.This Lemma inspires the notion of homomorphisms of pure contacts as follows.Definition 2.3. Let the notation be as stated in the beginning of this subsectionwith A only assumed to be (s)-adically complete. We say ϕ has pure contact if,possibly after exchanging z 1 and z 2 , there is a unit β in ˆR, a unit ǫ in A and aninteger n such that ϕ(w 1 ) = βz n 1 and ϕ(w 2 ) = ǫβ −1 z n 2 .The integer n is called the order of contact. Sometimes to emphasize this orderwe will say ϕ is of pure n-contact. The following is the main existence Lemma ofthis section.Lemma 2.4. Let n be any positive integer. Suppose a 1,n and b 2,n in the normalforms of ϕ(w 1 ) and ϕ(w 2 ) in (2.3) respectively are units in A. Then there is anideal I A ⊂ A so that for any A → T the induced homomorphismϕ T : k[w 1 , w 2 ] −→ ˆR ⊗ A Thas pure n-contact if and only if A → T factor through A/I A → T. The idealI A satisfies the following base change property: Let A → A ′ be a homomorphismof rings and let ϕ ′ : k[w 1 , w 2 ] → (k[z 1 , z 2 ] ⊗ k[[s]] A ′ )ˆ, where (·)ˆ is the (z 1 , z 2 )-adic completion of the respective ring, be the induced k[t]-homomorphism. ThenI A ′ = I A · A ′ .Proof. We let ζ, ǫ, ξ j , η j , where j runs through all positive integers, be indeterminants.We consider the ring B = A[ζ, ζ −1 , ǫ, ǫ −1 , ξ, η], where ξ and η mean(ξ 1 , ξ 2 · · ·) and (η 1 , η 2 , · · · ) respectively. We let C be the (z 1 , z 2 )-adic completionof k[z 1 , z 2 ] ⊗ k[[s]] B. We let γ ∈ C and its inverse beγ = ζ(1 + ∑ j>0ξ i z i 1 + η jz j 2 ) and γ−1 = ζ −1 (1 + ∑ j>0˜ξ i z i 1 + ˜η jz j 2 ),
20 JUN LIwhere ˜ξ j and ˜η j are elements in B. We consider the ideal J ⊂ C that is generatedby all coefficients of z j i in the normal forms of(2.4)and(2.5)Φ 1 = ϕ(w 1 ) − z1 n ζ(1 + ∑ ξ j z j 1 + ∑ η j z j 2 )j>0 j>0Φ 2 = ϕ(w 2 ) − z2 n ζ−1 (1 + ∑ ˜ξ j z j 1 + ∑ ˜η j z j 2 )ǫ.j>0 j>0We now investigate these generators of J, or equivalently the relations in C/J. Firstnote that the coefficient of z1 n+k in Φ 1 is a 1,k+n − ξ k . Hence we obtain elementsa 1,k+n −ξ k in J for all k ≥ 1. Similarly, the coefficient of z1 n in Φ 1 is a 1,n −ζ, whichby definition is in J. In the following we will call them the canonical relationsof ξ k and η, respectively. We let J 1 be the ideal generated by a 1,n − ζ and alla 1,k+n − ζ k . We next find relations of η j . First, by expanding 1/γ in power seriesand using s = z 1 z 2 , we can express ˜η k canonically as ˜η k = −(η k + ∑ j≥1 c k,js j ),where c k,j ∈ k[ξ, η]. Then the coefficient of z2 k+n in Φ 2 becomeb 2,n+k + ζ −1 η k ǫ + ∑ j≥1ζ −1 c k,j s j ǫ.We let J 2 be the ideal generated by J 1 and this set of elements for all k > 0. Sincec k,j ∈ k[ξ, η], modulo J 2 we can substitute ζ and all ξ l by elements in A usingrelations in J 1 and then substitute all η l in c k,j by −ζǫ −1 b 2,n+k − ∑ c k,j s j . Thisway we obtain(η k − d 1,k + ∑ ˜c k,j s j) ∈ J 2 ,j≥2where d k,1 ∈ A and ˜c k,1 ∈ A[η, ǫ −1 ]. Note that here we have used the fact that Ais complete with respect to the ideal (s). Repeating this procedure, we eventuallyobtain an element η k − f k (ǫ −1 ) ∈ J 2 , where f k (ǫ −1 ) ∈ A[ǫ −1 ]. It remains to findrelation in ǫ. By using the coefficient of z n 2 in Φ 2, we obtain an elementb 2,n − ǫζ −1 (1 + ∑ j≥1h j s j ) ∈ J,where h j ∈ k[ξ, η]. We then let J 0 ⊂ C be the ideal generated by J 2 and thiselement. Then again modulo J 0 , which amounts to repeatedly replace ζ, ξ k andη k by relations in J 0 , we obtain an element −1 + ζǫ −1 b 2,n + sφ(ǫ −1 ) ∈ J 0 , whereφ(ǫ −1 ) ∈ A[ǫ −1 ]. By iteration and taking the limit, we obtain a canonical elementǫ − h ∈ J for some h ∈ A. It is clear from this construction that h is a unit sinceb 2,n is a unit. This way we have found elements c 1,k and c 2,k ∈ A for k ≥ 1 and aunit h ∈ A so that()(2.6) J 0 = {ξ k − c 1,k , η k − c 2,k | k > 0}; ζ − a 1,n , ǫ − h ⊂ C.From this set of generators, we see that the canonical homomorphism A → C/J 0is an isomorphism. Since J 0 is a sub-ideal of J, we have quotient homomorphismC/J 0 → C/J. We let I A ⊂ A be the kernel of A → C/J 0 → C/J. We will showthat the ideal I A satisfies the property specified in the statement of the Lemma.First, from the construction it is direct to check that I A satisfies the base changeproperty. Now let A → T and ϕ T be as in the Lemma so that ϕ T has pure n-contact. Then it follows from our construction that the ideal I T = {0}. Therefore
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 21A → T factor through A/I A → T since I T = I A · T. This proves one directionof the Lemma. Now assume A → T is a homomorphism so that it factor throughA/I A → T. Then by the base change property we have I T = {0}. It follows fromthe construction of I T that ϕ T does have pure n-contact. This completes the proofof the Lemma.2.2. Families of pre-deformable morphisms. In this subsection, we will introducethe notion of pre-deformable morphisms. We will then prove that for anyfamily of non-degenerate stable morphisms f :X → W[n] over S, the locus S pd ⊂ Sof all pre-deformable morphisms admits a natural closed subscheme structure.We begin with some notation that will be used throughout this section. We letl be any integer in [n + 1]. Following our convention in section 1, we let l ∨ be thecomplement of l in [n + 1] and C[n] [l ∨ ] the smooth divisor C × A 1 H n+1l⊂ C[n],where H n+1l⊂ A n+1 is the l-th coordinate hyperplane. We defineC 0 [n] C[n] × C 0 = ∪ n+1l=1 C[n] [l ∨ ].We denote by D l the nodal divisor of W[n] × C[n] C[n] [l∨ ] and by ∆ − land ∆ + litstwo smooth irreducible components. According to our ordering of the irreduciblecomponents of W[n] 0, ∆ − lis on the left of ∆ + l . Then W[n]× C[n]C[n] [l ∨ ] is the unionof ∆ − land ∆ + lintersecting transversely along D l . Let π l :C[n] → A 1 be induced bythe l-th projection A n+1 → A 1 . For any point q ∈ D l there is a neighborhood Wof q ∈ W[n] with two regular functions w 1 and w 2 so that w 1 = 0 (resp. w 2 = 0)defines the divisor W ∩ ∆ + l(resp. W ∩ ∆ − l ). By adjusting w 2 if necessary, we canassume w 1 w 2 is the image of t l via Γ(A n+1 ) → Γ(W). Hence by shrinking W ifnecessary, we obtain a smooth morphism(2.7)ψ : W −→ Θ l Speck[w 1 , w 2 ] ⊗ k[tl ] k[t].Here k[t l ] → k[w 1 , w 2 ] is defined by t l ↦→ w 1 w 2 and k[t] = k[t 1 , · · · , t n+1 ]. Laterwe will call W with ψ implicitly understood an admissible chart of W[n] at q ∈ D l .Let f : X → W[n] be a pre-stable morphisms. We say f is non-degenerate ifno irreducible component of X is mapped entirely to any of D 1 , · · · ,D n+1 . Nowassume f is non-degenerate and let p ∈ f −1 (D l ). We define the notion of upperand lower contact order of f along p. Let ˆX be the formal completion of X along pand let ˆ∆ − l(resp. ˆ∆+l ; resp. ˆDl ) be the formal completion of ∆ − l(resp. ∆ + l ; resp.D l ) along f(p). For any irreducible component ˆV of ˆX, we can define the contactorder of f along ˆV as follows. Assume f(ˆV ) ⊂ ˆ∆ − l. We let z be a generator of themaximal ideal of OˆVand let w be a generator of the ideal I ˆDl ⊂ˆ∆ − ⊂ . LetlOˆ∆− lf ∗ : → Oˆ∆− lOˆVbe the induced homomorphism. Then f ∗ (w) = z δ β for a positiveinteger δ and a unit β ∈ OˆV. The integer δ is the contact order of f along ˆV .The contact order of f along ˆV when f(ˆV ) ⊂ ˆ∆ + lis defined similarly. We definethe left contact order (resp. right contact order) of f at p, denoted δ(f, p) − (resp.δ(f, p) + ), to be the sum of the contact orders of f along all irreducible componentsof ˆX that are mapped to ˆ∆ − l(resp. ˆ∆+l ).Definition 2.5. Let f :X → W[n] be a non-degenerate pre-stable morphism. Wesay f is pre-deformable along D l if δ(f, p) − = δ(f, p) + for all p ∈ f −1 (D l ). Wesay f is pre-deformable if f is pre-deformable along all D l .Note that if f −1 (D l ) = ∅, then f is automatically pre-deformable along D l .
22 JUN LI(2.8)In the remainder part of this section, we fix a scheme S over C and a familyf :X → W[n]of non-degenerate pre-stable morphisms over S. Our goal is to construct a maximalclosed subscheme S pd ⊂ S so that it parameterizes all pre-deformable morphismsin S.We begin our investigation with the decomposition of f along D l . We let S l beS × C[n] C[n] [l ∨ ] endowed with the reduced scheme structure. We have the followingdecomposition Lemma whose proof follows from the standard deformation theoryof nodal singularity of curves.Lemma 2.6. Let the notation be as before. We let X l = X × S S l and let f l be therestriction of f to X l . Then there are two flat families of curves (not necessarilyconnected) Y − and Y + over S l , a pair of S l -morphisms g ± : Y ± → ∆ ± l , a schemeΣ finite and étale over S l and a pair of S l -immersions ι ± : Σ → Y ± of which thefollowings hold: The original family X l is the gluing of Y − and Y + along ι − (Σ) ⊂Y − and ι + (Σ) ⊂ Y + , and the restriction of f l to Y ± ⊂ X l is g ± :Y ± → ∆ ± l⊂ W[n].Later, we will write X = Y − ⊔ Y + and f = g − ⊔g + to indicate that (Y ± , g ± ) arethe decomposition of (f, X).Lemma 2.7. Let S pd,l ⊂ S be the set of all closed points ξ ∈ S so that f ξ ispre-deformable along D l . Then S pd,l is closed in S.Proof. It suffices to prove the case where S is reduced and irreducible, which weassume now. Let S → A 1 πbe induced by S → C[n] −→lAn+1l∼= A 1 . In case S isdominant over A 1 , then Lemma 2.2 implies that S pd,l = S as topological spacesand hence the Lemma holds. Now assume S → A 1 factor through 0 ∈ A 1 . Since Sis reduced, S → C[n] factor though C[n] [l ∨ ] ⊂ C[n] and then S = S l as schemes.Let ι ± : Σ → Y ± and g ± : Y ± → ∆ ± lbe the decomposition of f provided byLemma 2.6. Let π : Σ → S be the projection. We let ι : Σ → X be the compositeι ± :Σ → Y ± → X. As before, for any ξ ∈ S we denote by f ξ the restriction of f tothe fiber over ξ and denote by Σ ξ the fiber of Σ over ξ. Then the left and the rightcontact order of f along ι(Σ) define two functions(2.9)δ(f π(·) , ι(·)) ∓ : Σ −→ Z.It follows from the definition that ξ ∈ S pd,l if the following two conditions hold:(i) For any x ∈ Σ ξ , δ(f ξ , ι(x)) + = δ(f ξ , ι(x)) − ;(ii) The preimage f −1ξ(D l ) is identical to ι(Σ ξ ).Applying the usual semi-continuity theorem, we see that both δ(f π(·) , ι(·)) ± areupper semi-continuous. Hence (i) and (ii) combined implies that S pd,l is a constructibleset. Therefore, to show that S pd,l is closed it suffices to show that ifR is a discrete valuation domain with residue field k and quotient field K, and ifSpec K → S pd,l extends to Spec R → S, then the extension Spec R → S factorthrough S pd,l ⊂ S.Now we let Spec R → S be a morphism so that Spec K factor through S pd,l ⊂ S.We let f R : X R → W[n] be the pull back family over Spec R via Spec R → S. Byabuse of notation, we still denote by Y ± , g ± and (ι ± , Σ) the decomposition dataof the R-curve (f R , X R ). Let η = Spec K be the generic point of Spec R. Thenby assumption the conditions (i) and (ii) hold for ξ = η. Now let ξ ∈ Spec R beany element. As before, for α = − or + we let g α,ξ and Y α,ξ be the restrictions of
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 23the respective families to the fiber over ξ. We let gα,ξ ∗ (D l) be the pull-back divisorwhere D l is viewed as a divisor in ∆ α l . Since f R is non-degenerate,(2.10) deg(gα,ξ ∗ (D l), Y α,ξ ) ≥∑δ(f ξ , ι(x)) α , α = − and + .x∈ι(Σ)∩X ξClearly, the equality in (2.10) holds for α if gα,ξ ∗ (D l) = ι α (Σ)∩X ξ . Hence condition(ii) is equivalently to that the equalities in the above two inequalities hold. Becausethe function of contact order is upper semi-continuous, for the closed point η 0 ∈Spec R,∑∑δ(f η0 , ι(x)) − ≥ δ(f η , ι(x)) − .x∈ι(Σ)∩X η0 x∈ι(Σ)∩X ηOn the other hand, since f is a flat family of non-degenerate morphisms, we havedeg(g ∗ −,η 0(D l ), Y −,η0 ) = deg(g ∗ −,η (D l), Y −,η ).Combined with the inequality in (2.10) for α = − and ξ = η 0 and the equality in(2.10) for α = − and ξ = η, we see that the equality in (2.10) for α = − and ξ = η 0must also hold. For similarly reason, the equality in (2.10) also hold for α = + andξ = η 0 . Hence the two contact order functions in (2.9) must be constant functions.Therefore, (i) and (ii) hold at η 0 and hence Spec R → S factor through S pd,l ⊂ S.This shows that S pd,l is closed in S.Let S pd be the subset of S consisting of ξ ∈ S so that f ξ is pre-deformable.Clearly, S pd = ∩ n+1l=1 S pd,l. Hence S pd is closed in S. In the remainder of thissection, we will give S pd a canonical closed scheme structure.We begin with the notion of parameterizations of the formal neighborhood ofnodes of pre-stable curves. Let π : X → S be a family of pre-stable curves and letX node ⊂ X be the locus of all nodes of the fibers of X over S, endowed with thereduced scheme structure. Let p ∈ X node be any closed point and let V ⊂ X node bean affine neighborhood of p ∈ X node . Then by shrinking V if necessary we can finda scheme U containing V as its closed subscheme so that there is an étale r:U → Sextending π| V : V → S. 5 We let ˆV be the formal completion of U along V . Wenow argue that ˆV is independent of the choice of U. Indeed, in case r ′ :U ′ → S isanother such U and ˆV ′ is the formal completion of U ′ along V . Then since bothÛ → S and Û ′ → S are étale, by the topological invariance of étale morphisms [Mil,p30] 6 , the scheme ˆV is canonically isomorphic to ˆV ′ . Thus ˆV is independent of thechoice of U. Now let XˆVbe X × S ˆV . Clearly, V ⊂ Xnode is a closed subscheme ofXˆV. We let ˆXˆV be the formal completion of XˆValong V ⊂ XˆV.Lemma 2.8. Let π : X → S be a family of pre-stable morphisms as before and letp ∈ X node be any closed point. Then there is an affine neighborhood V ⊂ X node of pso that with ˆV and ˆXˆV constructed as before, we have a morphism φ: ˆV → Speck[s]and a ˆV -isomorphismφ : ˆXˆV−→ Spec ( k[z 1 , z 2 ] ⊗ k[[s]] Γ(OˆV ) )ˆ,5 Such (U, r) can be constructed by elementary method. For instance, this follows from theproof of Lemma 1.5 in [Li].6 In [Mil] this theorem was stated for the case V ⊂ ˆV is defined by a nilpotent ideal. However,the proof can be adopted without change to cover our case.
24 JUN LIwhere (·)ˆ is the (z 1 , z 2 )-adic completion of the respective ring. We will call φ a parameterizationof the formal neighborhood of the nodes of X along V . Furthermore,all such parameterizations satisfy the following uniqueness property. Let φ ′ be anotherparameterization of X along V . Then there is a unit u in ( k[z 1 , z 2 ] ⊗ k[[s]]Γ(OˆV ) )ˆ and a unit ǫ in Γ(OˆV ) such that φ ′∗ (s) = ǫφ ∗ (s) and that the Γ(OˆV )-automorphism (φ ′ ◦ φ −1 ) ∗ of ˆR is define by(φ ′ ◦ φ −1 ) ∗ (z 1 ) = z 1 u and (φ ′ ◦ φ −1 ) ∗ (z 2 ) = z 2 u −1 ǫ.Finally, the choice of such (u, ǫ) is unique.Proof. The existence of such a parameterization follows immediately from the deformationof nodes [DM]. This also follows from the local parameterization constructedin [Li, Section 1]. Now let φ and φ ′ be two such parameterizations of Xalong V . Because φ ′∗ (s) and φ ∗ (s) define the same divisor in Û corresponding tothe subscheme where the nodes are not smoothed, there is a unit ǫ ∈ Γ(OˆV ) suchthat φ ′∗ (s) = ǫφ ∗ (s). Hence φ ′∗ (z 1 z 2 ) = ǫφ ∗ (z 1 z 2 ) and hence(2.11)(φ ′ ◦ φ −1 ) ∗ (z 1 z 2 ) = (φ ∗−1 ◦ φ ′∗ )(z 1 z 2 ) = ǫz 1 z 2 .It follows from the deformation of nodes that there are units u 1 and u 2 in ˆR suchthat(2.12)(φ ′ ◦ φ −1 ) ∗ (z 1 ) = z 1 u 1 and (φ ′ ◦ φ −1 ) ∗ (z 2 ) = z 2 u 2 .Using the above relation, we obtain su 1 u 2 = sǫ. Hence u 2 = ǫ(u −11 + e) for somee ∈ ˆR satisfying se = 0. We now demonstrate that if we choose u 1 , u 2 and ǫappropriately, then e will be zero. We first write e in its normal forme = α 0 + ∑ i≥1z i 1α i + z i 2β i ,α i , β i ∈ Γ(Û).Since se = 0, by the uniqueness of the normal form we have z 1 β i = 0 and z 2 α i = 0for i ≥ 1 while sα 0 = 0. We let u 1 = γ 0 + ∑ z1γ i i + z2δ i i be its normal form. Sinceu 1 is a unit, γ 0 must be a unit. We now let ǫ ′ = ǫ + γ 0 α 0 . Then since sα 0 = 0, wecan replace ǫ in (2.11) by ǫ ′ . Then the new error term e ′ = u 2 −u −11 ǫ′ , which obeysu 2 = ǫ ′ (u1 −1 + e ′ ), belongs to the ideal (z 1 , z 2 ). Hence without loss of generality wecan assume the ǫ, u 1 and u 2 are chosen appriori that the α 0 in the normal formof e is zero. On the other hand, since z 2 α i = 0 for i > 0, we can replace u 2 byu ′ 2 = u 2 − ∑ i>0 zi 1 α i so that (2.11) and (2.12) still hold. Hence we can assumeappriori that all α i = 0. Lastly, we let u ′ 1 = u 1(1+eu 1 ǫ −1 ) −1 . Clearly, z 1 u 1 = z 1 u ′ 1is what we want.The uniqueness of (u, ǫ) can be proved following same strategy. Since a moregeneral version will be proved in [Li, Section 1], we will omit the proof here.and u 2 = ǫu ′−11 since u 2 = u −11 ǫ + e. Thus (ǫ, u) with u = u′ 1We keep the integer l ∈ [n] and continue to use the notation developed so far. Letπ:Σ → S l be the projection and let p ∈ Σ be any closed point so that π(p) ∈ S pd,l .We pick a connected neighborhood V of p ∈ Σ and a local parameterization φof the formal neighborhood of the nodes of X along V . Let A = Γ(OˆV ) and letˆV = Spec A. Let ˆR be the (z 1 , z 2 )-adic completion of k[z 1 , z 2 ] ⊗ k[[s]] A. Withoutloss of generality, we can assume that the image f(V ) is contained in an admissiblechart (W, ψ) of W[n] constructed in the beginning of this subsection. Let(2.13)ϕ : k[w 1 , w 2 ] −→ ˆR
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 25be the morphism induced by f, the parameterization φ and ψ, and the projectionΘ l → Speck[w 1 , w 2 ]. Let m be the ideal of the point ξ ∈ V , where ξ = π(p).Since f ξ is a pre-deformable morphism, the left and the right contact order of f ξat p coincide, which we denote by n. Hence possibly after exchanging z 1 and z 2 ,near p we have f ∗ ξ (w i) = c i z n i for some units c i in k[z 1 , z 2 ]. Hence in the normalform ϕ(w i ) = ∑ a i,j z j 1 + b i,jz j 2 , as in (2.3), both a 1,n and b 2,n are not in m. Hencefor sufficiently small neighborhood V 0 of p ∈ V both a 1,n and b 2,n are units inB = Γ(O V0 ). Therefore we can apply Lemma 2.4 to obtain an ideal I B ⊂ B forsuch B.Definition 2.9. Let the notation be as before. Let V ⊂ Σ be an affine neighborhoodof p ∈ Σ so that f(V ) is contained in an admissible neighborhood (W, ψ) of f(p) ∈W[n]. We say f is pre-deformable near p if for some neighborhood V 0 of p ∈ Vboth a 1,n and b 2,n are units in B = Γ(O V0 ) and further the ideal I B ⊂ B justconstructed is the zero ideal in B. The family f is said to be pre-deformable alongD l if it is pre-deformable at every p ∈ f −1 (D l ). We say f is pre-deformable if itis pre-deformable along all divisors D l .A remark about this definition is in order. First, in defining the notion of predeformableat p we need to choose a parameterization of the formal neighborhoodof the nodal singularity of X along V . Because of the second part of Lemma 2.8,this definition does not depend on this choice. For the same reason, this definitionis also independent of the choice of (W, ψ).We still denote by f a family of non-degenerate morphisms to W[n] over S.We will conclude this section by showing that there is a canonical closed subschemestructure on S pd ⊂ S making it the closed subscheme parameterizing allpre-deformable morphisms over S.Definition 2.10. Let f be a family of non-degenerate morphisms to W[n] over S.We define a functor F pd,l [f, S] (resp. F pd [f, S]) that associates to any scheme Tover C the set of morphisms T → S so that the pull-back family f T :X T → W[n] ispre-deformable along the divisor D l (resp. all divisors D l ).When the choice of f is apparent from the context, we will omit the reference fand abbreviate F pd,l [f, S] to F pd,l [S].Theorem 2.11. Let f :X → W[n] be a family of non-degenerate stable morphisms.Then the functor F pd,l [S] and F pd [S] are represented by closed subschemes of S.Proof. Clearly, should F pd,l [S] be represented by a subscheme in S, then settheoreticallyit must be S pd,l . Hence it suffices to give S pd,l a closed scheme structureso that it represents the functor F pd,l [S]. As before, we let S l be S × A n+1 H n+1lendowed with the reduced scheme structure and Ŝl be the formal completion ofS along S l . We let ˆV be any connected component of Ŝl endowed with the openscheme structure and let V be ˆV endowed with the reduced scheme structure. Ourfirst objective is to show that S pd,l ∩ ˆV admits a canonical scheme structure (asclosed scheme of ˆV ) so that it represents the functor F pd,l [ˆV ]. We continue to usethe notation developed so far. For instance (Y ± , g ± ) and (ι ± , Σ) are the decompositiondata of the restriction of f to V ⊂ S along the divisor D l . We let ˆΣ → ˆV bethe étale morphism so that ˆΣ ׈VV ∼ = Σ. We let π :Σ → V and ˆπ : ˆΣ → ˆV be theprojections.
26 JUN LILet ξ ∈ S pd,l ∩ V be any closed point and let p 1 , · · · , p k be the set of points inπ −1 (ξ). Note that p 1 , · · · , p k are exactly the preimage set f −1ξ(D l ). Hence eachp α is associated with an integer n α that is the contact order of f ξ at p α . For eachα between 1 and k, we pick an affine open neighborhood Ûα of p α ∈ ˆΣ. We letX α = X × S Û α and let f α : X α → W[n] be the pull back of f to X α . We let U α beÛ α ∩ Σ. Then the multi-section ι : Σ → X defines a section ι α : U α → X ×Ûα U α .Without loss of generality, we can assume X α admits a parameterization of theformal neighborhood of its nodes along ι α (U α ). By shrinking U α if necessary, wecan assume that there is an admissible chart (W α , ψ α ) of W[n] near f ξ (p α ) sothat f α (ι α (U α )) is entirely contained in W α . Therefore, following the constructionassociated to Definition 2.9, by shrinking U α if necessary we have an ideal sheafI α ⊂ OÛα so that it defines the subscheme of Ûα that parameterizes all morphismsin the family f α : X α → W[n] that are pre-deformable and have contact order n αalong the nodes ι α (U α ) ⊂ X α .To obtain the ideal sheaf of OˆVthat defines the desired closed subscheme structureof S pd,l ∩ ˆV we need to descend the “intersection” of I α since S pd,l is definedby the requirement that all nodes are pre-deformable. As before, we denote by kthe number of elements in π −1 (ξ) for ξ ∈ V . Since V is connected and Σ → Vis étale and finite, k is independent of the choice of ξ ∈ V . We consider the fiberproduct, denoted ˆΣ ×k , of k-copies of ˆΣ over ˆV . We denote by Σ ×k accordingly thefiber product of k copies of Σ over V . Note that points in Σ ×k are (a 1 , · · · , a k )with not necessarily distinct a 1 , · · · , a k ∈ π −1 (ξ) for some ξ ∈ V . We let Γ ⊂ Σ ×kbe the subset of those points (a 1 , · · · , a k ) ∈ Σ ×k so that all a 1 , · · · , a k are distinct.Since Σ → V is finite and étale, and that each fiber of π:Σ → V has cardinal k, Γis an open subset of Σ ×k . Then since Σ ×k is homeomorphic to ˆΣ ×k , Γ is an opensubset of ˆΣ ×k . We let ˆΓ be Γ ⊂ ˆΣ ×k endowed with the open scheme structure.Then the obvious projection ˆΓ → ˆV is étale and finite. Now let ˆpr α : ˆΓ → ˆΣ be themorphism induced by the α-th projection of ˆΣ ×k , which is étale.Now consider any point η = (p 1 , · · · , p k ) ∈ ˆΓ. To each α between 1 and k welet Ûα ⊂ ˆΣ be the neighborhood of p α ∈ ˆΣ and I α ⊂ OÛα the ideal sheaf justconstructed. We let Û ⊂ ˆΓ be an open neighborhood of η so that ˆpr α (Û) ⊂ Ûα foreach α. We then let Ĩα be the ideal sheaf of OÛ that is the pull back of I α ⊂ OÛαunder ˆpr α |Û :Û → Ûα, and let J ⊂ OÛ be the intersection J = Ĩ1 ∩ · · · ∩ Ĩl. Thisideal sheaf defines a close subscheme of Û, denoted by Z(J ). Now let Φ : ˆΓ → Ŝbe the composite ˆΓ → ˆV → Ŝ. It may happens that Z(J ) and Φ−1 (S pd,l ) aredifferent as subsets of ˆΓ. However, by the proof of the closedness of S pd,l , theconnected component of Z(J ) containing η coincides with the connected componentof Φ −1 (S pd,l ) containing η. Hence by shrinking Û if necessary, we can assume Z(J )is connected. Now let fÛ be the family over Û that is the pull-back of the familyf :X → W[n] via ˆΓ −→ ΦŜ → S. Since for ξ ∈ Û the preimage f−1ξ(D l ) has exactly kpoints, it is direct to check that the subscheme Z(J ) represents the functor F pd,l [Û].Now by repeating this procedure, we can cover ˆΓ by open subsets Ûβ with idealsheaves J β ⊂ OÛβ , for β = 1, · · · , L, such that the closed subscheme Z(J β ) definedby the ideal sheaf J β represents the functor F pd,l [Ûβ]. By the universal propertyof these schemes, whenever Ûα ∩ Ûβ ≠ ∅ the ideal sheaves J α and J β coincideover Ûα ∩ Ûβ. Thus they patch together to form an ideal sheaf J ⊂ OˆΓ.Again,
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 27by the universal property, this ideal sheaf forms a descent data for the faithfullyflat étale morphism ˆΓ → ˆV . Hence it descends to an ideal sheaf I ⊂ OˆVwhichdefines a closed subscheme Z(I). It follows from the previous construction thatZ(I) represents the functor F pd,l [ˆV ].We now show that the functor F pd,l [S] is represented by a closed subscheme.Since each connected component ˆV of Ŝl has a closed scheme structure that representsthe functor ˆV , the functor F pd,l [Ŝl] is represented by a closed subscheme ofŜ l . We denote this subscheme by Ŝpd,l. It remains to show that there is a closedscheme structure on S pd,l so that it represents the functor F pd,l [S]. As before, welet t l be the l-th standard parameter of A n . We let K ⊂ O S be the subsheaf ofelements annihilated by some power of t l . Since S is noetherian, there is an integerm 0 so that t m0lK ⊂ O S is zero. Similarly, we let ˆK be the subsheaf of OŜ consistingof elements annihilated by some power of t l . Then ˆK is canonically isomorphic toK. As an ideal sheaf, ˆK defines a closed subscheme Ŝ fl ⊂ Ŝl. Clearly, Ŝfl is flatover Speck[t l ] near 0. Hence by Lemma 2.2, the restriction of the family f to Ŝflis pre-deformable along D l . Consequently, the ideal sheaf of Ŝpd,l ⊂ Ŝl is containedin ˆK. Using the natural isomorphism ˆK ∼ = K, this ideal sheaf defines an ideal sheafJ of O S . By our construction the support of the subscheme defined by J coincideswith S pd,l . We define the closed scheme structure of S pd,l to be the one definedby J. It is straightforward to check that with this closed scheme structure, S pd,lrepresents the functor F pd,l [S].As to F pd [S], it is clear that it is represented by the intersection of the closedsubschemes ∩ n l=1 S pd,l. This completes the proof of the Theorem.3. Moduli stack of stable morphismsIn this section, we will introduce the notion of stable morphisms to the stackW. We will then show that the moduli of such stable morphisms form an algebraicstack (i.e. a Deligne-Mumford stack).3.1. Stable morphisms. We first define the notion of stable morphisms in oursetting. Let S be any C-scheme. A pre-stable morphism to W(S) consists of atriple (f, X, W) where X is a family 7 of marked connected, pre-stable curves overS, W is a member in W(S) and f is an S-morphism f : X → W that is stable asa family of morphisms to W. When there is no confusion, we will abbreviate thetriple (f, X, W) to f. Let (f ′ , X ′ , W ′ ) be another pre-stable morphism over S. Anisomorphism from f to f ′ consists of an S-isomorphism r 1 : X → X ′ (as pointedcurves) and an arrow r 2 : W → W ′ so that r 2 ◦ f = f ′ ◦ r 1 . When f ≡ f ′ , thensuch isomorphisms are called the automorphisms of f. To define the group schemeof the automorphisms of f, we follow the usual procedure. Let Aut W (f) be thefunctor that associates any S-scheme T the set of all automorphisms of f × S T.Aut W (f) is represented by a group scheme over S, denoted Aut W (f) and called theautomorphism group of f.Let f be a map f :X → W[n] with X proper and reduced. We fix an ample linebundle H on W. Using W[n] → W, H pulls back to a line bundle over W[n], whichwe denote by H if there is no confusion. We define the degree of f to be the degreeof f ∗ H over X. We fix a triple of integers Γ = (b, g, k) where k will be the numberof marked points of the domain curve, g will be the arithmetic genus of the domain7 All families are flat families unless otherwise is mentioned.
28 JUN LIcurve and d will be the degree of the map. We say f : X → W[n] is a pre-stablemap of topological type Γ if f : X → W[n] is an ordinary stable morphism whosedomain is a connected, k-pointed arithmetic genus g nodal curve and f has degreeb. We fix such an H and Γ once and for all in this section.Definition 3.1. Let S be any C-scheme and f : X → W be a family of pre-stablemorphisms to W(S). Suppose W is an effective degeneration, say given by a C-morphism r : S → C[n]. Then we say f is a family of pre-deformable morphismsto W(S) if the associated morphism ˜f : X → W[n] is a family of pre-deformablemorphisms; We say f is a family of stable morphisms to W(S) if in addition to fbeing a family of pre-deformable morphisms we have that for every point ξ ∈ S theautomorphism group Aut W (f ξ ) of f ξ :X ξ → W[n] is finite. We say f is a family oftopological type Γ if for every ξ ∈ S the restriction of f to the fiber of X over ξ is oftopological type Γ. In general, given a family of pre-stable morphisms f to W(S),we say that f is a family of pre-deformable (resp. stable, resp. of topological typeΓ) morphisms to W(S) if there is an open covering S α of S such that to each α thefamily W × S S α is an effective family over S α and the restriction of f to X × S S αis a family of pre-deformable (resp. stable, resp. of topological type Γ) morphismsto W(S α ).Clearly, the definition of stability does not depend on the choice of the localrepresentatives of the family W. The goal of this section is to construct the modulistack of all marked stable morphisms to W of given topological type Γ. In thesequel of this paper, we will use this moduli stack to study the degeneration ofGW-invariants.We begin with the definition of the groupoid of stable morphisms to W. We fixthe relative ample line bundle H on W and the triple Γ. We define M(W, Γ) to bethe category whose objects are all families of stable morphisms to W of topologicaltype Γ. We define p:M(W, Γ) → (Sch/C) to be the morphism that sends familiesover S to S. Let ξ = {f : X → W} ∈ M(W, Γ)(S), ξ ′ = {f ′ : X ′ → W ′ } ∈M(W, Γ)(S ′ ) and let h : S ′ → S be an arrow (a morphism). An arrow r : ξ ′ → ξwith p(r) = h consists of an arrow W ′ → W covering h (i.e. a W S ′-isomorphismW × S ′ S ′ ∼ = W ′ ) and an S ′ -isomorphism X × S S ′ ∼ = X ′ (as marked curves) so thatX ′ f ′⏐↓ ∼ =−−−−→ W ′⏐↓ ∼ =X × S S ′ f× SS ′−−−−→ W × S S ′is commutative. In such case, we call ξ ′ the pull-back of ξ via h:S ′ → S. Obviously,this makes (M(W, Γ), p) a groupoid.Before proceeding, we need to study the structure of stable morphisms to W. Letf :X → W[n] be a pre-deformable morphism with B ⊂ X the divisor of the markedpoints. We assume that f factor through W[n] 0⊂ W[n]. By the decompositionLemma, f splits X, according to the nodal divisors of W[n] 0, into componentsX 1 , · · · , X n+2 (some of them may be empty), marked points ι + i : Σ i → X i+1 andι − i :Σ i → X i , where Σ i is a finite set, so that f(X i ) ⊂ ∆ i ⊂ W[n] 0and that X is theresult of successively gluing X i and X i+1 along ι + i : Σ i → X i+1 and ι − i : Σ i → X i .Namely,X = X 1 ⊔ · · · ⊔ X n+2 and f = f 1 ⊔ · · · ⊔ f n+2 .
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 29Now let A be any purely one-dimensional closed subset of X. We define the weightof f along A to beω(f, A) = deg(A, f ∗ H) + 2g(A) − 2 + #(B ∩ A) + #τ(A),where τ(A) is the set of smooth points of A that are nodes of X. (We agreeω(f, A) = 0 if A = ∅.) Note that if A 1 and A 2 are two such purely one-dimensionalclosed subsets with no common irreducible components, thenω(f, A 1 ∪ A 2 ) = ω(f, A 1 ) + ω(f, A 2 ).Lemma 3.2. The pre-deformable morphism f : X → W[n] 0is a stable morphismin M(W, Γ)(k) 8 if and only if ω(f, X i ) > 0 for all i = 2, · · · , n + 1.Proof. Let i be any integer between 2 and n + 1. We letΨ i :G m × ∆ i −→ ∆ ibe the group action given in Corollary 1.3. For any closed purely one-dimensionalsubset A of X i we define the relative automorphism group Aut W (f, A) rel to be theset of pairs (a, b) where a : A → A is an automorphism leaving B ∩ A and τ(A)fixed and b is an element in G m such that Ψ i (b, f i (w)) = f i (a(w)) for all w ∈ A.Let σ ∈ Aut W (f) be any automorphism. Then σ induces a permutation of Σ i foreach i. As a result, it defines a homomorphismAut W (f) −→ S Σ1 × · · · × S Σn+1 ,where S Σi is the permutation group of Σ i . Clearly, its kernel isAut W (f, X 1 ) rel × · · · × Aut W (f, X n+2 ) rel .Since f is an ordinary stable morphism, Aut W (f, X 1 ) rel and Aut W (f, X n+2 ) rel arefinite. Hence Aut W (f) is finite if and only if Aut W (f, X i ) rel are finite for i =2, · · · , n + 1.Now assume A is a connected component of X i so that f(A) is not a single pointset and that Aut W (f, A) rel is infinite. Then the following must hold: f(A) mustbe contained in a fiber of ∆ i → D; A must be a smooth rational curve; A containsno marked points and τ(A) consists of exactly two nodal points of X, one lies inι + i−1 (Σ i−1) and the other lies in ι − i (Σ i). Further if we let P 1 ⊂ ∆ i be the imageof A then f| A : A → P 1 is a branched covering ramified at τ(A). We call suchconnected components trivial components. Clearly, if A is not a trivial component,then Aut W (f, A) rel is finite. On the other hand, if A is a trivial component thenAut W (f, A) rel → G m is surjective. Hence Aut W (f, X i ) rel is finite if and only if notall connected components of X i are trivial.To complete the proof of the Lemma, it suffices to show that ω(f, X i ) = 0 ifand only if all connected components of X i are trivial. Let A be any connectedcomponent of X i . In case deg(A, f ∗ H) > 0, then since H is very ample we canassume without loss of generality that deg(A, f ∗ H) > 3, and hence ω(f, A) > 0. Incase deg(A, f ∗ H) = 0, then f(A) must be contained in a fiber of ∆ i → D. Sincedeg(X, f ∗ H) > 0 and X is connected, f(A) can not be a single point. Hence f(A)is a fiber of ∆ i → D. Because f is pre-deformable, A contains at least two nodalpoints of X, one lies in f −1 (D i−1 ) and the other lies in f −1 (D i ). Hence ω(f, A) ≥ 0.Moreover, the equality holds if and only if g(A) = 0, A contains no marked pointsand contains exactly two nodal points of X. Again since f is pre-deformable, it is8 For simplicity we agree M(W, Γ)(k) = M(W, Γ)(k).
30 JUN LIeasy to see that this is possible only if A is a trivial component. This shows thatany connected component A of X i has ω(f, A) ≥ 0 and the equality holds if andonly if A is a trivial component.Now we assume f is stable. Then to each i between 2 and n + 1 at least oneconnected component of X i is non-trivial. Then combined with the fact that theweight of any connected components of X i are non-negative, we have ω(f, X i ) > 0.Conversely, if for some i between 2 and n + 1 the weight ω(f, X i ) = 0, then allconnected components of X i are trivial. Since to each component A of X i theautomorphism group Aut W (f, A) rel surjects onto G m , Aut W (f, X i ) rel will surjectsonto G m as well. Thus Aut W (f, X) rel , and hence Aut W (f) is infinite. This provesthe Lemma.For convenience we define the norm of the triple Γ = (b, g, k) to be |Γ| = b +2g − 2 + k.Lemma 3.3. Let f : X → W[n] 0be a stable morphism in M(W, Γ)(k) and letX 1 , · · · , X n+2 be the splitting components of X. Then|Γ| = ω(f, X 1 ) + · · · + ω(f, X n+2 ).We need a more general form of this Lemma. Let S = Spec R be a C-schemewhere R is a discrete valuation domain. Let f : X → W be a family of stablemorphisms in M(W, Γ)(S) and ι:S → C[n] be the morphism associated to W. Letη 0 ∈ S be the closed point and η ∈ S be the generic point. Let ∆ 0 1 , · · · , ∆0 n 0+2be the (n 0 + 2)-irreducible components of W[n] × C[n] ι(η 0 ) and ∆ 1 , · · · , ∆ n1+2 bethe (n 1 + 2)-irreducible components of W[n] × C[n] ι(η). We say ∆ 0 i ≼ ∆ j if ∆ 0 i iscontained in the closure of ∆ j .Lemma 3.4. Let the notation be as before and let X 0 i (resp. X j ) be the splittingcomponents of X × X η 0 (resp. X × S η). Then for each j ∈ [1, n 1 + 2],ω(f η , X j ) = ∑∆ 0 i ≼∆j ω(f η0 , X 0 i ).Proof. The proof of these two Lemmas are standard and will be omitted.We next introduce the standard choice of ample line bundle on the domain andthe target of a stable morphism in M(W, Γ). We begin with line bundles on W[n].As before, we fix the relative ample line bundle H on W/C and its pull back onW[n], still denoted by H. For l ∈ [n], the divisor W[n] × C[n] C[n] [l ∨ ] ⊂ W[n] isthe union of two smooth irreducible components, one left and one right accordingto our convention of ordering. We denote the right component by Ξ l . (Note thatΞ l × C[n] 0 contains the last irreducible component of W[n] 0.) Then associating toany sequence of integers [a] = (a 1 , · · · , a n ) we define a line bundleH [a] = H(a 1 Ξ 1 + · · · + a n+1 Ξ n+1 )on W[n]. Since W[n] × C (C − 0) → W × C (C − 0) is G[n]-equivariant and sincerestricting to W[n] × C (C − 0) the line bundle H [a] is the pull-back of H fromW × C (C − 0), the trivial G[n]-linearization of H over W pull back to a uniqueG[n]-linearization of H [a] over W[n]× C (C−0). Further, this linearization extends toa G[n]-linearization of H [a] over W[n]. We call this the canonical G[n]-linearizationof H [a] .
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 31Let ∆ → D be the ruled variety that is one of the middle components of W[n] 0,where n > 1. We denote by H ∆ the pull back of the ample line bundle H via∆ → D → W. Without lose of generality, we can assume H on W is sufficientlyample so that for any integer 0 ≤ a < b ≤ |Γ| the divisor H ∆ (aD + +bD − ) is ampleon ∆, where D ± are the two distinguished divisors of ∆. We now choose a standardchoice of ample line bundle on the target of f :X → W[n] 0. Let X 1 , · · · , X n+2 bethe splitting components of X. We definea i (f) =i∑ω(f, X j ),and define the standard line bundle on W[n] 0(associated to f) to bej=1H [f] = H(a 1 (f)Ξ 1 + · · · + a n+1 (f)Ξ n+1 ).Because {a i (f)} is a strictly increasing sequence, H [f] is ample on W[n] 0.Let S be any scheme and f :X → W be a family in M(W, Γ)(S). We now extendthis construction to the family W/S. Let ξ ∈ S be any closed point and let U be anopen neighborhood of ξ ∈ S so that W × S U is isomorphic to the pull-back ρ ∗ W[n]for a ρ:U → C[n]. Without lose of generality, we can assume ρ(ξ) = 0 ∈ C[n]. LetΞ 1 , · · · , Ξ n be the divisors of W[n] mentioned before. Let f ξ : X ξ → W[n] 0be therestriction of f to the fiber over ξ. We then form the line bundleH [fξ ] = H(a 1 (f ξ )Ξ 1 + · · · + a n+1 (f ξ )Ξ n+1 )on W[n]. Because of Lemma 3.4, after shrinking U if necessary, for any η ∈ U therestriction of H [fξ ] to W η = W[n] × C[n] ρ(η) is the standard choice of ample linebundle associated to f η . We define the standard choice of ample line bundle onW × S U to be ρ ∗ H [fξ ] and denote it by H [f,U] . Repeating this procedure, we canfind an open covering U α of S so that each W × S U α is isomorphic to ρ ∗ αW[n α ] forsome ρ α :U α → C[n α ] and over W × S U α we have the standard choice of ample linebundle H [f,Uα]. By Lemma 1.8 we can assume that whenever U αβ = U α ∩ U β ≠ ∅then there is an arrow ϕ αβ making the diagramρ ∗ αW[n α ] × Uα U αβ⏐↓ϕ βα−−−−→ ρ∗β W[n β ] × Uβ U αβ⏐↓X × S U αβX × S U αβis commutative. Using the G[n]-linearization, such an arrow defines a canonicalisomorphismψ βα : ϕ ∗ βαH [f,Uβ ] ∼ = H [f,Uα].Since ψ βα is canonical, the collection {H [f,Uα]} forms a line bundle on W. In thefollowing, we will call the collection H [f,Uα] the standard choice of relative ampleline bundle on W and denote it by H [f,W] .The standard choice of the ample line bundle on the domain of f isH [f,X] = f ∗ H [f,W] (5B) ⊗ ω ⊗5X/S ,where ω X/S is the relative dualizing sheaf and B ⊂ X is the divisor of the markedpoints.
32 JUN LI3.2. Basic Properties of M(W, Γ). In this subsection, among other things, wewill show that M(W, Γ) is a separated and proper algebraic stack over C.Proposition 3.5. The groupoid M(W, Γ) over C is a stack.Proof. Following the definition of stacks (cf. [Vis]), it suffices to show the following:(i) For any scheme S over C and two stable morphisms ξ 1 and ξ 2 ∈ M(W, Γ)(S),the functorIsom S (ξ 1 , ξ 2 ) : (Sch/S) −→ (Sets)which associates to any morphism ϕ:T → S the set of isomorphisms in M(W, Γ)(T)between ϕ ∗ ξ 1 and ϕ ∗ ξ 2 is a sheaf in the étale topology;(ii) Let {S i → S} be a covering of S (over C) in the étale topology. Let ξ i ∈M(W, Γ)(S i ) and let ϕ ij :ξ i | Si× SS j→ ξ j | Si× SS jbe isomorphisms in M(W, Γ)(S i × SS j ) satisfying the cocycle condition. Then there is a ξ ∈ M(W, Γ)(S) with isomorphismψ i :ξ| Si → ξ i so thatϕ ij = (ψ i | Si× SS j) ◦ (ψ j | Si× SS j) −1 .We first prove (i). Let ξ i , i = 1 and 2, be represented by f i : X i → W i . To eachmorphism ρ : U → S we define Isom S (ξ 1 , ξ 2 )(U) to be the set of all arrows fromρ ∗ ξ 1 to ρ ∗ ξ 2 . This defines a functorIsom S (ξ 1 , ξ 2 ) : (étale opens in S) −→ (Sets).Clearly it is a pre-sheaf. To show that this is a sheaf it suffices to show that ifU = ∪ j∈J U j is an étale open covering of U, theneIsom S (ξ 1 , ξ 2 )(U) −→ ∏ Isom S (ξ 1 , ξ 2 )(U j ) p1,p2−→∏Isom S (ξ 1 , ξ 2 )(U i × S U j )j∈Ji,j∈Jis an equalizer diagram. This means that if ¯r = {r j |j ∈ J} is an element in themiddle term above, then(3.1)r i | Ui× SU j≡ r j | Ui× SU jfor all i, j ∈ J if and only if there is an r ∈ Isom S (ξ 1 , ξ 2 )(U) so that its restrictionto U i is r i . By definition, each r i consists of two isomorphisms r i,1 and r i,2 and acommutative diagramf 1| UiX 1 | Ui −−−−→ W1 | Ui⏐ ⏐r i,1⏐↓r i,2⏐↓f 2| UiX 2 | Ui −−−−→ W2 | Ui .The condition (3.1) makes {r i,1 |i ∈ J} a descent data for an isomorphism betweenX 1 and X 2 and makes {r i,2 |i ∈ J} a descent data for an isomorphism between W 1and W 2 . Since ∐ U i → U is an étale covering, by Descent Lemma there is anisomorphism r 1 :X 1 → X 2 and r 2 :W 1 → W 2 restricting to r i,1 and r i,2 respectively.Hence r = (r 1 , r 2 ) ∈ Isom S (ξ 1 , ξ 2 )(U) is the element so that e(r) = ¯r. This proves(i).The proof of (ii) is similar. It amounts to construct a family X over S, a family Win W(S) and an S-morphism f :X → W, which form an element ξ ∈ M(W, Γ)(S),so that ξ i = ξ| Si and the identity map is ϕ ij . This is again a standard applicationof Descent Lemma and will be omitted.
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 33Lemma 3.6. Let S be any C-scheme and let ξ 1 , ξ 2 ∈ M(W, Γ)(S) be any twofamilies over S. Then the functor Isom S (ξ 1 , ξ 2 ) is represented by a scheme quasiprojectiveover S.Proof. We let ξ i be represented by f i : X i → W i . Let H [fi,W i] and H [fi,X i] be thestandard choices of relative ample line bundles on W i and on X i . It follows from theuniqueness of these line bundles that whenever T → S is a morphism and (r 1 , r 2 )is a pair of isomorphisms shown below that makes the diagramX 1 × S T⏐f ⏐↓1r−−−−→1X2 × S T⏐f ⏐↓2commutative thenW 1 × S Tr 2−−−−→ W2 × S T.r ∗ 1H [f2,X 2] ∼ = H [f1,X 1] and r ∗ 2H [f2,W 2] ∼ = H [f1,W 1].Hence Isom S (ξ 1 , ξ 2 ) is isomorphic to the functor associating to T → S the set ofpairs of isomorphisms of polarized projective schemes over T satisfying the obviouscompatibility condition. It is a routine application of Grothendieck’s results on therepresentability of the Hilbert scheme and related functor [Gro], see also [DM, p84],that the functor Isom S (ξ 1 , ξ 2 ) is represented by a scheme quasi-projective over S.This completes the proof of the Lemma.In the following, we will denote the scheme representing the functor Isom S (ξ 1 , ξ 2 )by Isom S (ξ 1 , ξ 2 ).Lemma 3.7. The scheme Isom S (ξ 1 , ξ 2 ) is quasi-finite and unramified over S.Proof. To prove that Isom S (ξ 1 , ξ 2 ) is unramified over S, we only need to check thecase where S is itself a closed point. Namely S = Speck, in which case Isom S (ξ 1 , ξ 2 )is either empty or is isomorphic to Aut W (ξ 1 ). Since chark = 0, it is well-knownthat Aut W (ξ 1 ) is unramified over k if there are no vector fields v 1 of X 1 and vectorfields v 2 of W 1 (whose push-forward to W is trivial) so that they are compatiblevia f 1 : X 1 → W 1 . Such vector field does not exist because ξ 1 is stable. HenceIsom S (ξ 1 , ξ 2 ) is unramified over S. Further, since Isom S (ξ 1 , ξ 2 ) is of finite typeover S, it is quasi-finite over S. This proves the Lemma.Lemma 3.8. Let S = Spec R be a C-scheme where R is a discrete valuation domainwith residue field k and quotient field K. We denote by η 0 and η the closedand the generic point of S. Let ξ 1 , ξ 2 ∈ M(W, Γ)(S) be two families over S so thatthere is an arrow r K from ξ 1 × S η to ξ 2 × S η. Then possibly after a base changer K extends to an arrow r R from ξ 1 to ξ 2 .Proof. Without lose of generality we can assume that ξ i is represented by f i :X i →W[n i ] with ι i :S → C[n i ] the associated morphism so that ι i (η 0 ) = 0 ∈ C[n i ]. Wewill prove the case where S → C does not factor through 0 ∈ C. The other case issimilar and will be left to readers.We let η and η 0 be the generic and the closed point of S, as stated in the Lemma.Let X K = X 1 × S η, which is isomorphic to X 2 × S η by assumption. Let ¯f K :X K → Wbe the composite X 1 × S η → W[n 1 ] → W. Since S → C does not factor through0 ∈ C, ¯fK is an ordinary stable morphism. By the property of stable morphisms,possibly after a base change ˜S → S the morphism ¯f K × S ˜S extends to a family of
34 JUN LIstable morphisms ¯f : X → W over ˜S. For simplicity by replacing S with ˜S we canassume ˜S = S. We consider the induced morphismp i ◦ f i : X i −→ W,where p i :W[n i ] → W is the canonical projection. By our assumption, the restrictionof p i ◦ f i to X i × S η is isomorphic to ¯f K . Therefore by the property of stablemorphisms ¯f : X → W is the stabilization of p i ◦ f i : X i → W for i = 1, 2. Inparticular, there is a unique contraction morphism q i :X i → X so thatp i ◦ f i = ¯f ◦ q i : X i −→ W.Now let X i = X i × S η 0 and let A ⊂ X 1 be any irreducible component contractedunder q 1 . Following the same argument in the proof of Lemma 3.2, one can showthat deg(f ∗ 1 H, A) = 0, f 1(A) is contained in ∆ l ⊂ W[n 1 ] 0 for some 2 ≤ l ≤ n 1 andf 1 (A) is contained in a fiber of ∆ l → D. There are two cases we need to distinguish.One is when f 1 (A) is a point. Then that A is contracted by q 1 implies A containsat least two nodal points of X 1 . On the other hand, when f 1 (A) is not a point,then f 1 (A) is a fiber of ∆ → D and hence because f 1 × S η 0 is stable and hencepre-deformable, the component A contains at least two nodal points of X 1 as well.Because this is true for every irreducible components in X 1 contracted under q 1 , bythe property of stable contraction, an irreducible component A ′ of X 1 is contractedunder q 1 if and only if it is isomorphic to P 1 , it contains exactly two nodal pointsbut no marked points and deg(f ∗ 1 H, A′ ) = 0. Then since f 1 × S η 0 is stable, suchA ′ must be a trivial component of X 1 . Conversely, any trivial component of X 1obviously will be contracted under q 1 . This shows that the morphism q i : X i → Xcontracts exactly all trivial components of X i . Consequently, if we let E i ⊂ X i bethe union of all trivial components in X i , then the contractions q 1 and q 2 define anisomorphism(3.2)ϕ : X 1 − E 1∼ =−−−−→ X 2 − E 2extending the isomorphism X 1 × S η ∼ = X 2 × S η.To proceed, we assume n 1 ≥ n 2 without lose of generality. Note that W[n 1 ] is aresolution of W[n 2 ] × A n 2 +1 A n1+1 9 , which induces a morphism q:W[n 1 ] → W[n 2 ].We considerq ◦ f 1 : X 1 −→ W[n 2 ].Clearly no irreducible components of X 1 are mapped entirely to the nodal divisorof W[n 2 ] 0 unless n 1 > n 2 and in which case some non-trivial components of X 1 willbe mapped to and only to the n 2 -th nodal divisor of W[n 2 ] 0 . Let ˜ι 1 :S → C[n 2 ] bethe morphism induced by q ◦ f 1 . Because S → C does not factor through 0 ∈ C,there are isomorphisms r 1,η and r 2,η fitting into the commutative diagram(3.3)q◦f 1X 1 × S η −−−−→ W[n2 ] × C[n2] ˜ι 1 (η)⏐⏐⏐↓↓ r1,η r 2,ηX 2 × S ηf 2−−−−→ W[n2 ] × C[n2] ι 2 (η)By Lemma 1.8 and Corollary 1.7, r 2,η is induced by the G[n 2 ]-action on W[n 2 ] viaa morphism ρ:SpecK → G[n 2 ]. Let v be the uniformizing parameter of R and let9 A n 1+1 → A n 2+1 is defined by (t 1 , · · · , t n1 +1) ↦→ (t 1 , · · · , t n2 , Π n 1+1j=n 2 +1 t j).
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 35ρ be defined byρ ∗ (σ 1 ) = c 1 v a1 , · · · , ρ ∗ (σ n2 ) = c n2 v an 2 ,where all c i are units in R and a i are integers. Here we follow the conventionG[n 2 ] = (G m ) ×n2and Γ(G[n 2 ]) = k[σ 1 , σ −11 , · · · , σ n 2, σ −1n 2].Now let A be an irreducible component of X 1 whose image under f 1 is containedin the first irreducible component of W[n 1 ] 0 . Then p 1 ◦ f 1 (A) is not containedin D ⊂ W, A is a non-trivial component and f 2 ◦ ϕ(A) is also contained in thefirst component of W[n 2 ] 0 . Now let A be a non-trivial irreducible component ofX 1 whose image under f 1 is contained in the second irreducible component ofW[n 1 ] 0 . (Here we assume n 1 ≥ 1 since otherwise there is nothing to prove.) Welet h:(˜η 0 , T) → X 1 − E 1 , where E 1 is defined in (3.2), be a curve so that h(˜η 0 ) is aclosed point in A in general position and the composite T h −→ X 1 → S is a branchedcovering ramified at ˜η 0 . We pick an affine open V ⊂ W so that the image of h(˜η 0 )under p 1 ◦ f 1 is contained in V ∩ D. Let ˆT be the formal completion of T along ˜η 0 ,let ˆV be the formal completion of V along D ∩V and let ĥ: ˆT → X 1 be the inducedmorphism. Then the morphismq ◦ f 1 ◦ ĥ : ˆT → W[n 2 ]factor through W[n 2 ] × W ˆV → W[n2 ], which we denote byĥ 1 : ˆT −→ W[n 2 ] × W ˆV ∼ = (V ∩ D) × ˆΓ[n2 ].Here ˆΓ[n 2 ] is the scheme defined before (1.11). We letĥ 2 : ˆT −→ W[n 2 ] × W ˆV ∼ = (V ∩ D) × ˆΓ[n2 ]be the morphism induced by f 2 ◦ ϕ ◦ h:T → W[n 2 ]. Because of (3.3), if we let pr 2be the second projection of (V ∩ D) × ˆΓ[n 2 ] and letbe the group action morphism, thenΦ Γ :G[n 2 ] × ˆΓ[n 2 ] → ˆΓ[n 2 ](pr 2 ◦ ĥ1) ρ = pr 2 ◦ ĥ2 : ˆT −→ ˆΓ[n 2 ].To utilize this identity, we use the open subset U 1 of Γ[n 2 ] constructed in Lemma1.2. Since pr 2 ◦ ĥ1(˜η 0 ) is contained in the second irreducible component of ˆΓ[n 2 ], ifwe let (u 1 i ) be the coordinate chart of U 1 introduced in Lemma 1.2, then(pr 2 ◦ ĥ1) ∗ (u 1 j ) = α j ∈ O ˆT,j = 1, · · · , n 2 .Because pr 2 ◦ ĥ1(˜η 0 ) is in the smooth locus of Γ[n 2 ] 0 , all α j are units in O ˆTexceptα 1 , which is in the maximal ideal m ˆTof O ˆT.On the other hand, because T → S isflat, there is a 0 ≠ c ∈ m ˆTso that R → O ˆTis given by v ↦→ c. Therefore using theformula in Lemma 1.2,((pr2 ◦ ĥ1) ρ) ∗(u1i ) = (α 1 , c 1 c a1 α 2 , w 3 , · · · , w n2+2)(3.4)for some w 3 , · · · , w n2+2 in the quotient field of O ˆT.Hence if we let π : Γ(n 2 ) →A n2+2 be the projection, then ((π ◦ (pr 2 ◦ ĥ1) ρ ) ∗ mapst 1 ↦→ c 1 c a1 α 1 α 2 , t 2 ↦→ w 3 , · · · , t n2+1 ↦→ w n2+2.Because this composition specializes to 0 A n 2 +1 ∈ A n2+1 by assumption, all w i areregular and are in the maximal ideal m ˆT.Furthermore, we know pr 2 ◦ ĥ2 does not
36 JUN LIspecialize to the first nodal point of Γ[n 2 ] 0 , therefore c 1 c a1 α 2 is not in m ˆT.Sinceα 2 is a unit in O ˆT,c 1 is a unit in R and c is in the maximal ideal m ˆT⊂ O ˆT,thisimplies a 1 ≤ 0. Similarly, we can pick a non-trivial irreducible component A of X 2so that its image under f 2 is contained in the second component of W[n 2 ] 0 . Thenbecause f 1 ◦ ϕ −1 (A) is not contained in the first nodal divisor of W[n 2 ] 0 , a parallelargument shows that a 1 ≥ 0. Therefore, a 1 = 0.Repeating this argument, using the fact that no irreducible components of X 1are mapped entirely to the first n 2 nodal divisors of W[n 2 ] 0 under q ◦ f 1 , we canshow that all a 1 , · · · , a n2 are zero. Therefore, ρ : Spec K → G[n 2 ] extends toρ R :S → G[n 2 ].Now we prove that the arrow r K extends to an arrow r R from ξ 1 to ξ 2 . Let˜f 1 : ˜X 1 → W[n 2 ] be the stable contraction of q ◦ f 1 :X 1 → W[n 2 ] as a morphism toW[n 2 ]. Then ˜X 1 × S η is X 1 × S η, which is isomorphic to X 2 × S η via the arrow r K .We consider the morphism( ˜f 1 ) ρR : ˜X1 −→ W[n 2 ].By assumption, its restriction to ˜X 1 × S η is identical to the restriction of f 2 toX 2 × S η via ˜X 1 × S η ∼ = X 2 × S η. On the other hand, both ( ˜f 1 ) ρR and f 2 are stableextensions of a stable morphism from X 1 × S η ∼ = X 2 × S η to W[n 2 ]. Hence bythe uniqueness of the extensions of ordinary stable morphisms, the isomorphismX 1 × S η ∼ = X 2 × S η extends to an isomorphism ˜X 1∼ = X2 and the morphism ( ˜f 1 ) ρR isidentical to f 2 . This shows that ( ˜f 1 ) ρR maps no irreducible components of ˜X 1 × S η 0to the nodal divisors of W[n 2 ] 0 . We claim that n 1 must be equal to n 2 . Otherwise,all irreducible components of X 1 that are mapped to ∆ n2+1 ⊂ W[n 1 ] 0 (under f 1 )are trivial components, contradicting to Lemma 3.2. Once we have n 1 = n 2 , then˜f 1 = f and hence ˜X 1 = X 1 and f 2 = f ρR1 follows immediately. This defines anarrow r R that is an extension of r K . This proves the Lemma.Lemma 3.9. Let S = Spec R be a C-scheme where R is a discrete valuation domainas before and let η be the generic point of S. Let ξ K ∈ M(W, Γ)(η) be afamily of stable morphisms over Spec K. Then possibly after a base change ˜S → S,ξ K × S ˜S extends to a family ξ ∈ M(W, Γ)( ˜S).Proof. Let ξ K be represented by f K : X K → W[n]. We will prove the case whereSpec K → C does not factor though 0 ∈ C and leave the other case to the readers.Since Spec K → C does not factor through 0 ∈ C, we can assume without lossof generality that f K is represented by f K : X K → W. Then f K is an ordinarystable morphism over Spec K. By the property of stable morphism, possibly aftera base change ˜S → S, the morphism f K × S ˜S extends to an ˜S-family of ordinarystable morphism f 1 :X 1 → W. Again by replacing S with ˜S we can assume S = ˜S.Let η 0 and η be the closed and the generic points of S. In case S → C sends η 0to C − 0, then f 1 is already a family of stable morphisms in M(W, Γ)(S). Nowassume η 0 is mapped to 0 ∈ C. Let ι : S → C[n] be any C-morphism. Thensince W[n] × C[n] η is canonically isomorphic to W × C η, f K : X K → W induces amorphism ˜f K :X K → W[n]. We say f K admits a partial extension to W[n] if aftera base change ˜S → S the morphism ˜f K × S ˜S extends to a family of quasi-stablemorphisms over ˜S(3.5)f n : X n −→ W[n]
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 37so that the associated ι : ˜S → C[n] maps the closed point of ˜S to 0. Here we sayf n is quasi-stable if Aut W (f n,η0 ) is finite, where the automorphism group is the setof pairs (a, b) such that a is an automorphism of the domain of f n,η0 and b ∈ G[n]such that f n ◦ a = (f n,η0 ) b . (As before, we let f n,η0 be the restriction of f n to thefiber X n,η0 = X n × S η 0 .) It is clear that the extension f 1 is a quasi-stable extensionto W = W[1]. On the other hand, by the proof of Lemma 3.2 any quasi-stableextension f n satisfies n ≤ |δ|.Now we let n be the largest possible integer so that there is a quasi-stable extensionf n . We show that f n defines an extension of f K . Let f n be a quasi-stableextension as in (3.5) via ι:S → C[n]. Iff n,η0 : X n,η0 −→ W[n] 0is non-degenerate, then Lemma 2.2 implies that f n is pre-deformable. Hence f n ∈M(W, Γ)(S) as desired. Now assume f n,η0 is degenerate. Let A be an irreduciblecomponent of X n,η0 so that f n,η0 (A) is contained, say, in the l-th nodal divisor ofW[n] 0. We distinguish the case where l ≤ n from the case where l = n + 1. Wefirst consider the case l ≤ n. We let v be a uniformizing parameter of R and letρ:Spec K → G m be defined by ρ ∗ (σ) = v α for an integer α. Let λ l :G m∼ = G[n]l →G[n] be the l-th one-parameter subgroup of G[n]. We consider(3.6)(f n,η ) λ l◦ρ : X n,η −→ W[n].As in the proof of Lemma 3.8, we can pick a curve h : (˜η 0 , T) → X n coveringh : (˜η 0 , T) → (0, C) so that h is flat, h(˜η 0 ) ∈ A and is in general position of A.Further we can find an integer α so that(f n ◦ h) λ l◦ρ◦h : T −→ W[n]specializes to a point in the (l + 1)-th irreducible component of W[n] 0and is awayfrom the nodal divisors of W[n] 0. A simple analysis using the covering U l of Γ[n]shows that if we let˜f n : ˜Xn → W[n]be the extension of (3.6) to a family of stable morphisms, then ˜f n is still quasistable.Further, some irreducible component of ˜Xn,η0 is mapped entirely to the(l + 1)-th nodal divisor of W[n] 0. This shows that we can assume without loss ofgenerality that f n maps an irreducible component A of X n,η0 to D n+1 ⊂ W[n] 0.We now show that there is a quasi-stable extension of f K to W[n + 1]. Let f nand A ⊂ X n,η0 be as before so that f n (A) ⊂ D n . We let C[n] ⊂ C[n + 1] andW[n] → W[n + 1] be the standard embedding associated to [n] ⊂ [n + 1]. Namely,they are induced by the embedding A n+1 → A n+2 that keep the last coordinate1. Let ˜f n : X n → W[n + 1] be the composite of f n with W[n] → W[n + 1]. Thenthe same technique as before shows that we can find an integer α so that if we letρ : Spec K → G m be defined by ρ ∗ (σ) = v α , then the extension (possibly after abase change ˜S → S) ofto a family of ordinary stable morphisms( ˜f n ) λn◦ρ : X n,η −→ W[n + 1]f n+1 : X n+1 −→ W[n + 1]is quasi-stable. This contradicts to the maximal assumption of n. Hence f n mustalready be a family of non-degenerate morphism. Since ˜S → C is flat, it must be
38 JUN LIpre-deformable and thus in M(W, Γ)( ˜S), extending ξ K × S ˜S ∈ M(W, Γ)(η). Thisproves the Lemma.Theorem 3.10. The moduli stack M(W, Γ) of stable morphisms to W of topologicaltype Γ is separated and proper over C. Furthermore, it is a Deligne-Mumfordstack.Proof. The fact that the moduli stack M(W, Γ) is separate over C follows fromLemma 3.8 and that it is proper over C follows from Lemma 3.9. It remains toshow that it is algebraic. Namely, M(W, Γ) admits an étale cover by a scheme offinite type. We now show that it admits an étale covering by a quasi-projectivescheme.Let M(W[n], Γ) be the moduli stack of stable morphisms from pointed curves toW[n] of type Γ, and let M(W[n], Γ) st be the substack of M(W[n], Γ) consistingof all pre-deformable morphisms that are stable in the sense of Definition 3.1.Clearly, M(W[n], Γ) st is a locally closed substack of M(W[n], Γ). Since membersof M(W[n], Γ) st are stable morphisms to W, there is a natural morphismM(W[n], Γ) st → M(W, Γ). Because of Lemma 3.3, there is an integer ¯n so that(3.7)¯n⋃n=1M(W[n], Γ) st −→ M(W, Γ)is surjective. Hence M(W, Γ) is surjected onto by a quasi-projective scheme sinceeach M(W[n], Γ) st does.We now show that we can find a quasi-projective scheme Y and a surjectiveétale morphism Y → M(W, Γ). Let p be any closed point in M(W, Γ). Since (3.7)is surjective, p is contained in the image of M(W[n], Γ) st for some n ≤ ¯n. Nowlet ρ : ¯S → M(W[n], Γ) st be a chart 10 so that p is contained in the image of ¯S inM(W, Γ). To obtain a chart of M(W, Γ) that contains p, we need to investigate theG[n]-action on M(W[n], Γ) st . Since W[n] is a G[n]-variety, M(W[n], Γ) st admitsa natural G[n]-action. By the definition of stability (cf. Definition 3.1), the G[n]action on M(W[n], Γ) st has only finite stabilizer. LetΦ : ¯S × G[n] −→ M(W[n], Γ) stbe the morphism induced by the group action. Namely, Φ(s, σ) = ρ(s) σ . Thenthere is an open subset U ⊂ ¯S × G[n] that contains ¯S × {e} so that Φ| U lifts to amorphism ˜Φ:U → ¯S so that Φ| U = ρ ◦ ˜Φ. Let s 0 ∈ ¯S be a point so that ρ(s 0 ) = p.Since the stabilizer of p ∈ M(W[n], Γ) st (of the G[n]-action) is finite, ˜Φ:U → ¯S is asmooth morphism near (s 0 , e). Hence we can find a locally closed subscheme S ⊂ ¯Scontaining s 0 so that ˜Φ| U∩(S×G[n]) is étale at (s 0 , e). By shrinking S if necessary,we can assume ˜Φ| U∩(S×G[n]) is étale near S × {e}. Therefore, the compositeS −→ M(W[n], Γ) st −→ M(W, Γ)is étale. Since M(W, Γ) is bounded, we can find a finite number of étale charts ofM(W, Γ), each quasi-projective, so that their union covers M(W, Γ). This provesthat M(W, Γ) is an algebraic (i.e. Deligne-Mumford) stack.10 All charts of stacks are étale charts unless otherwise is specified.
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 394. Stacks of relative stable morphismsLet D ⊂ Z be a smooth connected divisor (called the distinguished divisor) ina smooth projective variety. In this section, we will construct the moduli stackof relative stable morphisms with prescribed contact with D. We will prove somebasic property of this moduli stack and describe its relation with the stack of stablemorphisms constructed in the previous section. This construction can easily begeneralized to the case where D is smooth but not necessarily connected.4.1. Standard models. We first construct the standard models (Z[n], D[n]) whichare the building blocks of the stack of expanded relative pairs of (Z, D). For n = 0,we let (Z[0], D[0]) = (Z, D). For n = 1, Z[1] is the blowing-up of Z × A 1 alongD × {0} ⊂ Z × A 1 . Its distinguished divisor D[1] is the proper transform ofD × A 1 ⊂ Z × A 1 in Z[1]. We now let W → A 1 be Z[1] → A 1 . We shall viewthe ruled variety ∆ = P(1 D ⊕ N D/Z ) and Z in W 0 (= W × A 1 0) as its top (left)and its bottom (right) components. With this understanding, we can construct asequence of varieties W[n] over A n+1 for all n ≥ 1 as in Section 1 with the projectionπ:W[n] → Z ×A n+1 . We define Z[n] = W[n−1] and define its distinguished divisorD[n] to be the proper transform of D ×A n ⊂ Z ×A n in Z[n]. We call (Z[n], D[n])with the tautological projection Z[n] → Z ×A n an expanded relative pair of (Z, D).Note that under this projection D[n] is isomorphic to D ×A n ⊂ Z ×A n . We denotethe projection Z[n] → A n by π.Clearly, the fiber of Z[n] over 0 ∈ A n , denoted Z[n] 0, is reduced with normalcrossing singularity. It consists of a chain of smooth varieties, one Z and n ruledvarieties ∆. We give these n components an ordering so that the first component ofZ[n] 0 contains the distinguished divisor D[n] 0 and the remainder components areordered according to their intersection chain structure. Namely, the k-th componentwill intersect the (k+1)-th component. We call this the standard ordering of Z[n] 0 .We continue to denote by G[n] the product of n copies of G m . Since the G m -actionon Z × A 1 defined via (z, t) σ = (z, σ −1 t) leaves D × {0} ⊂ Z × A 1 fixed, it lifts toan action on Z[1] → A 1 . In general, we let G[n] acts on A n via(4.1)(t 1 , · · · , t n ) σ = (¯σ 2 t 1 , ¯σ 3 t 2 , · · · , ¯σ n+1 t n ).(Recall ¯σ i = σ i /σ i−1 , see (1.3).) Note that if we embed A n in A n+1 in the standardway as the n+1-th coordinate hyperplane H n+1n+1 and let G[n] acts on An+1 as definedin Section 1, then the embedding A n ⊂ A n+1 is G[n]-equivariant. It is direct tocheck that there is a unique G[n]-action on Z[n] that makes Z[n] → Z × A n−1G[n]-equivariant, where the G[n] action on Z × A n−1 is (z, t) σ = (z, t σ ) defined in(4.1).For later application, we need to consider Z[n] with the reversed ordering ofits components. In the following for any n we define 1 o A : n An → A n be themorphism (t 1 , · · · , t n ) ↦→ (t n , · · · , t 1 ). We let Z[n] o be Z[n] with the tautologicalprojection π o ≡ 1 o A ◦ π : Z[n] → n An . At the same time we reverse the order ofthe components of Z[n] 0so that the first irreducible component of Z[n] o 0is Z whileits last component contains the distinguished divisor. Note that the restriction ofZ[n] o 0to the l-th coordinate line is still a smoothing of the l-th nodal divisor ofZ[n] o 0 . Accordingly, we let the G[n]-action on An be(4.2)(t 1 , · · · , t n ) σo = (¯σ 1 t 1 , · · · , ¯σ n t n ).
40 JUN LIWe next describe the connection between the standard model constructed inSection 1 with the relative standard models so constructed. Let W → C be thepair in Section 1 with D 1 ⊂ Y 1 and D 2 ⊂ Y 2 the two irreducible components ofW 0 with their distinguished divisors. Using the pair (Y i , D i ) we can construct therelative pair (Y i [n], D i [n]) with the associated projection Y i [n] → Y i ×A n . Now letl be any integer in [n]. We consider the pairsD 1 [l] × A n−l ⊂ Y 1 [l] o × A n−lWe have the canonical isomorphismsand A l × D 2 [n − l] ⊂ A l × Y 2 [n − l].D 1 [l] × A n−l ∼ =−→ (D 1 × A l ) × A n−l ∼ =−→ D 1 × A l × A n−land canonical isomorphismsA l ∼=× D 2 [n − l] −→A l × (D 2 × A n−l ) −→ ∼=D 2 × A l × A n−l ,where the second arrow is induced by exchanging the factor A l−1 and D 2 . Combinedwith the canonical isomorphism D 1∼ = D2 , we have(4.3)D 1 [l] × A n−l ∼ = A l × D 2 [n − l].Hence we can glue Y 1 [l] o × A n−l with A l × Y 2 [n − l] alongD 1 [l] × A n−l ⊂ Y 1 [l] o × A n−l and A l × D 2 [n − l] ⊂ A l × Y 2 [n − l]according to the isomorphism (4.3) to obtain a new scheme, denoted by(4.4)Y 1 [l] o × A n−l ⊔ A l × Y 2 [n − l].The group G[n] acts on (4.4) as follows: We let A l × A n−l → A n+1 be theembedding as coordinate plane defined by (r, s) ↦→ (r, 0, s). Then the G[n]-actionon A n+1 (see (1.2)) lifts to an action on A l ×A n−l . Namely for σ = (σ 1 , · · · , σ n−1 ) ∈G[n],(r 1 , · · · , r l ) σ = (¯σ 1 r 1 , · · · , ¯σ l r l ) and (s 1 , · · · , s n−l ) σ = (¯σ l+2 s 1 , · · · , ¯σ n+1 s n−l ).Let ρ − :G[n] → G[l] and ρ + :G[n] → G[n − l] be the homomorphismρ − (σ) = (σ 1 , · · · , σ l ) and ρ + (σ) = (σ l+1 , · · · , σ n ).Thus r σ = r ρ−(σ)o and s σ = s ρ+(σ) , where r σ and s σ are the actions defined aboveand r ρ−(σ)o and s ρ+(σ) are the actions defined in (4.1) and (4.2). We define theG[n]-action on Y 1 [l] o × A n−l and on A l × Y 2 [n − l] be(x, s) σ = (x ρ−(σ)o , s ρ+(σ) ) and (r, y) σ = (r ρ−(σ)o , y ρ+(σ) ).It is direct to check that the isomorphism (4.3) is G[n]-equivariant, and hence (4.4)is a G[n]-scheme.Proposition 4.1. Let π : W[n] → A n+1 be the associated morphism and π l :W[n] → A 1 be the composite of π with the l-th projection of A n+1 . Then wehave a canonical isomorphismY 1 [l] o × A n−l ⊔ A l × Y 2 [n − l] ∼ = W[n] × πl 0 A 1 ⊂ W[n]. 11Further the above inclusion and isomorphism are G[n]-equivariant.Proof. The proof is straightforward and will be omitted.11 By W[n] × πl 0 A 1 we mean W[n] × A 1 0 A 1 with W[n] → A 1 given by π l .
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 41Now let (Y i , D i ), i = 1 and 2, be effective relative pairs over S associated toτ i :S → A li defined by(Y i , D i ) = (Y i [l i ], D i [l i ]) × A l i S.As before, we define τ o 1 = 1o A l 1 ◦τ 1:S → A l1 and let Y o 1 be Y 1[l 1 ] o × τ o1S. ObviouslyY o 1 = Y 1 with only the ordering of the components of its fibers reversed. Since D 1(resp D 2 ) is canonically isomorphic to D 1 × S (resp. D 2 × S), we can construct anew scheme over S by gluing Y o 1 and Y 2 along D 1 and D 2 using D 1∼ = D2 . Sinceboth D 1 and D 2 are smooth over S, the resulting scheme Y o 1 ⊔ Y 2 is a flat family ofschemes with normal crossing singularity relative to S. Let A n ∼ = A l1 × A 1 × A l2 ,n = l 1 +l 2 +1, be the canonical isomorphism keeping the order of each copies of A 1in A n+1 . Then we have an embedding A l1 ×A l2 → A n+1 sending (r, s) ∈ A l1 ×A l2to (r, 0, s) ∈ A n+1 . Let τ :S → A n+1 be the composite(4.5)τ : S (τ o 1 ,τ2)−−−−→ A l1 × A l2 −−−−→ A n+1 .Corollary 4.2. Let the notation be as above and let τ :S → A n be defined in (4.5).Then the associated family W = τ ∗ W[n] is canonically isomorphic to Y o 1 ⊔ Y 2 .Proof. Clearly, the composite of τ : S → A n+1 with pr l1: A n+1 → A 1 is trivial.Hence by Proposition 4.1W[n] × A n+1 S ∼ = ( Y 1 [l 1 ] o × A l2 ⊔ A l1 × Y 2 [l 2 ] ) × A l 1 ×A l 2 S∼= Y 1 [l 1 ] o × A l 1 S ⊔ Y 2[l 2 ] × A l 2 S,D 1[l 1]× Al 1 S=D 2[l 2]× Al 2 Swhich is isomorphic to Y o 1 ⊔ Y 2. This proves the Corollary.We now define the stack of expanded relative pairs of (Z, D). Let S be anyscheme. An effective family of expanded relative pair of (Z, D) (in short relativepair) is the associated family (Z, D) of a morphism τ :S → A n for some n definedbyZ = τ ∗ Z[n] = Z[n] × A n S and D = τ ∗ D[n] = D[n] × A n S.We call D the distinguished divisor of Z. Now letΦ : G[n] × A n −→ A nand Φ : G[n] × Z[n] −→ Z[n]be the G[n]-action on A n and on Z[n] defined earlier in this section. Then forany τ : S → A n and ρ : S → G[n], the group action Φ defines a new morphismτ ρ : S → A n and thus a new family of relative pair (τ ρ∗ Z[n], τ ρ∗ D[n]). Usingthe group action of G[n] on Z[n], there is a canonical isomorphism between thepair (τ ∗ Z[n], τ ∗ D[n]) and (τ ρ∗ Z[n], τ ρ∗ D[n]). As in the case for W[n], given twoeffective relative pairs ξ 1 = (Z 1 , D 1 ) and ξ 2 = (Z 2 , D 2 ) over S associated to morphismsτ 1 : S → A n1 and τ 2 : S → A n2 respectively, an effective arrow from ξ 1 toξ 2 consists of a standard embedding ι : A n1 → A n2 (associated to an increasingmap [n 1 ] → [n 2 ], see discussion at the beginning of subsection 1.1) and a morphismρ:S → G[n 2 ] such that (ι ◦ τ 1 ) ρ = τ 2 . Similar to the discussion before Lemma 1.8,this identity defines a canonical S-isomorphism of pairs(τ ∗ 1 Z[n 1], τ ∗ 1 D[n 1]) ∼ = (τ ∗ 2 Z[n 2], τ ∗ 2 D[n 2]),compatible to their projections to Z × S. Along the same line, we can define aneffective arrow between ξ 1 and ξ 2 to be either an effective arrow from ξ 1 to ξ 2 oran effective arrow from ξ 2 to ξ 1 . We say ξ 1 and ξ 2 are equivalent via a sequence
42 JUN LIof effective arrows if there is a sequence of effective families η 0 , · · · , η m so thatξ 1 = η 0 , ξ 2 = η m and that η i is equivalent to η i+1 via an effective arrow. Note thatthis sequence of effective arrows induces a canonical isomorphism of (Z 1 , D 1 ) and(Z 2 , D 2 ). We have a partial inverse to this, similar to Lemma 1.8.Lemma 4.3. Let ξ i = (Z i , D i ), i = 1 and 2, be two effective relative pairs over Sassociated to τ i : S → A ni . Suppose there is an isomorphism (Z 1 , D 1 ) ∼ = (Z 2 , D 2 )compatible to their projections to Z × S. Then to each p ∈ S there is an openneighborhood S 0 of p ∈ S such that over S 0 the induced isomorphism Z 1 × S S 0∼ =Z 2 × S S 0 is induced by a sequence of effective arrows between ξ 1 × S S 0 and ξ 2 × S S 0 .Proof. The proof is similar to that of Lemma 1.8 and will be omitted.We define a family of relative pair over S to be a pair (Z, D), where Z is anS-family with an S-projection Z → Z ×S and D is a Cartier divisor of Z, such thatthere is an open covering S α of S so that each (Z × S S α , D × S S α ) is isomorphicto an effective relative pair associated to some τ α :S α → A nα and the isomorphismZ × S S α∼ = τ∗α Z[n α ] is compatible to their projections to Z × S α . Note that thenD is isomorphic to D × S ⊂ Z × S under the projection Z → Z × S. We callZ × S S α∼ = Z[nα ] × A nα S α with its associated data a local representative of (Z, D).We say two such families (Z 1 , D 1 ) and (Z 2 , D 2 ) are isomorphic if there is an S-isomorphism (Z 1 , D 1 ) → (Z 2 , D 2 ) compatible to the projections Z 1 → Z × S andZ 2 → Z ×S. Clearly, if (Z, D) is a relative pair over S and ρ:S ′ → S is a morphism,then (Z × S S ′ , D × S S ′ ) coupled with the obvious projection Z × S S ′ → Z × S ′ isa relative pair over S ′ , called the pull back relative pair.Definition 4.4. We define Z rel to be the category whose objects are families ofexpanded relative pairs of (Z, D) over S for some scheme S. Let S i , i = 1 and 2,be any two schemes and ξ i ∈ Z rel (S i ) be two objects in Z rel . An arrow from ξ 1 toξ 2 consists of an arrow (a morphism) ρ : S 1 → S 2 and an isomorphism of relativepairs ξ 1∼ = ρ ∗ ξ 2 . We define p:Z rel → (Sch) to be the functor that send families overS to S. The pair (Z rel , p) forms a groupoid.Proposition 4.5. The groupoid (Z rel , p) is a stack.Proof. The proof is straightforward and will be omitted.In the following, we will call Z rel the stack of expanded relative pairs of (Z, D).Now let (Y 1 , D 1 ) and (Y 2 , D 2 ) be the two relative pairs associated to the familyW/C and let Y rel1 and Y rel2 be the associated stacks of expanded relative pairs of(Y 1 , D 1 ) and (Y 2 , D 2 ), respectively. Then the correspondence (Y 1 , Y 2 ) ↦→ Y1 o ⊔ Y 2defined in Corollary 4.2 induces a canonical morphism of stacks(4.6)Y rel1 × Y rel2 −→ W × C 0 ⊂ W.4.2. Relative stable morphisms. Let (Z, D) be the pair and Z rel the stack ofexpanded relative pairs of (Z, D). In this part we define the notion of relative stablemorphisms to Z rel . We fix an ample line bundle H on Z, called a polarizationof (Z, D). We first introduce the notion of admissible weighted graphs (in shortadmissible graphs).In this paper, by a graph Γ we mean a finite collection of vertices, edges, legs androots. Here an edge is as usual a line segment with both ends attached to verticesof Γ. A leg or a root is a line segment with only one end attached to a vertex of Γ.We will denote by V (Γ) the set of vertices of Γ.
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 43Definition 4.6. An admissible weighted graph Γ is a graph without edges coupledwith the following additional data:1. An ordered collection of legs, an ordered collection of weighted roots and twoweight functions g:V(Γ) → Z≥0 and b:V (Γ) → A 2 Z/ ∼ alg .3. The graph is relatively connected in the sense that either V(Γ) consists of asingle element or each vertex in V(Γ) has at least one root attached to it.In this section, we will reserve the integer k to denote the number of legs andthe integer r to denote the number of roots of Γ. We will denote by µ 1 , · · · , µ r theweights of the r roots.Given two admissible graphs Γ 1 and Γ 2 , an isomorphism Γ 1∼ = Γ2 is an isomorphismbetween their respective vertices, legs and roots (order preserving in the latertwo cases) so that it preserves the weights of the roots and the two sets of weightsof the vertices.We now define the relative stable morphisms to (Z[n], D[n]) of type Γ.Definition 4.7. Let S be an A n -scheme and Γ be an admissible graph with rroots, k legs and l vertices v 1 , · · · , v l . An S-family of relative stable morphismsto (Z[n], D[n]) of type Γ is a quadruple (f, X, q i , p j ) as follows:1. X is a disjoint union of X 1 , · · · , X l such that each X i is a flat family of pre-stablecurves 12 over S of arithmetic genus g(v i ).2. q i :S → X, i = 1, · · · , r and p j :S → X, j = 1, · · · , k, are disjoint sections awayfrom the singular locus of the fibers of X/S so that q i (S) ⊂ X j (resp. p i (S) ⊂ X j )if the i-th root (resp. i-th leg) is attached to the j-th vertex of Γ.3. f : X → Z[n] is an A n -morphism (i.e. an S-morphism X → Z[n] × A n S) sothat as Cartier divisors f −1 (D[n]) = ∑ ri=1 µ(x)q i(S), and that to each closed s ∈ Sthe class ϕ ∗ (f(X s )) is algebraically equivalent to b(v). Here ϕ : Z[n] → Z be thetautological projection.4. Finally, each morphism f| Xi , considered as a morphism whose domain is X iwith all marked sections in X i , is a family of stable morphisms to Z[n].Note that a necessary condition for the existence of relative stable morphismsof type Γ is that to each v ∈ V (Γ), ∑ i≺v µ i = b(v) · D, where i ≺ v means thatthe i-th root is attached to the vertex v. We will call q i the distinguished markedsections and call p j the ordinary marked sections.We now fix an admissible graph Γ. Let f : X → Z[n] be a relative stablemorphism to (Z[n], D[n]) of type Γ. Let l be any integer in [n]. Then Z[n] × A n H n lhas normal crossing singularity whose singular locus is isomorphic to D × A n−1 .We denote this nodal divisor by B l . As in section 2, we call f non-degenerate ifto each s ∈ S there are no irreducible components of X s mapped entirely to theunion of B 1 , · · · ,B n under f. We call f pre-deformable if f is pre-deformable alongB 1 , · · · ,B n as defined in section 2.We now change our view point of f. Since S is an A n -scheme,(Z[n] × A n S, D[n] × A n S) ∈ Ob(Z rel (S)),and hence f can be viewed as an S-family of morphisms to Z rel . We say f,considered as an S-family of morphisms to Z rel , is relative pre-stable (resp. predeformable;resp. of type Γ) if f, considered as an S-family of morphisms to Z[n],is relative stable (resp. pre-deformable; resp. or type Γ). As before, we define12 Recall by pre-stable we mean that X/S is a family of connected, complete and nodal curves.
44 JUN LIAut Z (f) to be the functor associating to each S-scheme T the set of all (a, b),where a is an automorphism of X × S T as pointed nodal curve over T, namely aleaves all marked (distinguished and ordinary) sections of X × S T fixed, and b isa morphism T → G[n] such that if we let f T be the morphism X × S T → Z[n]induced by f then(f T ) b = f T ◦ a : X × S T → Z[n].Here (f T ) b is the morphism resulting from the G[n]-action on Z[n] associated tob:T → G[n] (see (1.13)). Obviously, this functor is represented by a group schemeover S, called the automorphism group of f and denoted by Aut Z (f).Let S be any scheme and (Z, D) ∈ Ob(Z rel (S)) be any object. Then S has anopen covering by {S α } so that over each S α we have isomorphism(Z, D) × S S α∼ = (Z[nα ] × A nα S α , D[n α ] × A nα S α )for some S α → A nα . For any S-family of morphisms f : X → Z, we will call theinduced morphisms f α : X × S S α −→ Z[n α ] local representatives of f.Definition 4.8. An S-family of relative pre-stable morphisms to Z rel of type Γ isa family f :X → Z, where (Z, D) ∈ Ob(Z rel (S)), so that all its local representativef α are relative stable (as morphisms to Z α ) of type Γ. We say f is stable if inaddition to it being pre-stable, all its local representatives are pre-deformable andthat for all closed s ∈ S the automorphism groups Aut Z (f s ) are finite.It is routine to check that the definition of Aut Z (f s ) and the definition of relativestable morphisms to Z rel is independent of the choices of local representatives.Definition 4.9. Let (Z, D) be as before and let Γ be an admissible graph. Wedefine M(Z rel , Γ) to be the category whose objects are families of relative stablemorphisms to Z rel of type Γ. As usual, M(Z rel , Γ)(S) is the sub-category of familiesover S. Let ξ 1 and ξ 2 be objects in M(Z rel , Γ)(S) represented by relative stablemorphisms f 1 : X 1 → Z 1 and f 2 : X 2 → Z 2 . An arrow ξ 1 → ξ 2 in M(Z rel , Γ)(S)covering 1 S : S → S consists of a pair (ϕ 1 , ϕ 2 ), where ϕ 1 is an S-isomorphismX 1 → X 2 preserving all ordinary marked points and ϕ 2 is an arrow Z 1 → Z 2 inZ rel (S) covering 1 S so that f 2 ◦ ϕ 1 = ϕ 2 ◦ f 1 . In case ξ 1 ∈ M(Z rel , Γ)(S) andξ 2 ∈ M(Z rel , Γ)(T), then an arrow ξ 1 → ξ 2 consists of a morphism σ :S → T andan arrow ξ 1 → σ ∗ ξ 2 in M(Z rel , Γ)(S) covering 1 S . Let p:M(Z rel , Γ) → (Sch) be thefunctor that sends families over S to S. The category M(Z rel , Γ) coupled with thefunctor p form a groupoid, called the groupoid of the relative stable morphisms toZ rel of type Γ.Theorem 4.10. The groupoid M(Z rel , Γ) is an algebraic stack. It is separated andproper over k.Proof. The proof is parallel to that of M(W, Γ) and will be omitted.We now move back to the family W defined before. We fix an ample line bundleH on W as before and let H Yi be the restriction of H to Y i . We let (Y 1 , D 1 ) and(Y 2 , D 2 ) be the two relative pairs from decomposing W 0 . We let Y rel1 and Y rel2be the stack of expanded relative pairs of (Y 1 , D 1 ) and (Y 2 , D 2 ) respectively. Inthe remainder part of this section, we will investigate the relation of the stacksM(Y rel1 , Γ 1), M(Y rel2 , Γ 2) and M(W, Γ). We begin with a discussion of gluing apair of relative stable morphisms(f 1 , f 2 ) ∈ M(Y rel1 , Γ 1 ) × M(Y rel2 , Γ 2 )
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 45to form a stable morphism in M(W, Γ). Here as usual the domain of the newmorphism will be the gluing of the domains of f 1 and f 2 . In terms of their associatedgraphs, this amounts to connecting the roots in the graph Γ 1 to the roots in thegraph Γ 2 to form a new graph with edges. 13Definition 4.11. Let Γ 1 and Γ 2 be two admissible graphs with identical numbersof roots and k 1 and k 2 legs respectively. We let r be the number of roots of Γ 1 ,let k = k 1 + k 2 and let I ⊂ [k] be a subset of k 1 elements. We say that the triple(Γ 1 , Γ 2 , I) is an admissible triple if the following two holds:1. The weight assignments µ 1,i and µ 2,i of the roots of Γ 1 and Γ 2 coincides in thesense that µ 1,i = µ 2,i for all i = 1, · · · , r.2. After connecting the i-th root in Γ 1 with the i-th root in Γ 2 for all i, we obtain anew graph with k-edges (but without roots). We demand that this graph is connected.Let η = (Γ 1 , Γ 2 , I) be an admissible triple. Using the subset I ⊂ [k] we obtain aunique bijection [k 1 ] ∪ [k 2 ] → [k] so that it preserves the orders of [k 1 ] and [k 2 ] andthe image of [k 1 ] is I ⊂ [k]. Using this bijection, we get a unique ordering of thelegs of this new graph. The genus of this graph is∑g(η) = r + 1 − |V (Γ)| + g(v)and the degree of this graph isv∈V(Γ 1)∪V(Γ 2)∑k 1∑k 2b(η) = b Γ1 (i) · c 1 (H Y1 ) + b Γ2 (i) · c 1 (H Y2 ).i=1For simplicity, we denote by |η| the triplei=1|η| = (g(η), b(η), k).Now let f 1 : X 1 → Y 1 be a relative stable morphism in M(Y rel1 , Γ 1)(S), where(Y 1 , D 1 ) ∈ Y rel1 (S), and let q 1,i : S → X 1 be the i-th distinguished section. Theneach f 1 ◦ q 1,i : S → Y 1 factor through D 1 ⊂ Y 1 , which composed with the firstprojection pr D of D ∼ = D × S defines a morphism S → D. This way we obtain anevaluation morphism(4.7)q(f 1 ) = ( pr D ◦ f 1 ◦ q 1,1 , · · · , pr D ◦ f 1 ◦ q 1,r ) : S → D r .Similarly, let f 2 : X 2 → Y 2 be in M(Y rel2 , Γ 2)(S) with distinguished sections q 2,i .Then we have a similarly defined evaluation morphism q(f 2 ) : S → D r . Now weconstruct a new family of morphisms over S. We glue the i-th sections q 1,i (S) ⊂ X 1with the i-th section q 2,i (S) ⊂ X 2 for all i = 1, · · · , r to obtain an S-family of nodalcurves X 1 ⊔ X 2 . Since η = (Γ 1 , Γ 2 , I) is admissible, the new family X 1 ⊔ X 2 /Shas connected fibers. Also the data I ⊂ [k] defines a natural ordering of the kordinary marked sections of X 1 ⊔ X 2 . Now let Y o 1 ⊔ Y 2 be the S-scheme constructedin Corollary 4.2, then the pair of morphisms (f 1 , f 2 ) defines a morphism(4.8)if and only ifWe state it as a Proposition.f 1 ⊔ f 2 : X 1 ⊔ X 2 −→ Y o 1 ⊔ Y 2q(f 1 ) ≡ q(f 2 ) : S → D r .13 Namely we identify the free end of a root with the free end of another root to form an edge.
46 JUN LIProposition 4.12. Let η = (Γ 1 , Γ 2 , I) be an admissible triple and let f i be relativestable morphisms in M(Y reli , Γ i )(S), i = 1, 2. Suppose q(f 1 ) ≡ q(f 2 ), then themorphism f 1 ⊔ f 2 is an S-family of stable morphisms in M(W, Γ)(S) with Γ = |η|.Proof. The proof is straightforward and will be omitted.Let f ∈ M(W, Γ)(S) be an S-family of stable morphisms to W. In case thereis an admissible triple η = (Γ 1 , Γ 2 , I) and families f i ∈ M(Y reli , Γ i )(S) so thatf = f 1 ⊔ f 2 , then we say f is η-decomposable or f is η-decomposed into families f 1and f 2 .We let M(Y reli , Γ i ) → D r be the morphisms induced by q in (4.7). Then thisProposition implies that we have a natural morphism of stacks(4.9)M(Y rel1 , Γ 1) × D r M(Y rel2 , Γ 2) −→ M(W, Γ).Note that if r = 0, then η is admissible implies that one of Γ i is empty. Then thefiber product is understood to be either M(Y rel2 , Γ 2 ) in case Γ 1 = ∅ or the otherwise.Clearly, the above morphism factor through the substack M(W, Γ) × C 0, and isfinite and representable. We let M(Y rel1 ⊔ Y rel2 , η) be the image stack in M(W, Γ).We denote the induced morphism by(4.10)Φ η : M(Y rel1 , Γ 1 ) × D r M(Y rel2 , Γ 2 ) −→ M(Y rel1 ⊔ Y rel2 , η).We now investigate the degree of Φ η . Let f :X → W[n] 0be a stable morphismthat lies in the image of Φ η . By definition, there is an integer l ∈ [n+1] so that wecan η-decompose f along the divisor D l ∩W[n] 0. Namely, we have a pair of relativestable morphisms f i :X i → Y i [n i ], where n 1 = l − 1 and n 2 = n + 1 − l, an orderedfinite set Σ and embeddings Σ ⊂ X i so that X is the result of gluing X 1 and X 2along Σ ⊂ X 1 and Σ ⊂ X 2 , and the restriction of f to X i is f i using the gluingY 1 [n 1 ] o ⊔ Y 2 [n 2 ] = W[n] 0. Further, if we view Σ ⊂ X i as its ordered distinguishedmarked points, then the topological type of f i with the induced ordering on itsordinary marked points is exactly the Γ i in η = (Γ 1 , Γ 2 , I). Here I ⊂ [k] is thesubset of those marked points that are in X 1 . We fix such a ordering on Σ.Now let σ ⊂ S r be any permutation. Then σ induces a new ordering on Σ,which we denote by Σ σ . Accordingly, for the Γ i in η = (Γ 1 , Γ 2 , I), we define Γ σ i tobe the graph Γ i with its roots reordered according to σ. Namely, the j-th root ofΓ σ i is the σ −1 (j)-root of Γ i . We define η σ = (Γ σ 1, Γ σ 2, I). For any two admissibletriples η 1 and η 2 we say η 1 ∼ η 2 (called equivalent) if there is a σ ∈ S r so that η 1is isomorphic to η σ 2 . We define Eq(η) to be the subgroup of σ ∈ S r so that η ∼ η σ .Note that η ∼ η σ implies that whenever σ(j 1 ) = j 2 then the j 1 -th and the j 2 -throots of Γ i have identical weights µ j1 = µ j2 and are attached to the same vertex ofΓ i .Proposition 4.13. The morphism Φ η is finite and étale. It has pure degree 14| Eq(η)|.Proof. The proof that the morphism Φ η is finite and étale is straightforward, andwill be left to readers. We now check that the degree of Φ η is as stated. Let ξ ∈Im(Φ η ) be any element. It follows from the discussion preceding to the statementof this Proposition that there is an l ∈ [n +1] so that the decomposition of f alongthe divisor D l ∩W[n] 0is the η-decomposition of f. Because f is stable, for all other14 Here we say f :X → Y has pure degree d if for any integral A ⊂ Y the restriction X× Y A → Ahas degree d.
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 47l ′ ∈ [n+1] −l the decomposition types of f along D l ′ ∩W[n] 0will be different fromη (i.e. ≁). We now let ξ i be represented by f i :X i → Y i [n i ], after fixing an orderingon Σ = f −1 (D l ) so that the topological type of ξ is Γ i . Thus f i ∈ M(Y reli , Γ i ) andf = f 1 ⊔f 2 . Now let σ ∈ S r be any permutation. We let fi σ be the same morphismf i : X i → Y i [n i ] except that the distinguished marked points of X i are reorderedaccording to σ. This way(f σ i , f σ 2 ) ∈ M(Y rel1 , Γ σ 1) × D r M(Y rel1 , Γ σ 1).Clearly, it is in the domain of Φ η if and only if η ∼ η σ .To derive the degree formula, we need to investigate the automorphism groupAut(ξ) of ξ ∈ M(W, Γ) and the automorphism group Aut(ξ i ) of M(Y reli , Γ i ). First,the automorphism group Aut((ξ 1 , ξ 2 )) is naturally isomorphic to Aut(ξ 1 )×Aut(ξ 2 ).Because f is derived from gluing f 1 and f 2 along Σ ⊂ X 1 and Σ ⊂ X 2 , elementsin Eq(η) induce permutations of Σ. Hence we obtain a natural homomorphism ofgroups h : Aut(ξ) → S r whose kernel is isomorphic to Aut(ξ 1 ) × Aut(ξ 2 ). Furtherthe image of h lies in the subgroup Eq(η) ⊂ S r and the coset Eq(η)/ Im(η) is exactlythe set Φ −1η (ξ). This shows that Φ −1η (ξ) consists of exactly | Eq(η)|/| Im(h)| distinctelements. Hence the degree of Φ η is| Eq(η)|/| Im(η)| · | Aut(ξ)| · 1/| Aut(ξ 1 ) × Aut(ξ 2 )| = | Eq(η)|.This proves the Proposition.5. Some CommentsIt is interesting to work out the analogous construction for the moduli spaces ofstable sheaves over schemes. Before the discovery of SW-invariants, there were a lotof research work on using degeneration method to study the Donaldson invariants.The differential geometric approach to this is well understood. But the algebrogeometricapproach to this is still missing. It is clear that one should considerthe moduli of stable sheaves over the stack W and the stack Z rel . It is interestingto work this out in detail. One technical issue is that after using the expandeddegenerations one should be able to avoid non-locally freeness (of sheaves) alongthe nodal divisor. This is the case for curves, following the pioneer work of [GM].It is true for surfaces, which is essentially proved by Gieseker and the author in[GL].A more challenging degeneration problem is to workout a degeneration of GWinvariantsfor the families W → C whose singular fibers are only assumed to havenormal crossing singularities. Recall that the family W/C studied in this paper onlydeal with the case where W 0 has two irreducible components that intersect along aconnected smooth divisor. It is easy to see that this construction can be generalizedto the case where W 0 is only assumed to have normal crossing singularity and itssingular locus is smooth. When the singular locus of W 0 is not smooth, it is notclear what constitute the class of expanded degenerations of W/C. The progressalong this line is important to the study of degenerations of moduli spaces.References[Beh] K. Behrend, Gromov-Witten invariants in algebraic geometry, Invent. Math. 127(1997),no. 3, 601-617.[BF] K. Behrend and B. Fantechi, The intrinsic normal cone, Invent. Math. 128(1997), no. 1,45-88.
48 JUN LI[Cap] L. Caporaso, A compactification of the universal Picard variety over the moduli space ofstable curves, J. Amer. Math. Soc. 7(1994), no. 3, 589–660.[DM] P. Deligne and D. Mumford, The irreducibility of the space of curves of given genus, Publ.I.H.E.S. 45(1969), 101-145.[EGH] Y. Eliashberg, A. Givental and H. Hofer, Introduction to symplectic field theory, preprint.[Flo] A. Floer, Morse theory for Lagrangian intersections, J. Differential Geom. 28(1988), no.3, 513–547.[FO] K. Fukaya and K. Ono, Arnold conjecture and Gromov-Witten invariant for general symplecticmanifolds, The Arnoldfest (Toronto, ON, 1997), 173–190, Fields Inst. Commun.,24, Amer. Math. Soc., Providence, RI, 1999.[FP] W. Fulton and R. Pandharipande, Notes on stable maps and quantum cohomology, Algebraicgeometry—Santa Cruz 1995, 45-96, Proc. Sympos. Pure Math., 62, Part 2, Amer.Math. Soc., Providence, RI, 1997.[Gat] A. Gathmann, Absolute and relative Gromov-Witten invariants of very ample hypersurfaces,preprint, math.AG/9908054.[Gie] D. Gieseker, A degeneration of the moduli space of stable bundles, J. Differential Geom.19(1984), no. 1, 173–206.[GH] P. Griffith and J. Harris, Principle of Algebraic Geometry, John Wiley & Sons, New York1987.[GL] D. Gieseker, and J. Li, Irreducibility of moduli of rank two vector bundles. J. Diff. Geom.40(1994), 23-104.[GM] D. Gieseker and I. Morrison, Hilbert stability of rank-two bundles on curves, J. DifferentialGeom. 19(1984), no. 1, 1–29.[GV] T. Graber and R. Vakil, Hodge integrals and Hurwitz numbers via virtual localization,preprint, math.AG/0003028.[HM] J. Harris and D. Mumford, The Kodaira dimension of the moduli space of curves of genus≥ 23. Invent. Math. 90(1987), no. 2, 359–387.[Ion] E-N. Ionel, Topological recursive relations in H 2g (M g,n), preprint, math.AG/9908060[IP1] E-N. Ionel and T. Parker, Gromov-Witten Invariants of Symplectic Sums, Math. Res.Lett. 5(1998), no. 5, 563–576.[IP2] E-N. Ionel and T. Parker, Relative Gromov-Witten Invariants, preprint,math.SG/9907155.[IP3] E-N. Ionel and T. Parker, The Symplectic Sum Formula for Gromov-Witten Invariants,preprint, math.SG/0010217.[KM] M. Kontsevich and Y. Manin, Gromov-Witten classes, quantum cohomology, and enumerativegeometry, Comm. Math. Phys. 164(1994), no. 3, 525-562.[Kol] J. Kollár, Rational curves on algebraic varieties, Ergebnisse der Mathematik und ihrerGrenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics 32. Springer-Verlag,Berlin, 1996[Kon] M. Kontsevich, Enumeration of rational curves via torus actions, The Moduli Space ofCurves, edited by R.Dijkgraaf, C.Faber, G. van der Geer, Progress in Mathematics vol.129, Birkhauser, 1995.[Li] J. Li, Relative Gromov-Witten invariants and a degeneration formula of Gromov-Witteninvariants, in preparation.[LT1] J. Li and G. Tian, Algebraic and symplectic geometry of virtual moduli cycles, Algebraicgeometry—Santa Cruz 1995, 143–170, Proc. Sympos. Pure Math., 62, Part 2, Amer. Math.Soc., Providence, RI, 1997.[LT2] J. Li and G. Tian, Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties,J. Amer. Math. 11(1998), no. 1, 119-174.[LT3] J. Li and G. Tian, Virtual moduli cycles and Gromov-Witten invariants of general symplecticmanifolds, Topics in symplectic 4-manifolds (Irvine, CA, 1996), 47–83, First Int.Press Lect. Ser., I, Internat. Press, Cambridge, MA, 199.[LT4] J. Li and G. Tian, Comparison of algebraic and symplectic Gromov-Witten invariants,Asian J. Math. 3(1999), no. 3, 689-728.[LR] A-M. Li and Y. Ruan, Symplectic surgery and Gromov-Witten invariants of Calabi-Yau3-folds I, preprint, math.AG/9803036[LZZ] A-M. Li, G. Zhao and Q. Zheng, The number of ramified covering of a Riemann surfaceby Riemann surface, preprint, math.AG/9906053.
STABLE MORPHISMS TO SINGULAR SCHEMES AND RELATIVE STABLE MORPHISMS 49[Ma] Matumura, Commutative ring theory, Cambridge University press, 1986.[Mil] J. Milner, Étale cohomology, Princeton University press, Princeton, New Jersey, 1980.[FM] Forgaty and D. Mumford, geometric Invariant theory, Springer-Verlag, 1982.[Gro] A. Grothendieck, Techniques de construction et théorèmes d’existence en géométriealgébrique IV, les schémas de Hilbert, Séminaire Bourbaki, 221, 1960-61.[RT] Y.B. Ruan and G. Tian, A mathematical theory of quantum cohomology, J. Diff. Geom.42(1995), no. 2, 259-367.[Ru1] Y. Ruan, Topological Sigma model and Donaldson type invariants in Gromov theory, DukeMath. J. 83(1996), no. 2, 461–500.[Ru2] Y. Ruan, Virtual neighborhoods and pseudo-holomorphic curves, Proceedings of 6thG okova Geometry-Topology Conference, Turkish J. Math. 23(1999), no. 1, 161–231.[Ru3] Y. Ruan, Quantum cohomology and birational geometry, Northern California SymplecticGeometry Seminar, 183–198, Amer. Math. Soc. Transl. Ser. 2, 196, Amer. Math. Soc.,Providence, RI, 1999.[Sie] B. Siebert, Symplectic Gromov-Witten invariants, New trends in algebraic geometry (Warwick,1996), 375–424, London Math. Soc. Lecture Note Ser., 264, Cambridge Univ. Press,Cambridge, 1999.[Tia] G. Tian, Quantum cohomology and its associativity, Current developments in mathematics,1995 (Cambridge, MA), 361–401, Internat. Press, Cambridge, MA, 1994.[Vis] A. Vistoli, Intersection theory on algebraic stacks and on their moduli spaces, Invent.Math. 97(1989), no. 3, 613-670.[Wit] E. Witten, Topological sigma models, Comm. Math. Phys. 118(1988). Two dimensionalgravity and intersection theory on moduli space, Surveys in Diff. Geom. 1(1991), 243-310.Department of Mathematics, Stanford University, Stanford, CA 94305
Change language