arxiv: v3 [math.gt] 12 Aug 2015

Transcription

1 Knot nvarants and hgher representaton theory Ben Webster 1 Department of Mathematcs Unversty of Vrgna Charlottesvlle, VA Emal: bwebster@vrgna.edu arxv: v3 [math.gt] 12 Aug 2015 We construct knot nvarants categorfyng the quantum knot varants for all representatons of quantum groups. We show that these nvarants concde wth prevous nvarants defned by Khovanov forsl 2 andsl 3 and by Mazorchuk-Stroppel and Sussan forsl n. Our technque s to study 2-representatons of 2-quantum groups (n the sense of Rouquer and Khovanov-Lauda) categorfyng tensor products of rreducble representatons. These are the representaton categores of certan fnte dmensonal algebras wth an explct dagrammatc presentaton, generalzng the cyclotomc quotent of the KLR algebra. When the Le algebra under consderaton ssl n, we show that these categores agree wth certan subcategores of parabolc categoryoforgl k. We also nvestgate the fner structure of these categores: they are standardly stratfed and satsfy a double centralzer property wth respect to ther self-dual modules. The standard modules of the stratfcaton play an mportant role as test obects for functors, as Vermas do n more classcal representaton theory. The exstence of these representatons has consequences for the structure of prevously studed categorfcatons. It allows us to prove the non-degeneracy of Khovanov and Lauda s 2-category (that ts Hom spaces have the expected dmenson) n all symmetrzable types, and that the cyclotomc quver Hecke algebras are symmetrc Frobenus. In work of Reshetkhn and Turaev, the bradng and (co)evaluaton maps between representatons of quantum groups are used to defne polynomal knot nvarants. We show that the categorfcatons of tensor products are related by functors categorfyng these maps, whch allow the constructon of bgraded knot homologes whose graded Euler characterstcs are the orgnal polynomal knot nvarants. Contents 1. Introducton Quantum topology Categorfcaton of tensor products Topology Summary 5 Notaton 5 Acknowledgments 6 2. Categorfcaton of quantum groups Khovanov-Lauda dagrams The 2-categoryU A spannng set Bubble sldes Cyclotomc quotents A frst approach to the categorfcaton of smples Categorfcatons for mnmal parabolcs Cyclotomc quotents The categorcal acton on cyclotomc quotents Unversal categorfcatons The tensor product algebras Stendhal dagrams 29 1 Supported by the NSF under Grant DMS and an NSF Postdoctoral Research Fellowshp and by the NSA under Grant H

2 Knot nvarants and hgher representaton theory 4.2. Defnton and basc propertes A bass and spannng set Splttng red strands The double tensor product algebras A Morta equvalence Decategorfcaton Standard modules Standard modules defned Smple modules and crystals Strngy trples Standard stratfcaton Self-dual proectves Bradng functors Bradng Serre functors Rgdty structures Coevaluaton and evaluaton for a par of representatons Rbbon structure Coevaluaton and quantum trace n general Knot nvarants Constructng knot and tangle nvarants The unknot forg=sl Independence of proecton Functoralty Comparson to categoryoand other knot homologes Cyclotomc degenerate Hecke algebras Comparson of categores The affne case Comparson to other knot homologes 94 References Introducton 1.1. Quantum topology. Much of the theory of quantum topology rests on the structure of monodal categores and ther use n a varety of topologcal constructons. In ths paper, we defne a categorfcaton of one of these constructons: the R-matrx constructon of quantum knot nvarants, nspred by the work of Reshetkhn and Turaev [Tur88, RT90]. Ther work s n the context of the tensor category of representatons of a quantzed unversal envelopng algebra U q (g). They assgn natural maps between tensor products to each rbbon tangle labeled wth representatons. One specal case of ths s a polynomal nvarant of framed knots for each fnte-dmensonal representaton of U q (g). These maps are natural wth respect to tangle composton; thus they can be reconstructed from a small number of consttuents: the maps assocated to a rbbon twst, crossng, cup and cap. The map assocated to a lnk whose components are labeled wth a representaton ofgs thus smply a Laurent polynomal. Partcular cases of these nvarants nclude: the Jones polynomal wheng=sl 2 and all strands are labeled wth the defnng representaton. the colored Jones polynomals for other representatons ofg=sl 2. specalzatons of the HOMFLYPT polynomal for the defnng representaton ofg=sl n. the Kauffman polynomal (not to be confused wth the Kauffman bracket, a varant of the Jones polynomal) for the defnng representaton ofso n. These specal cases have been categorfed to knot homologes from a number of perspectves, begnnng wth work of Khovanov on the Jones polynomal. However, the vast maorty of representatons prevously had no homology theory attached to them. In ths paper, we wll construct such a theory for any labels; that s: 2

