arxiv:math/ v1 [math.qa] 20 Feb 2001

Transcription

1 COLOURED EXTENSION OF GL (2) AND ITS DUAL ALGEBRA arxiv:math/ v1 [math.qa] 20 Feb 2001 Deepak Parashar Max-Planck-Institute for Mathematics in the Sciences Inselstrasse 22-26, D Leipzig Germany We address the problem of duality between the coloured extension of the uantised algebra of functions on a group and that of its uantised universal enveloping algebra i.e. its dual. In particular, we derive explicitly the algebra dual to the coloured extension of GL (2) using the coloured RLL relations and exhibit its Hopf structure. This leads to a coloured generalisation of the R-matrix procedure to construct a bicovariant differential calculus on the coloured version of GL (2). In addition, we also propose a coloured generalisation of the geometric approach to uantum group duality given by Sudbery and Dobrev. 1. INTRODUCTION The uantum group GL (2) is known to admit a coloured extension by introducing some continuously varying colour parameters associated to the generators. In such an extension, the associated algebra and the coalgebra are defined in a way that all Hopf algebraic properties remain preserved. Such extensions have been introduced in [1, 2, 3] and studied by various authors [4, 5, 6, 7] in recent years. However, some of the basic algebro-geometric structure underlying these coloured extensions still needs to be established. As such, we shall Electronic address: Deepak.Parashar@mis.mpg.de

2 2 focus on the coloured extension of the most intuitive uantum group GL (2). While some aspects of this example have already been studied from both, the standard -deformations as well as the Jordanian (nonstandard) h-deformations [6, 7], it has only recently been shown [8] that the contraction procedure could be used to obtain the coloured Jordanian uantum groups from their coloured -deformed counterparts. In particular, the coloured extension of GL (2) was treated in detail in [8] to obtain a new coloured extension of Jordanian GL h (2). In the present paper, we investigate the algebra dual to the coloured extension of GL (2) by generalising two well-known approaches to the problem: the (algebraic) R-matrix approach [9] and the geometric approach [10, 11] due to Sudbery and Dobrev. We first clarify the notion of duality between a coloured uantum group and its dual i.e. the coloured uantised universal enveloping algebra. We then generalise the R-matrix approach to establish duality for the coloured extension of GL (2) and we obtain a new coloured uantum algebra corresponding to gl(2) and exhibit its Hopf algebra structure. The coloured R-matrix procedure naturally leads us to formulate a constructive differential calculus [12] on the coloured extension of GL (2). Furthermore, we propose a coloured generalisation of the geometric notion of duality for uantum groups i.e. regarding the dual algebra as the algebra of tangent vectors at the identity of the group. This generalisation could also be of significance in establishing the duality for the coloured extension of Jordanian uantum groups. 2. COLOURED EXTENSION OF GL Q (2) The coloured extension of the uantum group GL (2) is governed by the coloured R- matrix [4], R λ,µ = 1 (λ µ) λ+µ (λ+µ) (λ µ) (1)

3 3 which is nonadditive i.e. R λ,µ R(λ µ). It satisfies the so-called coloured uantum Yang-Baxter euation R λ,µ 12 Rλ,ν 13 Rµ,ν 23 = Rµ,ν 23 Rλ,ν 13 Rλ,µ 12 (2) which is in general multicomponent and λ, µ, ν are considered as colour variables. The RT T relations are also extended to incorporate the coloured extension as R λ,µ T 1λ T 2µ = T 2µ T 1λ R λ,µ (3) (where T 1λ = T λ 1 and T 2µ = 1 T µ ) in which the entries of the T matrices carry colour dependence i.e. T λ = ( a λ b λ ) ( aµ b c λ d λ, Tµ = µ c µ d µ ). The coproduct and counit for the coalgebra structure are given by (T λ ) = T λ T λ, ε(t λ ) = 1. The uantum determinant D λ = a λ d λ r (1+2λ) c λ b λ is group-like but not central. The antipode is given by S(T λ ) = D 1 λ d λ r 1+2λ b λ r 1 2λ c λ a λ (4) and depends on one colour variable at a time. The full Hopf algebraic structure can be constructed resulting in a coloured extension of GL (2) within the framework of the FRT formalism. Since λ and µ are continuous variables, this implies the coloured extension of GL (2) has an infinite number of generators. The colourless limit λ = µ = 0 gives back the ordinary single-parameter deformed uantum group GL (2), and the monochromatic limit λ = µ 0 gives rise to the uncoloured two-parameter deformed uantum group GL p, (2). 3. DUALITY (R-MATRIX APPROACH) In this section, we investigate in detail the dual structure for the coloured extension of GL (2) employing the R-matrix approach. In doing so, let us denote the generators of the yet unknown dual algebra by {A λ,b λ,c λ,d λ } and {A µ,b µ,c µ,d µ }. The following pairings hold A λ µ,a λ µ = B λ µ,b λ µ = C λ µ,c λ µ = D λ µ,d λ µ = 1 (5)

