arxiv: v3 [math.ag] 16 Nov 2017

Transcription

1 EXTREMAL RAYS IN THE HERMITIAN EIGENVALUE PROBLEM PRAKASH BELKALE arxv: v3 [math.ag] 16 Nov 2017 Abstract. The Hermtan egenvalue problem asks for the possble egenvalues of a sum of n n Hermtan matrces, gven the egenvalues of the summands. The regular faces of the cones Γ n(s) controllng ths problem have been characterzed n terms of classcal Schubert calculus by the work of several authors. We determne extremal rays of Γ n(s) (whch are never regular faces) by relatng them to the geometry of flag varetes: The extremal rays ether arse from modular ntersecton loc, or by nducton from extremal rays of smaller groups. Explct formulas are gven for both the extremal rays comng from such ntersecton loc, and for the nducton maps. 1. Introducton The classcal Hermtan egenvalue problem asks for the possble egenvalues of a sum of Hermtan matrces gven the egenvalues of the summands (see the survey [Ful00]) We frst ntroduce notaton for the Hermtan egenvalue problem. Defnton 1.1. Defne the polyhedral cone (1.1) h +,n = {x = (x (1),..., x (n) ) R n n x (a) = 0, x (1) x (2) x (n) }. a=1 Let s 3 be a fxed nteger. Defne the egencone Γ n (s) (h +,n ) s to the set of s-tuples (x 1,..., x s ) such that there exst traceless n n Hermtan matrces A 1,..., A s, such that (1) For all 1 s, the egenvalues of A are the numbers x (a), a = 1,..., n. Here x =,..., x (n) (x (1) ). (2) s =1 A = 0. Γ n (s) s well known to be a ratonal polyhedral cone, see e.g., [Ful00]. The walls of Γ n (s) obtaned by ntersectng t wth walls of h s +,n are called the (Weyl) chamber walls of Γ n (s). Note the standard fact that the space of traceless Hermtan matrces s dentfed wth the Le algebra of the specal untary group SU(n). We consder the followng problem Problem 1.2. Fnd the extremal rays of the cone Γ n (s). It was shown by Klyachko [Kly98] that the cone Γ n (s) s defned nsde the set of trples (x 1,..., x s ) by a system of nequaltes controlled by the Schubert calculus of Grassmannans Gr(r, n). In [Bel01], the ntersecton number one Klyachko nequaltes were shown to be suffcent for cuttng out the polyhedral cone Γ n (s). Ths smaller set of nequaltes was then shown to gve an rredundant set by Knutson, Tao and Woodward [KTW04], amountng to a characterzaton of the regular facets (.e., codmenson one faces whch are not contaned n (Weyl) chamber walls n one of the coordnates, see Defnton 1.1) of Γ n (s). Hgher codmenson regular faces (.e., not contaned n a Weyl chamber 1

2 2 PRAKASH BELKALE wall) have been characterzed by Ressayre [Res11] n terms of the deformed cup product on the cohomology of flag varetes ntroduced by the author and S. Kumar n [BK06]. Extremal rays,.e., faces of dmenson one, of Γ n (s), are on Weyl chamber walls (see Lemma 4.1), are therefore not regular faces of Γ n (s), and the above results on regular faces do not gve nformaton about the extremal rays of Γ n (s). The problem above s related to a problem of nvarants n tensor products, whch we now descrbe; 1.1. Invarants n tensor products. Defne the ratonal Weyl chamber, n (1.2) h +,n, = {x = (x (1),..., x (n) ) n x (a) = 0, x (1) x (2) x (n) } a=1 and the ratonal Cartan vector space whch contans (1.2) (1.3) h n, = {x = (x (1),..., x (n) ) n n x (a) = 0}. Recall that rreducble representatons of GL(n) are parameterzed by sequences λ = (λ (1),..., λ (n) ) Z n wth λ (1) λ (2) λ (n). We denote the rreducble representaton correspondng to λ by V λ. Two representatons V λ and V µ restrct to the same representaton of SL(n) f and only f λ = µ + c(1,..., 1) for some nteger c. The set of rreducble representatons of SL(n) s therefore n one-one correspondence wth the set of λ as above wth λ n = 0, whch n turn s n one-one correspondence wth the set of domnant ntegral weghts n h n,. Recall the Kllng form somorphsm h n, = h n,. Ths takes a λ h n, as above to a pont κ(λ) = (x (1),..., x (n) ) h n, by the formulas (1.4) κ(λ) = (x (1),..., x (n) ) h n,, x (a) = λ (a) λ n, a = 1,..., n, λ = n Note that V λ and V µ restrct to the same representaton of SL(n) f and only f κ(λ) = κ(µ). Let Fl(n) = Fl(C n ) denote the complete flag varety parameterzng complete flags of vector spaces F : 0 F 1 F 2 F n = C n n C n. For each rreducble representaton V λ of GL(n), there s a GL(n)-equvarant lne bundle L λ on Fl(n) such that H 0 (Fl(n), L λ ) = Vλ as representatons of GL(n) (see Defnton 6.3). Recall that Pc(Fl(n)) = h n,, and all lne bundles on Fl(n) are canoncally SL(n) lnearzed. Remark 1.3. We use (1.4) to dentfy h n, wth the ratonal Pcard group Pc (Fl(n)) = Pc(Fl(n)). Ths restrcts to an dentfcaton of h + n, and Pc+ (Fl(n)) defned as the -span of effectve lne bundles. The followng well known result (see e.g., [Ful00]) gves a characterzaton of the egencone n terms of nvarants of tensor products: Proposton 1.4. Let V λ1, V λ2,..., V λs be rreducble representatons of SL(n). The followng are equvalent: (1) (V Nλ1 V Nλ2... V Nλs ) SL(n) 0 for some postve nteger N, (2) H 0 (Fl(n) s, L N ) SL(n) 0 for some postve nteger N > 0 where L = L λ1 L λ2 L λs. (3) (κ(λ 1 ), κ(λ 2 ),... κ(λ s )) Γ n (s). a=1 a=1 λ (a).

3 EXTREMAL RAYS OF EIGENCONES 3 Remark 1.5. Let Tens n, (s) be the semgroup of s-tuples (λ 1,..., λ s ) (h n, )s of domnant ratonal weghts of SL(n) such that (V Nλ1 V Nλ2... V Nλs ) SL(n) 0 for some postve nteger N. Then Tens n, (s) s dentfed under the somorphsm (1.4) wth (h +,n, ) s Γ n (s), we wll denote the latter set by Γ n, (s) h s n,. Therefore Γ n(s) s a ratonal polyhedral cone, and we need to determne extremal rays of ths ratonal polyhedral cone The nequaltes defnnng Γ n (s). To descrbe the Klyachko nequaltes we ntroduce some notaton: Defnton 1.6. Let I = { 1 < < r } [n] = {1,..., n} be a subset wth r elements, wth 1 r n 1. Ths defnes a Schubert varety Ω I (F ) n the Grassmannan Gr(r, n) = Gr(r, C n ) (1.5) Ω I (F ) = {V Gr(r, C n ) dm V F j j, j [r]}. The cycle class of Ω I (F ), whch lves n H 2 σi (Gr(r, n)), s denoted by σ I, here r (1.6) σ I = (n r + a a ). a=1 Each I as above also gves a permutaton w I of [n] as follows. Wrte [n] I = {j 1,..., j n r }, Then w I (a) = a f 1 a r and w I (a) = j a r f r < a n. Theorem 1.7. [Kly98, Tot94, Bel01] Suppose x 1,..., x s are s elements n the Weyl chamber (1.1). Then (x 1, x 2,..., x s ) Γ n (s) f only f for every tuple (r, n, I 1, I 2,..., I s ) wth I 1, I 2,..., I s subsets of [n] of cardnalty r each, wth 1 r < n and (1.7) σ I1 σ I2... σ Is = [pt] H 2r(n r) (Gr(r, n)), where [pt] s the cycle class of a pont, the followng nequalty holds s (1.8) j 0. x (a) j=1 a I j 1.3. Basc buldng blocks for extremal rays. The basc buldng blocks come about n the followng way: (1) Fx (r, n, I 1, I 2,..., I s ) satsfyng (1.7). Then equalty n nequalty (1.8),.e., s (1.9) x (a) = 0. j=1 a I j defnes a facet F of Γ n (s) by [KTW04]. Let F = F Γ n, (s). (2) Pck a j 0 [s] and choose a set T [n] of cardnalty r so that Ω T (F ) s a codmenson one subvarety of Ω Ij0 (F ) for any choce of flags F. Ths just means (see Lemma 7.7) that T = (I j0 {a 0 }) {a 0 1} for some a 0 I j0 such that a 0 > 1 and a 0 1 I j0 (ths ndex a 0 s determned by I j0 and T ). We ntroduce the notaton I +,b = (I {b}) {b 1} f b > 1, b I and b 1 I (the plus n the exponent s to ndcate that the codmenson of the correspondng Schubert varety n Gr(r, n) has ncreased by one). (3) Let A k = I k for k j 0, k = 1,..., s and A j0 = T = I +,a 0 j 0. Therefore we have made a choce of the tuple (r, n, I 1,..., I s ) satsfyng (1.7) as well as the par (j 0, a 0 ).

