Volume 2013, Issue 1 560178
Research Article
Open Access

Invariant Operators of Five-Dimensional Nonconjugate Subalgebras of the Lie Algebra of the Poincaré Group P(1,4)

Vasyl Fedorchuk

Corresponding Author

Vasyl Fedorchuk

Institute of Mathematics, Pedagogical University, 2 Podchorążych Street, 30-084 Cracow, Poland wsp.krakow.pl

Pidstryhach Institute for Applied Problems of Mechanics and Mathematics, National Academy of Sciences of Ukraine, 3b Naukova Street, Lviv 79601, Ukraine nas.gov.ua

Search for more papers by this author
Volodymyr Fedorchuk

Volodymyr Fedorchuk

Pidstryhach Institute for Applied Problems of Mechanics and Mathematics, National Academy of Sciences of Ukraine, 3b Naukova Street, Lviv 79601, Ukraine nas.gov.ua

Search for more papers by this author
First published: 28 November 2013
Academic Editor: Emrullah Yaşar

Abstract

We have classified all five-dimensional nonconjugate subalgebras of the Lie algebra of the Poincaré group P(1,4) into classes of isomorphic subalgebras. Using this classification, we have constructed invariant operators (generalized Casimir operators) for all five-dimensional nonconjugate subalgebras of the Lie algebra of the Poincaré group P(1,4) and presented them in the explicit form.

1. Introduction

At present, there are many papers devoted to the methods for construction and various applications of invariant operators (generalized Casimir operators) of the Lie algebras to the theory of representations of the Lie groups (and their Lie algebras), theory of special functions, theoretical and mathematical physics, and the theory of differential equations. The details can be found in [127] and references therein.

The generalized Poincaré group P(1,4) is a group of rotations and translations of the five-dimensional Minkowski space M(1,4). This group is applied to solve various problems of theoretical and mathematical physics (see, e.g., [2830]). Invariant operators of the Lie algebra of the Poincaré group P(1,4) have been constructed by Fushchich and Krivskiy [4, 5, 28, 31]. Those operators are used for the classification of the irreducible representations of the Lie algebra of the Poincaré group P(1,4) and for the construction of P(1,4)-invariant differential equations.

The subgroup structure of the group P(1,4) has been studied in [3236]. One of the nontrivial consequences of the description of the nonconjugate subalgebras of the Lie algebra of the group P(1,4) is that the Lie algebra of the group P(1,4) contains, as subalgebras, the Lie algebra of the Poincaré group P(1,3) and the Lie algebra of the extended Galilei group G(1,3) [37], that is, it naturally unites the Lie algebras of the symmetry groups of relativistic and nonrelativistic physics.

In [38, 39], invariant operators for some nonconjugate subalgebras of the Lie algebra of the group P(1,4) have been constructed. The description of invariant operators of eight-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) can be found in [40].

Invariant operators for all nonconjugate subalgebras of dimension ≤4 of the Lie algebra of the group P(1,4) have been constructed in [41, 42].

The aim of the paper is to construct the invariant operators of all five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4).

The outline of this paper is as follows. In Section 2, we present the brief information about the methods for calculating invariant operators. In Section 3, we define the Lie algebra of the Poincaré group P(1,4). In Section 4, we present the results of the classification of all five-dimensional decomposable nonconjugate subalgebras of the Lie algebra of the Poincaré group P(1,4) into isomorphism classes as well as their invariant operators. Section 5 is devoted to the presentation of the results of the classification of all five-dimensional indecomposable nonconjugate subalgebras of the Lie algebra of the Poincaré group P(1,4) into isomorphism classes as well as their invariant operators. The conclusions and results are discussed in Section 6.

2. About Methods for Calculating Invariant Operators

A method for calculating invariant operators of Lie algebras goes back to the original work of Lie; it has been discussed in detail in a paper of Patera et al. [7]. The method consists in reducing this problem to that of solving a set of linear first-order partial differential equations.

In the same work, the method has been applied for calculating invariant operators of all real Lie algebras of dimension less or equal five as well as real nilpotent algebras of dimension six. A short version of this method as well as the application for construction of invariant operators of the Lie algebra of the Poincaré group P(1,3) can be found in the paper by Patera et al. [8]. According to Patera et al. [7, 8] we also distinguish between Casimir operators (polynomials in the basic operators of the Lie algebra), rational invariants (rational functions of the basic operators of the Lie algebra), and general invariants (irrational and transcendental functions of the basic operators of the Lie algebra).

