Penrose inequality

Penrose inequality
Name	Penrose inequality
Field	Mathematical physics
Introduced	1973
Introduced by	Roger Penrose
Related	Riemannian Penrose inequality, cosmic censorship conjecture, positive mass theorem

Penrose inequality The Penrose inequality is a conjectured geometric inequality relating the total mass of a spacetime to the area of black hole horizons; it connects ideas from Roger Penrose, Albert Einstein's theory of General relativity, and global analysis on Riemannian manifolds. Motivated by thought experiments involving gravitational collapse and the Cosmic censorship conjecture, the inequality sits at the intersection of Differential geometry, Geometric analysis, and mathematical aspects of Black hole thermodynamics and the Hawking area theorem.

Introduction

The inequality was proposed by Roger Penrose in 1973 in the context of attempts to formalize the intuitive content of the Cosmic censorship conjecture relating apparent horizon area to the ADM mass defined by Arnowitt, Deser, and Misner in Arnowitt–Deser–Misner formalism. Early motivations drew on results from the Positive energy theorem proven by Richard Schoen and Shing-Tung Yau and independent work by Edward Witten. The conjecture has spawned rigorous theorems, counterexamples in naive settings, and rich interactions with techniques developed by Gerard Huisken, Tom Ilmanen, and Hubert Bray.

Mathematical statement

In its classical Riemannian form one considers an asymptotically flat 3‑dimensional Riemannian manifold (initial data slice) with nonnegative scalar curvature and an outermost minimal surface whose connected components have total area A; the conjectured inequality bounds the ADM mass m by m ≥ sqrt(A / (16π)), with equality for the spatial Schwarzschild metric of mass m. This statement invokes notions from ADM mass, Scalar curvature, Minimal surface theory, and the geometry of the Schwarzschild metric and is often formulated for multiple horizon components using the combined area or individual component areas.

Physical motivation and heuristic derivations

Penrose’s physical argument used a Gedankenexperiment combining gravitational collapse, the formation of an apparent horizon, and the assumption of the Cosmic censorship conjecture to suggest that the end state is a stationary black hole obeying the No-hair theorem, specifically a Schwarzschild metric or Kerr metric depending on angular momentum. The heuristic derivation employs conservation of energy in the context of gravitational radiation, the monotonicity of horizon area per the Hawking area theorem, and appeals to variational principles familiar from Black hole thermodynamics and the First law of black hole mechanics.

Rigorous results and proofs

Significant rigorous progress includes the Riemannian Penrose inequality for a single horizon proved independently: Huisken and Ilmanen established the inequality for connected horizon components using the inverse mean curvature flow; Bray provided a different proof via conformal flow of metrics and comparison with the Schwarzschild manifold. These proofs build upon tools developed in the work of Gerard Huisken, Tom Ilmanen, Hubert Bray, and leverage foundational results from Richard Schoen, Shing-Tung Yau, and Edward Witten on positivity of mass. Extensions to multiple horizons, nonzero second fundamental form, and asymptotically hyperbolic settings remain active research topics addressed by authors such as Bray and Lee and others in geometric analysis.

Special cases and examples

Canonical equality cases occur for the spatial slices of the Schwarzschild metric and certain time-symmetric slices of isolated black holes; explicit computations verify equality for the spatial Schwarzschild family. Counterexamples or obstructions arise when one relaxes hypotheses such as nonnegative scalar curvature or outermost minimality, with constructions drawing on techniques used in examples by researchers in geometric topology and mathematical relativity. Model calculations also consider charged analogues related to the Reissner–Nordström metric and rotating settings invoking properties of the Kerr metric.

Methods and techniques

Key techniques include inverse mean curvature flow introduced and exploited by Gerard Huisken and Tom Ilmanen, conformal flow methods developed by Hubert Bray, monotonic quantities like Hawking mass and Geroch mass, and comparison geometry arguments connected to the Positive mass theorem. Analytical tools come from elliptic partial differential equations, geometric measure theory as used in Federer and De Giorgi schools, minimal surface regularity theory stemming from Osserman and Schoen–Yau developments, and spinor methods inspired by Edward Witten’s proof of the positive energy theorem.

Open problems and conjectures

Remaining open problems include proofs of the full Lorentzian Penrose inequality without symmetry or time-symmetric reductions, extensions accommodating angular momentum and charge that precisely capture the Kerr–Newman family extremal bounds, and clarifying the role of cosmic censorship assumptions in the conjecture’s validity. Other conjectural directions ask for sharp inequalities in asymptotically hyperbolic geometries, stability or rigidity results characterizing near-equality cases, and connections to quasi-local mass proposals from communities working on Brown–York mass and Bartnik mass. Progress in these directions intersects active programs pursued by researchers in Mathematical relativity, Geometric analysis, and global differential geometry.

Category:Mathematical relativity