  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.