3 Ben Webster Theorem A.1 For each smple complex Le algebrag, there s a homology theory K(L,{ }) for lnks L whose components are labeled by fnte dmensonal representatons of g (here ndcated by ther hghest weghts ), whch assocates to such a lnk a bgraded vector space whose graded Euler characterstc s the quantum nvarant of ths labeled lnk. Gven the extensve past work on knot homology, t s natural to ask whch of the homology theores mentoned above concde wth those of Theorem A.1 n specal cases. Theorem A.2 Wheng=sl 2,sl 3 and the lnk s labeled wth the defnng representaton of these algebras, the theory K(L,{ }) concdes up to gradng shft wth Khovanov s homologes forg=sl 2,sl 3. In the caseg=sl n and we use the defnng representaton,k(l,{ }) agrees wth the Mazorchuk-Stroppel-Sussan homology. Prevous approaches to categorfyng the specal Reshetkhn-Turaev nvarants mentoned above have been gven by Khovanov and Khovanov-Rozansky [Kho00, Kho02, Kho04, Kho07, KR08b, KR07, KR08a], Stroppel and Mazorchuk-Stroppel [Str05, MS09], Sussan [Sus07], Sedel-Smth [SS06], Manolescu [Man07], Cauts-Kamntzer [CK08a, CK08b], Mackaay, Stošć and Vaz [MSV09, MSV11] and the author and Wllamson [WW]. All of these approaches depend heavly on specal features of mnuscule representatons. There has been some progress on other representatons ofsl 2. In a paper stll n preparaton, Stroppel and Sussan also consder the case of the colored Jones polynomal [SS] (buldng on prevous work wth Frenkel [FSS12]); t seems lkely ther constructon s equvalent to ours (see Secton 9.4). Smlarly, Cooper and Krushkal have gven a categorfcaton of the colored Jones polynomal usng Bar-Natan s cobordsm formalsm for Khovanov homology [CK12]. We show n [Webf] that Cooper and Krushkal s theory agrees wth ours for colored Jones polynomals. On the other hand, the work of physcsts suggests that categorfcatons for all representatons exst; one schema for defnng them s gven by Wtten [Wt]. The relatonshp between Wtten s proposals and the nvarants presented n ths paper s completely unknown (at least to the author) and presents a very nterestng queston for consderaton n the future. Another queston of partcular nterest s whether K(L,{ }) for the defnng representaton ofsl n concdes wth Khovanov-Rozansky homology [KR08b]; we wll establsh ths agreement n future work wth Mackaay [MW]. At the moment, we have not proven that K(L,{ }) s functoral, but we do have a proposal for the map assocated to a cobordsm when the weghts are all mnuscule. As usual n knot homology, ths proposed functoralty map s constructed by pckng a Morse functon on the cobordsm, and assocatng smple maps to the addton of handles. We have no proof that ths defnton s ndependent of Morse functon and we antcpate that provng ths wll be qute dffcult Categorfcaton of tensor products. The program of hgher representaton theory, begun (at least as an explct program) by Chuang and Rouquer n [CR08] and contnued by Rouquer [Roua] and Khovanov-Lauda [KL10], s amed at studyng 2-analogues of the unversal envelopng algebras of smple Le algebras U(g) and ther quantzatons U q (g). The 2-analogue for us of the quantum group U q (g) s the strct 2-categoryU defned n [CL15, 2]. In ths paper, we ll defne an algebra T for each lst=( 1,..., l ) of domnant weghts for any symmetrzable Kac-Moody algebra g. Our 2-analogue of a tensor product of smple g-representatons s the categoryv of fnte-dmensonal representatons of T. Our frst obectve s to show that we have defned a categorfcaton of such tensor products. Theorem B The categoryv carres a categorcal acton ofg, that s, t carres an acton of the 2-categoryU. The Grothendeck group ofv s canoncally somorphc to the tensor product of rreducble representatons V. V V 1 V l In the case wheregs fnte-type and smply-laced, the classes of ndecomposable proectves nv are Lusztg s canoncal bass of a tensor product by [Web15, 6.11]. When=(), the algebra T := T () s a cyclotomc KLR algebra n the sense of [KL10, 3.4]. Even n ths case, the categorcal acton of Theorem B s new, and t mples that the nducton and restrcton functors on these categores are badont. Ths was proved ndependently by Kang and Kashwara [KK12] usng completely 3

4 Knot nvarants and hgher representaton theory dfferent methods. Ths acton can be used to prove that the 2-categoryU s nondegenerate n the fnte type case. Earler versons of ths paper ncluded a dscusson of non-degeneracy outsde of fnte type, whch s now proven n [Webb] nstead. These algebras T are also qute nterestng from the perspectve of pure representaton theory. We ll prove that they have a number of propertes whch have already appeared n the lterature. Theorem C The proectve-nectve obects ofv form a categorfcaton of the subrepresentaton V n V. In partcular, f=(), then all proectves are nectve and the algebra T () s Frobenus. The sum of all ndecomposable proectve-nectves has the double centralzer property. Ths realzes T as the endomorphsms of a natural collecton of modules over the algebra T ( 1+ + n). The algebra T s standardly stratfed. The sem-orthogonal decomposton for ths stratfcaton categorfes the decomposton of V as the sum of tensor products of weght spaces. These algebras also have connectons n the type A case to classcal representaton theory, as has been explored by Brundan and Kleshchev [BK09]. Usng Theorem C, we wll buld on ther work n Secton 9 by showng that the algebras T are endomorphsm algebras of certan proectves n parabolc categoryo, whle n type Â, they are related to the representatons of the cyclotomc q-schur algebra. Ths last relatonshp wll be explored more fully n work of the author and Stroppel [SW, Webe]. The method of proof leaves lttle hope for fndng connectons wth categoryon other types. We see no reason to thnk thatv has a smlar descrpton n terms of classcal representaton theory wheng sl n,ŝl n, though we would be qute pleased to be proven wrong n ths speculaton Topology. We now turn to the constructon of knot nvarants. As mentoned above, the orgnal constructon of Reshetkhn-Turaev nvarants s encoded n a rbbon structure on the category of U q (g)-representatons. We can depct the structure maps of ths category n terms of dagrams. Crossng two rbbons: the correspondng operator n representatons of the quantum group s called the bradng or R-matrx 2. More generally for any bradσonlstrands, ths defnes a homomorphsm Φ(σ): V V σ(). Creatng a cup, or closng a cap: the correspondng operators n representatons of the quantum group are called the (co)evaluaton and quantum (co)trace. Addng a full twst to one of the rbbons: the correspondng operator n the quantum group s called the rbbon element. In ths paper, we wll categorfy every of these maps to a functor, and use these the defne the nvarants K(L,{ }). Ths approach was poneered by Stroppel for the defnng rep ofsl 2 [Str09, Str] and was extended tosl n by Sussan [Sus07] and Mazorchuk-Stroppel [MS09]. To work n complete generalty, we must use the derved categores 3 V = D(V ) of fnte dmensonal T -representatons, rather than the varatons of category O used by those authors. Theorem D The derved categoryv carres functors categorfyng all the structure maps of the rbbon category of U q (g)-modules: () Ifσs a brad, then we have an exact functorb σ :V V σ() such that the nduced map on Grothendeck groups K 0 (T ) K 0 (T σ() ) concdes wthφ(σ). Furthermore, these functors nduce a strong acton of the brad groupod on the categores assocated to permutatons of the set. () If two consecutve elements oflabel dual representatons and denotes the sequence wth these removed, then there are functorst,e:v V whch nduce the quantum trace and evaluaton on the Grothendeck group, and smlarly functorsk,c:v V for the coevaluaton maps and quantum cotrace maps. () Wheng=sl n, the structure functors above can be descrbed n terms of twstng and Enrght-Shelton functors ono. 2 As usual, the R-matrx s a map between tensor products of representatons V W V W ntertwnng the usual and opposte coproducts; we use the term bradng to refer to the composton of ths wth the usual flp map, whch s thus a homomorphsm of representatons V W W V. 3 We ll want to use slghtly unusual fnteness condtons on D(V ), so we ll leave the precse defnton of these categores to the body of the paper. See Defnton

