Related papers: A classification theorem for compact Cauchy horizo…
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 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…
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 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…
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,…
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…
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 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 if a stationary, real analytic, asymptotically flat vacuum black hole spacetime of dimension $n\geq 4$ contains a non-degenerate horizon with compact cross sections that are transverse to the stationarity generating Killing…
Restrictions are obtained on the topology of a compact divergence-free null hypersurface in a four-dimensional Lorentzian manifold whose Ricci tensor is zero or satisfies some weaker conditions. This is done by showing that each null…
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…
All three-manifolds are known to occur as Cauchy surfaces of asymptotically flat vacuum spacetimes and of spacetimes with positive-energy sources. We prove here the conjecture that general relativity does not allow an observer to probe the…
We consider isolated horizons (Killing horizons up to the second order) whose null flow has the structure of a U(1) principal fiber bundle over a compact Riemann surface. We impose the vacuum Einstein equations (with the cosmological…
We study the following problem: Given initial data on a compact Cauchy horizon, does there exist a unique solution to wave equations on the globally hyperbolic region? Our main results apply to any spacetime satisfying the null energy…
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…
In a previous paper [9], we proved the following singularity theorem applicable to cosmological models with a positive cosmological constant: if a four-dimensional spacetime satisfying the null energy condition contains a compact Cauchy…
We study the isometry groups of (non-compact) Lorentzian manifolds with well-behaved causal structure, aka causal spacetimes satisfying the ``no observer horizons'' condition. Our main result is that the group of time orientation-preserving…
We consider globally hyperbolic spacetimes with compact Cauchy surfaces in a setting compatible with the presence of a positive cosmological constant. More specifically, for 3+1 dimensional spacetimes which satisfy the null energy condition…
Smooth Gowdy-symmetric generalized Taub-NUT solutions are a class of inhomogeneous cosmological models with spatial three-sphere topology. They have a past Cauchy horizon with closed null-generators, and they are generally expected to…