arxiv: v1 [math.qa] 9 May 2016

Transcription

1 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA arxv: v1 [math.qa] 9 May 2016 MIKHAIL KHOVANOV AND JOSHUA SUSSAN Abstract. We descrbe a collecton of graded rngs whch surect onto Webster rngs for sl(2) and whch should be related to certan categores of sngular Soergel bmodules. In the frst non-trval case, we construct a categorcal brad group acton whch categorfes the Burau representaton. Contents 1. Introducton Acknowledgements 3 2. Algebras W(n,k) Conventons The algebra W(n,k) Graphcal presentaton of W(n, k) The algebra W p (n,k) 6 3. Propertes of W(n,1) A representaton of W(n,1) A bass The center A subalgebra Sngular Soergel bmodules Defntons Results The dagrammatc Hecke category Admssble graphs Obects and morphsms Relatons between morphsms A table of strand types A connecton between W(n,1) gmod and Rˆ General case Specal case: W(2,1) W(n,1) as a deformaton The algebra W(n,1) HH (W(n,1)) The deformaton 27 Date: May 9,

2 2 MIKHAIL KHOVANOV AND JOSHUA SUSSAN 8. A brad group acton on Kom(W(n,1) gmod) Algebrac descrpton Graphcal descrpton of W Bmodule homomorphsms Man results Brad group acton on Rˆ References Introducton For a fnte Coxeter system (W, S), Soergel ntroduced a category of specal bmodules R, over polynomals rngs, now known as Soergel bmodules [14]. He parameterzed the ndecomposable obects and showed that R categorfes the Hecke algebra for (W,S). We wll only consder the case when W S n and S s the set of smple transpostons. Ths category has a graphcal descrpton gven n [1]. The category of sngular Soergel bmodules I R J (bmodules over certan nvarant subrngs) s not as well studed. Wllamson [17] parameterzed the ndecomposable obects of I R J. The specal case of I and J {1,...,k 1,k + 1,...,n 1} s of nterest to us because t should categorfy a weght space of a tensor product of standard representatons of quantum sl 2. In a future work we hope to endow ths category wth a p-dg structure and show ts relatonshp to categorfcaton of small quantum groups. Here we suggest a graphcal approach to sngular Soergel bmodule categores. We prove that our dagrammatcs n a further specalzaton does descrbe the category of sngular Soergel bmodules R {2,...,n 1}. In Secton 2 we defne rngs W(n, k) algebracally and graphcally. We expect that the category of graded fntely-generated proectve W(n, k)-modules s equvalent to the category of sngular Soergel bmodules Rˆk R {1,...,k 1,k+1,...,n 1}. In Secton 3 we specalze to the rngs W(n,1) and compute varous features of these rngs. We defne the category of sngular Soergel bmodules n Secton 4 and explctly construct the ndecomposable obects for our specal case k 1. The dagrammatc Hecke category s revewed n Secton 5. In Secton 6 we prove one of our man results. Theorem. The category of fntely generated graded proectve modules W(n, 1) gpmod s equvalent to the category of sngular Soergel bmodules Rˆ1. In Secton 7 we consder an algebra A! n whch appears n representaton theory and symplectc topology. We compute ts Hochschld cohomology and prove the followng result. Theorem. W(n,1) s a deformaton of A! n. More precsely, k[x 1,...,x n ] s a subalgebra of W(n,1) and f m s the deal of k[x 1,...,x n ] of polynomals contanng a non-constant term, then there s an somorphsm of algebras W(n,1)/m A! n.

3 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 3 There s a well-known acton of the brad group on the homotopy category of regular Soergel bmodules [12]. Ths constructon could be extended to a categorfcaton of the HOMFLYPT polynomal [4, 13]. In fact, there s a functor from the category of brad cobordsms nto the homotopy category of regular Soergel bmodules [1]. In Secton 8 we adapt ths categorcal brad group acton to the algebra W(n,1). Our thrd man result s the followng. Theorem. There are endofunctors σ and σ 1 of the homotopy category of graded fntely-generated proectve W(n, 1)-modules, satsfyng the followng somorphsms (1) σ σ 1 Id σ 1 σ, (2) σ σ σ σ f > 1, (3) σ σ +1 σ σ+1 σ σ +1. The functors σ ±1 are gven by tensorng wth complexes of certan W(n, 1)-bmodules. In order to prove the theorem above we construct a functor from the (dagrammatc) category of Soergel bmodules to a dagrammatc tensor categoryb that we ntroduce n Secton 8. The man result of [1] then mples the theorem above. We expect that the theorem extends to algebras W(n,k) for all k Acknowledgements. M.K. was supported by NSF grant DMS J.S. was supported by NSF grant DMS , PSC-CUNY Award , and an Alfred P. Sloan Foundaton CUNY Junor Faculty Award. 2. Algebras W(n, k) 2.1. Conventons. Throughout we fx an nfnte feld k of characterstc not equal to 2. For graded algebras A and B we denote by A gmod the category of graded A-modules and (A, B) gmod the category of graded (A, B)-bmodules. Let A gpmod be the category of fntely generated graded proectve A-modules. Let R n k[x 1,...,x n ]. When the context s clear we wll often denote R n smply by R. We wll wrte E (x 1,...,x n ) for the th elementary symmetrc polynomal n the varables x 1,...,x n. When there s no chance for confuson we wll abbrevate t as E. R n s a graded algebra where each x has degree two. For a graded A-module M we denote the subspace n degree by M. Let M r denote the gradng shft of the module M up by r. Explctly (M r ) M r. Remark 1. Our gradng shft conventon s opposte to the ones used n [14] and [17] but consstent wth the one used n [1] The algebra W(n,k). Let Seq be the set of all sequences ( 1,..., n+k ), where {b,r} for each and r appears n tmes whle b appears k tmes. The symmetrc group S n+k acts on Seq wth the smple transposton s exchangng the entres n postons and +1. Let W(n,k) be the algebra over k generated by y for k 1,...,n+k, ψ for 1,...,n+k 1, and e() where Seq, satsfyng the relatons below. (1) e()e() δ, e(), (2) y e() e()y, (3) ψ k e() e(s k )ψ k,

