arxiv: v1 [math.ag] 3 Apr 2011

Transcription

1 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION arxv: v1 [math.ag] 3 Apr 2011 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA Abstract. We construct geometrc categorcal g actons on the derved category of coherent sheaves on Nakajma quver varetes. These actons categorfy Nakajma s constructon of Kac-Moody algebra representatons on the K-theory of quver varetes. We defne an nduced affne brad group acton on these derved categores. Contents 1. Introducton Geometrc categorfcaton va quver varetes Naïve and geometrc categorcal g actons Geometrc categorcal g actons on quver varetes Acknowledgements 4 2. Geometrc categorcal g actons The quantzed envelopng algebras U q (g) Notaton and Fourer-Muka transforms Geometrc categorcal g actons 6 3. Categorcal g actons on quver varetes Quver varetes Deformatons of quver varetes C -actons The Hecke correspondences The geometrc categorcal g acton Man results The basc relatons Fnte-dmensonal Hom spaces Adjunctons The sl 2 relatons Modfcatons of quver varetes Modfcatons of Hecke operators Formalsm of compatble kernels Compatblty of kernels Proof of relaton (v) Proof of relaton (v) Proof of relaton (v) The rank 2 relatons Proof of (x) Proof of (v) Proof of (x) and (x) 25 Date: November 1,

2 2 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA 7. Affne brad group actons Brad group acton Affne brad group acton K-theory On a conjecture of Braverman-Maulk-Okounkov Categorfcaton of Irreducble Representatons Dmenson fltraton Categores for rreducble representatons Categores for tensor product representatons Examples 33 References Introducton 1.1. Geometrc categorfcaton va quver varetes. Quver varetes were ntroduced n the 1990s by H. Nakajma, and snce ther ncepton they have become central objects relatng representaton theory and algebrac geometry. In [Nak98], for any symmetrzable Kac-Moody Le algebra g, Nakajma constructed the ntegrable hghest weght representatons usng the top homology of quver varetes. Ths generalzed work of V. Gnzburg for sl n. Later n [Nak00], Nakajma constructed representatons of the quantum affne algebra on the equvarant K-theory of quver varetes. The goal of ths paper s to lft Nakajma s constructon from an acton of g on cohomology/k-theory to an enhanced acton of g on the derved category of coherent sheaves. There s of course a natural canddateforsuch alft, sncethe correspondencesused todefne the actonofgoncohomologycanalso play the rôle of Fourer-Muka kernels whch nduce functors on the derved categores. Ths provdes an example of an mportant phlosophy, namely, geometrzaton lfts to categorfcaton Naïve and geometrc categorcal g actons. We now gve a more detaled account of the contents n ths paper. Assocated to a fnte graph Γ wth no loops or multple edges we consder the assocated smply-laced Kac-Moody Le algebra g and ts quantzed unversal envelopng algebra U q (g). An ntegrable representaton M = λ M(λ) of U q (g) conssts of a collecton of weght spaces M(λ) and, for each vertex of the Dynkn dagram, lnear maps e : M(λ) M(λ+α ) and f : M(λ) M(λ α ) satsfyng the defnng relatons n U q (g). Of these relatons the most nterestng are the commutator relaton on the weght space M(λ) (1) e f M(λ) = f e M(λ) +[ α,λ ]d M(λ), and the Serre relaton (2) e e j e = e (2) e j +e j e (2) for vertces and j connected by an edge n the Dynkn dagram. (In the above relatons [ α,λ ] denotes the quantum nteger, whle e (2) = e2 2.) A naïve categorcal acton conssts of replacng each vector space M(λ) by a category D(λ) and each lnear map by a functor, E : D(λ) D(λ+α ) and F : D(λ) D(λ α ),

3 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 3 such that the functors obey the defnng relatons n the quantzed envelopng algebra up to somorphsm. For example, relaton (1) becomes the categorfed commutator relaton whle the Serre relaton (2) becomes E F D(λ) F E D(λ) d D(λ) H (P α,λ 1 ) E E j E E (2) E j E j E (2). In a strong categorcal acton, one specfes natural transformatons between these functors whch mplement these somorphsms and also satsfy ther own relatons. Notons of strong categorcal g actons have been developed by Khovanov-Lauda [KL] and Rouquer [R]. In ths paper we use the noton of a geometrc categorcal g acton, ntroduced n [CK3], whch s closely related to the noton of a strong categorcal acton but whch s suted to our algebro-geometrc context. In a geometrc categorcal g acton we assocate to each weght λ, a varety Y(λ), and to each generator of U q (g) a Fourer-Muka kernel, denoted E,F. These Fourer-Muka kernels defne functors E : D(λ) D(λ+α ) and F : D(λ) D(λ α ), where D(λ) = DCoh(Y(λ)) s the derved category of coherent sheaves on Y(λ). In addton, we requre for each weght λ a flat deformaton Ỹ(λ) h of Y(λ), where h s the span of the fundamental weghts of g. These assgnments are requred to satsfy a lst of propertes, as explaned n secton 2. The exstence of the deformatons Ỹ(λ) h places a geometrc categorcal g acton one level hgher on the categorcal ladder than an ordnary representaton of g, snce the requred deformatons mpose a rather rgd structure on the natural transformatons of functors E,F. We expect the noton of geometrc categorcal g acton to be drectly related to the notons of strong categorcal g actons ntroduced by Khovanov-Lauda [KL] and Rouquer [R]. In partcular, we conjecture that the geometrc categorcal g actons n ths paper nduce 2-representatons of 2- categores of Khovanov-Lauda and Rouquer on the derved categores of quver varetes. For g = sl 2 ths conjecture was proven n [CKL2] Geometrc categorcal g actons on quver varetes. To construct geometrc categorcal g actons, we follow Nakajma and take as our weght space varetes a collecton of quver varetes {M(v,w)} v,where w stays fxed. The kernels E,F nducng E,F are the structure sheaves of Nakajma s Hecke correspondences, tensored wth approprate lne bundles. The deformatons come from varyng the value of the moment map n the descrpton of quver varetes as holomorphc symplectc quotents. After ntroducng the relevant geometry n secton 3, we spend sectons 4, 5, 6 provng our man theorem, whch s that these data satsfy the lst of requrements needed for a geometrc categorcal g acton. Important parts of the proof rely on our earler work, [CKL1], [CKL2], [CKL3] whch consdered n detal the case g = sl 2. The resultng representaton of U q (g) on the equvarant K-theory of quver varetes, whch s shown to agree wth Nakajma s acton n 3.3, s reducble, so n secton 8 we descrbe how to geometrcally categorfy rreducble U(g) modules. An mportant dea of Chuang-Rouquer [CR] s that categorcal g actons should lead to actons of the assocated brad group B Γ on the weght categores. Ths was proven for sl 2 n [CR] and [CKL3] and for arbtrary smply-laced g by the frst two authors [CK3]. As a consequence of ths result, we obtan an acton of the brad group B Γ on the derved category of quver varetes. In secton 7, we extend ths to an acton of the affne brad group. As explaned n secton 7.4, ths affne brad group acton s a step towards provng a conjecture of [BMO], concernng lftng the quantum monodromy to the derved category. A few other nterestng examples of brad group actons on derved categores of quver varetes are sngled out n secton 9. In recent work, Webster [W] (buldng on earler work by Zheng [Z]) constructed 2-representatons of the 2-categores of Rouquer and Khovanov-Lauda on certan categores of perverse sheaves on Lusztg

