Abstract
In this paper we provide universal formulas describing Drinfeld-type quantization of inhomogeneous orthogonal groups determined by a metric tensor of an arbitrary signature living in a spacetime of arbitrary dimension. The metric tensor does not need to be in diagonal form and \(\kappa \)-deformed coproducts are presented in terms of classical generators. It opens the possibility for future applications in deformed general relativity. The formulas depend on the choice of an additional vector field which parametrizes classical \(r\)-matrices. Non-equivalent deformations are then labeled by the corresponding type of stability subgroups. For the Lorentzian signature it covers three (non-equivalent) Hopf-algebraic deformations: time-like, space-like (a.k.a. tachyonic) and light-like (a.k.a. light-cone) quantizations of the Poincaré algebra. Finally the existence of the so-called Majid–Ruegg (non-classical) basis is reconsidered.
Avoid common mistakes on your manuscript.
1 Introduction
Deformations of relativistic symmetries have been fruitful for the description of quantum symmetries governing physics at the Planck scale. Such quantum deformations of spacetime symmetries are described within the Hopf-algebra language and are controlled by classical \(r\)-matrices satisfying the classical Yang–Baxter (YB) equation: modified or unmodified one. One of the most interesting deformations, from the point of view of physical applications, the so-called \(\kappa \)-deformation, has been found in [1–4]. The deformation parameter corresponds to the Planck Mass; its inverse defining fundamental length can be considered as a quantum gravity scale. The \(r\)-matrix for the \(\kappa \)-deformation of Poincaré algebra is given then by \(r=M_{0i}\wedge P^{i}\) and it satisfies the modified (inhomogeneous) Yang–Baxter equation (MYBE): \([[r,r]]=M_{\mu \nu }\wedge P^{\mu }\wedge P^{\nu }\). The \(\kappa \)-Poincaré Hopf algebra constitutes the deformed symmetry of the \(\kappa \)-Minkowski algebra [4, 5] which is a quantum version of the standard Minkowski spacetime. The \(\kappa \)-Minkowski spacetime has been mostly studied in the so-called time-like version of \(\kappa \)-deformation, distinguishing the ’time’ coordinate as the quantized one. The r-matrix mentioned above corresponds to this case.Footnote 1 Another option is the so-called light-like (null-plane) deformation corresponding to null-vectors, which was firstly considered in [9] (then also in [10, 11]) with quantum-deformed direction on the light cone \((x^{+}=x^{0}+x^{3})\) and with the corresponding symmetry the so-called ’null-plane quantum Poincaré Lie algebra’. It was inspired by the central problem of quantum relativistic systems in the Hamiltonian formulation, which has been studied for the null-plane evolution. In this case the information provided by the Poincaré invariance splits into a dynamical and kinematical part which is also the case after the deformation. One of the advantages of the deformation of this type is that it is triangular i.e. it can be described by the classical r-matrix satisfying classical Yang–Baxter equation (CYBE) and the twisting element satisfying two-cocycle condition do exist [12]. Moreover, the differential calculus for the null-plane \(\kappa \)-Minkowski is shown to be bicovariant and four-dimensional [13], which has been proved to be impossible to built for other kinds of \(\kappa \)-deformations (i.e. time- and space-like) [14]. It was also shown [15] that after suitable (nonlinear) change of basis the quantum algebra presented in [9] can be identified with the \( \kappa \)-deformation, given in [16] for the choice of \(g_{00}=0\).
Till now the most popular form of presentation of quantum \(\kappa \)-Poincaré algebra is the one which uses formulas for deformed coproducts found for the first time in [4] (with the primitive energy generator \(P_0\)). The corresponding system of generators, known also as Majid–Ruegg or bicrossproduct basis, satisfy classical commutation relations between Lorentzian generators and deformed ones in the boosts-momenta sector. In contrast our formulas for quantized coproducts are written entirely in the classical Lie algebra basis.Footnote 2 Some formulas for coproducts can be found in different realization-dependent) context in [18–25]; see also [26]. The \(\kappa \)-Poincaré algebra combined with the non-orthogonal form of the metric tensor was originally studied in [16] in Majid–Ruegg basis and later with extended analysis, e.g. in [13]. A passage from the Majid–Ruegg into the classical basis, which provides the so-called Drinfeld quantization map, has been a subject of investigations in various context [27–29]. Particularly, the explicit formulas expressing classical basis in terms of bicrossproduct one have been obtained therein. Similarly, the null-plane deformation has been originally obtained and investigated in the basis inherited from the so-called deformation embedding method [9]. The classical Lie algebra basis in this context has not been explored yet.
Our aim in this paper is to provide a unified description for \(\kappa \)-deformed coproducts of classical Poincaré generators characterizing various \(\kappa \)-deformations according to the Zakrzewski classification scheme [6, 7]. The formulas depend on the choice of an external vector field \(\tau \) which parameterizes classical r-matrices. Non-equivalent deformations are then labeled (classified) by the corresponding stability groups of \(\tau \).
The metric tensor can take the form of arbitrary symmetric and non-degenerate matrix. For example for the Lorentzian signature (in arbitrary dimension) one can distinguish three different quantizations: time-like, space-like and light-like. The corresponding orbits are characterized by the following stability subgroups in \(S\!O(D-1, 1)\): \(S\!O(D-1), IS\!O(D-2), S\!O(D-2,1)\) respectively. This form of the unified description is particularly important from the point of view of future applications in deformations of general relativity [30, 31] where the metric might be a function of the coordinates [32] and/or in the so-called relative locality where it might live on the momentum space [33].
The universal formulas are followed by the example of orthogonal \(D=1+(D-1)\) decomposition, which is suitable for non-null \(\tau \). This case allows for the change of system of generators into the well-known Majid–Ruegg (nonlinear) basis. Another example is the null-vector case (\(\tau ^2=0\)) which provokes orthogonal \(2+(D-2)\) decomposition. This (a.k.a. null-plane) case admits additionally Drinfeld twist, due to the fact that r-matrix satisfies CYBE. The universal formulas for coproducts coincide (up to quantum \(R\)-matrix) with the twisted ones. Also the partial analog of Majid–Ruegg basis can be found in that case. We finish this paper with some conclusions and perspectives.
2 Preliminaries and notation
Let \(V\) be a vector space (spacetime) of arbitrary dimension \(D\) equipped with the metric tensor \(g\) of arbitrary signature. Let denote the (special) orthogonal group of \(g\) as \(S\!O(g) =\{\Lambda \in GL(V): \Lambda ^T g \Lambda =g, \det \Lambda =1\}\) and the corresponding inhomogeneous orthogonal group as \(IS\!O(g)\)—Poincaré group.Footnote 3 Adopting typical relativistic notation one chooses the basis \(\{e_{\mu }\}_{\mu =0}^{D-1}\) and introduces the components of the metric: \(g_{\mu \nu }=g (e_{\mu },e_{\nu })\).
There always exists an orthonormal basis \(\{e _{a}\}\) and a vierbein matrix \(\xi _{a}^{\mu } \) which diagonalizes the metric and then \(\ g_{\mu \nu }=\xi _{\mu }^{a}\xi _{\nu }^{b}\eta _{ab}\) with the diagonal elements \(\eta _{aa}=\pm 1\). Therefore we are used to write \(IS\!O(p, q)\) in order to distinguish between positive and negative diagonal entries: \(p+q=D\).
The Lie algebra \(\hbox {iso}(g)\) as an infinitesimal form of this group admits the Lie algebra basis \(\{M_{\mu \nu }\), \(P_{\mu }\}\) adopted to the basis \(\{e_{\mu }\}_{\mu =0}^{D-1}\) in \(V\). It consists of the familiar commutation relations:
The universal enveloping algebra \(U_{\hbox {iso}(g)}\) of this Lie algebra can be equipped with a primitive Hopf-algebra structure, which can later be quantized within the Drinfeld formalism. Because of this, one requires the extension to the formal power series \(U_{\hbox {iso}(g) }[[\frac{1}{\kappa }]]\) (see e.g. [34–36] for more details). This associative and unital algebra has a quadratic Casimir element (aka Casimir of mass) defined as \(C_{g}=P_{\mu }P^{\mu }=g^{\mu \nu }P_{\mu }P_{\nu }=C \in U_{io(g)}\) (a central element of \(U_{\hbox {iso}(g)}\)) which plays very important role in physics, it represents the mass. It takes a constant numerical value in any irreducible representation.
However, from the point of view of physical applications e.g. at the Planck scale we are interested in quantum deformations. As is well known, quantum groups are quantizations of Poisson–Lie groups determined by Lie bialgebra structures on the corresponding Lie algebras. They are described by classical \(r\)-matrices satisfying Yang–Baxter equation. In the case of orthogonal groups an interesting class of r-matrices has been found in [6, 7] (see also [37, 38]). For any (non-zero) vector \(\tau =\tau ^{\mu }e_\mu \in V\) one defines the corresponding \(r\)-matrix
where \(\Omega =M_{\mu \nu }\wedge P^{\mu }\wedge P^{\nu }\) is known to be the only invariant element in \(\wedge ^3\hbox {iso}(g)\) and \(\tau \llcorner \) is used for contraction with the vector \(\tau \). It appears that the Schouten bracket gives
This implies two possibilities:
-
I.
\(\tau ^2\equiv g(\tau , \tau )\equiv \tau ^\mu \tau _\mu \ne 0\) for which the corresponding r-matrix satisfies MYBE (Modified Yang–Baxter Equation). It will provide the so-called standard (a.k.a. Drinfeld–Jimbo) quantization with the quasi-triangular quantum \(R\)-matrix.
-
II.
\(\tau ^2=0\) (provided non-Euclidean signature) with \(r_\tau \) satisfying CYBE (Classical Yang–Baxter equation). In this case one deals with the non-standard (a.k.a. twisted) triangular deformation.
We consider a stability group \(G_\tau \) of the vector \(\tau \), as a subgroup which leaves the vector \(\tau \) invariant under the natural action of \(\textit{SO}(g)\) in \(V\). Isomorphism classes of stability groups classify the type of orbits. According to the general formalism developed in [6, 7] they can also be used to single out the non-equivalent deformations labeled by \(\tau \). Regarding the possible orbit types for the non-trivial vector \(\tau \ne 0\) in \((V, g)\), assuming generic \((p,q)\) signature, one can encounter two main situations:
-
(A)
\(\tau ^2\ne 0\) and there is a basis \(\{e_0=\tau , e_i\}_{i=1}^{D-1}\) in \(V\) such that \(g_{0i}=0\). This basis provides the so-called \(1+(D-1)\) orthogonal decomposition. The stability subgroup is a homogeneous orthogonal group \(S\!O(g_{ij})\) in \(D-1\) dimensions. The signature of the metric \(g_{ij}\) indicates the orbit type.
-
(B)
\(\tau ^2=0\) (provided we have a non-Euclidean signature). There is a basis \(\{e_0=\tau , e_{D-1}=\tilde{\tau }, e_a\}_{a=1}^{D-2}\) in \(V\) such that \(g_{00}=g_{D-1\,D-1}=g_{0a}=g_{D-1\,a}=0\) and \(g_{0\,D-1}=g_{D-1\,0}=1\). This basis is called a light-cone basis and it provides the so-called \(2+(D-2)\) orthogonal splitting. The two-dimensional Lorentzian space with anti-diagonal metric is spanned by two light-like vectors \(\tau ,\tilde{\tau }\). Again the signature of the metric \(g_{ab}\) indicates the orbit type. The stability subgroup is an inhomogeneous orthogonal group \(ISO(g_{ab})\) in \(D-2\) dimensions in this case. In other words if \(1\le p,q\le D-1\) one distinguishes three cases: either \(S\!O(p-1,q)\) or \(S\!O(p,q-1)\) or \(IS\!O(p-1,q-1)\). Particularly, for the Lorentzian signature one recovers the well-known cases:
-
(i)
\(\tau \) is a time-like vector, with Euclidean \(G_{\tau }\cong S\!O(D-1)\) as a stability group. It corresponds to the original \(\kappa \)-deformation with \(r_\tau =M_{0i}\wedge P^i\);
-
(ii)
\(\tau ^{2}=0\), i.e. \(\tau \) is a null-vector (light-cone deformation). In this case the stability group \( G_\tau \cong E(D-2)\equiv IS\!O(D-2)\) is an inhomogeneous Euclidean group;
-
(iii)
\(\tau \) is a space-like vector (tachyonic deformation) with \(G_\tau \cong S\!O(D-2,1)\) being the \(D-1\)-dimensional Lorentz group.
3 Unified description for \(\kappa \)-deformations
For a given pair \((g_{\mu \nu },\tau ^{\lambda })\) the deformed coproducts implemented by the vector \(\tau \) (in fact, by the corresponding classical \(r\)-matrix \(r_{\tau }\)), when written in classical generators satisfying the commutation relations (1)–(2)Footnote 4, take the following form:
where \(\tau _{\mu }\) denote covariant components of \(\tau \) with respect to the metric \(g_{\mu \nu }\) and \(P_{\tau }=\tau ^{\mu }P_{\mu },M_{\tau \lambda }=\tau ^{\alpha }M_{\alpha \lambda }\). In order to preserve a compact form for the formulas (5)–(6) we have also introduced the following notation (extending our previous notation from [39]):
The left (and right) hand side of the last equation vanishes when \(\tau ^{2}=0\). Further calculations give rise to
We would like to point out that all formulas considered so far are valid also in the null-vector case, i.e. as \(\tau ^{2}=0\). (For \(\tau \equiv 0\) one recovers the primitive undeformed coproducts). We shall specify later the expression for \(C_{\tau }\) for this particular case. At the moment one can observe that the inverse to (9), the formula
strongly suggests \(C_\tau =C\) for \(\tau ^2=0\).
Following the Drinfeld formalism of quantum groups all equalities presented here are understood in the sense of formal power series in one (undetermined) variable \({\frac{1}{\kappa }}\), for exampleFootnote 5
where \(\left( {\begin{array}{c}1/2\\ n\end{array}}\right) =\frac{1/2(1/2-1)\cdots (1/2-n+1)}{n!}\) are binomial coefficients. \(\mathcal {C}_{\tau }\) is a central element in \(U_{\hbox {iso}(p,q)}[[{ \frac{1}{\kappa }}]]\) which in the classical limit \(\kappa \mapsto \infty \) gives \(C\) and, therefore, plays the role of deformed Casimir operator. From the above ones one calculates
as well as (\(\tau ^{2}\ne 0\))
Finally, in order to complete the Hopf-algebra structure we set the classical counit (\(\epsilon (1)=1,\epsilon (P_{\lambda })=\epsilon (M_{\mu \nu })=0\)) and deformed antipodes:
Moreover, the square of the antipode (14), (15) is given by a similarity transformation \(S^2(X)=\Pi _{\tau }^{D-1}X\Pi _{\tau }^{1-D}\) (cf. [23, 24]). Such deformed Hopf-algebraic structure will be denoted \( U_{\hbox {iso}(g)}^{\,\tau }[[{\frac{1}{\kappa }}]]\).
Remark 1
It is worth to underline that these universal formulas describe \(\kappa \)-Poincaré Hopf algebra not only in different Lie algebra basis induced by different basis in the underlying vector space \(V\) but also provide the different types of deformations. This can be seen from the well-known formula
relating deformed coproducts with the corresponding classical \(r\)-matrices. Here \(\Delta _0(X)=X\otimes 1+1\otimes X\) denotes primitive (undeformed) coproduct for \(X\in \hbox {iso}(g)\) and \(\Delta ^\mathrm{op}\) stands for the opposite coproduct with flipped legs. The right hand side of the last equation defines cobracket determining Lie bialgebra structures on \(\hbox {iso}(g)\). Therefore our coproducts can be considered as their quantization. The following further comments are now in order.
Remark 2
One should notice that the expression \(\tau ^{2}\,C\) is independent of the sign convention for \(g\): the change \(g\rightarrow -g\) gives rise to \(\tau ^{2}\rightarrow -\tau ^{2}\) and \(C\rightarrow -C\).
Remark 3
Re-scaling at the same time \(\tau \rightarrow s \tau \) and \(\kappa \rightarrow s \kappa \) for any real parameter \(s \) leaves coproducts (5)–(6) invariant. Notice that neither \(\tau \) nor \( \kappa \) are present in the commutation relations (1)–(2). For this reason (except the case \(\tau ^{2}=0\)) one can assume that the vector \(\tau \) is normalized, i.e. \(\tau ^{2}=\pm 1\) provided \(\tau ^{2}\ne 0\).
Remark 4
Consider the well-known \(\kappa \)-Minkowski (quantum) algebra \(\mathcal {M}_{\tau }\) as a unital associative algebra generated by the noncommutative spacetime coordinate generators \(\hat{x}^\mu \) modulo the following relations [16]:
where \(\tau ^{\mu }\) is a fixed four-vector from \(V\); \(\mu ,\nu =0, 1,\ldots , D-1\). This algebra becomes a Hopf module algebra (see e.g. [40] for necessary definitions) with respect to the \(\kappa \)-deformed Hopf-algebra structure (5)–(6). It means that the relation (17) is preserved under the module action \(\triangleright \), provided classical action of the classical Poincaré generators (1)–(2) on the \(\kappa \)-Minkowski coordinates (17):
To this aim one requires the compatibility condition (a.k.a. generalized Leibniz rule):
where, for simplicity, we have used a Sweedler-type notation for the coproduct: \(\Delta _\tau (L)=L_{(1)}\otimes L_{(2)}\) for \(L\in \{M_{\mu \nu }, P_\rho \}\). Using a smash product construction one can unify spacetime and symmetry generators (see e.g. [40]) into one algebra with quantum Hopf-algebroid structure [41].
Remark 5
It is well known that the real algebras \(U_{\hbox {iso}(p,q)}\) of different signatures \((p, q)\) can be viewed as different real forms determined on the same complex algebra \(U_{\hbox {iso}(D,\mathbb {C})}\). These real forms are represented by the corresponding \(*\)-conjugation. The standard and convenient way to establish appropriate conjugations is by the choice of a Lie algebra basis composed of self-conjugate (Hermitean) elements. One can observe that the basis (1)–(2) is compatible with Hermitean conjugation and it can be used for determining the corresponding real forms. Thus the universal coproducts (6) are compatible with the signature implemented \(*\)-conjugations in the following sense:
Similarly, the relation (17) can be considered as providing the real structure on the complex module algebra \(\mathcal {M}_{\tau }\) provided that the vector \(\tau \) remains real.
Examples Take the diagonal metric \(\eta _{\mu \nu }=\eta ^{\mu \nu }=(-,+,\) \(+,+)\) of the Lorentzian signature in \(D=4\) dimensions. Three different choices: \( _{1}\!\tau ^{\mu }=(1,0,0,0)\), \(_{1}\!\tau ^{2}=-1\); \(_{2}\!\tau ^{\mu }=(0,0,0,1)\), \(_{2}\!\tau ^{2}=1\) and \(_{3}\!\tau ^{\mu }=(1,0,0,1)\), \(_{3}\!\tau ^{2}=0\) provide three different (non-equivalent) Hopf-algebraic structures on \(U_{\hbox {iso}(1,3)}[[{\frac{1}{\kappa }}]]\): the original \(\kappa \), tachyonic and light-cone deformations, respectively (see also [11, 15, 16, 42] for earlier works in this context). We shall denote them \(U_{\hbox {iso}(1,3)}^{SO(3)}[[{\frac{1}{\kappa }}]]\), \(\quad U_{\hbox {iso}(1,3)}^{\,E(2)}[[{ \frac{1}{\kappa }}]]\) and \(U_{\hbox {iso}(1,3)}^{\,SO(1,2)}[[{\frac{1}{\kappa } }]]\) correspondingly. These examples will be treated in more detail in the next subsections.
Yet another example can be considered by taking the diagonal metric \(\eta _{\mu \nu }=\eta ^{\mu \nu }=(+,-,+,-)\) of neutral (Kleinian) signature in \(D=4\) dimensions. The choice \(\tau ^\mu = (1, 1, 1, 1)\) (\(\tau ^2=0\)) provides a new type of deformation of \(U^{}_{\hbox {iso}(2,2)}\). Equivalently one can take more convenient basis with the metricFootnote 6
being a direct product of the two light-cone metrics, and we have \(\tau ^\mu = (1, 0, 1, 0)\). In this basis one sees Hopf-algebra isomorphism \(U^{\,\tau }_{\hbox {iso}(2,2)}[[{1\over \kappa }]]\cong U^{\,_1\!\tau }_{\hbox {iso}(1,1)}[[{1\over \kappa }]]\otimes U^{\,_1\!\tau }_{\hbox {iso}(1,1)}[[{1\over \kappa }]]\) with \(_1\!\tau =(1, 0)\).
4 The orthogonal \(D=1+(D-1)\) decomposition versus the Majid–Ruegg basis
Contracting (5)–(6) with \(\tau ^{\mu }\) yields
Let us study the case of \(\tau ^{2}\ne 0\) in more detail (the opposite case will be the subject of our study in the next section). In fact, without the loss of generality, one can assume \(\tau ^{\mu }=(1,0,\ldots ,0)\). More exactly, by the choice of the suitable basis \((e_{\mu })_{\mu =0}^{D-1}\) in the vector space \(V\) with \(e_{0}=\tau \) and \((e_{i})_{i=1}^{D-1}\) being orthogonal to \( \tau \) : \(g_{00}=\tau ^{2};\ g_{0i}=g(e_{0},e_{i})=0\). This provides the orthogonal decomposition \((V,g_{\mu \nu })\cong ({\mathbb {R}} ,g_{00})\times (V^{D-1},g_{ij})\). Notice that the (\(D-1\)) dimensional metric \(g_{ij}\) does not need to be in the diagonal form.
In the corresponding Lie algebra basis \(\{P_{\tau }, P_i, M_{\tau i}, M_{ij}\}\) the universal coproducts read now as:
where \(\tau ^{2}\) after normalization can be reduced to \(\pm 1\), here we used the following identity:
The above reminds one of some formulas from [39].
This enables us to introduce the new system of generators \(\{P_{\tau }, P_i, M_{\tau i}, M_{ij}\}\rightarrow \{\tilde{P}_{\tau }, \tilde{P}_i, M_{\tau i}, M_{ij}\}\) with
which provides the deformed coproducts in the familiar Majid–Ruegg form
The algebraic relations in the Majid–Ruegg basis are
Notice that the Lie algebra of the stability group \(G_\tau \) consist of the elements \(\{M_{ij}\}\) for which the coproduct remains primitive. The expressions (27)–(31) cover all the standard \(\kappa \)-deformations; for the Lorentzian signature they describe both the time-like and the space-like quantizations.
5 The null-plane light-cone deformation and the \(2+(D-2)\) decomposition
In the case of light-like deformation, i.e. when \(\tau ^{2}=0\), one deals with the non-Euclidean geometry \(IS\!O(p, q)\); \(p, q\ne 0\). Therefore we shall introduce the most convenient “light-cone” Poincaré generators:
as a basis in the Lie algebra \(\hbox {iso}(g_{p, q})\). To this aim we have to decompose the space \(V^{D}=V^{2} \times V^{D-2}\), by a suitable choice of basic vectors, into the orthogonal product of the two-dimensional Lorentzian space \(\{V^{2},g_{AB}\}\) with a \(D-2\)-dimensional one \(\{V^{D-2},g_{ab}\}\): \((A,B=+,-) \), \((a,b=1,2\ldots D-2) \). Moreover, the total metric \(g_{\mu \nu }=g_{AB} \times g_{ab}\) becomes a product metric. We choose \(g_{AB}=\left( \begin{array}{cc} 0 &{} 1 \\ 1 &{} 0 \end{array} \right) \) in its anti-diagonal (light-cone) form as well as two null-vectors \(\tau ^{\mu }\equiv \tau _{+}^{\mu }=(1,0,\ldots 0)\), \(\tilde{\tau }^\mu \equiv \tau _{-}^{\mu }=(0,1,0\ldots 0)\): \(\tau _{+}\tau _{-}=1\) in order to obtain the convenient light-cone basis in the space of the Lie algebra generators (32). This algebra consists of the following (non-vanishing) commutators:
together with the standard commutation relations within the \(D-2\) dimensional sector \((M_{a\,b},P_{a},g_{ab})\), cf. (1)–(2). The universal formula for the coalgebra structure, in this case, reduces to
where \(\Pi _{+}\doteq 1+\frac{1}{\kappa }P_{+}\) and \((1-\frac{1}{ \kappa }P_{+}\Pi _{+}^{-1}) = (\Pi _{+}-\frac{1}{\kappa } P_{+}) \Pi _{+}^{-1}=\Pi _{+}^{-1}\) and \(C_{+}\) is still to be determined. The Lie subalgebra corresponding to the stability group of \(\tau _{+}\) consists of \(\hbox {iso}(p-1, q-1)=\hbox {gen}\{M_{a\,b},M_{+\,b}\}\), i.e. the generators with the primitive coproducts.
On the other hand, the classical \(r\)-matrix corresponding to the vector \( \tau _{+}\) reads
Since \(\tau _{+}^{2}=0\) it satisfies the CYB equation and generates the non-standard (triangular) deformation. Its construction involves two Abelian \(D-1\)-dimensional subalgebras \(\Gamma _{+}=\hbox {gen}\{M_{+\,-}\ ,P^{a}\}\) and \(\Gamma _{-}=\hbox {gen}\{P_{+}\ ,M_{+\,a}\}\) satisfying certain cross-commutation relations (cf. formulas (35)–(36) and Ref. [12]). The corresponding twisting element has the following form:Footnote 7
We are now in a position to calculate coproducts directly from the twist by making use of the similarity transformation
where \(\Delta _{0}(X)=X\otimes 1+1\otimes X\) denotes as before the primitive (undeformed) coproducts. After performing the involved calculations it turns out that
where \(\mathcal {R}=\mathcal {F}_{21}\mathcal {F}^{-1}\) is a triangular quantum \(R\)-matrix, provided \(C_+ = C\) as suggested by the formula (10). (Note that in the light-cone basis one has \(C=2P_+P_- + P^aP_a\) and \(P_{-}+\frac{1}{2\kappa }C=P_{-}\Pi _{+}+\frac{1}{2\kappa }P^{a}P_{a}\)). In other words, the formulas (37)–(39) and (42) describe in a different way the same Hopf-algebraic structure.
Another observation is that for coproducts \(\Delta _{LC}(X)\) one can introduce a partial analog of the Majid–Ruegg basis (observed before in [13]). Indeed, setting \(\tilde{P} _{+}=\ln \Pi _{+},\tilde{P}_{a}=P_{a}\Pi _{+}^{-1}\) one has a primitive coproduct for \(\tilde{P} _{+}\) and \(M\in \{M_{+\,a},M_{ab}\}\) as in (27) and for \(\tilde{P}_{a}\) and \(M_{+-}\) as in (28) and (29), respectively. As far as algebra is concerned we get
with the rest of commutators staying classical as in (33)–(34). The only generator which does not fit into this Majid–Ruegg scheme is \(P_-\,\).
6 Conclusions and perspectives
In the study of Poincaré algebra, from the point of view of physical applications, one focuses on the representation theory and the value of Casimir operator \(C=P^{2}\). We believe that physical objects are represented by time- or light-like four-momentum. In this paper we have considered a coordinate analog of such four-vector in the \(\kappa \)-deformed case and we have shown that it is possible to consider analogous (time-, space- and light-like) cases which in fact parameterize the deformation. The universal formulas for the deformed Poincaré algebra depend on the choice of the additional vector field \(\tau \) and allow one to consider three cases of deformations all being the symmetry of the corresponding noncommutative \(\kappa (\tau )\)-Minkowski spacetimes (17). These non-equivalent deformations are classified by the stability groups of \(\tau \). In other words we have presented a class of \(\kappa \)-deformations of orthogonal groups \(S\!O(g)\) in the way that they explicitly depend on the choice of normalized four-vector \(\tau \).
From the point of view of physical applications we can focus here on four dimensions with the metric of Lorentzian signature. Deformed Hopf algebra describes a symmetry of quantized spacetime. In the most studied case the vector \(\tau \) is time-like which corresponds to \(\kappa \)-Minkowski spacetime algebra with noncommutativity between time and space coordinates. Therefore such (time-like) vector can be identified with a preferred direction which can be interpreted as a four-velocity of the preferred observer. Corresponding \(3+1\) decomposition provides a preferred frame. We have shown that in such frame the utilization of Majid–Ruegg coproducts is fully justified. It is also known that theories with preferred spacetime direction violate Lorentz invariance. In fact, the Lorentzian symmetry should be reduced to the stability subgroup for which the coproducts remain undeformed.
Also general relativity models with a preferred direction (Einstein-æther) are currently under debate (see e.g. [44] and references therein). Astrophysical data indicates as well that the universe has a preferred (primordial) direction imprinted on the microwave background [45, 46]. It has been already demonstrated that noncommutative effects turn out to be helpful for the explanation of this fact [47–49].
Alternatively, one can want to restore full Lorentz covariance allowing to transform the vector \(\tau \). Indeed, the Lorentz transformation : \(\tau ^\mu \rightarrow \tilde{\tau }^\mu =\Lambda ^\mu _\nu \tau ^\nu \) does not change the orbit type. Therefore it preserves the deformation type. Such scenario is similar to that one which encounters in Special Relativity which admits a class of preferred observers (frames)—the inertial ones. Conversely, any two inertial observers are connected by the Lorentz transformation. The same reasoning allows one to restore full diffeomorphism invariance on a curved background.
Another nice feature of our approach comes from the fact that the metric tensor \(g\) determining the orthogonal group does not need to be in its canonical (diagonal) form. It implies that the deformation can be executed in an arbitrary coordinate system. In particular, on a curved manifold when the components of the metric \(g\) representing gravitational field as well as the components of \(\tau \) are point-wise dependent. In such a case the usage of Majid–Ruegg bases is not, in general, allowed unless some stronger assumptions (e.g. global hyperbolicity, foliation, etc.) are taken into account. The unified description seems to be particularly useful from the point of view of applications in deformations of general relativity. A deformation in the geometric setting has been under investigation for quite some time as an alternative to the quantization of gravity [30, 31]. For example one can follow the most recent proposition to consider gravitational and cosmological models induced directly from noncommutative, i.e. quantum spacetime [32]. In this approach the metric is taken to be a function of coordinates. The unified description already suitable for the arbitrary metric tensor could be generalized to include the metric as a function of coordinates belonging to the center of the algebra (17). Such generalization would require suitable modification of the Poincaré algebra (2) (see e.g. [50–52]). However, the quantum deformation would be still described by the classical r-matrix \(r_\tau \) and would imply two possibilities for the deformation, i.e. \(\tau ^2\ne 0\) or \(\tau ^2=0\). This could allow to obtain more gravitational and cosmological models induced by (17). Another application could be found in the so-called relative locality where the metric might live on the momentum space [33]. The so-called relative-locality effects were already investigated in the time-like case [53, 54]. The unified description, however, opens a way to also consider the light-like one. In a similar fashion as used in [55] one could define momenta realizations compatible with light-like deformation, i.e. twisted realizations and proceed with the relative-locality formulation [53]. Moreover, the unified description proposed in this paper might be of use in the formulation of quantum field theory on Lie algebraic type of noncommutative spacetimes; see e.g. [56, 57].
It is to be stressed that the twist (41) satisfies two-cocycle conditions which make the light-cone deformation triangular. In contrast, it has been shown recently [58] that the light-like and space-like deformations cannot be reached by a similarity transformation of type (42) even if one abandons the cocycle conditions.
Notes
It has been demonstrated in [17] that the classical basis is related with bi-crossed product construction as well.
In fact, we should restrict ourselves to the connected component of unity instead of the full \(SO(g)\). For example the special Lorentz group \(SO(1, 3)=SO^\uparrow (1, 3)\cup SO^\downarrow (1, 3)\) has two connected components.
For the standard (i.e. Drinfeld–Jimbo-type) deformation one can always switch to the so-called \(q\)-analog version with all infinite series hidden in the one additional generator. In the case of \(\kappa \)-Poincaré it is \(\Pi _{\tau }^{-1}\) which solves a specialization problem for \(\kappa \), for details see [39].
This indicates Lie algebra isomorphism \(\hbox {iso}(2,2)\cong \hbox {iso}(1,1)\oplus \hbox {iso}(1,1)\).
It is called an extended Jordanian twist since it enlarges the basic Jordanian twist \(\exp (-iM_{+\,-}\otimes \ln \Pi _{+})\) (see [43] for details).
References
J. Lukierski, A. Nowicki, H. Ruegg, V.N. Tolstoy, Phys. Lett. B 264, 331 (1991)
J. Lukierski, A. Nowicki, H. Ruegg, Phys. Lett. B293, 344 (1992)
J. Lukierski, H. Ruegg, W.J. Zakrzewski, Ann. Phys. 243, 90 (1995). arXiv:hep-th/9312153
S. Majid, H. Ruegg, Phys. Lett. B 334, 348 (1994). arXiv:hep-th/9405107
S. Zakrzewski, J. Phys. A 27, 2075 (1994)
S. Zakrzewski, Lett. Math. Phys. 32, 11 (1994)
S. Zakrzewski, Commun. Math. Phys. 187, 285 (1997) arXiv:q-alg/9602001
P. Podles, S.L. Woronowicz, Commun. Math. Phys. 178, 61 (1996). arXiv:hep-th/9412059
A. Ballesteros, F.J. Herranz, M.A. del Olmo, M. Santander, Phys. Lett. B 351, 137 (1995)
A. Ballesteros, F.J. Herranz, C.M. Perena, Phys. Lett. B 391, 71 (1997)
J. Lukierski, P. Minnaert, M. Mozrzymas, Phys. Lett. B 371, 215 (1996)
A.I. Mudrov, J. Phys. A Math. Gen. 31, 6219 (1998)
P. Kosiński, P. Maślanka, J. Lukierski, A. Sitarz, Proceedings of the conference “Topics in Mathematical Physics, General Relativity and Cosmology”. In: H. Garcia-Compean et al. (eds.) On the occasion of the 75th Birthday of Jerzy F. Plebanski, 17.09-20.09 2002. World Scientific, Mexico City (2003). arXiv:hep-th/0307038
A. Sitarz, Phys. Lett. B 349, 42 (1995)
K. Przanowski, Acta. Phys. Polon. B28 (1997).
P. Kosinski, P. Maslanka, From Field Theory to Quantum Groups, volume on 60 anniversary of J. Lukierski. World Scientific, Singapore (1996). arXiv:q-alg/9512018
A. Borowiec, A. Pachoł, J. Phys.: Conf. Ser. 343, 012090 (2012) arXiv:1204.5842
J. Kowalski-Glikman, S. Nowak, Phys. Lett. B 539, 126 (2002). [arXiv:hep-th/0203040]
L. Freidel, J. Kowalski-Glikman, S. Nowak, Int. J. Mod. Phys. A23, 2687 (2008) arXiv:0706.3658
J. Lukierski, \(\kappa \)-Deformations of Relativistic Symmetries: Some Recent Developments, in Quantum Group Symposium at GROUP 21, ed. by H.-D. Doebner, V.K. Dobrev (Heron Press, Sofia, 1997)
J. Lukierski, A. Nowicki, Int. J. Mod. Phys. A18, 7 (2003). arXiv:hep-th/0203065
M. Dimitrijevic, L. Jonke, L. Möller, E. Tsouchnika, J. Wess, M. Wohlgenannt, Eur. Phys. J. C31, 129–138 (2003). arXiv:hep-th/0307149
S. Meljanac, A. Samsarov, M. Stojic, K.S. Gupta, Eur. Phys. J. C53, 295 (2008)
T. R. Govindarajan, Kumar S. Gupta, E. Harikumar, S. Meljanac, D. Meljanac. Phys. Rev. D80, 025014 (2009).
D. Kovacevic, S. Meljanac, J. Phys. A 45, 135208 (2012). arXiv:1110.0944
S. Meljanac, S. Kresić-Jurić, M. Stojić, Eur. Phys. J. C 51, 229 (2007). arXiv:hep-th/0702215
P. Kosinski, J. Lukierski, P. Maslanka, J. Sobczyk Mod. Phys. Lett. A10, 2599 (1995). arXiv:hep-th/9412114
P. Maslanka, J. Math. Phys. 34, 12 (1993)
P. Kosinski, P. Maslanka, Phys. Rev. D68, 067702 (2003). arXiv:hep-th/0211057
P. Aschieri, C. Blohmann, M. Dimitrijevic, F. Meyer, P. Schupp, J. Wess, Cl. Quan. Grav. 22, 3511 (2005). arXiv:hep-th/0504183
P. Aschieri, M. Dimitrijevic, F. Meyer, J. Wess, Cl. Quan. Grav. 23, 1883 (2006). arXiv:hep-th/0510059
E. Beggs, S. Majid, Cl. Quan. Grav. 31, 035020 (2014). doi:10.1088/0264-9381/31/3/035020. arXiv:1305.2403
G. Amelino-Camelia, L. Freidel, J. Kowalski-Glikman, and L. Smolin, Phys. Rev. D 84, 084010 (2011) arXiv:1101.0931
V.G. Drinfeld, Quantum groups. Proc. ICM Berkeley 1, 789 (1986)
V.G. Drinfeld, St. Petersburg Math. J. 1, 321 (1990)
V. Chari, A. Pressley, A guide to quantum groups (Cambridge University Press, Cambridge, 1994)
P. Stachura, J. Phys. A: Math. Gen. 31 (1998).
P. Stachura, Double Lie algebras and Manin triples (1997) arXiv:q-alg/9712040
A. Borowiec and A. Pachoł, J. Phys. A: Math. Theor. 43 045203 (2010) arXiv:0903.5251
A. Borowiec, A. Pachol, SIGMA 6, 086 (2010) arXiv:1005.4429
A. Borowiec, T. Jurić, S. Meljanac, A. Pachoł, Z. Skoda in preparation.
J. Lukierski, V. Lyakhovsky, M. Mozrzymas, Phys. Lett. B 538, 375 (2002). arXiv:hep-th/0203182
P.P. Kulish, V.D. Lyakhovsky, A.I. Mudrov, J. Math. Phys. 40, 4569 (1999). arXiv:math/9806014
T. Jacobson, PoSQG-Ph 020 (2007) arXiv:0801.1547
L. Ackerman, S.M. Carroll, M.B. Wise, Phys. Rev. D 75, 083502 (2007)
I. Antoniou, L. Perivolaropoulos, JCAP 1012, 012 (2012) arXiv:1303.5083
E. Akofor, A.P. Balachandran, S.G. Jo, A. Joseph, B.A. Qureshi, JHEP 2008, 092 (2008) arXiv:0710.5897
E. Akofor, A.P. Balachandran, A. Joseph, L. Pekowsky, B. A. Qureshi, Phys. Rev. D 79, 063004 (2009) arXiv:0806.2458
A. Nautiyal Phys. Lett. B 728, 472 (2014) arXiv:1303.4159
D. Kovacevic, S. Meljanac, A. Pachol, R. Strajn, Phys. Lett. B 711, 122 (2012) arXiv:1202.3305
D. Kovacevic, S. Meljanac, A. Pachol, R. Strajn, Math. Phys. 256, 305 (2005). arXiv:hep-th/0401128
H. Grosse, R. Wulkenhaar, Lett. Math. Phys. 71, 13 (2005)
G. Amelino-Camelia, M. Arzano, J. Kowalski-Glikman, G. Rosati, G. Trevisan, Class. Quantum Grav. 29, 075007 (2012). arXiv:1107.1724
G. Amelino-Camelia, V. Astuti, G. Rosati, Eur. Phys. J. C 73, 2521 (2013) arXiv:1206.3805
S. Meljanac, A. Pachol, A. Samsarov, Kumar S. Gupta, Phys. Rev. D 87, 125009 (2013) arXiv:1210.6814
S. Meljanac, A. Samsarov, J. Trampetic, M. Wohlgenannt, JHEP 1112, 010 (2011) arXiv:1111.5553
J. Lukierski, M. Woronowicz, Int. J. Mod. Phys. A 27, 1250084 (2012) arXiv:1206.5656
A. Borowiec, J. Lukierski, A. Pachol, Twisting and \(\kappa \)-Poincaré arXiv:1312.7807
Acknowledgments
This work is a part of the Polish National Science Centre (NCN) project 2011/01/B/ST2/03354. AB acknowledges the financial support from Erasmus Mobility and Training Program under the contract no. FSS/2013/MOB/W/0038 as well as the Science Institute, University of Iceland for the hospitality. The authors thank Jerzy Lukierski and Stjepan Meljanac for remarks and discussions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Funded by SCOAP3 / License Version CC BY 4.0.
About this article
Cite this article
Borowiec, A., Pachoł, A. Unified description for \(\kappa \)-deformations of orthogonal groups. Eur. Phys. J. C 74, 2812 (2014). https://doi.org/10.1140/epjc/s10052-014-2812-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-014-2812-8