Recently, Boyko et al. [20] have proposed a new purely algebraic algorithm for computation of invariant operators (generalized Casimir operators) of Lie algebras. It uses the Cartan method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. In particular, the algorithm has been applied to the computation of invariant operators for real low-dimensional Lie algebras, finite-dimensional solvable Lie algebras restricted only by a required structure of the nilradical, the class of triangular algebras, the class of solvable triangular Lie algebras with one nilindependent diagonal element, solvable Lie algebras with triangular nilradicals, and diagonal nilindependent elements, and so forth. The details can be found in Boyko et al. [2024]. The discussion of a purely algebraic algorithm for the computation of invariant operators of Lie algebras by means of moving frames as well as the extension of the exploitation of Cartan′s method in the Fels-Olver version can be found in the paper of Boyko et al. [25].

In order to construct invariant operators for five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) we have done the following steps.
  • (i)

    Based on the complete classification of real structures of Lie algebras of dimension ≤5 obtained by Mubarakzyanov in [43, 44], we classify all five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) into classes of isomorphic subalgebras.

In order to select nonconjugate subalgebras of the Lie algebra of the Poincaré group P(1,4) from the classification of five-dimensional Lie algebras provided by Mubarakzyanov we first choose any nonconjugate subalgebra of the Lie algebra of the group P(1,4) and investigate for which subalgebra from the Mubarakzyanov classification (or subalgebra from some Mubarakzyanov’s class) this subalgebra is isomorphic. In order to realize it we directly use the following theorem.

Theorem 1 (see [45].)If the structural constants of the Lie algebra  Lr  are equal to the structural constants of the Lie algebracorrespondingly, then these Lie algebras are isomorphic. Inversely, if the Lie algebras  Lr  andare isomorphic, then in these algebras there exist such bases in which their structural constants will be equal, correspondingly.

Next, we choose any other subalgebra from the remaining nonconjugate subalgebras of the Lie algebra of the group P(1,4) and do with it the same, and so on. We do the same with all nonconjugate subalgebras of the Lie algebra of the group P(1,4). In the result we obtain all classes of isomorphic five-dimensional subalgebras of the Lie algebra of the group P(1,4).
  • (ii)

    We use invariant operators for all real Lie algebras of dimension ≤5 constructed by Patera et al. [7] for the construction of invariant operators for all five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4).

In order to present the results obtained, we consider the Lie algebra of the group P(1,4).

3. The Lie Algebra of the Poincaré Group P(1,4)

The Lie algebra of the group P(1,4) is given by 15 basic elements  Mμν = −Mνμ,  μ,  ν = 0,1, 2,3, 4  and,  μ = 0,1, 2,3, 4  that satisfy the commutation relations
()
where  gμν,  μ, ν = 0,1, 2, 3, 4  is the metric tensor with components  g00 = −g11 = −g22 = − g33 = − g44 = 1  and  gμν = 0  if  μν. Here and below,.
We pass fromandto the following linear combinations:
()

Definition 2. We say that two subalgebras of the Lie algebra  L  which are map to each other by the group of inner automorphisms of the Lie algebra  L  are conjugate.

In order to describe nonconjugate subalgebras of the Lie algebra of the group P(1,4), we have used a method proposed by Patera et al. [46].

In the paper, we use the complete list of nonconjugate (up to P(1,4)-conjugation) subalgebras of the Lie algebra of the group P(1,4) given in [47].

4. Invariant Operators of Five-Dimensional Decomposable Nonconjugate Subalgebras of the Lie Algebra of the Poincaré Group P(1,4)

In the paper, the symboldenotes the  jth Lie algebra of dimension  r  and  a  is a continuous parameter for the algebra. It should be indicated that the notationcorresponds to those used in the paper by Patera et al. [7]. In what follows, for the given specific Lie algebra, we write only nonzero commutation relations [7, 44].

Definition 3. We say that Lie algebra is decomposable if it is the direct sum of algebras of lower dimension.

Let us consider two Lie algebras  L  and  L.

Definition 4. We say that the Lie algebra  LL  is direct sum of Lie algebras  L  and  L  if it consists of the vector space  LL  of the pairs  (X, X),  XL,  XL, satisfying the commutation relation

()

We present results for five-dimensional decomposable nonconjugate subalgebras of the Lie algebra of the group P(1,4).

4.1. Lie Algebras of the Type 5A1