4 4 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA quver stacks. The Nakajma quver varetes we consder can be thought of as cotangent bundles to the Lusztg quver stacks, and we expect that these two constructons could be related by developng a mxed Hodge module verson of the Webster-Zheng constructon. There would then be a forgetful functor to Webster s categores and an assocated graded functor to our categores. In a forthcomng paper [CK4], the frst two authors wll descrbe the precse relatonshp between the Webster-Zheng constructon and our constructon n the case g = sl Acknowledgements. We would lke to thank Alexander Braverman, Hraku Nakajma, and Raphael Rouquer for helpful dscussons. S.C. was supported by NSF Grant / and J.K. by NSERC. A.L. would also lke to thank the Max Planck Insttute n Bonn for support durng the academc year. 2. Geometrc categorcal g actons In ths secton we revew the defnton of U q (g) and then recall the defnton of a geometrc categorcal g acton from [CK3] The quantzed envelopng algebras U q (g). Frst we revew the defnton of a smply-laced quantzed envelopng algebra U q (g). Fx a fnte graph Γ = (I,E) wthout edge loops or multple edges. In addton, fx the followng data. () a free Z module X (the weght lattce), () for I an element α X (smple roots), () for I an element Λ X (fundamental weght), (v) a symmetrc non-degenerate blnear form, on X. These data should satsfy: () the set {α } I s lnearly ndependent. () We have α,α = 2, whle for j, α,α j = α j,α {0, 1}, the value dependng on whether or not,j I are joned by an edge. The matrx C wth C,j = α,α j s known as the Cartan matrx assocated to Γ. () Λ,α j = δ,j for all,j I. (v) dmx = I + corank(c). Let h = X Z C and let h = span(λ ) h. Let U q (g) denote the quantzed unversal envelopng algebra of the Kac-Moody Le algebra g. It s defned as the C(q)-algebra generated by {e,f } I and {q h } h h wth relatons q 0 = 1, and q h1+h2 = q h1 q h2 for h 1,h 2 h. q h e q h = q h,α e and q h f q h = q h,α f for I and h h. q [e,f j ] = δ h q h,j q q for,j I. 1 [e,e j ] = [f,f j ] = 0, f α,α j = 0 e e j e = e (2) e j +e j e (2) and f f j f = f (2) f j +f j f (2), f α,α j = 1. Here e (2) = e2 2, f (2) = f2 2 denote the dvded powers. The algebra U q (g) has a trangular decomposton U q (g) U + U 0 U where U + s generated by e s, U by f s and U 0 by h s. Lusztg s modfed envelopng algebra U q (g) s defned by replacng U 0 wth a drect sum of one dmensonal algebras U q (g) = U + ( ) Ca λ U, where the multplcaton s defned as follows: λ X a λ a µ = δ λ,µ a λ,

5 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 5 e a λ = a λ+α e, f a λ = a λ α f, (3) (f j e e f j )a λ = δ,j [ h,λ ]a λ. In the last lne above, [ h,λ ] denotes the quantum nteger (not a commutator). Snce quantum ntegers don t play a large role n the rest of the paper, we hope ths bref overuse of notaton does not cause too much trouble; n the rest of the paper, brackets [n] wll denote a gradng shft by n, not a quantum nteger. To smplfy notaton we wll use the notaton e (λ) := e a λ and f (λ) := a λ f. So, for nstance, the thrd relaton (3) above becomes f j (λ)e (λ) e (λ α j )f j (λ α j ) = δ,j [ h,λ ]. Remark 2.1. It s sometmes useful to thnk of U q (g) as a category. The objects are weghts λ X and the morphsms are Hom Uq(g) (λ,µ) = a λ U q (g)a µ wth composton gven by multplcaton. In ths framework the dempotent a λ should be thought of as projecton to the object λ X, and a representaton of U q (g) s the same thng as a representaton of U q (g) wth a weght space decomposton. Snce all the representatons consdered n ths paper have weght space decompostons, t s sometmes convenent to thnk of them as representatons of U q (g) rather than U q (g). From ths pont of vew, t s natural that categorfcatons of U q (g) and ts representatons wll nvolve 2-categores Notaton and Fourer-Muka transforms. All our quver varetes come equpped wth a natural C acton. If a varety Y carres a C acton we denote by O Y {k} the structure sheaf of Y wth non-trval C acton of weght k. More precsely, f f O Y (U) s a local functon then, vewed as a secton f O Y {k}(u), we have t f = t k (t f). If M s a C -equvarant coherent sheaf then we defne M{k} := M O Y {k}. If X s a smooth varety equpped wth a C acton we wll denote by D(X), the bounded derved category of C -equvarant coherent sheaves on X. In a few nstances, such as secton 8, D(X) wll denote the usual, non-equvarant, derved category. If P s an object n D(X) then we denote ts homology by H (P) (these are sheaves on X). Every operaton n ths paper, such as pushforward or pullback or tensor, wll be derved. Gven an object P D(X Y) whose support s proper over Y we obtan a Fourer-Muka transform (functor) Φ P : D(X) D(Y), ( ) p 2 (p 1( ) P). One says that P s the kernel whch nduces Φ P. The rght and left adjonts Φ R P and ΦL P are nduced by P R := P p 2ω X [dm(x)] and P L := P p 1ω Y [dm(y)] respectvely (see also [CK1] secton 3.1). Suppose P D(X Y) and Q D(Y Z) are kernels. Then where Φ Q Φ P = ΦQ P : D(X) D(Z) Q P = p 13 (p 12P p 23Q) s the convoluton product of P and Q. The operaton s assocatve. Moreover by [H] remark 5.11, we have (Q P) R = PR Q R and (Q P) L = PL Q L. A fnal pece of notaton that we wll use s H (P n ) for the symmetrc bgraded cohomology of P n. In other words H (P n ) = C[ n]{n} C[ n+2]{n 2} C[n]{ n}.

6 6 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA 2.3. Geometrc categorcal g actons. We now recall the defnton of a geometrc categorcal g acton from [CK3]. A geometrc categorcal g acton conssts of the followng data. () A collecton of connected smooth complex varetes Y(λ) for λ X. () Kernels E (r) (λ) D(Y(λ) Y(λ+rα )) and F (r) (λ) D(Y(λ+rα ) Y(λ)) We wll usually wrte just E (r) and F (r) to smplfy notaton whenever possble. () For each λ, a flat famly Ỹ(λ) h, where the fbre over 0 h s dentfed wth Y(λ). Denote by Ỹ(λ) span(λ ) h the restrcton of Ỹ(λ) to span(λ ) (ths s a one parameter deformaton of Y(λ)). On ths data we mpose the followng condtons. () Each Hom space between two objects n D(Y(λ)) s fnte dmensonal. In partcular, ths mples that End(O Y (λ) ) = C I. () All E (r) s and F (r) s are sheaves (.e. complexes supported n cohomologcal degree zero). () E (r) (λ) and F (r) (λ) are left and rght adjonts of each other up to a specfed shft. More precsely (a) E (r) (λ) R = F (r) (λ)[r( λ,α +r)]{ r( λ,α +r)} (b) E (r) (λ) L = F (r) (λ)[ r( λ,α +r)]{r( λ,α +r)}. (v) For each I, (v) If λ,α 0 then where H (P) = O k H (P λ,α 1 ). Smlarly, f λ,α 0 then H (E E (r) ) = E (r+1) k H (P r ). F (λ) E (λ) = E (λ α ) F (λ α ) P E (λ α ) F (λ α ) = F (λ) E (λ) P where H (P ) = O k H (P λ,α 1 ). (v) We have H ( 23 E 12 E ) = E (2) [ 1]{1} E (2) [2]{ 3} where 12 and 23 are the closed mmersons 12 : Y(λ) Y(λ+α ) Y(λ) Ỹ(λ+α ) 23 : Y(λ+α ) Y(λ+2α ) Ỹ(λ+α ) Y(λ+2α ). (v) If λ,α 0 and k 1 then the mage of supp(e (r) (λ rα )) under the projecton to Y(λ) s not contaned n the mage of supp(e (r+k) (λ (r+k)α )) also under the projecton to Y(λ). Smlarly, f λ,α 0 and k 1 then the mage of supp(e (r) (λ)) n Y(λ) s not contaned n the mage of supp(e (r+k) (λ)). (v) If j I are joned by an edge n Γ then E E j E (2) = E E j E j E (2) whle f they are not joned then E E j = Ej E. (x) If j I then F j E = E F j. (x) For I the sheaf E deforms over α to some Ẽ D(Ỹ(λ) α α Ỹ(λ+α ) α ).

