arxiv: v5 [math.qa] 10 Mar 2018

Transcription

1 THE sl 3 -WEB ALGEBRA M. MACKAAY, W. PAN AND D. TUBBENHAUER arxv: v5 [math.qa] 10 Mar 2018 ABSTRACT. In ths paper we use Kuperberg ssl 3 -webs and Khovanov ssl 3 -foams to defne a new algebrak S, whch we call thesl 3 -web algebra. It s the sl 3 analogue of Khovanov s arc algebra. We prove that K S s a graded symmetrc Frobenus algebra. Furthermore, we categorfy an nstance of q-skew Howe dualty, whch allows us to prove that K S s Morta equvalent to a certan cyclotomc KLR-algebra of level 3. Ths allows us to determne the splt Grothendeck group K 0 (WS ) Q(q), to show that ts center s somorphc to the cohomology rng of a certan Spaltensten varety, and to prove thatk S s a graded cellular algebra. CONTENTS 1. Introducton 1 2. Basc defntons and background Webs Foams Quantum 2-algebras Thesl 3 -web algebrawc S The center of the web algebra and the cohomology rng of the Spaltensten varety Tableaux and flows Z(G S ) and E(Z(G S )) Web algebras and the cyclotomc KLR algebras Howe dualty The uncategorfed story And ts categorfcaton 54 Appendx: Fltered and graded algebras and modules 71 References INTRODUCTION In ths paper, we defne the sl 3 analogue of Khovanov s arc algebras H n, ntroduced n [32]. We call them web algebras and denote them by K S, where S s a sgn strng (strng of + and sgns). Instead of arc dagrams, whch gve a dagrammatc presentaton of the representaton theory ofu q (sl 2 ), we usesl 3 -webs, ntroduced by Kuperberg [42]. These webs gve a dagrammatc presentaton of the representaton theory of U q (sl 3 ). Instead of sl 2 -cobordsms, whch Bar-Natan The frst author was supported by the FCT - Fundação para a Cênca e a Tecnologa, through project number PTDC/MAT/101503/2008, New Geometry and Topology. The second and the thrd author were supported by the German Research Foundaton (Deutsche Forschungsgemenschaft (DFG)) through the Insttutonal Strategy of the Unversty of Göttngen. 1

2 used [1] to gve hs formulaton of Khovanov s lnk homology, we use Khovanov s [34]sl 3 -foams. We prove the followng man results regardngk S. (1) K S s a graded symmetrc Frobenus algebra (Theorem 3.9). (2) We gve an explct degree preservng algebra somorphsm between the cohomology rng of the Spaltensten varetyx λ µ and the centerz(ks ) ofk S, whereλandµare two weghts determned by S (Theorem 4.8). (3) Let V S = V s 1 V sn, where V + s the bascu q (sl 3 )-representaton and V ts dual. Kuperberg [42] proved that W S, the space of sl 3 -webs whose boundary s determned by S, s somorphc to Inv Uq(sl 3 )(V S ), the space of nvarant tensors n V S. Choose an arbtrary k N and let n = 3k. Let us denote by V (3 k ) the rreducble U q (sl n )-module wth hghest weght3ω k, whereω k s thek-th fundamentalsl n -weght. As the reader wll have notced, we actually use the correspondng gl n -weght (3 k ). Ths s natural from the pont of vew of skew Howe dualty, as we wll explan n the paper. The gl n -weghts of V (3 k ) belong to Λ(n,n) 3, whch s the set of n-part compostons of n whose parts are ntegers between 0 and 3. These weghts, denoted µ S, correspond bjectvely to enhanced sgn sequences of length n, denoted by S as before, and are n bjectve correspondence to the sem-standard Young tableaux wthk rows and 3 columns. Defne the web module W (3 k ) = µ S Λ(n,n) 3 W S, wherew S s defned as before after deletng the entres ofµ S whch are equal to0or3. By q-skew Howe dualty, whch we wll explan at the begnnng of Secton 5, there s an U q (sl n )-acton onw (3 k ) such that V (3 k ) = µ S Λ(n,n) 3 W S as U q (sl n )-modules. In Secton 5 we categorfy ths result. LetR (3 k ) be the cyclotomc level-three Khovanov- Lauda Rouquer algebra (cyclotomc KLR algebra for short) wth hghestgl n -weght (3 k ), and let V (3 k ) = R (3 k )-Mod gr and pv (3 k ) = R (3 k )-pmod gr be ts categores of fnte dmensonal, graded modules and fnte dmensonal, graded, projectve modules respectvely. We defne gradng shfts by M{t} = M t for anym V (3 k ) and t Z. We denote the splt Grothendeck group of p V (3 k ) by K 0 ( p V (3 k )), whch becomes az[q,q 1 ]-module by defnng q t [M] = [M{t}] 2

3 for anym p V (3 k ) and t Z. For the rest of ths paper, we wll always work wth K 0 ( pv (3 k )) Q(q) = K 0 ( pv (3 k )) Z[q,q 1 ] Q(q). Brundan and Kleshchev [7] (see also [31], [45], [68] and [69]) proved that there s a strongsl n -2-representaton on V (3 k ), whch can be restrcted to p V (3 k ) such that K 0 ( pv (3 k )) Q(q) = V(3 k ) as U q (sl n )-modules. We prove (Proposton 5.15) that there exsts a strongsl n -2-representaton on W (3 k ) = µ S Λ(n,n) 3 W S, where W S = K S -Mod gr 1. Ths2-representaton can be restrcted to pw (3 k ) = where µ S Λ(n,n) 3 pw S, pw S = K S -pmod gr. By a general result due to Rouquer [60], whch we recall n Proposton 2.23, we get (1.1) pv (3 k ) = p W (3 k ). (4) In partcular, ths proves that the splt Grothendeck groups of both categores are somorphc (Corollary 5.17). It follows that we have ( pw S) = W S, Q(q) K 0 for anys such thatµ S Λ(n,n) 3. (5) As proved n Corollary 5.17, the equvalence n (1.1) mples thatr (3 k ) and K (3 k ) = µ S Λ(n,n) 3 K S are Morta equvalent (Proposton 5.18),.e. we have (1.2) V (3 k ) = W (3 k ) as strongsl n -2-representatons. (6) In Corollary 5.21, we show that (1.2) and the cellularty of R (3 k ), due to Hu and Mathas [29], mply that K S s a graded cellular algebra for anys. (7) We also show that (1.1) and Brundan and Kleshchev s results n [7] mply that the ndecomposable objects n p W S, wth a sutable normalzaton of ther gradngs, correspond bjectvely to the dual canoncal bass elements ninv(v S ) (Theorem 5.31). 1 The dea for ths2-representaton was suggested by Mkhal Khovanov to M. M. n 2008 and ts basc deas were worked out modulo 2 n the unpublshed preprnt [47]. 3

