November 27, 2006

CERN-PH-TH/2005-006 .
<ph f="cmbx">Lorentzian homogeneous spaces admitting a homogeneous structure of type </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <msub> <mrow> <mo mathvariant="script">T</mo> </mrow> <mrow> <mn>1</mn> </mrow> </msub> <mo>⊕</mo> <msub> <mrow> <mo mathvariant="script">T</mo> </mrow> <mrow> <mn>3</mn> </mrow> </msub> </math>

Patrick Meessen

(PM) Physics Department, Theory, CERN, Geneva, Switzerland E-mail address : Patrick.Meessen@cern.ch
A theorem by Ambrose and Singer [1] , generalized to arbitrary signature in [2] , states that on a reductive homogeneous space, there exists a metric-compatible connection ∇ ¯ = ∇ − S   , with ∇   the Levi-Cività connection, that parallelizes the Riemann tensor R   , and the ( 1 , 2 )   -tensor S   , i.e. ∇ ¯ g = ∇ ¯ R = ∇ ¯ S = 0   . Since a ( 1 , 2 )   -tensor in D ≥ 3   decomposes into 3 irreps of s o ( D )   , one can classify the reductive homogeneous spaces by the occurrence of one of these irreps in the tensor S   [3, 4] . This leads to 8 different classes, which range from the maximal, denoted T 1 ⊕ T 2 ⊕ T 3   , to the minimal { 0 }   . Clearly homogeneous spaces of type { 0 }   are just symmetric spaces. Moreover, also the homogeneous spaces admitting a homogeneous structure of type T i   ( i = 1 , 2   or 3   ) have been characterized. For the case at hand it is worth knowing that the homogeneous spaces with a T 3   structure, for which S   corresponds to a 3-form, are naturally reductive spaces [3, 4] and that strictly Riemannian homogeneous T 1   spaces are symmetric spaces [3] .
Since a homogeneous structure of type T 1   is defined by an invariant vector field, denoted by ξ   , one must distinguish between two cases in the Lorentz setting: the non-degenerate case, for which ξ   is a spaceor time-like vector, and the degenerate case, when ξ   is a null vector. In the former case, Gadea and Oubin͂a [4] proved that, analogously to the strictly Riemannian case, the space is symmetric. In the degenerate case, Montesinos Amilibia [5] showed that a Lorentzian homogeneous space admitting a degenerate T 1   structure is a time-independent singular homogeneous plane wave [6] . A small calculation shows that a generic, i.e. time-dependent, singular homogeneous plane wave admits a degenerate T 1 ⊕ T 3   structure, see e.g.
Appendix  A . (By a (non-)degenerate T 1 ⊕ T 3   structure, we mean that the vector field ξ   characterizing the T 1   contribution has (non-)vanishing norm.) This then automatically leads to the question of whether the singular homogeneous plane waves exhaust the degenerate T 1 ⊕ T 3   class. As we will see, this is actually the case.
In the T 1 ⊕ T 3   case the homogeneous structure is given by [3] 
∇ ¯ X Y − ∇ X Y = − S X Y = − T X Y − g ( X , Y ) ξ + α ( Y ) X ,  
where we have defined α ( X ) = g ( ξ , X )   , and T X Y ( = − T Y X )   is the T 3   contribution.
Since the metric and S   are parallel under ∇ ¯   , and ξ   is the contraction of S   , it follows that ∇ ¯ ξ = 0   or, written differently:
∇ X ξ = T X ξ + α ( X ) ξ − α ( ξ ) X .  
This equation, together with the fact that T   is a 3-form, implies that ∇ ξ ξ = 0   , i.e. ξ   is a geodesic vector.
Given an isometry algebra g   of a Lie group acting transitively on a given homogeneous space, with a reductive split g = m + h   , where h ⊆ s o ( 1 , n + 1 )   is the isotropy subalgebra, it is possible, and usually done, to identify m   with R 1 , n + 1   ; the action of h   on m   can then be given by the vector representation of s o ( 1 , n + 1 )   [7] . This identification enables one to express the algebra in terms of S   and the curvature R ¯   as, limiting ourselves to the m × m   commutator,
[ X , Y ] = S X Y − S Y X + R ¯ ( X , Y ) , (1)
where S   and R ¯   are evaluated at some point p   . In the above formula, R ¯   signals the presence of h   in [ m , m ]   . From now on, we only consider this Lie algebra and all the relevant tensor fields are evaluated at a specific point, even though this is not stated explicitly.
Up to this point not too much has been said about h   , and in fact not too much can be said. It is known, however [7] , that a tensor field parallelized by ∇ ¯   , when evaluated at a point corresponds to an h   -invariant tensor. Since in this article we take ξ   (a h   -invariant vector field as ∇ ¯ ξ = 0   ) to be non-vanishing, this means that h ⊆ s o ( n + 1 )   when ξ   is light-like, h ⊆ s o ( 1 , n )   when ξ   is space-like, and h ⊆ i s o ( n )   when ξ   is null.
Let us briefly outline the manner in which we arrive at our conclusion: given a reductive homogeneous space with reductive split g = m + h   , the subalgebra g ′ = m + [ m , m ] = m + h ′   is an ideal of g   . It is this ideal, which is the Lie algebra of a Lie group still acting transitively, that we will consider; we will say that an element of h   appears in the algebra if it is an element of h ′   . Given the homogeneous structure, we can then, following Eq. ( 1 ), write down the maximal form of the algebra compatible with the homogeneous structure. Since we are dealing with a Lie algebra, we can then use the Jacobi identities to constrain the structure constants; after a redefinition of some generators in m   , corresponding to the choice of a different reductive split, this leads to a recognizable result. Since the non-degenerate case is far less involved than the degenerate case, and gives a better idea of the straightforward manipulations used, it will be discussed before the degenerate case.

