arxiv: v1 [math.ag] 18 Feb 2013

Transcription

1 ON THE HOLONOMIC RANK PROBLEM SPENCER BLOCH, AN HUANG, BONG H. LIAN, VASUDEVAN SRINIVAS, AND SHING-TUNG YAU arxv: v1 [math.ag] 18 Feb 2013 Abstract. A tautologcal system, ntroduced n [15][16], arses as a regular holonomc system of partal dfferental equatons that govern the perod ntegrals of a famly of complete ntersectons n a complex manfold X, equpped wth a sutable Le group acton. In ths artcle, we ntroduce two formulas one purely algebrac, the other geometrc to compute the rank of the soluton sheaf of such a system for CY hypersurfaces n a generalzed flag varety. The algebrac verson gves the local soluton space as a Le algebra homology group, whle the geometrc one as the mddle de Rham cohomology of the complement of a hyperplane secton n X. We use both formulas to fnd certan degenerate ponts for whch the rank of the soluton sheaf becomes 1. These rank 1 ponts appear to be good canddates for the so-called large complex structure lmts n mrror symmetry. The formulas are also used to prove a conjecture of Hosono, Lan and Yau on the completeness of the extended GKZ system when X s P n. Contents 1. Introducton 1 2. Soluton sheaf and Le algebra homology 5 3. Le algebra homology n geometrc terms Homogeneous spaces havng the surjectvty property From Le algebra homology to de Rham cohomology Soluton sheaf vs. perod sheaf A chan map Rank 1 ponts for G(2, N) A geometrc proof 32 References Introducton Let X be a compact complex manfold, such that the complete lnear system of ant-canoncal dvsors n X s base pont free. In [16], the perod ntegrals of the correspondng unversal famly of CY hypersurfaces s studed. It s shown 1

2 2 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau that they satsfy a certan system of partal dfferental equatons defned on the affne space V = Γ(X, ω 1 X ) whch we call a tautologcal system. When X s a homogeneous manfold of a sem-smple Le group G, such a system can be explctly descrbed. For example, one descrpton says that the tautologcal system can be generated by the vector felds correspondng to the lnear G acton on V, together wth a set of quadratc dfferental operators correspondng to the defnng relatons of X n PV under the Plücker embeddng. The case where X s a Grassmannan has been worked out n detal [15]. Defnton 1.1. [15][16] Let Ĝ be complex Le group, Z : Ĝ Aut V be a gven holomorphc representaton such that Z(Ĝ) contans C 1 V, and let Z : ĝ End V be the correspondng Le algebra representaton. Let ˆX V be a Ĝ-stable subvarety, and β : ĝ C be a Le algebra homomorphsm, The tautologcal system τ( ˆX, V, Ĝ, β) s the dfferental system generated by the operators Z β (x) := Z(x) + β(x), x ĝ p( ζ ), p(ζ) I( ˆX, V ). Here ζ Der C[V ] s defned by ζ a = ζ, a (a V, ζ V ); I( ˆX, V ) C[V ] s the defnng deal of ˆX V. Note that n the defnton, we can vew Z(x) End V as a dfferental operator on V because End V Der (Sym V ) = Der C[V ]. There are a number of mportant specal cases of ths defnton that have been extensvely studed n varous context. For a bref overvew of these specal cases, see [15]. Let π : Y B := Γ(X, ω 1 X ) sm be the famly of smooth CY hyperplane sectons n X, and let H top be the Hodge bundle over B whose fber at f B s the lne Γ(Y f, ω Yf ) H n 1 (Y f ), where n = dm X. In [16], the perod ntegrals of ths famly are constructed by gvng a canoncal trvalzaton of H top. Let Π = Π(X) be the perod sheaf of ths famly,.e. the locally constant sheaf generated by the perod ntegrals (Defnton 1.1 [16].) Theorem 1.2. The perod ntegrals of the famly are solutons to the tautologcal system M = τ( ˆX, V, Ĝ, (0; 1)), where ˆX s the cone over X n V = Γ(X, ω 1 X ), and Ĝ = Aut X G m.

3 On the Holonomc Rank Problem 3 Ths was proved n [15] for X a partal flag varety, and n full generalty n [16], n whch the result was also generalzed to hyperplane sectons of general type. Applyng an argument of [14], t was also shown that f X has only a fnte number of G = Aut X-orbts, then M s regular holonomc (Theorem 3.4 [15].) In ths case, f X = r l=1 X l s the decomposton nto G-orbts, then the sngular locus of M s contaned n r l=1 X l. Here X l V s the concal varety whose projectvzaton P(Xl ) s the projectve dual to the Zarsk closure of X l n X. In the well-known applcatons of varaton of Hodge structures n mrror symmetry, t s mportant to decde whch solutons of our dfferental system come from perod ntegrals. By Theorem 1.2, the perod sheaf s a subsheaf of the soluton sheaf of a tautologcal system. Thus an mportant problem s to decde when the two sheaves actually concde. If they do not concde, how much larger s the soluton sheaf? From Hodge theory, we know that (see Proposton 6.3) the rank of the perod sheaf s gven by the dmenson of the mddle vanshng cohomology of the smooth hypersurfaces Y f. Therefore, to answer those questons, t s desrable to know precsely the holonomc rank of our tautologcal system. Let us recall what s known on these questons n a number of specal cases. In the case of CY hypersurfaces n, say, a sempostve torc manfold X, t s known [8][1] that the holonomc rank of the GKZ hypergeometrc system n ths case s the normalzed volume of the polytope generated by the exponents of the monomal sectons n Γ(X, ω 1 X ). Ths number s also the same as the degree of the antcanoncal embeddng X PΓ(X, ω 1 X ). However, t s also known [11] that ths number always exceeds (and s usually a lot larger than) the rank of the perod sheaf. If one consders the extended GKZ hypergeometrc system, where the torus T actng on X s replaced by the full automorphsm group Aut X, one would expect that the rank of the extended system to be closer to that of the perod sheaf. In fact, based on numercal evdence, t was conjectured [11] that for X = P n (whch lves n both the torc world and the homogeneous world), the rank of M concdes wth that of the perod sheaf at generc ponts. In the case when X = X A s a sphercal varety of a reductve group G correspondng to a gven set of rreducble G-modules A, Kapranov [14] showed that the rank of hs A-hypergeometrc system s bounded above by the degree of embeddng X A PMA, f the cone ˆX A over X A n MA s assumed to be Cohen-Macaulay. Ths result was generalzed to any smooth G-varety X wth a fnte number of G-orbts by Lan, Song and Yau [15]. Note, however, that the rank upper bound n each case cted above makes no

