Extension of Killing vector fields beyond compact Cauchy horizons

Oliver Lindblad Petersen

We prove that any compact Cauchy horizon with constant non-zero surface gravity in a smooth vacuum spacetime is a smooth Killing horizon. The novelty here is that the Killing vecto…