4 4 MIKHAIL KHOVANOV AND JOSHUA SUSSAN (4) ψ e() 0 f +1 r, (5) ψ ψ l e() ψ l ψ e() f l > 1, (6) (ψ e())(y l e()) (y l e(s ))(ψ e()) f l > 1, (7) y y l y l y, (8) ψ y e() y +1 ψ e() δ, +1, (9) y ψ e() ψ y +1 e() δ, +1, (10) ψ 2 e() (1 δ, +1 )(( 1) δ,r y +( 1) δ +1,r y +1 )e(), (11) (ψ ψ +1 ψ ψ +1 ψ ψ +1 )e() ( δ,bδ +1,rδ +2,b)e(), (12) δ 1,be() 0. Let W(n,k) be the algebrasatsfyngallthe relatonsaboveexcept the last one. We saythat W(n,k) s the cyclotomc quotent of W(n,k). Ths s a Z-graded algebra wth the degrees of generators: deg(y ) 2, deg(e()) 0, 2 f k k+1 b, deg(ψ k e()) 1 f k b and k+1 r, 1 f k r and k+1 b. The space e()w(n,k)e() has the structure of an R n -module. Suppose r occurs n the sequence n postons r 1,...,r n wth r 1 < < r n. For m e()w(n,k)e() defne (1) x l.m y rl m, for l 1,...,n Graphcal presentaton of W(n, k). There s a graphcal presentaton of W(n, k) very smlar to the algebras ntroduced n [5, 11] and [15]. We consder collectons of smooth arcs n the plane connectng n red ponts and k black ponts on one horzontal lne wth n red ponts and k black ponts on another horzontal lne. The arcs are colored n a manner consstent wth ther boundary ponts, and the black arcs are dashed. Arcs are assumed to have no crtcal ponts (n other words no cups or caps). Arcs are allowed to ntersect (as long as they are both not sold red), but no trple ntersectons are allowed. Arcs can carry dots. Two dagrams that are related by an sotopy that does not change the combnatoral types of the dagrams or the relatve poston of crossngs are taken to be equal. The elements of the vector space W(n,k) are formal lnear combnatons of these dagrams modulo the local relatons gven below. We gve W(n, k) the structure of an algebra by concatenatng dagrams vertcally as long as the colors of the endponts match. If they do not, the product of two dagrams s taken to be zero. Dots on strands correspond to generators y l gven earler. Strands whch cross correspond to generators ψ l. The acton x l.m descrbed above should be nterpreted as placng a dot on the l-th red strand of a dagram countng from left to rght (gnorng the black strands). In (2), the rectangles labeled by X and Y represent the generatng dagrams gven n (13). Ths relaton then means that far away generators commute. The equaton (12) s the cyclotomc condton.

5 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 5 (2) X Y X Y (3) (4) (5) (6) 0 (7) (8) - - (9)

6 6 MIKHAIL KHOVANOV AND JOSHUA SUSSAN (10) (11) 0 (12) (13) degree generator Remark 2. There s a surectve map W(n,k) Tn 2k n, where Tn n 2k s the algebra defned by Webster n [16, Defnton 2.2], by settng all dagrams wth a dot on a sold red strand to zero n the graphcal presentaton of W(n,k). We refer to W(n,k) as a redotted Webster algebra for sl 2. Ths mples that the algebra W(n,k) s non-zero for 0 k n. In Secton 3 we prove drectly that W(n,1) s non-trval The algebra W p (n,k). For p 1,...,n 1 we wll defne an algebra W p (n,k) somorphc to a subalgebra of W(n, k) whose ncluson s non-untal. Let Seq p be the set of all sequences ( 1,..., n+k 1 ) where {b,r,r} for each. We assume r appears n 2 tmes whle b appears k tmes and R appears ust once. We also assume that the symbol r appears exactly p 1 tmes before the symbol R appears. The symmetrc group S n+k 1 acts on Seq p wth the smple transposton s exchangng the entres n postons and +1. Let W p (n,k) be the algebra over k generated by y for k 1,...,n+k 1, along wth E 1, E 2, ψ for 1,...,n+k 2, and e() where Seq p, satsfyng the relatons below. Informally, R represents two sold red strands merged nto one. E 1 and E 2 represent the frst and second elementary symmetrc functons n the dots on ths merged strand.

7 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 7 (1) e()e() δ, e(), (2) y e() e()y, (3) y e() 0 f R, (4) E 1 and E 2 are central, (5) ψ k e() e(s k )ψ k, (6) ψ e() 0 f, +1 {r,r}, (7) ψ ψ l e() ψ l ψ e() f l > 1 (8) (ψ e())(y l e()) (y l e(s ))(ψ e()) f l > 1, (9) y y l y l y, (10) ψ y e() y +1 ψ e() δ, +1, (11) y ψ e() ψ y +1 e() δ, +1, (12) 0 f +1 b ( y +y +1 )e() f r, +1 b ψe() 2 (y y +1 )e() f b, +1 r (E 2 E 1 y +1 +y+1 2 )e() f R, +1 b (E 2 y E 1 +y 2)e() f b, +1 R, (13) (ψ ψ +1 ψ ψ +1 ψ ψ +1 )e() ( δ,bδ +1,rδ +2,b +( y +E 1 y +2 )δ,bδ +1,Rδ +2,b)e(), (14) δ 1,be() 0. Ths s a graded algebra wth the degrees of generators: deg(y ) 2, deg(e 1 ) 2, deg(e 2 ) 4, deg(e()) 0, 2 f k k+1 b, 1 f k b and k+1 r, deg(ψ k e()) 1 f k r and k+1 b, 2 f k R and k+1 b, 2 f k b and k+1 R. Theres agraphcaldescrptonofw p (n,k) but n the nterestofspacewe onlysketcht for W p (n,1) n Secton 3.4. Remark 3. There s an nectve homomorphsm ρ p : W p (n,k) W(n,k). We wll prove ths later for the specal case that k 1. Remark 4. We defne W p (n,k) to be the algebra defned above wth all of the relatons except the cyclotomc relaton δ 1,be() 0. However we wll not make use of ths algebra n ths paper. 3. Propertes of W(n,1) In ths secton and throughout the rest of the paper we wll specalze the algebras ntroduced n Secton 2 to the case k 1. It wll be convenent to wrte e e() where s the sequence where the only b occurs n poston. By the last defnng relaton (the cyclotomc relaton) n Secton 2.2, t follows that e 1 0.

8 8 MIKHAIL KHOVANOV AND JOSHUA SUSSAN 3.1. A representaton of W(n,1). Recall that R k[x 1,...,x n ]. Defne the vector space V n,+1 R[y ]/((y x 1 ) (y x )) and V n n+1 2 V n,. We defne e to act trvally on V n, unless n whch case e acts as the dentty on V n,. A dot on the l-th red strand of a dagram (wth no crossngs) acts as multplcaton by x l. A dot on the black strand acts as multplcaton by y. A crossng takng the element b n the -th poston on the bottom to the ( 1)-st poston on the top maps 1 V n, to 1 V n, 1. A crossng takng the element b n the -th poston on the bottom to the (+1)-st poston on the top maps 1 V n, to y x V n,+1. Proposton 1. V n s a representaton of W(n,1). Proof. Ths s a straghtforward check A bass. The next result descrbes a bass of e W(n,1)e. One draws a dagram wth mnmal number ofcrossngsfromthe sequencecorrespondngtoe onthe bottom to the sequencecorrespondng to e on the top and then decorate on the top freely wth dots on the sold red strands but restrctvely (dependng on how close the dashed black strand gets to the left) wth dots on the dashed (black) strand. Proposton 2. A bass of e W(n,1)e over k for, 2 s gven by (14) {e y a1 1 yc yan+1 n+1 ψ we a Z 0,0 c mn(,) 2}, where w S n+1 s of mnmal length takng the sequence (r...r }{{} br...r }{{} ) to (r...r }{{} b }{{} r...r). 1 n +1 1 n +1 If 1 or 1, e W(n,1)e 0 by the cyclotomc condton. Proof. We begn by showng that the proposed bass actually spans. Frst assume that. We clam that (15) a 1 a 1 c a +1 a n+1 for a Z 0 and 0 c 2 span e W(n,1)e. In order to see ths consder the dagram n (16) whch s zero by the cyclotomc condton. (16) Usng the relatons to remove 1 double crossngs n (16) along wth sldng dots through crossngs we get the relaton y 1 (y 1 + +y 1 )y 2 + +( 1) 1 (y 1 y 1 ) 0.