7 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 7 (x) Suppose j I are joned by an edge. By Lemma 6.10, there exsts a unque (up to scalar) non-zero map T j : E E j [ 1]{1} E j E, and we denote the cone of ths map by ( ) E j := Cone E E j [ 1]{1} Tj E j E D(Y(λ) Y(λ+α +α j )). We then requre that E j deforms over B := (α +α j ) h to some Ẽ j D(Ỹ(λ) B B Ỹ(λ+α +α j ) B ). Remark 2.2. Condtons (), (), (), (v) are techncal condtons. Condtons (v), (v), (v), (x) are categorcal versons of the relatons n the usual presentaton of the Kac-Moody Le algebra g. Note that we only mpose (v) and (v) at the level of cohomology of complexes; thus they are much easer to check n examples than analogous condtons at the level of somorphsms of complexes whch one could consder mposng. Condtons (v), (x) and (x) relate to the deformaton. The condtons () - (v) say that the varetes {Y(λ+nα )} n Z, together wth the functors E and F and deformatons Ỹ(λ + nα ) generate a geometrc categorcal sl 2 acton. Relatons (v) - (x) then descrbe how these varous sl 2 actons are related. See [CK3] for more dscusson about these condtons, especally regardng the role of the deformatons Ỹ. Remark 2.3. One can compare the geometrc defnton above to the noton of a 2-representaton of g nthesenseofrouquer[r], whchnturnsverysmlartothenotonofanactonofkhovanov-lauda s 2-category [KL]. In these defntons, there are functors E,F as well as some natural transformatons between these functors. The addtonal data of our deformatons can be compared to the addtonal deformaton of these natural transformatons. In the case of g = sl 2, ths has been made precse n [CKL2], whch says that a geometrc categorcal sl 2 acton nduces a 2-representaton of Rouquer s 2-category. We say that a geometrc categorcal g-acton s ntegrable f for every weght λ and I we have Y(λ+nα ) = for n 0 or n 0. From here on we assume all actons are ntegrable. We recall the followng result from [CK3], whch s actually an easy consequence of the man results of [CKL2]. Theorem 2.4. If {Y(λ)} s a geometrc categorcal g-acton, then the Fourer-Muka transforms E (r) and F (r) gve a nave categorcal g acton. In partcular, () E E (r) = E (r) E (r+1) C H (P r ), and smlarly wth E replaced by F, () F E = E F d Y (λ) C H (P λ,α 1 ) f λ,α 0 and smlarly f λ,α 0, () E E j E (2) = E E j E j E (2) f α,α j = 1, and E E j = Ej E f α,α j = 0, (v) F j E = E F j f j. Hence the endomorphsms of the Grothendeck group λ KC (Y(λ)) nduced by E and F defne a representaton of U q (g). The man result of [CK3] s that a geometrc categorcal g acton gves rse to a brad group acton. More precsely, n [CKL3], we constructed (followng Chuang-Rouquer [CR]) explct autoequvalences T : D(Y(λ)) D(Y(s λ)) for each I, and n [CK3] we proved that these equvalences satsfy the brad relatons. Theorem 2.5. If {Y(λ)} s a geometrc categorcal g-acton, then there s an acton of the brad group B Γ on D(Y(λ)) compatble wth the acton of the Weyl group on the set of weghts. On the level of the Grothendeck groups, ths acton descends to the acton of Lusztg s quantum Weyl group.

8 8 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA 3. Categorcal g actons on quver varetes In ths secton we defne the quver varetes, ther deformatons and the Hecke correspondences. We then state our man result (3.2) whch states that ths data yelds a categorcal g acton Quver varetes. We fx as n secton 2 a fnte graph Γ = (I,E). Let H be the set of pars consstng of an edge together wth an orentaton on that edge. For h H, we wrte n(h) (resp. out(h)) for the ncomng (outgong) vertex of h. Fx an orentaton Ω on Γ; that s, fx a subset Ω H such that E = Ω Ω, where Ω s the complement of Ω n H. For h Ω, we wrte h Ω for the same edge wth the reversed orentaton. We recall the defnton of Nakajma quver varetes of smply-laced type, referrng the reader to [Nak98] for further detals. Let V = I V be an I-graded C-vector space. The dmenson dm(v) of V s a vector v = (v ) I N I, v = dm(v ). Gven two I-graded vector spaces V,V, defne vector spaces L(V,V ) = I Hom(V,V ) and E(V,V ) = Hom(V out(h),v n(h) ) h H Let V and W be I-graded vector spaces wth dm(v) = v, dm(w) = w. From now on we wll fx w but allow v to vary. We defne λ := Λ w α v where Λ w = w Λ and α v = v α. Snce w s fxed λ and v are always related as above so they wll be used nterchangeably. We defne M(λ) := E(V,V) L(W,V) L(V,W). An element of M(λ) wll be denoted (B h ) where h H, B h Hom(V out(h),v n(h) ), or h = p(), B p() : V W, or h = q(), B q() : W V. The group P = I GL(V ) acts naturally on M(λ). The moment map µ : M(λ) I gl(v ) for ths acton s gven by µ(b) = ǫ(h 2 )B h2 B h1 + B q() B p() I h 1,h 2 H where ε : H {1, 1} s defned by ε(h) = 1 f h Ω and ε(h) = 1 f h Ω. There are two natural quotents of the level set µ 1 (0) by the group P: () Let O(µ 1 (0)) denote the coordnate rng of the algebrac varety µ 1 (0). Then we have the quotent M 0 (λ) = µ 1 (0)//P = Spec(O(µ 1 (0)) P ). () Defne a character χ : P C by χ(g) = det(g 1 ) for g = (g ) I. Then we have the quotent { ( M(λ) = Proj f O µ 1 (0) ) f(gb) = χ(g) m f(b) for all g P }. m=0 Ths second quotent s what we refer to as a quver varety. The quver varety M(λ) has an alternatve descrpton usng a stablty condton. Defnton 1. A pont B µ 1 (0) s sad to be stable f the followng condton holds: f a collecton S = I S of subspaces of V = I V s B h -nvarant for each h H and S ker(b p() ) for each I, then S = 0. We denote by µ 1 (0) s the set of stable ponts. There s an somorphsm [Nak98] M(λ) µ 1 (0) s /P.

9 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 9 Moreover, the projecton µ 1 (0) s M(λ) s a prncpal P bundle. The varety M(λ) s smooth of dmenson dmm(λ) = 2 α v,λ w α v,α v = α v,λ + α v,λ w. For I, there s a tautologcal vector bundle µ 1 (0) s P V M(λ) assocated to the prncpal P-bundle µ 1 (0) M(λ). We denote ths vector bundle also by V ; ts fbre over a pont (B,V) M(λ) s the vector space V used n the defnton of the quver varety. On a product M(λ) M(λ ) of two quver varetes, we wll often consder the pullbacks of these bundles from each factor, and denote them V := π1 V and V = π 2 V Deformatons of quver varetes. Recall the moment map µ : M(λ) I gl(v ). Each Le algebra gl(v ) has a one-dmensonal centre consstng of multples of the dentty matrx. We defne an somorphsm Z = Z( gl(v )) = C I = h I usng the bass for h consstng of the fundamental weghts. We defne a deformaton of M(λ) by N(λ) := µ 1 (h ) s /P = µ 1 (h )//P. Lemma 3.1. µ : N(λ) h s a flat deformaton of M(λ). Proof. Ths follows snce, by [Nak94], the fbres of µ are all rreducble of dmenson α v,λ + α v,λ w C -actons. We defne a C -acton on M(λ) followng Nakajma [Nak00] (note that ths s dfferent than the C -acton from [Nak98]). We defne the C -acton on M(λ) by t (B h ) = (tb h ). Ths nduces a C acton on M(λ). For each h H, B h defnes naturally an equvarant map of vector bundles V out(h) V n(h) {1} The Hecke correspondences. Fx a weght Λ w. If another weght λ s gven by λ = Λ w α v, then we say that λ has assocated dmenson vector v. If λ has assocated dmenson vector v, then the dmenson vector assocated to λ+rα s v re. Wth ths n mnd, we recall the defnton of the generalzed Hecke correspondences B (r) (λ) M(λ) M(λ+rα ) For smplcty, we wll wrte B (λ) for B (1) (λ). The Hecke correspondence B (r) (λ) M(λ) M(λ+rα ) s the varety B (r) (λ) = {(B,V,S) (B,V) M(λ),S V as below }/P () (B,V) s stable, () S s B h -nvarant for h H and contans the mage of B q(), and dm(s) = v re. Forgettng S gves a map π 1 : B (r) (λ) M(λ) whle forgettng V and restrctng B to S gves π 2 : B (r) (λ) M(λ+rα ). By [Nak98, Theorem 5.7], ths realzes B (r) (λ) nsde M(λ) M(λ+rα ) asasmoothhalf-dmensonalsubvarety, whchslagranganwhenm(λ) andm(λ+rα )areconsdered as symplectc manfolds. Sometmes we wll abuse notaton and also wrte B (r) (λ) for the same varety vewed as a subvarety of M(λ+rα ) M(λ) after swtchng the factors.