4 4 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau assumptons about whether the underlyng D-module arses from the varaton of Hodge structures of CY varetes. Moreover, snce the holonomc rank gves the number of ndependent solutons only away from the sngular locus, the bound yelds no nformaton about solutons at sngulartes. In ths paper, we ntroduce two new formulas one purely algebrac, and the other geometrc to compute the rank of the soluton sheaf of a tautologcal system for CY hyperplanes sectons n X. The algebrac formula expresses the soluton space at any gven pont (sngular or not), as the dual of a certan Le algebra homology wth coeffcent n the coordnate rng of X (Theorem 2.9.) The geometrc formula uses the algebrac result to dentfy the soluton space wth the mddle de Rham cohomology of the complement of the same CY hyperplane secton n X. Based on much numercal evdence, t s conjectured that the geometrc result holds for an arbtrary homogeneous varety. Our proof s vald for most famlar cases (e.g. projectve spaces, Grassmannans, quadrcs, spnor varetes, maxmal Lagrangan Grassmannans, two exceptonal varetes, full flag varetes G/B, and products of such). We also use both formulas to fnd certan degenerate ponts for whch the rank of the soluton sheaf s 1. We conjecture that the rank 1 ponts n Theorem 8.1 n fact correspond to large complex structure lmts (n the sense of [17][9]), n the modul space of CY hypersurfaces n X. Conjecture 1.3. (Holonomc rank conjecture) Let X be an n-dmensonal projectve homogeneous space of a semsmple Le group G. Then the dmenson of the soluton space of the tautologcal system τ( ˆX, V, G G m, β), where V = Γ(X, ω 1 X ), β = (0; 1), at the pont f V, concdes wth dm H n dr(x Y f ). In ths paper, we wll prove Theorem 1.4. Assume that the natural map g Γ(X, ω r X ) Γ(X, T X ω r X ) s surjectve for each r 0. Then conjecture 1.3 holds for all f V. The lst of homogeneous spaces known to satsfy the condton n the theorem ncludes Grassmannans, full flag varetes G/B, quadrcs, spnor varetes, maxmal Lagrangan Grassmannans, and two exceptonal X s, as well as products of such see Proposton 4.1. As one mmedate consequence, we also deduce the followng

5 On the Holonomc Rank Problem 5 Corollary 1.5. [11] For X = P n, the tautologcal system τ( ˆX, Γ(X, ω 1 X ), SL n+1 G m, (0; 1)) (whch s a specal case of an extended GKZ system) s complete. In other words, the solutons at a generc pont f V are precsely the perod ntegrals of CY hypersurfaces n X. More generally, we wll show as a corollary of Conjecture 1.3 that the queston of completeness for a gven X can be reduced to the vanshng of the mddle prmtve cohomology of X, whch s essentally topologcal. 2. Soluton sheaf and Le algebra homology We begn wth the set up n [16] and consder the rank of the soluton sheaf to the tautologcal system τ( ˆX, V, Ĝ, β). We have a holomorphc representaton Z : ĝ End V and ts contragredent dual representaton Z : ĝ End V. Snce End V Der (Sym V ) = Der C[V ] and End V Der (Sym V ) = Der C[V ], we can vew for x ĝ, Z(x) Der C[V ], Z (x) Der C[V ]. Thus by fxng a bass a for V and dual bass a for V, we can wrte and Put Z(x) =,j C[V ] = C[a], C[V ] = C[a ] x j a j, Z (x) = a,j Z β (x) = Z(x) + β(x) (x ĝ.) x j a j Defnton 2.1. Let D = C[a][ 1, 2,...] be the Weyl algebra on V, where = a, and consder the lnear somorphsm Φ : D C[V V ] = C[a, a ], g u (a) u g u (a)a u. u u Let Ψ : D End C[a, a ] be the D-module structure nduced by Φ,.e. a Ψ(Q) q = Φ(Q Φ 1 (q)), (Q D, q C[a, a ].).

6 6 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau Observe that on the varables, Φ s precsely the nverse of the Fourer transform we used to defne the tautologcal system τ( ˆX, V, Ĝ, β) n [15][16]. Cf. Eqn. (4.5) [1]. Next, t s straghtforward to check Lemma 2.2. We have Ψ(a ) = a (actng by left multplcaton), and Ψ( ) = a + a. Let I = I( ˆX, V ) C[a ] = C[V ] be the vanshng deal of X n PV. Then the deal C[a]I of the rng C[a, a ] s a D-submodule of C[a, a ] under the acton Ψ. Lemma 2.3. The mage under Φ of DΦ 1 (I) s C[a]I. In partcular, Φ nduces a D-module somorphsm D/DΦ 1 (I) = R[a] where R = R V := C[V ]/I( ˆX, V ) = C[a ]/I. Proof. Snce Φ 1 (I) C[ 1, 2,..], we have Φ(DΦ 1 (I)) = C[a, a ]I. The rght sde s C[a]I, snce I s an deal n C[a ]. Put f = a a C[V V ] = C[a, a ] whch s the generc hyperplane secton under the embeddng X PV. Then by a straghtforward calculaton, we fnd that Lemma 2.4. The map Z f,β : ĝ End C[a, a ] gven by x Z f,β(x) = Z (x) + (Z (x)f) β(x) (x ĝ) s a Le algebra homomorphsm. (Here (Z (x)f) means the operator multplcaton by Z (x)f. Ths s not the same as the composton of the two operators Z (x) and multplcaton by f.) As we shall see later, n the case when ĝ s a drect sum of Le algebras g C, the choce β = (0; 1) and Z (1) beng the negatve Euler operator on C[a ] wll be mportant for computng the holonomc rank usng the method of Feynman measure. Note further that the lemma also holds true f we replace f by a fxed secton f = a(0) a V and C[a, a ] by C[a ] (.e. evaluate the a at a = a (0) C), snce the dervatons Z (x) Der C[a ] do not affect the varables a n the calculaton leadng to Lemma 2.4.

7 On the Holonomc Rank Problem 7 Lemma 2.5. For x ĝ, Z f,β (x) End DC[a, a ]. In other words, the ĝ-acton and the D-acton on C[a, a ] commute. Proof. It s obvous that [Z f,β (x), a ] = 0. We also have [Zf,β(x), + a ] = 0. a By Lemma 2.2, t follows that [Zf,β (x), Ψ(D)] = 0,.e. the ĝ-acton and the D-acton on C[a, a ] commute. Lemma 2.6. The D-submodule C[a]I C[a, a ] s also a ĝ-submodule, where ĝ acts va the operators Z f,β (x). Hence ĝ acts on the quotent R[a] = C[a, a ]/C[a]I. Proof. Snce I C[a ] = C[V ] s the vanshng deal of the Ĝ nvarant subvarety ˆX V, and snce the Le algebra ĝ of Ĝ acts on C[V ] by Z : ĝ Der C[V ], t follows that Z (x)i I. Snce the Z (x)f acts on C[V V ] = C[a, a ] by left multplcaton, they also leave C[a]I stable. It follows that the Zf,β (x) = Z (x) + Z (x)f β(x) leave C[a]I stable. Lemma 2.7. For x ĝ, ΦZ β (x) = Zf,β (x) 1. Moreover, the mage under Φ of DZ β (ĝ) s Zf,β (ĝ) C[a, a ]. Proof. For x ĝ, we have ΦZ β (x) = Φ( x j a j a + β(x)) = x j a j a + β(x) = Z (x)f + β(x) = Z f,β(x) 1 whch gves the frst asserton. Snce the D-acton on C[a, a ] commutes wth the Zf,β (x) by Lemma 2.5, t follows that Hence Φ(DZ β (ĝ)) Zf,β (ĝ)c[a, a ]. C[a, a ], x ĝ. We have Φ(DZ β (x)) Z f,β(x)c[a, a ]. To see the reverse ncluson, let q Zf,β(x)q = Zf,β(x)Φ(Φ 1 (q) 1) = Zf,β(x)Ψ(Φ 1 (q)) 1 = Ψ(Φ 1 (q))zf,β(x) 1 = Ψ(Φ 1 (q))φ(z β (x)) = Φ(Φ 1 (q)z β (x)) Φ(DZ β (x)). Here the second, fourth and last equaltes follow from Defnton 2.1, whle the thrd equalty follows from Lemma 2.5. Ths proves the reverse ncluson.