4 The frst result s easy to prove and smlar to the case for H n. Some of the other results are much harder to prove for K S than ther analogues are for H n (e.g. see Remark 5.24). In order to prove the second and the last result, we ntroduce a new trck,.e. we use a deformaton of K S, calledg S. Ths deformaton s nduced by Gornk s [26] deformaton of Khovanov s orgnal sl 3 -foam relatons. One bg dfference between G S and K S s that the former algebra s fltered whereas the latter s graded. As a matter of fact, K S s the assocated graded algebra of G S. The usefulness ofg S reles on the fact thatg S s semsmple as an algebra,.e. forgettng the fltraton (see Proposton 3.13). Let us explan the connecton to some of the exstng work n the lterature. We frst comment on the relaton of our results wth known results n thesl 2 case. Khovanov [32] ntroduced the arc algebras H n n hs work on the generalzaton of hs celebrated categorfcaton of the Jones lnk polynomal to tangles. As he showed, K 0 (Hn -pmod gr ) = Inv U q(sl 2 ) (V 2n ), where V s the fundamental U q (sl 2 )-module. The Grothendeck classes of the ndecomposable graded H n -modules, wth a sutable normalzaton of ther gradng, correspond bjectvely to the dual canoncal bass elements of the nvarant tensor space. The proof of these facts s completely elementary and does not requre any categorfed skew Howe dualty. Huerfano and Khovanov categorfed the rreducble level-two U q (sl n )-representatons wth hghest weght 2ω k n [30], usng the arc algebras and categorfed skew Howe dualty (wthout callng t that explctly), but wthout explanng the relaton wth the level-two cyclotomc KLR algebras whch had not yet been nvented at that tme. That relaton only appeared n the work by Brundan and Stroppel [11], who studed the representaton theory of the arc algebras n great detal n [9], [10], [11], [12] and [13]. Khovanov showed that the center of the arc algebra H n s somorphc to the cohomology rng of the(n,n)-sprnger varetyx n and Stroppel and Webster showed thath n can be realzed usng the ntersecton cohomology ofx n. The results n ths paper are thesl 3 analogues of some of the results n the papers cted above. There are several results forsl 2 for whch we have not yet found thesl 3 analogues, e.g. we have not defned the quas-heredtary cover ofk S n ths paper. The quas-heredtary cover ofh n s due to Chen and Khovanov [17] and Stroppel [64] and was studed by Brundan and Stroppel n [9],[10] and [11]. Furthermore, n [12] Brundan and Stroppel found a remarkable representaton theoretc relaton between general lnear super groups and certan generalzed arc algebras. Ths s another result for whch we do not have an sl 3 -analogue. Let us now comment on the connecton wth other work on categorfed sl n -representatons and lnk homologes, for n 3. There are essentally three dagrammatc or combnatoral approaches whch gve sl n -lnk homologes (there are other approaches usng representaton theory or algebrac geometry for example, but we wll not consder those n ths ntroducton). (1) There s the approach usng matrx factorzatons due to Khovanov and Rozansky [34], whch was proved to be equvalent to an approach usng foams [32], [40], [49] and [52]. (2) There s Webster s approach usng cyclotomc tensor algebras, whch generalze the cyclotomc KLR-algebras, see [69] and [70]. 4

5 (3) There s an approach usng Chuang-Rouquer complexes over cyclotomc quotents [19] (ts detals have only been worked out and wrtten up completely for n = 2,3 n [44], but see our remarks below for the general case. Note that Chuang and Rouquer dd not prove nvarance under the thrd Redemester move nor dd they dscuss brad closures,.e. knots and lnks n [19]) Only forn = 2 andn = 3 t s known that all three approaches gve somorphc lnk homologes. For n 4 they are conjectured to be somorphc, but only the frst and the thrd approaches are known to gve somorphc lnk homologes. Let us explan ths n a bt more detal. The paper by Lauda, Queffelec and Rose [44] appeared onlne a lttle after our paper became avalable and s completely ndependent. They used a slghtly dfferent type of sl 3 -foams n order to defne ther verson of categorfed level-three skew Howe dualty and used t to relate the frst and thrd aforementoned approach tosl 3 -lnk homologes. Although lnk homologes have attracted a lot of attenton, t seems mportant to us to understand the bgger pcture of the categorfed representaton theory behnd the lnk homologes. In ths paper we do not work out the applcaton to lnk homology, but concentrate on the ndecomposable projectve modules and the center of K S. In Proposton 5.27 we actually prove a conjecture due to Morrson and Neh [56] about the relaton between the bass webs nb S and the ndecomposables n p W S (see Remark 5.28). For related results n ths drecton, see the work by Robert n [57] and [58]. It s not so hard to generalze our results n ths paper to the case for sl n, wth n 2, usng matrx factorzatons nstead of foams. As a matter of fact, ths has been done n the meanwhle by Mackaay and Yonezawa n [48] and [53]. General sl n -foams have not been defned yet (for a partal case, see [49]), so they cannot be used. But the results n [53] wll probably be helpful to defne a fnte set of relatons on sl n -foams and to prove that these relatons are consstent and suffcent. Havng such a defnton of sl n -foams s mportant, just as t s mportant to have generators and relatons for any nterestng algebra. In our opnon, the categorfed skew Howe dualty usng foams would be a proper categorfcaton of Cauts, Kamntzer and Morrson s results on quantum skew Howe dualty n [15]. Furthermore, sl n -foams mght be very helpful n computng the Khovanov-Rozansky lnk homologes effectvely (.e. usng computers). Although Mackaay and Yonezawa dd not work out the detals, t s farly straghtforward to show that ther defntons and results n [53] mply that the equvalence between level-n cyclotomc KLR algebras and sl n -web algebras maps the colored Chuang-Rouquer complex of a brad over a cyclotomc KLR algebra to the correspondng colored Khovanov-Rozansky complex (due to Wu [71] and Yonezawa [72] n the colored case). Ths would mply the above clam that the thrd aforementoned constructon ofsl n -lnk homologes works for alln 2 and that the frst and the thrd constructon gve somorphcsl n -lnk homologes. In Proposton 4.4 n [70], Webster proved that hs and Khovanov ssl 3 -lnk homologes are somorphc, but the proof s qute sophstcated and reles on Mazorchuk and Stroppel s approach to lnk homology usng functors and natural transformatons on certan blocks of category O [55]. Our results n ths paper mght help to gve an elementary and drect somorphsm between Webster s and Khovanov s sl 3 -lnk homologes. In order to do that, one would have to use yet to be defned bmodules over the cyclotomc tensor algebras whch categorfy thesl 3 -webs. 5

6 Forn 4 Webster conjectured hssl n -lnk homology to be somorphc to Khovanov and Rozansky s, but dd not prove t. Followng the same reasonng as for n = 3, such a proof should now be wthn reach. Fnally, let us menton one nterestng open queston w.r.t. sl 3 -web algebras. In [22], Fontane, Kamntzer and Kuperberg studed spders usng an algebro-geometrc approach. For sl 3 these spders are exactly the webs n our paper. Gven a sgn strng S, the Satake fber F(S), denoted F( λ) n [22], s somorphc to the Spaltensten varety Xµ λ mentoned above. Let us pont out the dfference n these notatons that otherwse mght confuse the reader: the λ n [22] s equal to µ n our paper, whch s also equvalent to S. Gven a web w wth boundary correspondng to S, Fontane, Kamntzer and Kuperberg also defned a varety Q(D(w)), called the web varety. One nterestng queston s the followng (asked to us by Kamntzer). Queston 1.1. For any two bass webs u,v B S, does there exst a degree preservng algebra somorphsm H (Q(D(u))) F(S) H (Q(D(v))) = uk v? u,v B S u,v B S Here K S = uk v u,v B S s the decomposton ofk S n Secton 3. The product on s gven by convoluton. u,v B S H (Q(D(u))) F(S) H (Q(D(v))) If the answer to ths queston s affrmatve, then that would be the sl 3 analogue of the aforementoned result for sl 2 due to Stroppel and Webster [65]. Our Theorem 4.8 could be a frst step towards answerng Kamntzer s queston. Ths paper s organzed as follows. (1) In Secton 2, we recall the defntons and some fundamental propertes of webs, foams and categorfed quantum algebras and ther categorcal representatons. The reader who already knows all ths materal well enough can just leaf through t, n order to understand our notatons and conventons. Other readers mght perhaps fnd t helpful as a bref ntroducton to the rapdly growng lterature on categorfcaton, although t s far from self-contaned. (2) In Secton 3, we defne K S and prove the frst of our aforementoned man results. (3) In Secton 4, we frst study the relaton between column strct tableaux and webs wth flows. Usng ths relaton, we prove our second man result. (4) In Secton 5, we explan skew Howe dualty n our context and categorfy the case relevant to ths paper. Ths leads to the other man results. (5) Sectons 4 and 5 are largely ndependent of each other. However, the proof of Theorem 4.8 requres Proposton The proof of Proposton 5.27, whch s a key ngredent for the proof of Theorem 5.31, requres Lemma