5 Ben Webster By defnton (see [CP95, 4]), the quantum knot nvarants are gven by a composton of the decategorfcatons of the functors constructed n Theorem D. Combnng the functors themselves n the same pattern gves the knot homology of Theorem A Summary. Let us now summarze the structure of the paper. In Sectons 2 and 3, we dscuss the bascs of the 2-categoryU, and prove t acts onv. Ths s accomplshed by the constructon of categorfcatonsu for the mnmal non-solvable parabolcs U(p ). These categores carry a mxture of the characterstcs of U(b) and U(sl 2 ); an approprate nondegeneracy result s already known for both of these algebras separately. By modfyng the proofs of these prevous results, we can show thatu acts onv. It s an easy consequence of ths that the full U acts. These results are of ndependent nterest (and, n fact, some of them have been proven ndependently by Kang and Kashwara [KK12]). In Secton 4, we defne the algebras T, usng the famlar tool of graphcal calculus. Ths graphcal calculus gves an easy descrpton of the acton of the category U. We also study the relatonshp of ths category to T ( 1+ + l ). In Secton 5, we develop a specal class of modules whch we term standard modules, whch defne a standardly stratfed structure. In the case where all are mnuscule, ths structure s even quasheredtary. These modules also serve as categorfcatons of pure tensors. In Secton 6, we prove Theorem D(). That s, we construct the functor lftng the bradng of the monodal category of U q (g)-representatons. Ths functor s the derved tensor product wth a natural bmodule. Partcularly nterestng and mportant specal cases correspond to the half-twst brad, whch sends proectve modules to tltngs, and the full twst brad, whch gves the rght Serre functor ofv. In Secton 7, we prove Theorem D(). The most mportant element of ths s to dentfy a specal smple module n the category for a par of dual fundamental weghts, whch categorfes an nvarant vector. In Secton 8, we prove Theorem A.1 usng the functors constructed n Theorem D and a small number of explct computatons. We also suggest a map for the functoralty along a cobordsm between lnks n the mnuscule case. As mentoned before, t s unknown whether ths s ndependent of choces. In Secton 9, we consder the caseg=sl n orŝl n. In ths case, we employ results of Brundan and Kleshchev to show that T s n fact the endomorphsm algebra of a proectve n a parabolc category O n fnte type. In affne type, there s a smlar descrpton usng the cyclotomc q-schur algebra. In Secton 9.4, we relate the functors appearng n Theorem D to prevously defned functors on category O. Ths allows us to show the portons of Theorem A.1 regardng comparsons to Khovanov homology and Mazorchuk-Stroppel-Sussan homology. We should note that an earler verson of ths paper contaned a secton on the connecton between the algebrac materal n ths paper to the geometry of quver varetes and canoncal bases. In the nterest of length and heavness of machnery, that materal has been moved to other papers [Weba, Webg, Web15]. Notaton. We let g be a symmetrzable Kac-Moody algebra, whch we wll assume s fxed for the remander of the paper. Let Γ denote the Dynkn dagram of ths algebra, consdered as an unorented graph. We ll also consder the weght lattce Y(g), root lattce X(g), smple rootsα and corootsα. Let c =α (α ) be the entres of the Cartan matrx. We let, denote the symmetrzed nner product on Y(g), fxed by the fact that the shortest root has length 2 and 2 α, α,α =α (). As usual, we let 2d = α,α, and for Y(g), we let =α ()= α, /d. We note that we have d c = d c = α,α for all,. We letρ be the unque weght such thatα (ρ)=1 for all andρ the unque coweght such thatρ (α )=1 for all. We note that snceρ 1 /2X andρ 1 /2Y, for any weght, the numbers,ρ andρ () are not necessarly ntegers, but 2,ρ and 2ρ () are (not necessarly even) ntegers. Throughout the paper, we wll use=( 1,..., l ) to denote an orderedl-tuple of domnant weghts, and always use the notaton=. We let U q (g) denote the deformed unversal envelopng algebra ofg; that s, the assocatvec(q)-algebra gven by generators E, F, K µ for Γ andµ Y(g), subect to the relatons: 5

6 Knot nvarants and hgher representaton theory ) K 0 = 1, K µ K µ = K µ+µ for allµ,µ Y(g), ) K µ E = q α (µ) E K µ for allµ Y(g), ) K µ F = q α (µ) F K µ for allµ Y(g), K K v) E F F E =δ, where K q d q d ± = K ±d α, v) For all ( 1) a E (a) E E (b) = 0 and a+b= c +1 a+b= c +1 Ths s a Hopf algebra wth coproduct on Chevalley generators gven by ( 1) a F (a) F F (b) = 0. (E )=E 1+ K E (F )=F K + 1 F We let Uq Z(g) denote the Lusztg (dvded powers) ntegral form generated overz[q, q 1 ] by En, F n [n] q! [n] q! for n 0. We let U Z be the algebra obtaned by adonng dempotents 1 µ proectng to ntegral weght spaces to Uq Z(g). The ntegral form of the representaton of hghest weghtover ths quantum group wll be denoted by V Z. We wll always thnk of ths ntegral form as generated by a fxed hghest weght vector v. For a sequence, we wll be nterested n the tensor product V Z = VZ 1 Z[q,q 1 ] Z[q,q 1 ] V Z l. The category of representatons over U q (g) s a braded monodal category; of partcular mportance for us s the R-matrx. We use the opposte R 21 of the R-matrx defned by Tngley n [Tn]; snce Tngley uses the opposte coproduct, ths wll be an R-matrx for us. Thus, for two representatons M, M, we have an somorphsmσ M,M : M M M M sendng m m s(r 12 m m ). In the notaton of [Tn], ths map s defned by (1.1) R M,M (m m ) q wt(m),wt(m ) m m+ q wt(m) β,wt(m )+β X β m Y β m where X β has weghtβ>0and Y β weght β>0. In partcular, f m s lowest weght or m hghest weght, then ths equaton smplfes tor M,M (m m ) q wt(m),wt(m ) m m. For not especally mportant techncal reasons, t wll also be helpful to consder V 1/D = V Z [q1/d ] and V C V Z [{qz } z C ], ths module wth ether the Dth roots of q (for a fxed D) or all complex powers of q adoned. We wll also consder the completon of these modules n the q-adc topology V = V Z Z[q,q 1 ]Z((q)). For a graded rng R, we let R -mod denote the category of fntely generated rght graded R-modules. For a graded R-module M, we let M n denote the vectors of degree n. Let K 0 (R) denote the Grothendeck group of fntely generated graded proectve rght R-modules. Ths group carres an acton ofz[q, q 1 ] by gradng shft [A()]=q [A], where A() n = A +n. The careful reader should note that ths s opposte to the gradng conventon of Khovanov and Lauda. Acknowledgments. I would lke to thank Ben Elas for a truly exceptonal level of help and nput on ths proect, whch has had a very mportant nfluence on the paper; Catharna Stroppel both for suggestons on ths proect, and for teachng me a great deal of quas-heredtary and standardly stratfed representaton theory; Jon Brundan, Alex Ells, Jun Hu, Joel Kamntzer, Masak Kashwara, Mkhal Khovanov, Marco Mackaay, Josh Sussan and Oded Yacob for valuable comments on earler versons of ths paper; Hao Zheng, Raphaël Rouquer, Nck Proudfoot, Tony Lcata, Aaron Lauda and Tom Braden for very useful dscussons. I d also lke to thank the organzers of the conference Categorfcaton and Geometrzaton from Representaton Theory n Glasgow whch made a huge dfference n the development of these deas. 2. Categorfcaton of quantum groups 2.1. Khovanov-Lauda dagrams. In ths paper, our notaton bulds on that of Khovanov and Lauda, who gve a graphcal verson of the 2-quantum group, whch we denote U (leavng g understood). These constructons could also be rephrased n terms of Rouquer s descrpton and we have strven to make the paper readable followng ether [KL10] or [Roua]; however, t s most sensble for us to use the 2-category defned by Cauts and Lauda [CL15], whch s a varaton on both of these. See the ntroducton of [CL15] for more detal on the connectons between these dfferent approaches. The obect of nterest for ths subsecton s a strct 2-category; as descrbed, for example, n [Lau10], one natural yoga for dscussng strct 2-categores s planar dagrammatcs. The 2-category U s thus most clearly descrbed n ths language. 6

