Completeness of certain compact Lorentzian locally symmetric spaces

We show that a compact Lorentzian locally symmetric space is geodesically complete if the Lorentzian factor in the local de Rham-Wu decomposition is of Cahen-Wallach type or if the maximal flat factor is one-dimensional and time-like. Our proof uses a recent result by Mehidi and Zeghib and an earlier result by Romero and S\'{a}nchez.


Introduction and statement of result
In contrast to Riemannian manifolds, a compact Lorentzian manifold is not necessarily geodesically complete -the fundamental example is the incomplete Clifton-Pohl torus, see [12,Example 7.16].In fact, the set of incomplete Lorentzian metrics on the 2-torus is dense in the set of Lorentizan metrics [14].Hence, the question whether or not a compact Lorentzian manifolds is complete is fundamental in Lorentzian geometry, especially when addressing classification problems for compact manifolds.
One condition that ensures that a compact Lorentzian manifold (M , g ) is complete is a sufficient amount of global symmetry: Marsden showed that any compact homogeneous semi-Riemannian manifold is complete [9].This includes symmetric spaces, i.e. manifolds for which each point p ∈ M is a fixed point of an isometry whose differential at p is − Id.In a striking generalisation of Marsden's result in the Lorentzian context, Romero and Sánchez showed that (M , g ) is complete if it admits a time-like conformal Killing vector field [15], so a rather small amount of global symmetry.In the case of only local homogeneity, the question is much harder to answer.Only when the dimension of M is 3, Dumitrescu and Zeghib [5] were able to show that if (M , g ) is compact and locally homogeneous, then (M , g ) is isometric to a quotient of a Lorentizan homogeneous space G/H by a discrete subgroup Γ of G acting properly and freely on G/H , and consequently is complete.
Other authors have imposed conditions on the curvature of compact Lorentzian manifold (M , g ): if (M , g ) is flat [4] or, more generally, has constant sectional curvature [7], then it is complete.In a combination of global and curvature assumptions, in [8] it was shown that (M , g ) is complete if it is a pp-wave, i.e. if (M , g ) admits a parallel null vector field and satisfies a certain curvature condition.Very recently this result was generalised by Mehidi and Zeghib [10], who showed that the curvature condition can be dropped, i.e. that the existence of a parallel null vector field on a compact Lorentzian manifold implies that the manifold is complete.These results show that compactness and certain types of Lorentzian special holonomy imply completeness.Another result that links completeness to the holonomy group was given in [1].
Of course, assumptions on the homogeneity and on the curvature are not independent of each other.Examples are locally symmetric spaces, which are defined by the condition that the curvature tensor is parallel.A locally symmetric space (M , g ) is locally isometric to a specific symmetric space, the model space for (M , g ).Since symmetric spaces are complete, by the de Rham-Wu decomposition theorem [13,16], their universal cover decomposes into indecomposable symmetric spaces, i.e. those that cannot be further decomposed into a semi-Riemannian product.Hence, every locally symmetric space has a local product decomposition into locally symmetric spaces that are locally isometric to an indecomposable symmetric space.We refer to this as the local de Rham-Wu decomposition of a locally symmetric space, see Section 2 for more details.It has been shown by Cahen and Wallach [3] that there are only two types of indecomposable Lorentzian symmetric spaces: the spaces of nonzero constant sectional curvature -de Sitter and anti-de Sitter space -and the Cahen-Wallach spaces, see Section 2 for their definition.
If one can show that all compact locally symmetric spaces are complete, then they are isometric quotients of their model spaces and their classification can be reduced to the classification of compact Clifford-Klein forms, and hence to the algebraic problem of classifying co-compact isometric group actions (see for example the results on compact quotients of Cahen-Wallach spaces and further references on compact Lorentzian Clifford-Klein forms in [6]).However, so far this has only been achieved in dimension 3 (in [5] as a special case of locally homogeneous spaces) and for the indecomposable spaces: the results in [4], [7] and [8] imply that a compact, indecomposable Lorentzian locally symmetric space is geodesically complete.In the second author's thesis [11] this was generalised to locally symmetric spaces which are local products of Euclidean space and a Cahen-Wallach space.Using the same method as in [11], the new result in [10], as well as the result in [15], here we generalise this further.