7 (6) In Appendx 1, we collect some techncal facts from the lterature on fltered algebras, fltered modules and ther assocated graded counterparts. These are needed at varous places n the paper. Acknowledgements. We thank Jonathan Brundan, Joel Kamntzer, Mkhal Khovanov and Ben Webster for helpful exchanges of emals, some of whch wll hopefully bear frut n future publcatons on ths topc. In partcular, we thank Mkhal Khovanov for spottng a crucal mstake n a prevous verson of ths paper and Ben Webster for suggestng to us to use q-skew Howe dualty n order to relatek S to a cyclotomc KLR-algebra. M.M. thanks the Courant Research Center Hgher Order Structures and the Graduertenkolleg 1493 n Göttngen for sponsorng two research vsts durng ths project. W.P. and D.T. thank the Unversty of the Algarve and the Insttuto Superor Técnco for sponsorng three research vsts durng ths project. 2. BASIC DEFINITIONS AND BACKGROUND 2.1. Webs. In [42], Kuperberg descrbes the representaton theory ofu q (sl 3 ) usng orented trvalent graphs, possbly wth boundary, called webs. Boundares of webs consst of unvalent vertces (the ends of orented edges), whch we wll usually put on a horzontal lne (or varous horzontal lnes), e.g. such a web s shown below. (2.1) We say that a web has n free strands f the number of non-trvalent vertces s exactly n. In ths way, the boundary of a web can be dentfed wth a sgn strng S = (s 1,...,s n ), wth s = ±, such that upward orented boundary edges get a + and downward orented boundary edges a sgn. Webs wthout boundary are called closed webs. Any web can be obtaned from the followng elementary webs by glueng and dsjont unon. (2.2) Fxng a boundarys, we can form theq(q)-vector spacew S, spanned by all webs wth boundary S, modulo the followng set of local relatons (due to Kuperberg [42]). (2.3) (2.4) = [3] = [2] (2.5) = + Recall that denotes the quantum nteger. [a] = qa q a q q 1 = qa 1 +q a 3 + +q (a 1) N[q,q 1 ] 7

8 Remark 2.1. Throughout ths paper we wll use q as the quantum parameter, whch we take to be equal to the parameter v n [35]. Note that n that paper Khovanov and Kuperberg use the dfferent conventonv = q 1. By abuse of notaton, we wll call all elements ofw S webs. From relatons (2.3), (2.4) and (2.5) t follows that any element n W S s a lnear combnaton of webs wth the same boundary and wthout crcles, dgons or squares. These are called non-ellptc webs. As a matter of fact, the non-ellptc webs form a bass of W S, whch we call B S. Therefore, we wll smply call them bass webs. Followng Brundan and Stroppel s [9] notaton for arc dagrams, we wll wrtew to denote the web obtaned by reflectng a gven web w horzontally and reversng all orentatons. (2.6) w w By uv, we mean the planar dagram contanng the dsjont unon of u and v, where u les vertcally abovev. (2.7) u v Byv u, we shall mean the closed web obtaned by gluengv on top ofu, when such a constructon s possble (.e. the number of free strands and orentatons on the strands match). (2.8) v u In the same ven, by v 1 u 1v 2 u 2 we denote the followng web. v 1 (2.9) u 1 v 2 u 2 To make the connecton wth the representaton theory of U q (sl 3 ), we recall that a sgn strng S = (s 1,...,s n ) corresponds to V S = V s 1 V sn, where V + s the fundamental representaton and V ts dual. The latter s also somorphc to V + V +, a fact whch we wll need later on. 8

9 Both V + and V have dmenson three. In ths nterpretaton, webs correspond to ntertwners and we have W S = InvUq(sl 3 )(V S ) = Hom Uq(sl 3 )(C q,v S ). HereC q s the trval representaton. Thus, the elements ofb S gve a bass ofinv Uq(sl 3 )(V S ). Usng the embeddnginv Uq(sl 3 )(V S ) V S, one can expand a non-ellptc web n terms of elementary tensors. In Theorem 2 of [35], Kuperberg and Khovanov prove an mportant result about ths expanson, whch we wll reproduce n Theorem 2.6. Kuperberg showed n [42] (see also [35]) that bass webs are ndexed by closed weght lattce paths n the domnant Weyl chamber of sl 3. It s well-known that any path n the sl 3 -weght lattce can be presented by a par consstng of a sgn strng S = (s 1,...,s n ) and a state strng J = (j 1,...,j n ), wth j { 1,0,1} for all 1 n. Gven a par(s,j) representng a closed domnant path, a unque bass web (up to sotopy) s determned by a set of nductve rules called the growth algorthm. We brefly recall the algorthm as descrbed n [35]. In fact, the algorthm can be appled to any path, but we wll only use t for closed domnant paths. Defnton 2.2. (The growth algorthm) Gven (S,J), a web wj S s recursvely generated by the followng rules. (1) Intally, the web conssts of n parallel strands whose orentatons are gven by the sgn strng. If s = +, then the -th strand s orented upwards; f s =, t s orented downwards. (2) The algorthm bulds the web downwards. Suppose we have already appled the algorthm k 1 tmes. For the k-th step, do the followng. If the bottom boundary strng contans a neghborng par of edges matchng the top of one of the followng webs (called H, arc and Y respectvely), then glue the correspondng H, arc or Y to the relevant bottom boundary edges FIGURE 1. Top strands have dfferent sgns FIGURE 2. Top strands have same sgn. These rules apply for any compatble orentaton of the edges n the webs. Therefore, we have drawn them wthout any specfc orentatons. Below, whenever we wrte down an equaton nvolvng webs wthout orentatons, we mean that the equaton holds for all possble orentatons. For future use, we wll call the rules above the H, arc and Y-rule. The growth algorthm stops f no further rules can be appled. 9

10 If(S,J) represents a closed domnant path, then the growth algorthm produces a bass web. For example, the growth algorthm convertss = ( ) andj = (1,1,0,0, 1,0, 1) nto the followng bass web. (2.10) In addton, the growth algorthm has an nverse, called the mnmal cut path algorthm [35], whch we wll not use n ths paper. Followng Khovanov and Kuperberg n [35], we defne a flow f on a web w to be an orented subgraph that contans exactly two of the three edges ncdent to each trvalent vertex. The connected components of the flow are called the flow lnes. The orentaton of the flow lnes need not agree wth the orentaton of w. Note that f w s closed, then each flow lne s a closed cycle. At the boundary, the flow lnes can be represented by a state strng J. By conventon, at the -th boundary edge, we set j = +1 f the flow lne s orented upward, j = 1 f the flow lne s orented downward and j = 0 there s no flow lne. The same conventon determnes a state for each edge ofw. Remark 2.3. Every flow determnes a unque 3-colorng ofw, wth colours 1,0,1, satsfyng the property that, for any trvalent vertex of w, the colors of the three ncdent edges are all dstnct. These colorngs are called admssble n [26]. Conversely, any such 3-colorng determnes a unque flow on w. Ths correspondence determnes a bjecton between flows and admssble 3-colorngs on w. Ths remark wll be mportant n Secton 5.2 and n Secton 5.3. We wll also say that any flow f that s compatble wth a gven state strng J on the boundary ofw extends J. Gven a web wth a flow, denoted w f, Khovanov and Kuperberg [35] attrbute a weght to each trvalent vertex and each arc n w f, as n Fgures 2.11 and The total weght of w f s by defnton the sum of the weghts at all trvalent vertces and arcs. (2.11) wt=0 wt=0 wt=0 wt=-1 wt=-1 wt=-1 (2.12) wt=0 wt=0 wt=0 wt=1 wt=1 wt=1 wt=0 wt=-1 wt=-2 wt=0 wt=1 wt=2 10

