Abstract:Smooth spacetimes with a compact Cauchy horizon ruled by closed null geodesics are considered. The compact Cauchy horizon is assumed to be non-degenerate. Then, supporting the validity of Penrose's strong cosmic censor hypothesis, the existence of a smooth Killing vector field in a neighbourhood of the horizon on the Cauchy development side is shown.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: in a smooth spacetime background, whether a spacetime with a compact Cauchy horizon necessarily has a Killing vector field compatible with such a horizon. Specifically, the author explores whether there exists a Killing vector field \(k^a\) in these spacetimes, which is null on the Cauchy horizon and spacelike in the region outside the horizon.
### Problem Background
1. **Solutions of the Einstein Equation**
- Many solutions of the Einstein equation contain a smooth and compact Cauchy horizon.
- These spacetimes can be regarded as generalizations of the Taub - NUT solution.
- The Cauchy horizon separates the globally hyperbolic region from the region containing closed timelike curves.
2. **Known Properties**
- All of these spacetimes have a "horizon - compatible" Killing vector field, which is spacelike in the globally hyperbolic region, zero on the horizon, and forms closed timelike curves in the causality - violating region.
3. **Penrose's Cosmic Censorship Hypothesis**
- The strong cosmic censorship hypothesis proposed by Penrose claims that all "physically reasonable" generic spacetimes are globally hyperbolic, that is, they are inextensible Cauchy developments, determined by the maximal initial data specification.
- If it can be proven that the emergence of a compact Cauchy horizon is always accompanied by the existence of symmetry, then this will indirectly support the validity of Penrose's cosmic censorship hypothesis.
### Research Motivation
- **Results of Moncrief and Isenberg**
- Moncrief and Isenberg have proven that in analytic electro - vacuum spacetimes, if there exists a compact Cauchy horizon generated by closed null geodesics, then there must exist a Killing vector field that is tangent to the null geodesic generators of the horizon and spacelike on the Cauchy development side.
- **The Problem of Analyticity Assumption**
- Their results rely on the analyticity assumption, which is incompatible with the initial - value problem in the causality framework. Therefore, researchers hope to replace the analyticity assumption with more relaxed differentiability conditions.
### Main Contributions
- **Constructing the Killing Vector Field**
- The author constructs a candidate Killing vector field \(K^a\) by using the relation
\[
\nabla_e\nabla_eK^a+R^a_dK^d = 0
\]
This is a wave equation, indicating that it should be treated as an initial - value problem.
- **Non - Degenerate Cauchy Horizon**
- When the original Cauchy horizon is non - degenerate, an additional null hypersurface can be found by generalized techniques such that the Lie derivative of (at least) the spacetime metric on this hypersurface is zero.
- **Theorem Statement**
- In a smooth spacetime, if there exists a compact non - degenerate Cauchy horizon generated by closed null geodesics, then there exists a smooth Killing vector field \(k^a\) in the Cauchy development region near the horizon. The horizon is a Killing horizon with respect to \(k^a\), and this Killing vector field is spacelike outside the horizon. The matter fields are also invariant.
### Conclusion
This paper supports the validity of Penrose's cosmic censorship hypothesis by proving that the emergence of a compact non - degenerate Cauchy horizon is indeed a product of symmetry, indicating that spacetimes with such compact Cauchy horizons are not the general case.