^{1}

^{*}

^{1}

Contractions of the Lie algebras d = u(2), f = u(1 ,1) to the oscillator Lie algebra l are realized via the adjoint action of SU(2,2) when d, l, f are viewed as subalgebras of su(2,2). Here D, L, F are the corresponding (four-dimensional) real Lie groups endowed with bi-invariant metrics of Lorentzian signature. Similar contractions of (seven-dimensional) isometry Lie algebras iso(D), iso(F) to iso(L) are determined. The group SU(2,2) acts on each of the D, L, F by conformal transformation which is a core feature of the DLF-theory. Also, d and f are contracted to T, S-abelian subalgebras, generating parallel translations, T, and proper conformal transformations, S (from the decomposition of su(2,2) as a graded algebra T + Ω + S, where Ω is the extended Lorentz Lie algebra of dimension 7).

As noticed by the first author (see [1,2]), there are precisely three four-dimensional non-abelian Lie algebras that admit a non-degenerate invariant bilinear form of Lorentzian signature:

the oscillator Lie algebra l, defined by the following commutation relations in a certain basis l_{1}, l_{2}, l_{3}, l_{4}:

the Lie algebra d = u(2) generated by vectors X_{0}, X_{1}, X_{2}, X_{3} with the following commutation relations:

the Lie algebra generated by vectors H_{0}, H_{1}, H_{2}, H_{3}, satisfying the following commutation relations

