Related papers: The Penrose singularity theorem in regularity $C^{…

On the occasion of Sir Roger Penrose's 2020 Nobel Prize in Physics, we review the singularity theorems of General Relativity, as well as their recent extension to Lorentzian metrics of low regularity. The latter is motivated by the quest to…

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 show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions…

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…

We provide a detailed proof of Hawking's singularity theorem in the regularity class $C^{1,1}$, i.e., for spacetime metrics possessing locally Lipschitz continuous first derivatives. The proof uses recent results in $C^{1,1}$-causality…

We study the Penrose inequality and its rigidity for metrics with singular sets. Our result could be viewed as a complement of Theorem 1.1 of Lu and Miao (J. Funct. Anal. 281, 2021) and Theorem 1.2 of Shi, Wang and Yu (Math. Z. 291, 2019),…

In this short paper, Penrose's famous singularity theorem is applied to the Kerr space-time. In the case of the maximally extended space-time, the assumptions of Penrose's singularity theorem are not satisfied as the space-time is not…

We show that many standard results of Lorentzian causality theory remain valid if the regularity of the metric is reduced to $C^{1,1}$. Our approach is based on regularisations of the metric adapted to the causal structure.

We translate Penrose's singularity theorem to a Finsler spacetime. To that end, causal concepts in Lorentzian geometry are extended, including definitions and properties of focal points and trapped surfaces, with careful attention paid to…

We prove that Penrose limits of metrics with arbitrary singularities of power-law type show a universal leading u^{-2}-behaviour near the singularity provided that the dominant energy condition is satisfied and not saturated. For generic…

We prove a Gannon-Lee theorem for non-globally hyperbolic Lo\-rentzian metrics of regularity $C^1$, the most general regularity class currently available in the context of the classical singularity theorems. Along the way we also prove that…

In this paper, we study rigidity aspects of Penrose's singularity theorem. Specifically, we aim to answer the following question: if a spacetime satisfies the hypotheses of Penrose's singularity theorem except with weakly trapped surfaces…

Penrose's crucial contributions to General Relativity, symbolized by his 1965 singularity theorem, received (half of) the 2020 Nobel prize in Physics. A renewed interest in the ideas and implications behind that theorem, its later…

We analyze how the hypotheses of Penrose's singularity theorem (1965) are modified by the action of disformal transformations (defined in terms of light-like vectors) upon a given space-time metric. In particular, we investigate the…

Assuming the Bousso bound, we prove a singularity theorem: if the light rays entering a hyperentropic region contract, then at least one light ray must be incomplete. "Hyperentropic" means that the entropy of the region exceeds the…

In the light of his recent (and fully deserved) Nobel Prize, this pedagogical paper draws attention to a fundamental tension that drove Penrose's work on general relativity. His 1965 singularity theorem (for which he got the prize) does not…

We consider versions of the Penrose singularity theorem and the Hawking horizon topology theorem in weighted spacetimes that contain weighted versions of trapped surfaces, for arbitrary spacetime dimension and synthetic dimension. We find…

We establish volume comparison results for balls in Riemannian manifolds with $C^{1,1}$-metrics with a lower bound on the Ricci tensor and for the evolution of spacelike, acausal, causally complete hypersurfaces with an upper bound on the…

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…

We show that singularities necessarily occur when a boundary of causality violating set exists in a space-time under the physically suitable assumptions except the global causality condition in the Hawking-Penrose singularity theorems.…