A surface embedded in a spacetime has a mean curvature vector that measures how the surface bends in each normal direction. For spacetime constant mean curvature (CMC) surfaces — where this vector has constant norm — the curvature is constrained by the surface's area and the ambient geometry.
Peñuela Diaz (arXiv:2603.16707) proves the sharp inequality |H|² ≤ 16π/|Σ| for spacetime CMC surfaces in Lorentzian manifolds satisfying the dominant energy condition. The dominant energy condition — that energy density exceeds momentum density, or equivalently that energy flows forward in time — is the physically reasonable assumption that makes the bound work.
The rigidity statement is remarkable. When equality holds, the surface is intrinsically round (a metric sphere), and it bounds a flat spacetime region whose maximal globally hyperbolic development is isometric to a causal diamond in Minkowski spacetime. A causal diamond is the intersection of the future of one point with the past of another — the maximal region that can be both observed from and influenced by a bounded segment of a timelike curve.
This links local geometry (curvature of a surface) to global spacetime structure (the causal diamond of flat spacetime). The equality case says: if a surface saturates the curvature bound, then the region it encloses is as simple as spacetime can be — flat, globally hyperbolic, and shaped like a diamond. Any deviation from the bound means the enclosed spacetime is curved, non-trivial, contains gravitational degrees of freedom.
The inequality quantifies how much curvature a surface can carry before the spacetime it encloses must become interesting. The maximum — 16π divided by area — is achieved only in the least interesting spacetime possible. Curvature at the boundary trades against complexity in the interior.