Abstract:We refine a recent distributional notion of d'Alembertian of a signed Lorentz distance function to an achronal set in a metric measure spacetime obeying the timelike measure contraction property. We show precise representation formulas and comparison estimates (both upper and lower bounds). Under a condition we call "infinitesimally strict concavity" (known for infinitesimally Minkowskian structures and established here for Finsler spacetimes), we prove the associated distribution is a signed measure certifying the integration by parts formula. This treatment of the d'Alembertian using techniques from metric geometry expands upon its recent elliptic interpretation; even in the smooth case, our formulas seem to pioneer its exact shape across the timelike cut locus. Two central ingredients our contribution unifies are the localization paradigm of Cavalletti-Mondino and the Lorentzian Sobolev calculus of Beran et al. In the second part of our work, we present several applications of these insights. First, we show the equivalence of the timelike curvature-dimension condition with a Bochner-type inequality. Second, we set up synthetic mean curvature (and barriers for CMC sets) exactly. Third, we prove volume and area estimates of Heintze-Karcher-type, which enable us to show several synthetic volume singularity theorems.

On the space of compact diamonds of Lorentzian length spaces

Generalized products and Lorentzian length spaces

Lorentzian metric spaces and their Gromov–Hausdorff convergence

Lorentzian metric spaces and their Gromov-Hausdorff convergence

Non Hilbertian (Lorentzian) Length Spaces

Maximality and Cauchy developments of Lorentzian length spaces

The c-completion of Lorentzian metric spaces

Alexandrov's Patchwork and the Bonnet-Myers Theorem for Lorentzian length spaces

On curvature bounds in Lorentzian length spaces

Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications

Lorentzian metric spaces and GH-convergence: the unbounded case

Low regularity approach to Bartnik's conjecture

Closed geodesics on compact Lorentzian solvmanifolds

A nonlinear d'Alembert comparison theorem and causal differential calculus on metric measure spacetimes

Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds

Quantization of causal diamonds in (2+1)-dimensional gravity -- Part I: Classical reduction

Bonnet-Myers rigidity theorem for globally hyperbolic Lorentzian length spaces

On the Charge Algebra of Causal Diamonds in Three Dimensional Gravity

Nonsmooth d'Alembertian for Lorentz distance functions

Time functions on Lorentzian length spaces

Between a Stone and a Hausdorff Space