7 Ben Webster Defnton 2.1 A blank KL dagram s a collecton of fntely many orented curves nr [0, 1] whch has no trple ponts or tangences, decorated wth fntely many dots. Every strand s labeled wth an element of Γ, and any open end must meet one of the lnes y=0 or y=1 at a dstnct pont from all other ends. A KL dagram s a blank KL dagram together wth a labelng of regons between strands (the components of ts complement) wth weghts followng the rule µ µ α We dentfy two KL dagrams f they are sotopc va an sotopy whch does not cancel any crtcal ponts of the heght functon or move crtcal ponts through crossngs or dots. Ultmately, we wll need to ntroduce scalar correctons for sotopes that do have these features, as shown n relatons (2.2a 2.2b); partcular, the badunctons gven by cups and caps wll typcally not be cyclc. In the nterest of smplfyng dagrams, we ll often wrte a dot wth a number besde t to ndcate a group of that number of dots. We call the lnes y=0, 1 the bottom and top of the dagram. Readng across the bottom and top from left to rght, we obtan a sequence of elements ofγ, whch we wsh to record n order from left to rght. Snce orentatons are qute mportant, we let±γ denoteγ {±1}, and assocate to a strand labeled wth whch s orented upward and to one orented downward. For example, we have a blank KL dagram m= k k wth top gven by ( k, k,,, ) and bottom gven by ( k,, k,, ). We also wsh to record the labelng on regons; snce fxng the label on one regon determnes all the others, we ll typcally only recordl, the weght of the regon at far left and R, the weght at far rght. In addton, we wll typcally not draw the weghts on all regons n the nterest of smplfyng pctures. We call the par of a sequence (±Γ) n and the weghtlakl par; letr := L+ n =1α where we letα = α. Defnton 2.2 Gven KL dagrams a and b, ther (vertcal) composton ab s gven by stackng a on top of b and attemptng to on the bottom of a and top of b. If the sequences from the bottom of a and top of b don t match orl a L b, then the composton s not defned and by conventon s 0, whch s not a KL dagram, ust a formal symbol. The horzontal composton a b of KL dagrams s the dagram whch pastes together the strps where a and b lve wth a to the rght of b. The only compatblty we requre s that L a = R b, so that the regons of the new dagram can be labeled consstently. If L a R b, the horzontal composton s 0 as well. Implct n ths defnton s a rule for horzontal composton of KL pars n±γ, whch s the reverse of concatenaton ( 1,..., m ) ( 1,..., n )=( 1,..., n, 1,..., m ), and gves 0 unlessl = R. We should warn the reader, ths conventon requres us to read our dagrams dfferently from the conventons of [Lau10, KL10, CL15]; n our dagrammatc calculus, 1-morphsms pont from the left to the rght, not from the rght to the left as ndcated n [Lau10, 4]. The practcal mplcaton wll be that our relatons are the reflecton through a vertcal lne of Cauts and Lauda s. Defnton 2.3 LetŨ be the strct 2-category where obects are weghts n Y(g), 1-morphsmsµ ν are KL pars wthl=µ,r=ν, and composton s gven by horzontal composton as above. 2-morphsms h h between KL pars are -lnear combnatons of KL dagrams wth h as bottom and h as top, and vertcal and horzontal composton of 2-morphsms s defned above. 7

8 Knot nvarants and hgher representaton theory We ll typcally usee to denote the 1-morphsm () (leavng the weghtlmplct) andf to denote ( ). More generally, we ll lete = F denote the 1-morphsm for a sequence. Morse theory shows that the 2-morphsm spaces ofũ are generated under horzontal and vertcal composton by dentty morphsms and the followng dagrams: a cupι : E F orι : F E ι = a capǫ:e F orǫ : F E +α ι= α ǫ= α ǫ = +α a crossngψ : F F F F α ψ= α α α a dot y : F F y= α In the dagrams above, we have ncluded dashed lnes to ndcate the source and target of the 2-morphsms; we wll not use ths conventon n the future n the nterest of smplfyng dagrams. We can defne a degree functon on KL dagrams. The degrees are gven on elementary dagrams by deg = α,α deg = α,α deg = α,α deg = α,α deg =,α d deg =,α d deg =,α d deg =,α d. For a general dagram, we sum together the degrees of the elementary dagrams t s constructed from. Ths defnes a gradng on the 2-morphsm spaces ofũ The 2-categoryU. Once and for all, fx a matrx of polynomals Q (u, v)= k,m Q (k,m) u k v m valued n and ndexed by Γ; by conventon Q = 0. We assume Q (u, v) s homogeneous of degree α,α = 2d c = 2d c when u s gven degree 2d and v degree 2d. We wll always assume that the leadng order of Q n u s c, and that Q (u, v)=q (v, u). We let t = Q ( c,0) = Q (1, 0); by conventon t = 1. In [CL15], the coeffcents of ths polynomal are denoted Q (u, v)=t u c + t v c + s pq up v q. pd +qd =d c Khovanov and Lauda s orgnal category uses the choce Q = u c + v c. To smplfy, we ll always set the parameter r from [CL15] to be r = 1. 8

9 Ben Webster Defnton 2.4 LetU be the quotent ofũ by the followng relatons on 2-morphsms: the cups and caps are the unts and counts of a baduncton. The morphsm y s cyclc. The cyclcty for crossngs can be derved from the ptchfork relaton: (2.2a) t = t = (2.2b) = =. The mrror mages of these relatons through a vertcal axs also hold. Recall that a bubble s a morphsm gven by a closed crcle, endowed wth some number of dots. Any bubble of negatve degree s zero, any bubble of degree 0 s equal to 1. Labelng all strands wth, we have that: (2.3a) 1 =0 1 = 1 = 0 >0 (2.3b) We must add formal symbols called fake bubbles whch are bubbles labelled wth a negatve number of dots (these are explaned n [KL10, 3.1.1]); gven these, we have the nverson formula for bubbles: + +1 k= 1 k 1 = 2 k = 0 > 2 2 relatons connectng the crossng wth cups and caps, shown n (2.4a-2.4d). Snce these only nvolve one label, we wll leave t out of the dagrams below. (2.4a) = a+b= 1 b a (2.4b) = a+b= 1 b a (2.4c) = + a+b+c= 2 c a b 9