Consider  X0 + X4〉 ⊕ 〈X1〉 ⊕ 〈X2〉 ⊕ 〈X3〉 ⊕ 〈X0X4〉.

Since the Lie algebras of the type  5A1  are Abelian, the invariant operators of these algebras are their basis elements.

4.2. Lie Algebras of the Type A2A1A1A1

The nonzero commutation relation for algebra  A2  has the following form:
()
The nonconjugate subalgebra of the type  A2A1A1A1  of the Lie algebra of the group P(1,4) can be written as
()
It is known that the invariant operators for Lie algebras of the type  A2A1  are invariant operators of the subalgebras  A2  and  A1  (see, e.g., Patera et al. [7]). The Lie algebras of the type  A2  do not have invariant operators according to Patera et al. [7, 8]. Each Lie algebra of the type  A1  has one invariant operator, which is its basis element. Therefore, the invariant operators for Lie algebra of the type  A2A1A1A1  are basis elements of subalgebras  A1,  A1, and  A1.

4.3. Lie Algebras of the Type A3,1A1A1

The nonzero commutation relation for algebra  A3,1  has the following form:
()
There exist nine five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to algebra of the type  A3,1A1A1. Two of them depend on parameters and hence constitute continua of subalgebras.

For all nonconjugate subalgebras invariant operators are Casimir operators.

The nonconjugate subalgebras of the type  A3,1A1A1  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 1.

Table 1. Invariant operators of subalgebras of the type A3,1A1A1.
Basis elements of subalgebras Invariant operators
〈−2X4, X1, P1〉 ⊕ 〈P3〉 ⊕ 〈P2 X4, P3, P2
〈−2X4, X1, P1〉 ⊕ 〈P2〉 ⊕ 〈X3 X4, P2, X3
〈2X4, P3, X3〉 ⊕ 〈X1〉 ⊕ 〈X2 X4, X1, X2
〈2X4, P3 + X0, X3〉 ⊕ 〈X1〉 ⊕ 〈X2 X4, X1, X2
〈−2X4, X1, P1〉 ⊕ 〈P2〉 ⊕ 〈P3 + X3 X4, P2, P3 + X3
〈2X4, P1 + X2, X1〉 ⊕ 〈X3〉 ⊕ 〈P2 + X1 X4, X3, P2 + X1
〈2γX4, P1 + γX2 + δX3, −P2, γ > 0〉 ⊕ 〈P3 + X3 + δX1〉 ⊕ 〈P2 + γX1, γ > 0〉 X4, P3 + X3 + δX1, P2 + γX1, γ > 0
〈2X4, P1 + δX3, −P2 + X1, δ > 0〉 ⊕ 〈P3 + X3 + δX1, δ > 0〉 ⊕ 〈P2 X4, P2, P3 + X3 + δX1, δ > 0
〈2X4, −P1X2, P2〉 ⊕ 〈P3〉 ⊕ 〈P2 + X1 X4, P3, P2 + X1

4.4. Lie Algebras of the Type A3,2A1A1

The nonzero commutation relations for algebra  A3,2  have the following form:
()
There exists only one class of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebra of the type  A3,2A1A1.

Among invariant operators of nonconjugate subalgebras there are Casimir operators, and general invariants.

The nonconjugate subalgebras of the type  A3,2A1A1  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 2.

Table 2. Invariant operators of subalgebras of the type A3,2A1A1.
Basis elements of subalgebras Invariant operators
〈2aX4, P3, G + aX3, a < 0〉 ⊕ 〈X1〉 ⊕ 〈X2 , X1, X2

4.5. Lie Algebras of the Type A3,3A1A1

The nonzero commutation relations for algebra  A3,3  have the following form:
()
There exists only one five-dimensional nonconjugate subalgebra of the Lie algebra of the group P(1,4) which is isomorphic to subalgebra of the type  A3,3A1A1.

Among invariant operators of nonconjugate subalgebra there are Casimir operators and rational invariant.

The nonconjugate subalgebra of the type  A3,3A1A1  of the Lie algebra of the group P(1,4) and its invariant operators are given in Table 3.

Table 3. Invariant operators of subalgebra of the type A3,3A1A1.
Basis elements of subalgebras Invariant operators
P3, X4, G〉 ⊕ 〈X1〉 ⊕ 〈X2 , X1, X2

4.6. Lie Algebras of the Type A3,4A1A1

The nonzero commutation relations for algebra  A3,4  have the following form:
()
There exist three five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebra of the type  A3,4A1A1. One of them depends on parameters and hence constitute continua of subalgebras.