10 10 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA 3.5. The geometrc categorcal g acton. We are now n a poston to defne the geometrc categorcal g acton on the derved categores of coherent sheaves on the quver varetes. Recall that Nakajma constructed an acton of g on λ H (M(λ)). In hs constructon, H (M(λ)) s the weght space of weght λ. Hence, n our geometrc categorcal acton, we wll set Y(λ) := M(λ) and Ỹ(λ) := N(λ). and We defne E (r) (λ) := O B (r) (λ) det(v ) r det(v ) r n(h)= det(v out(h) ) r { rv } D(M(λ) M(λ+rα )) F (r) (λ) := O B (r) (λ) det(v /V ) λ,α +r {r(v r)} D(Y(λ+rα ) Y(λ)). We denote by E (r) (λ) and F (r) (λ) the functors nduced by E (r) (λ) and F (r) (λ) Man results. The man result of ths paper s the followng. Theorem 3.2. The varetes Y(λ) := M(λ) along wth kernels E (r) (λ),f (r) (λ) and deformatons Ỹ(λ) := N(λ) h defne a geometrc categorcal g acton. Usng Theorem 2.4, we then obtan as a corollary a representaton of U q (g) on the Grothendeck groups λ K(M(λ)). Proposton 3.3. The representaton of U q (g) on λ KC (M(λ)) comng from Theorem 3.2 agrees (up to conjugaton) wth the one constructed by Nakajma n [Nak00]. Proof. Nakajma s defnton of e and f uses the same varety B (λ) as us but wth lne bundles (V /V ) v detv det(v out(h) ) 1 { λ,α v 1} and (V /V ) λ,α +v detv { λ,α +v } n(h)= respectvely. These are not qute the same as our lne bundles. On the other hand, consder the automorphsms of D(M(λ)) obtaned by tensorng wth the lne bundle l det(v l ) v l shfted by { λ,λ 2 +2 l v l}. Conjugatng Nakajma s defnton of f wth ths lne bundle gves where (V /V ) λ,α +v { λ,α +v }detv det(v l ) v l l l det(v l ) v l {s} = (V /V ) λ,α det(v )v v det(v ) v+v+1 det(v l ) v l det(v l ) v l { λ,α +v +s} l = (V /V ) λ,α det(v ) 1 det(v ) = (V /V ) λ,α 1 { λ,α +v +s} s = λ,λ +2 v l + λ α,λ α 2 v l 2 2 = λ,α 1. l l Ths s the same as the lne bundle we use to defne F. Here we used that v = v + 1 and that for l we have V l = V l when restrcted to our correspondence B (λ). In the same way, t s an easy exercse to see that conjugatng Nakajma s lne bundle for e also recovers the lne bundle used to defne our functor E. Combnng Theorem 3.2 wth Theorem 2.5, we mmedately obtan an acton of the brad group B g on λ D(M(λ)) compatble wth the acton of the Weyl group on the set of weghts. In secton 7 we extend ths to an affne brad group acton (Theorem 7.3). The next three sectons are devoted to provng Theorem 3.2.

11 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION The basc relatons In ths secton, we wll check the elementary condtons () () n the defnton of a geometrc categorcal g acton Fnte-dmensonal Hom spaces. We start wth condton (). Proposton 4.1. For any two objects, A 1,A 2 of D(M(λ)), Hom(A 1,A 2 ) s a fnte dmensonal C-vector space. Proof. It suffces to show that H (M(λ),A) s fnte dmensonal for any A D(M(λ)). Consder the proper map M(λ) M 0 (λ). Pushng forward we reduce to showng that H (M 0 (λ),a) s fnte dmensonal for any A D(M 0 (λ)). The varety M 0 (λ) s affne, so we can assume wthout loss of generalty both that A s a sheaf and that = 0. Snce M 0 (λ) s affne, there exsts a surjectve map O n M 0(λ) A. So t suffces to show H 0 (O M0(λ)) s fnte dmensonal. Now the C acton on M 0 (λ) contracts everythng to a pont. Thus, C -equvarantly, H 0 (O M0(λ)) = C. The result follows snce we always work C -equvarantly. Condton () s mmedate Adjunctons. In order to check condton (), we begn by descrbng the canoncal bundle of B (r) (λ). We begn wth the canoncal bundle of M(λ) tself. Lemma 4.2. The canoncal bundle of M(λ) s ω M(λ) = OM(λ) { 2 α v,λ w + α v,α v }. Proof. Snce M(λ) s symplectc, ts canoncal bundle has a non-vanshng secton s, gven by the top wedge power of the symplectc form. The symplectc form has weght 2 for the C acton, so ths secton s has weght 2( 1 2dmM(λ)) = dmm(λ). From secton 3.1, we know that dmm(λ) = 2 α v,λ w α v,α v. Lemma 4.3. The canoncal bundle ω (r) B s gven by (λ) det(v /V ) λ,α det(v ) 2r det(v out(h) ) r { r λ,α 2r 2 2 Λ w,α v + α v,α v }. n(h)= Proof. Nakajma [Nak98, secton 5] shows that B (1) (λ) s a regular secton of a vector bundle T on M(λ) M(λ + α ). It s not clear how to produce such a vector bundle for B (r) (λ). So nstead we wll ntroduce two ntermedate subvaretes A 1,A 2 and three vector bundles T 1,T 2,T 3 wth sectons s 1,s 2,s 3. We wll defne these objects such that they satsfy the followng propertes. T 1 s a vector bundle on M(λ) M(λ+rα ) and the zero set of s 1 s A 1. T 2 s a vector bundle on A 1 and the zero set of s 2 s A 2, T 3 s a vector bundle on A 2, and the zero set of s 3 s equal to B (r) (λ). Under these condtons, t s mmedate that the canoncal bundle of B (r) (λ) s gven by (4) ω B (r) (λ) = det(t 1)det(T 2 )det(t 3 )ω M(λ) M(λ+rα) as lne bundles on B (r) (λ). We defne the frst subvarety A 1 by the condton that all the maps n M(λ) and M(λ+rα ) not ncdent wth vertex I are equal. The second subvarety A 2 s the locus where the extra condton that V V holds, vewed nsde the drect sum of all the neghbourng vertces. To carve out the frst subvarety we consder the sequence of vector bundles L (V,V){ 1} σ out(h),n(h) Hom(V out(h),v n(h)) Hom(W j,v j ) Hom(V j,w j) τ L (V,V){1} j j

