Completeness of Cauchy horizon generators

Abstract

It is proved that every compactly generated future Cauchy horizon has past complete generators, and dually. No condition on the differentiability of the horizon is imposed.

arXiv comment14 pages. v2: corrected some typos

References in corpus (7)

• On the Rigidity Theorem for Spacetimes with a Stationary Event Horizon or a Compact Cauchy Horizon
• Quantum Field Theory on Spacetimes with a Compactly Generated Cauchy Horizon
• Maximum Principles for Null Hypersurfaces and Null Splitting Theorems
• Non-imprisonment conditions on spacetime
• Cauchy Horizon Endpoints and Differentiability
• Generalized Strong Curvature Singularities and Cosmic Censorship
• A Local Variational Theory for the Schmidt metric

Cited by in corpus (5)

• Area theorem and smoothness of compact Cauchy horizons
• Smoothness of compact horizons
• Surface gravity of compact non-degenerate horizons under the dominant energy condition
• Yet another proof of Hawking and Ellis's Lemma 8.5.5
• The boundary of the chronology violating set