4 4 All other pairings give zeroes and the notation λ µ in the subscript in the above relations means either λ or µ. The R + and R matrices corresponding to the coloured extension of GL (2) are 1/2 1 λ+µ R + = c + 1/2 0 1/2 (λ+µ) 1/2 ( 1 ) /2 λ+µ /2 1+λ µ 1/2 (1 λ+µ) R = c 1/2 0 1/2 (λ+µ) /2 ( 1 ) 1/2 λ+µ /2 (1+λ µ) (6) (7) where R + = c + R 21 and R = c R 1 12 by definition. The coloured L ± functionals can be expressed as L + λ(µ) = c+ 1/2 Hλ(µ)/2 µhλ(µ) λh λ(µ) 1/2 ( 1 )C λ(µ) (8) 0 Hλ(µ)/2 µh λ(µ)+λh λ(µ) L λ(µ) = c 1/2 Hλ(µ)/2 λhλ(µ) µh λ(µ) 0 (9) 1/2 ( 1 )B λ(µ) Hλ(µ)/2 λh λ(µ)+µh λ(µ) where H λ = A λ D λ, H λ = A λ + D λ and H µ = A µ D µ, H µ = A µ + D µ. The notation λ(µ) in the subscript means λ (respectively µ). So, L + λ(µ) means L+ λ (resp. L+ µ ) Each one of L ± λ and L± µ depends on both λ and µ. The notation L± λ implies that the generators of the dual carry λ dependence, and similarly L ± µ implies that the generators of the dual carry µ dependence. The duality pairings are then given by the action of the functionals L ± λ and L ± µ on the T-matrices T λ and T µ (L + λ µ )a b (T λ µ) c d = (R+ ) ac bd (10) (L λ µ )a b(t λ µ ) c d = (R ) ac bd (11) Again, according to the notation introduced T λ µ implies T λ or T µ and L ± λ µ implies L± λ or L ± µ. For vanishing colour variables, the coloured L ± functionals reduce to the ordinary

5 5 L ± functionals for GL (2). The commutation relations of the algebra dual to a coloured uantum group can be obtained from the modified or the coloured RLL relations R 12 L ± 2λ L± 1µ = L ± 1µL ± 2λ R 12 (12) R 12 L + 2λ L 1µ = L 1µ L+ 2λ R 12 (13) using the coloured L ± functionals where L ± 1µ = L± µ 1 and L± 2λ = 1 L± λ. Using the above formulae, we obtain the commutation relations between the generating elements of the algebra dual to the coloured extension of GL (2). [A λ,b µ ] = B µ [D λ,b µ ] = B µ [A λ,c µ ] = C µ [D λ,c µ ] = C µ (14) [A λ,d µ ] = 0 [H λ,h µ ] = 0 [H λ, ] = 0 (λ+µ) C λ B µ λ+µ B µ C λ = λhµ+µh λ [ ] (H λ+h µ) λh λ µh 1 µ 2 (H λ+h µ) λh λ +µh µ (15) A λ A µ = A µ A λ B λ B µ = 2(µ λ) B µ B λ C λ C µ = 2(λ µ) C µ C λ (16) D λ D µ = D µ D λ where H λ and H λ are as before. The relations satisfy the λ µ exchange symmetry. The associated coproduct of the elements of the dual algebra is given by (A λ(µ) ) = A λ(µ) 1+1 A λ(µ) (17) (B λ(µ) ) = B λ(µ) A λ(µ) D λ(µ) +1 B λ(µ) (18) (C λ(µ) ) = C λ(µ) A λ(µ) D λ(µ) +1 C λ(µ) (19) (D λ(µ) ) = D λ(µ) 1+1 D λ(µ) (20) The counit ε(y λ µ ) = 0; where Y λ(µ) = {A λ(µ),b λ(µ),c λ(µ),d λ(µ) } and the antipode is S(A λ(µ) ) = A λ(µ) (21) S(B λ(µ) ) = B λ(µ) (A λ(µ) D λ(µ) ) S(C λ(µ) ) = C λ(µ) (A λ(µ) D λ(µ) ) (22) (23) S(D λ(µ) ) = D λ(µ) (24)