10 Knot nvarants and hgher representaton theory (2.4d) = + a+b+c= 2 c a b Oppostely orented crossngs of dfferently colored strands smply cancel wth a scalar. (2.5a) = t (2.5b) = t the endomorphsms of words only usng F (or by dualty only E s) satsfy the relatons of the quver Hecke algebra R. (2.6a) = unless = (2.6b) = unless = (2.6c) = + 10

11 Ben Webster (2.6d) = + (2.6e) = 0 and = Q (y 1, y 2 ) (2.6f) = unless =k k k (2.6g) = + Q (y 3, y 2 ) Q (y 1, y 2 ) y 3 y 1 Ths completes the defnton of the categoryu. There are 2-categorcal analogues of the postve and negatve Borels as well. Defnton 2.5 LetŨ be the 2-subcategory ofũ formed by sequences and dagrams where only downward ponted strands are allowed. We letu be the quotent ofũ by the relatons (2.6a 2.6g) on 2-morphsms. We letu + denote the analogous 2-category where only upward pontng strands are allowed. Note that the relatons (2.6a 2.6g) n ths 2-category are nsenstve to the labelng of regons (that s, to L and R). Thus, we can capture all the structure ofu n an algebra. Defnton 2.6 The algebra R=End U ( F ) where we let range over all sequences n+γ wth L fxed s called the KLR algebra or quver Hecke algebra (QHA), whch s dscussed n [Roua, 4] and an earler paper of Khovanov and Lauda [KL09]. We can realze the same algebra (n a slghtly dfferent presentaton) as R=End U +( E ) A spannng set. For the 2-categoryU, there s an expected sze of the category predcted by Khovanov and Lauda, both n terms of ts Grothendeck group, and the graded dmenson of Hom spaces between obects. However, n [KL10] ths s only proven for g = sl(n). In partcular, they gve a spannng set B n [KL10, 3.2.3] for the set of 2-morphsms between fxed 1-morphsms, whch we wll show s a bass. For KL pars G and H, any KL dagram wth bottom G and top H nduces a matchng between the unon of the sequences for G and H, by connectng the opposte end of each strand. The set B s ndexed by the set of matchngs that occur ths way: they must connect entres wth opposte sgns wthn G or H, and lke sgns when connectng an entry n G to one n H. For each such matchngϕ, we choose (arbtrarly) a dagram m ϕ whch realzes ths matchng, and whch has no dots and a mnmal number of crossngs. We also choose (arbtrarly) a preferred locaton on each strand of m ϕ. Defnton 2.7 We let B G,H denote the set of dagrams obtaned from m ϕ, rangng over matchngsϕ, by 11

12 Knot nvarants and hgher representaton theory addng any number of dots at the locaton we have fxed on each arc multplyng on the left by a monomal n postve degree, clockwse orented bubbles Bubble sldes. Snce these calculatons are not done n Cauts and Lauda [CL15], let us record the form of the bubble slde relatons when the bubble and the strand crossng t have dfferent labels. Fxng, we have that the polynomal t 1 u c Q (u 1, v)= t 1 Q ( c k,m) u k v m 1+u [u, v]+v [u, v] has an nverse n [[u, v]] whch s gven by (t 1 u c Q (u 1, v)) 1 unque collecton S (p,q) such that subect to the condton that S (c p,q) t 1 Q (k p,m q) (k,m) S (p,q) = = 0 whenever p<0 or q<0. 1 (k, m)=(0, 0) 0 (k, m) (0, 0) Proposton 2.8 In the categoryu, the followng relatons and ther mrror mages hold: = S (c p,q) u p v q. More explctly, there s a (2.7) = t 1 Q (k,m) k,m m b b+k (2.8) = p,q S (p,q) q b b+p Proof. The equatons are equvalent by the defnton of S (p,q). Thus, we only need to prove (2.7). Thus follows from = t 1 b = k,m t 1 Q (k,m) m. b b+k 3. Cyclotomc quotents 3.1. A frst approach to the categorfcaton of smples. When one presents a category by generators and relatons, t can be dffcult to confrm that these relatons have not klled more elements then expected, or that the category s not 0. The usual technque for dong ths s fnd a representaton of the 2-category where t s easy to confrm that thngs are non-zero. ForU, ths representaton wll be a natural categorfcaton of the smple representaton V Z. We defne ths by mtatng the constructon of V Z as a quotent of a Verma module. Defnton 3.1 Let DR µ be the algebra End U ( F ) where (,) ranges over all KL pars wth L= and R=µ. Unlke n Defnton 2.6, we allow entres both fromγand Γ. Let DR µ be the quotent of DR µ by the two-sded deal I µ generated by the dentty one f 1 +Γ (that s, the left-most strand s upward orented) and the horzontal composton a bof any map a wth a postve degree bubble b. 12

13 Ben Webster We let DR µ DR µ. We let DV µ denote the category of fntely generated rght modules over DR µ. We can wrte these relatons graphcally as: (3.9a) = 0 (3.9b) a = 0 a (3.9c) = 0 where (3.9c) actually follows from (3.9a 3.9b) by (2.4b): 1 (3.10)...= Note that fs not domnant, the algebra DR s 0, snce f < 0, the dentty functor can be wrtten as an honest clockwse bubble wth label and 1 dots, whch s 0 by (3.9a). We have an obvous functor (u)=hom( F, u)/i µ from the category of 1-morphsms µnu to DV µ. Now, we wsh to defne an acton ofu on the categores DV µ wthfxed. That s, a 2-functor sendng the weghtµto the category DV µ, and each 1-morphsmµ νto a DR µ - DR ν -bmodule. There s only one way to do ths whch s compatble wth. In the nterest of explctness, we wll defne ths acton as tensor product wth certan bmodules. We let δ u = Hom( F, u F ) for u a 1-morphsm µ νnu. We let δ u δ u /(I ν δ u + δ u I µ ). Pctorally, we can vsualze elements of ths bmodule as below. DR µ-acton u:µ ν (3.11) DR ν -acton The 2-morphsms ofu act on the bmoduleδ u by attachng at the top rght of the dagram (3.11). Ths s well-defned snce the deals I are closed under horzontal composton b a b. Proposton 3.2 There s a representaton of the 2-categoryU whch sendsµ DV µ such that u DR δ u, wth the nduced acton of 2-morphsms. 13