Theorem 1. Let (M , g ) a compact Lorentzian locally symmetric space whose local de Rham-Wu decomposition satisfies one of the following conditions:
(i) the Lorentzian factor is of Cahen-Wallach type, or (ii) the maximal flat factor is one-dimensional and time-like.
Then the time-orientable cover of (M , g ) admits a parallel vector field and hence (M , g ) is geodesically complete.
This leaves open the cases when (M , g ) does not have constant sectional curvature but the Lorentzian factor in the local de Rham-Wu decomposition of (M , g ) does.The simplest examples of this situation are those when (M , g ) is locally isometric to a product of Minkowski space and a sphere, or to a product of (anti-)de Sitter space with Euclidean space or a sphere.In [11] an attempt was made to apply the approach in [4] and [7] to such cases, but the methods are too specific to the constant curvature model spaces and do not easily transfer to products thereof.

The local de Rham-Wu decomposition of a Lorentzian locally symmetric space
In this section we will clarify what we mean by the local de Rham-Wu decomposition of a locally symmetric space and we will recall the notion of a Cahen-Wallach space.
We call a symmetric space (M , g ) indecomposable if the connected component of its holonomy group does not admit a non-trivial invariant subspace of the tangent space on which the metric remains non-degenerate.Since symmetric spaces are complete, by the de Rham-Wu decomposition theorem [13,16], this is equivalent to the condition that the universal cover ( M , g ) of (M , g ) does not decompose into a semi-Riemannian product.Hence, the universal cover of a symmetric space is globally isometric to a semi-Riemannian product of simply connected indecomposable symmetric spaces.Note that a Riemannian symmetric space (M , g ) is indecomposable if and only if the connected component of its holonomy group acts irreducibly, i.e. does not admit any non-trivial invariant subspace of the tangent space.
Cahen and Wallach [3] have shown that an indecomposable Lorentzian symmetric space (M , g ) either has nonzero constant sectional curvature or is universally covered by M = R n+2 with where Q ab is a symmetric n × n-matrix with nonzero determinant and (t , v, x 1 , . . ., x n ) are global coordinates on M = R n+2 .Then ( M , g ) is called a Cahen-Wallach space.A Cahen-Wallach space admits a parallel null vector field ∂ ∂v , and the only non-vanishing terms (up to symmetry) of its curvature tensor are for a, b = 1, . . ., n.The Ricci tensor ρ, as an endomorphism of T M , is where q is the trace of the matrix Q i j .In particular, ρ 2 = 0. Two Cahen-Wallach spaces are isometric if their Q i j 's have the same spectrum with the same multiplicities.
Applying the de Rham-Wu decomposition to the universal cover of a Lorentzian symmetric space (M , g ), we obtain that ( M , g ) is globally isometric to a product of (a) an indecomposable Lorentzian symmetric space, i.e. of nonzero constant sectional curvature or a Cahen-Wallach space, or (R, −dt 2 ), (b) irreducible Riemannian symmetric spaces, and (c) Euclidean space.
Of course, (b) or (c) may not be present in the decomposition.Moreover, any such a decomposition has a maximal flat factor, which is either empty or equal to (R, −dt 2 ), Minkowski space, or Euclidean space.
A locally symmetric space (M , g ) is a semi-Riemannian manifold with parallel curvature tensor, ∇R = 0. Every locally symmetric space is locally isometric to a globally symmetric space, and hence locally isometric to a product of indecomposable symmetric spaces.We refer to this local product decomposition as the local de Rham-Wu decomposition of (M , g ).We call a locally symmetric space indecomposable if it is locally isometric to an indecomposable symmetric space.Consequently, an indecomposable Lorentzian locally symmetric space either has constant sectional curvature or is locally isometric to a Cahen-Wallach space.The latter means that there are local coordinates such that the metric is of the form (1). Indecomposable compact Lorentzian locally symmetric spaces have been shown to be complete, the ones with constant sectional curvature in [4,7] and the ones of Cahen-Wallach type in [8].
Since a locally symmetric Lorentzian symmetric space (M , g ) is locally isometric to a product of of symmetric spaces as in (a), (b), and (c), the tangent space at a point decomposes into orthogonal subspaces that correspond to the tangent spaces of the local factors.Moreover, the curvature tensor and the Ricci tensor of (M , g ) decompose accordingly into the sum of the curvature tensors and Ricci tensors of the factors in the local decomposition.Since irreducible Riemannian symmetric spaces of dimension > 1 are Einstein with nonzero Einstein constant, this implies the following: if the local de Rham-Wu decomposition of (M , g ) does not contain a Cahen-Wallach factor, then the Ricci tensor of (M , g ) is given by the sum of multiples of the identity, and if it does contain a Cahen-Wallach factor, then the Ricci tensor is a sum of ρ as in (3) and multiples of the identity.

