The positive energy theorem states that the total ADM mass of an asymptotically flat spacetime is non-negative and zero only for Minkowski space.4×10^24 kilograms is the mass of Earth. The positive energy theorem answers the question of whether the gravitational field can add a negative contribution. In 1979, Richard Schoen and Shing-Tung Yau proved that it cannot: the total energy of an isolated system in general relativity is always non-negative. Edward Witten provided an elegant spinor proof in 1981. Nature is a meticulous bookkeeper, allowing no deficits.
The question of energy positivity in GR goes back to Einstein's work, but a rigorous proof long eluded researchers. In 1959, Dirac conjectured it, and in 1962, Arnowitt, Deser, and Misner introduced the ADM mass. In 1979, mathematicians Richard Schoen and Shing-Tung Yau proved the theorem for dimensions ≤7. In 1981, Edward Witten found a simple proof for spin manifolds of any dimension, based on supergravity. His approach became classical.
It is used to prove the stability of Minkowski space as the ground state. In numerical simulations of black hole mergers, it guarantees that the mass of radiation will not exceed the initial sum. Limitation: works only for asymptotically flat spaces and when energy conditions are satisfied (e.g., for classical matter).
Guarantees the stability of black holes and stars: they cannot collapse into 'nothing' with negative energy. When calculating satellite orbits in strong fields, the theorem rules out options with a 'negative gravitational charge'.
Witten used spinors—mathematical objects resembling 'square roots' of vectors. His proof is so compact that it fits into a couple of pages.













