arxiv:alg-geom/ v3 6 Mar 2014

Transcription

1 The Homogeneous Coordnate Rng of a Torc Varety Revsed June 21, 1993 Davd A. Cox Department of Mathematcs and Computer Scence Amherst College Amherst, MA arxv:alg-geom/ v3 6 Mar 2014 Ths paper wll ntroduce the homogeneous coordnate rng S of a torc varety X. The rng S s a polynomal rng wth one varable for each one-dmensonal cone n the fan determnng X, and S has a natural gradng determned by the monod of effectve dvsor classes n the Chow group A n 1 (X) of X (where n = dmx). Usng ths graded rng, we wll show that X behaves lke projectve space n many ways. The paper s organzed nto four sectons as follows. In 1, we defne the homogeneous coordnate rng S of X and compute ts graded peces n terms of global sectons of certan coherent sheaves on X. We also defne a monomal deal B S that descrbes the combnatoral structure of the fan. In the case of projectve space, the rng S s just the usual homogeneous coordnate rng C[x 0,...,x n ], and the deal B s the rrelevant deal x 0,...,x n. Projectvespace P n can beconstructed asthe quotent (C n+1 {0})/C. In 2, we wll see that there s a smlar constructon for any torc varety X. In ths case, the algebrac group G = Hom Z (A n 1 (X),C ) acts on an affne space C (1) such that the categorcal quotent (C (1) Z)/G exsts and s somorphc to X. The exceptonal set Z s the zero set of the deal B defned n 1. If X s smplcal (meanng that the fan s smplcal), then X (C (1) Z)/G s a geometrc quotent, so that elements of C (1) Z can be regarded as homogeneous coordnates for ponts of X. On P n, there s a correspondence between sheaves and graded C[x 0,...,x n ]-modules. For any torc varety, we wll see n 3 that fntely generated graded S modules gve rse to a coherent sheaves on X, and when X s smplcal, every coherent sheaf arses n ths way. In partcular, every closed subscheme of X s determned by a graded deal of S. We wll also study the extent to whch ths correspondence fals to be s one-to-one. Another feature of P n s that the acton of PGL(n + 1,C) on P n lfts to an acton of GL(n+1,C) on C n+1 {0}. In 4, we wll see that for any complete smplcal torc varety X, the acton of Aut(X) on X lfts to an acton of an algebrac group Ãut(X) on C (1) Z. Ths group s a extenson of Aut(X) by the group G defned above. We wll gve an explct descrpton of Ãut(X), and n partcular, we wll see that the roots of Aut(X) (as defned n [Demazure]) have an especally nce nterpretaton. For smplcty, we wll work over the complex numbers C. Our notaton wll be smlar to that used by [Fulton] and [Oda]. I would lke to thank Bernd Sturmfels for stmulatng my nterest n torc varetes. 1

2 1. The Homogeneous Coordnate Rng Let X be the torc varety determned by a fan n N Z n. As usual, M wll denote the Z-dual of N, and cones n wll be denoted by σ. The one-dmensonal cones of form the set (1), and gven ρ (1), we let n ρ denote the unque generator of ρ N. If σ s any cone n, then σ(1) = {ρ (1) : ρ σ} s the set of one-dmensonal faces of σ. We wll assume that (1) spans N R = N Z R. Each ρ (1) corresponds to an rreducble T-nvarant Wel dvsor D ρ n X, where T = N Z C s the torus actng on X. The free abelan group of T-nvarant Wel dvsors on X wll be denoted Z (1). Thus an element D Z (1) s a sum D = ρ a ρd ρ. The T-nvarant Carter dvsors form a subgroup Dv T (X) Z (1). Each m M gves a character χ m : T C, and hence χ m s a ratonal functon on X. As s well-known, χ m gves the Carter dvsor dv(χ m ) = ρ m,n ρ D ρ. We fnd t convenent to gnore the mnus sgn, so that we wll consder the map M Z (1) defned by m D m = ρ m,n ρ D ρ. Ths map s njectve snce (1) spans N R. By [Fulton, 3.4], we have a commutatve dagram (1) 0 M Dv T (X) Pc(X) 0 0 M Z (1) A n 1 (X) 0 where the rows are exact and the vertcal arrows are nclusons. Thus a dvsor D Z (1) determnes an element α = [D] A n 1 (X). Note that n s the dmenson of X. For each ρ (1), ntroduce a varable x ρ, and consder the polynomal rng S = C[x ρ : ρ (1)]. We wll usually wrte ths as S = C[x ρ ]. Note that a monomal ρ xa ρ ρ determnes a dvsor D = ρ a ρd ρ, and to emphasze ths relatonshp, we wll wrte the monomal as x D. We wll grade S as follows: the degree of a monomal x D S s deg(x D ) = [D] A n 1 (X). Usng the exact sequence (1), t follows that two monomals ρ xa ρ ρ and ρ xb ρ ρ n S have the degree f and only f there s some m M such that a ρ = m,n ρ +b ρ for all ρ. Then let S α = C x D, deg(x D )=α 2

3 so that the rng S can be wrtten as the drect sum S = α A n 1 (X) Note also that S α S β S α+β. We call S the homogeneous coordnate rng of the torc varety X. Of course, homogeneous means wth respect to the above gradng. We should menton that the rng S, wthout the gradng, appears n the Danlov-Jurkewcz descrpton of the cohomology of a smplcal torc varety (see [Danlov, 10], [Fulton, 5.2] or [Oda, 3.3]). Here are some examples of what the rng S looks lke: Projectve Space: When X = P n, t s easy to check that S s usual homogeneous coordnate rng C[x 0,...,x n ] wth the standard gradng. Weghted Projectve Space: When X = P(q 0,...,q n ), then S s the rng C[x 0,...,x n ], where the gradng s determned by gvng the varable x weght q. Product of Projectve Spaces: When X = P n P m, then S = C[x 0,...,x n ;y 0,...,y m ]. Here, the gradng s the usual bgradng, where a polynomal has bdegree (a,b) f t s homogeneous of degree a (resp. b) n the x (resp. y j ). Our frst result about the rng S shows that the graded peces of S are somorphc to the global sectons of certan sheaves on X: S α. Proposton 1.1. () If α = [D] A n 1 (X), then there s an somorphsm φ D : S α H 0 (X,O X (D)), whereo X (D)sthecoherent sheafonxdetermnedbytheweldvsord (see[fulton, 3.4]). () If α = [D] and β = [E], then there s a commutatve dagram S α S β S α+β H 0 (X,O X (D)) H 0 (X,O X (E)) H 0 (X,O X (D+E)) where the top arrows s multplcaton, the bottom arrow s tensor product, and the vertcal arrows are the somorphsms φ D φ E and φ D+E. Proof. Suppose that D = ρ a ρd ρ. By [Fulton, 3.4], we know that H 0 (X,O X (D)) = α PD MC χ m, where P D = {m M R : m,n ρ a ρ for all ρ}. 3

