相关论文: The Hawking-Penrose singularity theorem for $C^{1,…

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…

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 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 extend the validity of the Penrose singularity theorem to spacetime metrics of regularity $C^{1,1}$. The proof is based on regularisation techniques, combined with recent results in low regularity causality theory.

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 prove Hawking's singularity theorem for spacetime metrics of local Lipschitz regularity. The proof rests on (1) new estimates for the Ricci curvature of regularising smooth metrics that are based upon a quite general Friedrichs-type…

We consider the Hawking-Penrose singularity theorems and the Lorentzian splitting theorem under the weaker curvature condition of nonnegative Bakry-Emery-Ricci curvature $Ric_f^m$ in timelike directions. We prove that they still hold when…

The classical singularity theorems of R. Penrose and S. Hawking from the 1960s show that, given a pointwise energy condition (and some causality as well as initial assumptions), spacetimes cannot be geodesically complete. Despite their…

Using the standard Whitney topologies on spaces of Lorentzian metrics, we show that the existence of causal incomplete geodesics is a $C^\infty$-generic feature within the class of spacetimes of a given dimension $n\geq 3$ that are stably…

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.

The original singularity theorems of Penrose and Hawking were proved for matter obeying the Null Energy Condition or Strong Energy Condition respectively. Various authors have proved versions of these results under weakened hypotheses, by…

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…

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 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 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 present a systematic study of causality theory on Lorentzian manifolds with continuous metrics. Examples are given which show that some standard facts in smooth Lorentzian geometry, such as light-cones being hypersurfaces, are wrong when…

Hawking's singularity theorem concerns matter obeying the strong energy condition (SEC), which means that all observers experience a nonnegative effective energy density (EED), thereby guaranteeing the timelike convergence property.…

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…

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…

We prove that the "generic condition" used in singularity theorems of general relativity is generic in the space of Lorentzian metrics on a given manifold, in the sense that it is satisfied for all metrics in a residual set in the Whitney…