Related papers: Completeness conditions for spacetimes with low-re…
The Cauchy slicings for globally hyperbolic spacetimes and their relation with the causal boundary are surveyed and revisited, starting at the seminal conformal boundary constructions by R. Penrose. Our study covers: (1) adaptive…
It is shown that the space of null geodesics of a causally simple Lorentzian manifold is Hausdorff if it admits an open conformal embedding into a globally hyperbolic spacetime. This provides an obstruction to conformal embeddings of…
Singularity theorems of general relativity utilize the notion of causal geodesic incompleteness as a criterion of the presence of a spacetime singularity. The incompleteness of a causal curve implies the end and/or beginning of the…
Recently, a link between Lorentzian and Finslerian Geometries has been carried out, leading to the notion of wind Riemannian structure (WRS), a generalization of Finslerian Randers metrics. Here, we further develop this notion and its…
We identify certain general geometric conditions on a foliation of a spacetime (M,g) by timelike curves that will impede the existence of null geodesic lines, especially if (M,g) possesses a compact Cauchy hypersurface. The absence of such…
In [6], Geroch, Kronheimer and Penrose introduced a way to attach ideal points to a spacetime M , defining the causal completion of M. They established that this is a topological space which is Hausdorff when M is globally hyperbolic. In…
The celebrated geodesic congruence equation of Raychaudhuri, together with the resulting singularity theorems of Penrose and Hawking that it enabled, yield a highly general set of conditions under which a spacetime (or, more generically, a…
Our outcome is structured in the following sequence: (1) a general result for indefinite Finslerian manifolds with boundary $(M,L)$ showing the equivalence between local and infinitesimal (time, light or space) convexities for the boundary…
We prove global hyperbolicity of spacetimes under generic regularity conditions on the metric. We then show that these spacetimes are timelike and null geodesically complete if the gradient of the lapse and the extrinsic curvature $K$ are…
A new causal boundary, which we will term the $l$-boundary, inspired by the geometry of the space of light rays and invariant by conformal diffeomorphisms for space-times of any dimension $m\geq 3$, proposed by one of the authors (R.J. Low,…
The singularity theorems of Penrose, Hawking, and Geroch predict the existence of incomplete inextendible causal geodesics in a wide range of physically adequate spacetimes modeling the gravitational collapse of stars and the expanding…
Recently, the old notion of causal boundary for a spacetime V has been redefined in a consistent way. The computation of this boundary $\partial V$ for a standard conformally stationary spacetime V = R x M, suggests a natural…
Conditions for the existence of closed geodesics is a classic, much-studied subject in Riemannian geometry, with many beautiful results and powerful techniques. However, many of the techniques that work so well in that context are far less…
We present a new development of the causal boundary of spacetimes, originally introduced by Geroch, Kronheimer and Penrose. Given a strongly causal spacetime (or, more generally, a chronological set), we reconsider the GKP ideas to…
After the heroic epoch of Causality Theory, problems concerning the smoothability of time functions and Cauchy hypersurfaces remained as unanswered folk questions. Just recently solved, our aim is to discuss the state of the art on this…
We introduce a notion of Lorentzian metric space which drops the boundedness condition from our previous work and argue that the properties defining our spaces are minimal. In fact, they are defined by three conditions given by (a) the…
It is shown that if a space-time has non-compact Cauchy surface, then its topological, differentiable, and causal structure are completely determined by a class of compact subsets of its Cauchy surface. Since causal structure determines its…
A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to…
We prove that the maximal development of any spherically symmetric spacetime with collisionless matter (obeying the Vlasov equation) or a massless scalar field (obeying the massless wave equation) and possessing a constant mean curvature…
We present new completeness conditions for exponential systems on the complex plane in Banach algebras of continuous functions on a compact with a connected complement that are simultaneously holomorphic in the interior of this compact if…