4 Gven m P D M, let D m = ρ m,n ρ D ρ, so that x Dm+D = ρ x m,n ρ +a ρ ρ. Then m x Dm+D defnes a map from P D M to the monomals n S α (the monomal s n S snce m P D, and t has degree α snce m M). Ths map s one-to-one snce M Z (1) s njectve, and t s easy to see that every monomal n S α arses n ths way. Then φ D (x Dm+D ) = χ m gves the desred somorphsm. The proof of the second part of the proposton s straghtforward and s omtted. We get the followng corollary (see [Fulton, 3.4]): Corollary 1.2. Let X be a complete torc varety. Then: () S α s fnte dmensonal for every α, and n partcular, S 0 = C. () If α = [D] for an effectve dvsor D = ρ a ρd ρ, then dm C S α = P D M. In the complete case, the graded rng S has some addtonal structure. Namely, there s a natural order relaton on the monomals of S defned as follows: f x D,x E S, then set x D < x E there s x F S wth x D x F, x D x F and deg(x F ) = deg(x E ). Ths relaton has the followng propertes: Lemma 1.3. When X s a complete torc varety, the order relaton defned above s transtve, antsymmetrc and multplcatve (meanng that x D < x E x D+F < x E+F ) on the monomals of S. Proof. The transtve and multplcatve propertes are trval to verfy. To prove antsymmety, note that x D x F and deg(x F ) = deg(x E ) mples that [E] [D] = [F] [D] = [F D] s the class of an effectve dvsor. Thus, f x D < x E and x E < x D, then [E] [D] and ts negatve are effectve classes. Snce X s complete, rreducble and reduced, we must have [D] = [E]. Then, for x F as above, we would have x F D S 0 C, whch would mply x F = x D. Ths contradcts the defnton of x D < x E, and antsymmetry s proved. In the case of P n, ths gves the usual orderng by total degree. For a complete smplcal torc varety X, we wll use the order relaton of Lemma 1.3 n 4 when we study the automorphsm group of X. An mportant observaton s that the theory developed so far depends only on the one-dmensonal cones (1) of the fan. More precsely, f and are fans n N wth (1) = (1), then A n 1 (X) = A n 1 (X ), and the correspondng rngs S and S are also equal as graded rngs. It follows that we cannot reconstruct the fan from S and ts gradng more nformaton s needed. The rng tells us about (1), but we need somethng else to tell us whch cones belong n. The crucal object s the followng deal of S. For a cone σ, let ˆσ be the dvsor ρ/ σ(1) D ρ, and let the correspondng monomal n S be xˆσ = ρ/ σ(1) x ρ. Then defne 4

5 B = B S to be the deal generated by the xˆσ,.e., B = xˆσ : σ S. Note the B s n fact generated by the xˆσ as σ ranges over the maxmal cones of. Also, f and are fans n N wth (1) = (1), then = f and only f the correspondng deals B,B S satsfy B = B. Ths follows because {xˆσ : σ s a maxmal cone of } s the unque mnmal bass of the monomal deal B. When X s a projectve space or weghted projectve space, the deal B s just the rrelevant deal x 0,...,x n C[x 0,...,x n ]. A basc theme of ths paper s that the par B S plays the role for an arbtrary torc varety that x 0,...,x n C[x 0,...,x n ] plays for projectve space. In partcular, we can thnk of the varety Z = V(B) = {x C (1) : xˆσ = 0 for all σ } C (1) as the exceptonal subset of C (1). In 2, we wll show how to construct the torc varety X from C (1) Z. Lemma 1.4. Z C (1) has codmenson at least two. Proof. Snce B = xˆρ : ρ (1) B, we have Z = V(B) V(B ). But V(B ) s the unon of all codmenson two coordnate subspaces, and the lemma follows. 2. Homogeneous Coordnates Gven a torc varety X, the Chow group A n 1 (X) defned n 1 s a fntely generated abelan group of rank d n, where d = (1). It follows that G = Hom Z (A n 1 (X),C ) s somorphctoaproductofthetorus(c ) d n andthefntegrouphom Z (A n 1 (X) tor,q/z). Furthermore, f we apply Hom(,C ) to the bottom exact sequence of (1), then we get the exact sequence 1 G (C ) (1) T 1, where T = N C = Hom Z (M,C ) s the torus actng on X. Note also that A n 1 (X) s naturally somorphc to the character group of G. Snce (C ) (1) acts naturally on C (1), the subgroup G (C ) (1) acts on C (1) by g t = (g([d ρ ])t ρ ) for g : A n 1 (X) C n G and t = (t ρ ) n C (1). We get a correspondng representaton of G on S = C[x ρ ], and gven a character α A n 1 (X) of G, the graded pece S α s the α-egenspace of ths representaton. Usng the acton of G on C (1), we can descrbe the torc varety X as follows: 5

6 Theorem 2.1. Let X be the torc varety determned by the fan, and let Z = V(B) C (1) be as n 1. Then: () The set C (1) Z s nvarant under the acton of the group G. () X s naturally somorphc to the categorcal quotent of C (1) Z by G. () X s the geometrc quotent of C (1) Z by G f and only f X s smplcal (.e., the fan s smplcal). Intheanalytccategory,part()ofTheorem2.1wasknowntoM.Audn(seeChapter VI of [Audn], whch mentons earler work by Delzant and Krwan), and versons of the theorem were known to V. Batyrev (unpublshed) and J. Fne (just now appearng n [Fne]). As ths paper was beng wrtten, I. Musson dscovered a result closely related to part () of the theorem (see [Musson]), and more recently he proved an analog of part (). In the frst verson of ths paper, part () only stated that the geometrc quotent exsts when X s smplcal. The referee asked f the converse were true, and smultaneously Musson proved ths n a slghtly dfferent content. Hs argument s used below. Proof of Theorem 2.1. Gven a cone σ, let U σ = C (1) V(xˆσ ) = {x C (1) : xˆσ 0}. Note that U σ s a G-nvarant affne open subset of C (1) and that C (1) Z = U σ. Ths proves part () of the theorem. For parts () and () of the theorem, we frst need to study the quotent of G actng on the affne varety U σ. The coordnate rng of U σ s the localzaton of S at xˆσ, whch we wll denote S σ. Note that S σ has a natural gradng by A n 1 (X). The followng lemma descrbes the degree zero part of S σ : Lemma 2.2. Let σ be a cone and let ˇσ M R be ts dual cone. Then there s a natural somorphsm of rngs C[ˇσ M] (S σ ) 0. σ Proof. Gven m M, let x D m = ρ x m,n ρ ρ, and note that x D m S σ m,n ρ 0 for all ρ σ(1) m ˇσ. Snce a monomal has degree zero f and only f t s of the form x D m for some m M, we get a one-to-one correspondence between ˇσ M and monomals n (S σ ) 0. Then the map sendng m ˇσ M to x D m (S σ ) 0 gves the desred rng somorphsm. The acton of G on U σ nduces an acton on S σ, and as we observed earler about S, the graded peces are the egenspaces for the characters of G. In partcular, the nvarants 6

7 of G actng on S σ are precsely the polynomals of degree zero. Thus Lemma 2.2 mples (S σ ) G = (S σ ) 0 C[ˇσ M]. Snce Gsareductve groupactng onthe affnescheme U σ, standard results from nvarant theory (see [Fogarty and Mumford, Theorem 1.1]) mply that the categorcal quotent s gven by U σ /G = Spec((S σ ) G ) = Spec(C[ˇσ M]). Thus U σ /G s the affne torc varety X σ determned by the cone σ. Note that X σ s an affne pece of the torc varety X. The next step s to see how the quotents U σ /G ft together as we vary σ. So let τ be a face of a cone σ. It s well-known that τ = σ {m} for some m ˇσ M. Then we can relate (S τ ) 0 and (S σ ) 0 as follows: Lemma 2.3. Let τ be a face of σ, and let m ˇσ M be as above. Under the somorphsm of Lemma 2.2, m maps to the monomal x D m = ρ x m,n ρ ρ (S σ ) 0. Then: () There s a natural dentfcaton () There s a commutatve dagram (S σ ) 0 = ( (S τ ) 0 )x D m. (S τ ) 0 (S σ ) 0 = ( (S τ ) 0 )x D m C[ˇτ M] C[ˇσ M] = C[ˇτ M] m where the horzontal maps are localzaton maps and the vertcal arrows are the somorphsms of Lemma 2.2. Proof. Snce τ σ {m}, x D m has postve exponent for x ρ when ρ σ(1) τ(1) and zero exponent when ρ τ(1). It follows mmedately that S τ = (S σ ) x Dm. Part () of the lemma follows snce localzaton commutes wth takng elements of degree zero (because x D m already has degree zero). It s trval to check that the dagram of part () commutes, and the lemma s proved. We can now prove part () of Theorem 2.1. Namely, Lemma 2.2 gves us categorcal quotents U σ /G = X σ, and by the compatblty of Lemma 2.3, these patch to gve a categorcal quotent (C (1) Z)/G = X. For part () of the theorem, frst assume that X s smplcal. To show that X s a geometrc quotent, t suffces to show that each X σ s the geometc quotent of G actng on U σ. By [Fogarty and Mumford, Amplfcaton 1.3], we need only show that the orbts of G actng on U σ are closed. 7

