A Penrose-Type Inequality with Angular Momenta for Black Holes with 3-Sphere Horizon Topology

We establish a Penrose-type inequality with angular momentum for four-dimensional, biaxially symmetric, maximal, asymptotically flat initial datasets (M, g, k) for the Einstein equations with fixed angular momenta and horizon inner boundary associated to a 3-sphere outermost minimal surface. Moreover, equality holds if and only if the initial dataset is isometric to a canonical time slice of a stationary Myers-Perry black hole.