Black-Hole Rigidity and Uniqueness

Black-hole rigidity and uniqueness form a chain of conditional results. Rigidity supplies an additional Killing field, staticity selects a static branch, and circularity plus harmonic-map uniqueness classify an already stationary-axisymmetric exterior. No single row says that every stationary black hole is Kerr or Kerr–Newman.

Detailed treatment. Stationary Rigidity and Black-Hole Uniqueness develops the symmetry, static, orbit-space, and classification steps and their failure boundaries.

Rigidity and classification by hypothesis

Here $I^+$-regularity is a global package: the stationary Killing flow is complete, the domain of outer communications is globally hyperbolic, and it contains an acausal spacelike hypersurface whose compact interior boundary meets every generator of the future event horizon once. It cannot be replaced by the phrase “regular horizon.”

Result	Dimension, theory, and hypotheses	Typed conclusion and limitation
Static vacuum uniqueness	Four-dimensional, asymptotically flat static vacuum spacetime; a complete regular static slice with compact horizon boundary. Multiple boundary components are not excluded at the start.	The exterior is Schwarzschild, and a regular multiple-static-black-hole configuration is ruled out. This is a static vacuum theorem, not stationary electrovacuum uniqueness Bunting and Masood-ul-Alam 1987, complete theorem and proof, pp. 147–154.
Analytic stationary electrovacuum	Four-dimensional, analytic, stationary, asymptotically flat, $I^+$-regular electrovacuum; the Maxwell field inherits stationarity and has the stated decay; the event horizon is connected and mean nondegenerate. Axisymmetry is obtained through the analytic rigidity chain rather than assumed at the first step.	The domain of outer communications is Kerr–Newman. With several horizon components, the argument produces a Weinstein candidate, not a theorem that the exterior is one regular Kerr–Newman solution Costa 2010, Definition 1.2 and Theorem 1.3, pp. 2–3.
Connected rotating degenerate electrovacuum	Four-dimensional, analytic, stationary, asymptotically flat, $I^+$-regular electrovacuum with a connected, rotating, degenerate future event horizon.	The domain of outer communications is that of a Kerr–Newman spacetime. This closes only this extremal branch; analyticity, connectedness, rotation, electrovacuum, and global regularity remain Chruściel and Nguyen 2010, Theorem 1.1, p. 1.
Smooth local horizon rigidity	Smooth four-dimensional vacuum geometry near a regular bifurcate nonexpanding horizon; for the rotational statement, a stationary Killing field satisfying the theorem’s horizon conditions is also present.	A Hawking Killing field exists in a neighborhood of the bifurcation surface, and the stationary case supplies a local commuting rotational field. The result is local: it neither creates a global $U(1)$ action nor proves Kerr uniqueness Alexakis, Ionescu, and Klainerman 2010, Theorems 1.1–1.2, pp. 1–3.
Smooth global near-Kerr uniqueness	Smooth four-dimensional stationary asymptotically flat vacuum black hole with the paper’s global-regularity and bifurcation-sphere packages and a quantitatively small Mars–Simon tensor.	The exterior is Kerr. Analyticity is removed only perturbatively; vacuum, a connected nondegenerate bifurcate horizon, and near-Kerr smallness remain essential Alexakis, Ionescu, and Klainerman 2010, § 1.1 and Main Theorem.

An authoritative review synthesis separates the analytic stationary theorem from the already-axisymmetric elliptic step: rigidity and staticity must first reach either a static exterior or a global axial action, after which circularity and orbit-space boundary data enter the harmonic-map comparison Chruściel, Costa, and Heusler 2012, Theorem 3.3 and §§ 6–8, pp. 15–17 and 27–47. An axisymmetric uniqueness proof therefore cannot by itself globalize a locally constructed Killing field.

Connectedness, matter, dimension, and asymptotics

Connectedness behaves differently in different branches. Static vacuum uniqueness rules out multiple regular components rather than assuming one. Costa’s stationary electrovacuum theorem instead requires connectedness for the Kerr–Newman conclusion, and the degenerate theorem retains it. None of these statements classifies a general disconnected stationary exterior.

Dimension four is indispensable. Five-dimensional asymptotically flat vacuum black rings have horizon topology $S^1\times S^2$ and overlap spherical black holes in conserved charges, so they are an exact counterexample to a dimension-blind charge-only classification Emparan and Reall 2002, complete construction and parameter comparison, pp. 101101-1–4. They do not contradict a theorem fixed to four dimensions.

The matter model is equally substantive. Four-dimensional stationary spinning black holes with a massive complex scalar field provide a numerical hairy family overlapping Kerr in global charges Herdeiro and Radu 2014, main construction and Figs. 1–3, pp. 221101-1–5. The scalar does not obey the electrovacuum assumptions or the same symmetry-inheritance package, so this is a boundary of the theorem, not a counterexample to it.

Finally, every global classification row here is asymptotically flat. AdS or de Sitter boundary conditions change the charges, conformal boundary, horizon topologies, and elliptic boundary data; no row above supplies their classification. Likewise, local smooth rigidity is not a general smooth global theorem, and the near-Kerr result cannot be cited after dropping its smallness hypothesis.

References

• Alexakis, Spyros, Alexandru D. Ionescu, and Sergiu Klainerman. “Hawking’s Local Rigidity Theorem Without Analyticity.” Geometric and Functional Analysis 20 (2010): 845–869. DOI.
• Alexakis, Spyros, Alexandru D. Ionescu, and Sergiu Klainerman. “Uniqueness of Smooth Stationary Black Holes in Vacuum: Small Perturbations of the Kerr Spaces.” Communications in Mathematical Physics 299 (2010): 89–127. DOI.
• Bunting, Gary L., and A. K. M. Masood-ul-Alam. “Nonexistence of Multiple Black Holes in Asymptotically Euclidean Static Vacuum Space-Time.” General Relativity and Gravitation 19 (1987): 147–154. DOI.
• Chruściel, Piotr T., and Luc Nguyen. “A Uniqueness Theorem for Degenerate Kerr–Newman Black Holes.” Annales Henri Poincaré 11 (2010): 585–609. DOI.
• Chruściel, Piotr T., João Lopes Costa, and Markus Heusler. “Stationary Black Holes: Uniqueness and Beyond.” Living Reviews in Relativity 15 (2012): 7. DOI.
• Costa, João Lopes. “On the Classification of Stationary Electro-Vacuum Black Holes.” Classical and Quantum Gravity 27 (2010): 035010. DOI.
• Emparan, Roberto, and Harvey S. Reall. “A Rotating Black Ring Solution in Five Dimensions.” Physical Review Letters 88 (2002): 101101. DOI.
• Herdeiro, Carlos A. R., and Eugen Radu. “Kerr Black Holes with Scalar Hair.” Physical Review Letters 112 (2014): 221101. DOI.