Invariant Operators of Five-Dimensional Nonconjugate Subalgebras of the Lie Algebra of the Poincaré Group P(1,4)
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 [1–27] 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., [28–30]). 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 [32–36]. 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. [20–24]. 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 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.
- (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)
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 L ⊕ L′ is direct sum of Lie algebras L and L′ if it consists of the vector space L ⊕ L′ of the pairs (X, X′), X ∈ L, X′ ∈ L′, 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〉 ⊕ 〈X0 − X4〉.
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 A2 ⊕ A1 ⊕ A1 ⊕ A1
4.3. Lie Algebras of the Type A3,1 ⊕ A1 ⊕ A1
For all nonconjugate subalgebras invariant operators are Casimir operators.
The nonconjugate subalgebras of the type A3,1 ⊕ A1 ⊕ A1 of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 1.
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, −P1 − X2, P2〉 ⊕ 〈P3〉 ⊕ 〈P2 + X1〉 | X4, P3, P2 + X1 |
4.4. Lie Algebras of the Type A3,2 ⊕ A1 ⊕ A1
Among invariant operators of nonconjugate subalgebras there are Casimir operators, and general invariants.
The nonconjugate subalgebras of the type A3,2 ⊕ A1 ⊕ A1 of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 2.
Basis elements of subalgebras | Invariant operators |
---|---|
〈2aX4, P3, G + aX3, a < 0〉 ⊕ 〈X1〉 ⊕ 〈X2〉 | , X1, X2 |
4.5. Lie Algebras of the Type A3,3 ⊕ A1 ⊕ A1
Among invariant operators of nonconjugate subalgebra there are Casimir operators and rational invariant.
The nonconjugate subalgebra of the type A3,3 ⊕ A1 ⊕ A1 of the Lie algebra of the group P(1,4) and its invariant operators are given in Table 3.
Basis elements of subalgebras | Invariant operators |
---|---|
〈P3, X4, G〉 ⊕ 〈X1〉 ⊕ 〈X2〉 | , X1, X2 |
4.6. Lie Algebras of the Type A3,4 ⊕ A1 ⊕ A1
For all nonconjugate subalgebras invariant operators are Casimir operators.
The nonconjugate subalgebras of the type A3,4 ⊕ A1 ⊕ A1 of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 4.
Basis elements of subalgebras | Invariant operators |
---|---|
〈X0, X4, −G〉 ⊕ 〈L3〉 ⊕ 〈X3〉 | X0X4, L3, X3 |
〈X0, X4, −G〉 ⊕ 〈X1〉 ⊕ 〈X2〉 | X0X4, X1, X2 |
〈X0, X4, −G − a3X3, a3 < 0〉 ⊕ 〈X1〉 ⊕ 〈X2〉 | X0X4, X1, X2 |
4.7. Lie Algebras of the Type A3,6 ⊕ A1 ⊕ A1
For all nonconjugate subalgebras invariant operators are Casimir operators.
The nonconjugate subalgebras of the type A3,6 ⊕ A1 ⊕ A1 of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 5.
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〉 ⊕ 〈X0 − X4〉 ⊕ 〈X3〉 | , X0 − X4, 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 |
, X0 − X4, X3 | |
〈X1, X2, L3 + α(X0 + X4), α < 0〉 ⊕ 〈X4〉 ⊕ 〈X3〉 | , X4, X3 |
4.8. Lie Algebras of the Type A3,6 ⊕ A2
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,6 ⊕ A2 of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 6.
Basis elements of subalgebras | Invariant operators |
---|---|
〈X1, X2, L3〉 ⊕ 〈−G, P3〉 | |
〈X1, X2, L3〉 ⊕ 〈−G, X4〉 | |
〈X1, X2, L3 + dX3, d < 0〉 ⊕ 〈−G − aX3, X4, a < 0〉 | |
〈X1, −X2, −L3〉 ⊕ 〈−G − aX3, X4, a < 0〉 | |
〈X1, X2, L3 + dX3, d < 0〉 ⊕ 〈−G, X4〉 |
4.9. Lie Algebras of the Type A3,8 ⊕ A1 ⊕ A1
For this nonconjugate subalgebra invariant operators are Casimir operators.
The nonconjugate subalgebra of the type A3,8 ⊕ A1 ⊕ A1 of the Lie algebra of the group P(1,4) and its invariant operators are given in Table 7.
Basis elements of subalgebras | Invariant operators |
---|---|
〈−P3, G, C3〉 ⊕ 〈X1〉 ⊕ 〈X2〉 | 2G2 − P3C3 − C3P3, X1, X2 |
4.10. Lie Algebras of the Type A3,9 ⊕ A1 ⊕ A1
For all nonconjugate subalgebras invariant operators are Casimir operators.
The nonconjugate subalgebras of the type A3,9 ⊕ A1 ⊕ A1 of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 8.
Basis elements of subalgebras | Invariant operators |
---|---|
〈L3, L1, L2〉 ⊕ 〈X4〉 ⊕ 〈X0〉 | , X4, X0 |
, 2L3 − (P3 + C3) |
4.11. Lie Algebras of the Type A3,9 ⊕ A2
For this nonconjugate subalgebra invariant operator is Casimir operator.
The nonconjugate subalgebra of the type A3,9 ⊕ A2 of the Lie algebra of the group P(1,4) and its invariant operator are given in Table 9.
Basis elements of subalgebras | Invariant operators |
---|---|
〈−L3, −L1, L2〉 ⊕ 〈−G, X4〉 |
4.12. Lie Algebras of the Type A4,1 ⊕ A1
For all nonconjugate subalgebras invariant operators are Casimir operators.
The nonconjugate subalgebras of the type A4,1 ⊕ A1 of the Lie algebra of the group P(1,4) and their invariant operators are given in Table 10.
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
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.
Basis elements of subalgebras | Invariant operators |
---|---|
a = 1 : 〈P2, 2a1X4, P1, G + a1X1, a1 < 0〉 ⊕ 〈X3〉 | , , X3 |
4.14. Lie Algebras 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.
Basis elements of subalgebras | Invariant operators |
---|---|
a = 1, b = 1 : 〈X4, P1, P2, G〉 ⊕ 〈X3〉 | , , X3 |
4.15. Lie Algebras 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.
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
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.
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,10 ⊕ A1
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.
Basis elements of subalgebras | Invariant operators |
---|---|
X4, , | |
〈−4X4, P1 + X2, P2 − X1, L3〉 ⊕ 〈X3〉 | X4, , X3 |
4.18. Lie Algebras of the Type A4,12 ⊕ A1
For this nonconjugate subalgebra invariant operator is Casimir operator.
The nonconjugate subalgebra of the type A4,12 ⊕ A1 of the Lie algebra of the group P(1,4) and its invariant operator are given in Table 16.
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
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.
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
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.
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 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.
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 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.
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
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.
Basis elements of subalgebras | Invariant operators |
---|---|
, , | |
, , | |
, , | |
, , |
5.6. Lie Algebras of the Type
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.
Basis elements of subalgebras | Invariant operators |
---|---|
〈−2X4, X3, −P1, P2, P3 − L3〉 | X4, , |
〈2X4, X3, X1, X2, L3 − P3〉 | X4, , |
〈2d3X4, P3 + X3, P1, P2, L3 − d3X3, 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, −L3 − dX3, d < 0〉 | X4, , |
〈2X4, X3, X1, X2, L3 − P3 + α0X0, α0 < 0〉 | X4, , |
5.7. Lie Algebras of the Type
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.
Basis elements of subalgebras | Invariant operators |
---|---|
, , | |
, , |
5.8. Lie Algebras of the Type
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.
Basis elements of subalgebras | Invariant operators |
---|---|
, , | |
, , − arcsin | |
, , − arcsin |
5.9. Lie Algebras of the Type
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.
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
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.
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
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.
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
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.
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
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.
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 1–29.
- (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.
- (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.