8 8 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau Recall Defnton 8.1 [16] τ( ˆX, V, Ĝ, β) := D/(DZ β(ĝ) + DΦ 1 I( ˆX, V )) Combnng Lemmas 2.3, 2.6 and 2.7, we get Theorem 2.8. Φ nduces a D-module somorphsm τ( ˆX, V, Ĝ, β) = R[a]/Zf,β(ĝ)R[a] where R := C[V ]/I( ˆX, V ) and R[a] = R[V ]. For a (0) C dm V, let Ôa be the D-module of formal power seres at (0) a(0), and O a (0) the D-module of convergent power seres at a (0). Let C a (0) = C be the one dmensonal C[a]-module such that a acts by a (0). As before, we put f = a (0) a V. Theorem 2.9. Suppose ˆX has only a fnte number of Ĝ-orbts. Put M = τ( ˆX, V, Ĝ, β). Then we have Hom D (M, O a (0)) = Hom D (M, Ôa (0)) = H Le 0 (ĝ, R f ) where ĝ acts on R f := C[ ˆX] by Z f,β : ĝ End R f x Z (x) + Z (x)f β(x). Part of the argument of Theorem 4.17 [1] generalzes to our settng. The man pont here s that even though the argument there whch contaned calculatons that reled heavly on the assumptons that X s a torc varety and that the deal I s bnomal, when the argument s renterpreted sutably, the assumptons turn out to be unnecessary. One further new observaton here s that t s useful to nterpret the space R f /Z f,β (ĝ)r f as the Le algebra homology of the ĝ-module R f. Proof. By Theorem 3.4 [15], M s regular holonomc, so the frst somorphsm holds (Proposton 14.8 [2].) Snce M s a fntely generated D-module, we have Hom D (M, Ôa (0)) = Hom C (C a (0) C[a] M, C). By the precedng theorem, the rght sde s Hom C (C a (0) C[a] R[a]/Zf,β(ĝ)R[a], C) = HomC (R f /Zf,β(ĝ)R f, C) = H Le 0 (ĝ, R f ). Ths completes the proof.

9 On the Holonomc Rank Problem 9 Remark (a) Consder the lnear somorphsm R f Re f, φ φe f. Under ths dentfcaton, the ĝ-acton by Z f,β (ĝ) on R f corresponds to the acton ĝ Re f Re f, x φe f (Z (x) β(x))(φe f ). From now on, H Le (ĝ, Re f ) wll be understood to be the Le algebra homology wth respect to ths acton. We can do the same for the ĝ-modules I( ˆX, V ) and C[V ]. (b) We wll see that wrtng the ĝ-acton as such allows us to use the dea of Feynman measures [3] to drectly compute the holonomc rank of τ( ˆX, V, Ĝ, β) n some cases. (c) In a later secton, we wll renterpret the Le algebra homology n the theorem n terms of certan de Rham cohomology, n the case X PV where V = Γ(X, ω 1 X ), Ĝ = G G m where G s semsmple and β = (0; 1). Example As an applcaton of Theorem 2.9, we wll show that for X = P n the perod ntegrals of Calab-Yau hypersurfaces form a complete set of solutons to the tautologcal system (Corollary 1.5). Ths wll also turn out to be an easy consequence the geometrc formula (Theorem 1.4) later. We wll eventually specalze to the Fermat case f = x n x n+1 n, but for now f can be any smooth CY hyperplane secton. Frst consder the perod sheaf,.e. the sheaf defned on Γ(X, ω 1 X ) sm, that s generated by the perod ntegrals of smooth CY hypersurfaces Y f n X. By Proposton 6.3, t s locally constant of rank gven by the dmenson of the vanshng cohomology whch s ν n := dm H n 1 (Y f ) dm H n 1 (X) where : Y f X s the ncluson map. By the Lefschetz hyperplane theorem, t s easy to show that for X = P n, ν n = n n + 1 (nn ( 1) n ). Snce the perod sheaf s a subsheaf of the soluton sheaf Sol(M) (Theorem 1.2), dm H0 Le (ĝ, Re f ) ν n. Thus t remans to show that (2.1) dm H Le 0 (ĝ, Re f ) ν n. Note that we can dentfy R wth the subrng of C[x] := C[x 0,...x n ] consstng of polynomals of degrees dvsble by n + 1. Lemma We have (2.2) ĝ (Re f ) = Re f x (C[x]e f ).

10 10 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau Proof. Consder the acton ĝ End Re f, y Z (y) β(y). Here Z comes from the dual of the representaton Z : ĝ = gl n+1 End V. We have Z (1) = 1 x = 1 x + 1 n + 1 x n + 1 x We also have Z (X j ) = x x j = x j x ( j), and Z (H ) = x 0 x 0 + x x = x 0 x 0 + x x, where the X j, H form the standard bass of g = sl n+1. Usng β(g) = 0 and β(1) = 1 (ths value s crucal!), t follows easly that (Z β)(ĝ) = j C x x j. Ths shows that the left sde of (2.2) s a subspace of the rght sde. To see the reverse ncluson, we consder the Z/(n + 1)Z gradng on C[x]e f : for p(x) C[x] a degree k polynomal, the gradng of p(x)e f s k mod (n + 1). Snce R C[x] s the subrng generated by polynomals of degree 0 mod (n + 1), both sdes of (2.2) have gradng 0 mod (n + 1). Let A be an element on the rght sde of (2.2), so that t has gradng 0 mod (n + 1) and t has the form A = (p (x)e f ) x where p (x) C[x]. By groupng homogeneous terms, we may as well assume that the p (x) have polynomal degree 1 mod (n+1), whch means that p (x) = j x jp j (x) for some p j (x) of degree 0 mod (n + 1). Ths shows that A = j x x j (p j (x)e f ) whch les n the left sde of (2.2). Ths proves the reverse ncluson. To complete the proof of the Corollary 1.5, we now choose f = x n x n+1 n. Consder an element of the form x k x kn n e f n Re f wth k 0 n. Then (x k 0 n 0 x k x kn n e f ) = (n + 1)x k x kn n e f + (x k 0 n 0 x k x kn n ) e f. x 0 x 0 By the lemma, x k x kn n e f and x 0 (x k 0 n 0 x k x kn n ) e f represent the same element n H0 Le (ĝ, Re f ). The analogous statement also holds for each k n. It follows that any element n H0 Le (ĝ, Re f ) can be represented by a lnear combnaton of elements of the form x k x kn n e f, where the k are at most n 1, and k k n 0 mod (n + 1).

11 On the Holonomc Rank Problem 11 For nteger 0 s (n + 1)(n 1), we denote by a(s) the number of nteger solutons to the equaton k k n = s where the k are between 0 and n 1. By the precedng paragraph (2.3) dm H0 Le (ĝ, Re f ) a(s) (n+1) s To calculate the rght sde, we consder the Gauss sum n λ=0 0 k n 1 e 2π(k kn)λ n+1 whch s equal to (n + 1) (n+1) s a(s). On the other hand, by summng over the k ndvdually, ths sum s equal to n λ=0 ( 1 ξnλ ) n+1, where ξ = e 2π 1 ξ λ n+1. The latter sum can be calculated, and t s equal to (n + 1)ν n. Therefore, (2.4) a(s) = ν n. (n+1) s Fnally (2.3) and (2.4) yeld (2.1). 3. Le algebra homology n geometrc terms Let X be a smooth, projectve varety over C, and let π L : L X be a lne bundle over X. Let G be a reductve Le group actng on (L, X). Let g be the Le algebra of G. g acts by dervatons on the functon algbera Sym L. In partcular, f l s a local secton of L and f a functon on X, then for x g we have x(fl) = fx(l) + x(f)l;.e. g acts by relatve dervatons. In addton, the acton s lnear,.e. g preserves the gradng on Sym L. Let U := L {0} be the complement of the zero secton, and wrte π = π L U : U X. We have an exact sequence of tangent bundles (3.1) 0 π LL T L π LT X 0. Here πl L s the sheaf of tangent vectors along the fbres. Restrctng (3.1) over U yelds (3.2) 0 O U T U π T X 0. The sheaf O U n ths context has a canoncal generator whch s the Euler operator E gven by E(fl r ) = rfl r. Assumng the acton of g s fathful, we have (3.3) g + C E Γ(U, T U )

