Abstract
We prove that any smooth vacuum spacetime containing a compact Cauchy horizon with surface gravity that can be normalised to a nonzero constant admits a Killing vector field. This proves a conjecture by Moncrief and Isenberg from 1983 under the assumption on the surface gravity and generalises previous results due to Moncrief–Isenberg and Friedrich–Rácz–Wald, where the generators of the Cauchy horizon were closed or densely filled a 2-torus. Consequently, the maximal globally hyperbolic vacuum development of generic initial data cannot be extended across a compact Cauchy horizon with surface gravity that can be normalised to a nonzero constant. Our result supports, thereby, the validity of the strong cosmic censorship conjecture in the considered special case. The proof consists of two main steps. First, we show that the Killing equation can be solved up to infinite order at the Cauchy horizon. Second, by applying a recent result of the first author on wave equations with initial data on a compact Cauchy horizon, we show that this Killing vector field extends to the globally hyperbolic region.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Penrose’s strong cosmic censorship conjecture says that the maximal globally hyperbolic vacuum developments of generic initial data cannot be extended to a larger vacuum spacetime [22, 23, 29, 30]. In spite of its importance, this intriguing conjecture is far from being proved. Indeed, the strong cosmic censorship conjecture always receives a foremost place in the list of the most important unresolved issues in Einstein’s theory of gravity.
If a maximal globally hyperbolic development was a proper open subset of a larger spacetime it could be extended across a Cauchy horizon. It is therefore of crucial importance to understand if the existence of a Cauchy horizon in a vacuum spacetime implies some restrictions on the geometry. Exactly this type of question was raised by Vince Moncrief—emanating from his comprehensive investigations of various cosmological spacetimes during the early 1980’s [3, 15,16,17]—in connection with spacetimes admitting a compact Cauchy horizon. He proposed that vacuum spacetimes with a compact Cauchy horizon necessarily admits a non-trivial Killing vector field in the globally hyperbolic region. As the existence of a Killing vector field is a non-generic property, such a statement would imply that spacetimes with compact Cauchy horizons necessarily are non-generic and thereby support the strong cosmic censorship conjecture in the considered special case.
The first remarkable step in applying this idea was made by Moncrief and Isenberg by proving the existence of a non-trivial Killing symmetry in analytic electrovacuum spacetimes of dimension 4, admitting a compact Cauchy horizon ruled by closed generators [18]. One important step in the proof was to show that the surface gravity of any compact Cauchy horizon with closed generators could be normalised to zero (the degenerate case) or to a nonzero constant (the non-degenerate case). Moncrief and Isenberg conjectured in [18] that their results should hold without assuming analyticity and that the generators are closed. Analyticity was later relaxed in the non-degenerate case by applying a combination of spacetime extensions and the characteristic initial value problem by Friedrich et al. [4]. Essentially the same techniques were also used in [28] to generalise the proof to various coupled gravity matter systems.
Moncrief and Isenberg generalised their result in [18] to higher dimensions in [19] by proving the existence of a non-trivial Killing symmetry for higher dimensional analytic electrovacuum spacetimes admitting a compact Cauchy horizon with closed generators and for higher dimensional analytic electrovacuum stationary black hole spacetimes. Their argument does not apply, in general, if the generators are not closed. A similar investigation for smooth higher dimensional electrovacuum black hole spacetimes, generalising the result in [4] to higher dimensions, was done by Hollands et al. [8].
It is important to textitasize that in all the aforementioned results on compact Cauchy horizons, the generators were closed or densely filled a 2-torus. The purpose of the present paper is to provide generalisations of all the earlier results by removing both the analyticity assumption on the spacetime and the assumptions about the structure on the generators. The only assumption in our work is that surface gravity can be normalised to a nonzero constant. After the present paper appeared as a preprint, Bustamente and Reiris showed [2] (see also the work by Gurriaran and Minguzzi [5]) that if at least one generator of a compact Cauchy horizon in a vacuum spcaetime is incomplete, then the surface gravity can in fact be chosen to be a nonzero constant (which in turn implies that all generators are incomplete). Our assumptions here therefore only exclude potential compact Cauchy horizons in vacuum spacetimes where all generators are complete. However, to date no such example is known.
The main difficulty in dropping the assumption that the compact Cauchy horizon is ruled by closed generators or generators densely filling a 2-torus is that each of the previously applied arguments rest on the use of Gaussian null coordinate systems. These coordinates are supposed to be defined in a neighbourhood of the Cauchy horizon (or—as they are applied in [4, 28]—in a neighbourhood of the universal cover of a subset of the Cauchy horizon). These Gaussian null coordinates have to be well-defined along the null generators, which cannot be guaranteed when some of the generators are non-closed. In order to avoid these difficulties we base our argument on a coordinate free framework introduced in [25].
Our proofs—besides relying heavily on the new result on wave equations with initial data on compact Cauchy horizons in [25]—are based on the following two fundamental new observations. First, a pair of coupled wave equations is used, relating a vector field to the Lie derivatives of the metric and the Ricci tensor with respect to that vector field. (A detailed derivation of these relations is given in a separate appendix, see in particular Lemma A.1). These simple equations allow to avoid the use of coordinate expressions for the Ricci curvature and its Lie derivatives, as used in [18, Section II.C], and thus prove to be the main ingredient of our proof. Second, in verifying that the Killing equation can be solved up to any order at the Cauchy horizon—using the aforementioned coupled wave equations—a first-order linear and homogeneous ODE along the generators is derived for the norm of some specific components of the transverse (to the Cauchy horizon) derivatives of the Killing equation. An important step in the proof is to use this ODE to show that the norm and, in turn, the pertinent components vanish. The key point here—that allows to apply our argument to an arbitrary generator of the compact Cauchy horizon—is that a global maximum principle can be applied to this ODE. In the case when the generators are closed, Moncrief and Isenberg used a corresponding maximum principle along each generator [18]. While the maximum principle does not apply to functions along non-closed generators, it applies to functions defined globally on the compact Cauchy horizon (see Lemma 2.6).
Our results apply to smooth spacetimes (M, g), i.e. connected time-oriented Lorentzian manifolds, of dimension \(n+1 \ge 2\). The signature of the Lorentzian metric g is fixed to be \((-, +, \dots , +)\). Consider now a closed acausal topological hypersurface \(\Sigma \) in M (we do not require \(\Sigma \) to be compact), its Cauchy development \(D(\Sigma )\) is a globally hyperbolic submanifold in (M, g). The boundary \(\partial D(\Sigma )\) of \(D(\Sigma )\) is given by the disjoint union
where \(\mathcal H_{\pm }:= \overline{D^\pm (\Sigma )} \backslash D^\pm (\Sigma )\) denote the future and past Cauchy horizon, respectively. A lot is known about Cauchy horizons (see, e.g. [7, Chap. 6,8] and [21, Chap. 14]). In particular, a Cauchy horizon is a lightlike Lipschitz hypersurface. Denote by \(\mathcal H\) the past or future Cauchy horizon of \(\Sigma \), and assume that \(\mathcal H\) is non-empty and smooth. Recall thatFootnote 1 there is a nowhere vanishing lightlike vector field V, tangent to \(\mathcal H\), and a smooth function \(\kappa \) such that
Definition 1.1
We say that the surface gravity can be normalised to a nonzero constant if there is a smooth nowhere vanishing lightlike vector field V tangent to \(\mathcal H\) such that
on \(\mathcal H\) for some nonzero constant \(\kappa \).
The integral curves of the lightlike vector field V—these are null geodesics—are called the generators of \(\mathcal H\).
Remark 1.1
If the surface gravity is constant and nonzero, then all generators are complete in one direction and incomplete in the other direction. After the current paper appeared, the following remarkable converse statement was shown in [2, 5]: If \(\mathcal H\) is a smooth compact Cauchy horizon in a vacuum spacetime, containing one incomplete generator, then the surface gravity can be normalized to a nonzero constant.
The first main result of the present paper is the following theorem.
Theorem 1.1
(Existence of an asymptotic Killing vector field). Let (M, g) be a spacetime containing a closed acausal topological hypersurface \(\Sigma \) and let \(\mathcal H\) denote the past or future Cauchy horizon of \(\Sigma \). Assume that \(\mathcal H\) is compact, smooth and totally geodesic, and that the surface gravity can be normalised to a nonzero constant. Assume that \(m \in \mathbb {N}\) and that
for all \(k \le m\). Then there is a smooth non-trivial vector field W on \(\mathcal H\cup D(\Sigma )\) such that
for all \(k \le m\). Moreover, if (1) holds for all \(k \in \mathbb {N}_0\), then (2) also holds for all \(k \in \mathbb {N}_0\).
Theorem 1.1 is proved in Sect. 3. It guarantees that there is a vector field satisfying the Killing equation up to any order. To prove the existence of a non-trivial Killing vector field in the globally hyperbolic region we have to propagate the asymptotic Killing field off the Cauchy horizon using wave equations. That this can really be done is guaranteed by a recent result by the first author [25, Thm. 1.6]. (In the analytic case the corresponding step is done by applying the Cauchy-Kovalewski theorem.) We get the second main result of this paper:
Theorem 1.2
(Existence of a Killing vector field). Let (M, g) be a Ricci-flat spacetime containing a closed acausal topological hypersurface \(\Sigma \) and let \(\mathcal H\) denote the past or future Cauchy horizon of \(\Sigma \). Assume that \(\mathcal H\) is compact, smooth and totally geodesic, and that the surface gravity can be normalised to a nonzero constant. Then there exists a smooth non-trivial Killing vector field W on \(\mathcal H\cup D(\Sigma )\), i.e.
W is lightlike on \(\mathcal H\) and spacelike in \(D(\Sigma )\) near \(\mathcal H\), and any smooth extension of W across \(\mathcal H\) to the complement of \(\overline{D(\Sigma )}\) is timelike near \(\mathcal H\).
Theorem 1.2 is proven in Sect. 3. In fact, it actually is not necessary to assume that \(\mathcal H\) is smooth and totally geodesic, as this is automatic by the following theorem by combining the work of Hawking [6] (see also [7]), Larsson [12] and by Minguzzi [13, 14]:
Theorem 1.3
(Hawking & Larsson & Minguzzi). Assume that (M, g) is a spacetime satisfying the null energy condition, i.e. \(\textrm{Ric}(L, L) \ge 0\) for all lightlike vectors L on M. Let \(\Sigma \subset M\) be a closed acausal topological hypersurface and let \(\mathcal H\) denote the past or future Cauchy horizon of \(\Sigma \). If \(\mathcal H\) is compact, then it is smooth and totally geodesic.
Note that in applying [25, Thm. 1.6] to solve wave equations with initial data given on a compact Cauchy horizon—as also indicated by [25, Counterexample 2.5]—the full asymptotic expansion of the candidate Killing vector field has to be used. In this respect our approach is different from the one by Alexakis et al. [1], where such an asymptotic expansion was not needed. Note, however, that the domains of existence of the solutions are also significantly different.
There is yet another remarkable result by Isenberg and Moncrief which has immediate relevance to our results. They proved in [10] that if there exists a non-trivial Killing vector field in a maximal globally hyperbolic vacuum development and the generators of the associated compact Cauchy horizon are non-closed, then there must exist another non-trivial Killing symmetry. By combining [10, Thm. 3] with our results, the following corollary—its proof is given at the end of Sect. 3—can be seen to hold.
Corollary 1.1
(Non-closed generators). Let (M, g) be a Ricci-flat spacetime containing a closed acausal topological hypersurface \(\Sigma \) and let \(\mathcal H\) denote the past or future Cauchy horizon of \(\Sigma \). Assume that \(\mathcal H\) is compact, smooth and totally geodesic, and that the surface gravity can be normalised to a nonzero constant. Assume further that at least one generator of \(\mathcal H\) does not close and that \(D(\Sigma )\) is a maximal globally hyperbolic development. Then there exist (at least) two distinct Killing vector fields on \(D(\Sigma )\), in fact the isometry group of \(D(\Sigma )\) must have an \(S^1 \times S^1\) subgroup.
For simplicity and definiteness, and also because of the novelty of the applied technical elements, in this paper only the vacuum problem is treated. Note, however, that the results by Moncrief-Isenberg and Friedrich-Rácz-Wald could be generalised in [28] (see also [26, 27]) to various coupled gravity matter models. Note also that in such a circumstance not only the invariance of the metric but also the invariance of the matter field variables has to be demonstrated. Nevertheless, as the techniques applied by the second author in [28] are analogous to those applicable in the pure vacuum case we strongly believe that our new results will also generalise to the inclusion of various matter models. Whether these expectations are valid remains to be investigated.
Let us finally mention that after the present paper appeared as a preprint, the first author proved in [24] that the Killing vector field in Theorem 1.2 extends beyond the horizon as well. The results in [24] heavily rely on Theorem 1.2.
This paper is structured as follows. Section 2 is to introduce the setup and prove Theorem 1.1. The proof of the main result of this paper, Theorem 1.2,—which is obtained by a combination of Theorem 1.1 and [25, Thm. 1.6]—is included in Sect. 3. The derivation of the key identity is given in the Appendix. This identity is applied in proving Lemmas 2.3 and 2.4 but they are proven in a general setting.
2 Existence of an Asymptotic Killing Vector Field
The ultimate goal of this section is to prove Theorem 1.1. We assume in this section that (M, g) is a spacetime and that \(\mathcal H\subset M\) is a smooth, compact, totally geodesic Cauchy horizon with surface gravity that can be normalised to a nonzero constant. For definiteness we assume that \(\mathcal H\) is the past Cauchy horizon, the other case then follows by a time reversal.
For any subset \(N \subset M\) and any vector bundle \(F \rightarrow M\), we denote the space of smooth sections in F defined on N by
Our convention for the Riemannian curvature tensor is
and the Ricci curvature is given by
2.1 The null time function
Since \(\kappa \) is a nonzero constant, the simple rescaling \(V \mapsto \frac{1}{\kappa }V\) implies the rescaling \(\kappa \mapsto 1\) in \(\nabla _VV = \kappa V\). Thereby, without loss of generality, we shall assume that there exists a nowhere vanishing lightlike vector field V tangent to \(\mathcal H\) such that
holds everywhere on \(\mathcal H\). As shown in [25, Prop. 3.1], a “null time function” can be constructed in a future neighbourhood of the past Cauchy horizon \(\mathcal H\). The procedure is outlined below, whereas details can be found in [25, Prop. 3.1]. As \(\mathcal H\) is totally geodesic, it follows from [11, Thm. 30] that
for all \(X, Y \in T\mathcal H\). Therefore, there exists a smooth one-form \(\omega \) on \(\mathcal H\) such that
for all \(X \in T\mathcal H\). Note that, in virtue of (3), \(\nabla _V V = V=\omega (V)\, V\) implying that \(\omega (V) = 1\). Since \(\omega \) is nowhere vanishing it follows that \(\ker (\omega )\) is a vector bundle over H. We get the splitting
Using time-orientability of M, it can then be shown that there is a nowhere vanishing future pointing lighlike vector field L on \(\mathcal H\) such that \(L \perp \ker (\omega )\) and \(g(L, V) = -1\). It follows that L is everywhere transverse to \(\mathcal H\). We may therefore define a local “null frame” \(\{L, V, e_2, \hdots , e_n\}\) along \(\mathcal H\) such that \(\{e_2, \hdots , e_n\}\) is an orthonormal frame of \(\ker (\omega )\), and the metric takes the form
It is then shown in [25, Prop. 3.1] that by flowing \(\mathcal H\) along the lighlike geodesics emanating from \(\mathcal H\) with tangent L we get a foliation of an open subset of \(\mathcal H\) in \(\mathcal H\cup D(\Sigma )\) by hypersurfaces diffeomorphic to \(\mathcal H\). More precisely, there exists an open set \(U \subseteq \mathcal H\cup D(\Sigma )\), with \(\mathcal H\subset U\), and a unique smooth vector field \(\partial _t\), such that \(\nabla _{\partial _t}\partial _t = 0\) and \(\partial _t|_\mathcal H= L\) and an associated smooth “null time function” \(t:U \rightarrow [0,\epsilon )\), such that \(\partial _t t = 1\) and such that U is diffeomorphic to \([0, \epsilon ) \times \mathcal H\). The time function \(t:U \rightarrow [0,\epsilon )\) is the “time” coordinate on \(U \cong [0, \epsilon ) \times \mathcal H\). Let us textitasize, however, that we use the notation \(\partial _t\) even though it is not constructed as a part of a coordinate system. The \(t=const\) level hypersurfaces will be denoted by \(\mathcal H_t\). For \(t>0\), \(\mathcal H_t\) are Cauchy surfaces of \(D(\Sigma )\), whereas \(\mathcal H_0 = \mathcal H\) is the Cauchy horizon. In particular, we identify the horizon \(\mathcal H\) with the set \(\{t = 0\}\).
Define the vector field W on U by demanding that
The vector field W will indeed be the Killing vector field in Theorem 1.2 (so far only defined near the horizon) and the Killing vector field to infinite order at the horizon as in Theorem 1.1. The remaining part of the paper is to prove this (and extend the Killing vector field to the entire globally hyperbolic region, as in Theorem 1.2). Extend then the frame \(\{e_2, \hdots , e_n\}\) of \(\ker (\omega )\) by Lie propagating them along \(\partial _t\), i.e. by demanding that
It follows that \((W, e_2, \hdots , e_n)\) is a local frame for \(T\mathcal H_t\) for any \(t \in [0, \epsilon )\). In order to express wave equations in terms of the null time function, the following lemma is essential.
Lemma 2.1
Denote by \(g_{\alpha \beta }:= g(e_\alpha , e_\beta )\) the components of the metric, with respect to the frame
on U. Let \(g^{\alpha \beta }\) denote the inverse of \(g_{\alpha \beta }\). Then, for the components of the metric
hold. Moreover, we also have
Proof
Since \(\partial _t\) is lightlike, \(g_{00} = g(\partial _t, \partial _t) = 0\). By construction, we also have
It also follows that for any \(\alpha \), we have
Accordingly, we have that \(g_{01} = -1\) and \(g_{0i} = 0\) for \(i=2, \hdots , n\), and, in turn, that
This completes the proof of the first part of our assertions.
Since V is lightlike, it also follows that \({g(W, e_i)|_{t = 0} = g(V, e_i|_{t= 0}) = 0}\) for \(i = 1, \hdots , n\), which implies
for \(i, j = 2, \hdots , n\), as claimed. \(\square \)
2.2 Properties of the Null Time Function
A certain curvature assumption at the horizon implies strong restrictions on the vector fields \(\partial _t\) and V along \(\mathcal H\). We use the notation
where t is the null time function as specified in Sect. 2.1.
Lemma 2.2
Assume that \(\textrm{Ric}(Y, V)|_{t = 0} = 0\) for any \(Y \in T\mathcal H\). Then for any smooth vector field X on M such that \({X|_{t = 0} \in C^\infty (\mathcal H, \ker (\omega ))}\) and such that \([\partial _t, X] = 0\), we have
and consequently
Proof
Recall Eq. (4), which is
for all \(Y \in T\mathcal H\), which shows that \(Y \in \ker (\omega )\) if and only if \(\nabla _Y V = 0\). This will be used several times in this proof.
Since
we conclude by Lemma 2.1 that \(\nabla _X \partial _t|_{t = 0} \in C^\infty \left( \mathcal H, \ker (\omega )\right) \), proving the first assertion.
Since \(\nabla _X V|_{t = 0} = 0\), proving the second assertion is equivalent to showing that \([X, V]|_{t = 0} \in C^\infty (\mathcal H, \ker (\omega ))\), or equivalently verifying that \({\nabla _{[X, V]}V|_{t = 0} = 0}\). In doing so notice, first, that since \(\mathcal H\) is totally geodesic and as \([X, V]|_{t = 0} \in T\mathcal H\) it follows that \(g(\nabla _{[X,V]}V, Z)|_{t = 0} = 0\) for all \(Z \in T\mathcal H\). Hence it remains to show that \(g(\nabla _{[X,V]}V, \partial _t)|_{t = 0} = 0\) holds as well. For this, note first that
for an arbitrary orthonormal frame \(\{e_2,\dots ,e_n\}\) in \(\ker (\omega )\). The second term in Eq. (7) vanishes, as
where, in the last step, the relations \(\nabla _{e_i} V|_{t = 0} = 0 = \nabla _X V|_{t = 0}\) and \([X, V]|_{t = 0} \in T\mathcal H\) have been used. Evaluating the first term in Eq. (7) at \(t = 0\), we get
where the relations \(\nabla _V V|_{t = 0} = V|_{t = 0}\) and \(\nabla _X V|_{t = 0} = 0\) have been used. Combining this with Eq. (7) and using that, by assumption, \(\textrm{Ric}(X, V)|_{t = 0} = 0\) we get
and, in turn, that \([X, V]|_{t = 0} \in C^\infty (\mathcal H, \ker (\omega ))\), proving the second assertion.
To verify the third assertion, since \(\partial _t|_{t = 0} \perp \ker (\omega )\), we get
where the second term vanishes, in virtue of the assertion that has just been verified above. In addition, we further have
In virtue of Lemma 2.1 and since \([\partial _t, W] = 0\), it follows that \(\nabla _V\partial _t|_{t = 0} = - \partial _t|_{t = 0} = \nabla _tW|_{t = 0}\).
Finally, we compute
verifying the last assertion. \(\square \)
2.3 The Coupled Wave Equations
Raising and lowering of indices will be signified—in non-self explaining situations—by the musical symbols \({}^\sharp \) and \({}_\flat \), respectively. For any covariant 2-tensor field u on M, the symbol \(\Box u\) is defined as
Accordingly, in any (local) frame \(\{e_0, \hdots , e_n\}\), defined on subsets of M, the term \(\Box u\) is given as
For any covariant 2-tensor u the specific contraction \(R_{a}{}^c{}_b{}^d \, u_{cd}\) of the Riemann tensor an u will be denoted by \(\textrm{Riem}(u)\)
Finally \(\textrm{div}(V)\) will stand for \(\nabla _aV^a\), whereas, for any covariant 2-tensor u, \(\textrm{div}(u)\) will denote the contraction \(\nabla ^a u_{ab}\).
The key relation, verified by the proof of Lemma A.1 in the appendix, is the following:
Lemma 2.3
Let Z be a smooth vector field in U. If \((\nabla _t)^k\textrm{Ric}|_{t = 0} = 0\) for all \(k \le m+1\), then
for all \(k \le m\).
Analogously, in the vacuum case, the following lemma can also be deduced from Lemma A.1.
Lemma 2.4
Assume that (M, g) is a vacuum spacetime and let Z be a smooth vector field in U. Then
The next lemma plays a key role in the proof of Theorem 1.1. In what follows it will be said that a linear differential operator P is differentiating along \(\mathcal H_t\) if \(Pu|_{\mathcal H_t}\) only depends on \(u|_{\mathcal H_t}\) for all sections u, or, in other words, if P does not involve \(\nabla _t\)-derivatives.
Lemma 2.5
Let Z be a smooth vector field in U. For any \(k \in \mathbb {N}_0\) and for any \(X \in C^\infty (\mathcal H, T\mathcal H)\)
hold, where \(S_k\) and \(T_k\) are linear differential operators differentiating only along \(\mathcal H\).
Proof
We start by verifying Eq. (11). Note first that \((\nabla _t)^k(-2\textrm{Riem}(\mathcal {L}_Zg))\) does not depend on \((\nabla _t)^{k+1}\mathcal {L}_Zg\). Hence
for some linear differential operator \(S^1_k\) which is differentiating only along \(\mathcal H_t\). Let
be the local frame introduced in Sect. 2.1, where \(\{e_2, \hdots , e_n\}\) is a frame for the vector bundle \(\ker (\omega )\). In the next step, we will use the fact that
where R is the curvature tensor on M, realized here as a (2, 2)-tensor. Consequently \([\nabla _t, \nabla _{e_\alpha }]\) is an endomorphism (a differential operator of order 0). Evaluating \((\nabla _t)^k \Box \mathcal {L}_Zg\) using this, we get
for some linear differential operator \(S^2_k\), which is differentiating only along \(\mathcal H_t\). Before evaluating this expression at \(t = 0\), note that since \(\mathcal H\) is totally geodesic, we have that \(\nabla _{e_\alpha }e_\beta |_{t = 0} \in T\mathcal H\) for \(\alpha , \beta = 1, \hdots , n\). Evaluating then \((\nabla _t)^k \Box \mathcal {L}_Zg\) at \(t = 0\), in virtue of Lemmas 2.1 and 2.2, we get
for some linear differential operator \(S^3_k\) which is only differentiating along \(\mathcal H\), verifying Eq. (11).
In verifying Eq. (12), assume that X is Lie propagated along \(\partial _t\), i.e. \([\partial _t, X] = 0\). It follows that \(X \in T\mathcal H_t\) for all \(t \in [0, \epsilon )\). Using \(\textrm{div}(\textrm{div}(Z)g)(X) = \frac{1}{2} X \textrm{tr}_g(\mathcal {L}_Zg)\) we immediately get that
for some linear differential operator \(T^1_k\) which is only differentiating along \(\mathcal H\). Analogously, we also have that
for some linear differential operator \(T^2_k\) which is only differentiating along \(\mathcal H_t\). Evaluating at \(t = 0\), in virtue of Lemma 2.1, we get
Combining these observations completes the verification of Eq. (12). \(\square \)
2.4 The key lemma
The proof of the vanishing of various components of the Killing equation on \(\mathcal H\) relies heavily on the following observation:
Lemma 2.6
Assume that \(\mathfrak {a}\) is a smooth symmetric 2-tensor field on \(\mathcal H\) and \(\beta \) is a nowhere vanishing function, such that
for all \(X, Y \in \ker (\omega )\). Then \(\mathfrak {a}(X, Y) = 0\) for all \(X, Y \in \ker (\omega )\).
Proof
The proof relies on the fact that \(\ker (\omega ) \subset T\mathcal H\) is a Riemannian subbundle. Thus, in particular, g is positive definite on \(\ker (\omega )\), we let \(\mathfrak g\) denote its restriction to \(\ker (\omega )\). This induces a positive definite metric \(\mathfrak g\) on the space
of symmetric 2-tensor fields by making use of the inverse of g. Using the abstract index notation \(\mathfrak g(\mathfrak a, \mathfrak a)\) can be given as
where the indices run over \(2, \hdots , n\). In any local g-orthonormal frame \(\{e_2, \hdots , e_n\}\) in \(\ker (\omega )\), \(\mathfrak {g}(\mathfrak {a}, \mathfrak {a})\) can then be expressed as
Differentiating this along V, we get
As verified by Lemma 2.2 we have \(\nabla _V e_i \in \ker (\omega )\) for \(i=2,\dots ,n\), which implies
By combining all the above observations, in virtue of (13) we get
Since \(\mathcal H\) is compact, the scalar function \(\mathfrak {g}(\mathfrak {a}, \mathfrak {a})\) must attain its maximum and minimum. We necessarily have that \(V \mathfrak {g}(\mathfrak {a}, \mathfrak {a}) = 0\) at these locations and since \(\beta \ne 0\) also that \(\mathfrak {g}(\mathfrak {a}, \mathfrak {a}) = 0\). This implies then that \(\mathfrak {g}(\mathfrak {a}, \mathfrak {a}) = 0\) everywhere on \(\mathcal H\). Finally, as \(\mathfrak {g}\) is a positive definite metric on \(\ker (\omega )^*\otimes _{sym} \ker (\omega )^*\) our assertion \(\mathfrak {a} = 0\) follows as claimed. \(\square \)
2.5 Finishing the proof
The proof of Theorem 1.1 will be given by an induction argument.
We start by showing that the components \((\nabla _t)^k\mathcal {L}_Wg(\partial _t, \cdot )|_{t = 0}\) can be expressed in terms of lower order derivatives of \(\mathcal {L}_Wg\).
Lemma 2.7
For any \(k \in \mathbb {N}\), we have
where \(K_k\) is a linear differential operator along \(\mathcal H\).
Proof
First we show that \((\mathcal {L}_{\partial _t})^{k+1}g(\partial _t, \cdot ) = 0\) for all \(k \in \mathbb {N}\). To see this we shall use a local frame of the type \(\{e_0:= \partial _t, e_1:= W, e_2, \hdots , e_n\}\) as in Lemma 2.1. Since \([\partial _t, e_\alpha ] = 0\) for \(\alpha = 0, \hdots , n\), it follows that
for \(\alpha =0, \hdots , n\). Hence, we also have that
for \(\alpha = 0, \hdots , n\) as claimed. By applying \([\partial _t, W] = 0\), we also get
for \(\alpha = 0, \hdots , n\), showing that \((\mathcal {L}_{\partial _t})^{k+1}\mathcal {L}_Wg(\partial _t, \cdot ) = 0\) as claimed. The proof is completed by observing that \((\mathcal {L}_{\partial _t})^{k+1} - (\nabla _t)^{k+1}\) is a linear differential operator of order k. \(\square \)
The first step in our inductive proof the following:
Lemma 2.8
(The case \(m = 0\)). Assume that \(\textrm{Ric}|_{t = 0} = 0\). Then
Proof
Since \(\mathcal H\) is totally geodesic, it follows that
for all \(X, Y \in T\mathcal H\). It therefore remains to show that \(\mathcal {L}_Wg|_{t = 0}(\partial _t, \cdot ) = 0\) as well. In doing so note first that by Lemma 2.2 we have
and, for any smooth vector field X such that \(X|_{t = 0} \in C^\infty (\mathcal H, \ker (\omega ))\), that
This completes the verification of \(\mathcal {L}_Wg|_{t = 0} = 0\). \(\square \)
Lemma 2.9
Assume that \(\textrm{Ric}|_{t = 0} = 0\). Then
for all \(X \in T\mathcal H\).
Proof
By applying Eq. (12) with \(k = 0\) and \(Z = W\), we get
for all \(X \in T\mathcal H\). By Lemma 2.2, it also follows that
since \([\partial _t, W] = 0\). Using that \(\textrm{Ric}(V, X)|_{t = 0} = 0\) and Lemma 2.2, we get then for any \(X \in \ker (\omega )\):
Combining these observations completes the proof. \(\square \)
We may now proceed with the induction step:
Lemma 2.10
(The induction step) Let \(m \in \mathbb {N}\). Assume that \((\nabla _t)^{k}\textrm{Ric}|_{t = 0} = 0\) for all \(k \le m\), and that
for all \(k \le m-1\). Then
Proof
Note first that Lemma 2.7 implies that
It therefore suffices to show the vanishing of the remaining components.
The key equation in the proof is obtained by combining assumptions (14) with Eqs. (8) and (11). We get
for any \(1 \le k \le m\).
Let us treat the case \(m = 1\) separately. First, Eq. (12), with \(k = 0\), combined with Lemma 2.9 proves that
for any \(X \in T\mathcal H\). Lemma 2.9 implies that for any \(X, Y \in T\mathcal H\),
where we have used that \(\nabla _X Y, \nabla _Y X \in T\mathcal H\), since \(\mathcal H\) is totally geodesic. Inserting this into (15), with \(k = 1\), we note that
for all \(X, Y \in T\mathcal H\). By Lemma 2.6, we conclude that
for all \(X, Y \in \ker (\omega )\). Hence \(\nabla _t \mathcal {L}_Wg|_{t = 0} = 0\), which is the claim for \(m = 1\).
We may now assume that \(m \ge 2\). We first claim that
for all \(k \le m-1\). For \(k \le m-1\), this is immediate from (12). The idea for \(k = m-1\) is to insert \(\partial _t\) into Eq. (15). Applying the induction assumption and Eq. (15), with \(k = m-1\), we note that
Inserting \(\partial _t\), we conclude that
as claimed. Equation (12), with \(k = m-1\), now gives
for any \(X \in T\mathcal H\). Moreover, (16) implies together with Eq. (15), with \(k = m\), that
for all \(X, Y \in T\mathcal H\). Lemma 2.6 thus implies that
for all \(X, Y \in \ker (\omega )\). This completes the proof. \(\square \)
Proof of Theorem 1.1
The proof follows by induction using Lemmas 2.8 and 2.10. \(\square \)
3 Existence of a Killing Vector Field
The purpose of this section is to prove our main result, Theorem 1.2, by combining Theorem 1.1 and [25, Thm. 1.6].
Proof of Theorem 1.2
Note first that by Theorem 1.1, the vector field W, defined on the one-sided neighbourhood \(U=[0, \epsilon ) \times \mathcal H\) of \(\mathcal H\), satisfies
for all \(m \in \mathbb {N}_0\), and thus, by (10) and (12), also
for all \(m \in \mathbb {N}_0\). The idea is now to use W as initial data for a characteristic initial value problem, for which well-posedness was proven by the first author in [25, Thm. 1.6]. The solution to the characteristic initial value problem, which we call \(\hat{W}\), will be shown to be a Killing vector field, which coincides with the locally constructed W on U. The vector field \(\hat{W}\) will thus extend W to the entire globally hyperbolic region, proving Theorem 1.2.
By Theorem 1.6 of [25] with \(P = \Box \), \(f = 0\) and \(w^N = W\), using (17), there exists a unique vector field \(\hat{W} \in C^\infty (\mathcal H\cup D(\Sigma ))\) such that
on \(\mathcal H\cup D(\Sigma )\), and such that
for all \(m \in \mathbb {N}_0\). Inserting \(\Box \hat{W} = 0\) into (10) and (9), we get
Note also that Eq. (18), along with Theorem 1.1, implies that
for all \(m \in \mathbb {N}_0\), which in virtue of [25, Cor. 1.8] and (19) implies that \(\mathcal {L}_{\hat{W}} g = 0\) on \(\mathcal H\cup D(\Sigma )\).
We therefore know that \(\hat{W}\) is a Killing vector field on \(\mathcal H\cup D(\Sigma )\) and would like to show that
i.e. that \(\hat{W}\) is really extending W to the globally hyperbolic region. Since \(\hat{W}|_\mathcal H= V = W|_\mathcal H\) and \([\partial _t, W] = 0\), it suffices to show that
By (18), we in particular know that \(\nabla _t \hat{W}|_\mathcal H= \nabla _t W|_\mathcal H\) and hence
so the lightlike vector \(\partial _t|_\mathcal H\) is invariant under the flow of \(\hat{W}\). Recall now that \(\nabla _{\partial _t} \partial _t = 0\), i.e. the integral curves of \(\partial _t\) are the geodesics in U emanating from the \(\hat{W}\)-invariant vector field \(\partial _t|_\mathcal H\). Since \(\hat{W}\) is a Killing vector field, these geodesics, and hence \(\partial _t\), are \(\hat{W}\)-invariant, which proves (20). We conclude that indeed
as claimed. In particular, this shows that W is indeed a Killing vector field.
Finally, by Lemma 2.2, we know that
verifying that W is spacelike in a future neighbourhood of \(\mathcal H\) and that any smooth extension of W to the complement of \(\overline{D(\Sigma )}\) across \(\mathcal H\), is timelike. \(\square \)
We finish by proving Corollary 1.1.
Proof of Corollary 1.1
In the proof of Theorem 1.1, we see that the Killing vector field W satisfies \([\partial _t, W] = 0\) and \(W|_\mathcal H= V\), which implies that W is tangent to the hypersurfaces \(\mathcal H_t:= \{t\} \times \mathcal H\) in U. In virtue of [25, Prop. 3.1], the hypersurfaces \(\mathcal H_t\) are Cauchy surfaces in the maximal globally hyperbolic spacetime \(D(\Sigma )\) for any \(t \in (0, \epsilon )\). Accordingly, W is a spacelike Killing vector field on \((-\epsilon , \epsilon ) \times \mathcal H\), which leaves the individual Cauchy surfaces \(\mathcal H_t\) invariant for any \(t \in (0, \epsilon )\). Therefore [10, Thm. 3] can be applied to complete the proof of Corollary 1.1. \(\square \)
Notes
Time-orientability of M implies the existence of a nowhere vanishing time-like vector field T on M. Since T is transversal to \(\mathcal H\), we can define a one-form field \(\beta \) on a neighbourhood of \(\mathcal H\) satisfying \(\beta (T) = 1\) and \(\beta (X) = 0\) for all \(X \in T\mathcal H\). Then the vector field V along \(\mathcal H\), defined by \(g(V, \cdot )|_\mathcal H= \beta |_{\mathcal H}\), is a nowhere vanishing lightlike vector field tangent to \(\mathcal H\).
References
Alexakis, S., Ionescu, A., Klainerman, S.: Hawking’s local rigidity theorem without analyticity. Geom. Funct. Anal. 20(4), 845–869 (2010)
Bustamente, I., Reiris, M.: On the existence of Killing fields in smooth spacetimes with a compact Cauchy horizon. Class. Quant. Grav. 38, 7 (2021)
Fischer, A., Marsden, J., Moncrief, V.: The structure of the space of solutions of Einstein’ equations: I. One Killing field. Ann. Inst. H. Poincare 33, 147–194 (1980)
Friedrich, H., Rácz, I., Wald, R.: On the rigidity theorem for spacetimes with a stationary event horizon or a compact Cauchy horizon. Commun. Math. Phys. 204, 691–707 (1999)
Gurriaran, S., Minguzzi, E.: Surface gravity of compact non-degenerate horizons under the dominant energy condition. Commun. Math. Phys. 395, 679–713 (2022)
Hawking, S.: Black holes in general relativity. Commun. Math. Phys. 25, 152–166 (1972)
Hawking, S., Ellis, G.: The Large Scale Structure of Spacetime. Cambridge University Press, Cambridge (1973)
Hollands, S., Ishibashi, A., Wald, R.: A higher dimensional stationary rotating black hole must be axisymmetric. Commun. Math. Phys. 271, 699–722 (2007)
Isenberg, J., Moncrief, V.: Symmetries of cosmological Cauchy horizons with exceptonal orbits. J. Math. Phys. 26, 1024–1027 (1985)
Isenberg, J., Moncrief, V.: On spacetimes containing Killing vector fields with non-closed orbits. Class. Quantum Grav. 9, 1683–1691 (1992)
Kupeli, D.N.: On null submanifolds in spacetimes. Geom. Dedicata. 23, 33–51 (1987)
Larsson, E.: Smoothness of compact Cauchy horizons. Ann. Henri Poincaré 16, 2163–2214 (2015)
Minguzzi, E.: Completeness of Cauchy horizons. J. Math. Phys. 55, 082503 (2014)
Minguzzi, E.: Area theorem and smoothness of compact Cauchy horizons. Commun. Math. Phys. 339, 57–98 (2015)
Moncrief, V.: Infinite-dimensional family of vacuum cosmological models with Taub-NUT(Newman-Unti-Tamburino)-type extensions. Phys. Rev. D 23, 312–315 (1981)
Moncrief, V.: Neighborhoods of Cauchy horizons in cosmological spacetimes with one Killing field. Ann. Phys. (N.Y.) 141, 83–103 (1982)
Moncrief, V.: Global Properties of Gowdy Spacetimes with \({\mathbb{T} ^{3}} \times {\mathbb{R} } \) Topology. Ann. Phys. (N.Y.) 132, 87–107 (1981)
Moncrief, V., Isenberg, J.: Symmetries of cosmological Cauchy horizons. Commun. Math. Phys. 89, 387–413 (1983)
Moncrief, V., Isenberg, J.: Symmetries of higher dimensional black holes. Class. Quant. Grav. 25, 195015 (2008)
Moncrief, V., Isenberg, J.: Symmetries of cosmological Cauchy horizons with non-closed orbits. Commun. Math. Phys. 374(1), 145–186 (2020)
O’Neill, B.: Semi-Riemannian geometry: With Applications to General Relativity. Academic Press, San Diego (1983)
Penrose, R.: Singularities and time-asymmetry. In: Hawking and Israel (eds) General Relativity: An Einstein Centenary Survey (1979)
Penrose, R.: The question of cosmic censorship. In Black Holes and Relativistic Stars, ed. Wald (1994)
Petersen, O.L.: Extension of killing vector fields beyond compact Cauchy horizons. Adv. Math. 391, 107953 (2021)
Petersen, O.L.: Wave equations with initial data on compact Cauchy horizons. Anal. PDE 14(8), 2363–2408 (2021)
Rácz, I.: On the existence of Killing vector fields. Class. Quantum Grav. 16, 1695–1703 (1999)
Rácz, I.: Symmetries of spacetime and their relation to initial value problems. Class. Quantum Grav. 18, 5103–5113 (2001)
Rácz, I.: On further generalization of the rigidity theorem for spacetimes with a stationary event horizon or a compact Cauchy horizon. Classical Quant. Gravity 17, 153–178 (2000)
Reall, H.: A Possible failure of determinism in general relativity. Physics 11, 6 (2018)
Wald, R.M.: General Relativity. University of Chicago Press, Chicago (1984)
Acknowledgements
The authors thank the Albert Einstein Institute in Golm for its hospitality. This project emerged from discussions we had there. The authors are also deeply indebted to Vince Moncrief for illuminating discussions. We would also like to thank Ettore Minguzzi and Sebastian Gurriaran for helpful suggestions. OP would like to thank the Berlin Mathematical School, Sonderforschungsbereich 647 and Schwerpunktprogramm 2026, funded by Deutsche Forschungsgemeinschaft, for financial support. IR was supported by NKFIH Grant No. K-115434 and the POLONEZ programme of the National Science Centre of Poland which has received funding from the European Union‘s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 665778. Deutsche Forschungsgemeinschaft grant no. GSC 14.
Funding
Open access funding provided by Royal Institute of Technology.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mihalis Dafermos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
The purpose of this appendix is to verify the key relations applied in our argument. Notably, (8), (9) and (10) are just special cases of certain identities which hold for any sufficiently regular vector field on any differentiable manifold M endowed with a semi-Riemannian metric g. The signature of g does not play any role so it could be arbitrary. Let us also textitasize that the derivations in this appendix make no use of Einstein’s equations or any other filed equation.
We use the notation introduced in Sect. 2.3 together with \(\textrm{Ric}^\sharp (Z)\) denoting \(\textrm{Ric}{_a}^bZ_b\) and \(\textrm{Ric}^\sharp (u)\) denoting \(\textrm{Ric}{_a}{^c}u_{cb}\) for any vector field Z and covariant 2-tensor u.
Lemma A.1
For any smooth vector field Z on an n-dimensional differentiable manifold M endowed with a semi-Riemannian metric g the following identities hold
Remark 3.1
Note that Lemmas 2.3 and 2.4 are immediate consequences of Lemma A.1. Note also that in virtue of (A.1) Eq. (A.2) could also be written as
This equation will play a central role in generalising our result to the case of various coupled gravity–matter systems following the strategy applied in [26, 27].
Proof
The proof of (A.1) and (A.2) is given by straightforward calculations carried out below by making use of explicit index notation. In doing so our conventions follow those of [30].
The first identity comes as
The second identity is somewhat more involved but it is also straightforward. Note that by evaluating \(\Box \,\mathcal {L}_Zg\) we get first
The proof is completed once the last two terms are put into some more favorable form. In doing so we shall derive first some useful auxiliary relations. For instance, by a straightforward calculation verifies
By making use then the contracted Bianchi identity
and the symmetries of the Riemann tensor, we get
where in the last step (A.7) was used. By combining this last relation with (A.6) gives then
Noticing finally that
a combination of (A.9) and (A.8), in virtue of the first line of (A.6), gives then
which, along with (A.5), completes the verification of (A.2). \(\square \)
Remark 3.2
We would like to textitasize again that the above computation is free of using any sort of field equation concerning the metric or restrictions on its signature. It would be of interest to find various other applications of the identities (A.1) and (A.2).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Petersen, O., Rácz, I. Symmetries of Vacuum Spacetimes with a Compact Cauchy Horizon of Constant Nonzero Surface Gravity. Ann. Henri Poincaré 24, 3921–3943 (2023). https://doi.org/10.1007/s00023-023-01335-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-023-01335-9