The Riemannian Penrose Inequality

The Riemannian Penrose inequality strengthens positive mass by placing a lower bound on the ADM mass in terms of an outermost minimal boundary. In a three-dimensional, complete, asymptotically flat Riemannian manifold of nonnegative scalar curvature, an outermost horizon of area $A$ requires enough mass to enclose it: $M_{\mathrm{ADM}}\ge\sqrt{A/(16\pi G^2)}$.

Equality characterizes a spatial Schwarzschild exterior. The proof is not a local estimate at the horizon; it carries area information to infinity through a monotone geometric flow.

Required background. Analysis for Mathematical Relativity supplies weak-flow compactness, Hypersurfaces and Foliations supplies mean curvature, Curvature supplies Gauss identities, and Einstein Equations supplies the time-symmetric constraint.

Helpful background. Causality and Global Structure gives the horizon interpretation, while Partial Differential Equations and Green Functions supports the elliptic and variational formulations of geometric flow.

The mass–area theorem

Let $(\Sigma,h)$ be a smooth, complete, asymptotically flat three-manifold with one distinguished end, $R(h)\ge0$, and compact outermost minimal boundary $\partial\Sigma$. In the connected-horizon version, let $A=|\partial\Sigma|_h$. Then

$$G M_{\mathrm{ADM}}\ge\sqrt{\frac{A}{16\pi}}.$$

This form retains $G$: $GM$ is a length and $A^{1/2}$ is a length. If equality holds, the region exterior to the boundary is isometric to the $t=\mathrm{constant}$ Schwarzschild slice outside its minimal sphere. The inverse-mean-curvature result, including connectedness and weak-flow hypotheses, is proved in Huisken and Ilmanen 2001, Main Theorem and §§1–4, pp. 355–401.

For several boundary components, one must state which area enters and which proof applies. Bray’s conformal-flow theorem handles the total area of the outermost minimal boundary under its hypotheses; see Bray 2001, Theorem 1 and §§2–5, pp. 178–220. The connected inverse-mean-curvature statement must not be silently substituted for that more general boundary configuration.

Hawking mass and smooth monotonicity

For a closed surface $S$ with area $|S|$ and mean curvature $H$ in the Riemannian slice, define the Hawking mass

$$m_H(S)=\frac{1}{G}\sqrt{\frac{|S|}{16\pi}} \left(1-\frac{1}{16\pi}\int_S H^2\,dA\right).$$

On a minimal surface, $H=0$, so $m_H(S)=G^{-1}\sqrt{|S|/(16\pi)}$. Where $H\gt0$, a smooth inverse mean curvature flow moves the surface with outward normal speed $H^{-1}$. Write $A(t)=|S_t|$, let $B$ be its second fundamental form, and let $\mathring B=B-\tfrac12H\gamma$ be its trace-free part. The first-variation formulas give

$$\partial_t dA=dA, \qquad \partial_tH=-\Delta_{S_t}(H^{-1}) -\frac{|B|^2+\operatorname{Ric}_h(\nu,\nu)}{H}.$$

Thus $A'=A$: the flow parameter is logarithmic area, rather than proper distance. Differentiating $m_H$, integrating the Laplacian term by parts, and using the Gauss equation gives the Geroch formula

$$G\frac{dm_H}{dt} =\frac{\sqrt A}{(16\pi)^{3/2}} \left[ 4\pi(2-\chi(S_t)) +\int_{S_t}\left( 2\frac{|\nabla H|^2}{H^2} +|\mathring B|^2+R(h) \right)dA \right].$$

Here $\chi(S_t)$ is the Euler characteristic, and Gauss–Bonnet supplies $\int_{S_t}R_{S_t}dA=4\pi\chi(S_t)$. For a connected orientable surface, $\chi\le2$, so every contribution on the right is nonnegative. This also shows why connectedness matters: for a disjoint union of two spheres, $\chi=4$, and the topological term has the wrong sign for this argument.

The rigorous asymptotic statement needed by the weak-flow proof is an upper comparison, not an assumed equality for every family of surfaces:

$$m_H(S_0)\le\lim_{t\to\infty}m_H(S_t)\le M_{\mathrm{ADM}}.$$

The last inequality is Huisken and Ilmanen 2001, Asymptotic Comparison Lemma 7.4, p. 416 (PDF). It is enough to transport the initial horizon area to infinity. Centered Schwarzschild spheres saturate both steps, but one does not need to prove equality of the two masses at infinity for a general weak flow.

Weak flow and jumps

Smooth inverse mean curvature flow generally develops singularities and cannot be assumed to foliate the exterior. Huisken and Ilmanen replace it by a level- set function $u$ whose weak equation is

