arxiv:math/ v1 [math.qa] 5 Nov 2002

Transcription

1 A new quantum analog of the Brauer algebra arxiv:math/ v1 [math.qa] 5 Nov 2002 A. I. Molev School of Mathematics and Statistics University of Sydney, NSW 2006, Australia alexm@ maths.usyd.edu.au Abstract We introduce a new algebra B l (z,q) depending on two nonzero complex parameters such that B l (q n,q) at q = 1 coincides with the Brauer algebra B l (n). We establish an analog of the Brauer Schur Weyl duality where the action of the new algebra commutes with the representation of the twisted deformation U q (o n) of the enveloping algebra U(o n ) in the tensor power of the vector representation. 1

2 1 Introduction In the classical Schur Weyl duality the actions of the general linear group GL(n) and the symmetric group S l in the tensor power (C n ) l are centralizers of each other. A quantum analog of this duality is provided by the actions of the quantized enveloping algebra U q (gl n ) and the Iwahori Hecke algebra H l (q) on the same space; see Jimbo [8], Leduc and Ram [10]. If the group GL(n) is replaced with the orthogonal group O(n) or symplectic group Sp(n) (with even n) the corresponding centralizer is generated by the action of a larger algebra B l (n) called the Brauer algebra originally introduced by Brauer in [2]. The group algebra C[S l ] is a natural subalgebra of B l (n). When U q (gl n ) is replaced by the quantized enveloping algebra U q (o n ) or U q (sp n ) then the corresponding centralizer is generated by the action of the algebra BMW l (z,q) introduced by Birman and Wenzl [1] and Murakami [12]; here the parameter z should be appropriately specialized. The algebraic structure and representations of the Brauer algebra and the Birman Wenzl Murakami algebra were also studied by Wenzl [18], Ram and Wenzl [16], Leduc and Ram [10], Halverson Ram [6], Nazarov [13]. Unlike the classical case, the algebras U q (o n ) and U q (sp n ) are not isomorphic to subalgebras of U q (gl n ). Accordingly, the Iwahori Hecke algebra H l (q) isnot a natural subalgebra of BMW l (z,q). On the other hand, there exist subalgebras U q(o n ) and U q (sp n) of U q (gl n ) which specialize respectively to U(o n ) and U(sp n ) as q 1. They were first introduced by Gavrilik and Klimyk [4] (orthogonal case) and by Noumi [14] (both cases). Following Noumi we call them twisted quantized enveloping algebras. Although U q(o n ) and U q(sp n ) are not Hopf algebras, they are coideal subalgebras of U q (gl n ). Thesealgebraswere studiedin[14]inconnectionwiththetheoryofquantum symmetric spaces. The algebra U q (o n) also appears as the symmetry algebra for the q-oscillator representation of the quantized enveloping algebra U q (sp 2m ); see Noumi, Umeda and Wakayama [15]. Central elements and representations of U q (o n) were studied by Gavrilik and Iorgov [5], Havlíček, Klimyk and Pošta [7], Klimyk [9]. A relationship between the algebras U q (o n) and U q (sp n) and their affine analogs was studied in [11]. In this paper we only consider the algebra U q(o n ) although the results can be easily extended to the symplectic case as well. We define a new algebra B l (z,q) and show that its action on the tensor power of the vector representation of U q (gl n ) (with z = q n ) commutes with that of the subalgebra U q (o n) U q (gl n ). We thus have an embedding (at least for generic q) of the Iwahori Hecke algebra H l (q) into B l (z,q). Moreover, the algebra B l (q n,q) coincides with the Brauer algebra B l (n) for q = 1. This work was inspired by Arun Ram s illuminating talks in Sydney and Newcastle. I would also like to thank him for valuable discussions. 2

