On the geometry of synthetic null hypersurfaces
This paper establishes a synthetic framework for null hypersurfaces in non-smooth spacetimes by defining a synthetic null energy condition via optimal transport, which generalizes classical results to singular settings and enables the proof of Hawking's area theorem and Penrose's singularity theorem in continuous and topological causal spaces.