6 6 Thus we have defined a new single-parameter coloured uantum algebra corresponding to gl(2), which in the monochromatic limit defines the standard uncoloured two-parameter uantum algebra for gl(2). 4. CONSTRUCTIVE CALCULUS We now proceed towards a coloured generalisation of the constructive differential calculus [12,13]forthecolouredextensionofGL (2). Analogoustothestandarduncoloureduantum group, a bimodule Γ (space of uantum one-forms ω) is characterised by the commutation relations between ω and a λ(µ) A, the coloured uantum group corresponding to GL (2) ωa λ(µ) = (1 f λ,µ ) (a λ(µ) )ω (25) and the linear functional f λ,µ is defined in terms of the coloured L ± matrices f λ,µ = S(L + λ µ )L λ µ (26) Thus, we have ωa λ(µ) = [(1 S(L + λ µ )L λ µ ) (a λ(µ))]ω (27) In terms of components, this can be written as ω ij a λ(µ) = [(1 S(l + (λ µ)ki )l (λ µ)jl ) (a λ(µ))]ω kl (28) using the expressions L ± = l ± ij and ω = ω ij where i,j = 1,2. From these relations, one can obtain the commutation relations of all the left-invariant one-forms with the elements of the coloured extension of GL (2) The left-invariant vector fields χ ij on A are given by the expression χ ij = S(l + (λ µ)ik )l (λ µ)kj δ ijε (29) The vector fields act on the elements a λ(µ) of the coloured uantum group as χ ij a λ(µ) = (S(l + (λ µ)ik )l (λ µ)kj δ ijε)a λ(µ) (30)

7 7 Furthermore, using theformulada λ(µ) = i (χ i a λ(µ) )ω i, weobtaintheactionoftheexterior derivative on the generating elements da λ(µ) = (s 2+2(λ µ) 1)a λ(µ) ω 1 +s( 1 ) λ+µ b λ(µ) ω + (31) +(s 1)a λ(µ) ω 2 db λ(µ) = (s( 1 ) 2 +s 1)b λ(µ) ω 1 +s( 1 ) (λ+µ) a λ(µ) ω (32) +(s 2+2(µ λ) 1)b λ(µ) ω 2 dc λ(µ) = (s 2+2(λ µ) 1)c λ(µ) ω 1 +s( 1 ) λ+µ d λ(µ) ω + (33) +(s 1)c λ(µ) ω 2 dd λ(µ) = (s( 1 ) 2 +s 1)d λ(µ) ω 1 +s( 1 ) (λ+µ) c λ(µ) ω (34) +(s 2+2(µ λ) 1)d λ(µ) ω 2 where ω 1 = ω 11, ω + = ω 12, ω = ω 21, ω 2 = ω 22 and s = (c + ) 1 c. da generates Γ as a left A-module. This defines a first order differential calculus (Γ, d) on the coloured extension of GL (2). Since the colour variables λ and µ are continuously varying, the differential calculus obtained is infinite-dimensional. The differential calculus on the uncoloured singleparameter uantum group GL (2) is easily recovered in the colourless limit and that of the uncoloured two-parameter uantum group GL p, (2) in the monochromatic limit. 5. DUAL BASIS (GEOMETRIC APPROACH) It is well-known that two bialgebras U and A are in duality if there exists a doubly nondegenerate bilinear form, : U A C;, : (u,a) u,a ; u U,a A (35) such that for u,v U and a,b A, we have u,ab = U (u),a b uv,a = u v, A (a) (36)

8 8 1 U,a = ε A (a) u,1 A = ε U (u) (37) For the two bialgebras to be in duality as Hopf algebras, U and A further satisfy S U (u),a = u,s A (a) (38) It is enough to define the pairing between the generating elements of the two algebras. Pairing for any other elements of U and A follows from these relations and the bilinear form inherited by the tensor product. The geometric approach for duality for uantum groups was motivated by the fact that, at the classical level, an element of the Lie algebra corresponding to a Lie group is a tangent vector at the identity of the Lie group. Let H be a given Hopf algebra generated by non-commuting elements a, b, c, d. The -analogue of tangent vector at the identity would then be obtained by first differentiating the elements of the given Hopf algebra H (polynomials in a, b, c, d) and then putting ( a c d b) = ( ) later on (i.e., taking the counit operation analogous to the unit element at the group level). The elements thus obtained would belong to the dual Hopf algebra H. The approach is due to Sudbery [10] and Dobrev [11] and has proved to be uite a powerful tool in understanding the uantum group duality from a geometric point of view. In what follows in this section, we propose to give a coloured generalisation of such a geometric picture of duality using the example of GL (2). Let A λ,µ denote the coloured extension of GL (2). Then, as a Hopf algebra A λ,µ generated by elements y λ = {a λ,b λ,c λ,d λ } and y µ = {a µ,b µ,c µ,d µ }. The dual basis is given by all monomials of the form is g λ = g λ;klmn = a k λ dl λ bm λ cn λ g µ = g µ;klmn = a k µd l µb m µc n µ (39) where k,l,m,n Z +, and δ 0000 is the unit of the algebra 1 A. We use a normal ordering as follows; first put the diagonal elements from the T λ(µ) - matrix then use the lexicographic order for the others. Let U λ,µ of A λ,µ. Then U λ,µ be the algebra generated by tangent vectors at the identity is dually paired with A λ,µ. The pairing is defined through the coloured

