Speaker
Description
We outline an argument proving that any smooth vacuum spacetime containing a compact Cauchy horizon with surface gravity that can be normalized to a nonzero constant admits a Killing vector field. This proves a conjecture of Moncrief and Isenberg from 1983 under the assumption on the surface gravity and generalizes 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. This result implies that the maximal globally hyperbolic vacuum development of generic initial data cannot be extended across a compact Cauchy horizon with surface gravity that can be normalized to a nonzero constant. Our result thus supports the validity of Penrose’s strong cosmic censorship conjecture in the class of spacetimes considered.
