On the geometry of synthetic null hypersurfaces

TL;DR

This paper introduces a synthetic framework for studying null hypersurfaces in non-smooth spacetimes, generalizing classical geometry using optimal transport and measure theory.

Contribution

It defines a synthetic null energy condition applicable to low-regularity spacetimes, extending classical results like Hawking's area theorem and Penrose's singularity theorem.

Findings

Defines a synthetic null hypersurface as a triple (H, G, m).

Introduces the synthetic null energy condition (NC^e(N)) based on entropy power concavity.

Proves Penrose's singularity theorem for continuous spacetimes.

Abstract

This paper develops a synthetic framework for the geometric and analytic study of null (lightlike) hypersurfaces in non-smooth spacetimes. Drawing from optimal transport and recent advances in Lorentzian geometry and causality theory, we define a synthetic null hypersurface as a triple $(H, G, \mathfrak{m})$: $H$ is a closed achronal set in a topological causal space, $G$ is a gauge function encoding affine parametrizations along null generators, and $\mathfrak{m}$ is a Radon measure serving as a synthetic analog of the rigged measure. This generalizes classical differential geometric structures to potentially singular spacetimes. The central object is the synthetic null energy condition ($\mathsf{NC}^e(N)$), defined via the concavity of an entropy power functional along optimal transport, with parametrization given by the gauge $G$. This condition is invariant under changes of gauge and measure within natural equivalence classes. It agrees with the classical Null Energy Condition in the smooth setting and it applies to low-regularity spacetimes. A key property of the $\mathsf{NC}^e(N)$ condition is the stability under convergence of synthetic null hypersurfaces. The $\mathsf{NC}^e(N)$ condition is also remarkably fruitful for applications. First, it provides a framework for a synthetic version of Hawking's area theorem. Second, the celebrated Penrose's singularity theorem is proved for continuous spacetimes, and the existence of trapped regions is settled in the general setting of topological causal spaces satisfying the $\mathsf{NC}^e(N)$.