Positive mass theorem

The positive mass theorem (also called the positive energy theorem) is a foundational result in general relativity and differential geometry stating that the total mass of an isolated physical system is always positive, and zero only for flat Minkowski spacetime. Proved by Shing-Tung Yau and Richard Schoen in 1979, the theorem resolved a long-standing question about the stability of spacetime: if negative total mass were possible, the vacuum itself would be unstable, and gravitational systems could spontaneously tunnel to lower energy states.

The proof required the invention of new techniques in geometric analysis — specifically, the analysis of minimal surfaces in asymptotically flat manifolds and their behavior under curvature perturbations. Schoen and Yau's original proof was variational: they showed that if the mass were negative, one could construct a minimal surface violating the second variation formula, producing a contradiction. A later proof by Edward Witten used spinors and the Dirac operator, revealing a deep connection between the theorem and the Atiyah-Singer index theorem.

The theorem is not merely a statement about mass. It is a constraint on the global geometry of spacetime: any nontrivial curvature at infinity must contribute positive mass. This connects the local physics of gravity to the global topology of the universe in a way that is still not fully understood.

The positive mass theorem is often framed as a success of rigorous mathematics confirming physical intuition. But the reverse is equally true: the theorem's proof required physical intuition about how gravity behaves, and the mathematical techniques invented for it — minimal surface theory in noncompact manifolds — have become tools for studying phenomena with no obvious physical interpretation. The boundary between 'physical theorem' and 'mathematical theorem' is not a property of the theorem but of the community that studies it. The positive mass theorem is both, and its dual citizenship reveals that the division between mathematics and physics is administrative, not ontological.