Related papers: Completeness of Cauchy horizon generators
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…
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…
The fact that the null generators of a future Cauchy horizon are past complete was proved first by Hawking and Ellis [1]. Then Budzy\'nski, Kondracki, and Kr\'olak outlined a proof free from an error found in the original one [2]. Finally,…
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 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…
Let $H$ be a (past directed) horizon in a time-oriented Lorentz manifold and $\gamma:[\left( \alpha,\beta\right) \rightarrow H$ a past directed generator of the horizon, where $[\left( \alpha,\beta\right) $ is $[\alpha,\beta)$ or $\left(…
It is folklore knowledge amongst general relativists that horizons are well behaved, continuously differentiable hypersurfaces except perhaps on a negligible subset one needs not to bother with. We show that this is not the case, by…
We discuss various features of the dynamical system determined by the flow of null geodesic generators of Cauchy horizons. Several examples with non--trivial (``chaotic'', ``strange attractors'', etc.) global behaviour are constructed.…
In a recent paper Kr\'olak and Beem have shown differentiability of Cauchy horizons at all points of multiplicity one. In this note we give a simpler proof of this result.
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 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 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…
We present several recent results concerning Cauchy and event horizons. In the first part of the paper we review the differentiablity properties of the Cauchy and the event horizons. In the second part we discuss compact Cauchy horizons and…
Chrusciel and Galloway constructed a Cauchy horizon that is nondifferentiable on a dense set. We prove that in a certain class of Cauchy horizons densely nondifferentiable Cauchy horizons are generic. We show that our class of densely…
We study general S2xS1 Gowdy models with a regular past Cauchy horizon and prove that a second (future) Cauchy horizon exists, provided that a particular conserved quantity $J$ is not zero. We derive an explicit expression for the metric…
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…
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 give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence…
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…
Differential completions and compactifications of differential spaces are introduced and investigated. The existence of the maximal differential completion and the maximal differential compactification is proved. A sufficient condition for…