Related papers: The Hawking-Penrose singularity theorem for $C^1$-…

We present a version of the Lorentzian splitting theorem under a weakened Ricci curvature condition. The proof makes use of basic properties of achronal limits [19], [20], together with the geometric maximum principle for $C^0$ spacelike…

We prove a transverse diameter theorem in the context of Lorentzian foliations, which can be interpreted as a Hawking--Penrose-type singularity theorem for timelike geodesics transverse to the foliation. In order to develop the necessary…

We present some of the recent results and open questions on the causality problem in General Relativity. The concept of singularity is intimately connected with future trapped surface and inner event horizon formation. We offer a brief…

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…

Motivated by the use of degenerate Jacobi metrics for the study of brake orbits and homoclinics, we develop a Morse theory for geodesics in conformal metrics having conformal factors vanishing on a regular hypersurface of a Riemannian…

Following Geroch, Traschen, Mars and Senovilla, we consider Lorentzian manifolds with distributional curvature tensor. Such manifolds represent spacetimes of general relativity that possibly contain gravitational waves, shock waves, and…

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 a splitting theorem for globally hyperbolic, weighted spacetimes with metrics and weights of regularity $C^1$ by combining elliptic techniques for the negative homogeneity $p$-d'Alembert operator from our recent work in the smooth…

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…

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…

We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the…

The Ricci curvature equations are a central subject of study in geometry. However, in the smooth real case, their linear analysis is often confined to settings in which the background metric is Einstein. In this paper, we establish…

We describe a nonsmooth notion of globally hyperbolic, regular length metric spacetimes $(\mathrm{M},l)$. It is based on ideas of Kunzinger-S\"amann, but does not require Lipschitz continuity of causal curves. We study geodesics on…

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…

We prove that for a residual (and hence dense) subset $\mathcal{G}$ of Riemannian metrics on $S^{n+1}$ in the $C^{3}$ topology, no area-minimizing integral $n$-current that is a boundary admits a singular tangent cone which is linearly…

In the category of metrics with conical singularities along a smooth divisor with angle in $(0, 2\pi)$, we show that locally defined weak solutions ($C^{1,1}-$solutions) to the K\"ahler-Einstein equations actually possess maximum…

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…

We extend Beem's three completeness notions -- finite compactness, timelike Cauchy completeness, and Condition A -- originally defined for spacetimes, to Lorentzian length spaces and study their relationships. We prove that finite…

We analyze Lorentzian spacetimes subject to curvature-dimension bounds using the Bakry-\'Emery-Ricci tensor. We extend the Hawking-Penrose type singularity theorem and the Lorentzian timelike splitting theorem to synthetic dimensions $N\le…

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…