3 2 Brauer algebra and its quantum analog Let l be a positive integer and η a complex number. An l-diagram d is a collection of 2l dots arranged into two rows with l dots in each row connected by l edges such that any dot belongs to only one edge. The product of two diagrams d 1 and d 2 is determined by placing d 1 above d 2 and identifying the vertices of the bottom row of d 1 with the corresponding vertices in the top row of d 2. Let s be the number of loops in the picture. The product d 1 d 2 is given by η s times the resulting diagram without loops. The Brauer algebra B l (η) isdefined asthe C-linear span ofthe l-diagramswith the multiplication defined above. The dimension of the algebra is 1 3 (2l 1). The following presentation of B l (η) is well-known; see, e.g., [1]. Proposition 2.1 The Brauer algebra B l (η) is isomorphic to the algebra with 2l 2 generators σ 1,...,σ l 1,e 1,...,e l 1 and the defining relations σ 2 i = 1, e 2 i = ηe i, σ i e i = e i σ i = e i, i = 1,...,l 1, σ i σ j = σ j σ i, e i e j = e j e i, σ i e j = e j σ i, i j > 1, σ i σ i+1 σ i = σ i+1 σ i σ i+1, e i e i+1 e i = e i, e i+1 e i e i+1 = e i+1, σ i e i+1 e i = σ i+1 e i, e i+1 e i σ i+1 = e i+1 σ i, i = 1,...,l 2. The generators σ i and e i correspond to the following diagrams respectively: 1 2 i i+1 l 1 l and 1 2 i i+1 l 1 l The subalgebra of B l (η) generated by σ 1,...,σ l 1 is isomorphic to the group algebra C[S l ] so that σ i can be identified with the transposition (i,i+1). It is clear from the presentation that the algebra B l (η) is generated by σ 1,...,σ l 1 and one of the elements e i. The following proposition is easy to verify. We put k = l 1 to make the formulas more readable. Proposition 2.2 The Brauer algebra B l (η) is isomorphic to the algebra with generators σ 1,...,σ l 1,e l 1 and the defining relations σ 2 i = 1, σ i σ j = σ j σ i, σ i σ i+1 σ i = σ i+1 σ i σ i+1, e 2 k = ηe k, σ k e k = e k σ k = e k, e k σ k 1 e k = e k, σ i e k = e k σ i, i = 1,...,k 2, e k τ e k τ = τ e k τ e k, where τ = σ k 1 σ k 2 σ k σ k 1. 3

4 Note that τ is the permutation (k 2,k)(k 1,k+1) and so the last relation of Proposition 2.2 is equivalent to the relation e k 2 e k = e k e k 2 in the presentation of Proposition 2.1. Suppose now that q and z are nonzero complex numbers. Definition 2.3 The algebra B l (z,q) is defined to be the algebra over C with generators σ 1,...,σ l 1,e l 1 and the defining relations σ 2 i = (q q 1 )σ i +1, σ i σ j = σ j σ i, σ i σ i+1 σ i = σ i+1 σ i σ i+1, e 2 k = z z 1 q q 1 e k, σ k e k = e k σ k = qe k, e k σ k 1 e k = ze k, σ i e k = e k σ i, i = 1,...,k 2, e k (zqτ 1 +z 1 q 1 τ)e k (qτ 1 +q 1 τ) = (qτ 1 +q 1 τ)e k (zqτ 1 +z 1 q 1 τ)e k, where k = l 1 and τ = σ k 1 σ k 2 σ k σ k 1. We have used the same symbols for the generators of the both algebras B l (z,q) and B l (η) since B l (z,q) becomes the Brauer algebra for the special case q = 1 where z is chosen in such a way that the ratio (z z 1 )/(q q 1 ) takes value η at q = 1. In particular, if η = n is a positive integer then B l (q n,q) coincides with B l (n) for q = 1. The relations in the first line of Definition 2.3 are precisely the defining relation of the Iwahori Hecke algebra H l (q). So we have a natural homomorphism H l (q) B l (z,q). (2.1) Its injectivity for generic q (not a root of unity) can be deduced from the Schur Weyl duality between U q (gl n ) and H l (q); see Section 4. We can therefore regard H l (q) as a subalgebra of B l (z,q). The algebra B l (z,q) has a presentation analogous to the one given in Proposition 2.1. However, it does not seem to exist an obvious choice of a distinguished family of generators analogous to the e i. As an example of such a family we can take the elements e i of the algebra B l (z,q) defined inductively by the formulas e i = σ i+1 σ i e i+1 σi 1 σi+1 1, i = 1,...,l 2. (2.2) Then the following relations are easily deduced from Definition 2.3: e 2 i = z z 1 q q 1 e i, σ i e i = e i σ i = qe i, i = 1,...,l 1, σ i e j = e j σ i, i j > 1, e i e i+1 e i = e i, e i+1 e i e i+1 = e i+1, e i σ i+1 e i = e i σ i 1 e i = ze i, e i σ 1 i+1 e i = e i σ 1 i 1 e i = z 1 e i, σ i e i+1 e i = zqσ 1 i+1 e i, e i+1 e i σ i+1 = zqe i+1 σ 1 i. 4