9 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 9 Thus n (15) we may take c 2. It then follows wth lttle effort that the set n (14) actually spans. Now we must prove that the elements n (14) are lnearly ndependent. When the elements n {e y a1 1 yc y an+1 n+1 e a Z 0,0 c 2}. are lnearly ndependent. Otherwse as a lnear operator on V n, the element y satsfes a polynomal wth coeffcents n R of degree less than 1. Lnear ndependence for the general case of elements n (14) now follows easly. Corollary 1. The representaton of W(n,1) on V n s fathful The center. Recall that W(n, 1) (more generally, W(n, k)) has the structure of an R-module gven n (1). The acton was denoted by a dot. Lemma 1. For k 2,...,n+1, there s an equalty n W(n,1) yk n e k E 1 (x 1,...,x n ).y n 1 k e k +E 2 (x 1,...,x n ).y n 2 k e k + +( 1) n E n (x 1,...,x n ).yk 0 e k 0. Proof. By the relatons n W(n,1) we may resolve n k +1 double crossngs and get n k+1 y k 1 k (ψ k ψ n )(ψ n ψ k )e k 0 ( 1) E (x k,...,x n ).(y k 1 k y n k+1 k e k ). Thus n k+1 (17) yke n k y k 1 k (ψ k ψ n )(ψ n ψ k )e k + ( 1) +1 E (x k,...,x n ).(y n k e k ). Usng the relatons n W(n,1) for y k 1 k e k n the frst term n the rght hand sde of equaton (17) we get (18) yk n e k 1 k ( 1) +1 E (x 1,...,x k 1 ).y k 1 k (ψ k ψ n )(ψ n ψ k )e k + 1 n k ( 1) +1 E (x k,...,x n ).(y n k e k ). Usng relatons n W(n,1) to remove double crossngs n the frst sum of equaton (18) we get (19) k 1 yk n e k 1 n k+1 1 n k+1 r0 ( 1) +r+1 E (x 1,...,x k 1 )E r (x k,...,x n ).y n r k e k + ( 1) +1 E (x k,...,x n ).(y n k e k ). Groupng together terms accordng to the exponent of y k n equaton (19) we arrve at y n ke k n 1 p0( 1) n 1+p γ n 1 ( 1) n 1+p E n p (x 1,...,x n ).y p k e k p0 E γ (x 1,...,x k 1 )E n p γ (x k,...,x n ).y p k e k

10 10 MIKHAIL KHOVANOV AND JOSHUA SUSSAN whch proves the lemma. Proposton 3. The center of W(n,1) s somorphc as an algebra to R[z]/(z x 1 ) (z x n ). Proof. We frst check that the center s generated as an R-module by the set n+1 {z k y k e k 0,...,n 1}. 2 Lemma 1 shows that z satsfes the approprate relaton. By applyng dempotents e on the left and rght of a central element z t s clear that we may wrte z as: n+1 n+1 z e f (y 1,...,y n+1 )e f (y 1,...,y n+1 )e 2 where f s a polynomal n the y. Rewrtng z n the bass of W(n,1) descrbed n (14) we have 2 n+1 2 z g (x 1,...,x n ).y e. 2 0 We wll abbrevate g g (x 1,...,x n ). We would lke to show that n+1 n 1 z g n+1,.y e or equvalently that 2 0 n 1 (20) ze k g n+1,.y k e k. 0 Snce z s central, (e k+1 ψ k e k )z z(e k+1 ψ k e k ). We compute On the other hand k 2 (e k+1 ψ k e k )z g k.ψ k y k e k. 0 k 1 z(e k+1 ψ k e k ) g k+1,.y k+1 e k+1ψ k e k 0 k 1 g k+1,.ψ k y k e k 0 k 2 (g k+1, +( 1) k E k 1 (x 1,...,x k 1 )g k+1,k 1 ).ψ k y k e k 0 where we used relatons n W(n,1) to establsh the thrd equalty above. Now that we have expressed (e k+1 ψ k e k )z and z(e k+1 ψ k e k ) n terms of the bass descrbed earler we conclude (21) g k, g k+1, +( 1) k E k 1 (x 1,...,x k 1 )g k+1,k 1.

11 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 11 Thus k 2 ze k g k,.y k e k 0 k 2 k 2 g k+1,.y k e k + ( 1) k g k+1,k 1 E k 1 (x 1,...,x k 1 ).y k e k 0 k 1 g k+1,.y k e k. 0 0 Equalty (20) follows by teratng the recurson (21). Therefore, as an R-module the center s generated by z 0,...,z n 1. The fact that z satsfes the relaton n the Proposton follows from Lemma 1. Example 1. For n 2, the generatng set of the center as a free R-module s graphcally depcted below. z 0 + z A subalgebra. Set W p : W p (n,1), where W p (n,k) was defned n Secton 2.4. Let e,p be the dempotent correspondng to the sequence where the sngle entry b appears n poston. We may descrbe W p (n,1) n a graphcal way ust as we dd for W(n,1) n secton 2.3. Along wth the generators for W(n,1) graphcally descrbed earler, we also have a thck red lne whch can carry dots labeled E 1 or E 2. The thck red lne may also ntersect wth the black dashed lne. E 1 E 2 In addton to the local relatons n W(n,1) where there s only one (black) dashed and sold thn (red) strands, there are also relatons E 2 E 1 + E 2 E 1 +

12 12 MIKHAIL KHOVANOV AND JOSHUA SUSSAN There are also some obvous other relatons comng from relatons n W(n,1) by treatng the thck (red) lne as two thn red lnes and the dots E as the sum or product of red dots on thn (red) lnes. For example there s an equalty: E E In orderto constructabassofw p (n,1) wewll fnd a representatonfort ust aswe dd forw(n,1). Recall the vector space V n defned n Secton 3.1 and consder the subspace We construct an acton of W p (n,1) on V p n n+1 Vn p 2 p V n, as follows. For p the dempotent e,p acts trvally on V p n, unless 1 n whch case e acts as the dentty on V p n, 1. If > p then e,p acts non-trvally only on V p n, n whch case t acts as the dentty. Assumng l < p, a dot on the l-th sold, thn, red strand of a dagram (wth no crossngs) acts as multplcaton by x l. Assumng l p, a dot on the l-th sold, thn, red strand of a dagram (wth no crossngs) acts as multplcaton by x l+2. A dot labeled by E 1 on a thck, sold, red strand acts by y p +y p+1. A dot labeled by E 2 on a thck, sold, red strand acts by y p y p+1. A dot on the black strand n poston of a dagram wth no crossng acts as multplcaton by y. If p, a crossng takng the the element b n the -th poston on the bottom to the ( 1)-st poston on the top maps 1 V n, 1 to 1 V n, 2. If p 1, a crossng takng the the element b n the -th poston on the bottom to the ( 1)-st poston on the top maps 1 V n, 1 to 1 V n, 3. If p 2, a crossng takng the the element b n the -th poston on the bottom to the ( 1)-st poston on the top maps 1 V n, to 1 V n, 1. If < p, a crossng takng the the element b n the -th poston on the bottom to the (+1)-st poston on the top maps 1 V n, 1 to y 1 x 1 V n,. If p, a crossng takng the the element b n the -th poston on the bottom to the (+1)-st poston on the top maps 1 V n, 1 to (y x 1 )(y x ) V n,+1. If > p, a crossng takng the the element b n the -th poston on the bottom to the (+1)-st poston on the top maps 1 V n, to y x +1 V n,+1. Proposton 4. V p n s a representaton of Wp (n,1). Proof. Ths s a straghtfoward check. Proposton 5. For, 2, let w S n be of mnmal length takng the sequence wth b occurrng n entry to the sequence wth b occurrng n entry. A bass of e W p (n,1)e over k s gven by {e E a 1 1 E a 2 2 y a1 1 yc yan n ψ we a Z 0,a p+1 0,0 c mn(,) 2} f p