11 For example, the followng web has weght 4. (2.13) We can extend the table n (2.11) and (2.12) to calculate weghts determned by flows on H s, so that t becomes easer to compute the weght ofw f whenw s expressed usng the growth algorthm (Defnton 2.2). Defnton 2.4. [35] (Canoncal flows on bass webs) Gven a bass web w expressed usng the growth algorthm. We defne the canoncal flow onw by the followng rules (2.14) wt=0 wt=0 wt=0 wt= wt=0 wt=0 wt=0 The canoncal flow does not depend on the partcular nstance of the growth algorthm that we have chosen to obtanw. Observe that the defnton of the canoncal flows mples the followng lemma. Lemma 2.5. A bass web wth the canoncal flow has weght zero. Khovanov and Kuperberg [35] use a partcular bass forv +, denoted{e + 1,e+ 2,e+ 3 }, and also one forv, denoted {e 1,e 2,e 3}. Gven(S,J), let e S J = es 1 j 1 e sn j n be the elementary tensor correspondng to(s,j). Interpretng the webs nw S as nvarant tensors n V S, we can wrte any web as a lnear combnaton of elementary tensors. For each state strng J, one can consder all flows on a gven bass web w = wj S whch are compatble wth J on the boundary. The coeffcent c(s,j,j ) ofe S J n the lnear combnaton correspondng tow satsfes c(s,j,j ) = f q wt(w f), where the sum s taken over all flows onw whch are compatble wthj on the boundary. Khovanov and Kuperberg prove the followng theorem (Theorem 2 n [35]), whch wll be mportant for us n Secton 5. Theorem 2.6. (Khovanov-Kuperberg) Gven (S,J), we have w S J = es J + J <J c(s,j,j )e S J for some coeffcents c(s,j,j ) N[q,q 1 ], where the state strngs J and J are ordered lexcographcally. 11

12 Remark 2.7. Khovanov and Kuperberg [35] show thatb S s not equal to the dual canoncal bass of W S. Ths follows from the fact thatc(s,j,j ) q 1 N[q 1 ], for generalj < J. In ther Secton 8, they gve explct counter-examples of elements w B S whch admt non-canoncal weght zero flows Foams. In ths subsecton we revew the category Foam 3 of sl 3 -foams ntroduced by Khovanov n [34]. As a matter of fact, we wll also need a deformaton of Khovanov s orgnal category, due to Gornk [26] n the context of matrx factorzatons, and studed n [51] n the context of foams. Therefore, we ntroduce a parameter c C n Foam c 3, just as n [51], such that we get Khovanov s orgnal category for c = 0 and, for any c 0, the category Foam c 3 s somorphc to Gornk s deformaton (hs orgnal deformaton was for c = 1). A bg dfference between these two specalzatons s that Foam c 3 s graded for c = 0 and fltered for any c 0. In fact, for any c 0, the assocated graded category offoam c 3 s somorphc tofoam0 3. We recall the followng defntons as they appear n [51]. We note that the dagrams accompanyng these defntons are taken, also, from [51]. A pre-foam s a cobordsm wth sngular arcs between two webs. A sngular arc n a pre-foam U s the set of ponts of U whch have a neghborhood homeomorphc to the letter Y tmes an nterval. Note that sngular arcs are dsjont. Interpreted as morphsms, we read pre-foams from bottom to top by conventon. Thus, pre-foam composton conssts of placng one pre-foam on top of the other. The orentaton of the sngular arcs s, by conventon, as n the dagrams below (called the zp and the unzp respectvely). We allow pre-foams to have dots that can move freely about the facet on whch they belong, but we do not allow a dot to cross sngular arcs. By a foam, we mean a formal C-lnear combnaton of sotopy classes of pre-foams modulo the deal generated by the set of relatons l = (3D,NC,S,Θ) and the closure relaton, as descrbed below. (3D) = c (NC) = (S) (Θ) = = 0, = 1 α 1, (α, β, δ) = (1, 2, 0) or a cyclc permutaton, β = 1, (α, β, δ) = (2, 1, 0) or a cyclc permutaton, δ 0, else. The closure relaton,.e. anyc-lnear combnaton of foams wth the same boundary, s equal to zero f and only f any way of cappng off these foams wth a common foam yelds a C-lnear combnaton of closed foams whose evaluaton s zero. 12

13 The relatons n l mply the followng denttes (for detaled proofs see [34]). (Bamboo) = (RD) = (Bubble) = 0 (DR) = (SqR) = + + = 0 (Dot Mgraton) + + = 0 = c Defnton 2.8. For any c C, let Foam c 3 be the category whose objects are webs Γ lyng nsde a horzontal strp n R 2, whch s bounded by the lnes y = 0,1 contanng the boundary ponts of Γ. The morphsms of Foam c 3 are C-lnear combnatons of foams lyng nsde the horzontal strp bounded by y = 0,1 tmes the unt nterval. We requre that the vertcal boundary of each foam s a set (possbly empty) of vertcal lnes. Theq-gradng of a foam U s defned as q(u) = χ( U) 2χ(U)+2d+b, where χ denotes the Euler characterstc, d s the number of dots on U and b s the number of vertcal boundary components. Ths makes Foam 0 3 nto a graded category. For any c 0, ths makesfoam c 3 nto a fltered category, whose assocated graded category s somorphc tofoam

14 Defnton 2.9. [34] (Foam Homology) Gven a web w the foam homology of w s the complex vector space, F c (w), spanned by all foams nfoam c 3. U: w The complex vector space F c (w) s fltered/graded by the q-gradng on foams and has rank w Kup, where w Kup s the Kuperberg bracket computed recursvely by the rules below. (1) w = [3] w Kup. Kup (2) Kup = [2] Kup. (3) = + Kup Kup Kup. The relatons above correspond to the decomposton of F c (w) nto drect summands. The dempotents correspondng to these drect summands are the terms on the r.h.s. of the relatons (NC), (DR) and (SqR), respectvely. For any c 0, the complex vector space F c (w) s fltered and ts assocated graded vector space sf 0 (w). See [32] and [51] for detals. Remark Gven u,v B S, the observatons above and Theorem 2.6 show that there exsts a homogeneous bass of F 0 (u v) parametrzed by the flows on u v. We have, n fact, constructed such a bass, but t s not unque. There s also no preferred choce, unless one requres the bass to have other nce propertes, e.g. n the sl 2 case, Brundan and Stroppel prove that there s a cellular bass of H n. The constructon of a good bass of the sl 3 -web algebra K S (and smlarly for Gornk s deformaton G S ) s stll work n progress and wll, hopefully, be the contents of a subsequent paper. Although we do not need such a bass n ths paper, t s mportant that the reader keep ths remark n mnd whle readng Secton Quantum 2-algebras The quantum general and specal lnear algebras. Frst we recall the quantum general and specal lnear algebras. Most parts n ths secton are coped from secton two and three n [50]. Thegl n -weght lattce s somorphc toz n. Letǫ = (0,...,1,...,0) Z n, wth1beng on the -th coordnate, and α = ǫ ǫ +1 = (0,...,1, 1,...,0) Z n, for = 1,...,n 1. Recall that the Eucldean nner product onz n s defned by (ǫ,ǫ j ) = δ,j. Defnton Forn N >1 the quantum general lnear algebrau q (gl n ) s the assocatve untal Q(q)-algebra generated by K and K 1, for 1,...,n, and E ± (beware that some authors use F nstead ofe ), for = 1,...,n 1, subject to the relatons K K j = K j K, K K 1 = K 1 K = 1, E E j E j E = δ,j K K 1 +1 K 1 K +1 q q 1, K E ±j = q ±(ǫ,α j ) E ±j K, E 2 ±E ±j (q +q 1 )E ± E ±j E ± +E ±j E 2 ± = 0, f j = 1, E ± E ±j E ±j E ± = 0, Defnton Forn N >1 the quantum specal lnear algebrau q (sl n ) U q (gl n ) s the untal Q(q)-subalgebra generated by K K 1 +1 and E ±, for = 1,...,n else.

