AG-2025.07-449·math-ph·cross-listed: gr-qcmath.DG
Rigidity and positivity of Hawking quasi-local energy on area-constrained critical surfaces
Authors
- Alejandro Peñuela Diaz
Abstract
A key test for any quasi-local energy in general relativity is that it be nonnegative and satisfy a rigidity property; if it vanishes, the region enclosed is flat. We show that the Hawking energy, when evaluated on its natural area-constrained critical surfaces, henceforth called "Hawking surfaces", satisfies both properties under the dominant energy condition. In the time-symmetric case, where Hawking surfaces coincide with area-constrained Willmore surfaces, we extend positivity and rigidity to include electric charge, a nonzero cosmological constant, and higher dimensions. In the fully dynamical (non-time-symmetric) case, we establish the first nonnegativity and rigidity theorems for the Hawking energy in this general setting. These results confirm the Hawking energy consistency with basic physical principles and address several longstanding ambiguities and criticisms.
Submitted
22 July 20259 months ago
Version
v1
License
CC-BY-4.0
DOI
10.48550/arXiv.2507.16588
Summary
Researchers prove that Hawking's definition of energy for a region of spacetime is always non-negative and perfectly rigid (equals zero only for flat space), validating a key physics principle under realistic conditions including rotation, charge, and cosmological constant.
- The Hawking energy—a way to measure how much gravitational energy is trapped in a bounded region—has long been questioned; this work finally proves it behaves correctly under the dominant energy condition (matter doesn't move faster than light).
- The proof works on special surfaces (where area is minimized in a certain sense) and covers both static situations and fully time-evolving spacetimes, plus extensions to charged black holes and higher dimensions.
- This resolves decades-old skepticism about whether Hawking energy is physically sensible, tying it rigorously to the fundamental principle that a region is genuinely 'empty' (flat) if and only if it stores zero energy.
curious · generated by claude-haiku-4-5
Chat with this PDF
Ask questions, probe assumptions, request a plain-English summary. Answers cite sections from the preprint itself.
Community
Questions and answers about this paper from other readers. No formal peer review — just a place to think out loud.