Proof of the mass-angular momentum inequality for bi-axisymmetric black holes with spherical topology

We show that extreme Myers-Perry initial data realize the unique absolute minimum of the total mass in a physically relevant (Brill) class of maximal, asymptotically flat, bi-axisymmetric initial data for the Einstein equations with fixed angular momenta. As a conse-quence, we prove the relevant mass-angular momentum inequality in this setting for 5-dimensional spacetimes. That is, all data in this class satisfy the inequality where m and are the total mass and angular momenta of the spacetime. Moreover, equality holds if and only if the initial data set is isometric to the canonical slice of an extreme Myers-Perry black hole.