Smoothness of compact horizons

Abstract

We prove that compact Cauchy horizons in a smooth spacetime satisfying the null energy condition are smooth. As an application, we consider the problem of determining when a cobordism admits Lorentzian metrics with certain properties. In particular, we prove a result originally due to Tipler without the smoothness hypothesis necessary in the original proof.

This is chapter one of arXiv:1406.6194v1, rewritten and improved

References in corpus (7)

• Symmetries of Higher Dimensional Black Holes
• Maximum Principles for Null Hypersurfaces and Null Splitting Theorems
• ``Nowhere'' differentiable horizons
• Area theorem and smoothness of compact Cauchy horizons
• On fine differentiability properties of horizons and applications to Riemannian geometry
• Cauchy Horizon Endpoints and Differentiability
• Completeness of Cauchy horizon generators

Cited by in corpus (5)

• Area theorem and smoothness of compact Cauchy horizons
• Wave equations with initial data on compact Cauchy horizons
• Surface gravity of compact non-degenerate horizons under the dominant energy condition
• Horizon classification via Riemannian flows
• Regularity and temperature of stationary black hole event horizons