14 Knot nvarants and hgher representaton theory Proof. We have already defned the functors assocated to 1-morphsms and the acton of 2-morphsms, so we need only check that the relatons (2.2a-2.6g) hold. Ths follows mmedately from the localty of the relatons, snce t makes no dfference f we apply them before or after attachng at the top of the dagram. Unfortunately, t s not mmedately clear that DR µ 0. From a certan perspectve, the man result of ths secton s the fact that ths rng contans a non-zero element f theµ weght space ofs non-trval. We ll resolve ths ssue by showng that ths rng s Morta equvalent to a more famlar rng, the cyclotomc quotent of R. Defnton 3.3 The cyclotomc quver Hecke algebra (QHA) or cyclotomc KLR algebra R for a weghts the quotent of R by the cyclotomc deal, the 2-sded deal generated by the elements y 1 e() for all sequences 1. Ths s precsely the two-sded deal generated by the relatons (3.9c). We letv denote the category of fnte dmensonal graded R -modules. Ths algebra has attracted great nterest recently n the work of Brundan-Kleshchev [BK09], Kleshchev-Ram [KR11], Hoffnung-Lauda and Lauda-Vazran [LV11, HL10], Hll-Melvn-Mondragon [HMM12] and Tngley and the author [TW]. It has a very rch structure and representaton theory, and some surprsng connectons to classcal representaton theory. Note that we have a natural map p : R DR thnkng of a dagram n R as one n DR, and then applyng the quotent map. The relaton (3.9c) shows that the map p factors through a map p: R DR. We wll eventually show that ths map nduces a Morta equvalence. Unfortunately, t s not easy to attack the queston of whether ths map s a Morta equvalence drectly. Luckly, we can deduce ths result forsl 2 by work of Lauda [Lau10]. Snce a Kac-Moody algebra s essentally a bunch ofsl 2 s wth ther nteractons descrbed by a Borel, we can hope that ths case can lead us to the more general case. Let us frst gve a rough sketch of the argument: Frst, we construct an ntermedary Morta equvalence between R and a rng smlar to DR where one only allows upward strands labeled wth one of the elements ofγ. We can use ths Morta equvalence to show that the restrcton and nducton functors (defned below) E andf defne an acton ofu sl2 ; n partcular, these functors are badont. We then need only check one extra relaton to confrm that we have a categorcal acton ofu on the modules over the cyclotomc quotent; ths acton can be used to confrm the Morta equvalence of R and DR, and to show non-degeneracy foru Categorfcatons for mnmal parabolcs The parabolc categorfcaton. Fx Γ for the remander of ths secton. Defnton 3.4 We letũ be the 2-subcategory ofũ where we allow downward pontng strands wth all labels and upward pontng strands only wth the label. We letu denote the quotent ofũ where we mpose those relatons (2.2a-2.6g) whch stll make sense n ths 2-category. In Rouquer s language, we would construct ths category by adonng E tou as a formal left adont to F, and mpose the relatons that the mapρ s, s an somorphsm whose nverse s descrbed by the equatons (2.4c 2.4d) (n the style of Rouquer, one would not mpose ths equaton, but smply adon an nverse toρ s, ). the rght aduncton betweenf and E s determned by the equatons (2.4a 2.4b). It seems very lkely that usng an argument n the style of [Bru] would show that ths defnes an equvalent category, but we have not confrmed the detals of ths. There are functorsu U U, nether of whch s manfestly fathful, snce new relatons could appear when the other obects are added. We note that the 2-morphsms n ths category have a spannng set defned as n Defnton 2.7: Defnton 3.5 Let B,G,H be the subset of B G,H gven by KL dagrams whch make sense nu, that s those where any cups, caps or bubbles are labeled wth. Ths category corresponds to the parabolcp b g α. 14

15 Ben Webster The quver flag category. Lauda defnes an acton of hs categorfcaton ofsl 2 on a flag category, whch gves an algebrac encapsulaton of the geometry of Grassmannans. There s an approprate generalzaton of Grassmannans for g of hgher rank wth symmetrc Cartan matrx. These are the quver varetes of the graph Γ. Unfortunately, these are analogues of cotangent bundles of Grassmannans, not the Grassmannans themselves, and are typcally not cotangent bundles. Ths makes the geometry requred for defnng a geometrc acton of U consderably more complex. The author has mplemented one verson of such an acton usng deformaton quantzaton n [Weba] and an acton has been defned on coherent sheaves on quver varetes n [CKL13]. However, nether of these constructons are sutable for algebras wthout symmetrc Cartan matrces. A standard trck to get around ths ssue s to work one vertex at a tme. One fxes a vertex, assumes that t s a source, and replaces the Grassmannan wth the space of quver representatons where the sum of all maps out of s nectve. For example, ths approach s used by Zheng [Zhe] n hs constructon of a weak categorcal acton on certan categores of sheaves attached to quver varetes. Inspred by ths approach, we wll develop an algebrac replacement for these quver varetes whch works even n non-symmetrc types. Let us gve a bref remnder on Lauda s acton on the equvarant cohomology of Grassmannans from [Lau11]. Over any feld, we have an somorphsm H q m := H GL q (Gr(m, q)) [x 1,...,x m, y 1,...,y q m ], where x g = c g (T) and y g = c g (C q /T), the Chern classes of the two tautologcal bundles. By conventon, x 0 = y 0 = 1. From these, we can construct another very mportant sequence of classes. Let (3.12) w g := c g (C q )= g x k y g k, where the latter equalty follows from the Whtney sum formula; these are the mage of the Chern classes n H GLq ( ) under the pullback map. Note, n partcular, that w N = 0 for N> q. We can also wrte (3.12) as an equalty of generatng seres w(u)=x(u)y(u) where w(u)= =0 w u and smlarly for x(u) and y(u). Note that n Lauda s constructon, the clockwse bubbles correspond to the coeffcents of the quotent x( u)/y( u) and the counter-clockwse to y( u)/x( u) by [Lau11, (3.18)] (keep n mnd that our conventons dffer from Lauda s by a reflecton through the y-axs). The rng [w 1,...,w q ] functons as a base rng for Lauda s constructon, snce all bmodules and and bmodule maps he consders arse from pullback and pushforward n equvarant cohomology. Ths s also easly seen from the algebrac formulas he gves. In partcular, for any commutatve rng B and rng homomorphsm [w 1,...,w q ] B, we can base change Lauda s acton by tensorng all bmodules n the constructon wth B. For example, the acton on the usual cohomology of Grassmannans gven n [Lau10] s the base change va the quotent map [w 1,...,w q ]. The constructon wth Grassmannans we ve dscussed gves a categorfcaton of the representaton V q = Sym q (C 2 ) ofsl 2. We can endow ths vector space wth a module structure over the whole Levsl 2 +h forp by extendng the hghest weght to an ntegral weghtsuch that q=. For a fxed weghtwth 0, there s essentally a unversal categorcal representaton ofu whch satsfes a few basc propertes. As usual, we let Λ(p) be the algebra of symmetrc polynomals on an alphabet p, and let e (p), h (p) denote the elementary and complete symmetrc polynomals of degree. We want to fnd a module overu such that: (1) The category attached to a weghtµ= Γ m α s the category of representatons of an algebraλ µ, wthλ. Ifµ thenλ µ = 0. (2) If one only uses F for, then the representaton concdes wth the polynomal representaton ofu. That s, n the specal caseν= m α, we have thatλ ν Λ(p ) where p s the alphabet{p,1,...,p,m }, and F (Λ ) s a copy of the polynomal rng [{p,k }] wth acton gven by the usual polynomal acton of [Roua, Prop. 3.12] or [KL11] (also shown n equatons (3.20)). (3) On the strng{ν,ν α,ν 2α,...} then the algebrasλ ν m α arse as the base change of Hm ν by a map γ ν : H ν [w 0 1,...,w ν ] Λ ν. We can determne the mapγ ν usng bubble sldes. Agan, consder a weght of the formν= m α. In ths case, we have that x(u)=1, so ( 1) k w k = ( 1) k y k corresponds to the clockwse bubble labeled of degree k as calculated n [Lau11, 4.2]. Thus, we can calculate how w k should act nλ ν usng the bubble slde (2.7), reflected through a horzontal axs. 15 k=0