For all nonconjugate subalgebras invariant operators are Casimir operators.

The nonconjugate subalgebras of the type  A3,4A1A1  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 4.

Table 4. Invariant operators of subalgebras of the type A3,4A1A1.
Basis elements of subalgebras Invariant operators
X0, X4, −G〉 ⊕ 〈L3〉 ⊕ 〈X3 X0X4, L3, X3
X0, X4, −G〉 ⊕ 〈X1〉 ⊕ 〈X2 X0X4, X1, X2
X0, X4, −Ga3X3, a3 < 0〉 ⊕ 〈X1〉 ⊕ 〈X2 X0X4, X1, X2

4.7. Lie Algebras of the Type A3,6A1A1

The nonzero commutation relations for algebra  A3,6  have the following form:
()
There exist thirteen five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebra of the type  A3,6A1A1. Three of them depend on parameters and hence constitute continua of subalgebras.

For all nonconjugate subalgebras invariant operators are Casimir operators.

The nonconjugate subalgebras of the type  A3,6A1A1  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 5.

Table 5. Invariant operators of subalgebras of the type A3,6A1A1.
Basis elements of subalgebras Invariant operators
P1, P2, L3〉 ⊕ 〈P3〉 ⊕ 〈X4 , P3, X4
P1, P2, L3〉 ⊕ 〈X3〉 ⊕ 〈X4 , X3, X4
X1, −X2, −L3〉 ⊕ 〈P3〉 ⊕ 〈X4 , P3, X4
X1, −X2, −L3〉 ⊕ 〈G〉 ⊕ 〈X3 , G, X3
X1, X2, L3〉 ⊕ 〈X0 + X4〉 ⊕ 〈P3 + C3 , X0 + X4, P3 + C3
X1, X2, L3〉 ⊕ 〈X4〉 ⊕ 〈X0 , X4, X0
X1, X2, L3〉 ⊕ 〈X4〉 ⊕ 〈X3 , X4, X3
X1, X2, L3〉 ⊕ 〈X0X4〉 ⊕ 〈X3 , X0X4, X3
P1, P2, L3〉 ⊕ 〈X4〉 ⊕ 〈P3 + X3 , X4, P3 + X3
X1, X2, L3〉 ⊕ 〈X4〉 ⊕ 〈P3 + X0 , X4, P3 + X0
X1, X2, L3 + d3X3, d3 < 0〉 ⊕ 〈X4〉 ⊕ 〈X0 , X4, X0
, X0X4, X3
X1, X2, L3 + α(X0 + X4), α < 0〉 ⊕ 〈X4〉 ⊕ 〈X3 , X4, X3

4.8. Lie Algebras of the Type A3,6A2

The nonzero commutation relations for algebra  A3,6  have the following form:
()
The nonzero commutation relations for algebra  A2  have the following form:
()
There exist five five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebra of the type  A3,6A2. Three of them depend on parameters and hence constitute continua of subalgebras.

For all nonconjugate subalgebras invariant operators are Casimir operators. In this case all nonconjugate subalgebras have the same invariant operator.

The nonconjugate subalgebras of the type  A3,6A2  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 6.

Table 6. Invariant operators of subalgebras of the type A3,6A2.
Basis elements of subalgebras Invariant operators
X1, X2, L3〉 ⊕ 〈−G, P3
X1, X2, L3〉 ⊕ 〈−G, X4
X1, X2, L3 + dX3, d < 0〉 ⊕ 〈−GaX3, X4, a < 0〉
X1, −X2, −L3〉 ⊕ 〈−GaX3, X4, a < 0〉
X1, X2, L3 + dX3, d < 0〉 ⊕ 〈−G, X4

4.9. Lie Algebras of the Type A3,8A1A1

The nonzero commutation relations for algebra  A3,8  have the following form:
()
There exists only one five-dimensional nonconjugate subalgebra of the Lie algebra of the group P(1,4) which is isomorphic to subalgebra of the type  A3,8A1A1.

For this nonconjugate subalgebra invariant operators are Casimir operators.

The nonconjugate subalgebra of the type  A3,8A1A1  of the Lie algebra of the group P(1,4) and its invariant operators are given in Table 7.

Table 7. Invariant operators of subalgebra of the type A3,8A1A1.
Basis elements of subalgebras Invariant operators
〈−P3, G, C3〉 ⊕ 〈X1〉 ⊕ 〈X2 2G2P3C3C3P3, X1, X2