12 12 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau Another way to thnk about ths s to note that G G m acts on L. It follows that E commutes wth the acton of g. Assumng that g acts fathfully on X (note even n the homogeneous space case, ths s an extra hypothess f g s not smple) we wll have a sub-le algebra g C E Γ(U, T U ). Because of the G m -acton on U, sheaves lke π O U, π T U, and π Ω U wll have a gradng. The exteror dervatve d : π Ω U π Ω +1 U has degree 0. Lemma 3.1. π L has a unque (upto C ) non-vanshng secton of degree 1 for the G m -acton. Proof. It suffces to check wth X = P n = Proj C[t 0,..., t n ], L = O P n(1). Wrte P n = U wth U = Spec C[t 0 /t,..., t n /t ]. Identfy L U = O U wth transton cocycle σ j = t j /t (so the sectons t k /t on U glue to global sectons). We have π 1 (U ) = Spec C[t 0,..., t n, t 1 ]The global secton of π L s gven by t 1 on π 1 (U ). Assume now that the canoncal bundle ω X = L N for some N 1. We have Ω 1 U/X = O U dl, so there s an somorphsm whch we denote by α l (3.4) α : ω U = π ω X = OU [ N] Note that f α 1, α 2 are two choces for such an somorphsm, then α 2 α 1 1 s an somorphsm O U O U of degree 0, hence t les n C. In partcular, f we assume the group G s sem-smple and hence has no abelan characters, the somorphsm α s nvarant under the acton of G. Let dm X = n, so ω U = Ω n+1 U. Then we defne a map θ (3.5) θ : T U = Hom(Ω 1 U, O U ) = Hom(Ω 1 U, ω U )[N] = Ω n U[N]. Under ths dentfcaton, the exteror dervatve d : Ω n U ω U s dentfed wth a map (of degree 0) (3.6) D := α d θ : T U O U. Now suppose gven 0 f Γ(X, L N ) = Γ(X, ω 1 X ). We have a contracton operator (3.7) df : T U O U [N], and we may consder the composton (gnorng the gradng) D+ df (3.8) (g C E) C O U T U OU.

13 On the Holonomc Rank Problem 13 To connect wth Theorem 2.9, we wll now assume that L s very ample and G s sem-smple. We clam Lemma 3.2. the resultng acton (3.9) (g C E) C Γ(U, O U ) Γ(U, O U ) s gven by (3.10) x φ ρ(x)φ + φρ(x)f, E φ E(φ) + φe(f) + Nφ where x g. Proof. Let φ, δ be local sectons of O U, T U respectvely. We have (3.11) α(dφ θ(δ)) = δ(φ); (3.12) D(φδ) = φd(δ) + δ(φ) Let ρ : g Γ(U, T U ) be the map gven by the acton. Snce the actons of G and G m on U commute, the mage of ρ les n the degree 0 part of Γ(U, T U ). Snce D has degree 0, we get D ρ(g) Γ(U, O U ) deg 0 = C. Snce D commutes wth the acton of G, we get that D ρ[g, g] = (0). But G sem-smple mples g = [g, g]. Thus, D ρ = 0. Takng δ = ρ(x) n (3.12), where x g, we conclude that the dagram (3.13) Γ(U, T U ) g Γ(U, O U ) commutes. Ths yelds the frst half of (3.10). D Γ(U, O U ) natural acton Γ(U, O U ) Next we calculate D(E). Let S = Spec A be a non-empty open n X such that L S = O S. Let U S = π 1 (S) = Spec A[t, t 1 ]. (Here t O U has degree 1.) Then ω S = O S η for some n-form η, and α 1 (1) U S = t N dt/t π η. Restrcted to S we have E = td/dt, and t s straghtforward to check from (3.11) that θ(e) = t N π η. Thus (3.14) (3.15) D(E) = αdθ(e) = α(nt N dt/t η) = N D(φE) = Nφ + E(φ). Fnally, we have α(d + df)θ = D + α(dfθ). For δ T U, t follows from (3.11) that α(df)θ(δ) = δ(f). Ths yelds the second half of (3.10).

14 14 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau Assume now that ω X = O X ( N) for some N 1. We vew the varous graded rngs and modules as beng graded mod N, and the subscrpt 0 mod N wll refer to the sub-object of graded degree zero mod N. For example (3.16) Γ(U, O U ) 0 mod N = Γ(X, ω r X ). Corollary 3.3. Assume () ω X = L N for some N 1. () The map g O X T X s surjectve. () The maps g Γ(X, ω r X r 0 ) Γ(X, T ω r X ) are surjectve for all r 0. Then the Le algebra homology H Le 0 (ĝ, R f ) n Theorem 2.9 s somorphc to (3.17) Coker(Γ(U, Ω n U) 0 mod N d+df Γ(U, ω U ) 0 mod N ) proof of corollary. It follows from () together wth (3.1) and (3.5) that (g C) O U T U = Ω n U [N]. Moreover, the coordnate rng of X PΓ(X, ω 1 X ) s C[ ˆX] = Γ(X, ω r X ) = Γ(U, O U ) 0 mod N. r 0 Comparng the ĝ-actons on both sdes (Theorem 2.9 and Lemma 3.2), we see that ths s an somorphsm of ĝ-module. Now consder the dagram of global sectons vewed as graded mod N. (3.18) Γ(U, Ω n U ) 0 mod N θ = Γ(U, T U ) 0 mod N surj d+df D+ df Γ(U, ω U ) 0 mod N α = Γ(U, OU ) 0 mod N (g C) Γ(U, O U ) 0 mod N Γ(U, O U ) 0 mod N. It follows from () that the left vertcal arrow n (3.18) s surjectve, so the three horzontal arrows have somorphc cokernels. 4. Homogeneous spaces havng the surjectvty property Concernng condton () of the Corollary 3.3. Here s what we can say at the moment.

15 On the Holonomc Rank Problem 15 Proposton 4.1. Let G be a sem-smple group over a feld of characterstc zero, and let P G be a parabolc subgroup. Wrte X = G/P. Let O X (1) on X be very ample wth G acton and assume ω X = O X ( N) for some N > 0. Wrte S = r 0 Γ(X, O X(rN)), and let M := r 0 Γ(X, T X(rN)), so M s a graded S-module. Then M s generated n degree 0 n the cases (a) g = Γ(X, T X ), and the unpotent u p := Le(P ) s abelan. (In [18] such X are referred to as Hermtan symmetrc. Examples nclude Grassmannans, quadrcs, spnor varetes, maxmal Lagrangan Grassmannans, and two exceptonal X s, as well as products of such.) (b) P = B s a Borel. Proof. In case (a), let l p be the Le algebra of the Lev. The representaton of p on g/p factors through p l. In partcular, ths representaton s completely reducble.it follows that the tangent bundle T X = G P g/p breaks up as a drect sum of bundles (T X ) assocated to rreducble representatons. The same wll be true f we tensor wth any abelan character of p. By theorem IV, p. 206 [4], Γ(X, (T X ) ) s an rreducble G-module. By assumpton (4.1) g = Γ(X, T X ) = Γ(X, (T X ) ) so we get a decomposton g = g of the adjont representaton of G on g. Agan by Bott, Γ(X, (T X ) ω r X ) s G-rreducble for r > 0. Fnally, the maps g Γ(X, ω r X ) Γ(X, (T X) ω r X ) are non-zero and hence surjectve snce they are compatble wth the G-acton. Suppose now G s arbtrary sem-smple and P = B s a Borel wth Le algebra b, maxmal torus T wth Le algebra t, and unpotent radcal U wth Le algebra u. Lemma 4.2. Let M be a G-module. Then the vector bundle G P M = O X C M. proof of lemma. The bundle s obtaned from G M by dentfyng (gb, m) (g, bm). A secton of G M s gven by a functon f : G M. Snce (gb, f(gb)) (g, bf(gb)), ths secton descends to a secton of G P M f and only f f(gb) = b 1 f(g). If the representaton of P on M lfts to G, we defne for m M, f m (g) := g 1 m. Then f m (gb) = b 1 f m (g), so f m descends to a secton of the bundle. In ths way, we obtan a trvalzaton.

