Regularity of Horizons and The Area Theorem

We obtain an improved version of the area theorem for not necessarily differentiable horizons which, in conjunction with a recent result on the completeness of generators, allows us to prove that under the null energy condition every compactly generated Cauchy horizon is smooth and compact. We explore the consequences of this result for time machines, topology change, black holes and cosmic censorship. For instance, it is shown that compact Cauchy horizons cannot form in a no...

The general validity of the area law for black holes is still an open problem. We first show in detail how to complete the usually incompletely stated text-book proofs under the assumption of piecewise $C^2$-smoothness for the surface of the black hole. Then we prove that a black hole surface necessarily contains points where it is not $C^1$ (called ``cusps'') at any time before caustics of the horizon generators show up, like e.g. in merging processes. This implies that caus...

Available proofs of the regularity of stationary black hole event horizons rely on some 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, wh...

This paper is concerned with several not-quantum aspects of black holes, with emphasis on theoretical and mathematical issues related to numerical modeling of black hole space-times. Part of the material has a review character, but some new results or proposals are also presented. We review the experimental evidence for existence of black holes. We propose a definition of black hole region for any theory governed by a symmetric hyperbolic system of equations. Our definition r...

Hawking's area theorem can be understood from a quasi-stationary process in which a black hole accretes $positive$ energy matter, ``independent of the details of the gravity action''. I use this process to study the dynamics of the ``inner'' as well as the outer horizons for various black holes which include the recently discovered exotic black holes and three-dimensional black holes in higher derivative gravities as well as the usual BTZ black hole and the Kerr black hole in...

Black holes are often characterized by event horizons, following the literature that laid the mathematical foundations of the subject in the 1970s. However black hole event horizons have two fundamental conceptual limitations. First, they are defined only in space-times that admit a future conformal boundary. Second, they are teleological; their formation and growth is not determined by local physics but depends on what could happen in the distant future. Therefore, event hor...

A future holographic screen is a hypersurface of indefinite signature, foliated by marginally trapped surfaces with area $A(r)$. We prove that $A(r)$ grows strictly monotonically. Future holographic screens arise in gravitational collapse. Past holographic screens exist in our own universe; they obey an analogous area law. Both exist more broadly than event horizons or dynamical horizons. Working within classical General Relativity, we assume the null curvature condition and ...

While the early literature on black holes focused on event horizons, subsequently it was realized that their teleological nature makes them unsuitable for many physical applications both in classical and quantum gravity. Therefore, over the past two decades, event horizons have been steadily replaced by quasi-local horizons which do not suffer from teleology. In numerical simulations event horizons can be located as an `after thought' only after the entire space-time has been...

Hawking's black hole area theorem was proven using the null energy condition (NEC), a pointwise condition violated by quantum fields. The violation of the NEC is usually cited as the reason that black hole evaporation is allowed in the context of semiclassical gravity. Here we provide two generalizations of the classical black hole area theorem: First, a proof of the original theorem with an averaged condition, the weakest possible energy condition to prove the theorem using ...

By a simple modification of Hawking's well-known topology theorems for black hole horizons, we find lower bounds for the areas of smooth apparent horizons and smooth cross-sections of stationary black hole event horizons of genus $g>1$ in four dimensions. For a negatively curved Einstein space, the bound is ${{4\pi (g-1)}\over {-\ell}}$ where $\ell$ is the cosmological constant of the spacetime. This is complementary to the known upper bound on the area of $g=0$ black holes i...