1 The non-degenerate case

Let m   be spanned by the generators V   and Z i   ( i = 1 , … , n   ), which in this case we can take to satisfy
〈 V , V 〉 = ℵ , α ( V ) = λ = ℵ | λ | ,
〈 Z i , Z j 〉 = η i j , α ( Z i ) = 0 ,
where ℵ = ± 1   distinguishes between the time-like (for ℵ = − 1   ) and the space-like (for ℵ = 1   ) cases and η = d i a g ( − ℵ , 1 , … , 1 )   . As is mentioned in the introduction, h   is either contained in s o ( n + 1 )   ( ℵ = − 1   ) or s o ( 1 , n )   ( ℵ = 1   ) and the relevant non-vanishing commutation relations are
[ M i j , M k l ] = η j k M i l − η i k M j l + η j l M k i − η i l M k j ,
[ M i j , Z k ] = η j k Z i − η i k Z j .
Once again, let us stress that not every M   needs appear, but the elements of h ′   can be written as combinations of the M   's, and their commutation relations are induced by the ones above.
With respect to the chosen basis we can decompose 2 T V Z i = F i j Z j   and 2 T Z i Z j = ℵ F i j V + C i j k Z k   , which allows us to write
[ V , Z i ] = λ Z i + F i j Z j + R ¯ ( V , Z i ) ,
[ Z i , Z j ] = ℵ F i j V + C i j k Z k + R ¯ ( Z i , Z j ) .
Let us then, following the strategy outlined above, check the Jacobi identities.
The first one is the ( V , Z i , Z j )   identity, which leads to F = 0   and
λ 2 C i j k = R j i k − R i j k (2)
2 λ S i j m n = C i j k R k m n , (3)
where we expanded R ¯ ( V , Z i ) = R i m n M m n   and R ¯ ( Z i , Z j ) = S i j m n M m n   . Since F = 0   we can redefine
Y i = Z i + λ − 1 R i m n M m n ,  
from which we trivially find
[ V , Y i ] = λ Y i ,  
which at once implies that C = 0   , by Eq. ( 2 ), and also that S = 0   thanks to Eq. ( 3 ). So the, quite remarkable, result is that a Lorentzian homogeneous space admitting a non-degenerate homogeneous structure of type T 1 ⊕ T 3   , also admits a non-degenerate T 1   structure. Combining this with the results of Gadea and Oubin͂a [4] , we have proven that:
Proposition 1. A connected Lorentzian homogeneous space admitting a non-degenerate T 1 ⊕ T 3   structure is a (locally) symmetric space.