4.10. Lie Algebras of the Type A3,9A1A1

The nonzero commutation relations for algebra  A3,9  have the following form:
()
There exist only two five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebra of the type  A3,9A1A1.

For all nonconjugate subalgebras invariant operators are Casimir operators.

The nonconjugate subalgebras of the type  A3,9A1A1  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 8.

Table 8. Invariant operators of subalgebras of the type A3,9A1A1.
Basis elements of subalgebras Invariant operators
L3, L1, L2〉 ⊕ 〈X4〉 ⊕ 〈X0 , X4, X0
, 2L3 − (P3 + C3)

4.11. Lie Algebras of the Type A3,9A2

The nonzero commutation relations for algebra  A3,9  have the following form:
()
The nonzero commutation relations for algebra  A2  have the following form:
()
There exist only one five-dimensional nonconjugate subalgebra of the Lie algebra of the group P(1,4) which is isomorphic to subalgebra of the type  A3,9A2.

For this nonconjugate subalgebra invariant operator is Casimir operator.

The nonconjugate subalgebra of the type  A3,9A2  of the Lie algebra of the group P(1,4) and its invariant operator are given in Table 9.

Table 9. Invariant operator of subalgebra of the type A3,9A2.
Basis elements of subalgebras Invariant operators
〈−L3, −L1, L2〉 ⊕ 〈−G, X4

4.12. Lie Algebras of the Type A4,1A1

The nonzero commutation relations for algebra  A4,1  have the following form:
()
There exist five five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebra of the type  A4,1A1. One of them depends on parameters and hence constitute continua of subalgebras.

For all nonconjugate subalgebras invariant operators are Casimir operators.

The nonconjugate subalgebras of the type  A4,1A1  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 10.

Table 10. Invariant operators of subalgebras of the type A4,1A1.
Basis elements of subalgebras Invariant operators
〈2X4, −X3, X0, P3〉 ⊕ 〈L3 X4, , L3
〈2X4, −X3, X0, P3〉 ⊕ 〈X1 X4, , X1
〈2X4, −X3, X0, P3 + X2〉 ⊕ 〈X1 X4, , X1
〈2X4, −X1, P2 + X0, P1〉 ⊕ 〈X3 X4, , X3
〈2γX4, −γX1, P2 + γX0 + X1, P1 + X2, γ > 0〉 ⊕ 〈X3 X4, , X3

4.13. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
There exists only one class of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebras of the type.

Among invariant operators of nonconjugate subalgebras there are Casimir operator, rational invariant and general invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 11.

Table 11. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
a = 1 : 〈P2, 2a1X4, P1, G + a1X1, a1 < 0〉 ⊕ 〈X3 , , X3

4.14. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
There exists only one five-dimensional nonconjugate subalgebra of the Lie algebra of the group P(1,4) which is isomorphic to subalgebra of the type.

Among invariant operators of nonconjugate subalgebra there are Casimir operator and rational invariants.

The nonconjugate subalgebra of the typeof the Lie algebra of the group P(1,4) and its invariant operators are given in Table 12.

Table 12. Invariant operators of subalgebra of the type .
Basis elements of subalgebras Invariant operators
a = 1, b = 1 : 〈X4, P1, P2, G〉 ⊕ 〈X3 , , X3

4.15. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
There exist only two classes of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebras of the type.

Among invariant operators of nonconjugate subalgebras there are Casimir operators, rational invariant and general invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 13.

Table 13. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
a = e, b = e : 〈X4, P1, P2, L3 + eG, e > 0〉 ⊕ 〈X3 , , X3, e > 0
a = e, b = 0 : 〈X4, X1, X2, L3 + eG, e > 0〉 ⊕ 〈X3 , , X3, e > 0

4.16. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
There exist five five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to algebra of the type. Three of them depend on parameters and hence constitute continua of subalgebras.

For all nonconjugate subalgebras invariant operators are Casimir operators.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 14.

Table 14. Invariant operators of subalgebras of the type   (b = 0).
Basis elements of subalgebras Invariant operators
〈2X4, P3, X3, G〉 ⊕ 〈L3 L3
〈2X4, P3, X3, G〉 ⊕ 〈X1 X1
〈2eX4, P3, X1 + eX3, G, e > 0〉 ⊕ 〈X2 X2
〈2X4, P3, X3, G + aX2, a < 0〉 ⊕ 〈X1 X1
〈2μX4, P3, X1 + μX3, G + αX1, α < 0, μ > 0〉 ⊕ 〈X2 X2