12 12 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA Ths s smlar to Nakajma s sequence (equaton (3.1.1) of [Nak98]) used to carve out the dagonal, except all terms nvolvng the th vertex have been ommtted. The maps are the same as those used by Nakajma. As n Nakajma s work t s easy to see that σ s njectve and that τ s surjectve. We let T 1 := ker(σ)/m(τ) and defne a secton s 1 by [(C h )] where C h = 0 f h H and C q(j) = B q(j), C p(j) = B p(j). The zero locus of ths secton s our frst subvarety A 1,.e. the locus where V j = V j for j. On the subvarety A 1, we have the ncluson of vector bundles Hom(V,V ) out(h)= Hom(V,V n(h) ){1} Hom(V,W ){1} comng from vewng V as a sub-bundle of h V n(h) W usng the maps B h and B p(). We let T 2 be the cokernel of ths ncluson of vector bundles. The bundle T 2 has a secton, defned by [(B h )]. The zero set of the secton s the locus where V V. Fnally, on ths second subvarety we have the complex of vector bundles Hom(V out(h),v ) Hom(W,V ) Hom(V,V ){1} Hom(V,V /V ){1} Hom(V,V /V ){1} n(h)= whch s exact n the second and thrd postons. Let T 3 be the kernel of the frst map n ths complex. We defne a secton of T 3 as (B h B h ). Ths secton vanshes precsely along B(r) (λ). So now we are n a poston to apply (4). Frst note that by Lemma 4.2, and ω M(λ) M(λ+rα) = O M(λ) M(λ+rα){ 2 α v,λ w + α v,α v 2 α v,λ w + α v,α v }. Ignorng the equvarant structure for the moment, we fnd that det(t 1 ) s trval, whle det(t 2 ) = det(v det(v ) N+v n(h) ) v det(v ) v det(t 3 ) = det(v ) N v out(h)= n(h)= det(v out(h) ) v det(v )v Now we combne everythng together usng (4). Usng that v = v r, we deduce that gnorng C structure, ω (r) B (λ) = det(v /V ) λ,α det(v ) 2r det(v out(h) ) r. n(h)= We stll need to take nto account the equvarant structure. Examnng our vector bundles, we see that det(t 1 ) contbutes whereas det(t 2 ) contrbutes and det(t 3 ) contrbutes n(h),out(h) v n(h) v out(h) + j w j v j + j w j v j j n(h)= out(h)= v v n(h) +v w 2v 2 j v v out(h) +w v 2v v 2(v v )v +2(v v )v.

13 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 13 Combnng all ths accordng to (4), and keepng n mnd that r = v v, we deduce that the equvarant shft on ω (r) B (λ) s {2 Λ w,α v α v,α v +r α v Λ w,α 2r 2 2 Λ w,α v + α v,α v 2 Λ w,α v + α v,α v } = { r λ,α 2r 2 2 Λ w,α v + α v,α v }. Now, we are n a poston to check condton (). Lemma 4.4. The left and rght adjonts of the Es and Fs are related by () E (r) (λ) R = F (r) (λ)[r( λ,α +r)]{ r( λ,α +r)} () E (r) (λ) L = F (r) (λ)[ r( λ,α +r)]{r( λ,α +r)}. Proof. We gve the proof for (), as () s smlar. We have: E (r) (λ) R = E (r) ωm(λ) [dmm(λ)] = ω (r) B (λ) ω M(λ) M(λ+rα ) [ codmb(r) (λ)] det(v ) r det(v ) r det(v out(h) ) r {rv } ω M(λ) [dmm(λ)] n(h)= = O B (r) (λ) det(v /V ) λ,α +r { r λ,α 2r 2 +rv }[dmb (r) (λ) dmm(λ+rα )] = F (r) (λ)[r( λ,α +r)]{ r( λ,α +r)} where n the second last step, we use Lemmas 4.2 and 4.3. To compute the homologcal shft n the last step we used that dmb (r) (λ) dmm(λ+rα ) = 1 2 (dmm(λ) dmm(λ+rα )) = 1 2 (2 α v,λ w α v,α v 2 α v rα,λ w + α v rα,α v rα ) = r α,λ w r α,α v +r 2 = r( λ,α +r). 5. The sl 2 relatons In ths secton, we wll check the condtons (v) - (v) of a geometrc categorcal g acton. We call these the sl 2 relatons, because these condtons complete the check that, for each, our varetes and functors defne geometrc categorcal sl 2 acton. The proof that we gve for the sl 2 relatons wll be based on the correspondng result for quver varetes n the specal case g = sl 2. When g = sl 2, these quver varetes are cotangent bundles to Grassmannans. In [CKL1] and [CKL2], we establshed a geometrc categorcal sl 2 acton on cotangent bundles to Grassmmanans. We wll reduce from arbtrary quver varetes to sl 2 quver varetes usng Nakajma s modfcatons of quver varetes ([Nak00, secton 11]) Modfcatons of quver varetes. Fx a quver varety M(λ). For a vertex, let N := n(h)= v out(h) +w denote the sum of the dmensons of the neghbors of the vertex. Notce that λ,α = N 2v. Recall the moment map µ : M(λ) g = Le( k IGL(V k )) = k I Hom(V k,v k ).

14 14 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA Let µ be the projecton of ths moment map to Hom(V,V ). Explctly, we have µ (B) = ǫ(h)b h B h +B q() B p(). Let n(h)= M (λ) = {(B) µ 1 (0) B p() out(h)= B h s njectve }/GL(V ). The varety M (λ) s naturally somorphc to a product of an sl 2 quver varety and an affne space. More precsely, fx an somorphsm C N = W out(h)= V n(h). Then, gven a pont B M (λ), let B out() = B p() out(h)= B h. The mage mb out() s a v -dmensonal subspace of C N. We also defne B n() = B q() n(h)= B h, thus obtanng an endomorphsm B out() B n() of C N. Thus, to a pont n M (λ), we have assgned a pont (mb out(),b out() B n() ) n T G(v,N ), the cotangent bundle to the Grassmannan of v dmensonal subspaces of C N. In addton, let M (λ) = out(h),v n(h) n(h),out(h) Hom(V ) Hom(W j,v j ) Hom(V j,w j ) j j denote the affne space consstng of those lnear maps not nvolvng the vertex. The constructon above gves us an somorphsm (5) M (λ) = T G(v,N ) M (λ) Ths somorphsm s C -equvarant, where C acts wth weght 2 on the fbres of T G(v,N ) and wth weght 1 on M (λ). In addton to M (λ), we wll also need to consder the varety M (λ) := µ 1 (0) s /GL(V ). Note that M (λ) s a locally closed subvarety of M (λ), snce we mpose the closed condton µ = 0 together wth the open condton of stablty. We wll denote ths locally closed embeddng by j λ : M (λ) M (λ). Also, drectly from the defntons, we see that M (λ) s a prncpal P := l GL(V l)-bundle over M(λ). The pcture to keep n mnd when consderng all of these varetes s π (6) M(λ) M (λ) M (λ) M (λ) 0 l gl(v ), where M (λ) := µ 1 (0) s /GL(V ) s the open subscheme of M (λ) defned by the stablty condton. The modfed quver varetes M (λ) and M (λ) have natural flat deformatons µ : Ñ(λ) A 1 and µ : N (λ) A 1 gven by replacng µ 1 (0) by µ 1 (Z) n the defnton, exactly as n secton 3.2. As above, N (λ) s a locally closed subvarety of Ñ(λ), and N (λ) s a prncpal P bundle over N (λ) := N(λ) span(λ). Now we wll defne analogous modfcatons of Hecke correspondences. Between the modfed quver varetes M we defne the modfed Hecke correspondence where B (r) (λ) := B (r) ( λ,α ) M M (λ) M (λ+rα ) B (r) ( λ,α ) M( λ,α ) M( λ+rα,α ) = T G(v,N ) T G(v r,n )