5 The analogs of the Brauer algebra relations e i e j = e j e i where i j > 1 have a complicated form and we shall not write them down. 3 Quantized enveloping algebras We shall use an R-matrix presentation of the algebra U q (gl n ); see Jimbo [8] and Reshetikhin, Takhtajan and Faddeev [17]. As before, q is a nonzero complex number. Consider the R-matrix R = q i E ii E ii + i j E ii E jj +(q q 1 ) i<j E ij E ji (3.1) which is an element of EndC n EndC n, where the E ij denote the standard matrix units and the indices run over the set {1,...,n}. The R-matrix satisfies the Yang Baxter equation R 12 R 13 R 23 = R 23 R 13 R 12, (3.2) wherebothsidestakevaluesinendc n EndC n EndC n andthesubindices indicate the copies of EndC n, e.g., R 12 = R 1 etc. The quantized enveloping algebra U q (gl n ) is generated by elements t ij and t ij with 1 i,j n subject to the relations t ij = t ji = 0, 1 i < j n, t ii t ii = t ii t ii = 1, 1 i n, RT 1 T 2 = T 2 T 1 R, RT 1 T 2 = T 2 T 1 R, RT 1 T 2 = T 2 T 1 R. (3.3) Here T and T are the matrices T = i,j E ij t ij, T = i,j E ij t ij, (3.4) which are regarded as elements of the algebra EndC n U q (gl n ). Both sides of each of the R-matrix relations in (3.3) are elements of EndC n EndC n U q (gl n ) and the subindices of T and T indicate the copies of EndC n where T or T acts. We shall also use another R-matrix R given by R = q 1 i E ii E ii + i j E ii E jj +(q 1 q) i>j E ij E ji. (3.5) We have the relation R = PR 1 P, (3.6) 5

6 where P = i,j E ij E ji (3.7) is the permutation operator. The coproduct on U q (gl n ) is defined by the relations (t ij ) = t ik t kj, ( t ij ) = k=1 t ik t kj. (3.8) k=1 The universal enveloping algebra U(gl n ) can be regarded as a limit specialization of U q (gl n ) as q 1 so that and t ij δ ij q q 1 E ij for i j (3.9) t ij δ ij q q 1 E ij for i j. (3.10) Following Noumi [14] introduce the twisted quantized enveloping algebra U q (o n) as the subalgebra of U q (gl n ) generated by the matrix elements s ij of the matrix S = T T t. More explicitly, s ij = t ia t ja. (3.11) It can be easily derived from (3.3) that the matrix S satisfies the relations a=1 s ij = 0, 1 i < j n, (3.12) s ii = 1, 1 i n, (3.13) RS 1 RS 2 = S 2 RS 1 R, (3.14) where R denotes the element obtained from R by the transposition in the first tensor factor: R = q i E ii E ii + i j E ii E jj +(q q 1 ) i<j E ji E ji. (3.15) It can be shown that (3.12) (3.14) are defining relations for the algebra U q(o n ); see [15], [11]. A different presentation of U q (o n) is given in the original paper by Gavrilik and Klimyk[4]. An isomorphism between the presentations is provided by Noumi[14]. As q 1 the algebra specializes to U(o n ) so that s ij q q 1 E ij E ji for i > j. (3.16) 6