8 Fx a pont t = (t ρ ) of U σ. In Lemma 2.2 we saw that m ˇσ M gves the monomal x D m = ρ x m,n ρ ρ (S σ ) 0. Then consder the followng subvarety V U σ : V = {x = (x ρ ) U σ : x D m = t D m for all m ˇσ M}. We wll prove that V = G t. Frst observe that t V, and snce x D m s G-nvarant (t has degree zero), t follows that G t V. To prove the other ncluson, let u = (u ρ ) V. We must fnd g : A n 1 (X) C such that u ρ = g([d ρ ])t ρ for all ρ (1). The frst step s to show that (2) for all ρ (1), u ρ 0 t ρ 0. Note that (2) s trvally true when ρ / σ(1). So suppose that ρ σ(1). Snce X s smplcal, the set {n ρ : ρ σ(1)} s lnearly ndependent. Hence we can fnd m M such that m,n ρ > 0 and m,n ρ = 0 for all ρ σ(1) {ρ}. Settng a = m,n ρ > 0, we have u D m = ρ / σ(1) t D m = ρ / σ(1) u m,n ρ ρ u a ρ t m,n ρ ρ t a ρ. Snce these are equal, and snce u ρ and t ρ are nonzero for ρ / σ(1), t follows that u ρ 0 f and only f t ρ 0. Ths completes the proof of (2). Now let A = {ρ : t ρ = 0} = {ρ : u ρ = 0} and note that A σ(1). For ρ (1) A, set g A (D ρ ) = u ρ t ρ. Ths defnes a map g A : Z (1) A C. To relate ths to G = Hom Z (A n 1 (X),C ), let A : M Z A be the composton M Z (1) Z A, where the last map s projecton. Then we have the commutatve dagram M = M 0 A 0 Z (1) A Z (1) Z A 0 Z (1) A A n 1 (X) 0 0 8

