Angular Momentum Penrose Inequality

• The paper establishes a sharp lower bound on the ADM mass by combining horizon area and angular momentum, with equality only for Kerr initial data.
• It employs an axisymmetric Jang equation with twist and angular-momentum modified Lichnerowicz bounds, ensuring mass monotonicity via the AMO flow.
• The result reinforces cosmic censorship and black hole thermodynamics by characterizing rigidity when equality is achieved, aligning with Kerr uniqueness.

The Angular Momentum Penrose Inequality provides a sharp lower bound on the ADM mass of a spacetime, incorporating both the horizon area and the angular momentum of a black hole, generalizing the classic Penrose inequality to axisymmetric, rotating settings. Precisely, for asymptotically flat, axisymmetric, vacuum initial data satisfying the dominant energy condition, and with outermost marginally outer trapped surfaces (MOTS) of area $A$ and Komar angular momentum $J$, the inequality

$$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$

holds, with equality if and only if the data arise from a spatial slice of the Kerr spacetime with parameters $(M = M_{ADM},\, a = J/M)$ (Xu, 7 Dec 2025). This result marks the first geometric inequality incorporating both horizon area and angular momentum in vacuum general relativity.

1. Geometric and Physical Framework

The Angular Momentum Penrose Inequality concerns initial data $(M^3,g,K)$ for the vacuum Einstein equations:

• $M^3$: Asymptotically flat 3-manifold.
• $g$: Riemannian metric.
• $K$: Symmetric 2-tensor related to extrinsic curvature.
• Axisymmetry: Existence of a Killing field $\eta = \partial_\phi$, generating an $S^1$-action leaving $J$0 invariant.
• Vacuum constraint: In the exterior of the MOTS, energy density $J$1, and momentum density $J$2.
• Dominant energy condition: $J$3, with

$J$4

• ADM mass:

$J$5

• Horizon area: The outermost stable MOTS $J$6 has area $J$7.
• Komar angular momentum:

$J$8

which agrees with the ADM angular momentum for vacuum exterior data.

2. Structure and Proof Strategy

The proof synthesizes four core components:

1. Axisymmetric Jang Equation with Twist: By solving the Jang equation in axisymmetry, with twist appearing as a controllably lower-order perturbation, the construction allows for barrier arguments near the horizon, since the twist decays sufficiently fast as the signed distance to $J$9 vanishes. This step ensures the blow-up behavior required to match the physical horizon and produces a conformally related metric with nonnegative scalar curvature (Xu, 7 Dec 2025).
2. Conformal Factor Bounds via Divergence Identities: Solving an angular-momentum modified Lichnerowicz equation on the Jang manifold gives control over the conformal factor $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$0, enforcing $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$1. The conformally related metric $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$2 then has $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$3, preserving mass monotonicity and facilitating analysis in the context of positive scalar curvature.
3. Conservation of Angular Momentum: The momentum constraint, in combination with axisymmetry, leads to a closed Komar 1-form. By Stokes' theorem, the Komar angular momentum remains constant on all level sets $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$4 of the p-harmonic potential flow (Agostiniani–Mazzieri–Oronzio [AMO] flow) (Xu, 7 Dec 2025).
4. Area-Angular Momentum Inequality and Monotonicity: Invoking the Dain–Reiris area-angular momentum inequality, which states $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$5 for axisymmetric, vacuum, stable MOTS (Aceña et al., 2010), and showing monotonicity of the area-angular momentum functional

$$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$6

along the AMO flow, the ADM mass at infinity bounds $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$7 from above, yielding the main inequality.

3. Rigidity and Equality Characterization

Rigidity is achieved only for data arising from slices of Kerr spacetime. Equality in the inequality implies vanishing derivative of the area-angular momentum functional across the flow, thus requiring:

• $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$8 (contrapositive for positive mass theorem)
• Level sets are totally umbilic
• Stationarity and axisymmetry, with vanishing transverse-traceless $$M_{ADM} \ge \sqrt{\frac{A}{16\pi} + \frac{4\pi J^2}{A}}$$9