15 Recall that theu q (sl n )-weght lattce s somorphc toz n 1. Suppose thatv s au q (gl n )-weght representaton wth weghtsλ = (λ 1,...,λ n ) Z n,.e. V = λ V λ, and K acts as multplcaton by q λ on V λ. Then V s also a U q (sl n )-weght representaton wth weghtsλ = (λ 1,...,λ n 1 ) Z n 1 such that λ j = λ j λ j+1 forj = 1,...,n 1. Conversely, gven au q (sl n )-weght representaton wth weghtsµ = (µ 1,...,µ n 1 ), there s not a unque choce ofu q (gl n )-acton onv. We can fx ths by choosng the acton ofk 1,,K n. In terms of weghts, ths corresponds to the observaton that, for anyd Z, the equatons (2.15) (2.16) λ λ +1 = µ, n λ = d, =1 determne λ = (λ 1,...,λ n ) unquely, f there exsts a soluton to (2.15) and (2.16) at all. To fx notaton, we defne the map φ n,d : Z n 1 Z n { } by φ n,d (µ) = λ, f (2.15) and (2.16) have a soluton, and we putφ n,d (µ) = otherwse. Note thatu q (gl n ) andu q (sl n ) are both Hopf algebras, whch mples that the tensor product of two of ther representatons s a representaton agan. Moreover, the duals of representatons are representatons and there s a trval representaton. Both U q (gl n ) and U q (sl n ) have plenty of non-weght representatons, but we won t dscuss them n the paper. Therefore we can restrct our attenton to the Belnson-Lusztg-MacPherson [2] dempotent verson of these quantum groups, denoted U q (gl n ) and U q (sl n ) respectvely. It s worth notng that such algebras can be seen as 1-categores. To understand ther defnton, recall that K acts as q λ on the λ-weght space of any weght representaton. For each λ Z n adjon an dempotent1 λ to U q (gl n ) and add the relatons 1 λ 1 µ = δ λ,ν 1 λ, E ± 1 λ = 1 λ±α E ±, K 1 λ = q λ 1 λ. Defnton The dempotented quantum general lnear algebra s defned by U q (gl n ) = λ,µ Z n 1 λ U q (gl n )1 µ. Let I = {1,2,...,n 1}. In the sequel we use sgned sequences = (α 1 1,...,α m m ), for any m N, α j {±1} and j I. The set of sgned sequences we denotesseq. For such an = (α 1 1,...,α n 1 n 1 ) we defne E = E α1 1 E αn 1 n 1 and we defne Λ Z n to be then-tuple such that E 1 µ = 1 µ+λ E. 15

16 Smlarly, foru q (sl n ), adjon an dempotent1 µ for each µ Z n 1 and add the relatons 1 µ 1 ν = δ µ,ν 1 λ, E ± 1 µ = 1 µ±α E ±, wth α = α α +1, K K µ = q µ 1 µ. Defnton The dempotented quantum specal lnear algebra s defned by U q (sl n ) = µ,ν Z n 1 1 µ U q (sl n )1 ν. Note that U q (gl n ) and U q (sl n ) are both non-untal algebras, because ther unts would have to be equal to the nfnte sum of all ther dempotents. Furthermore, the only U q (gl n ) and U q (sl n )-representatons whch factor through U q (gl n ) and U q (sl n ) respectvely are the weght representatons. Fnally, note that there s no embeddng of U q (sl n ) nto U q (gl n ), because there s no embeddng of thesl n -weghts nto thegl n -weghts The q-schur algebra. Let d N and let V be the natural n-dmensonal representaton of U q (gl n ). Defne n Λ(n,d) = {λ N n λ = d} and Λ + (n,d) = {λ Λ(n,d) d λ 1 λ 2 λ n 0}. Recall that the weghts n V d are precsely the elements of Λ(n,d), and that the hghest weghts are the elements of Λ + (n,d). The hghest weghts correspond exactly to the rreducbles V λ that show up n the decomposton ofv d. We can defne theq-schur algebra as follows. Defnton Theq-Schur algebras q (n,d) s the mage of the representatonψ n,d defned by =1 ψ n,d : U q (gl n ) End C (V d ). Forλ Λ + (n,d), theu q (gl n )-acton on V λ factors through the projecton ψ n,d : U q (gl n ) S q (n,d). Ths way we obtan all rreducble representatons of S q (n,d). Note that ths also mples that all representatons ofs q (n,d) have a weght decomposton. As a matter of fact, t s well-known that S q (n,d) = End C (V λ ). λ Λ + (n,d) ThereforeS q (n,d) s a fnte dmensonal, semsmple, untal algebra and ts dmenson s equal to ( ) n dm(v λ ) 2 2 +d 1 =. d λ Λ + (n,d) SnceV d s a weght representaton,ψ n,d gves rse to a homomorphsm U q (gl n ) S q (n,d), for whch we use the same notaton. Ths map s stll surjectve and Doty and Gaqunto, n Theorem 2.4 of [20], showed that the kernel ofψ n,d s equal to the deal generated by all dempotents1 λ such that λ Λ(n,d). Clearly the mage of ψ n,d s somorphc to S q (n,d). By the above observatons, we see that S q (n,d) has a Serre presentaton. As a matter of fact, by Corollary n [18], ths 16

17 presentaton s smpler than that of U q (gl n ),.e. one does not need to mpose the last two Serre relatons, nvolvng cubcal terms, because they are mpled by the other relatons and the fnte dmensonalty. Lemma S q (n,d) s somorphc to the assocatve, untal Q(q)-algebra generated by 1 λ, for λ Λ(n,d), ande ±, for = 1,...,n 1, subject to the relatons (2.17) (2.18) (2.19) (2.20) 1 λ 1 µ = δ λ,µ 1 λ, 1 λ = 1, λ Λ(n,d) E ± 1 λ = 1 λ±α E ±, wth α = ǫ ǫ +1 = (0,...,1, 1,...,0), E E j E j E = δ j [λ ]1 λ. λ Λ(n,d) We use the conventon that1 µ X1 λ = 0, fµorλs not contaned nλ(n,d). Agan[a] denotes the quantum nteger from before. Although there s no embeddng of U q (sl n ) nto U q (gl n ), the projecton ψ n,d : U q (gl n ) S q (n,d) can be restrcted tou q (sl n ) and s stll surjectve. Ths gves rse to the surjecton defned by ψ n,d : U q (sl n ) S q (n,d), (2.21) ψ n,d (E ± 1 λ ) = E ± 1 φn,d (λ), whereφ n,d was defned below equatons (2.15) and (2.16). By conventon we put1 = The general and specal quantum 2-algebras. We note that a lot of ths secton s coped from [50]. The reader can fnd even more detals there. Let U(sl n ) be Khovanov and Lauda s [36] dagrammatc categorfcaton of U q (sl n ). In [50] t was shown that there s a quotent 2-category of U(sl n ), denoted by S(n,n), whch categorfes S q (n,n). We recall the defnton of these categorfed quantum algebras and some notons from above. As before, let I = {1,2,...,n 1}. Agan, we use sgned sequences = (α 1 1,...,α m m ), for anym N, α j {±1} and j I, and the set of sgned sequences s denoted SSeq. For = (α 1 1,...,α m m ) SSeq we defne Λ = α 1 ( 1 ) Λ + +α m ( m ) Λ, where ( j ) Λ = (0,0,...,1, 1,0...,0), such that the vector starts wth j 1 and ends wthk 1 j zeros. We also defne the symmetrc Z-valued blnear form on C[I] by = 2, (+1) = 1 and j = 0, for j > 1. Recall thatλ = λ λ +1. We frst recall the defnton, gven n [50], of the 2-category whch conjecturally categorfes U q (gl n ). It s a straghtforward adaptaton of Khovanov and Lauda s U(sl n ). 17

