On rigidity of spacetimes with a compact Cauchy horizon

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.