Proof of Theorem 1
Let (M , g ) be a locally symmetric Lorentzian space of dimension m and let Hol p be its holonomy group at a point p ∈ M .Let R be the curvature tensor of (M , g ) and ρ the Ricci tensor considered as an endomorphism of the tangent bundle.Since ∇R = 0, ∇ρ = 0, so both R and ρ are invariant under Hol p .We define two vector distributions, the nullity of R, and the generalised kernel of ρ, Clearly, both N and K are invariant under Hol p , since for H ∈ Hol p we have for all X , Y , Z ∈ T p M .This implies that also the orthogonal distributions N ⊥ and K ⊥ are invariant under Hol p .We clearly have that N ⊂ K .The remarks at the end of the previous section imply that in the case when the local de Rham-Wu decomposition of (M , g ) does not contain a Cahen-Wallach factor, we have that N = K , T M = N ⊕ N ⊥ , and N ̸ = 0 only if the local de Rham-Wu decomposition contains a flat factor.If the flat factor is one-dimensional and time-like, we have that N is a time-like line bundle and an arbitrary element H ∈ Hol p in the decomposition . Hence, the time-orientable cover of (M , g ) admits a time-like parallel vector field and is compact if M is compact.A parallel vector field is of course conformally Killing, so we can apply the result in [15] to conclude that (M , g ) is complete.This proves case (ii) in Theorem 1.
From now on assume that the local de Rham-Wu decomposition of (M , g ) does contain a Cahen-Wallach factor.Since ∂ ∂v is a local parallel null vector field, and with (2), we get that is not trivial, and hence a bundle of null lines that is invariant under the holonomy group of (M , g ).In particular, we have the following holonomy invariant filtrations Moreover, since the Ricci-tensor of a Cahen-Wallach space is nilpotent and the irreducible Riemannian factors are Einstein with non-zero Einstein constant, K ⊥ is non-degenerate, so that Since A ∈ O(n) and det(Q) ̸ = 0, this implies that λ = ±1.This however shows that the timeorientable cover of (M , g ) admits a global parallel null vector field, see [2, Proposition 2] for details.
If we now assume that M is compact, the time-orientable cover is compact and admits a global parallel null vector field, and hence, by the result in [10] is geodesically complete.This implies that (M , g ) is geodesically complete.□ is a holonomy invariant decomposition of T M .At p ∈ M , we have the Hol p -invariant decomposition T p M = K | p ⊕ K ⊥ | p , with K | p = T ⊕ T , where T ̸ = {0} is the tangent space at p of the local Cahen-Wallach factor and T the (possibly trivial) tangent space of the Euclidean (i.e.flat and Riemannian) factor.Note that the decomposition K | p = T ⊕ T may not be Hol p -invariant.In order to describe the action of Hol p on T p M , we denote by (t , v, x 1 , . . .x n ) the coordinates on the local Cahen-Wallach factor as in (1) and fix the following basis of K | p , e − = ∂ ∂v , e 1 , . . ., e n , e n+1 , . . ., e n+k , e + = ∂ ∂v − x a Q ab x b ∂ ∂t , where e a = ∂ ∂x a for a = 1, . . ., n and e n+b for b = 1, . . ., k an orthonormal basis for the Euclidean metric on T .In such a basis, the metric restricted to K | p is of the form g | p = have T = span{e − , e 1 . . ., e n , e + }, T = span{e n+1 . . ., e n+k }, and that L | p = R • e − , (N ⊥ ∩ K )| p = span{e − , e 1 , . . ., e n }, N | p = span{e − , e n+1 , . . ., e n+k }, are Hol p -invariant.Then, in the Hol p -invariant decompositionT p M = K | p ⊕K ⊥ | p , an arbitrary element H ∈ Hol p is of the form A ∈ O(n), B ∈ O(k), u ∈ R n , v ∈ R k , 0 ̸ = λ ∈ R,and the * -terms are determined by the other terms.In particular, we have that H (e a ) = F (e a ) = A a b e b mod e − , H (e + ) = F (e + ) = λe + + u a e a + v c e c mod e − , where the unbarred indices a, b, c . . .run from 1 to n and the barred indices a, b, c, . . .from n + 1 to n + k.Then, with (2) and since e − R = 0 and e c R = 0, we have (H −1 • R)(e a , e + , e b , e + ) = R(He a , He + , He b , He + ) = R(F e a , F e + , F e b , F e + ) holonomy invariance of R, (H −1 • R)(e a , e + , e b , e + ) = R(e a , e + , e b , e + ) = Q ab , yields the matrix equation for Q = (Q ab ),