# Full text of "The Cylinder braiding of the quantum Weyl group of $sl_2$"

## See other formats

The Cylinder braiding of the quantum Weyl group of s/2 (N X Reinhard Haring- Oldenburg Mathematisches Institut, Bunsenstr. 3-5, 37073 Gottingen, Germany email: haering@cfgauss.uni-math. gwdg . de August 13, 1996 On . Abstract Is is shown that the quantum Weyl group of sli contains an element that is a cylinder twist, i.e. it gives rise to representations of the braid group of Coxeter type B. 1 Introduction ^ ' Every Coxeter graph defines a braid group that is an infinite covering of its Coxeter group. ^ ■ T. torn Dieck initiated in Q the systematic study of these braid groups and their quotient , algebras for all root systems. On \ The Coxeter group WA„ of type is the permutation group and the braid group ZAji is Artin's braid group. For type i?„ the Weyl group WB„ is a semi direct product of . the permutation group WA„ with ZZ,'^. Definition 1 The braid group ZB„ of Coxeter type B is generated by to,ti, . . . , r„_i with ^ ' relations ^' j>! ; TiTj = TjTi if |i-j|>l (1) TiTjTi = TiTjTi if i,j > l,\i -j'l = 1 (2) H ; TQTlToTl = TiTqTiTq (3) Ton = TiTo i>2 (4) To is called the cylinder twist. Generators Ti,i > 1 satisfy the relations of Artin's braid group. ZB„ may be graphically interpreted (cf. figure ||) as symmetric braids or cylinder braids: The symmetric picture shows it as the group of braids with 2n strands (numbered —n, . . . , —1, 1, . . . , n) which are fixed under a 180 degree rotation about the middle axis. In the cylinder picture one adds a single fixed line (indexed 0) on the left and obtains ZB^ as the group of braids with n strands that may surround this fixed line. The generators Ti,i > are mapped to the diagrams X^'^^ given in figure ||. The braid group ZB„ has applications in the theory of knots in the solid torus and in low dimensional physical systems with boundaries. These applications motivate the search for tensor representations of ZB„ on n fold tensor product spaces V^"". It is natural 1 1 INTRODUCTION 2 to ask for extensions of the tensor representations of ZA„ given by quantum group R matrices. I. e. we are looking for an endomorphism F of V such that the quantum braid matrix B := P{Tr (g) Tr)R (P is the flip operator on V <SiV and R is the R matrix of the quantum group, vr is a representation on V.) fulfils 2 -^1-81^2 = -61^2-^1-61^2^1 on y®". Subscripts indicate the spaces in which the matrices act. F is called the cylinder twist matrix. T. tom Dieck has found such extensions for the defining representations of the quantum groups of series A,B,C in p. These solutions can be extended by cabling to higher representations as shown in Q. Naturally the question arises if these matrices come from an element in the quantum group. In we have (from the point of view of universal operators) shown that this is the case for the quantum group of 5/2- The present paper is a more detailed description of this result with calculations taking place in the quantum Weyl group. We show that there is an element t in the quantum Weyl group of s/2 that gives rise to a cylinder twist matrix F = Tr{t) in every representation vr. This allows to calculate the representing matrices in all dimensions. Taking the quantum Weyl group as starting algebra highlights the Hopf algebraic content. The key observation behind our approach is the following: The F matrices of tom Dieck are all triangular with respect to the counter diagonal. Hence taking out the quantum Weyl element as a factor one is left with a upper (or lower) triangular matrix. Such matrices may be representations matrices of an element that is contained in one of the Borel sub algebras. Thus a simpler ansatz may be used. Figure 1: The graphical interpretation of the generators as symmetric tangles (on the left) and as cylinder tangles (on the right) Preliminaries: Our notation for quantum groups is close to ||^]. The quantum group Uqish) has relations [H,X] = 2X,[H,Y] = -2Y,[X,Y] = {K^ - K~^)/{q^l^ - q-^/^) where K := q"^'^,q := e^. It follows that we have KX = q^/'^XK,KY = q-^/'^YK and y™F" = {H + 2m)"y"^. It is convenient to use also E := KX,F := R-'^Y. One has = = g-{«{«-i))/4i^-nyn. The coproduct is defined on generators by A (X) := X(g>K+K-'^(g>X,A{Y) := Y(g>K +K-'^(^Y, A{H) = H(^l + l(^H and the antipode by S{H) = -H, S{X) = -q^X, S{Y) = -q-^/^Y. The associated quantum Weyl group lAq{sl2) is the Hopf algebra extension given by an additional generator w with relations wX = —q^^'^Yw, wY = —q~^/'^Xw, wH = —Hw. It follows that wE = —q^/'^Fw,wF = —q~^^'^Ew. The Weyl element obeys e{w) = l,'uP' = ve, where v is the ribbon element and e is 1 in odd dimensional and —1 in even dimensional irreducible representations. 2 CONSTRUCTION OF THE CYLINDER TWIST 3 The universal R matrix for both Uq{sl2) and Uq[sl2) is given by ^ ^^ — n~^\^ ^ ^ Hm/i y Q ) n(n-l)/4^n .5) n=0 ' Here we have used the usual quantum factorial defined from the quantum number [n] : = (g"/2 _ g-n/2y _ ^-i/2y have to Calculate the antipode of w because there are different results stated in the literature [^,|^]. We write R = J^k'^k 'S) Pk introduce 1 = e{w^'^) = m{S id) A{w~'^) = m{S id) {{w~'^ (g)w~^)R) = m(S' (g) id) (i?2,i (if 0w^'^)) = ^m(S'(g) id) (^fcW"^ ^akW^) k = J2 S{w)-^S(Pk)akW-^ = S{w-^)uw-^ k S{w) = uw'^^ (6) Essential for our calculations is the formula for the coproduct of the Weyl element A.{w) = R~^{w (g) w) and a simple implication {w w)R = R2,iiw w). 2 Construction of the Cylinder twist In this section we construct a solution of the cylinder braid equation R2,lt2Rti = tii?2,li2-R (7) As motivated in the introduction we use the ansatz t = wz. Lemma 1 Equation ^ holds with t = wz if A{z) = Z2W2R2,lW2^ Zi (8) Proof: We express i?2,i using w. 44> WiW2Rw^^W2^W2Z2RwiZi = WiZiWiW2R'W^^W2^W2Z2R <^ Rw^^ Z2RW1Z1 = ziWiRw^^ Z2R <^ Rw^^ Z2WlW2R2,lWY^'W2^WiZi = ZiWlRWi^ Z2R ^ RZ2W2R2,1W2^ Zi = ZiWiRw^^ Z2R ^ RA(z) = M{z)R The last line holds because R intertwines between the coproduct and the opposite coprod- uct. □ If one had made the ansatz t = w~^z the condition would be A(z) = Z2W2^ R2,iW2Zi and t = zw would lead to A{z) = ziWiR2^iWi Z2. Note that t' := w~'^t = w^^z is another solution of (^) because w'^ is central. Remark 1 If z is a solution of then so is z := K'^zK" where a is an arbitrary number. The computation is straightforward from the fact that R and -fT" (g K'^ commute. 2 CONSTRUCTION OF THE CYLINDER TWIST 4 Remark 2 If z is a solution of ^ then so is S{u)^^zu. To prove this we first note that uw = S'^{w)u = S{uw~^)u = S{w~^)S{u)u = wu'^ S{u)u = Cwu~^ = wS{u) where C := uS{u) = S{u)u is Drinfeld's Casimir operator. A consequence is Cu'^w = wu. We first investigate the behaviour of uzu: (1 ® uzuw)R2.i{uzu ® w'"^) = {uu~^ ^ uzCwu^^)R2^i{uzu uu^^w^^) = (n (g) (g) Czw)R2,iizu (g) C'^w^^u) = (n (g zw)R2,i{z (g) w^^){u (g u) = (u u)I\{z){u ®u) = R2,iRA{u)A{z)A{u)R2,iR = A{uzu){R2,iRf Here we have used that u®u and R commute. (1 (g C^^uzuw)R2,i{C^^uzu (g w^^) = (C^^ (g C"^)(l ® uzuw)R2,i{uzu ® w^^) = {C-^ ® C-^){R2,iRfA{uzu) = A{C-^)A{uzu) = A{C-\zu) Now, C~^uzu = S{u)^^zu and the claim is shown. Remark 3 The element t gives not only rise to representations o/ZB„ but also of the braid group of the affine series Cn^ . Tensor representations of this braid group need another element F such that {1(g) F)B {10 F)B = B{l(g>F)B{l(g)F) inV(g)V. IfF = TT{t) this is equivalent to R2,itiRt2 = t2R2,itiR which is (by permuting the tensor factors) equivalent to Rt2R2,iti = tiRt2R2,i- Now, assume that t is any solution of ^) and multiply ^ from the left with {wiW2)~^ and from the right with wiW2. This .shows that t = w^^tw provides a solution of the above equation. The element W2R2,iW2 ^ that occurs in (|8|) is exphcitly: ml' W2R2,1W2' = g ^ > qn{n-m^_ql/2ynpn ^ pn ^9) n=0 This shows that we may assume that z is an element of the Borel sub-algebra generated by H, Y. In order to reproduce the first factor in from a coproduct it seems to be adequate to make the further factorisation z = q~^ ^^z. Note that the factor already occurred in |^] in the connection with Lusztig's automorphisms. A{z) = (g-^'/s g-^«^/4A(z) (10) The right-hand side of (P) becomes n=0 L J- In ' ^ \nn\\ n=0 Here we have used F"^-^'/^ = q-iH+2n)y8jpn_ 2 CONSTRUCTION OF THE CYLINDER TWIST 5 Cancelling the leftmost factors in (lTo| ) = ([Tl| ) and introducing the shortcut i?„ := iiZjlj^J_gi"("-i)/4^_gi/2^ng-n2/2 arrive at the following equation which has to be solved oo A{z) = q^®^l^{l (g) z)q-^®^/^ Bn{iq'""/^F'') (g) 1) (12) n=0 It seems to be difficult to go on with a general ansatz J2i j CijK^F^ for z. Experiments show that the following ansatz works: oo ^= E/^-9"'"">^"' (13) Here a, (5m are coefficients which are yet to be determined. It is important not to use F^ in (13) because this would cause the coproduct to produce unbalanced K factors. A(z) = E/3^(g"^™®g°-f^")(y(gK + i^-i(gy)'" m m \ ]] z ! m — z ! m i=0 m The right-hand side of ( p!2[ ) becomes s,t n (q'^^/^{K'^Y f (g) (i^-iy)")(g"-^*y* ® 1) = E E Sng""^""^^/^(g~'^'/^ ^aHsYS-^^q-Hn/2j^-nYn^aHtYt ^ ^""y") s,i n ^g~Hs/2^-Hn/2j^-n^aHtYn+t ^ ^aH s j^-nY-s+n^ = E/'«/'*E^«'?""^""'^^'^'"^'^'""* (^g-H'(-s-n-n/2+2Qt)/2yn+t ^ ^_H'{2as-n/2)/2ys+n^ ^--j^g-j Since WY^ is a basis of the Borel sub-algebra we can make a term by term comparison of the coefficients of Y"" (S) Y'^. We start by investigating the first few terms: a b i m Coeff. (14) n t s Coeff. ( p^ ) Conclusion 0000 Po 000 PiBo Po = l 10 1 (g) 1 Piq-^"/^ (giq'^" a = -1/4: ^ ^ 10 11 Piiq'^/^0l) 10 piq-^/^(S)l 2 CONSTRUCTION OF THE CYLINDER TWIST 6 Now that we have determined a and /3o we can consider the general case. The coefficient of (g) in (0) is f3a. +b [a + b]\ [ami -H{a+b)/i ^ -Hi. In (15) we set t = a — n>0,s = b — n>0 and obtain the coefficient: n ^H{n-b-n-n/2-{a-n)/2)/2 ^ ^/f(-(fe-n)/2-n/2)/2 BnPa-nPb-nQ .ny2-n{a+b-l)/2^H(-b-a/2)/2 ^ ^~Hb/4 The terms involving H are equal. We are left with [o + ^]'_V^D ^ o r? l2-n(a+b-\)l2 /3a^ {am. (17) Since we have s = 6 — n,t = a — n>0 the sum over n runs only from to niin(a, b). We set 6 = 1 and obtain /3a+l[a + l] = Ml+Bif3a-iq^'^~'''^ It remains to show that ( p!7| ) holds for 6 > 1 . To this end we first simplify the recursion formula by defining (3'^ := (3a[o]l- We first reformulate (|T7|) it in terms of a]\ \b]\ (18) +b min(a,fe) S ^''[a-n]\[b-n]\ min(a,fe) E n=0 min(a,fe) 'a' "6" n n B' BL n'/2-n{a+b-l)/2 5: n= =0 'a' "5" n n Y_q-n{a+b)/2^3n/4+ny 4(^^-1 _ -^^n (19) (20) We are done if we can show that the right hand side of (|T9|) is actually only a function of a + 6. This will follow from the fact that the substitutions a ^ a + 1 and 6 — > 6 + 1 2 CONSTRUCTION OF THE CYLINDER TWIST 7 have the same effect. We first concentrate on the substitution a ^ a + 1 and calculate the coefficient B'^'^^'^ using the formula for the q-binomial coefficients: 'a + l n -n/2 (a+l-n)/2 q'n-^a,b ^ ^(a+l-n)/2 -n na,b , (a+l— n)/2 a n — I a n — 1 a n — 1 b n — 1 „]!g-"{a+l+b)/2^3n/4+n2/4(^^-l _ -^^^n n-l]l[b-n + l] ^-n(a+l+fe)/2+3n/4+nV4^^-l _ -^^n q-nB-J + B''/_^[h -n+ l][q-^ - l)q-n/2q{a+l-n)/2^3/A+n/2-l/A-ia+b)/2 q-nBa,b ^ iJ-;t^^(l-n)/2^{l-6)/2(^-l _ _ „ + i] q-nB-,b ^ ^(l-n-6)/2(^(n-6-l)/2 _ ^(fe-„+l)/2)^a^^ a,b+l -n I T}a,b b:^ , , We now consider the righthand side of (|l9|). It is convenient to set B'^^ = f3'^ = Q for negative n. Doing this we don't have to care about summation ranges and can freely shift the summation variable as we do in the third step and in the first summand in the fifth step of the following calculation: ^Ti^^'^ Pa+l-nP'b-n = n = ^'"(^n-' + (9"-" - q)B:^\)P'a-n+lP'b-n n n n n = E ^ Bn'' Pa-n+lP'b-n + E ^n'' P'a-niPb-n+l ~ PlPb-n) n n = E 9'"'B^'''Pa-n+lPb-n + E ^ ~"^n ''/^a-n/^fe-n+l " E ^l'"' ^n'' Pa-nPlf^b-n n n n The calculation of J2n ^n'''^^ P'a-nP'b+i-n would give the same terms: Exchanging a and b interchanges the first two summands and leaves the third invariant. The proof is complete. Proposition 2 A solution of R2,it2Rti = tiR2,it2R is given by oo (21) m=0 where (3q = 1, (3i is arbitrary and Pa+i = iPaPi + Pa-i{q-' " l)q^'-''^^^) /[a + 1] (22) 2 CONSTRUCTION OF THE CYLINDER TWIST 8 From this expressions t can be calculated in all irreducible representations ollAq{sl2)- We give the matrices in the 2, 3 and 4 dimensional representations. We use the standard basis in the order of decreasing weights. (23) (1 - g + (7/3?)/g2 g-7/4(g + i)i/2^^ ^-2 + -q-^ I (24) -,-1 ^-13/4^(1 _ g + ^/32) g-5/2(i^^)^^ ^-9/4 g V q-^'^ / (25) 7:=(l+g + (?2)V2 (26) It can easily be checked that these matrices indeed fulfil It should be noted that the proposition leads to a second infinite series of tensor representations of the braid group ZB„ because there is a second series of irreducible rep- resentations of the quantum Weyl group lAq{sl2). These representations are not irreducible as representations oiUq{sl2)- We calculate the inverse of z. Lemma 3 oo z-^ = ^rnq-'^'^'^Y^ (27) m=0 ao = 1 (28) = - £ a,_i_^/?„r"^("-i— (29) a m=0 Proof: m,n m,n m,n Looking at the term with one obtains oq = 1. We now consider the terms with q-Ha/Aya^^y 1. We Substitute n = a — m. Since n > we obtain a restriction for the m summation < m < a The coefficient that should vanish is -m(a—m) /2 Isolation of yields the formula given in the lemma. □ m=0 3 PROPERTIES OF THE CYLINDER TWIST 9 3 Properties of the cylinder twist In this section we try to analyse the the algebraic properties of t and try to fit them in a broader framework. In Q we were led by categorial considerations to the following axioms: A restricted Coxeter-B braided Hopf algebra is a ribbon Hopf algebra with an element v € H such that R2,lV2Rvi = ViR2,lV2R (30) e(u) = 1 (31) A(U) = R-h2Rvi (32) S{v) = v'^W^ (33) Now, we consider the properties of t. Proposition 4 -^2,1^2^^! = ^1^2, 1^2^ (34) A(i) = R~H2Rti (35) e{t) = 1 (36) Proof: The first equation has already been proven. A(t) = A{w)A{z) = R^^WiW2Z2'W2R2,lW2^ Zi = R~^W2Z2'WiW2R2,l'W2^'Wi^WiZi = R^^W2Z2RwiZi = R^^t2Rti The third equation is trivial. □ Since ( |33D follows from the remaining axioms we conclude that the quantum Weyl group of sl2 is a restricted Coxeter-B braided Hopf algebra. 4 Outlook A natural further challenge is to find a cylinder twist element t in the quantum Weyl groups associated to other Lie algebras. The Weyl element w has a natural generalisation as the longest element wq in the quantum Weyl group. However, generalising our construction of z would require to evaluate products of root vectors which is a highly non-trivial task. We would need a sort of quantum double construction of z. Using the fact that wq maps a positive root vector to a multiple of a negative root vector and hence interchanges H and H* in the quantum double construction one may write down a version of (^). To be more precise, consider the quantum double realised as in on iJ* (g) H. With dual bases {/"}, {e"} the R matrix is R = J2a /" "SD 1 (X) 1 (8) e*^. We assume that there are scalars Xa such that «;(/" ® l)ii;"^ = A„(l (g) e"). This implies w(l e")z«"^ = Xa^if"" 8) 1) and {w (8) 'w)R = R2,i{w ® w). Furthermore, we assume /S.{w) = R^^(w ® w). Then the ansatz z = /5a(l e°) turns equation (^) into fi a,b,n Unfortunately, no natural solution suggests itself. Furthermore, one should clarify possible connections with other occurrences of (0), especially Majid's theory of braided Lie algebras |0. REFERENCES 10 References [1] T. torn Dicck: Knotcnthcorien und Wurzelsysteme I, II, Math. Gottingensis 21 (1993) and Math Gottingensis 44 (1993) [2] T. torn Dicck: On tensor representations of knot algebras, Math. Gottingensis 45 (1995) [3] T. torn Dieck, R. Haring-Oldcnburg: Quantum Groups and cylinder braiding [4] R. Haring-Oldenburg: Tensor Categories of Coxeter Type B and QFT on the Half Plane, to appear in Journal of Math. Physics [5] A. N. Kirillov, N. Reshetikhin: q-Weyl Group and a Multiplicative Formula for Universal R-Matrices, Comm. Math . Ph. 134 [6] S. Lcvendorski, Y. Soibclman: Algebras of Functions on Compact Quantum Groups, Schubert Cells and Quantiun Tori, Comm. Math. Ph. 139 [7] S. Majid: Foundations of Quantum Group Theory, Cambridge 1995