$$\operatorname{div}\left(\frac{\nabla u}{|\nabla u|}\right)=|\nabla u|.$$

Level sets may jump across regions; the variational formulation selects outward-minimizing hulls. The proof shows that the relevant Hawking mass does not decrease across these jumps. Outermost minimality is what prevents an uncontrolled inner competitor and starts the weak flow at the correct hull. Weak compactness, regularity of level sets, and the comparison of the terminal Hawking mass with ADM mass are essential parts of the proof architecture, not details hidden by the smooth variation formula.

Bray’s alternative conformal flow deforms the metric rather than moving one surface. It preserves horizon area, decreases ADM mass, and tends after rescaling to Schwarzschild. Positive mass controls the doubled or conformally modified geometry at each stage. The two approaches therefore use different monotone quantities and handle disconnected boundaries differently.

Equality and Schwarzschild check

For the spatial Schwarzschild metric

$$h=\left(1+\frac{GM}{2r}\right)^4 (dr^2+r^2d\Omega^2),$$

the minimal sphere lies at $r=GM/2$. Its areal radius is $2GM$, hence $A=16\pi G^2M^2$ and the inequality is saturated. Along the spherical inverse mean curvature flow, $m_H$ is constant and equal to $M$. Equality in the general proof forces all nonnegative variation terms to vanish, producing the Schwarzschild exterior.

The zero-mass positive theorem is recovered only when there is no positive-area horizon boundary. For an arbitrary interior minimal surface, the relevant theorem cannot simply be applied to its area: one must first check the outermost or outer-minimizing hypothesis and use the boundary selected by the applicable theorem. Failure of a hypothesis alone is not a constructed counterexample to the numerical inequality.

Scope and limitations

This is the time-symmetric Penrose inequality. General initial data have $K\ne0$; apparent horizons are then marginally outer trapped rather than minimal, and the full spacetime Penrose inequality remains substantially more difficult. Axisymmetry, charge, or angular momentum lead to other inequalities with additional hypotheses. No claim here identifies an arbitrary apparent- horizon area with the event-horizon area.

The proof also does not derive the inequality from cosmic censorship. The heuristic censorship argument motivates the bound by comparing initial area with a final stationary black hole, but it assumes a regular evolution and settling statement not supplied by the Riemannian theorem. Geometric flow is valuable precisely because it proves the time-symmetric inequality directly, without presupposing that dynamical scenario.

Finally, the area is that of the outermost minimal boundary in the initial Riemannian metric. It is not the area of a coordinate sphere, and replacing it by the sum of arbitrary interior minimal components can violate the hypotheses needed by the monotonicity argument. The outer-minimizing hull is the geometric object that survives weak-flow jumps and connects cleanly to the asymptotic end.

The theorem is also asymptotically flat and three-dimensional. Multiple ends, corners, low regularity, and disconnected horizons require their own precise variants. Monotonicity of one quasi-local mass along one flow does not prove a universal ordering of all quasi-local masses.

Check the equality case

Verify that the Schwarzschild minimal sphere at isotropic radius $GM/2$ has area $16\pi G^2M^2$ and therefore saturates the bound.

Solution

The areal radius of an isotropic sphere is $R=r(1+GM/(2r))^2$. At $r=GM/2$, the conformal factor inside parentheses is $2$, so $R=(GM/2)\,4=2GM$. Therefore $A=4\pi R^2=16\pi G^2M^2$, and $\sqrt{A/(16\pi G^2)}=M$. The equality is dimensionally consistent because $GM$ has units of length.

Check what smooth flow misses

Why can the smooth calculation above neither start directly at $H=0$ nor prove Bray’s total-area inequality by flowing all horizon components at once?

Solution

The prescribed speed $H^{-1}$ is undefined at a minimal horizon; the weak formulation or a controlled limiting construction supplies the start. Furthermore, $N$ disjoint spherical components have $\chi=2N$. When $N\gt1$, $4\pi(2-\chi)=8\pi(1-N)$ is negative, so the displayed formula does not establish monotonicity of the Hawking mass formed using their total area. A different argument is needed; Bray’s conformal flow provides it.

References

• Bray, Hubert L. “Proof of the Riemannian Penrose Inequality Using the Positive Mass Theorem.” Journal of Differential Geometry 59 (2001): 177–267. Article.
• Huisken, Gerhard, and Tom Ilmanen. “The Inverse Mean Curvature Flow and the Riemannian Penrose Inequality.” Journal of Differential Geometry 59 (2001): 353–437. Article.

Dated Research assessment. For open questions and recent results, follow the link below. Each assessment states the date through which it considers results and the limits of its conclusions.

• The Penrose Inequality Beyond Time Symmetry