Abstract
Using the isomorphism \({\mathfrak {o}}(3;{\mathbb {C}})\simeq {\mathfrak {sl}}(2;{\mathbb {C}})\) we develop a new simple algebraic technique for complete classification of quantum deformations (the classical r-matrices) for real forms \({\mathfrak {o}}(3)\) and \({\mathfrak {o}}(2,1)\) of the complex Lie algebra \({\mathfrak {o}}(3;{\mathbb {C}})\) in terms of real forms of \({\mathfrak {sl}}(2;{\mathbb {C}})\): \({\mathfrak {su}}(2)\), \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\). We prove that the \(D=3\) Lorentz symmetry \({\mathfrak {o}}(2,1)\simeq {\mathfrak {su}}(1,1)\simeq {\mathfrak {sl}}(2;{\mathbb {R}})\) has three different Hopf-algebraic quantum deformations, which are expressed in the simplest way by two standard \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) q-analogs and by simple Jordanian \({\mathfrak {sl}}(2;{\mathbb {R}})\) twist deformation. These quantizations are presented in terms of the quantum Cartan–Weyl generators for the quantized algebras \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) as well as in terms of quantum Cartesian generators for the quantized algebra \({\mathfrak {o}}(2,1)\). Finally, some applications of the deformed \(D=3\) Lorentz symmetry are mentioned.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The search for quantum gravity is linked with studies of noncommutative space-times and quantum deformations of space-time symmetries. The considerations of simple dynamical models in quantized gravitational background (see e.g. [1,2,3]) indicate that the presence of quantum gravity effects generates noncommutativity of space-time coordinates, and as well the Lie-algebraic space-time symmetries (e.g. Lorentz, Poincaré) are modified into quantum symmetries, described by noncocommutative Hopf algebras, named by Drinfeld quantum deformations or quantum group [4]. We recall that in relativistic theories the basic role is played by Lorentz symmetries and the Lorentz algebra, i.e. all aspects of their quantum deformations should be studied in a very detailed and careful way.
For classifications, constructions and applications of quantum Hopf deformations of an universal enveloping algebra \(U({\mathfrak {g}})\) of a Lie algebra \({\mathfrak {g}}\), Lie bialgebras (\({\mathfrak {g}},\delta \)) play an essential role (see e.g. [4,5,6,7]). Here the co-bracket \(\delta \) is a linear skew-symmetric map \({\mathfrak {g}}\rightarrow {\mathfrak {g}}\wedge {\mathfrak {g}}\) with the relations consistent with the Lie bracket in \({\mathfrak {g}}\):
for any \(x,y\in {\mathfrak {g}}\). The first relation in (1.1) is a condition of the 1-cocycle and the second one is the co-Jacobi identity (see [4, 7]). The Lie bialgebra (\({\mathfrak {g}},\delta \)) is a correct infinitesimalization of the quantum Hopf deformation of \(U({\mathfrak {g}})\) and the operation \(\delta \) is an infinitesimal part of the difference between a coproduct \(\Delta \) and an opposite coproduct \(\tilde{\Delta }\) in the Hopf algebra, \(\delta (x)=h^{-1}(\Delta -\tilde{\Delta })\mod h\) where h is a deformation parameter. Any two Lie bialgebras (\({\mathfrak {g}},\delta \)) and (\({\mathfrak {g}},\delta '\)) are isomorphic (equivalent) if they are connected by a \({\mathfrak {g}}\)-automorphism \(\varphi \) satisfying the condition
for any \(x\in {\mathfrak {g}}\). Of special interest here are the quasitriangle Lie bialgebras \(({\mathfrak {g}},\delta _{(r)}):=({\mathfrak {g}},\delta ,r),\) where the co-bracket \(\delta _{(r)}\) is given by the classical r-matrix \(r\in {\mathfrak {g}}\wedge {\mathfrak {g}}\) as follows:
It is easy to see from (1.2) and (1.3) that two quasitriangular Lie bialgebras (\({\mathfrak {g}},\delta _{(r)}\)) and (\({\mathfrak {g}}, \delta _{(r')}\)) are isomorphic iff the classical r -matrices r and \(r'\) are isomorphic, i.e. \((\varphi \otimes \varphi )r'=r\). Therefore for a classification of all non-equivalent quasitriangular Lie bialgebras (\({\mathfrak {g}},\delta _{(r)}\)) of the given Lie algebra \({\mathfrak {g}}\) we need find all non-equivalent (nonisomorphic) classical r-matrices. Because non-equivalent quasitriangular Lie bialgebras uniquely determine non-equivalent quasitriangular quantum deformations (Hopf algebras) of \(U({\mathfrak {g}})\) (see [4, 5]) therefore the classification of all non-equivalent quasitriangular Hopf algebras is reduced to the classification of the non-equivalent classical r-matrices.
In this paper we investigate the quantum deformations of \(D=3\) Lorentz symmetry. Firstly, following [8], we obtain the complete classifications of the non-equivalent (nonisomorphic) classical r-matrices for complex Lie algebra \({\mathfrak {sl}}(2;{\mathbb {C}})\) and its real forms \({\mathfrak {su}}(2)\), \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) with the help of explicit formulas for the automorphisms of these Lie algebras in terms of the Cartan–Weyl bases. In the case of \({\mathfrak {sl}}(2;{\mathbb {C}})\) there are two non-equivalent classical r-matrices – standard and Jordanian ones. For \({\mathfrak {su}}(2)\) algebra there is only the standard non-equivalent r-matrix. These results are well known. For the \({\mathfrak {su}}(1,1)\) case we obtained three non-equivalent r-matrices – standard, quasi-standard and quasi-Jordanian ones. In the case of \({\mathfrak {sl}}(2;{\mathbb {R}})\) we find also three non-equivalent r-matrices – standard, quasi-standard and Jordanian ones. Then using isomorphisms \({\mathfrak {o}}(2,1)\simeq {\mathfrak {su}}(1,1)\simeq {\mathfrak {sl}}(2;{\mathbb {R}})\) we express these r-matrices in terms of the Cartesian basis of the \(D=3\) Lorentz algebra \({\mathfrak {o}}(2,1)\) and we see that two systems with three r-matrices for \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) algebras coincides. Thus we obtain that the isomorphic Lie algebras \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) have the isomorphic systems of their quasitriangle Lie bialgebras. In the case of \({\mathfrak {o}}(2,1)\) we see that the \(D=3\) Lorentz algebra has two standard q-deformations and one Jordanian. These Hopf deformations are presented in explicit form in terms of the quantum Cartan–Weyl generators for the quantized universal enveloping algebras of \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) and also in the terms of the quantum Cartesian generators.
It should be noted that the full list of the non-equivalent classical r-matrices for \({\mathfrak {sl}}(2;{\mathbb {R}})\) and \({\mathfrak {o}}(2,1)\) Lie algebras has been obtained early by different methods [9, 10] (see also [11,12,13]), however, the complete list of the non-equivalent Hopf quantizations for these Lie algebras has not been presented in the literature. Furthermore, there was put forward the incorrect hypothesis that the isomorphic Lie algebra \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) do not have any isomorphic quasitriangular Lie bialgebras (see [14]).
The isomorphic Lie algebras \({\mathfrak {o}}(2,1)\), \({\mathfrak {sl}}(2;{\mathbb {R}})\), \({\mathfrak {su}}(1,1)\) and their quantum deformations play very important role in physics as well as in mathematical considerations, so the structure of these deformations should be understood with full clarity. The \({\mathfrak {o}}(2,1)\) Lie algebra has been used as \(D=1\) conformal algebra describing basic symmetries in conformal classical and quantum mechanics [15]; in such a case the \({\mathfrak {o}}(2,1)\) algebra is realized as a nonlinear realization on the one-dimensional time axis [16, 17] and can be extended to \(\mathfrak {osp}(1|2)\) describing \(D=1\) \(N=2\) supersymmetric conformal algebra [18]. In field-theoretic framework the \({\mathfrak {o}}(2,1)\) Lie algebra describes Lorentz symmetries of three-dimensional relativistic systems with planar \(d=2\) space sector, which are often discussed as simplified version of the four-dimensional relativistic case. Due to the isomorphism \({\mathfrak {o}}(2,2)\simeq {\mathfrak {o}}(2,1)\oplus {\mathfrak {o}}(2,1)\) our results can be also applied to the description of \(D=3\) AdS symmetries [19]. We recall that \({\mathfrak {o}}(2,2)\) symmetry has been employed in Chern–Simons formulation of \(D=3\) gravity [20,21,22], with Lorentzian signature and nonvanishing negative cosmological constant. Subsequently, the quantum deformations of \(D=3\) Chern–Simons theory have been used for the description of \(D=3\) quantum gravity as deformed \(D=3\) topological QFT [23, 24]. Three-dimensional deformed space-time geometry is also a basis of historical Ponzano–Regge formulation of \(D=3\) quantum gravity [25], which was further developed into spin foam [26] and causal triangulation [27] approaches.
In mathematics and mathematical physics the importance of \({\mathfrak {o}}(2,1)\) and its deformations follows also from the unique role of the \({{\mathfrak {o}}}(2,1)\) algebra as the lowest-dimensional rank one noncompact simple Lie algebra, endowed only with unitary infinite-dimensional representations. One can point out that the program of deformations of infinite-dimensional modules of quantum-deformed \(U({{\mathfrak {su}}}(1,1))\) algebra has been initiated already more than 20 years ago (see e.g. [28, 29]). The \((2+1)\)-dimensional models are also important in the theory of classical and quantum integrable systems [30, 31] with their symmetries described by Poisson–Lie groups in classical case and after quantization by quantum groups. In particular recently, using a sigma model formulation of (super)string actions (see e.g. [32]), the integrable deformations of string target (super)spaces were obtained by Yang–Baxter deformations [33,34,35,36,37] of the principal as well as coset sigma models with symmetries, which may contain \(AdS_2\simeq {\mathfrak {o}}(2;1)\) and \(AdS_3\simeq {\mathfrak {o}}(2,2)\) factors [38,39,40].
The plan of our paper is the following. In Sect. 2 we consider the complex Lie algebra \({\mathfrak {o}}(3;{\mathbb {C}})\) and its all real forms: \({\mathfrak {o}}(3)\simeq {\mathfrak {su}}(2)\) and \({\mathfrak {o}}(2,1)\simeq {\mathfrak {su}}(1,1)\simeq {\mathfrak {sl}}(2;{\mathbb {R}})\). In Sect. 3 we classify all classical r-matrices for these real forms and in Sect. 4 we provide the explicit isomorphisms between the real \({\mathfrak {su}}(1,1)\), \({\mathfrak {sl}}(2;{\mathbb {R}})\) and \({\mathfrak {o}}(2,1)\) bialgebras. In Sect. 5 all three Hopf-algebraic quantizations (explicit quantum deformations) of the real \(D=3\) Lorentz symmetry are presented in detail: quantized bases, coproducts and universal R-matrices are given. In Sect. 6 we present short summary and outlook.
2 Complex \(D=3\) Euclidean Lie algebra \({\mathfrak {o}}(3;{\mathbb {C}})\) and its real forms
We first recall different most popular bases of the complex \(D=3\) Euclidean Lie algebra \({\mathfrak {o}}(3;{\mathbb {C}})\): metric, Cartesian and Cartan–Weyl bases (see [8]).
The metric basis contains in its commutation relations an explicit metric, namely, the complex \(D=3\) Euclidean Lie algebra \({\mathfrak {o}}(3;{\mathbb {C}})\) is generated by three Euclidean basis elements \(L_{ij}=-L_{ji}\in {\mathfrak {o}}(3;{\mathbb {C}})\) (\(i,j=1,2,3\)) satisfying the relations
where \(g_{ij}\) is the Euclidean metric: \(g_{ij}={\mathrm{diag}}\,(1,1,1)\). The Euclidean algebra \({\mathfrak {o}}(3;{\mathbb {C}})\), as a linear space, is a linear envelope of the basis \(\{L_{ij}\}\) over \({\mathbb {C}}\).
The Cartesian (or physical) basis of \({\mathfrak {o}}(3;{\mathbb {C}})\) is related with the generators \(L_{ij}\) as follows:
If we consider a Lie algebra over \({\mathbb {R}}\) with the commutation relations (2.3) then we get the compact real form \({\mathfrak {o}}(3):={\mathfrak {o}}(3;{\mathbb {R}})\) with the anti-Hermitian basis
The real form \({\mathfrak {o}}(2,1)\) is given by the formulas
For the description of quantum deformations and in particular for the classification of classical r-matrices of the complex Euclidean algebra \({\mathfrak {o}}(3;{\mathbb {C}})\) and its real forms \({\mathfrak {o}}(3)\) and \({\mathfrak {o}}(2,1)\) it is convenient to use the Cartan–Weyl (CW) basis of the isomorphic complex Lie algebra \({\mathfrak {sl}}(2;{\mathbb {C}})\) and its real forms \({\mathfrak {su}}(2)\), \({\mathfrak {sl}}(1,1)\) and \({\mathfrak {sl}}(2,{\mathbb {R}})\). In the case of \({\mathfrak {o}}(3)\) the \({\mathfrak {su}}(2)\) Cartan–Weyl basis can be chosen as follows:
where the conjugation (\(^*\)) is the same as in (2.4).Footnote 1
For the real form \({\mathfrak {o}}(2,1)\) we will use two CW bases of \({\mathfrak {sl}}(2;{\mathbb {C}})\) real forms: \({\mathfrak {sl}}(1,1)\) and \({\mathfrak {sl}}(2,{\mathbb {R}})\). Such bases are given by
The two bases \(\{E_{\pm },H\}\) and \(\{E_{\pm }',H'\}\) have the same commutation relations but they have different reality properties, namely
where the conjugation (\(^{\dag }\)) is the same as in (2.5).Footnote 2 The relations between the \({\mathfrak {su}}(1,1)\) and \({\mathfrak {su}}(2,{\mathbb {R}})\) bases look as follows:
3 Classical r-matrices of \({\mathfrak {sl}}(2;{\mathbb {C}})\) and its real forms: \({\mathfrak {su}}(2)\), \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\)
By definition any classical r-matrix of arbitrary complex or real Lie algebra \({\mathfrak {g}}\), \(r\in {\mathfrak {g}}\wedge {\mathfrak {g}}\), satisfy the classical Yang–Baxter equation (CYBE):
Here \([[\cdot ,\cdot ]]\) is the Schouten bracket which for any monomial skew-symmetric two-tensors \(r_{1}=x\wedge y\) and \(r_{2}=u\wedge v\) (\(x,y,u,v\in {\mathfrak {g}}\)) is given byFootnote 3
and \({\bar{\Omega }}\) is the \({\mathfrak {g}}\)-invariant element which in the case of \({\mathfrak {g}}:={\mathfrak {sl}}(2;{\mathbb {C}})\) looks as follows:
where \(\gamma \in {\mathbb {C}}\), and \(E_{\pm },H\) is the CW basis of \({\mathfrak {sl}}(2;{\mathbb {C}})\) with the defining relations on the second line of (2.6).
Firstly we show that any two-tensor of \({\mathfrak {sl}}(2;{\mathbb {C}})\wedge {\mathfrak {sl}}(2;{\mathbb {C}})\) is a classical \({\mathfrak {sl}}(2;{\mathbb {C}})\) r-matrix. Indeed, let
be an arbitrary element of \({\mathfrak {sl}}(2;{\mathbb {C}})\wedge {\mathfrak {sl}}(2;{\mathbb {C}})\), where
are the basis elements of \({\mathfrak {sl}}(2;{\mathbb {C}})\wedge {\mathfrak {sl}}(2;{\mathbb {C}})\). Because all terms (3.5) are classical r-matrices, moreover, \([[r_{\pm },r_{\pm }]]=0\), as well as the Schouten brackets of the elements \(r_{\pm }\) with \(r_{0}\) are also equal to zero, \([[r_{\pm },r_{0}]]=0\), we have
Thus an arbitrary element (3.4) is a classical r-matrix, and if its coefficients \(\beta _{\pm }\), \(\beta _{0}\) satisfy the condition \(\gamma :=\beta _{0}^{2}+\beta _{+}\beta _{-}=0\) then it satisfies the homogeneous CYBE; if \(\gamma :=\beta _{0}^{2}+\beta _{+}\beta _{-}\ne 0\) it satisfies the non-homogeneous CYBE.
We shall call the parameter \(\gamma =\beta _{0}^{2}+\beta _{+}\beta _{-}\) in (3.6) the \(\gamma \)-characteristic of the classical r-matrix (3.4). It is evident that the \(\gamma \)-characteristic of the classical r-matrix r is invariant under the \({\mathfrak {sl}}(2;{\mathbb {C}})\)-automorphisms, i.e. any two r-matrices r and \(r'\), which are connected by a \({\mathfrak {sl}}(2;{\mathbb {C}})\)-automorphism, have the same \(\gamma \)-characteristic, \(\gamma =\gamma '\). We can show also that any two \({\mathfrak {sl}}(2;{\mathbb {C}})\) r-matrices r and \(r'\) with the same \(\gamma \)-characteristic can be connected by a \({\mathfrak {sl}}(2;{\mathbb {C}})\)-automorphism.
There are two types of explicit \({\mathfrak {sl}}(2;{\mathbb {C}})\)-automorphisms which were presented in [8]. First type connecting the classical r-matrices with zero \(\gamma \)-characteristic is given by the formulas (see (3.15) in [8])Footnote 4:
where \(\chi \) is a non-zero rescaling parameter (including \(\chi =1\)), \(\kappa \) takes two values \(+1\) or \(-1\), and the parameters \(\tilde{\beta }_{i}\) (\(i=+,0,-\)) satisfy the conditions
Let us consider two general r-matrices with zero \(\gamma \)-characteristics:
where \(\beta _{0}^{2}+\beta _{+}\beta _{-}=0\) and \(\beta _{0}^{'2}+\beta _{+}'\beta _{-}'=0\). Moreover, we suppose that the parameters \(\beta _{\pm }\) and \(\beta _{\pm }'\) satisfy the additional relations:
where the parameters \(\kappa \) and \(\chi \) are the same as in (3.7). One can check that the following formula is valid:
where \(\varphi _{0 }\) is the \({\mathfrak {sl}}(2;{\mathbb {C}})\)-automorphism (3.7) with the following parameters:
It is easy to check that as expected Eqs. (3.12) satisfy the conditions (3.8).
Let us assume in (3.9), (3.11) and (3.12) that the parameters \(\beta _{0}'\) and \(\beta _{-}'\) are equal to zero. Then the general classical r-matrix r in (3.9), satisfying the homogeneous CYBE, is reduced to usual Jordanian form by the automorphism (3.7) with the parameters:
Second type of \({\mathfrak {sl}}(2;{\mathbb {C}})\)-automorphism connecting the classical r-matrices with non-zero \(\gamma \)-characteristic is given as follows:Footnote 5
where \(\chi \) is a non-zero rescaling parameter, and \(\tilde{\beta }_{0}^{2}+\tilde{\beta }_{+}\tilde{\beta }_{-}=1\).
Let us consider two general r-matrices with non-zero \(\gamma \)-characteristics:
where the parameters \(\beta _{\pm }\), \(\beta _{0}\) and \(\beta _{\pm }'\), \(\beta _{0}'\) can be equal to zero provided that \(\gamma =\beta _{0}^2+\beta _{+}\beta _{-}=\gamma '=(\beta _{0}')^2 +\beta _{+}'\beta _{-}'\ne 0\), i.e. the two r-matrices r and \(r'\) have the same non-zero \(\gamma \)-characteristic \(\gamma =\gamma '\ne 0\). One can check the following relation:
where \(\varphi _{1}\) is the \({\mathfrak {sl}}(2;{\mathbb {C}})\)-automorphism (3.14) with the parameters:
It is easy to check that Eqs. (3.17) satisfy the condition \(\tilde{\beta }_{0}^2+\tilde{\beta }_{+}\tilde{\beta }_{-}=1\).
If we assume in (3.15)–(3.17) that the parameters \(\beta _{\pm }'\) are equal to zero then the general classical r-matrix r in (3.15), satisfying the non-homogeneous CYBE, is reduced to the usual standard form by the automorphism (3.14) with the following parameters:
Finally for \({\mathfrak {sl}}(2,{\mathbb {C}})\) we obtain the following well-known result:
For the complex Lie algebra \({\mathfrak {sl}}(2,{\mathbb {C}})\) there exist up to \({\mathfrak {sl}}(2,{\mathbb {C}})\) automorphisms two solutions of CYBE, namely Jordanian \(r_{J}\) and standard \(r_{st}\):
where the complex parameter \(\beta \) in (3.19) can be removed by the rescaling automorphism: \(\varphi (E_{+})=\beta ^{-1}E_{+}\), \(\varphi (E_{-})=\beta E_{-}\), \(\varphi (H)=H\); in (3.20) the parameter \(\beta '=e^{\imath \phi }|\beta '|\) for \(|\phi |\le \frac{\pi }{2}\) is effective.
The general non-reduced expression (3.4) is convenient for the application of reality conditions
where \(\divideontimes \) is the conjugation associated with corresponding real form (\(\divideontimes =*,\dag \)), and \(\beta _{i}^{*}\) (\(i=+,0,-\)) means the complex conjugation of the number \(\beta _{i}\). It should be noted that for any classical r-matrix r, \(r^{\divideontimes }\) is again a classical r-matrix. Moreover, if r-matrix is anti-real (anti-Hermitian),Footnote 6 i.e. it satisfies the condition (3.21), then its \(\gamma \)-characteristic is real. Indeed, applying the conjugation \(\divideontimes \) to the relation (3.6) we have for the left-side \([[r,r]]^{\divideontimes }=-[[r^{\divideontimes }, r^{\divideontimes }]]=-[[r,r]]\) and for the right-side: \((\gamma \Omega )^{\divideontimes }=-\gamma ^{*}\Omega \) for all real forms \({\mathfrak {su}}(2)\), \({\mathfrak {su}}(1,1)\), \({\mathfrak {su}}(2;{\mathbb {R}})\). It follows that the parameter \(\gamma \) is real, \(\gamma ^{*}=\gamma \).
I. The compact real form \({\mathfrak {su}}(2)\) (\(H^{*}=H\), \(E_{\pm }^{*}=E_{\mp }\)).
In this case it follows from (3.21) that
If in (3.4) \(\gamma =\beta _{0}^{2}+\beta _{+}\beta _{-}=0\) then \(\beta _{0}\beta _{0}^{*}+\beta _{+}\beta _{+}^{*}=0\) and it follows that \(\beta _{0}=\beta _{+}=\beta _{-}=0\), i.e. any classical r -matrix, which satisfies the homogeneous CYBE and the \({\mathfrak {su}}(2)\) reality condition, is equal zero.
If in (3.4) \(\gamma =\beta _{0}^{2}+\beta _{+}\beta _{-}\ne 0\) we have three possible \({\mathfrak {su}}(2)\) real classical r-matrices:
where \(\beta _{0}\) and \(\beta _{0}'\) are real numbers and we use the conditions (3.22). The r-matrices \(r_{i}\) (\(i=1,2,3\)) satisfy the non-homogeneous CYBE
where all \(\gamma _{i}\) (\(i=1,2,3\)) are positive: \(\gamma _{1}=\beta _{0}^{2}>0\), \(\gamma _{2}=\beta _{+}\beta _{+}^{*}>0\), \(\gamma _{3}={\beta _{0}'}^{\!2}+\beta _{+}'{\beta _{+}'}^{\!\!*}>0\).
Let the classical r-matrices (3.15) be \({\mathfrak {su}}(2)\)-anti-real, i.e. their parameters satisfy the reality conditions (3.22). It follows that the functions (3.17) for \(\chi =e^{\imath \phi }\) have the same conjugation properties, i.e. \(\tilde{\beta }_{0}^{*}=\tilde{\beta }_{0}\), \(\tilde{\beta }_{\pm }^{*}=\tilde{\beta }_{\mp }\), and we see that the automorphism (3.14) with such parameters is \({\mathfrak {su}}(2)\)-real, i.e.:
We see that the r-matrices \(r_{2}\) and \(r_{3}\) in (3.23) can be reduced to the standard r-matrix \(r_{st}:= r_{1}\) using Eq. (3.16).
It is easy to see that the standard r-matrix \(r_{st}=r_{1}\) in (3.23) effectively depends only on positive values of the parameter \(\alpha :=\beta _{0}\). Indeed, we see that
where \(\varphi \) is the simple \({\mathfrak {su}}(2)\) automorphism: \(\varphi (E_{\pm })=E_{\mp }\), \(\varphi (H)=-H\), i.e. any negative value of parameter \(\alpha \) in \(r_{st}\) can be replaced by the positive one.
We obtain the following result:
For the compact real form \({\mathfrak {su}}(2)\) there exists up to the \({\mathfrak {su}}(2)\) automorphisms only one solution of CYBE and this solution is the usual standard classical r-matrix \(r_{st}\):
where the effective parameter \(\alpha \) is a positive number, and \(\gamma =\alpha ^{2}\).
II. The non-compact real form \({\mathfrak {su}}(1,1)\) (\(H^{\dag }=H\), \(E_{\pm }^{\dag }=-E_{\mp }\)).
In this case it follows from (3.21) that
If \(\beta _{0}^{2}+\beta _{+}\beta _{-}=0\) in (3.4) then \(\beta _{0}\beta _{0}^{*}-\beta _{+}\beta _{+}^{*}=0\), i.e. \(\beta _{\pm }=\pm e^{\pm \imath \phi }|\beta _{0}|\), and we have the following \(\phi \)-family of \({\mathfrak {su}}(1,1)\) homogeneous CYBE solutions:
where \(\beta _{0}\) is real. By using the \({\mathfrak {su}}(1,1)\)-real rescaling automorphism \(\varphi (E_{\pm })=(-\imath e^{i\phi }\frac{|\beta _{0}|}{\beta _{0}})^{\pm 1}E_{\pm }\), \(\varphi (H)=H\) we can reduce the \(\phi \)-family (3.29) to \(r_{qJ}:=\beta _{0}(\imath E_{+}\wedge H+ E_{+}\wedge E_{-}+\imath H\wedge E_{-})\):
We shall call a \({\mathfrak {su}}(1,1)\)-real r-matrix “quasi-Jordanian” if it cannot be reduced to Jordanian form by a \({\mathfrak {su}}(1,1)\)-real automorphism, but after complexification of \({\mathfrak {su}}(1,1)\) it can be reduced to Jordanian form by an appropriate complex \({\mathfrak {sl}}(2,{\mathbb {C}})\)-automorphism. Thus all r-matrices in the \(\phi \)-family (3.29) are quasi-Jordanian and they are connected with each other by the \({\mathfrak {su}}(1,1)\)-real rescaling automorphism. We take \(r_{qJ}\) as an representative of the \(\phi \)-family. It is easy to see that the quasi-Jordanian r-matrix \(r_{qJ}\) effectively depends only on positive values of the parameter \(\beta _{0}\), indeed,
where \(\varphi \) is the simple \({\mathfrak {su}}(1,1)\) automorphism \(\varphi (E_{\pm })= -E_{\mp }\), \(\varphi (H)=-H\), i.e. any negative value of parameter \(\beta _{0}\) in \(r_{qJ}\) can be changed into a positive one.
In the case \(\beta _{0}^{2}+\beta _{+}\beta _{-}\ne 0\) in (3.4) we have four versions of \({\mathfrak {su}}(1,1)\)-real classical r-matrices. Two of them are characterized by positive value of \(\gamma _{i}\), (\(i=1,2\)):
where \(\beta _{0}\) and \(\beta _{0}'\) are real (see (3.28)), and \(\gamma _{1}=\beta _{0}^{2}>0\), \(\gamma _{2}=\beta _{0}'{\beta _{0}'}^{*}-\beta _{+}'{\beta _{+}'}^{*}>0\). The remaining two are with negative values of \(\gamma _{i}\), (\(i=3,4\)):
where \(\beta _{0}'''\) is real (see (3.28)), and \(\gamma _{3}=-\beta _{+}''{\beta _{+}''}^{*}<0\), \(\gamma _{4}=\beta _{0}'''{\beta _{0}'''}^{*}-\beta _{+}'''{\beta _{+}'''}^{*}<0\).
Let the classical r-matrices (3.15) be \({\mathfrak {su}}(1,1)\)-anti-real, i.e. their parameters satisfy the reality conditions (3.28). In such case the functions (3.17) for \(\chi =e^{\imath \phi }\) have the same conjugation properties, i.e. \(\tilde{\beta }_{0}^{*}=\tilde{\beta }_{0}\), \(\tilde{\beta }_{\pm }^{*}=-\tilde{\beta }_{\mp }\), and we see that the automorphism (3.14) with these parameters is \({\mathfrak {su}}(1,1)\)-real, i.e.:
It allows to reduce the r-matrix \(r_{2}\) to the standard r-matrix \(r_{st}:=r_{1}\) for \(\gamma _{1}=\gamma _{2}>0\) and the r-matrix \(r_{4}\) to the r-matrix \(r_{3}\) for \(\gamma _{3}=\gamma _{4}<0\) by use of Eq. (3.16). By analogy to the notation of quasi-Jordanian r-matrix we shall call the r-matrices \(r_{3}\) and \(r_{4}\) as quasi-standard ones and take \(r_{qst}:=\alpha (E_{+}+E_{-})\wedge H\) as their representative.Footnote 7
Finally for \({\mathfrak {su}}(1,1)\) we obtain the following results:
For the non-compact real form \({\mathfrak {su}}(1,1)\) there exist up to \({\mathfrak {su}}(1.1)\) automorphisms three solutions of CYBE, namely quasi-Jordanian \(r_{qJ}\), standard \(r_{st}\) and quasi-standard \(r_{qst}\):
where \(\alpha \) effectively is a positive number.
III. The non-compact real form \({\mathfrak {sl}}(2;{\mathbb {R}})\) (\({H'}^{\dag }=-H'\), \({E_{\pm }'}^{\dag }=-E_{\pm }'\)).
In this case from (3.21) we obtain
i.e. all parameters \(\beta _{i}\) (\(i=+,0,-\)) are purely imaginary.
Consider the case \(\beta _{0}^{2}+\beta _{+}\beta _{-}=0\) in (3.4). We have three \({\mathfrak {su}}(2;{\mathbb {R}})\) solutions of the homogeneous CYBE:
where all parameters \(\beta _{i}\) (\(i=+,-\)), \(\beta _{i}'\) (\(i=+,0,-\)) are purely imaginary, and \({\beta _{0}'}^{\!2}+\beta _{+}'\beta _{-}'=0\).
If the classical r-matrices (3.9), where all generators H, \(E_{\pm }\) are replaced by \(H'\), \(E_{\pm }'\), are \({\mathfrak {sl}}(2;{\mathbb {R}})\)-anti-real, i.e. their parameters satisfy the reality conditions (3.38), then for the real parameter \(\chi \) all functions (3.12) are real, i.e. \(\tilde{\beta }_{0}^{*}=\tilde{\beta }_{0}\), \(\tilde{\beta }_{\pm }^{*}=\tilde{\beta }_{\pm }\). We see that the automorphism of the type (3.7) with such parameters is \({\mathfrak {sl}}(2;{\mathbb {R}})\)-real, i.e.:
It allows to reduce the r-matrices \(r_{2}'\) and \(r_{3}'\) in (3.39) to the Jordanian r-matrix \(r_{J}':=r_{1}'\) by using Eq. (3.11).
In the case \(\beta _{0}^{2}+\beta _{+}\beta _{-}\ne 0\) in (3.4) we have seven versions of \({\mathfrak {sl}}(2;{\mathbb {R}})\)-real classical r-matrices. Five of them are with negative values of \(\gamma _{i}\), (\(i=1,2,\ldots ,5\)):
where all parameters \(\beta \) are purely imaginary, and \(\gamma _{1}=\gamma _{2}=\gamma _{3}=\beta _{0}^{2}<0\), \(\gamma _{4}=\beta _{+}'\beta _{-}'<0\), \(\gamma _{5}=\beta _{0}''+\beta _{+}''\beta _{-}''<0\); \(\Omega '\) is the \({\mathfrak {sl}}(2;{\mathbb {R}})\)-invariant elementFootnote 8: \(\Omega '\;=\,(4E_{-}'\wedge H'\wedge E_{+}'\). The remaining two r-matrices \(r_{i}'\) (\(i=6,7\)) have positive values of \(\gamma _{i}\):
where \(\gamma _{6}=\beta _{+}'''\beta _{-}'''>0\) and \(\gamma _{7}={\beta _{0}''''}^{2}+\beta _{+}''''\beta _{-}''''>0\).
Let the classical r-matrices (3.15) be \({\mathfrak {sl}}(2;{\mathbb {R}})\)-anti-real, i.e. with their parameters satisfying the reality conditions (3.38). In such a way the functions (3.17) for real \(\chi \) are real, i.e. \(\tilde{\beta }_{0}^{*}=\tilde{\beta }_{0}\), \(\tilde{\beta }_{\pm }^{*}=\tilde{\beta }_{\pm }\), and we see that the automorphism (3.14) with such parameters is \({\mathfrak {sl}}(2;{\mathbb {R}})\)-real. We can conclude that for the case of the negative \(\gamma \)-characteristics \(\gamma _{i}<0\) (\(i=1,\dots ,5\)) all r-matrices \(r_{i}\) \((i=2,\ldots ,5)\) in (3.41) are reduced to the standard formula \(r_{st}':=r_{1}'\) and in the case of the positive \(\gamma \)-characteristics \(\gamma _{i}>0\) (\(i=6,7\)) the classical r-matrix \(r_{7}'\) in (3.42) is reduced to the quasi-standard r-matrix \(r_{qst}':=r_{6}'\).
Let us show that the r-matrix \(r_{qst}'\) effectively depends only on one positive parameter. Indeed, it is easy to see that
where \(\varphi \) is the \({\mathfrak {sl}}(2,{\mathbb {R}})\)-real automorphism: \(\varphi (E_{\pm }')=\frac{\mp \imath \beta _{\pm }}{\sqrt{\beta ^{'''}_{+} \beta ^{'''}_{-}}}E_{\pm }'\), \(\varphi (H')=H'\), and \(\alpha =\sqrt{\beta ^{'''}_{+}\beta ^{'''}_{-}}\) is positive.
Finally for \({\mathfrak {sl}}(2,{\mathbb {R}})\) we obtain the following result:
For the non-compact real form \({\mathfrak {sl}}(2,{\mathbb {R}})\) there exist up to \({\mathfrak {sl}}(2,{\mathbb {R}})\) automorphisms three solutions of CYBE, namely Jordanian \(r_{J}'\), standard \(r_{st}'\) and quasi-standard \(r_{qst}'\):
where the parameter \(\alpha \) is a positive number.
4 Explicit isomorphism between \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) bialgebras and its application to \({\mathfrak {o}}(2,1)\) quantizations
Using Eqs. (2.7) and (2.8) we express the triplets of the classical \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) r-matrices in terms of the \({\mathfrak {o}}(2,1)\) basis (2.3), (2.5). We get the following results.
(i) The \({\mathfrak {su}}(1,1)\) case:
where the \({\mathfrak {o}}(2,1)\)-invariant element \(\Omega \) expressed in terms of the Cartesian basis (2.3) satisfying the reality condition (2.5) looks as follows:
(ii) The \({\mathfrak {su}}(2;{\mathbb {R}})\) case:
where \(\Omega '=\Omega \).
Comparing the r-matrix expressions (4.1)–(4.3) with (4.5)–(4.7) we obtain
We see that the quasi-Jordanian r-matrix \(r_{qJ}\) in the \({\mathfrak {su}}(1,1)\) basis is the same as the Jordanian r-matrix \(r_{J}'\) in the \({\mathfrak {sl}}(2;{\mathbb {R}})\) basis, and the standard r-matrix \(r_{st}\) in the \({\mathfrak {su}}(1,1)\) basis becomes the quasi-standard r-matrix \(r_{qst}'\) in the \({\mathfrak {sl}}(2;{\mathbb {R}})\) basis. Further, the quasi-standard r-matrix \(r_{qst}\) in the \({\mathfrak {su}}(1,1)\) basis is the same as the standard r-matrix \(r_{st}'\) in the \({\mathfrak {sl}}(2;{\mathbb {R}})\) basis.
Equations (4.8)–(4.10) show that the \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) bialgebras are isomorphic. This result finally resolves the doubts about isomorphism of these two bialgebras (for example, see [14]).
Using the isomorphisms of the \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) bialgebras we take as basic r-matrices for the \(D=3\) Lorentz algebra \({\mathfrak {o}}(2,1)\) the following ones:
The first two r-matrices \(r_{st}\) and \(r_{st}'\) with the effective positive parameter \(\alpha \) correspond to the q-analogs of \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) real algebras, the third r-matrix \(r_{J}'\) presents the Jordanian twist deformation of \({\mathfrak {sl}}(2;{\mathbb {R}})\). In the next section we shall show how to quantize the r-matrices (4.11)–(4.13) in an explicit form.
5 Quantizations of the \(D=3\) Lorentz symmetry
The q-analogs of the universal enveloping algebras \(U({\mathfrak {g}})\) for the real Lie algebras \({\mathfrak {g}}={\mathfrak {su}}(1,1)\), \({\mathfrak {sl}}(2;{\mathbb {R}})\) were already considered (see e.g. [7, 28, 29, 41]) and they are given as follows. The quantum deformation (q-analog) of \(U({\mathfrak {g}})\) is an unital associative algebra \(U_{q}({\mathfrak {g}})\) with generators \(X_{\pm }\), \(q^{\pm X_{0}}\) and the defining relations:
with the reality conditions:
where \(\alpha \) is real in accordance with (4.11) and (4.12).
A Hopf structure on \(U_{q}({\mathfrak {g}})\) (\({\mathfrak {g}}={\mathfrak {su}}(1,1)\), \({\mathfrak {sl}}(2;{\mathbb {R}})\)) is defined with the help of three additional operations: coproduct (comultiplication) \(\Delta _{q}\), antipode \(S_{q}\) and counit \(\epsilon _{q}\):
with the reality conditionsFootnote 9:
for any \(X\in U_{q}({\mathfrak {g}})\). The quantum algebra \(U_{q}({\mathfrak {g}})\) is endowed also with the opposite Hopf structure: opposite coproduct \(\tilde{\Delta }_{q}\),Footnote 10 corresponding antipode \(\tilde{S}_{q}\) and counit \(\tilde{\epsilon }_{q}\).
An invertible element \(R_{q}:=R_{q}({\mathfrak {g}})\) which satisfies the relations
as well as, due to (5.5), the quantum Yang–Baxter equation (QYBE)
is called the universal R-matrix. Let \(U_{q}(\mathfrak {b}_{+})\) and \(U_{q}(\mathfrak {b}_{-})\) be quantum Borel subalgebras of \(U_{q}({\mathfrak {g}})\), generated by \(X_{+}\), \(q^{\pm X_{0}}\) and \(X_{-}\), \(q^{\pm X_{0}}\), respectively. We denote by \(T_{q}(\mathfrak {b}_{+}\otimes \mathfrak {b}_{-})\) the Taylor extension of \(U_{q}(\mathfrak {b}_{+})\otimes U_{q}(\mathfrak {b}_{-})\).Footnote 11 One can show (see [42, 43]) that there exists a unique solution of equations (5.5) in the space \(T_{q}(\mathfrak {b}_{+}\otimes \mathfrak {b}_{-})\) and such a solution has the following form:
where \(q=e^{\alpha }\) for \(U_{q}({\mathfrak {su}}(1,1))\) and \(q=e^{{\imath {\alpha }}}\) for \(U_{q}({\mathfrak {sl}}(2;{\mathbb {R}}))\). Here we use the standard definition of the q-exponential:
Analogously, there exists a unique solution of equations (5.5) in the space \(T_{q}(\mathfrak {b}_{-}\otimes \mathfrak {b}_{+})=\tau \circ T_{q}(\mathfrak {b}_{+}\otimes \mathfrak {b}_{-})\) and such a solution is given by the formula
where q satisfies the conditions (5.2).
As formal Taylor series the solutions (5.7) and (5.9) are independent and they are related by
It should be noted also that
From the explicit forms (5.7) and (5.9) we see that
i.e. in the case \(U_{q}({\mathfrak {sl}}(2;{\mathbb {R}}))\) the two R-matrices \(R_{q}^{\succ }\), \(R_{q}^{\prec }\) are unitary and in the case \(U_{q}({\mathfrak {su}}(1,1))\) they can be called ”flip-Hermitian” or ”\(\tau \)-Hermitian”.
In the limit \(\alpha \rightarrow 0\) (\(q\rightarrow 1\)) we obtain for the R-matrix (5.5)
Here \(r_{BD}\) is the classical Belavin–Drinfeld r-matrix:
where \(\beta =\alpha \), \(X_{\pm }=E_{\pm }\), \(X_{0}=H\) for the case \({\mathfrak {g}}={\mathfrak {su}}(1,1)\), and \(\beta ={\imath {\alpha }}\), \(X_{\pm }=E_{\pm }'\), \(X_{0}=H'\) for the case \({\mathfrak {g}}={\mathfrak {sl}}(2;{\mathbb {R}})\). The r-matrix \(r_{BD}\) is not skew-symmetric and it satisfies the standard CYBE
which is obtained from QYBE (5.6) in the limit (5.13). The standard r-matrix (4.11) or (4.12) is the skew-symmetric part of \(r_{BD}\), namely
where \(\bar{r}_{st}=r_{BD}^{12}-r_{BD}^{21}\) is the standard r-matrix (4.11) or (4.12) and \(\bar{C}_{2}=2\beta C_{2}=r_{BD}^{12}+r_{BD}^{21}\) where \(C_{2}\) is the split Casimir element of \({\mathfrak {su}}(1,1)\) or \({\mathfrak {sl}}(2;{\mathbb {R}})\).
We can introduce the quantum Cartesian generators by the formulas \(X_{\pm }=\imath J_{1}\pm J_{3},\;q^{\pm X_{0}}=q^{\pm \imath J_{2}}.\) Footnote 12 In terms of these generators the quantum algebra \(U_{q}({\mathfrak {su}}(1,1))\), which will be denoted by \(U_{(r_{st})}({\mathfrak {o}}(2,1))\), can be reformulated as follows. The quantum deformation of \(U({\mathfrak {o}}(2,1))\), corresponding to the classical r-matrix (4.11), is an unital associative algebra \(U_{(r_{st})}({\mathfrak {o}}(2,1))\) with the generators \(\{J_{1},\;J_{3},\;q^{\pm \imath J_{2}}\}\) and the defining relations \((k=1,3)\):
with the reality condition \(J_{1}^{\dagger }=J_{1}\), \(J_{3}^{\dagger }=J_{3}\), \((q^{\pm \imath J_{2}})^{\dag }=q^{\pm \imath J_{2}}\), \(q^{*}=q\) (\(q:=e^{\alpha }\), \(\alpha \in {\mathbb {R}}\)). These relations are the q-analog of Eqs. (2.3) with the reality condition (2.5). The Hopf algebra structure on \(U_{(r_{st})}({\mathfrak {o}}(2,1))\) is given as follows \((k=1,3)\):
Substituting in Eqs. (5.7) and (5.9) the expressions \(X_{\pm }=\imath J_{1}\pm J_{3},\;q^{\pm X_{0}}=q^{\pm \imath J_{2}}\) we obtain the universal R-matrix in the terms of the quantum Cartesian generators \(J_{i}\) (\(i=1,2,3\)) with the defining relations (5.17).
We can also introduce other quantum Cartesian generators, by the formulas \(X_{\pm }=\imath J_{1}'\mp J_{2}',\;q^{\pm X_0}=q^{\pm \imath J_{3}'}\).Footnote 13 In terms of these generators the quantum algebra \(U_{q}({\mathfrak {sl}}(2;{\mathbb {R}})\), which will be denoted by \(U_{(r_{st}')}({\mathfrak {o}}(2,1))\), can be reformulated as follows. The quantum deformation of \(U({\mathfrak {o}}(2,1))\), corresponding to the classical r-matrix (4.12), is an unital associative algebra \(U_{(r_{st}')}({\mathfrak {o}}(2,1))\) with the generators \(\{J_{1}',\;J_{2}',\;q^{\pm \imath J_{3}'}\}\) and the defining relations \((k=1,2)\):
with the reality conditions \({J_{1}'}^{\dagger }=J_{1}'\), \({J_{2}'}^{\dagger }=-J_{2}'\), \((q^{\imath J_{3}'})^{\dagger }=q^{\imath J_{3}'}\), \(q^{*}=q^{-1}\) (\(q:=e^{{\imath {\alpha }}}\), \(\alpha \in {\mathbb {R}}\)). The Hopf structure on \(U_{(r_{st}')}({\mathfrak {o}}(2,1))\) are provided by the formulas \((k=1,2)\):
Substituting in Eqs. (5.7) and (5.9) the expressions \(X_{\pm }=\imath J_{1}'\pm J_{2}',\;q^{\pm X_{0}}=q^{\pm \imath J_{3}'}\) we obtain the universal R-matrix in terms of the quantum physical generators \(J_{i}'\) (\(i=1,2,3\)) with the defining relations (5.19).
The quantization of \(U({\mathfrak {sl}}(2;{\mathbb {R}}))\) corresponding to the classical Jordanian r-matrix (4.13) has well been known for a long time [44,45,46] and it is defined by the twist F (see [45]):
The two-tensor F satisfies the 2-cocycle condition
and the “unital” normalization
It is evident that the twist (5.21) is unitary
The twisting element F defines a deformation of the universal enveloping algebra \(U({\mathfrak {sl}}(2;{\mathbb {R}}))\) considered as a Hopf algebra. The new deformed coproduct and antipode are given as follows:
for any \(X\in U({\mathfrak {sl}}(2;{\mathbb {R}}))\), where \(\Delta (X)\) and S(X) are the coproduct and the antipode before twisting: \(\Delta (X)=X\otimes 1+1\otimes X\), \(S(X)=-X\); and
It is easy to see that we get the \(*\)-Hopf algebra, i.e.
for any \(X\in U({\mathfrak {sl}}(2;{\mathbb {R}}))\). One can calculate the following formulas for the deformed coproducts \(\Delta ^{(F)}\) (see [45]):
Using (5.25) and (5.26) one gets the formulas for the deformed antipode \(S^{(F)}\):
It is easy to see that the universal R-matrix \(R^{(F)}\) for this twisted deformation looks as follows:
In the limit \(\alpha \rightarrow 0\) we obtain for the R-matrix (5.30)
where \(r_{J}\) is the classical Jordanian r-matrix (4.13). Using Eqs. (2.8) we can express all the formulas (5.28)–(5.30) in terms of the Cartesian basis (2.3) and (2.5).
We add that the Jordanian deformation has been described as well in a deformed \({\mathfrak {sl}}(2;{\mathbb {R}})\) algebra basis [47,48,49].
6 Short summary and outlook
By using the three-fold isomorphism of classical Lie algebras \({\mathfrak {o}}(2,1) \simeq {\mathfrak {sl}}(2;{\mathbb {R}})\simeq {\mathfrak {su}}(1,1)\) one can express the infinitesimal versions of the \(D=3\) Lorentz quantum deformations in terms of classical \({\mathfrak {o}}(2,1)\), \({\mathfrak {sl}}(2;{\mathbb {R}})\) and \({\mathfrak {su}}(1,1)\) r-matrices. The first aim of our paper was to derive \({\mathfrak {o}}(2,1)\), \({\mathfrak {su}}(1,1)\) and \({\mathfrak {sl}}(2;{\mathbb {R}})\) bialgebras using a representation-independent purely algebraic method (see Sect. 3) and further to provide the explicit maps which relate them (see Sect. 4). We start in Sect. 3 with the derivation of a well-known pair of inequivalent complex \({\mathfrak {o}}(3;{\mathbb {C}})\simeq {\mathfrak {sl}}(2;{\mathbb {C}})\) r-matrices – the Jordanian (nonstandard) one and the Drinfeld–Jimbo (standard) r-matrix. Passing from \({\mathfrak {sl}}(2;{\mathbb {C}})\) to \({\mathfrak {sl}}(2;{\mathbb {R}})\) we obtain three independent \({\mathfrak {sl}}(2;{\mathbb {R}})\) r-matrices. The first two of them are the real forms of two basic complex \({\mathfrak {sl}}(2;{\mathbb {C}})\) r-matrices, the third \({\mathfrak {sl}}(2;{\mathbb {R}})\) r-matrix, which we called quasi-standard (see (3.46)), is the sum of two skew-symmetric 2-tensors. We do not know, however, how to obtain directly the universal R-matrix from the third r-matrix. We show that there is, however, a way out: the quasi-standard r-matrix (3.46)) (see also (3.7)) can be transformed by the map (2.11) into the standard r-matrix in \({\mathfrak {su}}(1,1)\) basis, with a well-known universal R-matrix (see e.g. [7]). In such a way we can derive the effective quantization of all three \(D=3\) Lorentz r-matrices; however, we recall that for such a purpose it is necessary to use both \({\mathfrak {sl}}(2;{\mathbb {R}})\) and \({\mathfrak {su}}(1,1)\) bases.
In the second part of the Introduction we mentioned main applications of \(D=3\) Lorentz symmetries and their deformations, but still more important for the description of noncommutative \(D=3 \) space-time geometry and \(D=3\) quantum gravity are the quantum deformations of the \(D=3\) Poincaré algebra, with a noncommutative translation sector. These quantum deformations were classified (see e.g. [50]) in terms of classical r-matrices, but systematic studies of their Hopf quantizations still should be completed. Also the quantum deformations were considered of \(D=3\) de Sitter (dS) and anti-de Sitter (AdS) space-times, with nonvanishing cosmological constant \(\Lambda \). In the \(D=3\) dS case (\(\Lambda >0\)) all Hopf-algebraic quantizations are known, because they were studied as the quantum deformations of \(D=4\) Lorentz algebra \({\mathfrak {o}}(3,1)\) [51]. In \(D=3\) AdS case (\(\Lambda <0\)) with \({\mathfrak {o}}(2,2)\) symmetry some Hopf-algebraic quantum deformations were also given, but recently a complete classification was presented of real \({\mathfrak {o}}(2,2)\) r-matrices.Footnote 14
For physical applications it is very important to consider subsequently the quantum space-time deformations for \(D=4,5,6\). The deformations of physical \(D=4\) space-time and \(D=4\) Poincaré algebra have been extensively studied for more than a quarter of the century [58,59,60,61,62], but it should be observed that the complete list of \(D=4\) Poincaré r-matrices (\(D=4\) Poincaré bialgebras) has not been obtained.Footnote 15 The next task could be to describe all deformations of \(D=4\) space-times with constant curvature and arbitrary signature, which would classify all possible \(D=4\) quantum dS and AdS algebras as well as the quantum-deformed \(D=5\) Euclidean \({\mathfrak {o}}(5)\) symmetries. For such a purpose one can look for the extension of algebraic methods used to classify the deformations of \({\mathfrak {o}}(4;{\mathbb {C}})\) and its real forms (see [8]) to the case of \({\mathfrak {o}}(5;{\mathbb {C}})\) and the real forms \({\mathfrak {o}}(5)\), \({\mathfrak {o}}(4,1)\) and \({\mathfrak {o}}(3,2)\). Finally the systematic study of deformations of \({\mathfrak {o}}(6;{\mathbb {C}})\) is another important challenge, in particular because the deformations of its real form \({\mathfrak {o}}(4,2)\simeq {\mathfrak {su}}(2,2)\) will provide the list of quantum \(D=4\) conformal algebras.
Notes
The basis elements \(E_{\pm },H\) over \({\mathbb {C}}\) with the defining relations in the second line of (2.6) generate the complex Lie algebra \({\mathfrak {sl}}(2;{\mathbb {C}})\). The relations in the first line of (2.6) reproduce the isomorphism between \({\mathfrak {o}}(3;{\mathbb {C}})\) and \({\mathfrak {sl}}(2;{\mathbb {C}})\).
It should be noted that in the case of \({\mathfrak {su}}(1,1)\) the Cartan generator H is compact, while for the case \({\mathfrak {su}}(2,{\mathbb {R}})\) the generator \(H'\) is noncompact.
For general polynomial (a sum of monomials) two-tensors \(r_{1}\) and \(r_{2}\) one can use the bilinearity of the Schouten bracket.
The anti-real property \(r^{\divideontimes }=-r\) is a direct consequence of the reality condition for the co-bracket \(\delta (x):=[x\otimes 1+1\otimes x,r]\), namely \(\delta (x)^{\divideontimes }=\delta (x^{\divideontimes })\) for \(\forall x\in {\mathfrak {g}}^{\divideontimes }(=\{{\mathfrak {su}}(2),\;{\mathfrak {su}}(1,1), \;{\mathfrak {sl}}(2,{\mathbb {R}})\})\).
The r-matrix \(r_{qst}\) is connected with \(r_{3}\) (3.33) in the following way. Substituting \(\beta ^{''}_{+}=|\beta ^{''}_{+}|e^{\imath \phi }\) in \(r_{3}\) (3.33) and using the \({\mathfrak {su}}(1,1)\)-real rescaling automorphism \(\varphi (E_{\pm })=e^{\pm i\phi }E_{\pm }\), \(\varphi (H)=H\) we obtain \(r_{qst}\) with \(\alpha =|\beta ^{''}_{+}|\).
\(\Delta _{q}^{\dag }(X):=(\Delta _{q}(X))^{\dag \otimes \dag }\).
The opposite (transformed) coproduct \(\tilde{\Delta }_{q}(\cdot )\) is a coproduct with permuted components, i.e. \(\tilde{\Delta }_{q}(\cdot )=\tau \circ \Delta _{q}(\cdot )\) where \(\tau \) is the flip operator: \(\tau \circ \sum X_{(1)}\otimes X_{(2)}=\sum X_{(2)}\otimes X_{(1)}\).
\(T_{q}(\mathfrak {b}_{+}\otimes \mathfrak {b}_{-})\) is an associative algebra generated by formal Taylor series of the monomials \(X_{+}^{n}\otimes X_{-}^{m}\) with coefficients which are rational functions of \(q^{\pm X_{0}}\), \(q^{\pm X_{0}\otimes X_{0}}\), provided that all values \(|n-m|\) for each formal series are bounded, \(|n-m|<N\).
See [8] and the addendum (to be published); for earlier efforts to describe \({\mathfrak {o}}(2,2)\) quantum deformations see e.g. [52]. We recall that \({\mathfrak {o}}(D,D)\) algebras describe the symmetries of double geometry [53,54,55], which were used recently e.g. in the description of self-dual models in so-called metastring theory [56, 57].
The classification problems of \(D=4\) Poincaré bialgebras described in [62] still remain unsolved.
References
L. Freidel, E.R. Livine, Ponzano–Regge model revisited III: Feynman diagrams and effective field theory. Class. Quantum Gravity 23, 2021 (2006). arXiv:hep-th/0502106v2
L. Freidel, E.R. Livine, 3d quantum gravity and effective non-commutative quantum field theory. Phys. Rev. Lett. 96, 221301 (2006). arXiv:hep-th/0512113v2
F. Cianfrani, J. Kowalski-Glikman, D. Pranzetti, G. Rosati, Symmetries of quantum space-time in 3 dimensions. Phys. Rev. D 94, 084044 (2016). arXiv:1606.03085 [hep-th]
V. Drinfeld, Quantum groups, in Proceedings of the International Congress of Mathematics, vol. 1 (Academic Press, Berkeley, 1986), p. 798
P. Etingof, D. Kazhdan, Quantization of Lie Bialgebras, I, Selecta Mathematica, New Series, vol. 2 (1996), p. 1. arXiv:q-alg/9506005v5
V. Chari, A. Pressley, A Guide to Quantum Groups (Cambridge University Press, Cambridge, 1994)
S. Majid, Foundations of Quantum Groups (Cambridge University Press, Cambridge, 1995)
A. Borowiec, J. Lukierski, V.N. Tolstoy, Quantum deformations of \(D=4\) Euclidean, Lorentz, Kleinian and quaternionic \(\mathfrak{o}^*(4)\) symmetries in unified \(\mathfrak{o}(4;C)\) setting. Phys. Lett. B 754, 176 (2016). arXiv:1511.03653 [hep-th]
A.G. Reyman, Poisson structures related to quantum groups, in Quantum Groups and its Applications in Physics, International School “Enrico Fermi”, Varenna 1994, ed. by L. Castellani, J. Wess (IOS, Amsterdam, 1996), p. 407
X. Gomez, Classification of three-dimensional Lie bialgebras. J. Math. Phys. 41, 4939 (2000)
A. Rezaei-Aghdam, M. Hemmati, A.R. Rastkar, Classification of real three-dimensional Lie bialgebras and their Poisson–Lie groups. J. Phys. A: Math. Gen. A 38, 3981 (2005). arXiv:math-ph/0412092
A. Ballesteros, A. Blasco, F. Musso, Classification of real three-dimensional Poisson–Lie groups. J. Phys. A: Math. Theor. A 45, 175204 (2012). arXiv:1202.2077 [math-ph]
A. Ballesteros, C. Meusburger, P. Naranjo, \(AdS\) Poisson homogeneous spaces and Drinfeld doubles. arXiv:1701.04902 [math-ph]
R. Borcherds, M. Haiman, N. Reshetikhin, V. Serganova, Berkeley Lecture on Lie Groups and Quantum Groups”, ed. by A. Geraschenko, T. Johnson-Freyd. Last updated 22 Sept 2011. http://math.berkeley.edu/~theojf/LieQuantumGroups [see N. Reshetikhin, part II Quantum groups, Sect. 9.4.4]
V. de Alfaro, S. Fubini, P. Furlan, Conformal invariance in quantum mechanics. Nuovo Cim. A 34, 569 (1976)
E. Ivanov, S.O. Krivonos, V.M. Leviant, Geometry of conformal mechanics. J. Phys. A 22, 345 (1989)
E. Fedoruk, E. Ivanov, J. Lukierski, Galilean conformal mechanics from nonlinear realizations. Phys. Rev. D 83, 085013 (2011). arXiv:1101.1658 [hep-th]
A. Borowiec, J. Lukierski, V.N. Tolstoy, Basic twist quantization of \(osp(1|2)\) and \(\kappa \)-deformation of \(D=1\) superconformal mechanics. Mod. Phys. Lett. A 18, 1157 (2003). arXiv:hep-th/0301033
A. Achucarro, P. Townsend, A Chern–Simons action for three-dimensional anti-de Sitter supergravity theories. Phys. Lett. B 180, 89 (1986)
E. Witten, (2+1)-dimensional gravity as an exactly soluble system. Nucl. Phys. B 311, 46 (1988)
S. Carlip, Quantum Gravity in \(2+1\) Dimension (Cambridge University Press, Cambridge, 1998)
C. Meusburger, B.J. Schroers, Poisson structure and symmetry in the Chern–Simons formulation of \((2+1)\)-dimensional gravity. Class. Quantum Gravity 20, 2193 (2003). arXiv:gr-qc/0301108
C. Meusburger, B.J. Schroers, Generalized Chern–Simons actions for \(3d\) gravity and \(\kappa \)-Poincare symmetry. Nucl. Phys. B 806, 462 (2009). arXiv:0805.3318 [gr-qc]
A. Ballesteros, F.J. Herranz, F. Musso, On quantum deformations of (anti-)de Sitter algebras in \((2+1)\) dimensions. J. Phys. Conf. Ser. 532, 012002 (2014). arXiv:1302.0684 [hep-th]
G. Ponzano, T. Regge, in Spectroscopic and Group-Theoretical Methods in Physics, ed. by F. Bloch (North-Holland Publ. Co, Amsterdam, 1968), p. 1
E.R. Livine, Spinfoam Framework for Quantum Gravity, Ph. D. Thesis, Lyon, IPN, 2010. arXiv:1101.5061 [gr-qc]
I. Ambjörn, J. Jurkiewicz, R. Loll, Dynamically triangulating Lorentzian quantum gravity. Nucl. Phys. B 610, 347 (2001). arXiv:hep-th/0105267
T. Masuda, K. Mimachi, Y. Nakagami, M. Noumi, Y. Saburi, K. Ueno, Unitary representations of the quantum group \(SU_{q}(1,1)\): structure of the dual space of \(U_{q}(sl(2))\). Lett. Math. Phys. 19, 187 (1990)
T. Masuda, K. Mimachi, Y. Nakagami, M. Noumi, Y. Saburi, K. Ueno, Unitary representations of the quantum group \(SU_{q}(1,1)\): matrix elements of unitary representations and the basic hypergeometric functions. Lett. Math. Phys. 19, 195 (1990)
P. Lax, Commuting integrals of nonlinear equations of evolution and solitary waves. Pure Appl. Math. 21, 467 (1968)
M. Błaszak, Multi-Hamiltonian Theory of Dynamical Systems (Springer, Berlin, 1998)
R.R. Metsaev, A.A. Tseytlin, Type IIB superstring action in \(AdS_5\times S^5\) background. Nucl. Phys. B 533, 109 (1998). arXiv:hep-th/9805028
C. Klimčík, Yang–Baxter \(\sigma \)-models and \(dS/AdS\) \(T\)-duality. JHEP 12, 051, 28 (2002). arXiv:hep-th/0210095
C. Klimčík, On integrability of the Yang–Baxter \(\sigma \)-model. J. Math. Phys. 50, 043508 (2009). arXiv:0802.3518 [hep-th]
F. Delduc, M. Magro, B. Vicedo, An integrable deformation of the \(AdS_5\times S^5\) superstring action. Phys. Rev. Lett. 112, 051601 (2014). arXiv:1309.5850 [hep-th]
I. Kawaguchi, T. Matsumoto, K. Yoshida, Jordanian deformations of the \(AdS_5\times S^5\) superstring. JHEP 04, 153 (2014). arXiv:1401.4955 [hep-th]
G. Arutyunov, S. Frolov, B. Hoare, R. Roiban, A.A. Tseytlin, Scale invariance of the \(\eta \)-deformed \(AdS5\times S5\) superstring, \(T\)-duality and modified type II equations. Nucl. Phys. B 903, 262 (2016). arXiv:1511.05795 [hep-th]
B. Hoare, Towards a two-parameter \(q\)-deformation of \(AdS_3\times S^3\times M^4\) superstrings. Nucl. Phys. B 891, 259 (2015). arXiv:1411.1266 [hep-th]
D. Osten, S. van Tongeren, Abelian Yang–Baxter deformations and \(TsT\) transformations. Nucl. Phys. B 915, 184 (2017). arXiv:1608.08504 [hep-th]
Y. Chervonyi, O. Lunin, Supergravity background of the lambda-deformed \(AdS_3\times S^3\) supercoset. Nucl. Phys. B 910, 685 (2016). arXiv:1606.00934 [hep-th]
A. Klimyk, K. Schmudgen, Quantum Groups and Their Representations (Springer, Berlin, 1997), p. 58
S.M. Khoroshkin, V.N. Tolstoy, Universal \(R\)-matrix for quantized (super)algebra. Commun. Math. Phys. 141, 599 (1991)
S.M. Khoroshkin, V.N. Tolstoy, The uniqueness theorem for the universal \(R\)-matrix. Lett. Math. Phys. 24, 231 (1992)
M. Gerstenhaber, A. Giaquinto, S.D. Schack, Quantum symmetry, in Quantum Groups, Proceedings of EIMI Workshop 1990, Leningrad. Springer Lecture Notes in Mathematics, ed. by P.P. Kulish, vol. 1510 (1992), p. 9
O.V. Ogievetsky, Hopf structures on the Borel subalgebra of \(sl(2)\). in Proceedings of the Winter School “Geometry and Physics”, Zidkov, January 2013, Czech Republic, Rendiconti Circ. Math. Palermo, Serie II, vol. 37 (1993), p. 185 [Max Planck Int. prepr. MPI-Ph/92-99]
P.P. Kulish, V.D. Lyakhovsky, A.I. Mudrov, Extended Jordania twists for Lie algebras. J. Math. Phys. 40, 4569 (1999). arXiv:math/9806014
C. Ohn, A *-product on \(SL(2)\) and the corresponding nonstandard (sl(2)). Lett. Math. Phys. 25, 85 (1992)
A.A. Vladimirov, On the Hopf algebras generated by the Yang–Baxter R-matrices. Z. Phys. C 58, 659 (1993). arXiv:hep-th/9302043
A.A. Vladimirov, A closed expression for the universal \(R\)-matrix in a nonstandard quantum double. Mod. Phys. Lett. A 8, 2573 (1993). arXiv:hep-th/9305048
P. Stachura, Poisson–Lie structures on Poincare and Euclidean groups in three dimensions. J. Phys. A 31, 4555 (1998)
A. Borowiec, J. Lukierski, V.N. Tolstoy, Quantum deformations of \(D=4\) Lorentz algebra revisited: twistings of \(q\)-deformation. Eur. Phys. J. C 57, 601 (2008). arXiv:0804.3305 [hep-th]
A. Ballesteros, F.J. Herranz, M.A. del Olmo, M. Santander, Non-standard quantum \(so(2,2)\) and beyond. J. Phys. A 28, 941 (1995). arXiv:hep-th/9406098
D.S. Berman, D.C. Thompson, Duality symmetric strings, dilatons and \(O(d, d)\) effective actions. Phys. Lett. B 662, 279 (2008). arXiv:0712.1121 [hep-th]
D.S. Berman, D.C. Thompson, Duality symmetric string and M-theory. Phys. Rep. 566, 1 (2014). arXiv:1306.2603 [hep-th]
O. Hohm, D. Lüst, B. Zwiebach, The spacetime of double field theory: review, remarks, and outlook. Fortschr. Phys. 61, 926 (2013). arXiv:1309.2977 [hep-th]
L. Freidel, R.G. Leigh, D. Minic, Quantum gravity, dynamical phase-space and string theory. Int. J. Mod. Phys. D 23, 1442006 (2014). arXiv:1405.3949 [hep-th]
L. Freidel, R.G. Leigh, D. Minic, Metastring theory and modular space-time. JHEP 1506, 006 (2015). arXiv:1502.08005 [hep-th]
V. Carow-Watamura, S. Schliecher, M. Scholl, S. Watamura, Quantum Lorentz group. Int. J. Mod. Phys. 6, 3081 (1991)
O.V. Ogievetsky, W.B. Schmidtke, J. Wess, B. Zumino, \(q\)-deformed Poincare algebra. Commun. Math. Phys. 150, 495 (1992)
J. Lukierski, A. Nowicki, H. Ruegg, V.N. Tolstoy, \(q\)-deformation of Poincar e algebra. Phys. Lett. B 264, 331 (1991)
S. Majid, Braided momentum in the q-Poincare group. J. Math. Phys. 34, 2045 (1993)
S. Zakrzewski, Poisson structures on the Poincare group. Commun. Math. Phys. 185, 285 (1997). arXiv:q-alg/9602001
Acknowledgements
The authors would like to thank A. Borowiec for discussions. JL would like to acknowledge the financial support of NCN (Polish National Science Center) Grants 2013/09/B/ST2/02205, 2014/13/B/ST2/04043 and by European Project COST, Action MP1405 QSPACE. VNT is supported by RFBR Grant No. 16-01-00562-a.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Lukierski, J., Tolstoy, V.N. Quantizations of \(D=3\) Lorentz symmetry. Eur. Phys. J. C 77, 226 (2017). https://doi.org/10.1140/epjc/s10052-017-4786-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-4786-9