2 The degenerate case

In the degenerate case we can choose the generators U   , V   and Z i   ( i = 1 , … , n   ) spanning m   such that α ( U ) = λ ≠ 0   , α ( V ) = α ( Z i ) = 0   . The invariant norm is then 〈 U , V 〉 = 1   and 〈 Z i , Z j 〉 = δ i j   and we decompose the T 3   contribution to S   as
2 T ( U , V , Z i ) = W i , 2 T ( U , Z i , Z j ) = F i j ,
2 T ( Z i , Z j , Z k ) = C i j k , 2 T ( V , Z i , Z j ) = ℵ i j ,
where F   , ℵ   and C   are totally antisymmetric. Given these abbreviations we can write the most general m × m   commutators as
[ U , V ] = λ V + W i Z i + R ¯ ( U , V ) ,
[ U , Z i ] = λ Z i + F i j Z j − W i U + R ¯ ( U , Z i ) ,
[ V , Z i ] = W i V + ℵ i j Z j + R ¯ ( V , Z i ) ,
[ Z i , Z j ] = ℵ i j U + F i j V + C i j k Z k + R ¯ ( Z i , Z j ) ,
where the various R ¯   need to be expanded in terms of the generators of h   . Since ξ   is null, we see that h ⊆ i s o ( n )   , which we take to be spanned by Z ¯ i   and M i j   with commutation relations
[ M i j , M k l ] = δ j k M i l − δ i k M j l + δ j l M k i − δ i l M k j ,
[ M i j , Z ¯ k ] = δ j k Z ¯ i − δ i k Z ¯ j ,
[ M i j , Z k ] = δ j k Z i − δ i k Z j ,
[ U , Z ¯ i ] = Z i ,
[ Z i , Z ¯ j ] = − δ i j V ,
where it should be kept in mind that not all elements of i s o ( n )   need appear.
We can then once again start to recover the information contained in the Jacobi identities: the ( U , V , Z )   Jacobi identity reads
0 = − 2 λ W i V − { λ ℵ i j + F i k ℵ k j + F j k ℵ i k + W k C k i j } Z k
− [ R ¯ ( U , V ) , Z i ] − [ R ¯ ( V , Z i ) , U ]
+ ℵ i j R ¯ ( U , Z i ) − 2 λ R ¯ ( V , Z i ) − F i j R ¯ ( V , Z i ) + W j R ¯ ( Z i , Z j ) . (4)
Cancellation of the V   contribution then means that R ¯ ( U , V ) = − 2 λ W i Z ¯ i + Y i j M i j   , which at once means that W   can only be non-zero for those directions for which a Z ¯   appears. Specifically, should none appear, then W = 0   . Let us then split the index i   into some indices a   and I   , such that the Z ¯ a   do appear whereas the Z ¯ I   do not.
Having made the split, we can investigate the implication of having the null-boosts in the algebra. Let us start by looking at the ( U , Z i , Z ¯ a )   Jacobi: a small calculation then shows that this implies
0 = − ℵ i a U − δ i a W i Z i + W i Z a + C a i k Z k
− [ R ¯ ( U , Z i ) , Z ¯ a ] − δ i a R ¯ ( U , V ) − R ¯ ( Z i , Z a ) .
In order for the above to be true we must have that ℵ a i = C a i j = 0   and that W   can be non-zero only if no or only one Z ¯   appears in h   . As was said above, the no-case already implies that W = 0   , so we had better have a look at the case of one appearing null boost. For this we are helped by the h   -part of the above equation. Clearly in the case when we are dealing with only one Z ¯   , this amounts to the statement that [ R ¯ ( U , Z a ) , Z ¯ a ] = − R ¯ ( U , V )   , which, since there is no rotation in s o ( n )   that can take Z a   to Z a   , means that R ¯ ( U , V ) = 0   , and hence that W a = 0   .
This then means that in all cases we have W = 0   .
Continuing with the analysis, one can see that the ( Z i , Z j , Z ¯ a )   Jacobi leads to
ℵ i j Z a = δ j a ℵ i k Z k − δ i a ℵ j k Z k ,
[ R ¯ ( Z i , Z j ) , Z ¯ a ] = δ j a R ¯ ( U , Z i ) − δ i a R ¯ ( U , Z j ) .
Then, using the fact that ℵ i a = 0   , one then sees that ℵ I J = 0   and that hence ℵ i j = 0   when h   includes some null boost. In the case when there is no Z ¯   , the relevant information can be obtained by picking out the V   component in the ( V , Z i , Z j )   Jacobi: this implies that λ ℵ i j = F i k ℵ k j + F j k ℵ i k   , which after contraction leads to λ ℵ i j ℵ i j = 0   and thus implies that ℵ = 0   .
The h   -part of Eq. ( 4 ) then implies that 2 λ R ¯ ( V , Z i ) = − F i j R ¯ ( V , Z j )   , so that R ¯ ( V , Z i ) = 0   . In order to then identically satisfy Eq. ( 4 ) we must have [ R ¯ ( U , V ) , Z i ] = 0   , so that R ¯ ( U , V ) = 0   .
Summarizing the results obtained thus far, we find that the non-trivial m × m   -commutators, scaling U   in such a way that λ = 1   and decomposing the various R ¯   's, are
[ U , V ] = V ,
[ U , Z i ] = ( F + δ ) i j Z j + h i j Z ¯ j + 1 2 R i j k M j k ,
[ Z i , Z j ] = F i j V + C i j k Z k + S i j k Z ¯ k + N i j k l M k l .
Let us then continue our analysis of the Jacobi identities: the ( U , Z i , Z j )   Jacobi implies
h i j = A ( i j ) − 1 2 F i j ,
C i j k h k l = ( F + δ ) i k S k j l + ( F + δ ) j k S i k l ,
1 2 C i j k R k m n = ( F + δ ) i k N k j m n + ( F + δ ) j k N i k m n , (5)
S i j k + R i j k − R j i k = δ F C i j k + C i j k , (6)
where we defined
δ F C i j k = F i l C l j k + F j l C i l k + F k l C i j l .  
From Eq. ( 6 ) one sees that S   must be totally antisymmetric. Denoting by S ( i j k )   the sum over the permutations ( i j k )   , ( j k i )   and ( k i j )   , the ( Z i , Z j , Z k )   Jacobi results in
0 = S ( i j k ) C j k l S i l m ,
0 = S ( i j k ) C j k l N i l m n ,
0 = S ( i j k ) [ C j k l C i l m + 2 N j k i m ] ,
and also, since S   is totally antisymmetric,
3 S = δ F C . (7)
Of course, if a Z ¯ a   occurs in [ m , m ]   , then the ( U , Z i , Z ¯ a )   Jacobi implies that
C i a j = 0 ,
S i a j = R i a j , (8)
N i a k l = 0 . (9)
Let us then, as before, split the indices i   into ( a , I )   , where the Z ¯ a   's occur but the Z ¯ I   's do not. This means by assumption that h i I = 0   , which implies 2 A a I = F a I   , A I J = 0 = F I J   and S i j I = 0   , which implies that only S a b c   is non-zero. Furthermore, we then see that only C I J K   is non-vanishing. Together with Eq. ( 7 ), this then implies that S = 0   , and we get the extra constraint
F a I C I J K = 0 . (10)
This last constraint also follows from the ( Z i , Z j , Z ¯ a )   Jacobi, which also tells us that N i j a l = 0   .
Eq. ( 8 ) then implies that only R I J K   and R a J K   are non-vanishing, and from Eq. ( 9 ) we find that only N I J m n   can be non-zero. We can calculate R a J K   from Eq. ( 6 ), which then gives R a I J = F a K C K I J = 0   because of Eq. ( 10 ). The same equation then states R I J K − R J I K = C I J K   , which by means of Eq. ( 5 ) then also implies that only the N I J K L   can be non-vanishing.
Let us define the generator
Y I = Z I − F I a Z ¯ a ,  
from which we can then derive that the algebra takes on the form
[ U , Z a ] = ( F + δ ) a b Z b + ( A a b − 1 2 F a b ) Z ¯ b ,
[ Z a , Z b ] = F a b V ,
[ U , Y I ] = Y I + 1 2 R I J K M J K ,
[ Y I , Y J ] = C I J K Y K + N I J K L M K L ,
so that the a   and the I   -sectors decouple from each other.
Restricting ourselves to the I   -sector and further defining
W I = Y I + 1 2 R I J K M J K ,  
we immediately find [ U , W I ] = W I   ; calculating the remaining commutator, we find
[ W I , W J ] = ( C I J K − R I J K + R J I K ) Y K + … ,  
where the …   stands for terms in M J K   . Using now Eq. ( 6 ), we see that this redefinition trivializes C   , and by way of Eq. ( 5 ), also N   .
At this point, the only difference between the algebra we deduced and the generic singular homogeneous plane-wave algebra in Eq. ( 11 ) are the null boosts in the I   -sector, that is a generator one would call W ¯ I   . It is, however, always possible to extend our algebra to an algebra that does contain them; in fact this follows immediately from the consistency of the singular homogeneous plane-wave algebra. Putting everything together, one sees that we obtain the isometry algebra of a generic singular homogeneous plane-wave in Eq. ( 11 ) by, basically, choosing a different reductive split of the same algebra. Thus we have proven that
Theorem 2. The underlying geometry of a Lorentzian homogeneous space that admits a degenerate T 1 ⊕ T 3   structure is that of a singular homogeneous plane wave.