18 Defnton U(gl n ) s an addtvec-lnear 2-category. The 2-category U(gl n ) conssts of Objects are λ Z n. The hom-category U(gl n )(λ,λ ) between two objects λ, λ s an addtve C-lnear category consstng of the followng. Objects 2 of U(gl n )(λ,λ ),.e. for 1-morphsm n U(gl n ) from λ to λ s a formal fnte drect sum of 1-morphsms E 1 λ {t} = 1 λ E 1 λ {t} = E α1 1 E αm m 1 λ {t} for anyt Z and sgned sequence SSeq such thatλ = λ+ Λ and λ, λ Z n. Morphsms ofu(gl n )(λ,λ ),.e. for 1-morphsmsE 1 λ {t} ande j 1 λ {t } nu(gl n ), the hom setsu(gl n )(E 1 λ {t},e j 1 λ {t }) ofu(gl n )(λ,λ ) are gradedc-vector spaces gven by lnear combnatons of degreet t dagrams, modulo certan relatons, bult from compostes of the followng. () Degree zero dentty 2-morphsms 1 x for each 1-morphsm x n U(gl n ); the dentty 2-morphsms1 E+ 1 λ {t} and1 E 1 λ {t}, for I, are represented graphcally by 1 E+ 1 λ {t} 1 E 1 λ {t} λ+ Λ λ λ Λ λ, deg 0 deg 0 for anyλ+ Λ Z n and anyλ Λ Z n, respectvely. More generally, for a sgned sequence = (α 1 1,α 2 2,...α m m ), the dentty 1 E 1 λ {t} 2-morphsm s represented as 1 2 m λ+ Λ λ, 1 2 m where the strand labeled k s orented up fα k = + and orented down fα k =. We wll often place labels wth no sgn on the sde of a strand and omt the labels at the top and bottom. The sgns can be recovered from the orentatons on the strands. () Recall that s the blnear form from above. For each λ Z n the 2-morphsms Notaton:,λ,λ,j,λ,j,λ 2-morphsm: λ+ Λ λ λ λ+ Λ j λ jλ Degree: j j 2 We refer to objects of the category U(gl n )(λ,λ ) as 1-morphsms of U(gl n ). Lkewse, the morphsms of U(gl n )(λ,λ ) are called 2-morphsms n U(gl n ). 18

19 Notaton:,λ,λ,λ,λ 2-morphsm: λ λ λ λ Degree: 1 λ 1+λ 1+λ 1 λ Badjontness and cyclcty. () 1 λ+λ E + 1 λ and 1 λ E 1 λ+λ are badjont, up to gradng shfts,.e. (2.22) λ+ Λ λ = λ+ Λ λ λ λ+ Λ = λ λ+ Λ (2.23) λ+ Λ λ = λ+ Λ λ λ λ+ Λ = λ λ+ Λ () λ+ Λ λ+ Λ (2.24) λ = λ λ+ Λ = () All 2-morphsms are cyclc wth respect to the above badjont structure. Ths s ensured by the relatons (2.24), and, for arbtrary,j, the relatons λ j j (2.25) λ = λ = j λ. j Note that we can take ether the frst or the last dagram above as the defnton of the up-sde-down crossng. The cyclc condton on 2-morphsms, expressed by (2.24) and (2.25), ensures that dagrams related by sotopy represent the same 2-morphsm n U(gl n ). It wll be convenent to ntroduce degree zero 2-morphsms. j j j (2.26) j λ = λ = λ j 19 j

20 j j (2.27) λ j = λ = j λ, where the second equalty n (2.26) and (2.27) follow from (2.25). (v) All dotted bubbles of negatve degree are zero. That s, j (2.28) (2.29) λ = 0, fm < λ 1, m m λ = 0, fm < λ 1 for all m Z +, where a dot carryng a label m denotes the m-fold terated vertcal composte of dependng on the orentaton. A dotted bubble of degree zero,λ or equals ±1, that s m,λ λ = ( 1) λ +1, forλ 1, λ = ( 1) λ +1 1, forλ 1. (v) For the followng relatons we employ the conventon that all summatons are ncreasng, so that a summaton of the form m f=0 s zero fm < 0. m (2.30) λ λ = λ f f=0 λ 1+f λ and λ = λ λ g=0 λ 1+g λ g (2.31) λ λ = λ λ 1 f=0 f λ g=0 f g λ 1 f λ 1+g and λ λ = λ λ 1 f=0 f λ g=0 f g λ 1 f λ 1+g (2.32) for all λ Z n (see (2.26) and (2.27) for the defnton of sdeways crossngs). Notce that for some values of λ the dotted bubbles appearng above have negatve labels. A composte of wth tself a negatve number of tmes does not make sense.,λ or,λ These dotted bubbles wth negatve labels, called fake bubbles, are formal symbols nductvely defned by the equaton ( )( ) λ t λ t r λ + t λ t r + = 1 λ 1 λ 1+r and the addtonal condton λ = ( 1) λ +1 and 1 1 λ λ 1 λ 1+r = ( 1) λ +1 1, f λ = 0. Although the labels are negatve for fake bubbles, one can check that the overall degree of each fake bubble s stll postve, so that these fake bubbles do not volate the postvty of dotted bubble axom. The above equaton, called the nfnte Grassmannan relaton, remans vald even n hgh degree when most of the bubbles nvolved are not fake bubbles. 20

21 (v) The NlHecke relatons are (2.33) λ = 0, λ = λ (2.34) λ = λ λ = λ λ. We have for j (2.35) (2.36) () We have for j λ = j λ = j ( ( j) λ j and λ = j λ j λ, f j = 0, j ) λ j λ j, f j = 1. Notce that ( j) s just a sgn, whch takes nto account the standard orentaton of the Dynkn dagram. (2.37) j λ = j λ and j λ = j λ. () Unless = k and j = 1, we have (2.38) λ = λ () We have for j = 1 j k j k (2.39) λ λ = ( j) λ. j j j The addtve, lnear composton functor U(gl n )(λ,λ ) U(gl n )(λ,λ ) U(gl n )(λ,λ ) s gven on 1-morphsms ofu(gl n ) by (2.40) E j 1 λ {t } E 1 λ {t} E j 1 λ {t+t } 21

