Proof of the angular momentum-mass inequality for axisymmetric black hole

Abstract

We prove that an extreme Kerr initial data set is a unique absolute minimum of the total mass in a (physically relevant) class of vacuum, maximal, asymptotically flat, axisymmetric data for Einstein equations with fixed angular momentum. These data represent non-stationary, axially symmetric black holes.