positive mass theorem

positive mass theorem The positive mass theorem asserts that for an isolated gravitational system the total mass is nonnegative, and zero only for flat Euclidean space. It connects results from Riemannian geometry, Lorentzian manifold, General relativity, Arthur Eddington-inspired gravitational theory, and techniques developed by Richard Schoen, Shing-Tung Yau, and Edward Witten. The theorem underpins stability analyses used in studies at institutions such as Princeton University, Harvard University, and Institute for Advanced Study.

Statement

The standard statement of the theorem concerns an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and the associated Arnowitt–Deser–Misner mass (ADM mass) at spatial infinity. In precise mathematical language it asserts that the ADM mass is nonnegative, vanishing only for the Euclidean metric on R^3 or the spatial slice of Minkowski spacetime. Formulations reference concepts from ADM formalism, Stephen Hawking's singularity theorems, and conditions reminiscent of the Dominant energy condition in Einstein field equations. Variants appear for Riemannian, spin, and Lorentzian settings, relating to notions developed by Yvonne Choquet-Bruhat, Charles Misner, and Kip Thorne.

Historical development

Interest in a global positivity property of mass traces through the mid-20th century when researchers at Princeton University and Cambridge University explored gravitational energy. Early heuristic arguments arose in work by Arthur Eddington and discussions in conferences such as those at Institute for Advanced Study. Rigorous mathematical formulation used the ADM formalism from Richard Arnowitt, Stanley Deser, and Charles W. Misner. A major breakthrough came in 1979 with independent proofs by Richard Schoen and Shing-Tung Yau using minimal surface techniques, and by Edward Witten using spinor methods influenced by Roger Penrose and Michael Atiyah's index theory. Subsequent refinements involved collaborations and contributions from researchers at Stanford University, Columbia University, and University of California, Berkeley.

Proofs and methods

Schoen and Yau's original proof employs minimal hypersurfaces, geometric measure theory, and comparison arguments inspired by work of J. Douglas, Ennio De Giorgi, and Federer; it uses the positive scalar curvature machinery related to results by Kazdan and Warner. Witten's proof uses spinor fields, the Dirac operator, and arguments connected to the Atiyah–Singer index theorem and techniques associated with Michael Atiyah and Isadore Singer. Later proofs and simplifications have invoked the inverse mean curvature flow studied by Gerhard Huisken and Tom Ilmanen, and conformal deformation techniques popularized in work by James Eells and Joseph J. Kohn. Analytical tools include elliptic estimates from Louis Nirenberg and Jürgen Moser, while global regularity draws on methods developed at Courant Institute and IHES.

Applications and consequences

The theorem provides a rigorous foundation for the intuitive positivity of gravitational mass used in astrophysical models at Caltech and Max Planck Institute for Gravitational Physics (Albert Einstein Institute). It underlies stability results for Minkowski spacetime proved by Demetrios Christodoulou and Sergei Klainerman, informs black hole uniqueness theorems studied by Roy Kerr and Brandon Carter, and constrains possible initial data sets considered in numerical relativity at NASA centers and Los Alamos National Laboratory. Consequences include rigidity statements used in proofs of the Penrose inequality proposed by Roger Penrose and mathematical control of gravitational collapse scenarios examined by Subrahmanyan Chandrasekhar and Stephen Hawking.

Extensions and generalizations

Generalizations include the Riemannian positive mass theorem in higher dimensions by Schoen and Yau, spinor-based extensions by Witten reliant on spin structures related to work by Élie Cartan, and versions for asymptotically hyperbolic manifolds connected to studies by Graham and Lee. Further extensions address the Penrose inequality developed by H. Bray and G. Huisken with applications to quasi-local mass concepts proposed by James York and L. B. Szabados. Recent progress links the theorem to scalar curvature rigidity problems studied by Miao Tam and Richard Bartnik, and to topics in geometric analysis pursued at Princeton University and University of Cambridge.

Category: Differential geometry