16 16 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau Applyng the lemma to the exact sequence of b-modules 0 b g g/b 0 yelds an exact sequence of bundles (4.2) 0 V g C O X T X 0. The exact sequence 0 u b t 0 yelds another exact sequence of bundles (4.3) 0 Ω 1 X V t C O X 0 (Note that the vector bundle assocated to u s Ω 1 X. Also t has trval b-acton and hence by the lemma the correspondng equvarant bundle s trval.) For the proof of proposton 4.1 we need (4.4) H 1 (X, V(rN)) = (0), r 0. When r = 0 ths s true snce g = Γ(X, T X ). Assume r 1. The character c of b assocated to ω 1 X = O X(N) s the sum of all the postve roots of g. (We follow the notaton [13]. (α, β) denotes the Kllng form, and α, β := 2(α, β)/(β, β).) One knows ([13] p. 50) that c, α = 2 for any smple postve root α. For α, β both postve, we have β, α 3 ([13] p. 45),so c β, α 2 3 = 1. Let L(c β) be the lne bundle on G/B assocated to the character c β. We have the followng consequences of Borel-Bott-Wel theory ([6], corollare 8). () If c β, α 0 for all postve smple α, then H (X, L(c β)) = (0), 1. () If there exsts a smple postve α for whch c β, α = 1, then H (X, L(c β)) = (0) for all 0. () For n 2, the character nc β s domnant, so H (X, L(nc β)) = (0), 1. Start wth the dentty Ω 1 X = G B u, the vector bundle Ω 1 X (rn) has a fltraton wth quotents whch are lne bundles of the form L(rc β) as above. Snce all these have vanshng cohomology n degrees 1, t follows that the same wll be true for Ω 1 X (rn). Snce the lne bundle O X(rN) corresponds to a domnant weght for r 1, the desred vanshng (4.4) now follows from (4.3). 5. From Le algebra homology to de Rham cohomology In ths secton, we wll prove Theorem 1.4.

17 Wth notaton as above, defne (5.1) W = X V(f). On the Holonomc Rank Problem 17 It remans to nterpret the cokernel n (3.17) n terms of the cohomology of W n mddle degree n. For ths we adapt a method of Dmca [7]. X P n wll be a smooth, projectve varety wth cone Spec R, so R = C[x 1,..., x n+1 ]/I for a homogeneous deal I. Let B = C[x 1,..., x n+1 ]. = x x wll be the Euler operator whch we vew as actng by contracton : Ω B Ω 1 B. The followng propertes of are elementary: Lemma 5.1. () 2 = 0. The complex Ω n+1 B Ω n B Ω1 B B can be dentfed wth the Koszul complex assocated to the deal (x 1,..., x n+1 ) B. It s acyclc away from 0 Spec B. ()The B-module Ω B = r Ω B,r s graded, wth x and dx of degree 1. and the exteror dfferental d have degree 0 for ths gradng, and d + d = µ s the number operator for ths gradng, actng by multplcaton by r on Ω B,r. In partcular, f f B s homogeneous of degree N, then df = Nf. () For u Ω B, v Ωj B we have (u v) = (u) v + ( 1) u (v). (v) Let I B be a homogeneous deal, and let I Ω B be the dfferental deal generated by I. Then (I ) I [ 1]. In partcular nduces a map of graded sheaves R : Ω R Ω R [ 1], where R := B/I. Proof. () and () are proved n detal n Dolgachev, Weghted projectve varetes, lemma n secton () s mmedate, and (v) s clear from the last asserton n (). Let U = Spec R {0} be the punctured cone. We have a G m -bundle π : U X. As a consequence of lemma 5.1, nduces a surjecton U : Ω 1 U O U, and the nduced complex (5.2) Ω r+1 U U OU s the correspondng Koszul complex and s acyclc. Note U (π Ω 1 X ) = (0) (t suffces to remark for z homogeneous of degree 0 that U (dz) = 0 z = 0). It follows by lookng at ranks that the sequence (5.3) 0 π Ω 1 X Ω 1 U s exact, and from (9.14) and (5.3) that (5.4) π Ω X = Image( U : Ω +1 U U OU 0 Ω U).

18 18 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau (Alternatvely, we can dentfy : Ω 1 U O U n (5.3) wth Ω 1 U Ω1 U/X = O U dt/t. the complex (9.14) then becomes the Koszul complex on ths arrow.) We get exact sequences of sheaves on U and on X (5.5) 0 π Ω X Ω U π Ω 1 X 0 (5.6) 0 Ω X(n) π Ω U Ω 1 X (n) 0. Z Z Note that π Ω U s Z-graded (locally U = X Spec C[t, t 1 ] and we gve t degree 1 and dt/t degree 0. The resultng gradng s ndependent of the choce of t. (Better sad, there s a G m -acton on U/X.) The exact sequence (5.6) s compatble wth the gradng. For convenence we wll assume Γ(X, Ω >0 X (n)) = (0) for n 0. It follows that for 1, Γ(U, Ω U ) s graded n degrees > 0. For ω Γ(U, Ω U ) homogeneous, we wrte ω for the homogeneous degree. Let f R N be a non-zero homogeneous functon of degree N 1. For ntegers a, s, t wth 0 a N 1, we defne (5.7) B s,t a := Γ(U, Ω s+t+1 U ) Nt a. (The subscrpt on the rght refers to the homogeneous degree of the form.) Let d : Ba s,t Ba s+1,t be the exteror dervatve, and defne d a (ω) = tdf ω for ω Ba s,t. Ths defnes d a (ω) for ω homogeneous, and we extend the defnton to all forms by lnearty. We have d a : Ba s,t Ba s,t+1. Note d d a = d a d, so the graded vectorspace Ba = s+t= Bs,t a s a complex wth dfferental δ a := d + d a : Ba Ba +1. We wrte (5.8) (5.9) σ : B s,t a D f = δ 0 : B 0 B +1 0 ; Γ(W, Ω s+t ω W ( a)); σ(ω) = f. t Lemma 5.2. Let d W : Γ(W, Ω s+t W ( a)) Γ(W, Ωs+t+1 W ( a)) be exteror dfferentaton. Then (d W σ + σ δ a )(ω) = aω. In partcular, when a = 0, σ f t nduces a map on cohomology σ : H (B0, D f ) HdR (W ). Proof. We have for ω B s,t a (5.10) d W σ(ω) = d W ( (ω)/f t )) = (fd W (ω) tdf ω)/f t+1 f dω tnfω + tdf ω σδ a (ω) = σ(dω tdf ω) = f t+1 Combnng these, and usng lemma 5.1() (5.11) (d W σ + σδ a )(ω) = aω. f t