9 Snce the columns and two mddle rows are exact, the snake lemma gves us an exact sequence (3) ker( A ) Z (1) A A n 1 (X). We next clam that g A (ker( A )) = {1}. An easy dagram chase shows that for m ker( A ), we have g A (m) = ud m t D m. When m ˇσ M, we know that u D m = t D m, so that g A (m) = 1 whenever m ˇσ ker( A ). If we can show that ths semgroup generates the group ker( A ), then our clam wll follow. But {n ρ : ρ σ(1)} s lnearly ndependent snce σ s smplcal. Hence we can fnd m M such that m,n ρ > 0 when ρ Σ(1) A, and m,n ρ = 0 when ρ A. Note that m ˇσ ker( A ). Now, gven any m ker( A ), we can pck an nteger N such that m+n m ˇσ ker( A ). Then m = (m+n m) N m shows that ˇσ ker( A ) generates ker( A ) as a group. Ths proves that g A (ker( A )) = {1}. From the exact sequence (3), t follows that g A : Z (1) A C nduces a map g A : à C, where à A n 1(X) s the mage of Z (1) A A n 1 (X). Snce C s njectve as an abelan group, g A extends to g : A n 1 (X) C. Thus g G, and t s straghtforward to check that u ρ = g([d ρ ])t ρ for all ρ. Then u G t, and we conclude that G t = V. Thus the orbts are closed and we have a geometrc quotent. To prove the converse, assume that X s not smplcal. The followng argument of I. Musson wll show that G has a non-closed orbt n C (1) Z. Let σ be a nonsmplcal cone, so that we have a relaton ρ σ(1) b ρn ρ = 0. We can assume that b ρ Z and that at least one b ρ > 0. Then set b ρ = 0 for ρ / σ(1). Applyng Hom Z (,Z) to the exact sequence at the bottom of (1), we see that φ(t)([d ρ ]) = t b ρ defnes an element of G for t C (n fact, φ(t) s a 1-parameter subgroup of G). Now consder u = (u ρ ) C (1), where u ρ = { 1 f ρ / σ(1) or mρ > 0 0 otherwse. It s easy to check that u and lm t 0 φ(t)(u) are n C (1) Z but le n dfferent G-orbts. Thus G u sn t closed n C (1) Z, and Theorem 2.1 s proved. The descrpton of X as a quotent of C (1) Z gves a new way of lookng at the torus acton on X. Namely, an element of the torus (C ) (1) gves an automorphsm of C (1) whch preserves Z. It also commutes wth the acton of G, so that we get an automorphsm of X by the unversal property of a categorcal quotent. Ths gves a map 9

10 (C ) (1) Aut(X), and the kernel s easly seen to be G (see 4 for a proof). Snce we have the exact sequence 1 G (C ) (1) T 1, t followsthat the torust snaturallyasubgroup of Aut(X). In 4, we wlldscuss Aut(X) n more detal. Note also that (C ) (1) C (1) Z, and thus, takng the quotent wth respect to G, we get the ncluson T X. For the fnal result of ths secton, we wll use Theorem 2.1 to study closed subsets (= reduced closed subschemes) of a smplcal torc varety X. Gven a graded deal I S, note that the set V(I) Z = {t C (1) Z : f(t) = 0 for all f I} C (1) Z s G-nvarant and closed n the Zarsk topology. Snce we have a geometrc quotent, the quotent map C (1) Z X s submersve (see [Fogarty and Mumford, Defnton 0.6]). Thus there s a one-to-one correspondence between G-nvarant closed sets n C (1) Z and closed sets n X. Hence V(I) Z determnes a closed subset of X whch we wll denote V X (I). By abuse of notaton, we can wrte V X (I) = {t X : f(t) = 0 for all f I}, provded we thnk of t as the homogeneous coordnates of a pont of X. The map sendng I S to V X (I) X has the followng propertes: Proposton 2.4. Let X be a smplcal torc varety, and let B = xˆσ : σ S be the deal defned n 1. () (The Torc Nullstellensatz) For any graded deal I S, we have V X (I) = f and only f B m I for some nteger m. () (The Torc Ideal Varety Correspondence) The map I V X (I) nduces a one-to-one correspondence between radcal graded deals of S contaned n B and closed subsets of X. Proof. () Snce V X (I) = n X f and only f V(I) Z = V(B) n C (1), the frst part of the proposton follows from the usual Nullstellensatz. () Gven a closed subset W C (1), we get the deal I(W) = {f S : f W = 0}. It s straghtforward to show that W s G-nvarant f and only f I(W) s a graded deal of S. Note also that B s radcal snce t s generated by squarefree monomals. Thus B = I(Z), 10

11 and we get one-to-one correspondences radcal graded deals of S contaned n B G-nvarant closed subsets of C (1) contanng Z G-nvarant closed subsets of C (1) Z, where the last correspondence s nduced by Zarsk closure snce Z s G-nvarant. The proposton now follows snce C (1) Z X s submersve. In 3, we wll generalze ths proposton by showng that there s a correspondence between graded S-modules and quas-coherent sheaves on X. 3. Graded Modules and Quas-coherent Sheaves In ths secton we wll explore the relaton between sheaves on a torc varety X and graded modules over ts homogeneous coordnate rng S. The theory we wll sketch s smlar to what happens for sheaves on P n (as gven n [Hartshorne] or [Serre]). An S-module F s graded f there s a drect sum decomposton F = α A n 1 (X) F α such that S α F β F α+β for allα,β A n 1 (X). Gven such a module F, we wllconstruct a quas-coherent sheaf F on X as follows. Frst, for σ, let S σ be the localzaton of S at xˆσ = ρ/ σ(1) x ρ. Then F σ = F S S σ s a graded S σ -module, so that takng elements of degree 0 gves a (S σ ) 0 -module (F σ ) 0. From the proof of Theorem 2.1, we know that X σ = Spec((S σ ) 0 ) s an affne open subset of X, and then standard theory tells us that (F σ ) 0 determnes a quas-coherent sheaf (F σ ) 0 on X σ. To see how these sheaves patch together, let τ be a face of σ. Then τ = σ {m } for some m ˇσ M, and as n Lemma 2.3, one can prove (F σ ) 0 = ( (F τ ) 0 )x D m where x D m = ρ x m,n ρ ρ. It follows mmedately that the sheaves (F σ ) 0 on X σ patch to gve a quas-coherent sheaf F on X. The map F F has the followng basc propertes of (we omt the smple proof): Proposton 3.1. The map sendng F to F s an exact functor from graded S-modules to quas-coherent O X -modules. As an example of how ths works, consder the S-module S(α), where S(α) β = S α+β for all β. We wll denote the sheaf S(α) by OX (α). If α = [D] for some T-nvarant dvsor 11

12 D, then there s an somorphsm (5) O X (α) O X (D). To prove ths, t suffces to fnd compatble somorphsms (S(α) σ ) 0 H 0 (X σ,o X (D)) for each affne open X σ of X. If D = ρ a ρd ρ, then [Fulton, 3.4] shows that ths s equvalent to fndng compatble somorphsms (S σ ) α m M m,nρ aρ for all ρ σ(1) C χ m. As n Proposton 1.1, we can map χ m to the monomal x D m+d = ρ x m,n ρ +a ρ (S σ ) α The compatblty of these maps s easly checked, gvng us the desred somorphsm (5). From (5), we see that S = O X. It follows easly that H 0 (X,O X (α)) s canoncally somorphc to S α, so that S α H0 (X,O X (α)). From (5), we also conclude that O X (α) s a coherent sheaf (see [Fulton, 3.4]). However, t need not be a lne bundle n fact, O X (α) s nvertble f and only f α s the class of a Carter dvsor. See [Dolgachev, 1.5] for an example of how O X (α) can fal to be nvertble when X s a weghted projectve space. Also note that the natural map (6) O X (α) OX O X (β) O X (α+β) need not be an somorphsm see [Dolgachev, 1.5] for an example. However, when O X (α) and O X (β) are nvertble, then (6) s an somorphsm. Our next task s to see whch sheaves on X come from graded S-modules. When X s smplcal, the answer s especally nce: Theorem 3.2. If X s a smplcal torc varety, then every quas-coherent sheaf on X s of the form F for some graded S-module F. Proof. The proof s smlar to the proof of the correspondng result n P n, as gven n [Hartshorne] or [Serre]. The argument requres standard facts about the behavor of sectons of lne bundles (see [Hartshorne, Lemma II.5.14]). As we observed above, O X (α) need not be a lne bundle. However, when X s smplcal, Pc(X) has fnte ndex n A n 1 (X) (ths follows from an exercse n [Fulton, 3.3]). Thus, gven any α, there s a postve nteger k such that O X (kα) s a lne bundle. 12

13 Gven a quas-coherent sheaf F on X, let F = α H0 (X,F OX O X (α)). Usng (6) and the natural somorphsm S α H 0 (X,O X (α)), we see that F has the natural structure of a graded S-module. Gven σ, let F σ = α H0 (X σ,f OX O X (α)) whch s a graded module over S σ. There s an obvous map φ σ : (F σ ) 0 (F σ ) 0 = H 0 (X σ,f). whch patch to gve φ : F F. To show that φ s an somorphsm, t suffces to show that φ σ s an somorphsm for all σ. An element of (F σ ) 0 s wrtten f/x D, where f H 0 (X,F OX O X (α)) and deg(x D ) = α. Snce f/x D = (x (k 1)D f)/x kd when k > 0, we can assume that O X (α) s a lne bundle. We can also assume that xˆσ dvdes x D, whch mples that X σ = {x X : x D 0}. Ths guarantees that [Hartshorne, Lemma II.5.14] apples, and from here, the proof follows the arguments n [Hartshorne, Proposton II.5.15] wthout change. We next study coherent sheaves on X: Proposton 3.3. Let X be a torc varety wth coordnate rng S. () If F s a fntely generated graded S-module, the F s a coherent sheaf on X. () If X s smplcal, then every coherent sheaf on X s of the form F for some fntely generated graded S-module F. Proof. () A set of homogeneous generators of F gves a surjectve map S( α ) F. By Proposton 3.1, we get a surjecton O X ( α ) F, and t follows that F s coherent. () Suppose that F s coherent. On the affne scheme X σ, we can fnd fntely many sectons f,σ H 0 (X σ,f) whch generate F over X σ. Snce X s smplcal, argung as n the proof of Theorem 3.2 shows that we can fnd some x D σ nvertble n S σ such that x D σ f,σ comes from a secton g,σ of F OX O X (α σ ), where α σ = deg(x D σ ). Now consder the graded S-module F F = α H 0 (X,F OX O X (α)) generated by the g,σ. Snce F F, we see that F F s njectve. Over X σ, we have f,σ = g,σ /x D σ (F σ) 0, and snce these sectons generate F over X σ, t follows that F F. The map sendng graded S-module F to the sheaf F s not njectve, and n fact, there are many nonzero modules whch gve the zero sheaf. To analyze ths phenomenon, we wll use the subgroup Pc(X) A n 1 (X). The followng lemma wll be helpful: 13

14 Lemma 3.4. If α Pc(X) A n 1 (X), then for every σ, we can wrte α n the form α = [ ρ/ σ(1) a ρd ρ ]. Proof. It s well-known (see, for example, the exercses n [Fulton, 3.3]) that f ρ b ρd ρ s a Carter dvsor, then for each σ, there s m M such that m,n ρ = b ρ for all ρ σ(1). It follows that D s lnearly equvalent to the dvsor ρ/ σ(1) (b ρ + m,n ρ )D ρ, and the lemma s proved. We can now descrbe whch fntely generated graded S-modules F correspond to the zero sheaf on X. In the projectve case, where S = C[x 0,...,x n ], ths happens f and only f F k = {0} for all k 0. Ths can be rephrased n terms of the rrelevant deal x 0,...,x n S: namely, F k = {0} for k 0 exactly when x 0,...,x n k F = {0} for some k. In the case of a smplcal torc varety, we can generalze ths as follows: Proposton 3.5. Let X be a smplcal torc varety, and let B S be the deal defned n 1. Then, for a fntely generated graded S-module F, we have F = 0 on X f and only f there s some k > 0 such that B k F α = {0} for all α Pc(X). Proof. Frst, suppose that B k F α = {0} for all α Pc(X). Then fx σ and take f/x D (F σ ) 0. Because X s smplcal, we know that l[d] Pc(X) for some l > 0. If we let α = l[d], then x (l 1)D f F α, and hence (xˆσ ) k x (l 1)D f = 0 for some k > 0. Ths easly mples f/x D = 0, and t follows that (F σ ) 0 = {0}. Thus F s the zero sheaf. Conversely, let F be a fntely generated graded S-module such that F = 0. Fx α Pc(X) and let f F α. By Lemma 3.4, we can wrte α = [D] where D = ρ/ σ(1) a ρd ρ. Then x D s an nvertble element n S σ, and hence f/x D (F σ ) 0 = {0}. Ths mples that (xˆσ ) k f = 0 for some k > 0. To show that we can get a k that works for all f F α and all α Pc(X), note that α Pc(X) SF α F s a submodule and hence s fntely generated. The proposton now follows easly. When X s a smooth torc varety, we know that Pc(X) = A n 1 (X). Hence we get the followng corollary of Proposton 3.5: Corollary 3.6. If X s a smooth torc varety and F s a fntely generated graded S- module, then F = 0 on X f and only f there s some k > 0 wth B k F = {0}. To see how Corollary 3.6 can fal when X not smooth, consder X = P(1,1,2). Here, S = C[x,y,z], where x,y have degree 1 and z has degree 2, and B = x,y,z. The graded F = S(1)/(xS(1)+yS(1)) has only elements of odd degree. Then (F z ) 0 = {0} snce z has degree 2, and t s clear that (F x ) 0 = (F y ) 0 = {0}. It follows that F = 0, yet one easly checks that B k F = z k F {0} for all k. Thus Corollary 3.6 does not hold. We wll end ths secton wth a study of the deal-varety correspondence. Our goal s to refne what we dd n Proposton 2.4 by takng the scheme structure nto account. 14

15 Frst note that f I S s a graded deal, then by exactness we get an deal sheaf Ĩ O X. Hence I S determnes the closed subscheme Y X wth O Y = O X /Ĩ. The followng theorem tells us whch subschemes of X arse n ths way: Theorem 3.7. Let X be a smplcal torc varety, and let B S be as usual. () Every closed subscheme of X comes from a graded deal of S (as descrbed above). () Two graded deals I and J of S correspond to the same closed subscheme of X f and only (I:B ) α = (J:B ) α for all α Pc(X). Proof. () Gven an deal sheaf I O X, let I = α H 0 (X,I OX O X (α)). Snce X s smplcal, we know that Ĩ = I. The map I S factors I I S, whch gves maps I Ĩ O X by exactness. Snce the composton s I O X, t follows that I = Ĩ. () Frst, note that f I s graded, then so s I:B. Now, gven graded deals I,J S, assume that Ĩ = J. Then for every σ, we have (I σ ) 0 = (J σ ) 0 n (S σ ) 0. Let α Pc(X) and pck u (I:B ) α. For k suffcently large, we have (xˆσ ) k u I. Increasng k f necessary, we can assume that β = kdeg(xˆσ ) Pc(X). Thus α+β Pc(X), so Lemma 3.4 mples α + β = [D], where D = ρ/ σ(1) a ρd ρ. Then ((xˆσ ) k u)/x D (I σ ) 0 = (J σ ) 0, whch mplesthat (xˆσ ) k+l u J for somel > 0. Thsstruefor allσ, so that u (J:B ) α. The other ncluson (J:B ) α (I:B ) α follows by symmetry, and equalty s proved. Conversely, suppose (I:B ) α = (J:B ) α for all α Pc(X). To prove Ĩ = J, t suffces to show that (I σ ) 0 = (J σ ) 0 for all σ. But gven u (I σ ) 0, we know that u = f/(xˆσ ) k, and we can assume that α = deg(f) Pc(X). Then f I α (I:B ) α = (J:B ) α. Ths easly mples u = f/(xˆσ ) k s n (J σ ) 0. Thus (I σ ) 0 (J σ ) 0, and the opposte ncluson follows by symmetry. Ths completes the proof of the theorem. As an example, consder the deal I = x ρ for some fxed ρ (1). We wll show that the correspondng subscheme of X s the dvsor D ρ. Gven σ, we need to study (I σ ) 0. If ρ σ(1), then t s easy to check that under the somorphsm (S σ ) 0 C[ˇσ M], we have (I σ ) 0 m M m,σ 0 m,nρ >0 C χ m. By an exercse n [Fulton, 3.1], ths s exactly the deal of D ρ n the affne pece X σ X. On the other hand, f ρ / σ(1), then (I σ ) 0 = 1, whch s consstent wth D ρ X σ =. Thus D ρ s defned scheme-theoretcally by the deal x ρ. In partcular, D ρ has the global equaton x ρ = 0 even though t may not be a Carter dvsor. In the smooth case, Theorem 3.7 has some nce consequences. We say that an deal I S s B-saturated f I:B = I. Then we have: Corollary 3.8. Let X be a smooth torc varety. 15

16 () Two graded deals I and J of S gve the same closed subscheme of X f and only f I:B = J:B. () There s a one-to-one correspondence between closed subschemes of X and graded B-saturated deals of S. Proof. Part () follows from Theorem 3.7 snce Pc(X) = A n 1 (X), and part () follows mmedately snce an deal s B-saturated f and only f t s of the form J:B. When X s smooth, Corollary 3.8 gves a one-to-one correspondence between radcal graded B-saturated deals of S and closed reduced subschemes of X. Ths s slghtly dfferent from the correspondence gven n Proposton 2.4, where we used radcal deals contaned n B. However, the maps I radcal, graded, B-saturated I B J radcal, graded, contaned n B J:B gve bjectons between these two classes of radcal graded deals, so the two descrptons of reduced subschemes are compatble. Fnally, one could ask f there s an analog of Corollary 3.8 n the smplcal case. There are two ways to approach ths problem. One way s to work wth the followng specal class of graded deals. We say that a graded deal I S s Pc-generated f I s generated by homogeneous elements whose degrees le n Pc(X), and I s Pc-saturated f I α = (I:B) α for all α Pc(X). For example, f I s any graded deal, t s easy to check that α Pc(X) S(I:B ) α s both Pc-generated and Pc-saturated. Then one can prove the followng result (we wll omt the proof): Corollary 3.9. If X s a smplcal torc varety, then there s a one-to-one correspondence between closed subschemes of X and graded deals of S whch are Pc-generated and Pcsaturated. Another way to study sheaves on X s to replace the rng S wth the subrng (7) R = α Pc(X) S α. When X s smplcal, we know that Pc(X) A n 1 (X) has fnte ndex. Thus H = Hom Z (A n 1 (X)/Pc(X),C ) G = Hom Z (A n 1 (X),C ) s a fnte subgroup of G, and R = S H under the acton of H on S. It follows that Y = Spec(R) s the quotent of C (1) under the acton of H. Furthermore, f we set B = B R and let Z = V(B ) Y, then t s easy to see that Y Z = (C (1) Z)/H. There s also a natural acton of Hom Z (Pc(X),C ) on Y Z, and Theorem 2.1 mples the followng result: 16

17 Theorem If X s a smplcal torc varety and Y = Spec(R), where R s the rng (7), then X s the geometrc quotent of the acton of Hom Z (Pc(X),C ) on Y Z. Although the rng R may not be a polynomal rng, the relaton between sheaves and R-modules s ncer than the relaton between sheaves and S-modules. It s easy to show that a graded R-module F (where the gradng s now gven by Pc(X)) gves a sheaf F on X. Then one can prove the followng result (we omt the proof snce the arguments are smlar to what we dd above): Theorem If X s a smplcal torc varety and R s the rng defned n (7), then: () The map sendng a graded R-module F to F s an exact functor. () All quas-coherent sheaves on X arse n ths way. () F s coherent when F s fntely generated, and ths gves all coherent sheaves on X. (v) If F s fntely generated, then F = 0 f and only f B k F = {0} for some k > 0 (where B = B R). Fnally, a graded deal I R gves an deal sheaf Ĩ O X, so that I determnes a closed subscheme of X. We wll omt the proof of the followng result: Theorem If X s a smplcal torc varety and R s the rng defned n (7), then: () Every closed subscheme of X comes from some graded deal of R. () Two graded deals I,J gve the same closed subscheme f and only f I:B = J:B (where B = B R). () There s a one-to-one correspondence between graded B -saturated deals of R and closed subschemes of X. 4. The Automorphsm Group Ths secton wll use the graded rng S to gve an explct descrpton of the automorphsm group Aut(X) of a complete smplcal torc varety X. To see what sort of results to expect, consder P n (C n+1 {0})/C. Notce that Aut(P n ) = PGL(n+1,C) doesn t act on C n+1 {0}; rather, we must use GL(n+1,C), whch s related to PGL(n+1,C) by the exact sequence 1 C GL(n+1,C) PGL(n+1,C) 1. For a complete smplcal torc varety X, we know X (C (1) Z)/G by Theorem 2.1. Then the analog of GL(n+1,C) wll be the followng par of groups: Defnton 4.1. () Ãut(X) s the normalzer of G n the automorphsm group of C (1) Z. () Ãut0 (X) s the centralzer of G n the automorphsm group of C (1) Z. 17

18 It sclear that Ãut0 (X) Ãut(X)s a normal subgroup. Note also that every element of Ãut(X) preserves G-orbts and hence descends to an automorphsm of X. Thus we get a natural homomorphsm Ãut(X) Aut(X). We can now state the man result of ths secton: Theorem 4.2. Let X be a complete smplcal torc varety, and let S = C[x ρ ] be ts homogeneous coordnate rng. Then: () Ãut(X) s an affne algebrac group of dmenson ρ dm CS deg(xρ ), and Ãut0 (X) s the connected component of the dentty. () The natural map Ãut(X) Aut(X) nduces an exact sequence 1 G Ãut(X) Aut(X) 1. () Ãut0 (X) s naturally somorphc to the group Aut g (S) of graded C-algebra automorphsms of S. In the smooth case, ths theorem follows from results of [Demazure]. Before we can begn the proof of Theorem 4.2, we need to study the group Aut g (S). Consder the set End g (S) of graded C-algebra homomorphsms φ : S S whch satsfy φ(1) = 1. Snce X s complete, we know that S 0 = C, and t follows that S + = α 0 S α s closed under multplcaton. Thus there s a natural bjecton End g (S) End g (S + ). Snce S + has no dentty to worry about, End g (S + ) has a natural structure as a C-algebra, and n ths way we can regard End g (S) as a C-algebra. Note that an element φ End g (S) s unquely determned by φ(x ρ ) S deg(xρ ) for ρ (1). Furthermore, each S deg(xρ ) s fnte dmensonal snce X s complete, so that End g (S) s a fnte dmensonal C-algebra. Snce Aut g (S) s the set of nvertble elements of End g (S), standard arguments show that Aut g (S) s an affne algebrac group. To descrbe the structure of ths group n more detal, we wll use the equvalence relaton on (1) defned by ρ ρ deg(x ρ ) = deg(x ρ ) n A n 1 (X). Ths parttons (1) nto dsjont subsets 1 s, where each corresponds to a set of varables of the same degree α. Then each S α can be wrtten as (7) S α = S α S α where S α s spanned by the x ρ for ρ, and S α s spanned by the remanng monomals n S α (all of whch are the product of at least two varables). Before we state our next result, note that the torus (C ) (1) can be regarded as a subgroup of Aut g (S) snce t = (t ρ ) (C ) (1) gves the graded automorphsm φ t : S S defned by φ t (x ρ ) = t ρ x ρ. Then thegroup structure of Aut g (S) canbe descrbed asfollows: 18

19 Proposton 4.3. Let X be a complete torc varety, and let S be ts homogeneous coordnate rng. Then: () Aut g (S) s a connected affne algebrac group of dmenson s =1 dm C S α, and (C ) (1) Aut g (S) s ts maxmal torus. () The unpotent radcal R u of Aut g (S) s somorphc as a varety to an affne space of dmenson s =1 (dm C S α ). () Aut g (S) contans a subgroup G s somorphc to the reductve group s =1 GL(S α ) of dmenson s =1 2. (v) Aut g (S) s somorphc to the semdrect product R u G s. Proof. We frst study the structure of the C-algebra End g (S). We have a natural vector space somorphsm End g (S) s =1 Hom C(S α,s α ) snce S α s spanned by x ρ for ρ and a graded homomorphsm φ : S S s unquely determnedbyφ(x ρ ) S α. Thenthedrectsumdecomposton(7)gvesanexactsequence (8) 0 s =1 Hom C(S α,s α Ψ ) End g (S) s =1 End C(S α ) 0. Notce that Ψ s a rng homomorphsm. Ths follows mmedately from the observaton that φ(s α ) S α for any φ End g (S). Thus we can regard N = s =1 Hom C(S α,s α ) as an deal of End g (S). Note that φ N f and only f φ(x ρ ) S α for ρ. We clam that every element of N s nlpotent. To prove ths, we wll use the order relaton on the monomals of S defned n Lemma 1.3. For varables, the relaton s defned by x ρ < x ρ f and only f there s a monomal x D wth deg(x D ) = deg(x ρ ), x ρ x D, and x ρ x D. If deg(x ρ ) = α, ths s equvalent to the exstence of x D S α wth x ρ x D. Gven φ N, let N(φ) the be number of varables x ρ for whch φ(x ρ ) = 0. If N(φ) = (1), then φ = 0 and we are done. If N(φ) < (1), then look at the varables whereφdoesn tvanshandpckone, sayx ρ,whchsmnmal wthrespectto<. Wecando ths because X s complete and hence < s antsymmetrc by Lemma 1.3. If deg(x ρ ) = α, then as we noted above, x ρ < x ρ for any varable x ρ dvdng a monomal n S α. By the mnmalty of x ρ, t follows that φ(x ρ ) = 0, and consequently φ(s α ) = 0. Ths mples that φ 2 (x ρ ) = 0 snce φ(x ρ ) S α. We conclude that N(φ 2 ) > N(φ) snce φ 2 also vanshes on every varable klled by φ. The same argument apples to φ 2,φ 4,φ 8,... N, and t follows that some power of φ must be zero. Thus φ s nlpotent as clamed. Once we know that N s a nlpotent deal, t follows that every element of 1 +N s nvertble, so that 1+N s a unpotent subgroup of Aut g (S). From the exact sequence (8), wealsoseethataelement φ End g (S)snvertblefandonlyftsmagen s =1 GL(S α ) s nvertble. From ths, t follows that we get an exact sequence (9) 1 1+N Aut g (S) s =1 GL(S α ) 1. 19

20 Snce s =1 GL(S α ) s a reductve group, t follows that 1+N s the unpotent radcal of Aut g (S). Then part () ofthe propostonfollowsbecause as a varety, wehave 1+N N, whch s an affne space of the requred dmenson. To prove part (), observe that we have a map s : s =1 End C(S α ) End g (S) where (φ ) s =1 End C(S α ) maps to the homomorphsm φ defned by φ(x ρ ) = φ (x ρ ) when ρ. It s easy to check that s s a rng homomorphsm whch s a secton of the map Ψ of (8). It follows that s nduces a map s : s =1 GL(S α ) Aut g (S) whch s a secton of the exact sequence (9). The mage G s of s s a subgroup of Aut g (S) somorphc to s =1 GL(S α ), and thus Aut g (S) s the semdrect product of (1+N) G s. Ths proves parts () and (v), and then part () now follows mmedately. We wll next study the roots of Aut(X) as defned by Demazure. Recall that the roots of the complete torc varety X are the set R(N, ) = {m M : ρ (1) wth m,n ρ = 1 and m,n ρ 0 for ρ ρ} (see [Demazure, 3.1] or [Oda, 3.4]). We dvde the roots R(N, ) nto two classes as follows: R s (N, ) = R(N, ) ( R(N, )) R u (N, ) = R(N, ) R s (N, ). The roots n R s (N, ) are called the semsmple roots. We can descrbe R(N, ) and R s (N, ) n terms of the graded rng S as follows: Lemma 4.4. There s are one-to-one correspondences R(N, ) {(x ρ,x D ) : x D S s a monomal, x D x ρ, deg(x D ) = deg(x ρ )} R s (N, ) {(x ρ,x ρ ) : x ρ x ρ, deg(x ρ ) = deg(x ρ )}. Proof. Gven m R(N, ), we have ρ wth m,n ρ = 1 and m,n ρ 0 for ρ ρ. Then consder the map ( m x ρ, ) x m,n ρ ρ. ρ ρ Snce m s a root, the second component has nonnegatve exponents and hence s a monomal x D S. It s also clear that x ρ and x D are dstnct and have the same degree. Ths map s njectve because M Z (1) s njectve. To see that t s surjectve, suppose we have x ρ x D of the same degree n S. A frst observaton s that x ρ x D, 20

21 for otherwse we could wrte x D = x ρ x E, and t would follow that x E S would have degree zero. Yet X complete mples S 0 = C, so that x E must be constant. Ths would force x ρ = x D, whch s mpossble. Then, wrtng x D = ρ ρ xa ρ ρ, the defnton of deg(x ρ ) = deg(x D ) mples there s m M wth 1 = m,n ρ +0, 0 = m,n ρ +a ρ for ρ ρ. Thus m s a root mappng to the par (x ρ,x D ). The correspondence for semsmple roots follows easly from the observaton that f m (x ρ,x D ) and m (x ρ,x D ), then x D = x ρ. Ths lemma allows us to thnk of semsmple roots as pars of dstnct varables of the same degree. Gven a root m R(N, ), we have the correspondng par (x ρ,x D ). Then, for λ C, consder the map y m (λ) : S S defned by y m (λ)(x ρ ) = x ρ + λx D and y m (λ)(x ρ ) = x ρ for ρ ρ. It s easy to see that y m (λ) gves a one parameter group of graded automorphsms of S, so that y m (λ) Aut g (S). We can relate the y m (λ) to Aut g (S) as follows: Proposton 4.5. Let X be a complete torc varety. Then Aut g (S) s generated by the torus (C ) (1) and the one parameter subgroups y m (λ) for m R(N, ). Proof. In Proposton 4.3, we gave showed that Aut g (S) was the semdrect product Aut g (S) (1+N) G s, where G s s =1 GL(S α ). In ths decomposton, we know from Proposton 4.3 that (C ) (1) Aut g (S) s the maxmal torus and hence les n G s. Frst suppose that m (x ρ,x ρ ) s n R s (N, ). Then, lettng α = deg(x ρ ), we have x ρ,x ρ S α n the drect sum (7). Snce y m (λ)(x ρ ) = x ρ +λx ρ and y m (λ)(x ρ ) = x ρ for ρ ρ, t follows that y m (λ) G s, and n fact, the y m (λ) correspond to the roots of G s = s =1 GL(S α ) n the usual sense of algebrac groups. Snce any reductve group s generated by ts maxmal torus and the one parameter subgroups gven by ts roots, t follows that G s s generated by (C ) (1) and the y m (λ) for m R s (N, ). Next, suppose that m (x ρ,x D ) s a root n R u (N, ). If we set α = deg(x ρ ), then x D S α n the drect sum (7). It follows that y m (λ) 1+N. We clam that 1+N s generated by the y m (λ) for m R u (N, ). To prove ths, suppose that φ 1 + N. If φ(x ρ ) = x ρ +u ρ, where u ρ S α, then defne the weght of φ to be the sum w(φ) = ρ number of nonzero coeffcents of u ρ. 21

22 Note the φ s the dentty f and only f w(φ) = 0. If φ s not the dentty, then we can use the orderng of varables from the proof of Proposton 4.3 to pck a x ρ wth u ρ 0 such that x ρ s maxmal wth respect to ths property. Let λx D s a nonzero term of u ρ, so that u ρ = λx D +u ρ. Then (x ρ,x D ) corresponds to a root m R u (N, ), and we have (10) y m ( λ) φ(x ρ ) = y m ( λ)(x ρ +λx D +u ρ ) = x ρ +u ρ snce none of the monomals n u ρ = λx D +u ρ nvolve x ρ. Next suppose that ρ ρ. Then x ρ doesn t appear n any monomal n u ρ, for f t dd, we would have x ρ < x ρ, whch would contradct the maxmalty of x ρ. Thus φ(x ρ ) = x ρ + u ρ only nvolves varables dfferent from x ρ, and hence (11) y m ( λ) φ(x ρ ) = φ(x ρ ) for ρ ρ. From (10) and (11) we conclude that w(y m ( λ) φ) < w(φ), and from here t s easy to see φ can be wrtten n terms of the y m (λ). Ths shows that 1+N s generated by the y m (λ) for m R u (N, ). Gven the generators we ve found for G s and 1 +N, the proposton follows now mmedately. Our next task s to relate Aut g (S) to the group Ãut0 (X) of Defnton 4.1. Every φ Aut g (S) gves an automorphsm φ : C (1) C (1) whch sends t = (t ρ ) C (1) to φ (t) = (φ(x ρ )(t)) (the notaton φ(x ρ )(t) means the polynomal φ(x ρ ) evaluated at the pont t). It s easy to check that φ whch commutes wth the acton of G. Our next step s to show that φ preserves C (1) Z C (1) : Proposton 4.6. Assume that X s a complete smplcal torc varety, and let φ : C (1) C (1) s the automorphsm determned by φ Aut g (S). Then φ preserves C (1) Σ, commutes wth G, and hence les n Ãut0 (X). Proof. Every element of (C ) (1) clearly preserves C (1) Z, so that by Proposton 4.5, t suffces to prove the proposton when φ = y m (λ), where m s a root n R(N, ). Also, t suffces toshow that y m (λ) (C (1) Z) C (1) Z. To prove ths, suppose m (x ρ,x D ). We wll wrte a pont of C (1) as t = (t ρ,t), where t s a vector ndexed by (1) {ρ}. Then y m (λ) s gven by y m (λ) (t ρ,t) = (t ρ +λt D,t), where t D s the monomal x D evaluated at t (ths makes sense snce x ρ x D ). As n the proof of Theorem 2.1, wrte C (1) Z = σ U σ, where U σ = {t C (1) : tˆσ 0}. Recall that xˆσ = ρ/ σ(1) x ρ. Now let t = (t ρ,t) U σ, and set u = y m (λ) (t) = (t ρ + λt D,t). We wll show that u U τ for some τ by an argument smlar to Proposton 3.14 of [Oda]. When ρ σ(1), we have uˆσ = tˆσ 0, so that u U σ. So suppose that ρ / σ(1). Snce m,n ρ = 1 and m,n ρ 0 for ρ ρ, t follows that 22

23 ˇσ {m} s a face of σ such that ρ s on one sde of {m} and all of the other onedmensonal cones of are on the other sde. But s complete, so ρ and ˆσ {m} must be faces of some cone of whch s on the same sde of {m} as ρ. Snce s smplcal, t follows that τ = ρ+ ˆσ {m} must be a cone of. There are now two cases to consder: Case 1: If tˆτ 0, then snce ρ τ(1), we have uˆτ = tˆτ 0. Thus u U τ. Case 2: If tˆτ = 0, then t ρ0 = 0 for some ρ 0 / τ(1). Snce τ = ρ+ ˆσ {m}, ths means m,n ρ0 > 0. Then ρ ρ t m,n ρ ρ = 0, whch mples uˆσ = (t ρ +λ ) t m,n ρ ρ t ρ = ( t ρ +0 ) t ρ = tˆσ 0. ρ ρ It follows that u U σ. ρ / σ(1) {ρ} ρ / σ(1) {ρ} Thus y m (λ) preserves C (1) Z, and the proposton s proved. We can now begn the proof of Theorem 4.2: Proof of Theorem 4.2. We frst prove part () of the theorem, whch asserts that Aut g (S) s naturally somorphc to Ãut0 (X). From Proposton 4.6, the map sendng φ to φ 1 defnes a group homomorphsm (12) Aut g (S) Ãut0 (X). Ths map s easly seen to be njectve. To see that t s surjectve, suppose that ψ : C (1) Z C (1) Z s G-equvarant. Then for any ρ we get x ρ ψ : C (1) Z C, and snce Σ has codmenson 2 by Lemma 1.4, purty of the branch locus mples that x ρ ψ extends to a polynomal u ρ defned on C (1). Snce ψ commutes wth the acton of G, t follows that u ρ s homogeneous and deg(u ρ ) = deg(x ρ ). Then φ(x ρ ) = u ρ defnes a graded homomorphsm φ : S S wth the property that φ = ψ. To see that φ s an somorphsm, apply the above argument to ψ 1. Ths shows that (12) s an somorphsm, and part () of Theorem 4.2 s done. We now turn to part () of the theorem, whch asserts that we have an exact sequence 1 G Ãut(X) Aut(X) 1. It s obvous that every element of G gves the dentty automorphsm of X. Conversely, suppose that φ Ãut(X) nduces the dentty automorphsm on X. We need to show that φ G. Our assumpton mples that φ(y) = Y for every G-nvarant Y C (1) Z, so that n partcular, φ(u ρ ) = U ρ for every ρ (1). Snce U ρ = Spec(S ρ ), we get an nduced map φ : S ρ S ρ, and hence φ (S) ρ S ρ. It s easy to see that ρ S ρ = S, and t follows that φ (S) S. Thus, for every ρ, we have φ (x ρ ) = A ρ S. Note, however, that A ρ need not be homogeneous of degree deg(x ρ ). 23

24 Snce V(x ρ ) Z C (1) Z s also G-nvarant, t s stable under φ. But the ρth coordnate of φ(t) s A ρ (t), so that A ρ vanshes on V(x ρ ) Z. Snce Z has codmenson 2, we conclude that A ρ vanshes on V(x ρ ). The Nullstellensatz mples that x ρ A ρ, and hence φ (x ρ ) = x ρ B ρ for some B ρ S. The same argument appled to φ 1 shows that φ 1 (x ρ ) = x ρ C ρ for some C ρ S. Then x ρ = φ φ 1 (x ρ ) = φ (x ρ C ρ ) = x ρ B ρ φ (C ρ ). Ths mples that 1 = B ρ φ (C ρ ) n the polynomal rng S = C[x ρ ], so that B ρ s a nonzero constant. Thus φ = (B ρ ) (C ) (1). Snce φ nduces the dentty on T X, the exact sequence 1 G (C ) (1) T 1 shows that φ G as clamed. Ths proves that G s the kernel of Ãut(X) Aut(X). We stll need to prove that Ãut(X) Aut(X) s onto. We wll frst show that there s an exact sequence (13) 1 G Ãut0 (X) Aut(X) Aut(A n 1 (X)). The map Aut(X) Aut(A n 1 (X)) s nduced by drect mage of dvsors: gven φ Aut(X), a dvsor class [ a D ] maps to [ a φ(d)]. Toshow exactness, letψ Ãut0 (X). Weneedtoshowthatthenduced automorphsm ofx, whchwllalsobedenotedψ, sthedenttyona n 1 (X). Bypart()ofthetheorem, we can wrte ψ(t) = (u ρ (t)) where u ρ S deg(xρ ). If D ρ = V(x ρ) Z, then dv(u ρ /x ρ ) = ψ 1 (D ρ ) D ρ n C (1) Z. Snce u ρ and x ρ have the same degree, the quotent u ρ /x ρ s G-nvarant and descends to a ratonal functon on X. Then t follows mmedately that dv(u ρ /x ρ ) = ψ 1 (D ρ ) D ρ n X. Ths shows that [ψ 1 (D ρ )] = [D ρ ], so that ψ nduces the dentty on A n 1 (X). Next, assume that φ Aut(X) nduces the dentty on A n 1 (X). We need to show that φ comes from an element of Ãut0 (X). Fx ρ (1), and let α = deg(x ρ ) = [D ρ ]. Snce [φ 1 (D ρ )] = [D ρ ] n A n 1 (X), we can fnd a ratonal functon g ρ on X such that dv(g ρ ) = φ 1 (D ρ ) D ρ. Then dv(g ρ ) + D ρ 0, whch mples g ρ H 0 (X,O X (D ρ )). Usng the somorphsm H 0 (X,O X (D ρ )) S α from Proposton 1.1, we can wrte g ρ = u ρ /x ρ for some u ρ S α. Note that u ρ s only determned up to a constant. We wll choose the constant as follows. 24

25 Gven m M, ρ x m,n ρ ρ and ρ u m,n ρ ρ dv ( ρ u m,n ρ ρ are ratonal functons on X. Then ) = dv ( ρ (u ρ/x ρ ) ) m,n ρ +dv ( ) ρ x m,n ρ ρ = ρ m,n ρ (φ 1 (D ρ ) D ρ )+ ρ m,n ρ D ρ = φ 1( ρ m,n ) ( ( ) ) ρ D ρ = dv ρ x m,n ρ ρ φ. Ths mples that there s γ(m) C such that γ(m) ρ u m,n ρ ρ = ( ) ρ x m,n ρ φ. It s easy to see that γ : M C s a homomorphsm, whch mples that γ T. The map (C ) (1) T ssurjectve, sothattherest = (t ρ ) (C ) (1) suchthatγ(m) = ρ t m,n ρ ρ for all m M. Thus, f we replace u ρ by t ρ u ρ, then for m M, we have ρ (14) ρ = ( ) ρ x m,n ρ φ. ρ u m,n ρ ρ Now defne ψ : S S by ψ(x ρ ) = u ρ, and consder the dagram: S α x 1 ρ H 0 (X,O X (D ρ )) ψ φ H 0 (X,O X (φ 1 (D ρ ))) u ρ /x ρ S α x 1 ρ H 0 (X,O X (D ρ )) Here, the vertcal arrows are the somorphsms gven by Proposton 1.1. Also, φ maps g H 0 (X,O X (D ρ )) to g φ H 0 (X,O X (φ 1 (D ρ ))), and the fnal map on the bottom takes g H 0 (X,O X (φ 1 (D ρ ))) to g (u ρ /x ρ ) H 0 (X,O X (D ρ )). To see that the dagram commutes, let u S α be a monomal. Usng the left and bottom maps, we get u x ρ φ uρ x ρ H 0 (X,O X (D ρ )). However, snce u and x ρ have the same degree, we can wrte u/x ρ = ρ x m,n ρ ρ m M. Then (14) easly mples that (u/x ρ ) φ = ψ(u)/u ρ, so that for some u x ρ φ uρ x ρ = ψ(u) u ρ uρ x ρ = ψ(u) x ρ. Ths shows that the above dagram commutes. Snce the maps on the bottom are clearly somorphsms, t follows that ψ Sα s an somorphsm. Ths shows that ψ Aut g (S), and then Proposton 4.6 gves ψ Ãut0 (X). From ψ we get at automorphsm of X whch we wll also denote by ψ. Snce u ρ = x ρ ψ on C (1) Z, t follows that for any m M, we have ρ = ( ) ρ x m,n ρ ψ. ρ u m,n ρ 25 ρ