On the geometry of synthetic null hypersurfaces
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910177693794304 |
|---|---|
| author | Cavalletti, Fabio Manini, Davide Mondino, Andrea |
| author_facet | Cavalletti, Fabio Manini, Davide Mondino, Andrea |
| contents | 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)$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_04934 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the geometry of synthetic null hypersurfaces Cavalletti, Fabio Manini, Davide Mondino, Andrea Differential Geometry General Relativity and Quantum Cosmology Mathematical Physics Metric Geometry 53C50 (primary) 83C75, 49Q22, 53C23 (secondary) 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)$. |
| title | On the geometry of synthetic null hypersurfaces |
| topic | Differential Geometry General Relativity and Quantum Cosmology Mathematical Physics Metric Geometry 53C50 (primary) 83C75, 49Q22, 53C23 (secondary) |
| url | https://arxiv.org/abs/2506.04934 |