R-matrices of U_qOSP(1,2) for highest weight representations of U_qOSP(1,2) for general q a
合集下载
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
−1 ±1 ±1 ±1 ∆(ei ) = ei ⊗ ki + ki ⊗ ei ∆(ki ) = ki ⊗ ki −1 ∆(fi ) = fi ⊗ ki + ki ⊗ fi
R-matrices for Uq osp(1, 2) for highest weight
arXiv:hep-th/9304077v1 19 Apr 1993
representations of Uq osp(1, 2) for general q and q is an odd root of unity
n
∆(f )n =
i=0
n i
(k ⊗ f )i (f ⊗ k − 1 )n − i ,
−q
(3)
where we use the notations n m :=
x
(m)x ! , (n)x !(m − n)x ! (n)x := xn − 1 x−1
(n)x ! := (1)x (2)x . . . (n)x , 1
1
(1)
Recall that the multiplication in tensor product is defined by the rule: (a ⊗ b)(c ⊗ d) = (−1)p(a)p(b) ac ⊗ bd, where p(a) is a parity of a. From (1) and (2) it follows:
∗
T.S. Hakobyan †
Yerevan Physics Institute, Br.Alikhanian st.2 , Yerevan 36, Armenia and
A.G. Sedrakyan
Yerevan Physics Institute, Br. Alikhanian st.2, Yerevan 36, Armenia
(4)
n−1
n 2 +
,
where we used the notation of [18]: [x]+ := q x − (−1)2x q −x q +q
1 2
−1 2
(−1)2h = 1
and we denote [a, b] := ab − (−1)p(a)p(b) ba here and in the following. The center of Uq osp(1, 2) is generated by q -deformed Casimir element [18] c = −(q 2 + q − 2 )2 f 2 e2 + (qk 2 + q −1 k −2 )f e + {q 2 k 2 }2 q
1 e, [h, f ] = − 2 f . From (1) it follows ([18]): We put k = q h , where [h, e] = 1 2 n n−1 n 2 +
[e, f ] = (−f ) [f, e ] = (−e)
n
2h − [1]+ 2h + [1]+
n−1 2 + n−1 2 +
m 2 +
1
πj (f )vm = (−1)m vm+1
m−1 2 +
πj (f )v2j = 0 (6)
j+ [1]+
vm−1
Consider now the case of q is an odd root of unity. Let N is a minimnal odd integer, satisfying the condition q N = 1. It follows from (1) and (4) that then e2N , f 2N , k 2N belong to the center of Uq osp(1, 2). In the irreducible representation the values of these central elements are multiples of identity operator. Here we rewrite the action of Uq osp(1, 2) on cyclic (periodic) representation, which is 1 characterized by 3 complex numbers λ = q 2 µ , α, β [19], in the following form πλ,α,β (f )vm = vm+1 πλ,α,β (e)vm = (−1)
1 1 1
(5)
For q not a root of unity the finite-dimentional irreducible representations πj are in one-to-one correspondence with the Uq osp(1, 2) ones. They are characterj ized by nonnegative integer j and called spin- 2 representations. The action of the e, f, h in πj is given by [18] πj (h)vm = q 2 (j −m) vm πj (e)vm =
2N −1
a := πλ,α,β (e2N ) = β
i=1
b := πλ,α,β (f 2N ) = α, 2
(−1)i−1
2µ−i+1 2 +
[1]+
πλ,α,β (k 2N ) = q µ
− αβ
(8)
If a or b (α or β ) vanishes then the cyclic representation converts into semiperiodic one, which is irreducible for generic values of parameters also. The cyclic and semiperiodic representations have no analoque for the classical osp(1, 2). Now we will consider the affinization Uq osp(1, 2) of Uq osp(1, 2). It is generated by elements ei , fi , ki, (i = 0, 1), which satisfy the following relations
Abstract We obtain the formula for intertwining operator (R-matrix) of quantum universal enveloping superalgebra Uq osp(1, 2) for Uq osp(1, 2)-Verma modules. By its restriction we obtain the R-matrix for two semiperiodic (semicyclic), two spin-j and spin-j and semiperiodic representations.
πλ,α,β (f )v2N −1 = αv0
m m−1 2 + 2µ−m+1 2 +
[1]+
(m = 1 . . . 2N − 1),
+ (−1)m αβ vm−1
µ−m 2
(7)
πλ,α,β (e)v0 = βv2N −1
πλ,α,β (k )vm = q
i 2 +
vm
The central elements e2N , f 2N , k 2N take the values
±1 ±1 ±1 ±1 ki kj = kj ki ,
aij
±1 ∓1 ∓1 ±1 ki kj = kj ki (i, j = 0, 1)
−aij 2
−1 −1 ki fj ki =q ki ej ki = q 2 ej 2 [ei , fj ]+ = δij {ki }q ,
fj
(9)
1 −1 is Cartan matrix of Uq osp(1, 2), and Serre relations. −1 1 Here p(ei ) = p(fi ) = 1, p(ki ) = 0. On Uq osp(1, 2) there is a Hopf agebra structure: where aij =
February 1993
∗ †
This work was supported in part by the Bundesministerium fuer Forschung und Technologie e-mail erphi@adonis.ias.msk.su
0
The intertwining operators of quantum universal enveloping algebras [1, 2, 3] lead to integrable 2D statistical systems. For q (parameter of quantum group) isn’t a root of unity they all are unified in the Universal R-matrix for a given quantum group [1, 4, 5, 6]. For q is a root of unity its formal expression fails because of singularities, arizing in this case. But intertwiners for cyclic representations [7, 8] exists in this case also [9, 10, 11, 12, 13, 14] with a spectral parameter, lying on some algebraic curve, and correspond to Chiral Potts model [15, 16]. In [17] using the method of [13] had constructed the general formula for R-matrix of Uq sl(2, C) for highest weight representations of Uq sl(2, C) both for general q and q is a root of unity. In this work we obtain its analogue for quantum superalgebra Uq osp(1, 2) in a slightly different way. First we obtain the intertwiner for the tenzor product of two Verma modules and then restrict it to other highest weight representations of Uq osp(1, 2). The graded Yang-Baxter equations are considered also. Quantum superalgebra Uq osp(1, 2) is generated by odd elements e, f and even element k with (anti) commutation relations [18]: k ±1 k ∓1 = 1 kek −1 = q 2 e 1 kf k −1 = q − 2 f k 2 − k −2 [e, f ]+ = := {k 2 }q , q − q −1 where q is a deformation parameter. In Uq osp(1, 2) exists a Hoph algebra structure: ∆(e) = k ⊗ e + e ⊗ k −1 ∆(f ) = k ⊗ f + f ⊗ k −1 ∆(k ±1 ) = k ±1 ⊗ k ±1 (2)
R-matrices for Uq osp(1, 2) for highest weight
arXiv:hep-th/9304077v1 19 Apr 1993
representations of Uq osp(1, 2) for general q and q is an odd root of unity
n
∆(f )n =
i=0
n i
(k ⊗ f )i (f ⊗ k − 1 )n − i ,
−q
(3)
where we use the notations n m :=
x
(m)x ! , (n)x !(m − n)x ! (n)x := xn − 1 x−1
(n)x ! := (1)x (2)x . . . (n)x , 1
1
(1)
Recall that the multiplication in tensor product is defined by the rule: (a ⊗ b)(c ⊗ d) = (−1)p(a)p(b) ac ⊗ bd, where p(a) is a parity of a. From (1) and (2) it follows:
∗
T.S. Hakobyan †
Yerevan Physics Institute, Br.Alikhanian st.2 , Yerevan 36, Armenia and
A.G. Sedrakyan
Yerevan Physics Institute, Br. Alikhanian st.2, Yerevan 36, Armenia
(4)
n−1
n 2 +
,
where we used the notation of [18]: [x]+ := q x − (−1)2x q −x q +q
1 2
−1 2
(−1)2h = 1
and we denote [a, b] := ab − (−1)p(a)p(b) ba here and in the following. The center of Uq osp(1, 2) is generated by q -deformed Casimir element [18] c = −(q 2 + q − 2 )2 f 2 e2 + (qk 2 + q −1 k −2 )f e + {q 2 k 2 }2 q
1 e, [h, f ] = − 2 f . From (1) it follows ([18]): We put k = q h , where [h, e] = 1 2 n n−1 n 2 +
[e, f ] = (−f ) [f, e ] = (−e)
n
2h − [1]+ 2h + [1]+
n−1 2 + n−1 2 +
m 2 +
1
πj (f )vm = (−1)m vm+1
m−1 2 +
πj (f )v2j = 0 (6)
j+ [1]+
vm−1
Consider now the case of q is an odd root of unity. Let N is a minimnal odd integer, satisfying the condition q N = 1. It follows from (1) and (4) that then e2N , f 2N , k 2N belong to the center of Uq osp(1, 2). In the irreducible representation the values of these central elements are multiples of identity operator. Here we rewrite the action of Uq osp(1, 2) on cyclic (periodic) representation, which is 1 characterized by 3 complex numbers λ = q 2 µ , α, β [19], in the following form πλ,α,β (f )vm = vm+1 πλ,α,β (e)vm = (−1)
1 1 1
(5)
For q not a root of unity the finite-dimentional irreducible representations πj are in one-to-one correspondence with the Uq osp(1, 2) ones. They are characterj ized by nonnegative integer j and called spin- 2 representations. The action of the e, f, h in πj is given by [18] πj (h)vm = q 2 (j −m) vm πj (e)vm =
2N −1
a := πλ,α,β (e2N ) = β
i=1
b := πλ,α,β (f 2N ) = α, 2
(−1)i−1
2µ−i+1 2 +
[1]+
πλ,α,β (k 2N ) = q µ
− αβ
(8)
If a or b (α or β ) vanishes then the cyclic representation converts into semiperiodic one, which is irreducible for generic values of parameters also. The cyclic and semiperiodic representations have no analoque for the classical osp(1, 2). Now we will consider the affinization Uq osp(1, 2) of Uq osp(1, 2). It is generated by elements ei , fi , ki, (i = 0, 1), which satisfy the following relations
Abstract We obtain the formula for intertwining operator (R-matrix) of quantum universal enveloping superalgebra Uq osp(1, 2) for Uq osp(1, 2)-Verma modules. By its restriction we obtain the R-matrix for two semiperiodic (semicyclic), two spin-j and spin-j and semiperiodic representations.
πλ,α,β (f )v2N −1 = αv0
m m−1 2 + 2µ−m+1 2 +
[1]+
(m = 1 . . . 2N − 1),
+ (−1)m αβ vm−1
µ−m 2
(7)
πλ,α,β (e)v0 = βv2N −1
πλ,α,β (k )vm = q
i 2 +
vm
The central elements e2N , f 2N , k 2N take the values
±1 ±1 ±1 ±1 ki kj = kj ki ,
aij
±1 ∓1 ∓1 ±1 ki kj = kj ki (i, j = 0, 1)
−aij 2
−1 −1 ki fj ki =q ki ej ki = q 2 ej 2 [ei , fj ]+ = δij {ki }q ,
fj
(9)
1 −1 is Cartan matrix of Uq osp(1, 2), and Serre relations. −1 1 Here p(ei ) = p(fi ) = 1, p(ki ) = 0. On Uq osp(1, 2) there is a Hopf agebra structure: where aij =
February 1993
∗ †
This work was supported in part by the Bundesministerium fuer Forschung und Technologie e-mail erphi@adonis.ias.msk.su
0
The intertwining operators of quantum universal enveloping algebras [1, 2, 3] lead to integrable 2D statistical systems. For q (parameter of quantum group) isn’t a root of unity they all are unified in the Universal R-matrix for a given quantum group [1, 4, 5, 6]. For q is a root of unity its formal expression fails because of singularities, arizing in this case. But intertwiners for cyclic representations [7, 8] exists in this case also [9, 10, 11, 12, 13, 14] with a spectral parameter, lying on some algebraic curve, and correspond to Chiral Potts model [15, 16]. In [17] using the method of [13] had constructed the general formula for R-matrix of Uq sl(2, C) for highest weight representations of Uq sl(2, C) both for general q and q is a root of unity. In this work we obtain its analogue for quantum superalgebra Uq osp(1, 2) in a slightly different way. First we obtain the intertwiner for the tenzor product of two Verma modules and then restrict it to other highest weight representations of Uq osp(1, 2). The graded Yang-Baxter equations are considered also. Quantum superalgebra Uq osp(1, 2) is generated by odd elements e, f and even element k with (anti) commutation relations [18]: k ±1 k ∓1 = 1 kek −1 = q 2 e 1 kf k −1 = q − 2 f k 2 − k −2 [e, f ]+ = := {k 2 }q , q − q −1 where q is a deformation parameter. In Uq osp(1, 2) exists a Hoph algebra structure: ∆(e) = k ⊗ e + e ⊗ k −1 ∆(f ) = k ⊗ f + f ⊗ k −1 ∆(k ±1 ) = k ±1 ⊗ k ±1 (2)