On Rigidity of Spacetimes with a Compact Cauchy Horizon

There is a great variety of solutions of Einstein's equation which contain a smooth compact Cauchy horizon. However, all of these spacetimes can be considered as being generalizations of the Taub-NUT solution. In these spacetimes, the Cauchy horizon separates the globally hyperbolic region from a region which contains closed timelike curves. It is a common feature of all of these spacetimes that they admit a 'horizon compatible' Killing vector field which is spacelike in the globally hyperbolic region, null on the horizon while the Killing orbits are closed timelike curves in the chronology violating region...