Skip to main content

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 



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 

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 




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 

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. 



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^) 


= J2 S{w)-^S(Pk)akW-^ = S{w-^)uw-^ 


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. 



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: 


W2R2,1W2' = g ^ > qn{n-m^_ql/2ynpn ^ pn ^9) 


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- 


' ^ \nn\\ 


Here we have used F"^-^'/^ = q-iH+2n)y8jpn_ 



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 


A{z) = q^®^l^{l (g) z)q-^®^/^ Bn{iq'""/^F'') (g) 1) (12) 


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: 


^= 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 \ ]] 

z ! m — z ! 

m i=0 

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 



Now that we have determined a and /3o we can consider the general case. The coefficient 
of (g) in (0) is 



[a + b]\ 

-H{a+b)/i ^ -Hi. 

In (15) we set t = a — n>0,s = b — n>0 and obtain the coefficient: 


^H{n-b-n-n/2-{a-n)/2)/2 ^ ^/f(-(fe-n)/2-n/2)/2 


.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 




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]\ 




S ^''[a-n]\[b-n]\ 








B' BL n'/2-n{a+b-l)/2 








Y_q-n{a+b)/2^3n/4+ny 4(^^-1 _ -^^n 


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 



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 




q'n-^a,b ^ ^(a+l-n)/2 

-n na,b , (a+l— n)/2 


n — I 


n — 1 

n — 1 


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^^ 


-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-' + (9"-" - q)B:^\)P'a-n+lP'b-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 




where (3q = 1, (3i is arbitrary and 

Pa+i = iPaPi + Pa-i{q-' " l)q^'-''^^^) /[a + 1] 




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. 


(1 - g + (7/3?)/g2 g-7/4(g + i)i/2^^ ^-2 

+ -q-^ I (24) 


^-13/4^(1 _ g + ^/32) g-5/2(i^^)^^ ^-9/4 g 

V q-^'^ / 


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 


z-^ = ^rnq-'^'^'^Y^ (27) 


ao = 1 (28) 
= - £ a,_i_^/?„r"^("-i— (29) 





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. □ 




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. 




[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