THE UNIQUENESS THEOREM FOR ROTATING BLACK HOLE SOLUTIONS OF SELF-GRAVITATING HARMONIC MAPPINGS

We consider rotating black hole configurations of self-gravitating maps from spacetime into arbitrary Riemannian manifolds. We first establish the integrability conditions for the Killing fields generating the stationary and the axisymmetric isometry (circularity theorem). Restricting ourselves to mappings with harmonic action, we subsequently prove that the only stationary and axisymmetric, asymptotically flat black hole solution with regular event horizon is the Kerr metric. Together with the uniqueness result for non-rotating configurations and the strong rigidity theorem, this establishes the uniqueness of the Kerr family amongst all stationary black hole solutions of self-gravitating harmonic mappings.