The Carter–Robinson uniqueness theorem then enforces identification with Kerr for $(M = M_{ADM},\, a = J/M)$0; if $(M = M_{ADM},\, a = J/M)$1, the Bunting–Masood-ul-Alam theorem gives that the data must be Schwarzschild.

4. Relation to Other Penrose-Type and Horizon Inequalities

The global Angular Momentum Penrose Inequality strengthens and generalizes several earlier results:

• Area-Angular Momentum Inequalities: For vacuum axisymmetric horizons, it is rigorously established that $(M = M_{ADM},\, a = J/M)$2, with equality iff the cross-section is extreme Kerr (Aceña et al., 2010, Jaramillo et al., 2011).
• Mass-Angular Momentum Inequalities: $(M = M_{ADM},\, a = J/M)$3, with rigidity only for extreme Kerr slices (Cha et al., 2014, Han et al., 25 Jan 2025).
• Area-Mass-Angular Momentum Bounds: For maximal axisymmetric initial data, $(M = M_{ADM},\, a = J/M)$4 (Cha et al., 2014).
• Charge Extensions: In the Einstein-Maxwell setting, further terms in $(M = M_{ADM},\, a = J/M)$5 (charge) enter, leading to inequalities such as $(M = M_{ADM},\, a = J/M)$6, with rigidity for Kerr–Newman slices (Khuri et al., 2019, Jaracz et al., 2018, Schoen et al., 2012).

5. Implications for Cosmic Censorship, Thermodynamics, and Observational Astrophysics

• Cosmic Censorship: The inequality prohibits formation of naked singularities in axisymmetric vacuum collapse; violations would require either $(M = M_{ADM},\, a = J/M)$7 or $(M = M_{ADM},\, a = J/M)$8, both precluded by sub-extremality (Xu, 7 Dec 2025).
• Black Hole Thermodynamics: Interpreting $(M = M_{ADM},\, a = J/M)$9 as entropy and $(M^3,g,K)$0 as energy, the bound generalizes the second law for rotating black holes, identifying the lowest achievable mass for specified horizon data.
• Gravitational Wave Observations: In numerical relativity and LIGO/Virgo event analysis, measurement of remnant black hole horizon area and spin can be combined via this inequality, setting a theoretical lower bound on mass for comparison with observational values. Deviations may suggest non-vacuum effects or new physics (Xu, 7 Dec 2025).

6. Extensions, Open Problems, and Numerical Investigations

Extensions and open directions include:

• Inclusion of electromagnetic charge ($(M^3,g,K)$1) for non-vacuum settings (Khuri et al., 2019, Jaracz et al., 2018).
• Generalization beyond axisymmetry, accommodating non-axisymmetric perturbations or multiple horizons.
• Dynamic and time-dependent horizon settings, such as apparent horizon evolution in gravitational collapse (An et al., 16 May 2025, An et al., 16 May 2025).
• Numerical investigations highlight the subtlety of formulating Penrose-type bounds in terms of total ADM angular momentum; only quasilocal expressions in terms of horizon (Komar) angular momentum yield universally valid inequalities, whereas total ADM angular momentum admits counterexamples in matter-rich, extended systems (Kulczycki et al., 2020).

7. Broader Theoretical Impact

The Angular Momentum Penrose Inequality establishes a new paradigm in geometric analysis for black holes:

• It advances the geometric characterization of black holes in the context of initial data sets bearing rotation.
• It underpins the analytic structure of spacetime singularity avoidance, the mass-energy content encoded in initial data, and the quasi-local nature of conserved quantities in general relativity.
• Through the AMO flow and harmonic map energy methods, it bridges geometric analysis, partial differential equations, and Lorentzian geometry, providing the foundation for future investigations of more general Penrose-type bounds.

These developments set the stage for rigorous connections between the fundamental physical constraints imposed by general relativity and observational tests in high-energy astrophysics.