Regularity and temperature of stationary black hole event horizons

Abstract

Available proofs of the regularity of stationary black hole event horizons rely on certain assumptions on the existence of sections that imply a $C^1$ differentiability assumption. By using a quotient bundle approach, we remedy this problem by proving directly that, indeed, under the null energy condition event horizons of stationary black holes are totally geodesic null hypersurfaces as regular as the metric. Only later, by using this result, we show that the cross-sections, whose existence was postulated in previous works, indeed exist.These results hold true under weak causality conditions. Subsequently, we prove that under the dominant energy condition stationary black hole event horizons indeed admit constant surface gravity, a result that does not require any non-degeneracy assumption, requirements on existence of cross-sections or a priori smoothness conditions. We are able to make sense of the angular velocity and of the value (not just sign) of surface gravity as quantities related to the horizon, without the need of assuming Einstein's vacuum equations and the Killing extension. Physically, this implies that under very general conditions every stationary black hole has indeed a constant temperature (the zeroth law of black hole thermodynamics).

arXiv comment33 pages. v2: improved Thm. 9, clarified Thm. 10, references added

References in corpus (28)

• Stationary Black Holes: Uniqueness and Beyond
• A Higher Dimensional Stationary Rotating Black Hole Must be Axisymmetric
• Classification of near-horizon geometries of extremal black holes
• On the Rigidity Theorem for Spacetimes with a Stationary Event Horizon or a Compact Cauchy Horizon
• On the topology of stationary black holes
• Symmetries of Higher Dimensional Black Holes
• Topology of Event Horizons and Topological Censorship
• Maximum Principles for Null Hypersurfaces and Null Splitting Theorems
• On the uniqueness of smooth, stationary black holes in vacuum
• Maximal Hypersurfaces in Asymptotically Stationary Space-Times
• On rigidity of analytic black holes
• Uniqueness of Extremal Kerr and Kerr-Newman Black Holes
• On the `Stationary Implies Axisymmetric' Theorem for Extremal Black Holes in Higher Dimensions
• ``Nowhere'' differentiable horizons
• On Further Generalization of the Rigidity Theorem for Spacetimes with a Stationary Event Horizon or a Compact Cauchy Horizon
• Dynamical Surface Gravity in Spherically Symmetric Black Hole Formation
• Constructive proof of the Kerr-Newman black hole uniqueness including the extreme case
• The causal ladder and the strength of K-causality. I
• Non-imprisonment conditions on spacetime
• A uniqueness theorem for degenerate Kerr-Newman black holes
• On fine differentiability properties of horizons and applications to Riemannian geometry
• Area theorem and smoothness of compact Cauchy horizons
• Cauchy Horizon Endpoints and Differentiability
• K-causality and degenerate spacetimes
• Smoothness of compact horizons
• Wave equations with initial data on compact Cauchy horizons
• A gravitational collapse singularity theorem consistent with black hole evaporation
• Surface gravity of compact non-degenerate horizons under the dominant energy condition