13 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 13 {e E a 1 1 E a 2 2 y a1 1 yc yan n ψ we a Z 0,a p 0,0 c mn(,) 2} f > p, p {e E a 1 1 E a 2 2 y a1 1 yc yan n ψ we a Z 0,a p 0,0 c mn(,) 1} f mn(,) > p. Proof. The proof of ths s smlar to the proof of Proposton 2. Corollary 2. The representaton of W p (n,1) on V p n s fathful. Proposton 6. There s an nectve homomorphsm ρ p : W p (n,1) W(n,1). Proof. Defne the homomorphsm on dempotents by { e f p ρ p (e,p ) e +1 f > p. On dot generators defne t by y e +1 f > p, < p y +1 e +1 f > p, > p ρ p (y e,p ) y e f p, < p+1 y +1 e f p, > p+1 { (y p +y p+1 )e +1 f > p ρ p (E 1 e,p ) (y p +y p+1 )e f p { (y p y p+1 )e +1 f > p ρ p (E 2 e,p ) (y p y p+1 )e f p. On crossng generators { ψ +1 e +1 f > p ρ p (ψ e,p ) ψ e f < p 1 ρ p (ψ p 1 e p 1,p ) ψ p ψ p 1 e p 1 { ψ e +1 f > p+1 ρ p (ψ 1 e,p ) ψ 1 e f < p ρ p (ψ p+1 e p+1,p ) ψ p ψ p+1 e p+2. The nectvty of ρ p s clear. 4. Sngular Soergel bmodules 4.1. Defntons. Let I {1,...,n 1} and S I the subgroup of S n generated by s for I. We abbrevate the set {1,...,k 1,k+1,...,n 1} by ˆk. Denote by R I the rng of nvarants of R under the acton of S I. The category of sngular Soergel bmodules I R J s the smallest full subcategory of (R I,R J ) gmod whch contans all obects somorphc to drect summands of shfts of bmodules of the form R I1 R J 1 R I2 R J n 1 R In where I I 1 J 1 I 2 J n 1 I n J.

14 14 MIKHAIL KHOVANOV AND JOSHUA SUSSAN 4.2. Results. The ndecomposable obects of I R J were classfed by Wllamson [17] generalzng Soergel s result for the case I J whch we call the regular case. Theorem 1 s a specal case of Wllamson s result. Theorem 1. [17, Theorem7.4.2] Let I and J {1,...,k 1,k+1,...,n 1}. For each c S n /S J there s an ndecomposable self-dual sngular Soergel bmodule B J c where the dualty functor s gven by D(M) Hom Rˆk(M,R k(k 1) (n k)(n k 1) ). Furthermore, each ndecomposable sngular Soergel bmodule s somorphc to a B J c up to somorphsm and gradng shft. An mportant role n the work of Soergel and Wllamson s played by standard bmodules. For each coset c S n /S J there s the standard bmodule R c. As a left R-module R c R. The rght acton of R s twsted. Let c be the mnmal length element n c. For m R c and r R defne m.r m(c.r). For the specal case J ˆ1 {2,...,n 1} we wll denote B J s s 1 by P. By defnton P 0 B J e R J. We wll make heavy use of specal bmodules B R R {} R 1. Proposton 7. There s a short exact sequence of (R, R)-bmodules 0 R B 1 R s 0. Proof. Let A be the (R,R)-subbmodule of B 1 generated by v x 1 1 x +1. It s easy to check that x.v v.x for 1,...,n. Thus A R. In the quotent B /A we have x.(1 1) (1 1).x +1 x 1 1 x Proposton 8. The regular Soergel (R,R)-bmodule B R B 1 R R B 1 s ndecomposable. Proof. From Soergel s homomorphsm formula and a computaton n the Hecke algebra, t follows that the endomorphsm algebra of ths bmodule s one-dmensonal n degree zero mplyng that the bmodule s ndecomposable. We wll now focus on the case I and J {2,...,n 1}. Lemma 2. For 2, the (R,R)-bmodule R s s somorphc to R vew as an (R,Rˆ1 )-bmodule. Proof. If f s a symmetrc functon n varables x 2,...,x n then s.f f. Thus as a rght Rˆ1 -module there s no twstng and R s R. Remark 5. By Lemma 2, the (R,R)-bmodule R s for 2 restrcts as an (R,Rˆ1 )-bmodule to R. Thus for 2 the exact sequence of (R,R)-bmodules 0 R B 1 R s 0 gves a splt exact sequence of (R,Rˆ1 )-bmodules snce by [17] there are no self-extensons of R.

15 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 15 We wll now explctly construct the (R,Rˆ1 )-bmodule P. Ths s possble because we are workng n the very specal case of J ˆ1 {2,...,n 1}. In the defntons and facts about the concrete P whch follow, we wll gnore that the abstract P satsfy the propertes whch we now lst. Defne (22) P R[y]/(y x 1 ) (y x +1 ) wth the left R-module structure gven by x.y r x y r. The rght Rˆ1 -module structure s more complcated to descrbe. Set and for 1 n 1 y r.x 1 y r+1 y r.e (x 2,...,x n ) y r (( 1) y +( 1) 1 E 1 (x 1,...,x n )y 1 + +( 1) 0 E (x 1,...,x n )y 0 ). As a k-module, P s graded wth the degree of y r equal to 2r. Proposton 9. P s an ndecomposable graded (R,Rˆ1 )-bmodule. Proof. It s clear from the defnton of P that t s an (R,Rˆ1 )-bmodule. It s ndecomposable because t s cyclcally generated n degree zero by a vector 1. The next proposton s clear. Proposton 10. There s a short exact sequence of (R,Rˆ1 )-bmodules: 0 R[y]/(y x 1 ) (y x ) 2 R[y]/(y x 1 ) (y x +1 ) R[y]/(y x +1 ) 0 where the ncluson s gven by mappng 1 y x +1. Corollary 3. The module P has a fltraton M 0 M 1 M P such that M /M 1 s somorphc to the standard module Rˆ1 s s 1 2. Proof. Usng the exact sequence n Proposton 10 we may nductvely buld the fltraton of P. The only non-trval fact to check s that the quotent bmodule R[y](y x +1 ) s somorphc (up to a shft) to the standard bmodule Rˆ1 s s 1. The two obects are clearly both somorphc as left R-modules to R. Now to check that the somorphsm s compatble wth the rght Rˆ1 acton. On the element 1 n the quotent R[y]/(y x +1 ) we have 1.x 1 x +1. On the element 1 n the standard bmodule we have 1.x 1 1(s s 1.x 1 ) x +1. Thus the somorphsm s compatble wth the rght acton of x 1. On the element 1 n the quotent R[y]/(y x +1 ) we have (23) 1.E (x 2,...,x n ) ( 1) x +1 +( 1) 1 x 1 +1 E 1(x 1,...,x n )+ +( 1) 0 x 0 +1E (x 1,...,x n ). In the standard bmodule E (x 2,...,x n ) acts on 1 by (24) (s s 1 ).E (x 2,...,x n ).

16 16 MIKHAIL KHOVANOV AND JOSHUA SUSSAN Thus we have to check that the rght hand sdes of (23) and (24) are the same. After applyng s 1 s to both of these quanttes, we must only check n the polynomal rng R that (25) E (x 2,...,x n ) ( 1) x 1 +( 1) 1 x 1 1 E 1 (x 1,...,x n )+ +( 1) 0 x 0 1E (x 1,...,x n ). Ths easly follows by nducton on usng the fact that E +1 (x 1,...,x n ) E +1 (x 2,...,x n )+x 1 E (x 2,...,x n ). Example 2. We wll show that as an (R,Rˆ1 )-bmodule There s an ncluson gven by There s a splttng map gven by It s an easy exercse to check that ths forces B 2 R B 1 B2 R P 1 P2 P 0. R B 2 R B 1 R R {2} R R {1} R x x 2. B 2 R B 1 R R {2} R R {1} R 2 R x x x 3 1. Proposton 11. P s an ndecomposable Soergel (R,Rˆ1 )-bmodule. Proof. In order to prove t s a Soergel bmodule we wll nductvely prove The case 0 s provded by the somorphsm B +1 R P P+1 P 1. B 1 R[y]/(y x1 )(y x 2 ) x 2 x 1 +x 2 y. It s also explaned n Secton 6.2. The case 1 s gven n Example 2. Now let us assume that P s a Soergel bmodule. We wll prove that P +1 and P 1 are the two ndecomposable summands of B +1 R P R R +1 R[y]/(y x 1 ) (y x +1 ) 1. The elements 1 1 and 1 x +1 generate R R +1 R[y]/(y x 1 ) (y x +1 ) as an (R,Rˆ1 )-bmodule because (1 1).x 1 1 y and for +1,+2, we have x.(1 1) 1 x. Fnally we have 1 x +2 1 (x +1 +x +2 x +1 ) (x +1 +x +2 ).(1 1) 1 x +1. Frst we wll demonstrate that P 1 s a summand of B +1 R P. There s an ncluson map α: P 1 R[y]/(y x 1 ) (y x ) +1 R R +1 R[y]/(y x 1 ) (y x +1 ) 1 determned by α(1) 1 (y x +1 ).

17 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 17 There s a map β: R R +1 R[y]/(y x 1 ) (y x +1 ) 1 P 1 R[y]/(y x 1 ) (y x ) +1 determned by Note that ths forces for +1,+2 β(1 1) 0 β(1 x +1 ) 1. β(1 y) 0 β(1 x +2 ) 1 β(1 x ) 0. It s clear that β α Id. Next we wll show that P +1 s a summand of B +1 R P. There s an ncluson map γ: P +1 R[y]/(y x 1 ) (y x +2 ) 1 R R +1 R[y]/(y x 1 ) (y x +1 ) 1 determned by There s a map γ(1) 1 1. δ: R R +1 R[y]/(y x 1 ) (y x +1 ) 1 P +1 R[y]/(y x 1 ) (y x +2 ) 1 determned by Note that ths forces δ(1 1) 1 δ(1 x +1 ) y. δ(1 y) y δ(1 x +2 ) x +1 +x +2 y δ(1 x ) x for +1,+2. It s clear that δ γ Id. Fnally, t s straghtforward to check that R R +1 R[y]/(y x 1 ) (y x +1 ) 1 β δ P 1 P +1 and ( ) α γ P 1 P +1 are nverse maps of each other. R R +1 R[y]/(y x 1 ) (y x +1 ) 1 5. The dagrammatc Hecke category In ths secton we revew the dagrammatcally defned Hecke category ntroduced n [1] whch s equvalent (after Karoub closure) to the category of regular Soergel bmodules for S n. In order to dstngush the pctures n ths secton from other pctures arsng elsewhere n ths paper we color the strands for these dagrams green and the strands wll carry labels from the set {1,2,...,n 1} correspondng to smple transpostons of S n.

18 18 MIKHAIL KHOVANOV AND JOSHUA SUSSAN 5.1. Admssble graphs. An admssble graph wll be a fnte planar graph wth boundary properly embedded n R [0,1] whose edges are colored from the set {1,...,n 1}. Only 1-valent, 3-valent, 4-valent, and 6-valent vertces are allowed, as shown n (26). For the 4-valent vertces we requre > 1. For the 6-valent vertces we requre that 1. The boundary ponts naturally nhert a colorng from the edges. The regons of an admssble graph are decorated by polynomals f k[x 1,...,x n ] and f two polynomals f and g are n a sngle regon then we may combne them nto one polynomal fg n that regon. (26) 5.2. Obects and morphsms. The obects of the Hecke category H are sequences ( 1,..., r ) where each entry s an element of the set {1,...,n 1}. Thesetofmorphsmsbetweentwoobects( 1,..., r )and( 1,..., s )sthefreek[x 1,...,x n ]-module generated by admssble graphs whose boundary ponts contaned n R {0} read from left to rght are colored 1,..., r and whose boundary ponts contaned n R {1} read from left to rght are colored 1,..., s subect to relatons we wll descrbe n the next subsecton. A polynomal f acts on a generatng admssble graph by decoratng the leftmost regon wth f. The category H may be equpped wth a Z-gradng by declarng that the frst two generators n (26) have degree 1, the next two generators have degree 1 and the fnal two generators have degree 0. Addtonally, polynomal generators x decoratng the regons have degree Relatons between morphsms. We have the followng polynomal slde relatons: (x +x +1 ) (27) (x +x +1 ) x x +1 x x +1 x x where n the last relaton we assume,+1. (28) (29)

19 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 19 (30) (31) (32) x x +1 (33) (34) x x +1 0 x (35) For 1, (36)

20 20 MIKHAIL KHOVANOV AND JOSHUA SUSSAN For 1, (37) For 1, + (38) For 1, (39) For 1, (40)

21 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 21 For > 1, (41) For > 1, (42) For > 1, (43) For > 1, (44) For 1, k > 1, and k > 1 we have k (45) k For > 1, k > 1, and k > 1 we have (46) k k For 1, k 1, and k > 1 we have (47) k k k k

22 22 MIKHAIL KHOVANOV AND JOSHUA SUSSAN 5.4. A table of strand types. Below s a chart whch gves a dctonary between the varous types of strands used n the paper when vewed n color versus black and whte. Green strands typcally carry labels. Appearance n color red black double red green Appearance n black and whte sold dashed thck sold faded (48) 6. A connecton between W(n,1) gmod and Rˆ General case. Recall the constructonofthe ndecomposablebmodule P n the Soergelcategory Rˆ1 gven n (22). Defne maps φ +1, : P P +1 1 x +1 y φ,+1 : P +1 P 1 1 λ x,: P P 1 x. Theorem 2. There s an somorphsm of algebras n 1 Φ: End Rˆ1( P ) W(n,1). Proof. Defne the map Φ as follows: 0 Φ(Id P ) e +2, Φ(φ +1, ) ψ +2 e +2, Φ(φ 1, ) ψ +1 e +2, Φ(λ x,) y e +2 Φ(λ x,) y +1 e +2 f +1, f > +1. It s straghtforward to check that Φ s a homomorphsm. The map Φ s surectve snce all of the generators of W(n,1) are n the mage of the homomorphsm. A calculaton n the Hecke algebra along wth [17, Theorem 7.2.2] gve the graded dmenson of Hom Rˆ1(P,P ). Usng the bass descrbed n Proposton 2 we may easly calculate the graded dmenson of e W(n,1)e. Assemblng these results shows gdm k Hom Rˆ1(P,P ) gdm k e W(n,1)e, so Φ s nectve and hence an somorphsm.

23 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 23 Corollary 4. The center of the category Rˆ1 s somorphc to R[z]/(z x 1 ) (z x n ). Proof. The calculaton of the center from Proposton 3 along wth Theorem 2 gve the center of the sngular Soergel category Specal case: W(2, 1). Throughout ths secton green (faded) strands carry the label 1 whch we omt. In ths case the category of sngular Soergel bmodules R s ust the case of the category of regular Soergel bmodules for R k[x 1,x 2 ]. Ths n turn has a graphcal descrpton whch s a specal case of the calculus developed n [1]. Let R 1 k[x 1,x 2 ] S2 and B R R 1 R 1. The two ndecomposable obects n the category R are R and B. There s a short exact sequence 0 R 1 B B/R 1 0, where the ncluson s gven by 1 x x 2. We may dentfy the quotent bmodule B/R 1 wth R s1 1 where R s1 as a left R-module s ust R but the rght acton s twsted as follows: m.r m(s 1.r). The somorphsm B/R 1 R s1 1 s gven by mappng f 1 to f. We could fnd an somorphsm P 1 B, where we recall P1 R[y]/(y x 1 )(y x 2 ) 1. The somorphsm s gven by mappng y 1 x 1. The left R-module structure s gven by x.y x y. The rght R-module structure s gven by y.x 1 y +1 y.x 2 y (x 1 +x 2 y). Graphcally we denote the dentty morphsm of the Soergel bmodule B by a green strand. The dentty morphsm of R s gven by ust the empty dagram. We defne a functor F: W(2,1) gmod R. On obects the functor maps the proectve module W(2,1)e(rrb) to B and the proectve module W(2,1)e(rbr) to R. Recall that e(brr) 0. On the level of morphsms we have (49) a b x a 1x b 2

24 24 MIKHAIL KHOVANOV AND JOSHUA SUSSAN (50) a b x a 1x b 2 (51) (52) As a consequence of the relatons we get (53) x 1 (54) x 2 + The functor nduces a surectve map on the spaces of morphsms. In order to prove that F s an equvalence we need to compute the graded dmensons of these morphsm spaces. For R ths s well known. gdm k Hom R (R,R) 1 (1 q 2 ) 2 gdm k Hom R (B,B) 1+q2 (1 q 2 ) 2 q gdm k Hom R (R,B) (1 q 2 ) 2 q gdm k Hom R (B,R) (1 q 2 ) 2.

25 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 25 Now t s easy to see that a spannng set of Hom W(2,1) (W(2,1)e(rbr),W(2,1)e(rbr)) conssts of dagrams n (55) wth a,b Z 0 a b (55) snce the relatons mply that (56) WetheneaslygetthatHom W(2,1) (W(2,1)e(rbr),W(2,1)e(rrb))sspannedbydagramsgvenn(57) wth a,b Z 0. a b (57) Smlarly Hom W(2,1) (W(2,1)e(rrb),W(2,1)e(rbr)) s spanned by dagrams gven n (58) wth a,b Z 0. a b (58) We clam that Hom W(2,1) (W(2,1)e(rrb),W(2,1)e(rrb)) s spanned by dagrams gven n (59) wth a,b Z 0,c {0,1}. (59) a b c That the set of morphsms n (59) s a spannng set follows from the equaton

26 26 MIKHAIL KHOVANOV AND JOSHUA SUSSAN (60) 2 + whch comes from pullng the black strand n the dentty dagram all the way to the left (whch s then zero n the cyclotomc quotent) and applyng double crossng relatons. There s a fathful representaton of W(2,1) on R[y 1 ]/(y 1 x 1 ) R[y 2 ]/((y 2 x 1 )(y 2 x 2 )) descrbed n greater generalty earler, mplyng that the spannng sets above are actually bases of homomorphsm spaces. 7. W(n,1) as a deformaton 7.1. The algebra W(n,1). Let Q denote the quver n (61) wth vertces 1,...,n. A path (of length r 1) s a sequence p ( r 1 ) of arrows where the startng pont s 1 and the endng pont s r. By kq we denote the path algebra of Q, wth bass the set of all paths wth product gven by concatenaton. The path algebra s a graded algebra where the gradng comes from the length of each path. (61) n 1 n Set A! n to be the algebra kq modulo the two-sded deal generated by ( 1 ) ( + 1 ) for 1,...,n 1, where by conventon (1 0 1) 0. By abuse of notaton, we denote the mage of an element p kq n the algebra A! n also by p. The algebra A! n nherts a gradng from kq snce the relatons are homogenous. Let (A! n ) denote the degree subspace of A! n. The degree zero part (A! n )0 s a sem-smple algebra wth bass {(1),...,(n)}. Defne W(n,1) to be the quotent of W(n,1) by the two-sded deal generated by dagrams wth dots on red strands. It s easy to see that ths quotent s a fnte-dmensonal algebra somorphc to A! n. Remark 6. The graded category Z O (1,n 1) (gl n ) s equvalent to the category of fntely generated, graded, rght modules over the algebra A! n. The proectve modules (1)A! n and (n)a! n correspond to the domnant and ant-domnant proectve modules respectvely n category Z O (1,n 1) (gl n ). For the defnton of graded category O see for example [3] HH (W(n,1)). We wll determne the Hochschld cohomology of W(n,1) by studyng ts somorphc algebraa! n. SnceA! n sgraded, tshochschldcohomologysgradedaswell. We wlllet HH, (A! n) denote the subspace of the Hochschld cohomology n cohomologcal degree and nternal degree. The center of A! n, whch s somorphc to HH0 (A! n ), s well known. Proposton 12. As a graded algebra HH 0 (A! n ) k[c]/(c n ) where c (2 1 2)+ +(n n 1 n). Thus HH 0,2 (A! n) k for 0 n 1 and zero otherwse. In order to determne the hgher Hochschld cohomology we construct a resoluton of A! n.

27 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 27 Proposton 13. There s a proectve resoluton of A! n as a bmodule: n n 1 1 A! n () ()A! n 2 f 2 2 A! n() ( 1)A! n 1 n 2 A! n( 1) ()A! n 1 f 1 n 1 A! n () ()A! n where f 1 : () ( 1) ( 1) ( 1) () ( 1) ( 1) () ( 1 ) () ( 1) ( 1 ) f 2 : () () ( +1) ()+() (+1 ) () ( 1 ) ( 1) (). Corollary 5. If 3 then HH (A! n) 0. Proof. Ths follows drectly from the fact that length of the resoluton n Proposton 13 s two. Proposton 14. The frst Hochschld cohomology of A! n s gven by: { HH 1, (A! n) k f 0,2,...,2(n 2) 0 otherwse. Proof. Ths s straghtforward usng the resoluton of A! n n Proposton 13. Proposton 15. The second Hochschld cohomology s gven by: { HH 2, (A! n ) k n 1 f 0 0 otherwse. Proof. It s easy to see that all A! n -bmodule maps A! n () ()A! n are n the mage of f! 2 proecton maps () () (). except the 7.3. The deformaton. Proposton 16. For 2,...,n the k-lnear map µ : A! n A! n A! n whch s defned by µ (( 1) ( 1 )) () µ (( 1 ) ( 1)) ( 1) and takes the value zero on all other bass elements s a non-trval 2-cocycle. Furthermore, these µ are lnearly ndependent and span HH 2 (A! n ). Proof. The µ are clearly lnearly ndependent so t follows that they are a bass by Proposton 15. The element µ HH 2 (A! n) corresponds to deformng the relaton n the algebra W(n,1)

28 28 MIKHAIL KHOVANOV AND JOSHUA SUSSAN by subtractng a term wth a dot on the -th sold red strand: 8. A brad group acton on Kom(W(n, 1) gmod) 8.1. Algebrac descrpton. Throughout ths secton let W W(n,1). Recall the defnton of W : W (n,1) W(n,1) gven n Secton 3.4. For 1,...,n 1, defne the (W,W)-bmodule W : W W W Graphcal descrpton of W. We would lke to gve a graphcal descrpton of the bmodule W for 1,...,n 1. We consder collectons of smooth arcs n the plane connectng n red ponts and 1 black pont on one horzontal lne wth n red ponts and 1 black pont on another horzontal lne. The th and (+1)st red dots on one horzontal lne must be connected to the th and (+1)st red dots on the other horzontal lne by a dagram whch has a thck red strand n the mddle, whch s gven n (62). The arcs are colored n a manner consstent wth ther boundary ponts and the black arc s dashed. Arcs are assumed to have no crtcal ponts (n other words no cups or caps). Arcs are allowed to ntersect, but no trple ntersectons are allowed. Arcs are allowed to carry dots. Two dagrams that are related by an sotopy that does not change the combnatoral types of the dagrams or the relatve poston of crossngs are taken to be equal up to sgn. The elements of the vector space W are formal lnear combnatons of these dagrams modulo the local relatons for W along wth the relatons gven n (63), (64), (65), and (66). (62) (63) + + (64)

29 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 29 (65) (66) The vector space W s naturally a (W,W)-bmodule, and as a vector space. n+1 n+1 W e k W e l k2 l Bmodule homomorphsms The map ǫ. We now am to defne the lollpop map ǫ. There s a bmodule map ǫ : W W determned by (67) Ths mples (68) + (69) +

30 30 MIKHAIL KHOVANOV AND JOSHUA SUSSAN The map ι. Now we am to defne the upsde down lollpop map. We begn wth some lemmas needed to construct ths map. Lemma 3. There s an equalty (70) Proof. + + (71) By the basc graphcal relatons, the left hand sde of (71) s equal to (72) Equatons (71) and (72) mply (73) In a smlar fashon one proves (74) Equatons (73) and (74) mply the lemma. Lemma 4. As a left R-module, the space e +1 W e +1 s spanned by the followng three types of elements a a a (75)

31 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 31 for 0 a 1. We have omtted vertcal red sold strands n all of the dagrams and the a on top of a dot means there are a dots. Proof. We must check that the followng element s n the left R-span of (75) (76) By addng and subtractng terms we have: + (77) Lemma 3 mples the frst two terms on the rght hand sde of the equaton above are n the R-span. Relaton (63) mples the thrd term s n the R-span. There s a map (whch we wll next show s well-defned) ι : W W determned by (78) (79) Proposton 17. Equatons (78) and (79) defne a bmodule map ι : W W. Proof. It needs to be shown that for any r W (80) rι (1) ι (1)r, snce (78) and (79) descrbe ι (1) W. We check that (80) s satsfed for all generators r of W. If r e s an dempotent then (80) obvously holds. If r s a dagram wthout any crossngs and only a sngle dot on some strand then t suffces to check (81) nstead of (80). (81) rι (e ) ι (e )r.

32 32 MIKHAIL KHOVANOV AND JOSHUA SUSSAN If +1 then ths s a classcal fact. See for example [1, Secton 2.3]. If +1, then t s easy to see that (81) holds f the dot s on any strand other than the -th (red) sold strand or (+1)-st (red) sold strand. We wll now check the case that the dot occurs on the -th sold strand. Ths means that we must verfy (80) for r gven below. (82) Ths means that we need to check (83) By addng and subtractng the same term we have (84) + By parng the frst and thrd terms n (84) and the second and fourth terms usng relatons for the bmodule W and Lemma 3 we get that (84) s equal to (85) + One proves n a smlar way that (80) holds for the element r gven below. Fnally we have to check (80) when the dagram representng r has a sngle crossng wth no dots. There are four non-trval cases.

33 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 33 Case 1: (86) (87) The rght hand sdes of (86) and (87) are the same so the frst case s verfed. Case 2: (88) (89) The rght hand sdes of (88) and (89) are dentcal so the second case s verfed. Case 3: (90) (91) By relaton (63) of the bmodule, the rght hand sdes of (90) and (91) are equal. Case 4:

34 34 MIKHAIL KHOVANOV AND JOSHUA SUSSAN (92) (93) By relaton (63) of the bmodule, the rght hand sdes of (92) and (93) are equal The map. Defne the trvalent map of W-bmodules : W W W W by: (94) Relatons n W (other than those from W) are of the form a 1 1 a where a W. Ths gets mapped to a a whch s zero n W W W. Thus the map s well-defned The map. Defne the other trvalent map : W W W W by: 0 (95) Proposton 18. The assgnment n (95) s a well defned W-bmodule map.

35 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 35 Proof. It s clear that under, the mages of both elements n (96) n W are the same. + + (96) Smlarly, the mages of both elements n (97) are the same under. (97) It s clear that all dagrams n (98) (for a 0,1) get mapped to the same element under. a a a (98) Smlarly all of the dagrams n (99) (for a 0,1), get mapped to the same element. a a a (99)

36 36 MIKHAIL KHOVANOV AND JOSHUA SUSSAN Thus s a well-defned bmodule homomorphsm. Lemma 5. There s an somorphsm of W-bmodules W W W W 1 W 1. Proof. Ths s proved ust as n the classcal base for Soergel bmodules. One maps the element n the frst component and the element n the second coordnate. These defne bmodule maps because usng relatons n W, one could move black strands away from the local pcture The maps X. For > 1 we defne a map X : W W W W W W determned by (100) The maps,,,,. For 1 there wll be maps,,,,. As a W-bmodule there are four generators of W W W +1 W W. For a 0,1, there are two dagrams wth no dashed lnes nterferng wth the pcture gven n (101).

37 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 37 a (101) There are two generators gven by dagrams wth black strand that cannot be removed locally from W W W +1 W W where agan a 0,1. They are gven n (102). a (102) As a W-bmodule there are four generators of W +1 W W W W +1. For a 0,1, there are two dagrams wth no dashed lnes nterferng wth the pcture gven n (103). a (103) There are dagrams wth black strand that cannot be removed locally from W +1 W W W W +1. They are generated (for a 0,1) by the dagrams gven n (104). a (104) Now we wll fnally defne +1,,+1,+1,. If there are no black strands n the local pctures these maps are classcal and gven n (105) and (106). The map for the dagram where there s a black dashed strand nterferng wth the pcture s gven n (107).

38 38 MIKHAIL KHOVANOV AND JOSHUA SUSSAN (105) + (106) (107) (108) Now we wll defne,+1, +1,,+1. If there are no black strands n the local pctures these maps are classcal gven n (109) and (110). The map for the dagram where there s a black dashed strand nterferng wth the pcture s gven n (111). (109)

39 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 39 + (110) (111) (112) Proposton 19. The followng are bmodule homomorphsms: (1) +1,,+1,+1, : W W W +1 W W W +1 W W W W +1 (2),+1, +1,,+1 : W +1 W W W W +1 W W W +1 W W. Proof. We wll only sketch a proof of the frst part of the proposton. The second part s smlar. It must be checked that that f two elements are equal n W W W +1 W W va bmodule relatons, then ther mages under +1,,+1,+1, are equal. The map +1,,+1,+1, acts on dot generators as follows 1 x 1 1 x x x +2 1 x x +2 1 x x x 1 x x x x +1 1 x x x +2. Usng these formulas t s easy to see that a symmetrc polynomal n x and x +1 could be moved between the frst and second tensor factors as well as between the thrd and fourth tensor factors.

40 40 MIKHAIL KHOVANOV AND JOSHUA SUSSAN Smlarly, a symmetrc polynomal n x +1 and x +2 could be moved between the second and thrd tensor factors. Now we analyze relatons nvolvng dashed (black) strands. It s easy to see that the elements n (113) both get mapped to (114). (113) (114) It s a routne but slghtly lengther calculaton to verfy that both elements n (115) get mapped to the same element. (115) Smlarly one checks that for a 0,1 the elements n (116) get mapped to the same element wth the case a 0 beng slghtly easer than a 1. a a (116) For a 0,1 the mages of the elements n (117) under +1,,+1,+1, are the same.

41 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 41 a a (117) For a 0,1 the mages of the elements n (118) under +1,,+1,+1, are the same. a a (118) 8.4. Man results. Let W W(n, 1) be the monodal category of W(n, 1)-bmodules generated by the W for 1,...,n 1. Recall that W was shorthand notaton for W(n,1). We wll defne a functor F: H W. On obects: On morphsms: F : ( 1,..., r ) W 1 W r. F: Id: W W F: x x.: W W F: x.x : W W F: ǫ : W 1 F: ι : 1 W

42 42 MIKHAIL KHOVANOV AND JOSHUA SUSSAN F: : W W W F: : W W W F: X : W W W W F :,,,, : W W W W W W Theorem 3. The assgnment F: H W s a functor from the Hecke category H to the homotopy category of W(n,1)-bmodules generated by the W. Proof. There are many relatons to check on the varous generators of the bmodules. Relatons on generators where no black strand s present were checked n [1]. We wll only prove here that relaton (36) holds. They are all routne calculatons. The fact that (36) holds for generators (101) (wth a 0,1) follows from [1]. We must only check the relaton on the two other generators of the bmodule W W +1 W. We compute the frst term on the rght hand sde of (36) on the generator (102) wth a 0. (119) Applyng four successve maps for the second term n the rght hand sde of (36) gves + (120) The dfference of the maps n (119) and (120) s smply the dentty map on the generator (102) for a 0 thus establshng (36) for ths generator.

43 THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA 43 We compute the frst term on the rght hand sde of (36) on the generator (102) wth a 1. + (121) Applyng four successve maps for the second term n the rght hand sde of (36) gves (122) The dfference of the maps n (121) and (122) s smply the dentty map on the generator (102) for a 1 thus establshng (36) for ths generator. We now defne the analogue of Rouquer complexes for the rngs W(n,1): σ : 0 W(n,1) ι W 1 0 σ 1 : 0 W 1 ǫ W(n,1) 0 where n both complexes the obect W s n cohomologcal degree zero. Corollary 6. As endofunctors of the homotopy category Kom(W(n,1) gpmod), the complexes σ and σ 1 satsfy the followng somorphsms (1) σ σ 1 Id σ 1 σ (2) σ σ σ σ f > 1 (3) σ σ +1 σ σ+1 σ σ +1. Furthermore there s a functor from the category of brad cobordsms to the category above. Proof. Theorem 3 and [2, Theorem 1] mply the corollary. Remark 7. The proof of Theorem 3 dd not depend upon the cyclotomc relaton n W(n,1) and so the correspondng statement s also true for W(n,1) Brad group acton on Rˆ1. There s a brad groupacton on the homotopycategoryofsngular Soergel bmodules Rˆk comng from the normal brad group acton on the homotopy category of R. Defne functors T : Kom( Rˆ1 ) Kom( Rˆ1 ) T (M) (B 1 R) R M

44 44 MIKHAIL KHOVANOV AND JOSHUA SUSSAN where the map B R s ust multplcaton. Defne functors T 1 : Kom( Rˆ1 ) Kom( Rˆ1 ) T 1 (M) (R B 1 ) R M where the map R B 1 s determned by 1 x 1 1 x +1. The followng theorem s an mmedate consequence of [12, Theorem 3.5]. Theorem 4. The functors T for 1,...,n 1 satsfy brad group relatons (1) T T 1 Id T 1 T, (2) T T T T f > 1, (3) T T +1 T T+1 T T +1. The functors T,T 1 descend to an acton on K 0 (Kom( Rˆ1 )) endowng the Grothendeck group wth the structure of the Burau representaton of the brad group. 9. References [1] B. Elas and M. Khovanov, Dagrammatcs for Soergel categores, Int. J. Math. Math. Sc., (2010) Art. ID , 58, (2010), arxv: [2] B. Elas and D. Krasner, Rouquer complexes are functoral over brad cobordsms, Homology, Homotopy, and Applcatons, 12, no. 2 (2010), , arxv: [3] I. Frenkel, M. Khovanov, and C. Stroppel, A categorfcaton of fnte-dmensonal rreducble representatons of quantum sl(2) and ther tensor products, Selecta Mathematca 12, (2006), , math/ [4] M. Khovanov, Trply graded lnk homology and Hochschld homology of Soergel bmodules, Int. Journal of Math., 18, no. 8 (2007), , math/ [5] M. Khovanov and A. Lauda, A dagrammatc approach to categorfcaton of quantum groups I, Represent. Theory 13, (2009), , arxv: [6] M. Khovanov and A. Lauda, A dagrammatc approach to categorfcaton of quantum groups III, Quantum Topology 11, ss. 1, (2010), 1-92, arxv: [7] A. Krllov Jr., A. Lascoux, Factorzaton of Kazhdan-Lusztg elements for Grassmanans, Adv. Stud. Pure Math. 28, (2000), , math/ [8] A. Lauda, A categorfcaton of quantum sl(2), Advances n Mathematcs, 225, ss. 6 (2010), , arxv: [9] V. Mazorchuk, C. Stroppel, Cuspdal sl(n)-modules and deformatons of certan Brauer tree algebras, Adv Math 228, no. 2, (2011), , arxv: [10] J. Rckard, Morta theory for derved categores, Jour. London Math. Soc. 39, (1989), [11] R. Rouquer, 2-Kac-Moody algebras, arxv: [12] R. Rouquer, Categorfcaton of the brad groups, arxv:math/ [13] R. Rouquer, Khovanov-Rozansky homology and 2-brad groups, arxv: [14] W. Soergel, Kazhdan-Lusztg-Polynome und unzerlegbare Bmoduln uber Polynomrngen, J. Inst. Math. Jusseu, 6 (3), (2007), , arxv:math.rt/ [15] B. Webster, Knot nvarants and hgher representaton theory, to appear n Memors of the AMS, arxv: [16] B. Webster, Tensor product algebras, Grassmannans and Khovanov homology, arxv: [17] G. Wllamson, Sngular Soergel bmodules, IMRN 20, (2011) , arxv: Department of Mathematcs, Columba Unversty, New York, Unted States E-mal address: khovanov@math.columba.edu Department of Mathematcs, CUNY Medgar Evers, New York, Unted States E-mal address: sussan@mec.cuny.edu