7 4 Quantum Brauer duality We start by recalling the well-known quantum analog of the Schur Weyl duality between the quantized enveloping algebra U q (gl n ) and the Iwahori Hecke algebra H l (q); see [8], [10], [3, Chapter 10]. Consider the vector representation U q (gl n ) EndC n of the algebra U q (gl n ) defined by t ii q δ ia E aa, a=1 t ii t ij (q q 1 )E ij, i > j, t ij (q 1 q)e ij, i < j. q δ ia E aa, a=1 (4.1) It will be convenient to interpret the representation in a matrix form. We shall regard it as the homomorphism EndC n U q (gl n ) EndC n EndC n (4.2) so that the images of the matrices T and T are given by T R 01, T R01, (4.3) where we label the copies of EndC n in the tensor product EndC n EndC n by the indices 0 and 1, respectively, and the left prime of the R-matrices denotes the transposition in the first tensor factor; see (3.15). Using the coproduct (3.8) we consider the representation of U q (gl n ) in the tensor product space (C n ) l. In the matrix interpretation it takes the form EndC n U q (gl n ) EndC n EndC n EndC n, (4.4) with T R 01 R 0l, T R01 R0l, (4.5) where the multiple tensor product in (4.4) contains l+1 factors labelled by 0,1,...,l. We let Ř denote the element of the algebra EndCn EndC n defined by Ř = PR = q i E ii E ii + i j E ji E ij +(q q 1 ) i<j E jj E ii. (4.6) The mapping σ i Ři,i+1, i = 1,...,l 1 (4.7) defines a representation of the Iwahori Hecke algebra H l (q) in the space (C n ) l. If the parameter q C is generic (nonzero and not a root of unity) then the actions of 7

8 U q (gl n ) and H l (q) on (C n ) l are centralizers of each other. Moreover, if l < n then H l (q) is isomorphic to the centralizer of U q (gl n ). Consider now the restriction of the U q (gl n )-module (C n ) l to the subalgebra U q(o n ). The action of the elements s ij is given by the formula S R 01 R 0l R0l R 01. (4.8) Clearly, the operators Ři,i+1 belong to the centralizer of the action of U q (o n). Introduce an operator Q EndC n EndC n by Q = q n 2i+1 E ij E ij. (4.9) i,j=1 Proposition 4.1 The operator Q l 1,l commutes with the action of U q (o n) on (C n ) l. Proof. We need to verify that Q l 1,l commutes with the image of the matrix S given in (4.8). It is sufficient to consider the case l = 2 since Q l 1,l commutes with R 0i and R 0i for i l 2. The result will follow from the relations Q 12 R 01 R 02 R02 R01 = Q 12 = R 01 R 02 R02 R01 Q 12. (4.10) Letusprovethefirstequality. Weverifydirectlythattheoperators Rand Rcommute with each other and so the left hand side of (4.10) equals Q 12 R 01 R02 R 02 R01. We also 1 have R 20 = R 02 by (3.6) and Q 12 R 01 = Q 12R 20. (4.11) Therefore, Q 12 R 01 R02 R 02 R01 = Q 12 R 02 R01 = Q 12. (4.12) The proof of the second equality in (4.10) is similar and follows from the relations R 02 R01 Q 12 = Q 12 and R 01 R02 Q 12 = Q 12. (4.13) The following theorem establishes a quantum analog of the Brauer duality between the algebras U q(o n ) and B l (z,q) at z = q n. Theorem 4.2 The mappings and σ i Ři,i+1, i = 1,...,l 1 (4.14) e l 1 Q l 1,l (4.15) define a representation of the algebra B l (q n,q) on the space (C n ) l. Moreover, the actions of the algebras U q (o n) and B l (q n,q) on this space commute with each other. 8