4 4 PRAKASH BELKALE Defnton 1.8. Consder the locus D = D(A 1,..., A s ) = D(I 1,..., I j0 1, I +,a 0 j 0, I j0 +1,..., I s ) Fl(n) s consstng of (F (1), F (2),..., F (s)) such that (1.10) s Ω A (F ()) Gr(r, n). =1 In Proposton 2.3, we wll show that D s a SL(r) nvarant dvsor n Fl(n) s. Note that D(A 1,..., A s ) parameterzes specal ponts of the modul stack Fl(n) s / SL(n): ponts (F (1), F (2),..., F (s)) where the ntersecton (1.10) s non-empty. We therefore refer to D(A 1,..., A s ) as a modular ntersecton locus. Now L = O(D) s a lne bundle on Fl(n) s wth a non-zero dagonal SL(n) nvarant secton, snce D s nvarant under the dagonal acton of SL(n) on Fl(n) s. Wrte L = L λ1 L λ2 L λs. Here λ are domnant ntegral weghts for SL(n). Ths gves (by Proposton 1.4 above), an element (1.11) [D(A 1,..., A s )] = (κ(λ 1 ), κ(λ 2 ),..., κ(λ s )) Γ n, (s). Theorem 1.9. (1) The lne bundle L = O(D) gves an extremal ray 0 (κ(λ 1 ), κ(λ 2 ),..., κ(λ s )) of Γ n, (s). (2) Ths extremal ray les on the facet F. (3) The lne bundle L has the followng rgdty property, remnscent of a conjecture of Fulton 1 : dm H 0 (Fl(n) s, L N ) SL(n) = 1 for all postve ntegers N. That s, (V Nλ1 V Nλ2... V Nλs ) SL(n) s one-dmensonal for all postve ntegers N. The followng proposton gves formulas for λ = (λ (1),..., λ (n) ), = 1,..., s, where we set = 0. For a subset A [n] of cardnalty r, and b A such that b < n and b + 1 A, ntroduce λ (n) the notaton A,b = (A {b}) {b+1} (the mnus sgn s to ndcate that the codmenson decreases under the operaton ). Proposton For any b [n], b < n, (1) λ (b) λ (b+1) = 0 f b A. (2) λ (b) λ (b+1) = 0 f b A and b + 1 A. (3) Suppose b A but b+1 A. λ (b) λ (b+1) = c,b, where c,b s the (possbly zero) ntersecton number σ A1... σ A 1 σ A,bσ A+1... σ As = c,b [pt] H 2r(n r) (Gr(r, n)). Remark The formula for λ n Proposton 1.10 can be wrtten n terms of domnant fundamental weghts ω b (here ω b s the the bth exteror power of the standard representaton C n of SL(n)): λ = 1 b<n,b A,b+1 A c,b ω b, where c,b s the (possbly zero) ntersecton number σ A1... σ A 1 σ A,bσ A+1... σ As = c,b [pt] H 2r(n r) (Gr(r, n)). 1 Let λ1,..., λ s be domnant ntegral weghts of SL(n), and set f(n) = dm(v Nλ1 V Nλ2... V Nλs ) SL(n). Fulton conjectured that f(1) = 1 mples f(n) = 1 for all postve ntegers N. Ths conjecture was proved n [KTW04]. A generalzaton to all groups appears n [BKR12].

