Related papers: Exact d'Alembertian for Lorentz distance functions

We introduce a variational first-order Sobolev calculus on metric measure spacetimes. The key object is the maximal weak subslope of an arbitrary causal function, which plays the role of the (Lorentzian) modulus of its differential. It is…

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…

The goal of the paper is to prove an exact representation formula for the Laplacian of the distance (and more generally for an arbitrary 1-Lipschitz function) in the framework of metric measure spaces satisfying Ricci curvature lower bounds…

We define a one-parameter family of canonical volume measures on Lorentzian (pre-)length spaces. In the Lorentzian setting, this allows us to define a geometric dimension - akin to the Hausdorff dimension for metric spaces - that…

We introduce a framework of structural approximation to represent Lorentz-invariant Minkowski space-time as the limit of finite cyclic lattices, each equipped with the action of a finite quasi-Lorentz group. This construction provides 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…

Let $(M,\mathsf{d},\mathfrak{m},\ll,\leq,\tau)$ be a causally closed, $\mathscr{K}$-globally hyperbolic, regular measured Lorentzian geodesic space satisfying the weak timelike curvature-dimension condition $\smash{\mathrm{wTCD}_p^e(K,N)}$…

We introduce an analogue of the theory of length spaces into the setting of Lorentzian geometry and causality theory. The r\^ole of the metric is taken over by the time separation function, in terms of which all basic notions are…

For a Lorentzian space measured by $\mathfrak{m}$ in the sense of Kunzinger, S\"amann, Cavalletti, and Mondino, we introduce and study synthetic notions of timelike lower Ricci curvature bounds by $K\in\boldsymbol{\mathrm{R}}$ and upper…

This survey has multiple objectives. First, we motivate and review a new distributional notion of the d'Alembertian from mathematical relativity, more precisely, a nonlinear $p$-version thereof, where $p$ is a nonzero number less than one.…

The goal of the present work is three-fold. The first goal is to set foundational results on optimal transport in Lorentzian (pre-)length spaces, including cyclical monotonicity, stability of optimal couplings and Kantorovich duality…

We introduce several new notions of (sectional) curvature bounds for Lorentzian pre-length spaces: On the one hand, we provide convexity/concavity conditions for the (modified) time separation function, and, on the other hand, we study…

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

We formulate and prove a synthetic Lorentzian Cartan-Hadamard theorem. This result both transfers the corresponding statement for locally convex metric spaces established by S. Alexander and R. Bishop to the Lorentzian setting, and…

While Einstein's theory of gravity is formulated in a smooth setting, the celebrated singularity theorems of Hawking and Penrose describe many physical situations in which this smoothness must eventually break down. In positive-definite…

A semi-Riemannian manifold is said to satisfy $R\ge K$ (or $R\le K$) if spacelike sectional curvatures are $\ge K$ and timelike ones are $\le K$ (or the reverse). Such spaces are abundant, as warped product constructions show; they include,…

The paper establishes a sharp and rigid isoperimetric-type inequality in Lorentzian signature under the assumption of Ricci curvature bounded below in the timelike directions. The inequality is proved in the high generality of Lorentzian…

In this short note we argue that, even if, as sometimes remarked, a Lorentzian manifold does not model correctly the structure of the spatio-temporal continuum as it is, yet a Lorentzian manifold should describe its macroscopic structure as…

We prove the equivalence of the curvature-dimension bounds of Lott-Sturm-Villani (via entropy and optimal transport) and of Bakry--\'Emery (via energy and \Gamma_2$-calculus) in complete generality for infinitesimally Hilbertian metric…

We prove that a Finsler spacetime endowed with a smooth reference measure whose induced weighted Ricci curvature $\smash{\mathrm{Ric}_N}$ is bounded from below by a real number $K$ in every timelike direction satisfies the timelike…