Related papers: Area theorem and smoothness of compact Cauchy hori…
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…
Smooth spacetimes with a compact Cauchy horizon ruled by closed null geodesics are considered. The compact Cauchy horizon is assumed to be non-degenerate. Then, supporting the validity of Penrose's strong cosmic censor hypothesis, the…
We establish a complete classification theorem for the topology and for the null generators of compact non-degenerate Cauchy horizons of time orientable smooth vacuum $3+1$-spacetimes. We show that, either: (i) all generators are closed, or…
We prove that the area of sections of future event horizons in space-times satisfying the null energy condition is non-decreasing towards the future under any one of the following circumstances: 1) the horizon is future geodesically…
We prove that the surface gravity of a compact non-degenerate Cauchy horizon in a smooth vacuum spacetime, can be normalized to a non-zero constant. This result, combined with a recent result by Oliver Petersen and Istv\'an R\'acz, end up…
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.
We prove that in any spacetime dimension and under the null energy condition, every totally geodesic connected smooth compact null hypersurface (hence every compact Cauchy horizon) admits a smooth lightlike tangent vector field of constant…
We consider smooth electrovac spacetimes which represent either (A) an asymptotically flat, stationary black hole or (B) a cosmological spacetime with a compact Cauchy horizon ruled by closed null geodesics. The black hole event horizon or,…
We prove that under the dominant energy condition any non-degenerate smooth compact totally geodesic horizon admits a smooth tangent vector field of constant non-zero surface gravity. This result generalizes previous work by Isenberg and…
We prove that a large class of smooth solutions $\psi$ to the linear wave equation $\Box_g\psi=0$ on subextremal rotating Kerr spacetimes which are regular and decaying along the event horizon become singular at the Cauchy horizon. More…
A rigidity theorem that applies to smooth electrovac spacetimes which represent either (A) an asymptotically flat stationary black hole or (B) a cosmological spacetime with a compact Cauchy horizon ruled by closed null geodesics was given…
In general relativity, nonsingular black holes contain (at least) a Cauchy horizon, a null hypersurface beyond which determinism breaks down. Even though the strong cosmic censorship conjecture establishes the impossibility of extending…
The extendibility of spacetime and the existence of weak solutions to the Einstein field equations beyond Cauchy horizons, is a crucial ingredient to examine the limits of General Relativity. Strong Cosmic Censorship serves as a firewall…
The building of a time machine, if possible at all, requires the relevant regions of spacetime to be compact (that is, physically speaking, free from sources of unpredictability such as infinities and singularities). Motivated by this…
Cauchy horizons are shown to be differentiable at endpoints where only a single null generator leaves the horizon. A Cauchy horizon fails to have any null generator endpoints on a given open subset iff it is differentiable on the open…
We prove that any smooth vacuum spacetime containing a compact Cauchy horizon with surface gravity that can be normalised to a non-zero constant admits a Killing vector field. This proves a conjecture by Moncrief and Isenberg from 1983…
We consider analytic, vacuum spacetimes that admit compact, non-degenerate Cauchy horizons. Many years ago we proved that, if the null geodesic generators of such a horizon were all \textit{closed} curves, then the enveloping spacetime…
We prove that any compact Cauchy horizon with constant non-zero surface gravity in a smooth vacuum spacetime is a smooth Killing horizon. The novelty here is that the Killing vector field is shown to exist on both sides of the horizon. This…
A version of the vacuum conservation theorem is proved which does not assume the existence of a time function nor demands stronger properties than the dominant energy condition. However, it is shown that a stronger stable version plays a…
We analyse exhaustively the structure of \emph{non-degenerate} Cauchy horizons in Gowdy space-times, and we establish existence of a large class of non-polarized Gowdy space-times with such horizons. Added in proof: Our results here,…