The Mass-Angular Momentum Inequality for Multiple Black Holes

Abstract

This is the second in a series of two papers to address the conjectured mass-angular momentum inequality for multiple black holes. Our main result has two parts. In the first part, it is shown that either there is a counterexample to black hole uniqueness, in the form of a regular axisymmetric stationary vacuum spacetime with an asymptotically flat end and multiple degenerate horizons which is `ADM minimizing', or the following statement holds. Complete, simply connected, maximal initial data sets for the Einstein equations with multiple ends that are either asymptotically flat or asymptotically cylindrical, admit an ADM mass lower bound given by the square root of total angular momentum, under the assumption of nonnegative energy density and axisymmetry. Moreover, equality is achieved in this mass lower bound only for a constant time slice of an extreme Kerr spacetime. Consequently, due to the nonexistence of stationary vacuum two-black hole configurations, the mass-angular momentum conjecture is verified for two black holes. In the second part, the mass-angular momentum inequality is established unconditionally, but with a suboptimal constant of $\frac{1}{2}$. The proof is based on a novel flow of singular harmonic maps with hyperbolic plane target, under which the renormalized harmonic map energy is monotonically nonincreasing. Relevant properties of the flow are achieved through a refined asymptotic analysis of solutions to the harmonic map equations and their linearization. Additionally, we establish and utilize the Penrose inequality for manifolds with asymptotically cylindrical ends.