16 Knot nvarants and hgher representaton theory Fx a sequence ( 1,..., m ) where Γ appears m many tmes. We wll use (k) as shorthand for the clockwse bubble of degree k labeled wth. We re nterested n how ths bubble wll act n the rghtmost regon wth labelν. We ntroduce a power seres Θ p (u)=( 1) k d ( p+1,..., m) (k) d ( 1,..., p) u k gven by the acton of these bubbles when placed between the pth and p+1st strand. The bubble sldes allow us to compute these power seres nductvely. By assumptonθ 0 (u)=1, and the bubble slde (2.7) can be restated as the formula Θ p (u)=θ p 1 (u)t 1 p ( u) c p Q p(y k, u 1 ). Thus, we have that (3.13) γ ν (w(u))=θ m (u)= t 1 ( u) c Q (p,k, u 1 ). m k=1 Snce w has the same acton on the left and rght of all bmodules n Lauda s constructon, ths formula holds for all weghts of the formµ=ν m α as well. Thus, we can rephrase ponts (1-3) above as: Defnton 3.6 The rngλ µ s the base extenson of [x 1,...,x m, y 1,...,y µ +m ] va the mapγ ν. That s, f we let γ µ : [x 1,...,x m, y 1,...,y µ +m ] Λ µ denote the nduced maps, then ths rng s generated over Λ(p,1,...,p,m ) by the elementsγ µ (x k ) for k=1,...,m andγ µ (y k ) for k=1,...,µ + m, subect only to the relaton (3.14) γ µ (x(u))γ µ (y(u))= t 1 ( u) c Q (p,k, u 1 ). s: m k=1 We call the categoryλ µ -mod the quver flag category. We dentfy the magesγ µ (x ) wth the elementary symmetrc polynomals n an alphabet p,1,...,p,m. That m m γ µ (x(u))= e m (p )= (1+p,k u), where p denotes the alphabet of varables p,. We can thus wrteλ µ as a quotent of the rng Λ µ Λ(p,1,...,p,m ) m=1 Γ of polynomals, symmetrc n each of a unon of alphabets, one for each node ofγ, wth sze gven by m. In vew of (3.14), we can dentfyγ µ (y(u)) wth the power seres n Λ µ gven by m Ξ µ (p, u) := h k (p )( u) k t 1 ( u) c Q (p,k, u 1 ). k=0 Note that f each element of p s gven degree 2d, and u gven degree 2d, thenξ µ s homogeneous of degree 0; ths s clear for the frst term n the product, and follows from the fact that Q (p,k, u 1 ) s homogeneous of degree 2d c by assumpton. We let f (u){u g } denote the u g coeffcent of a polynomal or power seres. Lemma 3.7 The map sendng e k (p ) γ µ (x k ) Ξ µ {u g } γ µ (y g ) nduces an somorphsm from the quotent of Λ µ by the relatons: (3.15) Ξ µ {u g }=0 for all g>µ + m µ. toλ µ. Proof. LetΛ be the quotent of Λ µ by the relatons (3.15). Frst, we note that we have a mapλ Λ µ. The equaltyγ µ (y(u))=γ µ (w(u))/γ µ (x(u))=ξ µ (p, u) mples that the relatons (3.15) hold as the correspondng coeffcents of y(u) vansh as well. 16 k=1 k=1

17 Ben Webster The rngλ µ has rank ( µ +2m m ) as a module over Λ(p,1,...,p,m ). On the other hand, the coeffcents Ξ µ {u g } have the form h g (p )+ where the remanng terms have lower order n p. Thus,Λ s spanned over Λ(p,1,...,p,m ) by any spannng set nλ(p )/(h g (p ) g>µ +m µ ) whch s somorphc to H (Gr(m,µ +2m )). Therefore, the rank ofλ s ( µ +2m m ), whch s only possble f the map s an somorphsm The acton. We wsh to defne a 2-functorG fromu to the 2-category of -lnear categores whch on the level of 0-morphsms sendsµ Λ µ -mod. On 1-morphsms, we need only say where we send the 1-morphsms E and F for all Γ. The functors F for act by tensorng wth theλ µ -Λ µ α bmoduleλ µ [p,m +1]. The left-module structure overλ µ s the obvous one, and rght-module overλ µ α s a slght tweak of ths: e k (p ) acts by e k (p, p,m +1), e k (p m) by e k (p m ) for m. The functorf acts by an analogue of the acton n Lauda s paper [Lau11]; tensor product wth a natural Λ µ -Λ µ α -bmoduleλ µ; whch s a quotent ofλ µ [p,m +1] by the relaton (3.16) ( p,m +1u) c Ξ µ {u g }=0 for all g>µ + m 1 c=0 wth the same left and rght actons as above. Smlarly, the functore acts by tensor product wth Λ µ+α ;, the bmodule defned above wth the actons above reversed. Ths can also be presented as a quotent ofλ µ [p,m ] by the relaton ( 1+p,m +1u ) Ξ µ {u g }=0 for all g>µ + m. Now, we must specfy the acton of 2-morphsms. All the morphsms only nvolvng only the label are nherted from the correspondng constructon for sl 2, gven by Lauda n [Lau11]. Let s be a 1-morphsm nu sl2 and letη (s) be the bmodule over equvarant cohomology rngs of Grassmannans assocated to s under the representatonγ G p defned n [Lau11, 4.1]; recall that we have an auto-functor ω:u Udefned n [KL10, 3.3.2] whch swaps E and F. Note, we must use ths functor because Lauda s constructon uses a lowest weght representaton, rather than a hghest weght; that s, he assocates the Grassmannan of 0 planes nc N to the N weght space of a representaton, by [Lau11, (4.1)]. 4 Lemma 3.8 The base change by the mapγ µ sends the bmoduleη ( ωs) to the bmoduleg (s). Proof. Ths follows from the defnton fore andf ; snce these bmodules are flps of each other, we need only check t thatη (E ) s sent toη(f ). Usng the notaton of [Lau11], the bmoduleη (E ) s ust the polynomal rng [w 1,...,w m,ξ, z 1,...,z p m 1] and we can defne a map of ths toλ µ; by sendng w k e k (p ) ξ p,m +1 z l Ξ µ α (u){u l }. Indeed, the left and rght actons match those gven by Lauda n [Lau11, 3.1]; for the left acton, ths follows from x k w k e k (p ) y l z l +ξ z l 1 =Ξ µ (u){u l } where the last equalty holds snce (1+up,m +1)Ξ µ α (u)=ξ µ (u). For the rght acton, we have that x k w k +ξw k 1 e k (p, p,m +1) y l z l Ξ µ α (u){u l }, as desred. The same result holds for tensor products of these bmodules, snce they are free both as left and as rght modules, that s, they are sweet. Thus, tensor products and base change commute, and we are done. Thus, we can defne all 2-morphsms betweenf s and E s by smply base changng the same 2-morphsms from [Lau11, 4.1]. That s, n our notaton, we have that the transformatons y acts by (3.17) y: F F ( f f p,m +1) y: E E ( f f p,m ) 4 Of course, there are other dfferences between our conventons and Lauda s, but these cancel. In ths paper, we read dagrams from left to rght, rather than rght to left, but because we use left modules, we have the same conventons for orderng bmodules as Lauda. 17

