Optimal transport on null hypersurfaces and the null energy condition

Abstract

The goal of the present work is to study optimal transport on null hypersurfaces inside Lorentzian manifolds. The challenge here is that optimal transport along a null hypersurface is completely degenerate, as the cost takes only the two values $0$ and $+\infty$. The tools developed in the manuscript enable to give an optimal transport characterization of the null energy condition (namely, non-negative Ricci curvature in the null directions) for Lorentzian manifolds in terms of convexity properties of the Boltzmann--Shannon entropy along null-geodesics of probability measures. We obtain as applications: a stability result under convergence of spacetimes, a comparison result for null-cones, and the Hawking area theorem (both in sharp form, for possibly weighted measures, and with apparently new rigidity statements).

52 pages. Final version, to appear in "Communications in Mathematical Physics"

References in corpus (12)

• An optimal transport formulation of the Einstein equations of general relativity
• Null distance on a spacetime
• Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications
• Induced Riemannian structures on null hypersurfaces
• Singularity theorems for $C^1$-Lorentzian metrics
• Null distance and convergence of Lorentzian length spaces
• Causality for nonlocal phenomena
• The light-cone theorem
• Properties of the Null Distance and Spacetime Convergence
• Area theorem and smoothness of compact Cauchy horizons
• Sectional and intermediate Ricci curvature lower bounds via Optimal Transport
• Areas and volumes for null cones