9 9 -tangent vectors as follows Y λ,g λ = g λ y ( ) a λ b λ λ c λ d λ =( ) = ε( g λ ) (40) y λ Y µ,g λ = g λ y ( ) a λ b λ λ c λ d λ =( ) = ε( g λ ) (41) y λ Y λ,g µ = g µ ( ) a y µ b µ µ c µ d µ =( ) = ε( g µ ) (42) y µ Y µ,g µ = g µ ( ) a y µ b µ µ c µ d µ =( ) = ε( g µ ) (43) y µ where Y λ = {A λ,b λ,c λ,d λ } and Y µ = {A µ,b µ,c µ,d µ } are the sets of generating elements of the dual algebra (which has unit 1 U ). More compactly, one can write Explicitly, we obtain Y λ µ,g λ(µ) = ε( g λ(µ) y λ(µ) ) (44) A λ µ,g λ(µ) = ε( g λ(µ) a λ(µ) ) = kδ m0 δ n0 (45) B λ µ,g λ(µ) = ε( g λ(µ) b λ(µ) ) = δ m1 δ n0 (46) C λ µ,g λ(µ) = ε( g λ(µ) c λ(µ) ) = δ m0 δ n1 (47) D λ µ,g λ(µ) = ε( g λ(µ) d λ(µ) ) = lδ m0 δ n0 (48) where differentiation is from the right. As a conseuence of the above pairings, the following relations hold A λ µ,t λ µ = ( ) (49) B λ µ,t λ µ = ( ) (50) C λ µ,t λ µ = ( ) (51) D λ µ,t λ µ = ( ) (52) where T λ = ( a λ b λ ) ( ) aµ b c λ d λ and Tµ = µ c µ d µ as before. Furthermore, The action of the monomials in U λ,µ Y λ µ,1 A = 0; 1 U,g λ µ = ε A (g λ µ ) = δ m0 δ n0 (53) relations between the generators of the dual algebra. on g λ and g µ then lead to the coloured -commutation

10 10 6. CONCLUDING REMARKS WehaveinvestigatedthestructureofthecolouredextensionoftheuantumgroupGL (2) and its dual algebra. After establishing the notion of duality, the dual algebra has been derived explicitly using the R-matrix approach. We not only obtain a new coloured uantum algebra corresponding to gl(2) but also show that such a coloured generalisation of the R- matrix approach leads to formulating a constructive differential calculus for the coloured case. The colourless and the monochromatic limits of both the dual algebra as well as the differential calculus are in agreement with already known results for GL (2) and GL p, (2). In the later part of the paper, we have proposed a generalisation of the geometric picture of duality to incorporate the coloured extensions of uantum groups. It would be interesting to investigate in detail this setting in the context of the coloured Jordanian uantum groups. The results easily extend to the higher-dimensional and multi-parametric cases. REFERENCES [1] M. L. Ge and K. Xue, J. Phys. A24, L895 (1991). [2] C. Burdik and P. Hellinger, J. Phys. A25, L1023 (1992). [3] T. Ohtsuki, J. Knot Theor. Its Rami. 2, 211 (1993). [4] A. Kundu and B. Basu-Mallick, J. Phys. A27, 3091 (1994). [5] R. Chakrabarti and R. Jagannathan, J. Phys. A27, 2023 (1994). [6] C. Quesne, J. Math. Phys (1997); ibid (1998). [7] P. Parashar, Lett. Math. Phys (1998). [8] D. Parashar and R. J. McDermott, J. Math. Phys (2000). [9] L. D. Faddeev, N. Y. Reshetikhin and L. A. Takhtajan, Len. Math. J (1990). [10] A. Sudbery, Proc. Workshop on Quantum Groups, Argonne, eds. T. Curtright, D. Fairlie and C. Zachos, pp (1990). [11] V. K. Dobrev, J. Math. Phys (1992). [12] B. Jurco, Lett. Math. Phys (1991); Preprint CERN-TH 9417/94 (1994). [13] P. Aschieri and L. Castellani, Int. J. Mod. Phys. A (1993).