5 EXTREMAL RAYS OF EIGENCONES 5 Example Consder r = 2, n = 4 wth I 1 = {2, 3}, T = {1, 3}, I 2 = I 3 = {2, 4}, and j 0 = 1. It s easy to see that we get λ 1 = ω 1 + ω3 = (2, 1, 1, 0) and λ 2 = λ 3 = ω 2 = (1, 1, 0, 0). The correspondng extremal ray of Γ 4 (3) s generated by (κ(λ 1 ), κ(λ 2 ), κ(λ 3 )) = ((1, 0, 0, 1), ( 1 2, 1 2, 1 2, 1 2 ), (1 2, 1 2, 1 2, 1 2 ). Another example s gven n Example 3.4 (also see Secton 10) Other extremal rays. To get all extremal rays, we frst note that any extremal ray of Γ n, (s) les on at least one regular facet F, gven by equalty n one of the nequaltes (1.8) (see Lemma 4.1). Now, fx (r, n, I 1, I 2,..., I s ) satsfyng (1.7), and let F be the regular facet of Γ n, (s) defned by equalty n the nequalty (1.8). We pose some problems refnng Problem 1.2. Problem (1) Fnd all extremal rays of the facet F of Γ n, (s). These wll also be extremal rays of Γ n, (s). (2) Descrbe the entre facet F n terms of the (smaller) egencones Γ r, and Γ n r,. Let q be the total number of our buldng block dvsors D(A 1,..., A s ) arsng from (r, n, I 1, I 2,..., I s ): That s the number of choces of pars (j 0, a 0 ), wth a 0 I j0 such that a 0 > 1 and a 0 1 I j0. (gven ths par, as before A = I for j 0 and A j0 = (I j0 {a 0 }) {a 0 1}.) These q dvsors wll be shown to gve lnearly ndependent elements n Pc(Fl(n) s ) (Lemma 4.2). Defnton Defne a F 2 of F as follows: F 2 F s the set of s-tuples (x 1,..., x n ), wth x = (x (1),..., x (n) ) such that: For all [s] and b I such that b > 1 and b 1 I, we have x (b) Defne F 2, = F F 2. = x (b 1). Theorem The facet F s naturally a product F = ( 0 ) q F 2,. Therefore extremal rays of F are ether the q rays descrbed above, or the extremal rays of F 2,. Ths reduces Problem (1.13) to the problem of fndng the extremal rays of F 2, Formulas for nducton. Note that h r, h n r, h n, (wthot any condtons on domnance), snce SL(r) SL(n r) s a Lev subgroup of SL(n). Explctly gven y = (y (1),..., y (r) ) h r, and z = (y (1),..., y (n r) ) h n r,, we map (y, z) to x = (y, z) = (y (1),..., y (r), z (1),..., z (n r) ) h n, Ths leads to map h s r, hs n r, hs n, by sendng ((y 1,..., y s ), (z 1,..., z s )), (x 1,..., x s ), x = (y, z ), = 1,..., s Therefore Γ r, (s) Γ n r, (s) h s r, hs n r, sts naturally n hs n,. Theorem For (x 1,..., x s ) n Γ r, (s) Γ n r, (s) h s n,. nducton y h n, of x : the element y = (y (1) y (b),..., y (n) ), wth = x (w 1 I (b)), b = 1,..., n. For each, consder nave Here w I are the elements of the Weyl group of SL(n) regarded as permutaton of {1,..., n} gven n Defnton 1.6.

6 6 PRAKASH BELKALE Defne Ind(x 1,..., x s ) h s n, as the sum (see equaton (1.11)), (1.12) (y 1,..., y s ) + s (y (b) b>1,b I,b 1 I =1 y (b 1) )[D(I 1,..., I 1, I +,b, I +1,..., I s )] where we have used the notaton I +,b = (I {b}) {b 1}. Then, Ind defnes a surjectve (lnear) nducton map of cones whch has a secton (1.13) Ind : Γ r, (s) Γ n r, (s) F 2, F Γ n, (s) h s n,. Ths constructon comes from the geometry of partal flag varetes, and the formula for nducton above s deduced from geometry. Therefore the extremal rays of F 2, are mages (by nducton) of extremal rays of Γ r, (s) Γ n r, (s) under the map (1.13) descrbed by the formula In practcal terms, one would have to take the mages of the (fntely many) extremal rays of Γ r, (s) Γ n r, (s) under the explct map (1.13), and extract a subset whch generates the mage n F 2. The fbers of (1.13) can be understood n terms of the ramfcaton dvsor n the Schubert calculus problem defnng the face F Possble generalzatons. It s temptng to compare ths pcture to Harsh-Chandra s Phlosophy of cusp forms (see e.g., [Bum13, Chapter 49])(also see the connecton of the Hermtan egenvalue problem to problems over p-adcs n [Ful00], and [BZ77]). The nducton operaton s an analogue of parabolc nducton, and the boundary of the egencone Γ n (s) has been descrbed n terms of Lev subgroups. The cuspdal part of the egencone s the set of ponts on t whch are not on regular faces. In a functon theoretc sense, the correspondng sectons of lne bundles vansh on sutably defned cusps of Fl(n) s, see Lemma 4.6. We have gven an nductve descrpton of extremal rays of each of the regular facets F. Any extremal ray of Γ n (s) s on one of these regular facets. Therefore we have accounted for all extremal rays of Γ n. (1) An extremal ray of Γ n may be on several facets F, and we have over counted the extremal rays above. To address ths we wll have to work wth (standard) non-maxmal parabolcs and consder regular faces of arbtrary codmenson. Perhaps the parabolc assocated to an extremal ray s not unque, but the correspondng Lev subgroup s unque. (2) The map Ind of (1.13) may not take extremal rays to extremal rays. But every extremal ray of F 2 s obtaned by nducton from an extremal ray. Ths s a famlar problem wheren parabolc nducton may not take rreducbles to rreducbles. Perhaps passng to non-maxmal parabolcs would solve ths problem, and restrctng the nducton operaton to cuspdal objects (whch roughly means to nduct rays not on regular faces) may solve ths problem. Or perhaps there s a rcher structure of sutable Hecke algebras controllng ths pcture. (3) See how these processes of nducton and our basc extremal ray classes (1.11) work out for small values of n (for very small values see Secton 10). (4) Bound the szes of the coeffcents of generators of extremal rays (.e., e.g., the numbers c,b n Proposton 1.10). (5) Study the cuspdal part (perhaps wth some ntegralty condtons) of the egencone. It s most natural to address these ponts n the settng of general groups and arbtrary (standard) parabolcs, and we hope to return to these themes (ncludng the multplcatve egenvalue problem)

7 EXTREMAL RAYS OF EIGENCONES 7 n future work 2. It s also an nterestng problem to nterpret the explct formulas for our basc extremal rays (Proposton 1.10), and the formulas for nducton (1.12) n terms of the Honeycombs of Knutson and Tao [KT99] Acknowledgements. I thank A. Gbney, A. Kazanova and M. Schuster for useful dscussons on the related problem of vertces of the multplcatve egenpolyhedron, S. Kumar for useful dscussons and for comments on an ntal verson of ths work, and N. Ressayre for showng me (n 2014) hs nterestng example of an extremal ray for SL(9). 2. Basc dvsors and the correspondng extremal rays Through out ths secton, we wll use notaton from Secton 1.3. In partcular the data (r, n, I 1,..., I s ) s fxed as s (j 0, 0). Wthout loss of generalty we assume that j 0 = 1. Let D = D(A 1,..., A s ) wth A 1 = (I 1 {a 0 }) {a 0 }, and A = I for 2 s. In vew of Lemma 2.1, statement (1) follows from (3) n Theorem 1.9 We descrbe condtons under whch dvsor loc n Fl(n) s gve extremal rays of Γ n, (s): Lemma 2.1. Let E be a reduced, rreducble SL(n) nvarant effectve dvsor on Fl(n) s such that H 0 (Fl(n) s, O(NE)) SL(n) s one dmensonal for all postve ntegers N > 0. Then O(E) gves an extremal ray of Γ n, (s). In addton, O(E) cannot be wrtten as a tensor product of lne bundles whch have non-zero nvarant sectons. Proof. Suppose O(NE) s somorphc to L L where L = L λ L µ L ν and L = L λ L µ L ν are such that H 0 (Fl(n) s, L) SL(n) 0 and H 0 (Fl(n) s, L ) SL(n) 0. Pck non-zero sectons s H 0 (Fl(n) s, L) SL(n) and s H 0 (Fl(n) s, L ) SL(n) let F and F be ther dvsors of zeroes. Therefore there s a secton of H 0 (Fl(n) s, O(NE)) SL(n) whose dvsor of zeroes s F + F, but the former has only one non-zero nvarant secton up to scale. Therefore NE = F + F as effectve Wel dvsors. Ths mples that F and F both have support n E. We can conclude the proof snce E s multplcty free by assumpton Dvsor loc n Fl(n) s. Defnton 2.2. Let I [n], I = n and F Fl(n). The open Schubert cell (defne 0 = 0, r+1 = n) Ω 0 I(F ) = {V Gr(r, C n ) dm V F a = j, j a < j+1, j = 0,..., r}, les n the smooth locus of the normal varety Ω I (F ). Proposton 2.3. D = D(A 1,..., A s ) s non-empty, rreducble, and codmenson one n Fl(n) s, and s nvarant under the acton of SL(n). Before begnnng the proof we ntroduce some notaton whch wll be used at other places: Notaton 2.4. Defne the unversal ntersecton of closed Schubert varetes (see e.g., [BKR12, Secton 5] for the scheme structures) Y Gr(r, n) Fl(n) s by s Y = {(V, F (1), F (2),..., F (s)) : V Ω I (F ())} 2 See e.g., [Bel10, Kum14, Res14] for surveys, and [Bel01, Secton 7], and [Tha14] for some work on the problem of vertces n the multplcatve problems. =1

8 8 PRAKASH BELKALE and D Y, the unversal ntersecton D = {(V, F (1), F (2),..., F (s)) : V s Ω A (F ())} Let π : Y Fl(n) s be the projecton. Note that D = π( D). Defne a subscheme the unversal ntersecton of Schubert cells Y 0 Y Gr(r, n) Fl(n) s (2.1) Y 0 = {(V, F (1),..., F (s)) : V =1 s Ω 0 I (F ())} Clearly SL(n) acts on Y 0. Let R 0 Y 0 be the ramfcaton dvsor of π : Y 0 Fl(n) s (note that Y 0 s smooth). Proof. (Of Proposton 2.3) It s easy to see (by countng dmensons) that D s a dvsor n Y. Both Y and D are genercally reduced, and rreducble, and Y s smooth at the generc pont of D (all these are easy to see and follow from [BKR12, Lemma 5.2]), furthermore, the map π : Y Fl(n) s s bratonal. Let Y sm be the smooth locus of Y, and R Y sm the ramfcaton locus of Y sm Fl(n) s. We now show that D Y sm s not n R: Let (V, F (1), F (2),..., F (s)) Y 0 be such that V s =1 Ω0 I (F ()) s a transverse pont of ntersecton. We also assume that s =1 Ω0 I (F ()) = s =1 Ω I (F ()). Hence dm V F a0 1(1) = dm V F a0 (1) 1 and V F a0 2(1) = V F a0 1(1). Let S be a a 0 1 dmensonal subspace of C n such that F a0 2(1) S F a0 (1) such that V S = V F a0 (1). Defne a new complete flag F such that F b = F b(1) for all b a 0 and F a 0 = S. It s now easy to see that s V Ω T (F ) Ω 0 I (F ()) =1 and s the only pont n the ntersecton s Ω I1 (F ) Ω 0 I (F ()) = =2 =1 s Ω 0 I (F ()). Therefore (V, F, F (2),..., F (s)) s n D Y sm and not n the ramfcaton locus R. Snce D s genercally reduced and rreducble, and D Y sm s not contaned n R, we can conclude the D = π( D) (set theoretcally) s codmenson one, and rreducble, n Fl(n) s. In fact D = π [ D] A 1 (Fl(n) s ) (the cycle theoretc pushforward). The nvarance under SL(n) s clear from the defntons A basc theorem about nvarant functons on Y 0 R 0. Theorem 2.5. H 0 (Y 0 R 0, O) SL(n) = C A basc dagram. We now recall the notatonal setup of [Bel04], recastng some defntons n the language of stacks. Ths wll be used n the proofs of Theorems 1.9 and 2.5. Defnton 2.6. Let S = S(r, n r) be the smooth Artn stack parameterzng data (V, F (1),..., F (s)), (, F (1),...,, F (s)) and an somorphsm det V det = C. Here V and are arbtrary vector spaces of ranks r and n r respectvely, and F () (respectvely F ()) are complete flags on V (respectvely ) for = 1,..., s. =1

9 EXTREMAL RAYS OF EIGENCONES 9 There s a determnantal dvsor R S on S of pars (V, F (1),..., F (s)) and (, F (1),...,, F (s)) such that there s a non-zero map φ : V such that for all = 1,..., s, and b I we have settng m = I {1,..., b}, φ(f m()) F b m () [Bel04]. Gven (V, F (1), F (2),..., F (s)) Y 0, we get s complete flags on V (from ntersectng the flags wth V ), as well as s complete flags on = C n /V, by takng mages under the natural map C n. Ths produces a map p : Y 0 / SL(n) S (Y 0 was defned n Equaton (2.1), and Y 0 / SL(n) s the stack quotent). There s also a drect sum mappng : S Y 0 / SL(n), where we choose an somorphsm V C n consstent wth determnants, and transfer flags on V and to C n so that V sts n the desred Schubert cells. (For example F (1) = F b (1) F b (1) where b = I 1 {1,..., }). Therefore we have a dagram (wth = π, and p s the dentty on S) (2.2) Y 0 /SL(n) Fl(n) s /SL(n) π p S It s also known from the descrpton of the ramfcaton dvsor n [Bel04], that the ramfcaton dvsor R 0 n Y 0, s the pull back of a determnantal dvsor R S n S (see Defnton 2.6) Proof of Theorem 2.5. We prove Theorem 2.5 n two steps: Step (a). We clam that any nvarant functon on Y 0 R 0 restrcts to a constant on S R S when pulled back va. We show ths by showng h 0 (S, O(mR S )) = 1 for all ntegers m > 0. Ths wll be shown to be a consequence of a conjecture of Fulton proved by Knutson, Tao and Woodward as follows: There s a tautologcal natural map Fl(r) s / SL(r) Fl(n r) s / SL(n r) S, The dvsor R Fl(r) s / SL(r) Fl(n r) s / SL(n r) pulled back from R S S was dentfed n [Bel04] (also see [BK10, Secton 6.3] for a more complete form of ths computaton) to be a dvsor of the lne bundle L r L n r, where, usng Defnton 2.7, L r = L µ(i1 ) L µ(i2 )... L µ(is) L n r = L µ (I 1 ) L µ (I 2 )... L µ (I s). Defnton 2.7. Let I = { 1 < < r } be a subset of [n]. Then µ(i) s the r (n r) Young dagram (µ 1 µ 2 µ r ) wth λ a = n r + a a for a = 1,..., r. and µ (I) s the r (n r) Young dagram whch s the transpose of (n r µ r,..., n r µ 1 ) wth µ 1,..., µ n as above. That s, λ (I) s dual of the transpose of λ(i). Now the rank of (V µ(i1 ) V µ(i2 )... V µ(is)) SL(r) equals the multplcty of the class of a pont n the product σ I1... σ Is, whch s one by assumpton. The rank of (V µ (I 1 ) V µ (I 2 )... V µ (I s)) SL(n r) s the multplcty of the correspondng dual Schubert problem n Gr(n r, n), also one by Grassmann dualty. These ranks are one even upon scalng all µ(i ) etc by m > 0 by Fulton s conjecture [KTW04] (also see Theorem 8.3 (2)). Therefore the space of SL(r) SL(n r) nvarant sectons of O(mR ) on Fl(r) s Fl(n r) s s one dmensonal for any m. Ths completes the proof of (a).

10 10 PRAKASH BELKALE Step (b). The value of any SL(n) nvarant regular functon at a pont x Y 0 R 0 concdes wth ts value at (p(x)). Ths s true because a representatve of (p(x)) s n the orbt closure of x: If x = (V, F (1), F (2),..., F (s)) Y 0, choose a drect sum decomposton C n = V, and let φ t SL(n) be an automorphsm whch s multplcaton by t n r on V and multplcaton by t r on. The pont (p(x)) = lm t 0 φ t (x). Ths completes the proof of Theorem Proof of Theorem 1.9. It s easy to see from the bratonalty of π : Y Fl(n) s that Y 0 R 0 Fl(n) s s an open embeddng (see e.g., [BKR12, Secton 3]). We clam, π(y 0 R 0 ) Fl(n) s D. If x Y 0 R 0 maps to a pont (F (1),..., F (s)) D Fl(n) s, then the ntersecton of closed Schubert varetes s =1 Ω I (F ()) s dsconnected wth one solated pont gven by the frst coordnate of x, whch s ruled out by Zarsk s man theorem. Ths proves the clam. Therefore a SL(n) nvarant functon on Fl(n) s D restrcts to an SL(n) nvarant functon on Y 0 R 0, and s hence a constant by Theorem 2.5. Ths completes the proof of Theorem 1.9(3). Lemma 2.1, and Proposton 2.3, show that 0 (κ(λ 1 ), κ(λ 2 ),..., κ(λ s )) s an extremal ray of Γ n, (s). Ths shows (1) of Theorem 1.9. Clearly O(D) has an nvarant secton 1 that does not vansh on the mage of S R S Fl(n) s (whch lands nsde π(y 0 R 0 ), and hence avods D). Therefore by GIT, see e.g., [BK06, Proposton 10], the ray 0 (κ(λ 1 ),..., κ(λ s )) les n F. (The Mumford nequalty (1.8) measures the order of vanshng of an nvarant secton at (p(x)) = lm t 0 φ t (x).) The technque used above, of showng that the lne bundle O(D) gves a pont of F because t has an nvarant secton that does not vansh on S R S frst appeared n [Res10, Secton 4]. Remark 2.8. The relatons between Mumford ndces n GIT and Hermtan egenvalue nequaltes used above s shown n [Tot94] and [BK06, Secton 7.3]. 3. Cycle classes of the basc dvsors 3.1. Unversal cycle classes of Schubert varetes. Defnton 3.1. Let 1 b n 1. Defne α b A 1 (Fl(n)), b = 1,..., n 1 as the frst Chern class of the lne bundle on Fl(n) whose fber over F : 0 F 1 F 2 F n = C n concdes wth ( a F b ). Defnton 3.2. For every subset A [n] of cardnalty r, defne a unversal Schubert varety Ω Unv A Gr(r, n) Fl(n), Ω Unv A = {(V, F ) V Ω I (F )} The codmenson m Chow group A m (Gr(r, n) Fl(n)) s a drect sum (3.1) m s=0 A m s (Gr(r, n)) A s (Fl(n)) Here cycles on Gr(r, n)) and Fl(n) are pulled back under the flat projectons and multpled n the Chow rng (whch concdes wth cohomology for Gr(r, n) and Fl(n), and ther products). Proposton 3.3. Let A be a subset of [n] of cardnalty r. Let m = σ A. (1) The projecton of the cycle class [Ω Unv A ] Am (Gr(r, n) Fl(n)) to the summand s = 0 of the drect sum (3.1) s σ A.