4.17. Lie Algebras of the Type A4,10A1

The nonzero commutation relations for algebra  A4,10  have the following form:
()
There exist two five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to subalgebra of the type  A4,10A1. One of them depends on parameters and hence constitute continua of subalgebras.

For all nonconjugate subalgebras invariant operators are Casimir operators.

The nonconjugate subalgebras of the type  A4,10  ⊕  A1  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 15.

Table 15. Invariant operators of subalgebras of the type A4,10A1.
Basis elements of subalgebras Invariant operators
X4, ,
〈−4X4, P1 + X2, P2X1, L3〉 ⊕ 〈X3 X4, , X3

4.18. Lie Algebras of the Type A4,12A1

The nonzero commutation relations for algebra  A4,12  have the following form:
()
There exists only one five-dimensional nonconjugate subalgebra of the Lie algebra of the group P(1,4) which is isomorphic to algebra of the type  A4,12A1.

For this nonconjugate subalgebra invariant operator is Casimir operator.

The nonconjugate subalgebra of the type  A4,12A1  of the Lie algebra of the group P(1,4) and its invariant operator are given in Table 16.

Table 16. Invariant operator of subalgebra of the type A4,12A1.
Basis elements of subalgebras Invariant operators
〈−P1, P2, G, −L3〉 ⊕ 〈X3 X3

Thus, we have described the invariant operators for all decomposable five-dimensional subalgebras of the Lie algebra of the group P(1,4).

5. Invariant Operators of Five-Dimensional Indecomposable Nonconjugate Subalgebras of the Lie Algebra of the Poincaré Group P(1,4)

We present results for five-dimensional indecomposable nonconjugate subalgebras of the Lie algebra of the group P(1,4).

5.1. Lie Algebras of the Type A5,4

The nonzero commutation relations for algebra  A5,4  have the following form:
()
This Lie algebra is nilpotent.

There are nine nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebra of type  A5,4, six of which depend on parameters and hence constitute continua of subalgebras.

Invariant operators of all subalgebras are Casimir operators. Moreover, all subalgebras have the same invariant operator.

The nonconjugate subalgebras of the type  A5,4  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 17.

Table 17. Invariant operators of subalgebras of the type A5,4.
Basis elements of subalgebras Invariant operators
〈2X4, P1, P2, X1, X2 X4
〈2X4, P1, P2, X1 + eX3, X2, e > 0〉 X4
〈2X4, P1 + X3, P2, X1, X2 X4
〈2X4, P1, P2 + X3, X1 + μX3, X2 X4
X4
X4
〈4X4, P1 + βX2, P2 + X3 + βX1, P2 + X3 + (β + 2)X1, P1 − P3 + (β + 1)X2, β > 0〉 X4
〈4X4, P2 + γX1 + X3, P1 + γX2 + δX3, P1 − P3 − δX1 + (γ + 1)X2 + (δ − μ)X3, P2 + (γ + 2)X1 + X3, γ > 0, μ > 0〉 X4
〈4X4, P1 + P2 + (δ + 2)X1 + (δ + 1)X3, P3 − P1 − X2 + (μ − δ)X3, P2 + 2X1 + X3, P2 + X3 X4

5.2. Lie Algebras of the Type A5,5

The nonzero commutation relations for algebra  A5,5  have the following form:
()
This Lie algebra is nilpotent.

There are four nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebra of the type  A5,5, three of which depend on parameters and hence constitute continua of subalgebras.

Invariant operators of all subalgebras are Casimir operators. Moreover, all subalgebras have the same invariant operator.

The nonconjugate subalgebras of the type  A5,5  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 18.

Table 18. Invariant operators of subalgebras of the type A5,5.
Basis elements of subalgebras Invariant operators
〈2X4, −X2, P1 + X0, X1, P2 + βX3, β > 0〉 X4
〈2X4, −X2, P1 + X0, X1, P2 X4
〈2X4, −X2, P1 + X0, X1 + μX3, P2 + βX3, β > 0, μ > 0〉 X4
〈2X4, −X2, P1 + X0, X1 + μX3, P2, μ > 0〉 X4

5.3. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

The isomorphism of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) and Lie algebras of the typeis possible only when  a = 1,  b = 1, and  c = 1. Only one nonconjugate subalgebra is isomorphic to subalgebra of this type.

