Related papers: Hawking's singularity theorem for Lipschitz Lorent…

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 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…

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…

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…

We develop area and volume comparison theorems for the evolution of spacelike, acausal, causally complete hypersurfaces in Lorentzian manifolds, where one has a lower bound on the Ricci tensor along timelike curves, and an upper bound on…

In this contribution, we study spacetimes of cosmological interest, without making any symmetry assumptions. We prove a rigid Hawking singularity theorem for positive cosmological constant, which sharpens known results. In particular, it…

The scope of this survey is to give a self-contained introduction to synthetic timelike Ricci curvature bounds for (possibly non-smooth) Lorentzian spaces via optimal transport $\&$ entropy tools, including a synthetic version of Hawking's…

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 prove a globally hyperbolic spacetime with locally Lipschitz continuous metric and timelike distributional Ricci curvature bounded from below obeys the timelike measure contraction property. The remarkable class of examples of spacetimes…

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 show differentiability of a class of Geroch's volume functions on globally hyperbolic manifolds. Furthermore, we prove that every volume function satisfies a local anti-Lipschitz condition over causal curves, and that locally Lipschitz…

We prove the existence of a Hawking Killing vector-field in a full neighborhood of a local, regular, bifurcate, non-expanding horizon embedded in a smooth vacuum Einstein space-time. We do not assume analyticity of the space-time. This…

In this paper, we obtain general conditions under which the wave equation is well-posed in spacetimes with metrics of Lipschitz regularity. In particular, the results can be applied to spacetimes where there is a loss of regularity on a…

We prove that a globally hyperbolic smooth spacetime endowed with a $\smash{\mathrm{C}^1}$-Lorentzian metric whose Ricci tensor is bounded from below in all timelike directions, in a distributional sense, obeys the timelike…

We prove the Proportionality Principle for the Lipschitz simplicial volume without any restriction on curvature. Our argument is based on the construction of a suitable \emph{pseudostraightening} for simplices.

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.…

In the present work some generalizations of the Hawking singularity theorems in the context of $f(R)$ theories are presented. The assumptions are of these generalized theorems is that the matter fields satisfy the conditions…

In this paper we try to clarify that a regular metric can generate a singular spacetime. Our work focuses on a static and spherically symmetric spacetime in which regularity exists when all components of the Riemann tensor are finite. There…

Hawking's local rigidity theorem, proven in the smooth setting by Alexakis-Ionescu-Klainerman, says that the event horizon of any stationary non-extremal black hole is a non-degenerate Killing horizon. In this paper, we prove that the full…

We consider wave equations on Lorentzian manifolds in case of low regularity. We first extend the classical solution theory to prove global unique solvability of the Cauchy problem for distributional data and right hand side on smooth…