Relations (1.2) are the same as the ones in [

Certain Lie groups (corresponding to the Lie algebras d, l, f), endowed with bi-invariant metrics of Lorentzian signature, provide so-called homogeneous solutions to Einstein’s equations of General Relativity Theory, GRT. We denote these solutions by the corresponding capital letters. They have been studied in [

Relations (1.1), (1.2), and (1.3) have been used in [8,9] where the basics of the DLF-approach have been presented (by A. L.). This DLF-theory can be briefly characterized as the LF-modification of Segal’s Chronometry (the latter one is based on D, see [3,9] and references therein).

It is known (see [

where s is a diagonal matrix:

.

Also, commutation relations relative to a certain basis in su(2,2) are (3.1) of our Section 3.

The general subject of contractions (and deformations) of Lie algebras is important in physics (see, for example, Section IV.7 of [

The subject is also of interest from a pure mathematical point of view. Regarding contractions of Lie algebras, we follow [

Namely, we use the name Lie-theoretical contraction for the method defined by [11, p.2, (3)], where the commutation relations of a contracted Lie algebra are given by

.

Here When q is not equal to p, U_{q} is a non-singular linear transformation of the original Lie algebra. When q = p, the inverse of the linear transformation U_{p} does not exist.

Theorem 2.1. There is a Lie-theoretical contraction of to the oscillator Lie algebra l.

Proof. Consider the following vectors in d:

One can verify that for any non-zero value of α, the algebra generated by L_{1}, L_{2}, L_{3}, L_{4}, is isomorphic to d, since the Equations (2.1) are uniquely solvable for X_{i}.

The commutation relations for L_{1}, L_{2}, L_{3}, L_{4}, are as follows:

It can be easily seen that as α goes to zero, the commutation relations become (1.1), that is, of the oscillator Lie algebra l.

Remark 2.1. Alternatively, we can choose a different set of vectors in d:

It defines a Lie algebra isomorphic to d (when β is not zero). The commutation relations converge to those of the oscillator algebra when β goes to zero.

Theorem 2.2. There is a Lie-theoretical contraction of to the oscillator Lie algebra l.

Proof. We apply similar contraction procedures to f as we did in the case of d. Let

Then, as α goes to 0, the commutation relations for L_{1}, L_{2}, L_{3}, L_{4}, become (1.1), that is, of the oscillator algebra l. Clearly, for any nonzero α, the Lie algebra generated by L_{1}, L_{2}, L_{3}, L_{4}, is isomorphic to f.

Remark 2.2. As noticed in [

Our current goal is to realize the above-mentioned contractions of the Lie algebras d and f through the adjoint action of the group SU(2,2) on its Lie algebra su(2,2) of which all d, f and l are subalgebras. We will call such contractions the su(2,2)-inner contractions of the corresponding Lie algebras.

More specifically, we will conjugate the generators of d and f with elements of the maximal abelian subgroup A of, from the Iwasawa decomposition.

Remark 3.1. A. L. thanks David Vogan for helpful discussions on the subject.

Remark 3.2. It is important to bear in mind (see [8,9]) that acts on each of D, L, F. Joint consideration of the three worlds is the key feature of the DLF-theory.

In [13, p.135], the generic element a of the two-dimensional maximal abelian subalgebra A of is chosen as

where s, t are real parameters. It thus can be written in terms of the generators L_{ij} of as

All fifteen matrices L_{ij} (where) forming a (standard) basis of can be found in [

where

The generic element of the corresponding group A can then be written as

Clearly,

The following imbedding of into has been presented in [14, p.5262]:

Theorem 3.1. There exist -inner contractions of d to oscillator subalgebras of. Besides, there exist -inner contractions of d to abelian subalgebras of.

Proof. Choose the following basis for the Lie algebra d:

and conjugate the corresponding matrices with a generic element of the group A. Direct calculation shows that

Set t = 0 in the above system and rewrite the equations as:

Now, introduce

from the equations above.

What we observe here is a special case of the contraction (2.1) with.

As s goes to infinity, the commutation relations become (1.1), which means that the outcome of the contraction is a subalgebra of, isomorphic to the oscillator algebra l. Namely, basic matrices

of new subalgebra are the limits of the matrices

Alternatively, we can set s = 0 in system (3.3), and after a similar procedure, we get a limiting Lie algebra spanned by

It is also isomorphic to the oscillator Lie algebra, since the commutation relations are (1.1).

Finally, setting s = t in system (3.2), and repeating the procedure above, realizes a contraction of d to an abelian subalgebra of. The limiting algebra T (as s = t go to infinity) is generated by

If we make s = t go to negative infinity, then the resulting abelian Lie algebra S is generated by

This finishes the proof of Theorem 3.1.

Remark 3.3. The (above) two subalgebras are known (in that order) as the Lie algebra of translations and the Lie algebra of “proper conformal transformations” of the Minkowski space-time: see [

In the remaining part of this section we arrange for similar procedures, as in the above, but for the case of. We realize it as a -subalgebra by choosing the following basis:

This choice of the basis, with commutation relations (1.3), has been made in [

Theorem 3.2. There exists a -inner contraction of this subalgebra f to a subalgebra of isomorphic to the oscillator Lie algebra l.

Proof. Choose one other basis for f:

Conjugating these vectors with as in the proof of Theorem 3.1, we get the following:

If we set t = 0 and perform a contraction analogous to that for d, we get in the limit as s goes to infinity, a subalgebra of generated by the following set:

This subalgebra is isomorphic to the oscillator Lie algebra since the commutation relations are the same as (1.1).

As mentioned in the Introduction, the isometry groups of the Lorentzian manifolds, corresponding to the Lie algebras d, f, and l are of dimension 7. All three of these 7-dimensional Lie algebras, iso(D), iso(F), and iso(L) can be viewed as subalgebras of. The corresponding imbeddings are specified below (in Theorems 4.1, 4.2, 4.3), where will denote the centralizer of a vector b in. Considerable part of observations in this section has been known before, and we indicate a few references (see below). However, bringing together different methods and applying them to each of our main objects of study (space-times D, L, F), make the content of the section to a new ingredient of the mathematical presentation of the DLF-theory.

According to [

The two other isometry Lie algebras will be described below.

As it follows from (1.1), (1.2), (1.3), (3.1), (3.4), and (3.5), the centers of d, f, and of l are of dimension one, and they are generated by L_{−10}, by L_{34}, and by, respectively.

Theorem 4.1. The following is true for the Lie algebra iso(D):

Theorem 4.2. The following is true for the Lie algebra iso(F):

Theorem 4.3. The centralizer of l_{1} is a nine-dimensional Lie subalgebra of. More specifically, it is a two-dimensional nilpotent extension of iso(L).

Proof of the theorem 4.1. It is a straightforward exercise, based on (3.1), to verify that the second equality in the above (4.1) holds. Regarding the first equality, it immediately follows from (4.0) that one of the two blocks is generated by and the other is generated by The center {R} in (4.1) is generated by X_{0} = L_{−10} from (4.0).

Rather than to present other details from [

It is shown in [

Clearly, q is isomorphic to su(2).

It is a straightforward exercise to verify that h is an involutive isomorphism of k. The form B on p is introduced as a “pull-back” of the following invariant Lorentzian form on: vectors X_{0}, X_{1}, X_{2}, X_{3} are orthonormal, their scalar squares being 1, −1, −1, −1, respectively. This finishes the proof of theorem 4.1.

Let us now apply that last approach in the proof of theorem 4.2. The center R in (4.2) is generated by L_{34}. One of the -blocks is generated by H_{1}, H_{2}, H_{3} (these matrices have been introduced by (3.2) of Section 3); the other -block in (4.2) is a subalgebra of generated by

Let us show that the seven-dimensional subalgebra h spanned by

is the Lie algebra of the (reductive) Lie group Iso(F). The latter group is a subgroup of. Introduce the following linear bijection t of the Lie algebra h: t is an identity transformation on the subalgebra q generated by

(clearly, q is isomorphic to), and t is negative 1 on the four-dimensional vector space p generated by

It is a straightforward exercise to verify that t is an involutive isomorphism of h. The form B on p is introduced as a “pull-back” of the following invariant Lorentzian form on: vectors H_{3}, H_{0}, H_{1}, H_{2} are orthonormal, their scalar squares being 1, −1, −1, −1, respectively. The corresponding Lorentzian quadruple is now (h,q,p,B).

Again, it is a straightforward exercise, based on (3.1), to verify that (4.2) holds, and that the above mentioned identity component of Iso(F) is the one of the block-diagonal subgroup of (see [9, Theorem 9]). Theorem 4.2 is proven.

Proof of Theorem 4.3. It is known that the Lie algebra iso(L) is solvable and is of dimension 7. As a homogeneous symmetric Lorentzian manifold, L has been studied in [

In paragraph 3 of [

The approach of [_{1} (which is also e_{1} of (4.4) below) is both left-, and right-invariant. There are three more linearly independent right-invariant vector fields (they commute with left-invariant vector fields on L). Overall, in the approach of [

It determines the structure of the full isometry Lie algebra of the space-time in question. The seven generators, as elements of, can be chosen as follows (notice that this choice is different from the one in our Section 3):

Starting with (4.4), introduce w with an orthonormal basis. Relative to this basis, the negative definite form, to be of use below, is given by the diagonal matrix

.

Introduce w^{*} with a reciprocal basis. This involves a choice of a linear bijection between w and w^{*}, with w^{*} being the image of w, etc. Choose the form A given by the matrix

relative to the same basis in w. Let us denote by R, , one-dimensional vector spaces generated by e_{1}, e_{4} + e_{7}, respectively.

One can now verify that a six-dimensional

satisfies the following commutation table:

for w in w;

for in w^{*}, in w;

For in w.

Now, , , and B is defined as follows: on w, B coincides with, from above,

,

.

This is a particular case of commutation relations from p.588 of [_{23}, L_{−11} + L_{14} which (together with the above vectors) form the centralizer of e_{1}. One can check the commutation relations to show that this nine-dimensional Lie subalgebra of is a nilpotent extension of the seven-dimensional iso(L).

Remark 4.1. Presumably, if one adds the generator of a homothetic transformation (which acts non-trivially on e_{1}), then the resulting 10-dimensional Lie algebra is the one discovered on p.130 of [

Remark 4.2. A centralizer of a non-zero element in su(2,2) may have dimension 3, 5, 7, or 9. It seems to be of interest to try to characterize those cases when the isometry Lie algebra coincides with the centralizer of a single element from the Lie algebra of all conformal transformations: it is so in theorems 4.1, 4.2 but it is not the case of theorem 4.3.

To continue, recall that k = iso(D) is defined by our (4.0).

Theorem 4.4. There exists an -inner contraction of k to iso(L).

Proof. As in (3.3), conjugate the involved matrices by and set t = 0. Then choose the following seven vectors in the resulting Lie algebra aka^{−1}:

In the limit as s goes to infinity, the seven matrices form the following Lie subalgebra, isomorphic to iso(L):

Remark 4.3. It is obvious that the Lie algebra (3.8) is a subalgebra of (4.5).

We can contract in, essentially, the same way we did the contraction of This h is which is generated by the following vectors:

Theorem 4.5.There exists an -inner contraction of h = iso(F) to iso(L).

Proof. Complete basis (3.3) with vectors

to obtain a basis for iso(F), and extend the contraction, defined earlier for f, to this algebra. Namely, conjugate

by introduced in Section 3. Setting t = 0 and letting s go to infinity, we get a Lie algebra generated by the vectors

This last Lie algebra is (isomorphic to) iso(L).

A.L. thanks David Vogan for helpful discussions on the subject of Section 3, Ernest Vinberg for information on centralizers in su(2,2), and the comments for Referee.

[

[

[

[

[

[

[

[

[

[

[

[

[

[

[

[

[

[

[