22 for Λ = λ λ, and on 2-morphsms ofu(gl n ) by juxtaposton of dagrams, e.g. λ λ λ λ λ. λ Ths concludes the defnton ofu(gl n ). Note that for two1-morphsmsxandy nu(gl n ) the2-hom-spacehom U(gln )(x,y) only contans 2-morphsms of degree zero and s therefore fnte dmensonal. Followng Khovanov and Lauda we ntroduce the graded 2-hom-space HOM U(gln )(x,y) = t Z Hom U(gln )(x{t},y), whch s nfnte dmensonal. We also defne the 2-category U(gl n ) whch has the same objects and 1-morphsms as U(gl n ), but for two 1-morphsmsxand y the vector space of 2-morphsms s defned by (2.41) U(gl n ) (x,y) = HOM U(gln )(x,y). It should be noted that U(sl n ) s defned just as U(gl n ), but labelng all the regons of the dagrams wth sl n -weghts,.e. elements ofz n 1. Note that one also has to re-normalze the sgns of the left cups and caps, so that the bubble relatons all become dependent on the sl n -weghts. For much more detals, see [50] The q-schur 2-algebra. The categorfcaton of S q (n,n) s now obtaned from U(gl n ) by takng a quotent. Defnton The 2-category S(n,n) s the quotent of U(gl n ) by the deal generated by all 2-morphsms contanng a regon wth a label not n Λ(n,n). We remark that we only put real bubbles, whose nteror has a label outsde Λ(n,n), equal to zero. To see what happens to a fake bubble, one frst has to wrte t n terms of real bubbles wth the opposte orentaton usng the nfnte Grassmannan relaton (2.32). A man result of [50], gven n Theorem 7.11 n that paper, s the followng. Theorem Let S(n,n) denote the Karoub envelope ofs(n,n). TheQ(q)-lnear map determned by s an somorphsm of algebras. γ S : S q (n,n) K 0 ( S(n,n)) Q(q), γ S (E 1 λ ) = [E 1 λ ] Recall also (see Defnton 4.1 n [50]) that there s an essentally surjectve and full addtve 2-functor Ψ n,n : U(sl n ) S(n,n), 22

23 whose precse defnton s not relevant here. Up to sgns related to cups and caps, t s obtaned by mappng any strng dagram to tself and applyngφ n,n to the labels of the regons. By conventon, any dagram wth a regon labeled s taken to be zero. It s mportant to note that K 0 (Ψ n,n) Q(q) : K 0 ( U(sl n )) Q(q) K 0 ( S(n,n)) Q(q) corresponds to the aforementoned surjectve homomorphsm ψ n,n : U q (sl n ) S q (n,n) The cyclotomc KLR-algebras. In ths subsecton, we recall the defnton of the cyclotomc KLR-algebras, due to Khovanov and Lauda [38] and, ndependently, to Rouquer [60]. We also recall two mportant results about them. Fx ν Z 0 [I]. Let Seq(ν) be the set of all sequences = ( 1, 2,, m ), such that k I for each k and ν j = #{k k = j}. Defnton For any, j Seq(ν) and any gl n -weghtλ Z n, let R ν j End U(gln )(E j 1 λ,e 1 λ ) be the subalgebra contanng only dagrams whch are orented downwards. So, only strands orented downwards wth dots and crossngs are allowed. No strands orented upwards, no cups and no caps. The relatons nu(gl n ) nvolvng only downward strands do not depend on λ. Therefore, the defnton above makes sense. In [38], the authors do not label the regons of the dagrams. ThenR ν s defned as R ν = Rj ν. The rng R s defned as,j Seq(ν) R = ν Z 0 [I] As remarked above, the defnton ofr ν does not depend on λ. However, when we use a partcularλ, we wll wrter ν 1 λ. Note that R ν s untal, whereas R has nfntely many dempotents. LetR ν -pmod gr be the category of graded, fntely generated, projectver ν -modules and defne R-pMod gr = R ν -pmod gr. ν Z 0 [I] In Proposton 3.18 n [38], Khovanov and Lauda showed that R-pMod gr categorfes the negatve half of U q (sl n ) and R ν -pmod gr categorfes theν-root space. We can now recall the defnton of the cyclotomc KLR-algebras. The reader can fnd more detals n [38] or [60], for example. Defnton Choose a domnant U q (gl n )-weghtλ Λ(n,n) +. LetRλ ν be the quotent algebra ofr ν 1 λ by the deal generated by all dagrams of the form R ν. λ m λ m 23

24 Recall that λ m = λ m λ m+1, them-th entry of thesl n -weght correspondng toλ. Defne R λ = Rλ. ν ν Z 0 [I] Note that we mod out by relatons nvolvng dots on the last strand, rather than the frst strand as n [38]. Ths s to make the defnton compatble wth the other defntons n our paper. It turns out thatr λ s a fnte dmensonal, untal algebra (Corollary 2.2 n [6]). LetR λ -pmod gr be ts category of fnte dmensonal, graded, projectve modules and R λ -Mod gr ts category of all fnte dmensonal modules. There s a strong sl n -2-representaton on R λ -Mod gr, whch can be restrcted to R λ -pmod gr (Secton 4.4 n [7]). Ths bascally means that the 1-morphsms of U(sl n ) act as endofunctors and the 2-functors as natural transformatons, such that the relatons n U(sl n ) are preserved. For a precse defnton of a strong 2-representaton see [16], whch s almost equal to Rouquer s defnton of a2-representaton n [60]) but satsfes one extra condton. Brundan and Kleshchev [7] proved the followng result, whch was frst conjectured by Khovanov and Lauda (see also [31], [45], [68] and [69]). From now on, we wll always use the notaton V λ = R λ -pmod gr. SnceV λ s a strongsl 2-2-representaton, K 0 (V λ ) s a U q (sl n )-module. Theorem There exsts a degree preservng somorphsm of U q (sl n )-modules γ V : V λ K 0 (V λ) Q(q). HereV λ s the rreducble U q (sl n )-module wth hghest weght λ. In Secton 5.3.4, we wll recall some extra propertes of γ V whch Brundan and Kleshchev showed. Rouquer showed that, n a certan sense, R λ s the unversal categorfcaton of V λ. For a proof of the followng result, see Lemma 5.4, Proposton 5.6 and Corollary 5.7 n [60]. Proposton Let V be any addtve, dempotent complete category, whch allows an ntegrable, graded, categorcal acton by U(sl n ) (for the precse defnton see [60]). Suppose V h s a hghest weght object n V,.e an object that s klled by E +, for all I, and End V (V h ) = C. Suppose also that any object nv s a drect summand of XV h, for some objectx U(sl n ). Then there exsts an equvalence of categorcalu(sl n )-representatons Φ: V λ V. We wll not spell out the precse defnton of Φ n ths paper. Let us just remark that, up to natural somorphsm, Φ s unquely determned by the fact that t sends the hghest weght object to the hghest weght object and ntertwnes thesl n -2-representatons. There are some subtle dfferences between Rouquer s approach to categorfcaton and Khovanov and Lauda s. However, Proposton 2.23 holds n both setups, as already remarked by Webster n Secton 1.4 n [69]. The proof of Proposton 2.23 conssts of Rouquer s remarks n Secton and of the contents of hs proofs of Lemma 5.4 and Proposton 5.6 n [60], whch only rely 24

25 on the assumptons n the statement of our Proposton 2.23 and the fact thate + and E are badjont n U(sl n ), for any I. The precse defnton of the unts and the counts,.e. the cups and the caps, s not relevant for the valdty of the proof. Note that we have ncluded the hypothess End V (V h ) = C n Proposton 2.23, whch s not one of Rouquer s assumptons. There are categorfcatons ofv λ wthout that property. See Conjecture 7.16 n [50] for example. However, n order to get a categorfcaton whch s really equvalent to V λ,.e. wth hom-spaces of the same graded dmenson, one needs to add that assumpton because t holds n the latter category. 3. THE sl 3 -WEB ALGEBRA W S c For the rest of ths secton, let S be a fxed sgn strng of length l(s). We are gong to defne the web algebraw S c. Defnton 3.1. (Web algebra) Foru,v B S, we defne uw c v = Fc (u v){l(s)}, where{l} denotes a gradng shft upwards byl(s) degrees. The web algebrawc S s defned by Wc S = uwv c. u,v B S The multplcaton on W S c s defned by takng uw c v 1 v2 W c w uw c w to be zero, fv 1 v 2, and by the map to be defned n Defnton 3.3, fv 1 = v 2 = v. Remark 3.2. In Proposton 3.6 we prove that the multplcaton foam always has degree n, so the degree shft n the defnton above makes W0 S nto a graded algebra and, for any c 0, t makes Wc S nto a fltered algebra. Defnton 3.3. (Multplcaton of closed webs) The multplcaton s nduced by the multplcaton foam uw c v v W c w u W c w m u,v,w : u vv w Id u mvidw u w, where m v : vv Vert n, wth Vert n beng the web of n parallel orented vertcal lne segments, s defned by the followng nductve algorthm. (1) Express v usng the growth algorthm, label each level of the growth algorthm startng from zero. Then formvv. (2) At thekth level n the growth algorthm, resolve the correspondng par of arc, H or Y-rules n v and v by applyng the foams. (3.1) 25