Invariant operators for this subalgebra are rational invariants.

The nonconjugate subalgebra of the typeof the Lie algebra of the group P(1,4) and its invariant operators are given in Table 19.

Table 19. Invariant operators of subalgebra of the type .
Basis elements of subalgebras Invariant operators
a = 1, b = 1, c = 1 : 〈P1, P2, P3, X4, G

5.4. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

The isomorphism of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) and Lie algebras of the typeis possible only when  b = 1  and  c = 1. Only one class of nonconjugate subalgebras is isomorphic to Lie algebra of this type.

Among the invariant operators of these subalgebras there are rational invariants as well as general invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and its invariant operators are given in Table 20.

Table 20. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
b = 1, c = 1 : 〈2a2X4, P1, P2, P3, G + a2X1, a2 < 0〉

5.5. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

There exist four classes of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type. They correspond to four different values of parameters  a,  p,  q.

Among the invariant operators of these subalgebras there are rational invariants as well as general invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 21.

Table 21. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
, ,
, ,
, ,
, ,

5.6. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

There exist seven five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type, five of which depend on parameters and hence constitute continua of subalgebras. This isomorphism is possible only if  p = 0.

Among the invariant operators of these subalgebras there are Casimir operators as well as general invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 22.

Table 22. Invariant operators of subalgebras of the type   (p = 0).
Basis elements of subalgebras Invariant operators
〈−2X4, X3, −P1, P2, P3L3 X4, ,
〈2X4, X3, X1, X2, L3P3 X4, ,
〈2d3X4, P3 + X3, P1, P2, L3d3X3, d3 < 0〉 X4, ,
〈2d3X4, P3, P1, P2, L3 + d3X3, d3 < 0〉 X4, ,
〈2dX4, P3 + X0, X1, X2, L3 + dX3, d < 0〉 X4, ,
〈−2dX4, P3, −X1, X2, −L3dX3, d < 0〉 X4, ,
〈2X4, X3, X1, X2, L3 − P3 + α0X0, α0 < 0〉 X4, ,

5.7. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

There exist two classes of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type. They correspond to two different values of parameters  p,  q.

Among the invariant operators of these subalgebras there are rational invariants as well as general invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 23.

Table 23. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
, ,
, ,

5.8. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

There exist three five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type, two of which depend on parameters and hence constitute continua of subalgebras. They correspond to two different values of parameters  s,  p,  q.

Among the invariant operators of these subalgebras there are Casimir operators as well as general invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 24.

Table 24. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
, ,
, ,  −  arcsin 
, ,  − arcsin 

5.9. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

There exist four five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type, three of which depend on parameters and hence constitute continua of subalgebras. Isomorphism is possible only if  a = 1,  b = 1.

Invariant operators of all subalgebras are rational invariants. Moreover, all subalgebras have the same invariant operator.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 25.

Table 25. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
〈2X4, P1, X1, P2, G
〈2X4, P1, X1 + eX3, P2, G〉
〈2X4, P1, X1, P2, G + a3X3, a3 < 0〉
〈2X4, P1, X1 + μX3, P2, G − αμX3, α < 0, μ > 0〉

5.10. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

There exist four classes of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type. Isomorphism is possible if  a = 1.

Invariant operators of these subalgebras are general invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 26.

Table 26. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
〈2a2X4, P1, a2X1, P2, G + a2X2 + a3X3, a2 < 0, a3 < 0〉
〈2a2X4, P1, a2X1, P2, G + a2X2, a2 < 0〉
〈2αX4, P1, α(X1 + μX3), P2, G + αX2, α < 0, μ > 0〉
〈2βX4, P1, β(X1 + μX3), P2, G + βX2 − αμX3, β > 0, μ > 0, α > 0〉

5.11. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

There exist two classes of five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type. Isomorphism is possible if  p = 0,  ε = −1.

Invariant operators of all subalgebras are Casimir operators. Moreover, all subalgebras have the same invariant operator.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 27.

Table 27. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
X4
〈−4μX4, P1 + μX2, P2 − μX1, −2μX3, P3 − L3, μ > 0〉 X4

5.12. Lie Algebras of the Type A5,30

The nonzero commutation relations for algebra  A5,30  have the following form:
()
This Lie algebra is solvable.

There exist three five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type  A5,30, two of which depend on parameters and hence constitute continua of subalgebras. Isomorphism is possible only if  a = 0.

