Related papers: Smoothness of compact horizons
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 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…
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 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 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 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 extend Beem's three completeness notions -- finite compactness, timelike Cauchy completeness, and Condition A -- originally defined for spacetimes, to Lorentzian length spaces and study their relationships. We prove that finite…
We prove a smooth compactness theorem for the space of elasticae, unless the limit curve is a straight segment. As an application, we obtain smooth stability results for minimizers with respect to clamped boundary data.
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…
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…
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 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…
We address the problem of finding conditions under which a compact Lorentzian manifold is geodesically complete, a property, which always holds for compact Riemannian manifolds. It is known that a compact Lorentzian manifold is geodesically…
The folk questions in Lorentzian Geometry, which concerns the smoothness of time functions and slicings by Cauchy hypersurfaces, are solved by giving simple proofs of: (a) any globally hyperbolic spacetime $(M,g)$ admits a smooth time…
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 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…
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 provide a short introduction to ``Lorentzian metric spaces" i.e., spacetimes defined solely in terms of the two-point Lorentzian distance. As noted in previous work, this structure is essentially unique if minimal conditions are imposed,…
In this note we present a result establishing the existence of a compact CMC Cauchy surface from a curvature condition related to the strong energy condition.
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…