Positive Mass and Geometric Inequalities

Gravitational mass becomes mathematically sharp only after the asymptotic end, initial-data class, energy condition, and normalization are fixed. This chapter moves from that definition to positivity and rigidity, then to inequalities that incorporate horizon area, angular momentum, and charge. It ends by comparing quasi-local constructions whose theorem domains differ. The recurring lesson is that the equality case is as informative as the inequality: flat, Schwarzschild, extreme Kerr, and extreme Kerr–Newman data are distinguished by which hypotheses and boundary data saturate the estimate.

Preparation routes include Analysis for Mathematical Relativity, Hypersurface Normals and Tangential Projectors, and The Riemann Curvature Tensor. The constraint normalization comes from The Einstein Equation; Causality and Global Structure supplies the global interpretation, and PDEs and Green Functions for Gravitation is useful for the elliptic proofs.

Initial data, ends, and conserved charges

The common setting is a three-dimensional asymptotically flat initial data set $(\Sigma,h,K)$ with future normal and

$$K_{ij}=-h_i{}^\mu h_j{}^\nu\nabla_\mu n_\nu.$$

The asymptotically flat inequalities here take $\Lambda=0$.

Decay and integrability make ADM energy–momentum finite and invariant under admissible changes of asymptotic chart. The dominant energy condition $\rho\ge|j|_h$ then connects the constraints to a future-causal ADM vector. Completeness is global and indispensable: a singular negative-mass expression can have the expected asymptotic coefficient while lying outside the positive mass theorem.

Each later inequality adds structure. Time symmetry converts the Hamiltonian constraint to $R(h)\ge0$ and turns apparent horizons into minimal surfaces. Axisymmetry supplies angular momentum and twist potentials. Einstein–Maxwell data supply electric and magnetic charges. Outermost or stability conditions select the horizon surface whose area can enter a sharp bound.

Three proof mechanisms

The positive mass theorem has two complementary proof architectures. The Schoen–Yau minimal-surface theorem treats time-symmetric data; general $K$ requires their Jang-equation argument Schoen and Yau 1981, pp. 231–260 or the later marginally outer trapped hypersurface proof. The latter establishes $E\ge|P|$ without a spin assumption in dimensions below eight; see Eichmair, Huang, Lee, and Schoen 2016, Theorem 1 and §1, pp. 83–89. Witten’s spinorial route turns $E-P_iv^i$ into a nonnegative bulk integral. Their independent agreement checks the sign while exposing different dimension and topology assumptions; compare Schoen and Yau 1979, pp. 45–76 with Witten 1981, pp. 381–402.

The Penrose inequality uses monotonic geometric flow. For a connected horizon, Hawking mass begins at $G^{-1}\sqrt{A/(16\pi)}$; weak inverse mean curvature flow keeps it nondecreasing and bounds its terminal value by ADM mass. Bray’s conformal flow handles the total area of disconnected outermost boundaries. Harmonic-map methods instead prove spin–charge inequalities by minimizing a reduced mass functional with axis data fixed by $J$ and $Q$.

The chapter sequence

1. ADM Energy–Momentum and Its Hypotheses defines the charges and the exact decay, chart, parity, and constraint assumptions behind them.
2. The Positive Mass Theorem states future causality of the ADM vector and explains zero-mass rigidity.
3. Minimal-Surface and Spinorial Proof Strategies compares where dimension, spin, energy, and equality enter the two proofs.
4. The Riemannian Penrose Inequality carries horizon area to infinity by inverse mean curvature or conformal flow.
5. Mass–Angular-Momentum–Charge Inequalities develops axisymmetric harmonic-map bounds and their extremal equality cases.
6. Quasi-Local Mass and Horizon Inequalities compares Hawking, Brown–York, Bartnik, and horizon masses at the 2026-08-12 evidence cutoff.

The order protects against circular reasoning. ADM mass must be defined before it is declared positive. Positive mass is an input to some geometric-flow and conformal arguments, but it does not already contain horizon area. Quasi-local comparisons come last because each uses a different subset of the preceding geometry.

Reader routes and equality cases

For the shortest positivity route, read the ADM definition, the theorem, and the comparison of its two proofs. This route answers why a boundary integral is coordinate invariant and why zero mass gives Minkowski rigidity. For general $K$, the resulting Minkowski hypersurface need not have a flat induced metric; the Euclidean conclusion belongs to the time-symmetric case.

For a horizon route, continue from positive mass to the Riemannian Penrose inequality and then to quasi-local mass. The Schwarzschild equality condition $A=16\pi G^2M^2$ is the recurrent check. It applies to the outermost minimal boundary in a time-symmetric slice, not to every finite two-surface.

For a rotating or charged route, read the ADM hypotheses and then the mass–angular-momentum–charge page. Axisymmetry, maximality, topology, and the Einstein–Maxwell model are part of the theorem. Extreme Kerr–Newman saturates the coupled bound, but matter hair or higher-dimensional topology changes the problem rather than violating that theorem.

For a theorem-by-theorem lookup, see Positive Mass Theorems. The dated Penrose Inequality Beyond Time Symmetry assessment tracks developments outside the Riemannian theorem proved here.

Chapter review

An asymptotically flat, scalar-flat metric has negative ADM mass but contains a singular incomplete interior. A separate smooth, complete, asymptotically flat, time-symmetric data set has $R(h)\ge0$ and an outermost minimal boundary of area $A$. Which hypotheses prevent the first example from contradicting positivity, and what additional conclusion is available for the second?

Solution

Scalar flatness near the end and an ADM integral are not sufficient: the positive mass theorem also requires a complete regular global manifold, or an explicit admissible boundary variant. The singular negative-mass example fails that hypothesis. For the smooth complete time-symmetric data with $R(h)\ge0$ and an outermost minimal boundary, the Riemannian Penrose theorem adds $M_{\mathrm{ADM}}\ge\sqrt{A/(16\pi G^2)}$. Equality identifies the Schwarzschild exterior, subject to the theorem’s connectedness or multiple-component formulation.

References

• Eichmair, Michael, Lan-Hsuan Huang, Dan A. Lee, and Richard Schoen. “The Spacetime Positive Mass Theorem in Dimensions Less Than Eight.” Journal of the European Mathematical Society 18 (2016): 83–121. DOI.
• Schoen, Richard, and Shing-Tung Yau. “On the Proof of the Positive Mass Conjecture in General Relativity.” Communications in Mathematical Physics 65 (1979): 45–76. DOI.
• Schoen, Richard, and Shing-Tung Yau. “Proof of the Positive Mass Theorem. II.” Communications in Mathematical Physics 79 (1981): 231–260. DOI.
• Witten, Edward. “A New Proof of the Positive Energy Theorem.” Communications in Mathematical Physics 80 (1981): 381–402. DOI.

Further reading

• Dain, Sergio, and María Eugenia Gabach-Clement. “Geometrical Inequalities Bounding Angular Momentum and Charges in General Relativity.” Living Reviews in Relativity 21 (2018): 5. arXiv.
• Huisken, Gerhard, and Tom Ilmanen. “The Inverse Mean Curvature Flow and the Riemannian Penrose Inequality.” Journal of Differential Geometry 59 (2001): 353–437. Article.