Acknowledgments

The author would like to thank J. Figueroa-O'Farrill, R. Hernández and S. Philip for very useful discussions, and S. Vascotto for improving the readability of the text.

A Singular homogeneous plane waves

A global coordinate system for the singular homogeneous plane waves is defined by the data1
e + = d z ,
e − = d s + [ x ⃗ T e z F H e − z F x ⃗ + s ] d z ,
e i = d x i ,
where the metric is defined by η + − = 1   and η i j = δ i j   . This class of metrics admits a homogeneous structure given by the components
S + + − = − 1 , S + i j = F i j , S i + j = − δ i j − F i j ,  
which corresponds to a degenerate T 1 ⊕ T 3   structure.
The isometry algebra, apart from possible rotations that appear as automorphisms of the algebra, can be found to be [6] 
[ U , V ] = V , [ X ¯ i , X ¯ j ] = 0 [ X i , X j ] = 2 F i j V , [ X i , X ¯ j ] = − δ i j V [ U , X ¯ i ] = X i , [ U , X i ] = [ 2 H − F ] i j X ¯ j + [ δ + 2 F ] i j X j . (11)
References

  1. W. Ambrose, I. Singer: “On homogeneous Riemannian manifolds”, Duke Math. J. 25 (1958), 647–669.
  2. P. Gadea, J. Oubin͂a: “Homogeneous pseudo-Riemannian structures and homogeneous almost para-Hermitean structures”, Houston J. Math. 18 (1992), 449–465.
  3. F. Tricerri, L. Vanhecke: “Homogeneous structures on Riemannian manifolds”, London Math. Soc. Lecture Note Ser. 83 (1983), 1–125.
  4. P. Gadea, J. Oubin͂a: “Reductive homogeneous pseudo-Riemannian manifolds”, Monatsh. Math. 124 (1997), 17–34.
  5. A. Montesinos Amilibia: “Degenerate homogeneous structures of type S 1   on pseudo-Riemannian manifolds”, Rocky Mountain J. Math. 31 (2001), 561–579.
  6. M. Blau, M. O'Loughlin: “Homogeneous plane waves”, Nuclear Phys. B 654 (2003), 135–176.
  7. S. Kobayashi, K. Nomizu, “Foundations of differential geometry”, Wiley (1963 and 1969).

(PM) Physics Department, Theory, CERN, Geneva, Switzerland E-mail address : Patrick.Meessen@cern.ch

1 This form of the metric is related to the one in [6,Eq. (2.51)] by the transformations x + = e − z   , x − = − e z s   , z ⃗ = x ⃗   , A 0 = 2 H   and f = − F   .