15 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 15 s the Hecke correspondence for the sl 2 quver varetes and M M M s the dagonal. Next, between the modfed quver varetes M we defne B (r) (r) (λ) := B (λ) ( M (λ) M(λ+rα )). (r) Snce B (λ) = B (r) ( λ,α ) M, once µ = 0 and stablty s mposed on the M (λ) factor, they are automatcally mposed on the M(λ+rα ) factor. Hence, The followng s mmedate from the defntons. B (r) (λ) M (λ) M (λ+rα ). Lemma 5.1. The map M (λ) M (λ+rα ) M(λ) M(λ+rα ) restrcts to a prncpal P bundle B (r) (λ) B (r) (λ) Modfcatons of Hecke operators. We wll now defne Ẽ (r) (r) (λ), F (λ) and Ê(r) (r) (λ), F (λ) (r) (r) usng the approprate lne bundles on the Hecke correspondences B (λ) and B (λ). To begn, recall from [CKL2], that we defned Hecke operators E (r),f (r) for T G(v,N ) by E (r) := O B (r) ( λ,α )det(c N /V ) r det(v) r {r(v r)} D(T G(v,N ) T G(v r,n )) F (r) := O B (r) ( λ,α )det(v /V) N 2v+r {r(n v )} D(T G(v r,n ) T G(v,N )) where V denotes the tautologcal vector bundle. Remark 5.2. Actually, there s a small mstake n [CKL2] at ths pont. The kernels n [CKL2] were obtaned from kernels n [CKL1]. However, under the somorphsm n Lemma 3.2 of [CKL2], we have L 2 = C N {2} and L 1 = V{2}, and we overlooked these shfts when defnng the kernels. So, actually the shft on E (r) n [CKL2] should have been {r(v r) 2r(N 2v +r)} and the shft on F (r) should have been {r(n v ) +2r(N 2v + r)}. But actually, the ncorrect shfts used n [CKL2] work perfectly well, snce the extra terms above are equal to r 2λ +rα,α and t s easy to see that these extra terms propogate harmlessly n all the Serre relatons. So there s no harm s usng the shfts from [CKL2]. Under the somorphsm (5), the tautologcal vector V on T G(v,N ) corresponds to mb out(). The map B out() gves an somorphsm of vector bundles from V to mb out() {1}. Hence under the somorphsm (5), V s somorphc to V { 1}. Motvated by ths, we defne Ẽ (r) (λ) = O B(r) (λ) det(v ) r det(v ) r detv r out(h) { rv } n(h)= F (r) (λ) = O B(r) (λ) det(v /V ) N 2v+r {r(v r)} Thus under the somorphsm (5), Ẽ(r) (r) (λ), F (λ) correspond to E (r) O and F (r) O. In [CKL2], we showed that the E (r),f (r) defne a geometrc categorcal sl 2 acton. Hence we mmedately deduce the followng result. Proposton 5.3. The varetes M (λ), the deformatons Ñ(λ), and the kernels Ẽ (r) (λ) D( M (λ) M (λ+rα )) and defne a geometrc categorcal sl 2 acton. In partcular, () H (Ẽ Ẽ(r) ) = Ẽ(r+1) C H (P r ). F (r) (λ) D( M (λ+rα ) M (λ))

16 16 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA () If λ,α 0 then where H (P) = O C H (P λ,α 1 ). Smlarly, f λ,α 0 then F (λ) Ẽ(λ) = Ẽ(λ α ) F (λ α ) P Ẽ (λ α ) F (λ α ) = F (λ) Ẽ(λ) P where H (P ) = O C H (P λ,α 1 ). () H ( 23 Ẽ 12 Ẽ ) = Ẽ(2) [ 1] Ẽ(2) [2] where 12 and 23 are the closed mmersons 12 : M (λ) M (λ+α ) M (λ) Ñ(λ+α ) 23 : M (λ+α ) M (λ+2α ) Ñ(λ+α ) M (λ+2α ). We now defne the second knd of Hecke modfcatons Ê(r) (r), F as follows: Ê (r) (λ) := O (r) B (λ) det(v (7) ) r det(v ) r det(v out(h) ) r { rv } (8) n(h)= F (r) (λ) := O B (r) (λ) det(v /V ) λ,α r {rv r} Snce the varetes M and N are prncpal P -bundles over M and N, respectvely, there s an equvalence between the category of P -equvarant coherent sheaves on M, resp. N and the category of coherent sheaves on M, resp. N. Moreover, Ê, F and E,F correspond under ths equvalence. Hence t suffces to prove the sl 2 relatons (v), (v), (v) for Ê, F. To prove these relatons for Ê, F we wll use Proposton 5.3, whch establshes these relatons for Ẽ, F. To pass from the relatons for the Ẽ, F to those for Ê, F, we wll use the formalsm of compatble kernels developed below Formalsm of compatble kernels. Let X, X be varetes and let j X : X X be locally closed embeddngs. Two objects P D(X 1 X 2 ) and P D( X 1 X 2 ) are sad to be compatble f (d j X2 ) (P) = (j X1 d) ( P) n D(X 1 X 2 ). Remark 5.4. If j s an open embeddng, the pushforward j (A) of an object A n the bounded derved category can be unbounded above. Thus at tmes we should work n the bounded below derved category. However, ths techncalty does not really arse n our consderatons, snce we wll only push forward objects whch reman bounded. In partcular, note that f P D(X 1 X 2 ) and P D( X 1 X 2 ) are compatble then (d j X2 ) (P) s bounded. As an example, note that O X s compatble wth O X. Ths follows because the ncluson of X n X X s a closed embeddng, so (d j X ) O X s just the structure sheaf of X X X, whch, n turn, equals the restrcton of O X to X X. Let J X := (d j X ) O X D(X X ). It s useful to express the noton of compatblty n terms of convoluton wth the sheaves J X. Lemma 5.5. P and P are compatble f and only f J X2 P = P J X1 D(X 1 X 2 ). Proof. We have (d j X2 ) (P) = J X2 P and (j X1 d) ( P) = P J X1 n D(X 1 X 2 ). In general, compatble pars are closed under convoluton, as we see from the followng Lemma. Lemma 5.6. Assume that P 1 D(X 1 X 2 ), P 1 D( X 1 X 2 ) are compatble and so are P 2 D(X 2 X 3 ), P 2 D( X 2 X 3 ). Then P 2 P 1 s compatble wth P 2 P 1.

17 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 17 Proof. We have J X3 P 2 P 1 = P2 J X2 P 1 = P2 P 1 J X1 where we use the compatblty of P 2 and P 2 and then the compatblty of P 1 and P 1. Suppose that P, P are a compatble par. Our general strategy below wll be to deduce nformaton about P from nformaton about P. Ths s possble because of the followng lemma. Lemma 5.7. Let j : X X be a locally closed embeddng and P,P D(X). If H k (j P) = H k (j P ) then H k (P) = H k (P ). Proof. If j s a closed embeddng then j : Coh(X) Coh( X) s exact. Hence j H k (P) = H k (j P). Ths means that j H k (P) = j H k (P ). But L 0 j j = d so we get H k (P) = H k (P ). Snce any locally closed embeddng s the composton of a closed embeddng and an open embeddng, t remans that prove the result when j s an open embeddng. In ths case j : QCoh( X) QCoh(X) s exact, and j j = d. Snce R j H k (P) s supported on X X, we see that j R j H k (P) = 0. So f we apply j to the spectral sequence whch computes H k (j P), we get j H k (j P) = j R 0 j H k (P) = H k (P) (and lkewse wth H k (P )). Snce H k (j P) = H k (j P ) we get H k (P) = H k (P ) Compatblty of kernels. The followng result from Nakajma [Nak00, Lemma ] wll be mportant for us. Lemma 5.8. The ntersectons B (r) (λ) ( M (λ) M (λ+rα )) and nsde M (λ) M (λ+rα ) are transverse. B (r) (λ) ( M (λ) M (λ+rα )) From ths Lemma, we can apply the machnery from secton 5.3, wth X 1 = M (λ), X 1 = M (λ) and X 2 = M (λ+rα ), X 2 = M (λ+rα ). Corollary 5.9. The kernels Ê(r) (λ) and Ẽ(r) (λ) (resp F (r) (λ) and F (r) (λ)) are compatble. (r) (r) Proof. Recall that B (λ) s defned as the ntersecton B (λ) ( M (λ) M (λ+rα )). Moreover from the above lemma, ths ntersecton s transverse. Hence we see that (j λ d) O B(r) (λ) = ι O B(r) (λ) D( M (λ) M (λ+rα )) where j λ : M (λ) M (λ) and ι s the closed mmerson of B (r) (λ) nto M (λ) M (λ+rα ). Now ι O B(r) (λ) = (d j λ+rα ) O B(r) (λ) where we thnk of O B(r) (λ) as an object n D( M (λ) M (λ+rα )). Thus (j λ d) O B(r) (λ) = (d j λ+rα ) O B(r) (λ). Tensorng by lne bundles we obtan the compatblty of Ê(r) (λ) and Ẽ(r) (λ). The compatblty of and s deduced smlarly. F (r) F (r)