26 Note that at the last level n the growth algorthm ofv, only pars of arcs are present. Example 3.4. Let w and v be the followng webs. (3.2) w v The multplcaton foamm w,v,v s gven by the followng steps. w w (3.3) v v v v Proposton 3.5. The foamm v n Defnton 3.3 only depends on the sotopy type of v. Proof. We have to show that m v s ndependent of the way v s expressed usng the growth algorthm (Defnton 2.2). LetG 1 andg 2 be two dfferent expressons ofv usng the growth algorthm. We have to compare G 1 and G 2 walkng backwards n the growth algorthm. Note that we only have to worry about two consecutve steps n the same regon of v. Reorderng steps n dstant regons of v corresponds to an sotopy whch smply alters the heght functon on m v. Wth these observatons, the only possble remanng dfference between the last two steps ng 1 andg 2 s the followng. (3.4) If the last two steps ng 1 andg 2 are equal, we have to go further back n the growth algorthm. Besdes two-step dfferences of the same sort as above, we can encounter another one of the followng sort. (3.5) We have to check that the above two-step dfferences ng 1 andg 2 correspond to equvalent foams. In the frst case, the foams n the multplcaton algorthm are gven by FIGURE 3. A possble local dfference between m G1 andm G2. 26

27 In the second case, we get FIGURE 4. The other possble local dfference between m G1 and m G2. The two foams n Fgure 3 are sotopc - one foam can be produced from the other by sldng the red sngular arc over the saddle as llustrated below.. (3.6) = The two foams n Fgure 4 are also sotopc - one foam can be produced from the other by movng the red sngular arc to the rght or to the left as llustrated below. (3.7) = The cases above are the only possble ones, so ther verfcaton provdes the proof. Proposton 3.6. The foamm v has q-gradngl(s). Proof. We proceed by backward nducton on the level of the growth algorthm expressng v. At the fnal level of the growth algorthm, the only possble rule s the arc rule. Resolvng a correspondng par of arcs n v and v results n two new vertcal strands and s obtaned by a saddle pont cobordsm, whch has q-gradng 2. Let n k be the number of vertcal strands and m k v be the foam after resolvng the last k rules n the growth algorthm of v. Suppose that n k s equal to the q-degree of m k v. In the next step of the multplcaton we can have three cases. (1) The resoluton of a par of arc-rules. In ths case we have n k+1 = n k + 2 and m k+1 v s obtaned from m k v by addng a saddle, whch adds 2 to theq-gradng. (2) The resoluton of a par of Y-rules. In ths case we haven k+1 = n k +1 andm k+1 v s obtaned from m k v by addng an unzp, whch adds 1 to theq-gradng. (3) The resoluton of a par of H-rules. In ths case we have n k+1 = n k and m k+1 v s obtaned from m k v by addng a square foam, whch adds 0 to theq-gradng. There s a useful alternatve defnton of W c S, whch we gve below. As a servce to the reader, we state t as a lemma and prove that t really s equvalent to our defnton above. Both defntons have ther advantages and dsadvantages, so t s worthwhle to catalogue both n ths paper. 27

28 Lemma 3.7. For anyc C and anyu,v B S, we have a gradng preservng somorphsm Usng ths somorphsm, the multplcaton corresponds to the composton fv = v, and s zero otherwse. Foam c 3 (u,v) = u W c v. uw c v v W c w u W c w Foam c 3(u,v) Foam c 3(v,w) Foam c 3(u,w), Proof. The somorphsm of the frst clam s sketched n the followng fgure. v v The proof of the second clam follows from analysng what the somorphsm does to the resoluton of a par of arc, Y or H-rules n the multplcaton foam. Ths s done below. v v f 2 f 1 f 1 f 2 f 2 f 1 f 1 f 2 f 2 f f 2 1 f 1 Note that Lemma 3.7 mples that Wc S s assocatve and untal, somethng that s not mmedately clear from Defnton 3.1. For any u B S, the dentty 1 u Foam c 3(u,u) defnes an dempotent. We have 1 = 1 u Wc S. u B S Alternatvely, one can seewc S as a category whose objects are the elements n BS such that the module of morphsms between u B S and v B S s gven by Foam c 3 (u,v). In ths paper we wll mostly seewc S as an algebra, but wll sometmes refer to the category pont of vew. 28

29 In ths paper, we wll studyw S c for two specal values ofc C. Defnton 3.8. Let K S and G S be the complex algebras obtaned from W S c by settng c = 0 and c = 1, respectvely. We call them Khovanov s web algebra and Gornk s web algebra, respectvely, to dstngush them throughout the paper. Note thatg S s a fltered algebra. Its assocated graded algebra sk S. By Lemma 3.7, bothk S andg S are fnte dmensonal, untal, assocatve algebras. They also have smlar decompostons as shown below. K S = uk v, G S = ug v. u,v B S u,v B S We now recall the defnton of complex, graded and fltered Frobenus algebras. Let A be a fnte dmensonal, graded, complex algebra and lethom C (A,C) be the complex vector space of gradng preservng maps. The dual ofas defned by A = n ZHom C (A,C{n}), where {n} denotes an upward degree shft of sze n. Note that A s also a graded module, such that (3.8) (A ) = (A ), for any Z. Then A s called a graded, symmetrc Frobenus algebra of Gorensten parameter l, f there exsts an somorphsm of graded (A,A)-bmodules A = A{ l}. IfAs a complex, fnte dmensonal, fltered algebra, lethom C (A,C) be the complex vector space of fltraton preservng maps. The dual ofas defned by A = n ZHom C (A,C{n}), where {n} denotes an upward suspenson of sze n. Note that A s also a fltered module, such that (3.9) (A ) = (A ), for any Z. Then A s called a fltered, symmetrc Frobenus algebra of Gorensten parameter l, f there exsts an somorphsm of fltered (A,A)-bmodules A = A{ l}. For more nformaton on graded Frobenus algebras, see [67] and the references theren, for example. We do not have a good reference for fltered Frobenus algebras, but t s a straghtforward generalzaton of the graded case. We wll explan some basc results on the character theory of fltered and graded symmetrc Frobenus algebras n Secton 5. Theorem 3.9. For any sgn strng S, the algebra K S s a graded symmetrc Frobenus algebra andg S s a fltered symmetrc Frobenus algebra, both of Gorensten parameter2l(s). 29

30 Proof. Frst, letc = 0. We take, by defnton, the trace form tr: K S C to be zero on u K v, when u v B S. For any v B S, we defne tr: v K v C by closng any foamf v wth1 v, e.g.as pctured below. 1 v f v v v Equvalently, nfoam 0 3(v,v), closngf v by1 v, f v v v 1 v v v gves 1 v f v The fact that the trace form s non-degenerate follows mmedately from the closure relaton n Subsecton 2.2. The fact that tr(gf) = tr(fg) holds follows from sldng f around the closure untl t appears on the other sde ofg, e.g. as shown below. 1 u 1 v g f = 1 v 1 u f g Note that a closed foam can only have non-zero evaluaton f t has degree zero. Therefore, for any u B S and any two homogeneous elements f F 0 (u v) and g F 0 (v u), we havetr(fg) 0 unless deg(f) = deg(g). By the shft l(s) n uk v = F 0 (u v){l(s)} 30