9 Proof. The second statement follows from Proposition 4.1. We now verify the relations of Definition 2.3 with z = q n for the operators Ři,i+1 and Q l 1,l. This is done by an easy calculation for all relations except for the last one whose proof is more involved. Clearly, in order to the verify the latter we may assume that l = 4. We start by proving the following relations and Q 34 Ř 23 Ř 34 Ř 12 Ř 23 Q 34 = Q 12 Q 34 +q n+1 (q q 1 )Q 34 (Ř12 +Iq 1 ) (4.16) Q 34 Ř 23Ř Ř 1 12Ř 1 23 Q 34 = Q 12 Q 34 +q n 1 (q 1 q)q 34 (Ř12 +Iq 1 ), (4.17) where I is the identity operator. Replacing Ř by PR we can rewrite the left hand side of (4.16) as P 13 P 24 Q 12 R 14 R 24 R 13 R 23 Q 34. (4.18) Introducing the diagonal matrix D = we can present the operator Q 12 EndC n EndC n as where where for any operator Q 12 = q n 2i+1 E ii EndC n, (4.19) i=1 Q 12 = D 1 Q 12 = D 2 Q 12, (4.20) i,j=1 E ij E ij = P 12 = P 12, (4.21) A = a ijrs E ij E rs EndC n EndC n (4.22) i,j,r,s we denote by A and A the corresponding transposed operators with respect to the first or second tensor factor: A = a ijrs E ji E rs (4.23) i,j,r,s and We have A = a ijrs E ij E sr. (4.24) i,j,r,s Q 12 R 14 = Q 12 R 24, R 23 Q 34 = D 4 R 24 Q 34. (4.25) 9

10 Now the operator (4.18) takes the form P 13 P 24 Q 12 R 13 R 24 R 24 D 4 R 24 Q 34. (4.26) Multiplying directly the matrices, we get R 24 R 24 D 4 R 24 = R 24 D 4 +q n+1 (q q 1 )Q 24. (4.27) Furthermore, Q 12 R 13 = Q 12 R 23, Q 24 Q 34 = P 23 Q 34, R 24 D 4 Q 34 = D 3 R 23 Q 34. (4.28) The operator (4.26) now becomes ( ) P 13 P 24 Q 12 R 23 D3 R 23 +q n+1 (q q 1 )P 23 Q34. (4.29) Performing another multiplication, we write this as P 13 P 24 Q 12 X 23 Q 34 (4.30) with Furthermore, X 23 = D 3 +q n+1 (q q 1 )(q 1 Q 23 + R 23 P 23 ). (4.31) P 13 P 24 Q 12 X 23 Q 34 = Q 34 P 13 P 24 X 23 Q 34 = Q 34 P 13 P 24 X 24 Q 34 = Q 34 P 13 Y 23 Q 34, (4.32) where Y 23 = P 23 X 23. Finally, since P 13 Y 23 = Y 21 P 13 and Q 34 P 13 Q 34 = Q 34, (4.33) the left hand side of (4.16) takes the form Y 21 Q 34 where Y 21 = Q 12 +q n+1 (q q 1 )(Ř12 +Iq 1 ) (4.34) thus completing the proof of (4.16). Without giving all the details, we note for the proof of (4.17) that Ř 1 12 = R 21 P 12 by (3.6) and so the left hand side of the relation can be written as Q 34 R32 R42 R31 R41 Q 12 P 13 P 24. (4.35) Then we proceed in the same manner as for the proof of (4.16) modifying the argument appropriately. 10

11 Now, (4.16) and (4.17) give ( ) Q 34 q n 1 Ř 23 Ř 34 Ř 12 Ř 23 +q n+1 Ř 23Ř Ř 1 12Ř 1 23 Q34 = ( q n 1 +q n+1) Q 12 Q 34. The proof of the theorem will be completed by verifying the following relations ( ) ( Q 12 Q 34 q 1 Ř 23 Ř 34 Ř 12 Ř 23 +qř 1 23Ř 1 34Ř 1 12 Ř 1 23 = q 3 +q 3) Q 12 Q 34 (4.36) and ( ) q 1 Ř 23 Ř 34 Ř 12 Ř 23 +qř 1 23Ř 1 34 Ř 1 12Ř 1 23 Q12 Q 34 = ( q 3 +q 3) Q 12 Q 34. (4.37) The arguments are similar for both relations, so we only give a proof of (4.36). Since Q 12 Q 34 = D 1 D 3 Q 12 Q 34 we may replace Q 12 Q 34 with Q 12 Q 34 in (4.36). We have Furthermore, Q 12 Q 34 Ř 23 Ř 34 Ř 12 Ř 23 = Q 12 Q 34 P 13 P 24 R 14 R 24 R 13 R 23. (4.38) Q 12 Q 34 P 13 P 24 = Q 12 P 13 P 24 Q 12 = Q 12 Q 23 P 24 Q 12 = Q 12 P 24 Q 34 Q 12 = Q 12 P 24 Q 12 Q 34 = Q 12 Q 34. (4.39) The right hand side of (4.38) now takes the form Q 12 Q 34 R 14 R 24 R 13 R 23. Using the relations Q 12 R 14 = Q 12 R 24, Q 12 Q 34 R 13 = Q 12 Q 34 R 14 = Q 12 Q 34 R 24, (4.40) we can write it as where Q 12 Q 34 V 24 R 23 = Q 12 Q 34 V 23 R 23, (4.41) V 23 = R 23 R 23 R 23. (4.42) Now we transform the second summand on the left hand side of (4.36) in a similar manner. Since Ř 1 = P R we have Q 12 Q 34 Ř 23Ř Ř 1 12Ř 1 23 = Q 12Q 34 R14 R24 R13 R23. (4.43) Exactly as above, we write this operator in the form where A direct calculation shows that completing the proof. Q 12 Q 34 W 23 R 23, (4.44) W 23 = R 23 R23 R23. (4.45) q 1 V R+qW R = ( q 3 +q 3) I, (4.46) 11