11 EXTREMAL RAYS OF EIGENCONES 11 (2) The projecton of the cycle class [Ω Unv A ] Am (Gr(r, n) Fl(n)) to the summand (of the drect sum (3.1)) A m 1 (Gr(r, n)) A 1 (Fl(n)) s equal to σ Ab α b b [n 1],b A, b+1 A where A b = (I {b}) {b + 1} and α b s defned n Defnton 3.1. Proof. To prove (1) ntersect wth Ω J (T ) p where p = F s a fxed pont of Fl(n) and T a flag n general poston wth respect to p and σ J + σ A = r(n r). The ntersecton number s zero unless σ A s dual to σ J under the ntersecton parng. Therefore the cycle class s as stated. To prove (2), let a [n 1], and we ntersect Ω Unv A wth Ω J (T ) C b where C b s a ratonal curve of all complete flags F wth F j fxed for j b (so F b vares but s constraned to le nsde a fxed F b+1 and contanng a fxed F b 1, and σ J + σ A = r(n r) + 1. The closed Schubert varety Ω A (F ) does not depend upon the choce of F b f b A or f b A and b + 1 A. The ntersecton number s zero then for codmenson reasons. If b A and b + 1 A, then the unon of the subvaretes Ω A (F ) as F vares over the curve C b equals ΩÃ(S ) where S s a fxed pont of C b and à = (A {b}) {b + 1}. It s easy to see that the desred ntersecton number counts number of ponts n ΩÃ(S ) Ω J (T ), snce for any pont V n ths ntersecton dm V S b 1 = 1 + dm V S b+1, and therefore there s a unque choce of S b 1 F b S b+1 such that V F b = V S b+1. Here we have used the fact that the flag T s general poston wth the fxed S. Ths yelds the formula for the cycle class of the projecton Proof of Proposton Let X = Gr(r, n) Fl(n) s. Now let π 1, π 2,..., π s be the s projectons X Gr(r, n) Fl(n). It s easy to see that D s the genercally transverse ntersecton of s subschemes of X: (3.2) D = s =1 π 1 1 (ΩUnv A ) (Note D s genercally smooth, and concdes wth the scheme theoretc ntersecton above by defnton, see e.g., [BKR12, Secton 5]. For generc transversalty, we only have to verfy the numercal codmenson condton whch s easy.) The class [(D(A 1,..., A s )] s π [ D] where π : X Fl(n) s. To get a non-zero contrbuton to π [ D], we need the projecton of [Ω Unv A ] to the summands s = 0 and s = 1 n the drect sum decomposton of A σ A (Gr(r, n) Fl(n) gven by Proposton3.3 for = 1,..., s. Ths s because the degree of cycles on Gr(r, n) have to sum to r(n r) to gve a non-zero push forward va π. We can therefore see that we need to pck the s = 0 terms for all but one of the A and one s = 1 term. The computatons of Proposton 3.3 now mply the desred formulas for λ 1,..., λ s. Example 3.4. The followng s another example of the formulas n Proposton Let r = 5, n = 8, s = 3 and I 1 = {3, 4, 5, 7, 8} [8], I 2 = I 3 = {2, 3, 5, 6, 8} [8]. Let (j 0, a 0 ) = (1, 3) In can be checked usng the Lttlewood-Rchardson rule that the relevant ntersecton number s one. We get λ 1 = (3, 3, 2, 2, 2, 0, 0, 0) = 2ω 5 + ω 2 and λ 2 = λ 3 = (4, 4, 4, 2, 2, 2, 0, 0) = 2ω 6 + 2ω 3. Remark 3.5. The proof of Proposton 1.10 shows that t s vald n a more general context: Let A 1,..., A s be subsets of [n] each of cardnalty r such that s j=1 σ A = r(n r) + 1. Then we can defne a dvsor class n A 1 (Fl(n) s ) as the push forward (whch s possbly zero) of the fundamental

12 12 PRAKASH BELKALE class [ D] where D s defned as n (3.2). Ths class s supported on the mage of D Fl(n) s. The formulas n Proposton 1.10 gve ths dvsor class n ths generalty Some elementary observatons. 4. The facet F as a product Lemma 4.1. (1) Any extremal ray of Γ n, (s) les on a regular facet of Γ n, (s) (.e., the facet s not obtaned as ntersecton of Γ n, (s) wth a chamber wall). (2) Any extremal ray of Γ n, (s) les on a Weyl chamber wall of (h + ) s. Proof. Let R = 0 (x 1,..., x n ) be an extremal ray n Γ n, (s) whch s not on any of the reqular facets of Γ n, (s). It s then easy to see that R s then an extremal ray of (h + n, )s, whch s necessarly of the form 0 (x 1,..., x s ) wth exactly one of the x non-zero. Ths mples that exactly one of the s matrces A 1,..., A s n Defnton 1.1 s non-zero. But ths leads to contradcton snce A j = 0. Ths proves the frst part. For the second part (whch s well known) we proceed as follows. Suppose the contrary. It les on a regular facet F n (1). We look at the correspondng Hermtan egenvalue problem: The matrces A 1,..., A s wth A = 0 wth egenvalues x 1,..., x s can then be assumed to preserve the correspondng drect sum decomposton C n = C r C n r. We obtan solutons of the egenvalue problems (A 1,..., A s) (these are r r matrces) and (A 1,..., A s) respectvely (these are (n r) (n r) matrces) wth A = 0 and A = 0 (wthout trace free condtons on these matrces). Consder the one parameter famly A 1 (t) = A 1 + t r I r, A 2 (t) = A 2 t r I r, A (t) = A for > 2; and A 1 (t) = A 1 t n r I n r, A 2 (t) = A 2 + t n r I n r and A (t) = A, > 2 for ɛ < t < ɛ for small ɛ > 0 and t ratonal. Let A (t) be the drect sum s-tuple of n n matrces, a tuple of traceless Hermtan matrces whch sum to zero. The orgnal ray corresponded to t = 0, and we can deform t lnearly nsde the egencone Γ n (s) n two opposte drectons, a contradcton. The assumpton of regularty of R mples that we know the ordered egenvalues of A (t) for t < ɛ wth small ɛ > 0 (not that A 1 (t) A, or a scalar multple, snce some of the egenvalues of A 1 (t) have ncreased, whle others have decreased) Two types of rays n F. As n the Introducton fx (r, n, I 1,..., I s ) satsfyng (1.7). Ths gves rse to a facet F of Γ n (s), and a facet F of Γ n, (s) gven by equalty n nequalty (1.8). We dstngush two types of rays of F: A ray 0 (x 1,..., x n ) F s called a type I ray of F f there exsts j [s] and a b > 1 such that b I j, b 1 I j, and and x (b) j x (b 1) j. A ray 0 (x 1,..., x n ) F s called a type II ray of F f t s not a type I ray of F. Ponts on Type II rays of F form a polyhedral subcone F 2,, whch s a face of F (as n Defnton 1.14). An extremal ray of Γ n, (s) may le on two dfferent facets. It s possble that t s a type I ray of one of these facets, and a type II ray of the other (see Secton 10 for an example) Proof of Theorem Let us frst note that the basc extremal rays obtaned from (r, n, I 1,..., I s ) and a choce of j 0 and a 0 are type I on the face F defned by (r, n, I 1,..., I s ). Ths can be seen by nspectng Proposton 1.10 and notcng that λ (a 0 1) j 0 λ (a 0) j 0 = 1. Lemma 4.2. The q basc extremal rays on F are lnear ndependent. Proof. Ths follows from the above jumpng by one at a 0 phenomenon, and the followng observaton: Consder a basc extremal ray comng from the data (r, n, I 1,..., I s ) and j 0, a 0. Suppose (j 0, a 0 ) s a

13 EXTREMAL RAYS OF EIGENCONES 13 dfferent par producng a basc extremal ray. Then wrtng D = D(I 1,..., I j 1, (I j {a 0 }) {a 0 1}, I j+1,..., I s ), and O(D) = L λ1 L λ2 L λs, we have λ (a 0 1) λ (a j 0 0 ) = 0, snce a j A j 0 n the formula for λ j 0 n Proposton Let δ 1,..., δ q be the mages n F be the mages (see (1.11)) of the basc extremal rays. It s also easy now to see that the sum mappng q ( 0 ) q F 2, F, (a 1,..., a q, x) ( a δ ) + x, a 0, x F 2, F s njectve. To show the surjecton (and hence complete the proof of Theorem 1.15) we prove the followng more refned statement: Proposton 4.3. Suppose µ 1,..., µ s are domnant ntegral weghts for SL(n), j 0 [s] and a 0 I j0 such that a 0 1 > 0 and a 0 1 I j0. Let D = D(I 1,..., I j0 1, (I j0 {a 0 }) {a 0 1}, I j0 +1,..., I s ) be our basc dvsor (1.8). Assume further that (1) (κ(µ 1 ),..., κ(µ s )) F (2) µ (a 0) j 0 µ (a 0 1) j 0 0 (therefore (κ(µ 1 ),..., κ(µ s )) F 2 ). Let N = L µ1... L µs. Then =1 H 0 (Fl(n) s, N) SL(n) = H 0 (Fl(n) s, N( D)) SL(n) Proof. Let s H 0 (Fl(n) s, N) SL(n). We need to show that s vanshes on any pont (F (1)..., F (s)) D. Pck V s n ntersecton (1.10). Let κ(µ ) = (y (1),..., y (n) ), = 1,..., s. The semstablty nequalty correspondng to V necessarly fals (see (4.1), and Remark 4.4 below), snce (usng Assumpton (2) above) b (I j0 {a 0 }) {a 0 1} y (b) j 0 > y (b) j 0 b I j0 Invarant sectons vansh at non-semstable ponts (ths s the defnton of semstablty), and the desred statement follows Concluson of proof of Theorem If (y 1,..., y s ) F F 2,, after scalng we can assume that we have domnant ntegral weghts µ 1,..., µ s for SL(n) such that (κ(µ 1 ),..., κ(µ s )) = (y 1,..., y s ). We can also assume that defnng N = L µ1... L µs, H 0 (Fl(n) s, N) SL(n) 0. Pck an (j 0, a 0 ) such that µ (a 0) j 0 µ (a 0 1) j 0 0 (and a 0 I j0, a 0 > 1, and a 0 1 I j0 ). Applyng the above proposton we can wrte (y 1,..., y s ) as the sum of two ponts n F (one a basc extremal ray), and repeat ths procedure to conclude the proof of Theorem Remark 4.4. A pont of (F (1),...,, F (s)) Fl(n) s gves a fltered vector space (see [Ful00]) structure on C n. We call ths fltered vector space semstable for the weghts (x 1,..., x n ) f every subspace V C n has the followng property: If we determne subsets I 1, I 2,..., I s of [n] each of cardnalty r = dm V such that V s =1 Ω0 I (F ()) then s (4.1) 0. x (b) =1 b I

14 14 PRAKASH BELKALE Geometrc nvarant theory (see e.g., [Ful00]) shows that f x = κ(λ ), as above then x = (F (1),..., F (s)) Fl(n) s s semstable for the weghts x 1,..., x n f and only f there s a m and a secton s H 0 (Fl(n) s, L) SL(n) whch does not vansh at x, wth L = L λ1... L λs 4.4. Cusps and Vanshng. The followng s an mmedate consequence of the meanng of semstablty (see e.g., Proposton 10 n [BK06]): Lemma 4.5. Let (λ 1,..., λ s ) be a s-tuple of domnant ntegral weghts such that settng x = κ(λ ) for = 1,..., s, (1) (x 1,..., x s ) Γ n (s). (1) (x 1,..., x s ) s not on the facet F of Γ n (s) gven by (r, n, I 1,..., I s ). Then any secton of H 0 (Fl(n) s, L λ1... L λs ) SL(n) vanshes on the mage of the map n the dagram 2.2. We may call the mages of the map n (2.2) over all choces of (r, n, I 1,..., I s ) satsfyng (1.7), the cusps of Fl(n) s. Therefore, Lemma 4.6. Suppose (λ 1,..., λ s ) s such that (κ(λ 1 ),..., κ(λ s )) s n Γ n (s) but not on any regular facet. Then, then any nvarant secton n H 0 (Fl(n) s, L λ1... L λs ) SL(n) vanshes at all cusps of Fl(n) s. 5. Inducton operatons Fx (r, n, I 1,..., I n ) satsfyng satsfyng (1.7). Ths gves rse to a facet F of Γ n, (s) gven by equalty n nequalty (1.8). Theorem 5.1. We have a surjecton of cones wth a secton (as n (1.13)) (5.1) Ind : Γ r, Γ n r, F 2, F obtaned as the composton of the followng maps (the maps and terms that appear here are defned below n Secton 5.1) (5.2) Γ r, Γ n r, Pc + (S) Pc+ (S R S),Ind Pc +,deg=0 (B) F 2, An explct formula for the composte s gven n Theorem A descrpton of terms that appear n equaton (5.2), and a overall sketch of proof. The map (5.1) comes about by puttng together several dentfcatons and a geometrc nducton operaton (usng Defntons 6.1 and 6.2): (1) Γ r, Γ n r, s dentfed wth Pc + (S), the group of lne bundles on S (tensored wth ) such that some power has a non-zero global secton, see Defntons 2.6 and 6.1 and Proposton 6.5. (2) We consder some partal flag varetes Fl(I 1 ),..., Fl(I s ), and defne a stack B = (Fl(I 1 ) Fl(I 2 ) Fl(I s ))/ SL(n) n Defnton 7.3. We show that F 2, can be dentfed wth the ntersecton of Pc + (B) wth a hyperplane Pcdeg=0 (B) Pc (B). Ths hyperplane s gven by (λ 1,...,, λ s ) such that (κ(λ 1 ),... κ(λ s )) satsfes equalty n nequalty (1.8). We denote ths ntersecton by Pc +,deg=0 (B) whch s therefore dentfed wth F 2, (see Proposton

15 EXTREMAL RAYS OF EIGENCONES ). The relevance of partal flag varetes to type II rays of F s ponted out n Remark 7.2. (3) We construct a basc geometrc nducton operaton Ind : Pc(S R S ) Pc(B) and show that t gves an somorphsm between -vector spaces (5.3) Pc deg=0 (S R S ) Pc deg=0 (B) where the former s the group of lne bundles on whch, multplcaton by scalars (t n r on V and t r on, t C) acts trvally. The somorphsm (5.3) wll be shown (Theorem 8.3 (3)) to nduce an lnear cone bjecton: Pc + (S R S) Pc +,deg=0 (B) (4) Fnally, we show Pc + (S) surjects onto Pc+ (S R S) wth a secton (Proposton 8.5). 6. Pcard groups Defnton 6.1. Let X be an Artn stack (e.g., S or S R S ). Let Pc + (X ) be the semgroup of all lne bundles on X whch have non-zero global sectons, Pc (X ) = Pc(X ), and Pc + (X ) Pc (X ) be the ratonal effectve cone of all ratonal lne bundles on X such that some tensor power has a non-zero secton. Defnton 6.2. C acts on every pont of S as follows: t C acts on V by multplcaton by t n r and on by t r. Therefore C acts on the fbers of any lne bundle on S (or on S R S ). Let Pc deg=0 (S) and Pc deg=0 (S R S ) denote the group of lne bundles where ths acton of C s trval. It s clear that Pc deg=0 (S R S ) contans Pc + (S R S ). Defnton 6.3. Gven λ = (λ (1),..., λ (n) ) Z n, we get a GL(n) equvarant lne bundle L λ on Fl(n) whose fber at a pont F (wth λ (n+1) = 0) s n n (det(f a ) λ(a) λ (a+1) ) = ((F a /F a 1 ) λ(a) ) a=1 The space of sectons H 0 (Fl(n), L λ ) equals Vλ as a representaton of GL(n) f λ s domnant (.e., λ () are weakly decreasng), and zero otherwse Pcard group of Fl(n) s / SL(n). Let A = Fl(n) s / SL(n). The Pcard group of A s the set of lne bundles on Fl(n) s together wth a (dagonal) SL(n) lnearzaton. But Pc(Fl(n) s ) = Pc(Fl(n)) s, and every lne bundle on Fl(n) has a canoncal SL(n) lnearzaton. There s also a unque SL(n) lnearzaton on any lne bundle on Fl(n) s. Therefore the Pcard group of A s the set of s-tuples (λ 1,..., λ s ) of domnant fundamental weghts of SL(n) Pcard group of S. Recall the defnton of S from Defnton 2.6. Fx vector spaces V and of dmensons r and n r respectvely. Let (6.1) H = {(A, B) A GL(V ), B GL(), det A det B = 1} There s a natural map Fl(V ) s Fl() s S makng S the stack quotent Fl(V ) s Fl() s /H. Therefore lne bundles on S are lne bundles on Fl(V ) s Fl() s wth a H-lnearzaton. a=1

16 16 PRAKASH BELKALE Let L be a lne bundle on S. Let the lne bundle on Fl(V ) s Fl() s be wrtten as, after choosng an arbtrary lftng as a GL(V ) s GL() s lne bundle (6.2) L = L λ L µ = (L λ1 L λ2 L λs ) (L µ1 L µ2 L µs ) Therefore one gets a H-lnearzaton on L whch dffers from the pull back H-lnearzaton by a character χ : H C. We can extend ths character to GL(V ) GL(), as follows. Let (A, B) GL(V ) GL(). Set α = det A det B and let β r = α, then defne χ (A, B) = χ(β 1 A, B). Any two choces for β result n the same value of χ (A, B) because χ s dentty on SL(V ) SL(). Now characters of GL(V ) GL() are products of determnants. Therefore we can replace λ 1 by λ 1 + c(1, 1, 1..., 1) and assume that χ extends to GL(V ) GL(W ), We therefore arrve at the followng descrpton of the Pcard group of S: Lemma 6.4. Let L be a lne bundle on Fl(V ) s Fl() s wth a GL(V ) s GL() s equvarant structure gven by (6.2). Ths nduces a H lnearzaton and hence gves a lne bundle on S. Furthermore, (1) All lne bundles on S arse ths way. (2) Data ( λ(), µ()), = 1, 2 gve the same lne bundle on the stack S f these are equal as representatons of SL(V ) s SL() s and w( λ(1), µ(1)) = w( λ(2), µ(2)) where (6.3) w( s s λ, µ) = (n r)( λ ) r( µ ) =1 (3) A lne bundle (6.2) as above does not have any non-zero global sectons on S unless the quantty (6.3) s zero, n whch case the space of sectons concdes wth (6.4) H 0 (Fl(V ) s, L λ L λ2 L λs ) SL(V ) H 0 (Fl() s, L µ1 L µ2 L µs ) SL() Proof. We have already shown (1), the condton n (2) s that correspondng characters on C H (here t C acts as multplcaton by t n r on V, and by t r on ). The condton n (3) s that the center of H should act trvally f there are non-zero nvarants. Here we have used the surjecton C SL(V ) SL() H. Proposton 6.5. (a) Pc + (S) s n bjecton wth Γ r, Γ n r,. (b) Pc deg=0 (S) s n bjecton wth Pc (Fl(r) s Fl(n r) s ). (c) Extremal rays of Pc + (S) correspond to extremal rays of Γ r, Γ n r, whch are of two knds: Extremal rays of Γ r, (wth (0,..., 0) on the second factor of Γ n r, ), or extremal rays Γ n r, (wth (0,..., 0) on the frst factor of Γ r, ). Proof. We use Remark 1.3 and Proposton 1.4. Let L Pc + (S), assume that L comes from a lne bundle of the form the form (6.2) whch satsfes w( λ, µ) = 0. It s easy to see that ths set of L s n bjecton wth all lne bundles on Fl(V ) s / SL(V ) Fl() s / SL(), snce f ( λ(), µ()), = 1, 2. are data whch gve the same s representatons of SL(V ), and of SL() and satsfy w( λ(), µ()) = 0, = 1, 2, we see usng Lemma 6.4 that ( λ(), µ()), = 1, 2 gve somorphc lne bundles on S. For the reverse drecton, gven a pont of Γ r, Γ n r,, we assume that t corresponds to data ( λ, µ) normalze these so that (we are workng ratonally, so denomnators are allowed), λ = µ = 0 =1

17 EXTREMAL RAYS OF EIGENCONES 17 Lemma 6.4 then produces the desred lne bundle on S. Ths proves (a). Part (b) s proved n a smlar fashon. Part (c) s a consequence of (a). 7. Partal flag varetes Defnton 7.1. Let I be a subset of {1,..., n} or cardnalty r. Fl(I) parameterzes certan partal flags F on C n : The only case F a s not defned s when the followng three condtons are all satsfed a < n, a I and a + 1 I. Recall that a consttuent of the partal flag F s denoted by F a where a = dm F a. Remark 7.2. Lne bundles on Fl(I) pullback to lne bundles L λ of Fl(n) so that λ (b) = λ (b 1) whenever b I and b 1 I, b > 1. Therefore flag varetes of the type Fl(I) provde the rght settng for the study of rays of type II n F. Defnton 7.3. In the settng of Secton 5, defne a stack B = (Fl(I 1 ) Fl(I 2 ) Fl(I s ))/ SL(n). Repeatng arguments from Secton 6.1, we see usng Remark 7.2 that Lemma 7.4. Pc(B) s the Z module formed by trples (λ 1,..., λ s ) Pc(Fl(n) s / SL(n)) of domnant weghts for SL(n) such that for all [s] and b I such that b > 1 and b 1 I, we have λ (b) = λ (b 1). Defnton 7.5. (1) Pc deg=0 (B) conssts of all trples (λ 1,..., λ s ) such that (κ(λ 1 ),..., κ(λ s )) satsfes equalty n the nequalty (1.8). (2) Pc deg=0,+ (B) = Pc deg=0 (B) Pc + (B). The followng s now an easy consequence of Proposton 1.4 and Remark 7.2. Proposton 7.6. Pc deg=0,+ (B) s somorphc to the cone F 2, by the map that takes (λ 1,..., λ s ) to (κ(λ 1 ),..., κ(λ s )) Schubert varetes, and ther codmenson one subvaretes. Lemma 7.7. Let F Fl(n). All codmenson one Schubert subvaretes of Ω I ( F ) can be obtaned as follows. Pck b I, b > 1 such that b 1 I, let I = (I {b}) {b 1}. Then, Ω I ( F ) s a codmenson one subvarety of Ω I ( F ) and all codmenson one Schubert subvaretes arse ths way. Proof. It s easy to check that ΩĨ( F ) Ω I ( F ) f and only f ĩ k k for k = 1,..., r here I = { 1 < < r } and Ĩ = {ĩ 1 < < ĩ r } and the dfference of the dmensons of these Schubert varetes s r k=1 ( k ĩ k ), see equaton (1.6). The desred statement follows mmedately. Defnton 7.8. The defnton of the closed Schubert varety, see defnton 1.5, Ω I ( F ) does not nvolve the elements of full flags F whch have been dscarded n the defnton of Fl(I), therefore we can defne Ω I (F ) for all F Fl(I). Let T (I) be set of ranks of the partal flags n Fl(I),.e., T (I) = [n] {a a < n, a I, a+1 I}. For F Fl(I), defne (wth 0 = 0, r+1 = n) Ω 0 I(F ) = {V Gr(r, n) dm(v F a ) = j, j a < j+1, a T (I), j = 1,..., r} Ths s a subset of the smooth locus of the normal projectve varety Ω I (F ). Lemma 7.9. (a) The complement Ω I (F ) \ Ω 0 I (F ) s of codmenson 2 n Ω I (F ).

18 18 PRAKASH BELKALE (b) Ω 0 I (F ) s homogeneous for the acton of the stablzer of a fxed partal flag F Fl(I). Proof. Part (b) follows from an easy calculaton. For (a), extend F to a full flag F. Let > 1 I such that 1 I, let I = (I {}) { 1}. Then, Ω I ( F ) s a codmenson one subvarety of Ω I ( F ) = Ω I (F ) and all such codmenson one Schubert varetes are obtaned ths way. It suffces to observe that Ω 0 I ( F ) Ω 0 I (F ) whch s mmedate from the defntons. The followng lemma s crucal to the process of nducton: Lemma Suppose F Fl(I) and V Ω 0 I (F ). Then the partal flag F nduces full flags on V and = C n /. Proof. Snce F a s a member of the flag and dm F a V = a, the statement for V s clear. If a+1 = a + 1, then F a and F a+1 have the same mage n. If a k < a+1 1, and a + 1 r then the rank of the mage of F k n s exactly k a. Therefore for k n the range a k < a+1 1, the rank of the mage of F k n ranges from a a to a+1 2 a (end ponts nclusve). The mage of F a+1 n s a+1 a 1, and so there are no gaps n the ranks of the the mages of F j, j T (I) n (The range r k n s handled smlarly). 8. The nducton operaton and propertes We return to the settng of Secton 5: Fx (r, n, I 1,..., I n ) satsfyng satsfyng (1.7) Defnton of nducton. Let Z = Fl(I 1 ) Fl(I 2 ) Fl(I s ) and Ŷ Gr(r, n) Z be the unversal ntersecton of closed Schubert varetes: s Ŷ = {(V, F (1), F (2),..., F (s)) V Ω I (F ())} The map π : Ŷ Z s bratonal and surjectve. Let Ŷ 0 Ŷ be the unversal ntersecton of the hatted open Schubert varetes ntroduced n Defnton 7.8, s Ŷ 0 = {(V, F (1),..., F (s)) V Ω 0 I (F ()) It s easy to see that Ŷ 0 s smooth. Let R Ŷ 0 be the ramfcaton dvsor of π : Ŷ 0 Z. The followng s mmedate, Lemma 8.1. (1) Ŷ Ŷ 0 has codmenson 2 n the projectve varety Ŷ. (2) The closure of π( R) Z has codmenson 2 n Z. (3) π nduces an somorphsm between Ŷ 0 R and a open subset U Z such that all rreducble components of Z U are of codmenson 2 n Z. (4) Pc(Ŷ 0 R) = Pc(U) = Pc(Z). (5) Any SL(n)-equvarant lne bundle L on U extends to a SL(n)-equvarant lne bundle on Z. Proof. Zarsk s man theorem gves (3). For (5), we extend the lne bundle L frst as a lne bundle to Z. Ths extenson has a canoncal SL(n) equvarant structure. Now the restrcton to U of the extenson has the same equvarant structure as L because any two SL(n) equvarant structures on a lne bundle on U concde (use the codmenson statement n (3)). =1 =1

19 EXTREMAL RAYS OF EIGENCONES 19 There s a natural map of stacks p : Ŷ 0 / SL(n) S by Lemma 7.10, here S s the stack defned n Defnton 2.6. It carres a natural dvsor R S, such that p 1 (R S ) = R. There s also a secton : S Ŷ 0 gven by the drect sum constructon as n Secton 2.4. We obtan a varant of the basc dagram of stacks (2.2) here (as n Defnton 7.3), B = (Fl(I 1 ) Fl(I 2 ) Fl(I s ))/ SL(n) = Z/ SL(n), and = π : (8.1) Ŷ 0 /SL(n) B π p S Defnton 8.2. Let L Pc(S R S ). Now, p L s a lne bundle on Ŷ 0 R whch s equvarant for the acton of SL(n). By Lemma 8.1, we get a SL(n) equvarant lne bundle on Z, and hence one on Fl(n) s. Ths defnes a mappng of Z-modules whch wll be called nducton: (8.2) Ind : Pc(S R S ) Pc(B) Pc(Fl(n) s ) Propertes of Inducton. Theorem 8.3. (1) The nducton operaton establshes an somorphsm between the Z-modules Pc deg=0 (S R S ) and Pc deg=0 (B). (2) For all L Pc deg=0 (S R S ), we have an somorphsm H 0 (S R S, L) H 0 (B, Ind(L)). (Takng L = O, we recover Fulton s conjecture (as n Secton 2.4) snce Ind(O) = O, (gven the computaton of the ramfcaton dvsor as n [Bel04], see Step (a) n Secton 2.4). Ths proof of Fulton s conjecture s a varant of [BKR12], where the argument uses a smaller partal flag varety B replacng B,.e., a surjecton B B ). (3) Under the bjecton n (1), Pc + (S R S ) corresponds to Pc +,deg=0 (B). Therefore Pc + (S R S) = Pc +,deg=0 (B) = F 2. (4) Suppose L = O(E) Pc(S) where E s a locus wth modular propertes. Then Ind(L) Pc(B) Pc(Fl(n) s ) equals O(Ẽ), where Ẽ s p 1 (E) (Ŷ 0 R) as a dvsor on U Z (as n Lemma 8.1), hence by takng closures, on Z. Therefore, Ind(L) also has a modular nterpretaton ( off codmenson 2, the correspondng pont of S satsfes the modular property of beng n E ). Proof. That Pc deg=0 (S R S ) maps to Pc deg=0 (B) can be seen as follows: Let L = L λ L µ L ν be the mage of L Pc deg=0 (S R S ). Let x = (V, F (1),..., F (s)) Ŷ 0 R, whch can be consdered an open subset of Z, whose complement has codmenson 2. As n Secton 2.4 choose a drect sum decomposton C n = V, and let φ t SL(n) be an automorphsm whch s multplcaton by t n r on V and multplcaton by t r on. The pont (p(x)) = lm t 0 φ t (x). The acton of φ t on L (p(x) s the same as the acton of t C on L p (x) descrbed n Defnton 6.2. Therefore φ t acts by zero on L (p(x), and hence equalty n the nequalty (1.8) holds (see Remark 2.8), and hence L Pc deg=0 (B). Conversely, f L = L λ1 L λs s n Pc deg=0 (B), then wth x as above, equalty n (1.8) gves a somorphsm L x L (p(x)), by propagatng a secton of L at x to all φ t (x) and extendng t to t = 0 (there are