18 18 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA 5.5. Proof of relaton (v). We are now n a poston to prove relaton (v). Lemma H (Ê(λ+rα ) Ê(r) (λ)) = Ê(r+1) (λ) H (P r ) Proof. By Lemma 5.6, we see that Ê(λ + rα ) Ê(r) (λ) and Ẽ(λ + rα ) Ẽ(r) (λ) are compatble. Moreover, from Proposton 5.3, we know that Hence H (Ẽ(λ+rα ) Ẽ(r)(λ)) = Ẽ(r+1) (λ) C H (P r ) H ((d j λ+(r+1)α ) (Ê(λ+rα ) Ê(r) (λ))) = H ((j λ d) (Ê(λ+rα ) Ê(r) (λ))) = H ((j λ d) Ẽ (r+1) (λ) C H (P r )) = H ((d j λ+(r+1)α ) Ê (r+1) (λ) C H (P r )). So applyng Lemma 5.7, we deduce the desred result Proof of relaton (v). To deduce relaton (v), we wll frst show the compatblty of certan morphsms. Recall that Ê F are P -equvarant sheaves, hence P acts on the Hom space Hom(Ê F, F Ê). Lemma The spaces Ext l (Ê F, F Ê) P and Ext l (Ẽ F, F Ẽ) vansh f l < 0 and are somorphc to C f l = 0. Proof. We prove the frst statement, as the proof of the second s smlar. By applyng the adjuncton relatons Lemma 4.4 we have Ext l (Ê F (λ α ), F (λ) Ê) P = Ext l (Ê(λ) Ê[ λ,α +1],Ê Ê[ λ α,α +1]) P = Ext l (Ê Ê,Ê Ê[ 2]) P By Lemma 5.10, we have that H (Ê Ê) = Ê(2) C H (P 1 ). Snce there are no negatve Exts from Ê(2) to tself, the spectral sequence for computng Ext l (Ê Ê,Ê Ê[ 2]) P collapses and we deduce that Ext l (Ê Ê,Ê Ê[ 2]) P = Hom(Ê(2),Ê(2) ) P f l = 0 and zero f l < 0. Now Hom(Ê(2),Ê(2) ) P = Hom(E (2),E (2) ) = H 0 (O (2) B ) = C. The last somorphsm follows for the same reason H 0 (O M ) = C, namely the C acton retracts B (2) proper subvarety. Let ĉ Hom(Ê F, F Ê) P and c Hom(Ẽ F, F Ẽ) denote the unque (up to scalar) non-zero elements. onto a Remark Note that on M we work P equvarantly. On M we do not use the P acton, but we stll have the C acton, whch s always around and whch forces all Hom spaces to be fnte dmensonal. When we have products M M, we consder the frst factor M to have the usual P acton and the second factor M to have a trval P acton. By Lemma 5.6, (d j λ ) (Ê F ) = (j λ d) (Ẽ F ) and (d j λ ) ( F Ê) = (j λ d) ( F Ẽ). Lemma (d j λ ) (ĉ) and (j λ d) ( c) are equal (up to a non-zero multple) under the above somorphsms.

19 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 19 Proof. We wll show that Hom((d j λ ) (Ê F ),(d j λ ) ( F Ê)) P = C and that (d j λ ) (ĉ) and (j λ d) ( c) are non-zero. Recall (6) where j λ s descrbed as the composton M (λ) ι1 M ι2 (λ) M (λ). Snce ι 2 s an open embeddng ι 2 ι 2 = d. Hence Hom((d j λ ) (Ê F ),(d j λ ) ( F Ê)) P = Hom((d ι 1 ) (d ι 1 ) Ê F, F Ê) P = Hom((d ι 1 ) (d ι 1 ) Ê, F Ê ( F ) L ) P Now ι 1 : M (λ) M (λ) s the ncluson of a fbre. Thus, keepng n mnd Ê s a sheaf, H k ((d ι 1 ) (d ι 1 ) Ê ) = Ê a k for some a k Z 0 where a 0 = 1 and a k = 0 for k > 0. Thus by Lemma 5.11 we get that Hom((d ι 1 ) (d ι 1 ) Ê, F Ê ( F ) L ) P = k 0Hom(Ê a k [ k], F Ê ( F ) L ) P = k 0Ext k (Ê a k F, F Ê) P = Hom(Ê F, F Ê) P = C. It remans to show that (d j λ ) (ĉ) and (j λ d) ( c) are non-zero. The map (d j λ ) ĉ s adjont to the composton map (d j λ ) (d j λ ) Ê = (d ι1 ) f 1 f 2 (d ι 1 ) Ê Ê F Ê ( F ) L where f 2 s the adjont to ĉ (and hence non-zero). Now, by the above, Ext l ((d j λ ) (d j λ ) Ê, F Ê ( F ) L ) P = 0 f l < 0. Snce f 1 s the dentty on H 0 ths means f 2 f 1 0 snce f 2 0. Thus (d j λ ) (ĉ) 0. To show (j λ d) ( c) 0, consder the exact trangle Ẽ F c F Ẽ Cone( c). By Proposton 5.3 we have Cone( c) = P where P s supported on the dagonal. Applyng (j λ d) we get the exact trangle (j λ d) (Ẽ F ) (j λ d) ( c) (j λ d) ( F Ẽ) (j λ d) P. Now(j λ d) P sstllsupportedonthedagonalwhereastheothertwotermsarenot. Thus(j λ d) ( c) cannot be zero. Now we are n poston to establsh condton (v). Theorem If λ,α 0 there exsts a dstngushed trangle Ê (λ α ) F (λ α ) F (λ) Ê(λ) P where H (P) = O C H (P λ,α 1 ) (and smlarly f λ,α 0). Proof. Consder the exact trangle (9) Ê F ĉ F Ê Cone(ĉ). Snce (d j λ ) (ĉ) = (j λ d) ( c) (up to a non-zero multple), we see that (d j λ ) Cone(ĉ) = (j λ d) Cone( c). From Proposton 5.3 we see that H (Cone( c)) = O C H (P λ,α 1 ). Hence H ((d j λ ) Cone(ĉ)) = (j λ d) (O C H (P λ,α 1 )) = (d j λ ) (O C H (P λ,α 1 ))