19 On the Holonomc Rank Problem 19 Lemma 5.3. Assume that B,0 0 = (0) for 0 (.e. Γ(X, Ω j ) = (0) for j 1.) Then B 0 wth dfferental D f = d tdf s quas-somorphc to B 0 wth dfferental d df. Proof. Defne constants µ s,t recursvely by µ s,1 = 1 and tµ s,t+1 = µ s,t. (More smply, µ s,t = 1/(t 1)!.) The dagrams (5.12) B s,t 0 d tdf B s+1,t 0 B s,t+1 0 µ s,t µ s+1,t µ s,t+1 all commute. t 1. B s,t d df 0 B s+1,t 0 B s,t+1 0 Note our assumpton means we need only consder the case Theorem 5.4. We contnue to assume Γ(X, Ω ) = (0) for 1. Then the map σ nduces an somorphsm on cohomology H (B0, D f ) HdR (W ). Proof. We have a decreasng fltraton (5.13) F p B k 0 := s p B s,k s 0 ; D f (F p B k 0) F p B k+1 0. We defne a fltraton on Γ(W, Ω W { ) by (5.14) F p Γ(W, Ω j W ) = {ω/f j p ω has no pole along f = 0} j p 0 p > j Agan df p F p. We have σ(f p B0) k F p Γ(W, Ω k W ) and a map of spectral sequences (5.15) σ : E p,q 1 := H p+q (gr p F B 0) E p,q 1 := H p+q (gr p F Γ(W, Ω W )) Let η/f j p F p Γ(W, Ω j W ) represent a class n Hj (gr p F Γ(W, Ω W )). (By our hypothess, j > p.) Then (5.16) d(η/f j p ) = (fdη (j p)df η)/f j p+1 s dvsble by f,.e. θ := η df N f the complex (5.17) B p,j 1 p 0 η Bj 0. H j (gr p F B 0) s the cohomology of df B p,j p 0 df B p,j+1 p 0 The form η s well-defned upto a multple of f and a form df x, so θ s welldefned upto a form df ξ. Snce df θ = 0, we see that θ represents a welldefned class n H j (gr p F B 0), and σ(θ) = η η/f j p. It follows that σ nduces an somorphsm on E 1 terms, and hence on E r -terms for any fnte r. To conclude

20 20 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau we remark that B0 = lm F p B p 0 and Γ(W, Ω W ) = lm F p Γ(W, Ω p W ). For any fnte value of p, there are nduced spectral sequences on F p. For any one of these we have E u,v 1, E u,v 1 vanshng for u << 0. Agan σ wll nduce somorphsms on E 1. It follows that σ s a drect lmt of somorphsms and hence s an somorphsm. Corollary 5.5. We have (notaton as n corollary 3.3) (5.18) H n dr(w ) = H Le 0 (g C E, Γ(U, O U ) 0 mod N ) = H Le 0 (ĝ, R f ). Proof of Theorem 1.4. Ths follows mmedately from Corollary 5.5 and Theorem Soluton sheaf vs. perod sheaf As an applcaton, we wll compare the soluton sheaf of our tautologcal system and the perod sheaf of smooth CY hyperplane sectons n X, by gvng a completeness crteron for the tautologcal system. We wll then deduce Conjecture 1.5 as a specal case. Defnton 6.1. We say that M = τ( ˆX, Γ(X, ω 1 X ), G G m, (0; 1)) s complete, f ts solutons sheaf concdes wth the perod sheaf Π(X) on Γ(X, ω 1 X ) sm. Corollary 6.2. The tautologcal system M = τ( ˆX, Γ(X, ω 1 X ), G G m, (0; 1)) s complete ff the prmtve cohomology H n (X) prm s zero. Proof. We have the exact sequence 0 H n (X) prm j H n dr(w ) Res H n 1 (Y f ) van 0 where H n 1 (Y f ) van s the vanshng cohomology of Y f = V(f). Thus Res s an somorphsm ff H n (X) prm = 0. By Proposton 6.3, the dmenson of the vanshng cohomology concdes wth the rank of the perod sheaf. By Theorem 2.9 and Corollary 5.5, ths agrees wth the generc rank of our system M ff H n (X) prm = 0. Proposton 6.3. The rank of Π(X) s equal to the dmenson of the vanshng cohomology of a smooth CY hypersurface Y f.

21 On the Holonomc Rank Problem 21 Proof. Fx a smooth CY hyperplane secton f. We know that the monodromy representaton on the vanshng cohomology H n 1 (Y f ) van s rreducble. It follows that the monodromy acton on H n 1 (Y f )/H n 1 (Y f ) van s also rreducble. We have a nonzero homomorphsm of representatons from H n (Y f ) to the stalk of Π at f: H n 1 (Y f ) Π f, γ Res Ω f where Res Ω f s the Poncaré resdue of a meromorphc form on X wth pole along Y f (Theorem 6.6 [16].) Snce Res Ω f H n 1 (Y f ) van, t follows that H n 1 (Y f ) van H n 1 (Y f ) les n the kernel of map. By rreducblty, the map nduces H n 1 (Y f )/H n 1 (Y f ) van = Π f. Corollary 6.4. Conjecture 1.5 holds. Therefore, the generc rank of the soluton sheaf of the tautologcal system n ths case s n n + 1 (nn ( 1) n ). γ Proof. For X = P n, Corollary 5.5 holds n ths case (see Proposton 4.1), and we obvously have H n (X) prm = 0. So the tautologcal system M n the precedng corollary s complete, provng Conjecture 1.5. The last asserton s an easy calculaton of dm H n 1 (Y f ) usng the Lefschetz hyperplane theorem. 7. A chan map Corollary 5.5 suggests that there mght be a smlar relaton between Le algebra homology groups and de Rham cohomology groups n degrees other than 0 and n. In ths secton, we defne a chan map between the complexes defnng those (co)homology groups. Recall that the Le algebra homology of ĝ wth coeffcent n R f can be gven as the homology of the chan complex (C (ĝ, R f ), d CE ) where d CE s the Chevelley-Elenberg homology dfferental and We wll defne a chan map C p (ĝ, R f ) := (Uĝ C p ĝ) Uĝ R f = pĝ C R f. (7.1) ϕ : (C (ĝ, R f ), d CE ) (Γ(U, Ω n+1 U ) 0 mod N, d + df )

22 22 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau (where N wll be 1) whch nduces the somorphsm n (co)homology n one degree gven by Corollary 3.3. Here the second complex extends (horzontally) the top row of (3.18). As n secton 3, we choose L = ω 1 X, U = L {0}, so that we have the dentfcaton R f = Γ(U, O U ). The space U has a unque (up to scalar) G- nvarant nonvanshng holomorphc top form ω 1 such that h ω 1 = h 1 ω 1 for h G m (Theorem 3.3 [16].) Then a straghtforward calculaton yelds Proposton 7.1. Defne (7.1) by ϕ(x 1 x p g) = g x1 xp ω 1 where g R f, x j ĝ, and xj denotes the contracton wth the vector feld generated by x j. Then ϕ s a chan map. Moreover, ϕ s surjectve ff the contracton map ĝ Γ(U, Ω n+1 p U s surjectve for each p 0. ) Γ(U, Ω n p ), x λ xλ U Note that the p = 0 surjectvty condton above s equvalent to condton () of Corollary 3.3. We expect that ϕ s surjectve n general. However t need not nduce an somorphsm on all (co)homology groups. In any case, the subcomplex ker(ϕ) C (ĝ, R f ) can be descrbed as follows. Frst, note that the C p (ĝ, R f ) = p ĝ C C[ ˆX] as vector spaces and ϕ as a lnear map are both ndependent of f. The dependence on f s through the dfferental of the complex. Put S 0 := 0, and for p 1, defne S p C p (ĝ, R f ) nductvely by (7.2) S p := g Γ(X,ω 1 X )d 1 g (S p 1 ) where d g : C p (ĝ, R g ) C p 1 (ĝ, R g ) denotes the Chevellay-Elenberg dfferental for a gven g Γ(X, ω 1 ). In other words, gven c C p (ĝ, R f ), we have c S p ff d g c S p 1 for all g Γ(X, ω 1 X ). Clearly S C (ĝ, R f ) s a subcomplex. (Agan, as a subspace t s clearly ndependent of f.) We clam that S = ker(ϕ). Ths follows from the followng standard argument: At degree p = 0, ker(ϕ) = 0 s obvous. To see that at degree p, ker(ϕ) = S p, note that ker(ϕ) S p s easy. On the other hand, for any β S p, by nducton

23 On the Holonomc Rank Problem 23 ϕ(β) s n the kernel of d + dg. for any g H 0 (X, K X ), then t s easy to show that ϕ(β) has to be zero, and thus S p ker(ϕ). 8. Rank 1 ponts for G(2, N) In ths secton, we gve an example of a rank 1 pont for G(2, N). We gve two proofs of ther rank 1 property: one combnatoral and another geometrc proofs. The frst one s long, but we nclude t because t suggests an nterestng connecton between convarant space of Le algebra module and graph theory. The second proof uses our geometrc formula for holonomc rank and s much smpler. Theorem 8.1. Let X = G(2, N), Ĝ = SL N G m. At the hyperplane secton f = x 1,2 x N 1,N x N,1 (where the x j are the Plücker coordnates of X), the rank of the soluton sheaf to M := τ( ˆX, Γ(X, ω 1 X ), Ĝ, (0; 1)) s 1. We wll frst gve the combnatoral proof n a seres of lemmas. Lemma 8.2. The rank of the soluton sheaf of M at f s at least 1. Proof. Consder the affne coordnate chart on X gven by the 2 N matrx of the form [I Z], where I s the 2 2 dentty matrx and Z = (z j ). Let T r be the real torus of dmenson 2(N 2) defned by z j = r j. For generc r j > 0, T r les n X V(f). Lkewse, t les n X V(f ), for f close to f. Now the perod ntegral Π(f ) := Ω T r, as defned n [15], s a local f soluton to our tautologcal system n a neghborhood of f. We wll show that ths soluton s nonzero. We can wrte f n the form f = af + α a α x α where the sum s over monomals (n Plücker coordnates) x α f n Γ(X, ω 1 X ), and vew the soluton as a functon of the varables a α close to 0, and of a close to 1. We can expand Π(f ) as a power seres whose leadng term s a 1 Π(f). By usng the global resdue formula for X = G(2, N) [15], we fnd that the leadng term of Π(f), as a α 0, s nonzero. Ths shows that the soluton Π(f ) s nontrval, and so the holonomc rank at f s at least 1.

24 24 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau Put V = Γ(X, ω 1 X ). Then R := C[V ]/I( ˆX, V ) = k 0 C[W ] kn /I( ˆX, W ) kn where X PW, W = 2 C N, under the Plücker embeddng. Thus we can represent elements of R as polynomals of degrees dvsble by N, n the Plücker coordnates, subject to the Plücker relatons. By Theorem 2.9, the soluton sheaf of M at f s somorphc to the dual of the convarant space H Le 0 (ĝ, Re f ) = Re f /ĝ(re f ). We wll show that the convarant space above has dmenson at most 1, and s generated by the monomal f. We begn wth some preparatons. Let T be the dagonal maxmal torus of SL N. Snce the monomal f s T -nvarant, for any weght vector h R of T, he f s also a weght vector of the same weght. Snce a weght vector s an egenvector of the Le algebra t of T, t follows he f s trval n the convarant space unless the weght s zero. Thus to prove the theorem, t suffces to show that (*) he f const. e f mod ĝ(re f ), for each T -nvarant h R. We ntroduce a graphcal representaton of R as follows. Each monomal n the x j s represented as a graph: t has N vertces, labelled by elements of Z/NZ whch we denote by 1, 2,.., N, placed evenly on a crcle n counterclockwse order. See fgure 1 below. A gven monomal x 1 j 1 x n,jn corresponds to the graph wth n edges, connectng pars of vertces whch are labelled by ( 1, j 1 ),.., ( n, j n ) respectvely, repetton allowed. In other words, each factor x j corresponds to a sngle edge connectng vertces and j. We dentfy C[W ] wth G, the lnear space generated by all such graphs whose numbers of edges are dvsble by N. For 1 1 < 2 < 3 < 4 N, we have a Plücker relaton x 1 3 x 2 4 = x 1 2 x x 1 4 x 2 3 whch s graphcally gven by fgure 1. We can vew ths relaton as an operaton to be performed on a graph to remove the crossng of the two edges ( 1, 3 ), ( 2, 4 ), thereby expressng a gven graph wth a crossng, as a lnear combnaton of graphs wthout t. Note that such an operaton does not change the valence at each vertex. Snce I( ˆX, W ) s generated by the Plücker relatons, an element of G les n I := I( ˆX, W ) ff t can be reduced to zero by a fnte number of such Plücker operatons.

25 On the Holonomc Rank Problem 25 1 N k 3 2 x k 12 1 < 2 < 3 < = Fgure 1. Graph-monomal correspondence and Plücker relatons. Defne two nteger valued functons I a and I m on graphs: (8.1) I a (G) = d(e) edges e (8.2) I m (G) = edges e d(e) where for an edge e connectng vertces, j n G, we put d(e) := mn k Z j + kn. Note that f we assgn a dstance 1 between any two neghborng vertces on the crcle, then d(e) s just the shortest dstance between vertces, j. Lemma 8.3. Let G be a graph wth at least one crossng, and G 1 + G 2 G be obtaned from G by a sngle Plücker operaton to remove a crossng. Then one of the followng holds: (1) I a (G 1 ) < I a (G) and I a (G 2 ) < I a (G); (2) I a (G 1 ) < I a (G) and I a (G 2 ) = I a (G) and I m (G 2 ) < I m (G); (3) I a (G 1 ) = I a (G) and I a (G 2 ) < I a (G) and I m (G 1 ) < I m (G). Proof. Suppose G contans the subgraph (correspondng to) x 1 3 x 2 4, wth a crossng, and we perform a Plücker operaton to remove t. After the Plücker operaton (Frgure 1), we obtan a sum of two graphs G 1, G 2, whch contan the subgraphs (wthout crossngs) x 1 2 x 3 4, x 1 4 x 2 3 respectvely. We have that d( 1, 3 ) s equal to ether d( 1, 2 ) + d( 2, 3 ) or d( 3, 4 ) + d( 4, 1 ) (cf. fg.

26 26 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau 1.) Lkewse d( 2, 4 ) s ether d( 2, 3 ) + d( 3, 4 ) or d( 1, 2 ) + d( 4, 1 ). In each of 4 cases, one fnds that d( 1, 3 ) + d( 2, 4 ) d( 1, 2 ) + d( 3, 4 ) & d( 1, 3 ) + d( 2, 4 ) d( 1, 4 ) + d( 2, 3 ) and that at least one of the nequaltes s strct. Wthout loss of generalty, we can assume that I a (G 1 ) < I a (G). So, t remans to show that f I a (G 2 ) = I a (G) then I m (G 2 ) < I m (G). For ths shows that that ether (1) or (2) holds ( (1) or (3) f we nterchange the roles of G 1, G 2.) Thus assume I a (G 2 ) = I a (G), whch means that (8.3) d( 1, 3 ) + d( 2, 4 ) = d( 4, 1 ) + d( 2, 3 ). Consder the case d( 1, 3 ) = d( 1, 2 )+d( 2, 3 ) and d( 2, 4 ) = d( 2, 3 )+d( 3, 4 ). Then d( 1, 3 )d( 2, 4 ) = (d( 1, 2 ) + d( 2, 3 ))(d( 2, 3 ) + d( 3, 4 )). The rght sde s > (d( 1, 2 ) + d( 2, 3 ) + d( 3, 4 ))d( 2, 3 ) = d( 4, 1 )d( 2, 3 ) by eq. (8.3). Ths shows that I m (G) > I m (G 2 ) n ths case. The remanng 3 cases can be done smlarly. Corollary 8.4. Every graph G can be reduced to a lnear combnaton of graphs wth no crossngs. Proof. Let NC be the span of graphs wth no crossngs. By the precedng lemma, f I a (G) 1 then G NC. Assume that I a (G) k mples G NC. Let I a (G) = k + 1. Then G can be reduced to G 1 + G 2, where G 1 NC by the lemma agan, so G G 2 mod NC. If I a (G 2 ) k then we are done. If not, then we have I a (G 2 ) = I a (G) = k + 1 and I m (G 2 ) < I m (G) by the lemma. Contnung ths way, the reducton process must termnates at some pont wth G 0 mod NC, or G G q mod NC where G q s a graph wth I a (G q ) = I a (G) and I m (G q ) can no longer be decreased by a Plücker operaton. In ths case G q has no crossngs, hence G NC. A degree N monomal x 1 j 1 x N j N s T -nvarant ff each {1,.., N} appears exactly twce as subscrpts n ths monomal. Thus the graph of ths monomal has valence 2 at each vertex. Smlarly, a degree mn monomal s T -nvarant ff t has valence 2m at each vertex. We call t a valence 2m graph.

27 On the Holonomc Rank Problem 27 We shall say that a graph has a cyclc loop of length s 2 f there s a vertex and an edge between any two consecutve vertces n the followng lst:, + 1,..., + s 1,. In ths case, we say that the loop contans those vertces. Clearly a cyclc loop of length N corresponds to the monomal f = x 1,2 x N 1,N x N,1. Suppose G s a valence 2m graph wth no crossngs. Then t s easy to see that every vertex n G belongs n one or more loops, not necessarly cyclc. Observe that a non-cyclc loop n G must contan an edge (a, b) such that there s at least one loop on each sde of t. By mnmzng the gap a b, we see that G contans at least one cyclc loop. By the same token, f G does contans no cyclc loops of length N, then t must contan a cyclc loop contanng some vertex, such that s not connected to +1 or 1 by an edge. To summarze, we have Lemma 8.5. Let G be a valence 2m graph wth no crossngs. Then G contans a cyclc loop. If G contans no cyclc loop of length N, then t contans a cyclc loop contanng some vertex, such that s not connected to + 1 or 1 by an edge. We now descrbe the ĝ-acton on Re f graphcally. Recall that under the dentfcaton Γ(X, O(1)) 2 C N, x pq x p x q, the Le algebra ĝ = sl N C acton can be represented by dfferental operators of the form x j, j, and 1 x 2 + 1, = 1,.., N, where (8.4) x j x pq = x j (x p x q ) = δ p x jq + δ q x pj. (Note that x pp = 0 by defnton.) Ths acton extends to R and to Re f by dervatons, snce the deal generated by the Plücker relatons s ĝ-stable. We can use (8.4) to compute graphcally the acton of x j on any gven graph. Fgure 2 gves an example, where n each graph, we show only those edges affected by x j ; every other edge not affected by ths operator s the same n all four graphs. x j p q p p q q j j j = q + + p r r r r Fgure 2. ĝ acton on graphs.

28 28 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau In the followng, for a Re f, we wll wrte f a ĝ(re f ). Then (8.4) yelds a 0 Lemma 8.6. Fx and let G be a valence 2 graph. Then 0 ( 1 2 x + 1)(Ge f ) = 2Ge f + Gfe f. Lemma 8.7. If G 1 s a valence 2 graph contanng a cyclc loop of length 2, then G 1 e f 0. Proof. Let G 1 be a valuence 2 graph contanng a cyclc loop of length 2, runnng through vertces, + 1. Then vertex 1 must be connected to some vertex k 1,, + 1. Let G 2 be the graph obtaned from G 1 by removng two edges (, + 1) and ( 1, k), and replacng them wth ( 1, ), (, k) respectvely, as n fgure 3, whle keepng all other edges the same (not shown n fgure). G 1 = k G 2 = k Fgure 3. A cyclc loop of length 2, and ts modfcaton. We wll show that x +1 (G 2 e f ) G 1 e f.

29 On the Holonomc Rank Problem 29 Computng the left sde (suppressng all rrelevant edges): ( ) := x k e f = k 1 k e f k e f e f 1 k 1 e f k f e f + 1 Fgure 4. gl n acton on G 2 e f. By exchangng the two edges ( 1, + 1) and ( 1, ) from the two factor graphs n the thrd term on the rght sde, and by applyng the precedng lemma, we get ( ) = k e f k e f k k Fgure 5. Applyng a Plücker operaton. As shown n fgure 5, now applyng a Plücker operaton to remove the crossng n the frst term on the rght sde yelds ( ) = x +1 (G 2 e f ) G 1 e f. Ths completes the proof.

30 30 Spencer Bloch, An Huang, Bong H. Lan, Vasudevan Srnvas, and Shng-Tung Yau A parallel calculaton, where the cyclc loop of length 2 s replaced one of length s, gves Lemma 8.8. If G 1 s a valence 2 graph contanng a cyclc loop of length s N 1, then 0 x +s 1 (G 2 e f ) G 1 e f + G 3 e f for some graphs G 2, G 3, where G 3 has loops of lengths at most s 1. The two precedng lemmas and Lemma 8.6 mply Corollary 8.9. If G 1 s a degree N monomal (graph), then G 1 e f const. e f. Lemma For any homogeneous h R, we have hfe f const. he f. Proof. We have 0 ( 1 2 x + 1)(he f ) = he f + const. he f + hfe f hence the clam follows. Corollary 8.9, Lemma 8.10 and the next lemma mply the statement (*), completng the proof of Theorem 8.1. Lemma Let g R be homogeneous of degree mn > 0. Then there exsts a homogeneous h R of degree (m 1)N such that ge f hfe f. Proof. Wthout loss of generalty, we can assume that g s a T -nvarant monomal. Let F, G be the graphs representng the monomals f, g respectvely. Agan, by Corollary 8.4 we may as well assume that G has valence 2m but no crossngs, hence G contans at least one cyclc loop by Lemma 8.5. Introduce the D-value of a graph G, D(G ) N, defned to be the number of edges n F but not n G. Snce G contans a cyclc loop, we have D(G) < N. If D(G) = 0, then G contans F as a subgraph and we are done. So, we can assume that 0 < D(G) < N. It suffces to show that (8.5) Ge f c G e f where c Z and the G are graphs wth no crossngs and wth D(G ) < D(G). For then repeatedly applyng ths argument to the rght sde of (8.5) yelds a sum of graphs G wth D(G ) = 0, and we are done.