12 References [1] J. Birman and H. Wenzl, Braids, link polynomials and a new algebra, Trans. AMS 313 (1989), [2] R. Brauer, On algebras which are connected with the semisimple continuous groups, Ann. Math. 38 (1937), [3] V. Chari and A. Pressley, A guide to quantum groups, Cambridge University Press, [4] A. M. Gavrilik and A. U. Klimyk, q-deformed orthogonal and pseudo-orthogonal algebras and their representations, Lett. Math. Phys. 21 (1991), [5] A. M. Gavrilik and N. Z. Iorgov, On Casimir elements of q-algebras U q(so n ) and their eigenvalues in representations, in Symmetry in nonlinear mathematical physics, Proc. Inst. Mat. Ukr. Nat. Acad. Sci. 30, Kyiv, 1999, pp [6] T. Halverson and A. Ram, Characters of algebras cantaining a Jones basic construction: the Temperley Lieb, Okada, Brauer, and Birman Wenzl algebras, Adv. Math. 116 (1995), [7] M.Havlíček, A.U.KlimykandS.Pošta, Central elements of the algebras U q (so m) and U q (iso m ), Czechoslovak J. Phys. 50 (2000), [8] M. Jimbo, A q-analogue of U q (gl(n + 1)), Hecke algebra and the Yang Baxter equation, Lett. Math. Phys. 11 (1986), [9] A. U. Klimyk, Classification of irreducible representations of the q-deformed algebra U q(so n ), preprint math.qa/ [10] R. Leduc and A. Ram, A ribbon Hopf algebra approach to the irreducible representations of centralizer algebras: the Brauer, Birman Wenzl, and type A Iwahori Hecke algebras, Adv. Math. 125 (1997), [11] A. I. Molev, E. Ragoucy and P. Sorba, Coideal subalgebras of quantum affine algebras, preprint. [12] J. Murakami, The representations of the q-analogue of Brauer s centralizer algebras and the Kauffman polynomial of links, Publ. Res. Inst. Math. Sci. 26 (1990), [13] M. Nazarov, Young s orthogonal form for Brauer s centralizer algebra, J. Algebra 182 (1996),

13 [14] M. Noumi, Macdonald s symmetric polynomials as zonal spherical functions on quantum homogeneous spaces, Adv. Math. 123 (1996), [15] M. Noumi, T. Umeda and M. Wakayama, Dual pairs, spherical harmonics and a Capelli identity in quantum group theory, Compos. Math. 104 (1996), [16] A. Ram and H. Wenzl, Matrix units for centralizer algebras, J. Algebra 145 (1992), [17] N. Yu. Reshetikhin, L. A. Takhtajan and L. D. Faddeev, Quantization of Lie Groups and Lie algebras, Leningrad Math. J. 1 (1990), [18] H. Wenzl, On the structure of Brauer s centralizer algebras, Ann. Math. 128 (1988),