18 Knot nvarants and hgher representaton theory the transformatonψ: F 2 F 2 acts by multplcaton by the usual Demazure operator n the last two varables: f s f (3.18) f p,m +2 p,m +1 where s s the transformaton swtchng p,m +1 and p,m +2. the adunctons are gven by: (3.19a) ι= µ+α µ ( µ +m ) 1 ( 1) Ξ µ (u){u } p µ +m,m =0 (3.19b) ι = µ α µ ( m 1 ( 1) p m e,m +1 (p ) ) =0 µ (3.19c) ǫ = ( p a,m p b,m h a+b m +1(p ) ) µ+α µ (3.19d) ǫ= µ α ( p a,m +1 pb,m +1 ( 1)a+b+1 m µ Ξ 1 µ (u){ua+b+1 m µ } ) Above, we use that by our assumptons on Q, the power seresξ(u) has a non-zero constant term, and thus has a formal nverse nλ(p)[[t]], whch we denoteξ 1 (u). By the usual Cauchy formula, we have m t u Ξ 1 (u)= e k (p )u c k Q (p,k, u 1 ). k=0 Now we turn to the queston of descrbng the acton of 2-morphsms nvolvng labels other than. Choose an orentaton onγso that s a source; ths s necessary n order to pn down conventons for the acton of the KLR algebra n ts polynomal representaton, as we see n (3.20) below. We can dentfy F F k wth tensor product wthλ µ;k Λµ αk Λ µ αk ;, and defne the transformatonψ: F F k F k F as n [Roua, Proposton 3.12] or [KL11] va the formulae f s f =k p,m +2 p,m +1 (3.20) ψ( f )= Q k (p,m +1, p k,mk +1) f k f k Fnally, we use (2.2a) as the defnton of a crossng of a downward colored strand and an upward colored one. Note that t s not obvous that these formulae are well defned n all cases; we wll check ths n the course of the proof. k=0 Theorem 3.9 The formulas of ( ) defne a strct 2-functorG fromu categores whch sendsµ Λ µ -mod. to the 2-category of -lnear Proof. Frst, we must check the maps we have gven above make sense, and then we must confrm that they satsfy the correct relatons. For dagrams only nvolvng the label, ths follows mmedately from base change by [Lau11, Theorem 4.13]. On the other hand, for dagrams not nvolvng s, the varables p,m +1 and p k,mk +1 act freely. Thus, the formulae of (3.20) gve well-defned maps. The relatons (2.6a 2.6g) follow snce these operators match a known representaton of the KLR algebra (gven, for example, n [Roua, Proposton 3.12]). 18

19 Ben Webster Thus, the only ssue s the nteracton between these 2 classes of functors. In partcular, t remans to show the maps correspondng to elements of R(ν) are well defned (the relatons between them then automatcally hold, snce quotentng out by relatons wll not cause two thngs to become unequal). Now, consder the bmodulesλ µ; Λµ α Λ µ α ; andλ µ; Λµ α Λ µ α ;. The functors of tensor product wth these are canoncally somorphc tof F andf F, respectvely (though they are not the same on the nose ), so t suffces to defne the mapψas a map between these bmodules. The latter s ustλ µ; [p,m +1], so the relatons are ust (3.16). The former s a quotent ofλ µ [p,m +1, p,m +1] by (3.21) u c Q (p,m +1, u 1 ) ( p,m +1u) c Ξ µ {u g }=0 for all g>µ + m 1 c. Note that c=0 (3.22) ( u) n 1+p,m +1u = ( u) n pn,m +1 1+p,m +1u + p n,m +1 1+p,m +1u Modulo the relatons (3.15) ofλ µ, we have the equalty = ( u) n + ( u) n+1 p,m +1+ u 1 p n 1,m +1 + p n,m +1 1+p,m +1u u c Q (k,n) p k,m +1 (( u) n + ( u) n+1 p,m +1+ u 1 p n 1,m +1 )Ξ µ{u g }=0 for all g>µ + m 1 c, so replacng every ( u) n n (3.21) wth the equalty from (3.22), we have that u c Q (p,m +1, p,m +1) ( p,m +1u) c Ξ µ {u g }=0 for all g>µ + m 1 c. c=0 Thus, the new relatons ntroduced are exactly Q (p,m +1, p,m +1) tmes those ofλ µ; [p,m +1]. Thus, the defnton ofψgven above ndeed nduces a map as desred. Let us llustrate ths pont n the smplest case, whenµ=. In ths case, we have that Λ =, Λ α = [p ]/(p ) Λ α = [p ] Λ α α = [p, p ]/(p Q (p, p )) The only one of these requrng any apprecable computaton s the last. In ths case, we have the relaton p Q (p, p )=0by takng the u 1 c term of (1 p t+ )u c Q (p, u 1 ). Fnally, we must prove the relatons (2.5a) and (2.5b). Ths s smply a calculaton, gven that we have already defned the morphsms for all the dagrams whch appear. The composton ι 1 ψ 2 ǫ 3 (3.23) F E E F F E E F F E E F pctorally s gven by m+m 1 ǫ 3 ψ 2ι 1 (pa,m p b,m +1 )=ǫ 3 ψ 2 ( 1) k p a,m p b,m +1 pm k 1 e,m k (p ) k=0 m 1 =ǫ 3 ( 1) k p a,m p m k 1 p b,m,m +1 e k(p ) = k=0 a ( 1) k p b,m +1 h a k(p )e k (p ) k=0 = p b,m +1 pa,m 19