Related papers: Hawking-type singularity theorems for worldvolume …
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…
We show the rigid singularity theorem, that is, a globally hyperbolic spacetime satisfying the strong energy condition and containing past trapped sets, either is timelike geodesically incomplete or splits isometrically as space $\times$…
Penrose's original heuristic for his eponymous spacetime inequality -- a conjectured lower bound on the ADM mass in terms of the area of a horizon cross-section -- relies on the black hole final state conjecture. In this paper we isolate a…
We review well known classical energy conditions and their implications for gravitational solutions, including the celebrated Hawking and Penrose singularity theorems. We then consider quantum fields coupled to gravity, where the topic…
We prove a low-regularity version of Hawking's singularity theorem for Lorentzian metrics in $W^{1,p}$ with Riemann curvature in $L^p$, where $p>2n$ and $n$ the dimension of spacetime. This extends previous results beyond the Lipschitz…
Quantum inequalities bound the extent to which weighted time averages of the renormalized energy density of a quantum field can be negative. They have mostly been proved in flat spacetime, but we need curved-spacetime inequalities to…
On a Riemannian manifold, lower Ricci curvature bounds are known to be characterized by geodesic convexity properties of various entropies with respect to the Kantorovich-Rubinstein-Wasserstein square distance from optimal transportation.…
The classical Raychaudhuri equation predicts the formation of conjugate points for a congruence of geodesics, in a finite proper time. This in conjunction with the Hawking-Penrose singularity theorems predicts the incompleteness of…
Continuing recent efforts in extending the classical singularity theorems of General Relativity to low regularity metrics, we give a complete proof of both the Hawking and the Penrose singularity theorem for $C^1$-Lorentzian metrics - a…
We investigate the stability of timelike Ricci curvature lower bounds under low-regularity limits of Lorentzian metrics. Specifically, we prove that the synthetic curvature-dimension condition $TCD^e_p(K,N)$, which provides an optimal…
The generalized second law can be used to prove a singularity theorem, by generalizing the notion of a trapped surface to quantum situations. Like Penrose's original singularity theorem, it implies that spacetime is null geodesically…
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…
The interior of the Kerr solution is singular and achronological. The classic singularity theorem by Hawking and Penrose relies on chronology, and thus does not apply to the Kerr solution. An improvement of their theorem by Kriele partially…
Conjugate points play an important role in the proofs of the singularity theorems of Hawking and Penrose. We examine the relation between singularities and conjugate points in FLRW spacetimes with a singularity. In particular we prove a…
We extend both the Hawking-Penrose Theorem and its generalisation due to Galloway and Senovilla to Lorentzian metrics of regularity $C^1$. For metrics of such low regularity, two main obstacles have to be addressed. On the one hand, the…
Many fundamental issues remain for black hole thermodynamics after almost half a century of its conception. For example, what are the underlying degrees of freedom of a black hole horizon that give rise to said thermodynamical properties?…
What restrictions are there on a spacetime for which the Ricci curvature is such as to produce convergence of geodesics (such as the preconditions for the Singularity Theorems) but for which there are no singularities? We answer this…
The problem of a rigorous theory of singularities in space-times with torsion is addressed. We define geodesics as curves whose tangent vector moves by parallel transport. This is different from what other authors have done, because their…
A key test for any quasi-local energy in general relativity is that it be nonnegative and satisfy a rigidity property; if it vanishes, the region enclosed is flat. We show that the Hawking energy, when evaluated on its natural…
We study the solutions of the semiclassical Einstein equation in flat cosmological spacetimes driven by a massive conformally coupled scalar field. In particular, we show that it is possible to give initial conditions at finite time to get…