Invariant operators of all subalgebras are Casimir operators. Moreover, all subalgebras have the same invariant operator.

The nonconjugate subalgebras of the type  A5,30 (a = 0)  of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 28.

Table 28. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
〈2X4, −X3, X0, P3, G
〈2X4, −X3, X0, P3, G + aX1, a < 0〉

5.13. Lie Algebras of the Type

The nonzero commutation relations for algebrahave the following form:
()
This Lie algebra is solvable.

There exist five five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to Lie algebras of the type, three of which depend on parameters and hence constitute continua of subalgebras. Isomorphism is possible only if  a = 0,  b = 1.

Invariant operators of all subalgebras are rational invariants.

The nonconjugate subalgebras of the typeof the Lie algebra of the group P(1,4) and their invariant operators are given in Table 29.

Table 29. Invariant operators of subalgebras of the type .
Basis elements of subalgebras Invariant operators
P3, P1, P2, G, L3
X4, P2, P1, G, −L3
〈X4, P2, P1, G + a3X3, −L3 − d3X3, d3 < 0, a3 < 0〉
〈X4, P2, P1, G + a3X3, −L3, a3 < 0〉
〈X4, P2, P1, G, −L3 − d3X3, d3 < 0〉

As we write above, our investigation of isomorphism of the five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) to Lie algebras from the classification of five-dimensional Lie algebras given by Mubarakzyanov [43, 44] is based on the Theorem from Section 2. Direct application of this Theorem gives us that there are no five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to the Lie algebras of the following types:  A5,1,  A5,2,  A5,3,  A5,6,,  A5,10,,  A5,12,,,  A5,21,  A5,22,,,,  A5,27,,  A5,29,  A5,31,,,,  A5,36,  A5,37,  A5,38,  A5,39, and  A5,40. Commutation relations for those types of five-dimensional real Lie algebras as well as their invariant operators have been described in the paper by Patera et al. [7].

6. Conclusions

The aim of this study was to construct invariant operators (generalized Casimir operators) for all five-dimensional nonconjugate subalgebras of the Lie algebra of the Poincaré group P(1,4). To realize this aim, we at first perform the classification of those subalgebras into classes of isomorphic subalgebras by using a complete classification of real structures of Lie algebras of dimension ≤5 obtained by Mubarakzyanov [43, 44]. Next, we construct invariant operators for all five-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1,4) by using invariant operators of all real Lie algebras of dimension ≤5 constructed by Patera et al. [7]. The results obtained are summarized in Tables 129.

Let us give a few comments on the results of this paper.
  • (i)

    Invariant operators for nonconjugate subalgebras of the Lie algebra of the Poincaré group P(1,4) which are isomorphic to five-dimensional nilpotent Lie algebras of the types  A5,4  and  A5,5  are Casimir operators.

  • (ii)

    Invariant operators for nonconjugate subalgebras of the Lie algebra of the group P(1,4) which are isomorphic to five-dimensional solvable Lie algebras from the Mubarakzyanov’s list are Casimir operators, rational invariants, and general invariants.

  • (iii)

    All nonconjugate subalgebras of the Lie algebra of the group P(1,4) from classes of ones which are isomorphic to the following types of Lie algebras

    ()

  • have the same invariant operators.

In particular, the results obtained can be used
  • (i)

    in the representation theory of the group P(1,4) and its nonconjugate subgroups;

  • (ii)

    to solve the problems of reduction of the irreducible representations of the group P(1,4) (or the Lie algebra of the group P(1,4)) by the irreducible representations of its subgroups (or its subalgebras); it should be noted that the realisations of all classes of unitary irreducible representations of the Poincaré group P(1,4) on a basis in which the Casimir operators of its important subgroup, that is, the Galilei group G(1,3), are of diagonal form, have been found by Fushchich and Nǐkǐtǐn [37];

  • (iii)

    for the construction of differential equations invariant with respect to nonconjugate subgroups of the Poincaré group P(1,4);

  • (iv)

    for the construction of systems of coordinates, in which differential equations, invariant with respect to the group P(1,4) (or its nonconjugate subgroups), admit partial or full separation of variables.

Since the Lie algebra of the group P(1,4) contains, as subalgebras, the Lie algebra of the Poincaré group P(1,3) and the Lie algebra of the extended Galilei group G(1,3) (Fushchich and Nǐkǐtǐn [37]), the results obtained will be useful to solve the problems of relativistic and nonrelativistic physics.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.