20 20 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA and thus by Lemma 5.7, H (Cone(ĉ)) = O C H (P λ,α 1 ). Proposton The dstngushed trangle of Theorem 5.14 splts. Thus condton (v) holds. Proof. By adjuncton, Ext 1 (O C H (P λ,α 1 ),Ê F ) = 0, and thus the trangle splts Proof of relaton (v). Now we wll prove relaton (v), whch s the deformed verson of relaton (v). Lemma Suppose P D(X 1 X 2 ) and P D( X 1 X 2 ) are compatble. Let ι : X 2 Y 2 and ι : X2 Ỹ2 be closed mmersons such that j Y2 ι = ι j X2 : X 2 Ỹ2, wth j Y2 : Y 2 Ỹ2 a locally closed mmerson. Then are compatble. Smlarly, are compatble. Proof. We have (d ι) P D(X 1 Y 2 ) and (d ι) P D( X1 Ỹ2) (ι d) P D(Y 1 X 2 ) and ( ι d) P D( Ỹ 1 X 2 ) (d j Y2 ) (d ι) P = (d ι) (d j X2 ) P = (d ι) (j X1 d) P = (j X1 d) (d ι) P where the second somorphsm follows snce P and P are compatble and the thrd somorphsm s a consequence of the followng fbre square where X 1 X 2 and X 1 Ỹ2 ntersect transversely nsde X 1 Ỹ2. X 1 X2 X 1 X2 d ι j X1 d j X1 d X 1 Ỹ2 X1 Ỹ2 Ths proves the frst asserton. The second asserton follows smlarly, usng ι : X 1 Y 1 and ι : X1 Ỹ1. Abusng notaton slghtly we denote by ĩ : M (λ) Ñ(λ) and î : M (λ) N (λ) the natural nclusons for any weght λ. Corollary The objects (d î) Ê D( M (λ) N (λ+α )) and (d ĩ) Ẽ D( M (λ) Ñ(λ+α )) are compatble, as are the objects (î d) Ê D( N (λ) M (λ+α )) and (ĩ d) Ẽ D(Ñ(λ) M (λ+α )). Proof. Ths s adrectconsequenceoflemma5.16andthe fact that Ê and Ẽ arecompatble(corollary 5.9). Lemma H ( 23 Ê 12 Ê ) = Ê(2) [ 1] Ê(2) [2] where 12 and 23 are the closed mmersons d ι 12 : M (λ) M (λ+α ) M (λ) N (λ+α ) 23 : M (λ+α ) M (λ+2α ) N (λ+α ) M (λ+2α ).

21 COHERENT SHEAVES ON QUIVER VARIETIES AND CATEGORIFICATION 21 Proof. Usng Corollary 5.17, ths follows from the analogous result for Ẽ as n the proof of Lemma Fnally, we note that condton (v) follows easly n ths case by nspecton. 6. The rank 2 relatons In ths secton we wll prove relatons (v) - (x). These nvolve rank 2 subalgebras of g so we refer to them as rank 2 relatons. The followng Lemma, though not strctly necessary, wll help shorten several arguments below. Lemma 6.1. Suppose Y 1,Y 2,Y 3 are holomorphc symplectc varetes and L 12 Y 1 Y 2 and L 23 Y 2 Y 3 are smooth Lagrangan subvaretes. If the projecton map π 13 : π12 1 (L 12) π23 1 (L 23) Y 1 Y 3 from the scheme theoretc ntersecton s an somorphsm onto ts mage, then the ntersecton π12 1 (L 12) π23 1 (L 23) Y 1 Y 2 Y 3 s transverse. Proof. Let (p 1,p 2,p 3 ) π 1 12 (L 12) π 1 23 (L 23). We need to check that the ntersecton π 1 12 (T (p 1,p 2)L 12 ) π 1 23 (T (p 2,p 3)L 23 ) of tangent spaces s transverse. Ths s equvalent to showng that the dmenson of ths ntersecton s dm(y 1 Y 2 Y 3 ) dml 12 dml 23. Notce that (π 1 12 (T (p 1,p 2)L 12 ) π 1 23 (T (p 2,p 3)L 23 )) = (π 1 12 T (p 1,p 2)L 12 ) +(π 1 23 T (p 2,p 3)L 23 ) So t suffces to show that = (T (p1,p 2)L 12 0)+(0 T (p2,p 3)L 23 ). dm((t (p1,p 2)L 12 0)+(0 T (p2,p 3)L 23 )) = dml 12 +dml 23 or equvalently that (T (p1,p 2)L 12 0) (0 T (p2,p 3)L 23 ) = 0. Ths follows drectly from the mmerson hypothess Proof of (x). Theorem 6.2. If j, then F j E = E F j. Proof. Ths proof s straght-forward snce all ntersectons are of the expected dmenson and the pushforward π 13 s an somorphsm onto ts mage. To compute F j E (λ) we frst need to dentfy π12 1 (B ) π23 1 (B j). To do ths defne the varety B j (λ) of all trples (B,V,S) wth (B,V) µ 1 (0) s M(λ α j ) and S V satsfyng the followng: dm(s) = dm(v) e e j, S s B-stable m(b q(k) ) S k for all k I the nduced maps B h : V j V /S and B h : V V j /S j are zero where h s the orented edge from to j n the doubled quver and h the edge from j to. Let B j (λ) = B j (λ)/gl(v). Notce that ths acton s free snce GL(V) already acts freely on µ 1 (0) s. Now consder the closed embeddng f : B j (λ) M(λ) M(λ+α ) M(λ+α α j ) gven by () (B,V) := (B V,V ) where V k = V k f k j and W j = S j () (B,V ) := (B S,S) () (B,V ) := (B V,V ) where V k := V k f k and V = S

22 22 SABIN CAUTIS, JOEL KAMNITZER, AND ANTHONY LICATA Ths way we can thnk of B j (λ) as a subvarety of ths trple product. Now π 13 : B j (λ) M(λ) M(λ+α α j ) s an somorphsm onto ts mage snce (B,V ) can be recovered from (B,V) and S. Thus we have a sequence of somorphsms B j (λ) f(b j (λ)) π 13 f(b j (λ)). Snce B and B j are Lagrangan subvaretes, Lemma 6.1 mples that the ntersecton π12 1 (B ) π23 1 (B j) s of the expected dmenson. It follows that O π 1 12 (B(λ)) O π 1 23 (Bj(λ+α αj)) = O Bj (λ) and hence O Bj(λ+α α j) O B(λ) = O Bj (λ). Keepng track of the lne bundles of E and F j we get: F j E (λ) = O Bj (λ) det(v )det(v )det(v j /V j) λ+α,αj 3 det(v out(h) ) 1 { v +v j 2}. n(h)= An analogous computaton shows that E F j (λ α j ) s also equal to the above. Ths s not so surprsng snce and j play symmetrc roles n the defnton of B j (λ). Ths proves condton (x) Proof of (v). Proposton 6.3. If j are not connected by an edge, then E E j = Ej E. Ths follows drectly as n the proof of the last theorem. More dffcult s the Serre relaton. Theorem 6.4. E E j E = E (2) E j E j E (2), when j are joned by an edge. Proof. By Lemma 6.11, we have the followng canoncal maps E j E (2) α 1 α E E j E 2 Ej E (2) and E (2) β 1 β 2 (2) E j E E j E E E j. If we can show these compostons are non-zero then they must be the dentty (up to a multple) snce End(E j E (2) ) = C = End(E (2) E j ) by Lemma Thus we get E E j E (2) = E E j E j E (2) R for some R 1. Snce, by Lemma 6.11, End(E E j E ) = C 2, t follows R = 0 and we are done. We now proceed to show that α 2 α 1 0 (we can smlarly show that β 2 β 1 0). We wll gnore the { } shfts n order to smplfy notaton (they are not relevant for checkng the above fact). Frst we dentfy E j E (2) as follows. We defne B j (2)(λ) to be the varety parametrzng all trples (B,V,S) wth (B,V) µ 1 (0) s M(λ) and S V satsfyng the followng: dm(s) = dm(v) 2e e j, S s B-stable m(b q(k) ) S k for all k I the nduced map B h : V j V /S s zero. Let B j (2)(λ) = B j (2)(λ)/GL(V) be the quotent by the free acton of GL(V). We have a closed embeddng f : B j (2)(λ) M(λ) M(λ+2α ) M(λ+2α +α j ) gven by () (B,V) := (B,V) () (B,V ) := (B V,V ) where V k := V k f k and V = S () (B,V ) := (B S,S). π 13 : B j (2)(λ) M(λ) M(λ + 2α + α j ) s an somorphsm onto ts mage snce (B,V ) can be recovered from (B,V) and (B,V) and S. Thus we get a sequence of somorphsms B j (2)(λ) f(b j (2)(λ)) (π 13 f)(b j (2)(λ)). 1 Here we are usng the dempotent completeness of our categores. For more detals, see [CK3], secton 4.1