Limits of No-Hair and Classification

Black-hole classification is a collection of conditional results, not a claim that every stationary horizon in every gravitational theory is fixed by three numbers. The four-dimensional asymptotically flat Einstein–Maxwell theorem is exceptionally strong within its domain. Matter fields, boundary conditions, dimension, horizon connectedness, or regularity can change the boundary-value problem and its solution space. This page compares those changes as of 2026-08-31 and separates proved classification, constructed solutions, and open formulations.

Required background. Killing Fields and Isometry Groups supplies stationarity, axisymmetry, and symmetry inheritance.

Helpful background. Exact Solutions of Einstein’s Equations supplies benchmark families; Causality and Global Structure supplies the domain of outer communications; The Einstein Equation identifies which field equations are being classified; and Mathematical Relativity supplies rigorous rigidity and uniqueness methods.

Classification begins with a fixed formulation

A meaningful classification question fixes at least eight coordinates: the spacetime dimension; gravitational and matter theory; asymptotic class; regularity; allowed global topology and number of horizon components; boundary conditions at the horizon, axis, and infinity; observables held fixed; and whether the claim concerns exact solutions or an approximation. Changing one coordinate creates a different problem. Calling the resulting freedom “hair” can be useful shorthand only after these choices are stated.

In four-dimensional Einstein–Maxwell theory, the benchmark result assumes an analytic, asymptotically flat, stationary, $I^+$-regular exterior with a connected horizon satisfying the stated rotating or mean-nondegenerate alternative. The exterior is Kerr–Newman. The precise result and the nearby smooth, degenerate, and disconnected qualifications are given in Chruściel, Costa, and Heusler 2012, §§3.3.2–3.4, especially Theorem 3.3. This is a theorem about exact stationary exteriors, not a benchmark fit and not a theorem of dynamical formation.

In that sentence, $I^+$-regularity includes a complete stationary flow, a globally hyperbolic exterior, and a controlled acausal slice through the relevant horizon generators. Mean nondegeneracy means a nonzero averaged Gaussian-null horizon coefficient on a smooth compact section; after rigidity makes the horizon Killing, it becomes the familiar condition $\kappa\ne0$ Chruściel, Costa, and Heusler 2012, §§2.4–2.5.3, Definition 2.1 and equations (2.20)–(2.21).

Comparison by hypothesis

Formulation	What is established	What changed
Four-dimensional, asymptotically flat, analytic Einstein vacuum or electrovacuum; connected regular horizon	Kerr or Kerr–Newman classification under the global hypotheses	This is the reference theorem, not a counterexample class.
Four-dimensional, asymptotically flat, axisymmetric stationary vacuum; finite mixed horizon rods; $J_i\ne0$ on every degenerate component	Every bounded axis rod has negative logarithmic angle defect, so no regular balanced configuration with $N\gt1$ exists in this class	Connectedness is a conclusion of the vacuum balance theorem; axisymmetry, vacuum, rod regularity, and the degenerate-component condition remain hypotheses.
Four-dimensional smooth stationary vacuum or electrovacuum without assumed analyticity	Local rigidity and near-Kerr uniqueness are known in important regimes; the fully general route remains unresolved	Regularity and the extension of a local rotational symmetry to the whole exterior.
Einstein–Yang–Mills theory	Static colored black holes have a nonzero exterior gauge field even when global Yang–Mills charge vanishes	The matter equations and admissible field data.
Einstein gravity with a massive complex scalar	Regular asymptotically flat rotating solutions with synchronized scalar hair exist	The matter model and symmetry-inheritance condition; a Noether charge supplies additional data.
Five-dimensional vacuum gravity	Myers–Perry holes, black rings, and composite configurations can share asymptotic conserved charges without being isometric	Dimension, horizon topology, and interval data.
Einstein–Maxwell with several degenerate horizon components	Majumdar–Papapetrou multicentre exteriors occur in the static branch	Connectedness and degeneracy.
Asymptotically anti-de Sitter, de Sitter, or Kaluza–Klein settings	Distinct families and boundary-value problems occur; no asymptotically flat conclusion transfers automatically	Cosmological constant, conformal boundary data, or compact asymptotic directions.

The rotating vacuum balance problem after 2026

Disconnected horizons require more than separately regular horizon components: every segment of the rotation axis between them must also be free of a conical defect. Han, Khuri, Weinstein, and Xiong study a finite stationary vacuum rod structure in which nondegenerate horizons are intervals and degenerate horizons are punctures. If $N\gt1$ and every degenerate component has $J_i\ne0$—with no angular-momentum condition on nondegenerate rods—their 2026 preprint theorem proves

$$b_j\lt0, \qquad \mathcal F_j=\frac14\left(e^{-b_j}-1\right)\gt0, \qquad 2\le j\le N,$$

on every bounded axis rod. A regular axis would have $b_j=0$. The theorem therefore excludes regular balanced multi-black-hole configurations in this axisymmetric, stationary, asymptotically flat vacuum class Han, Khuri, Weinstein, and Xiong 2026, §1, Theorem 1.1, pp. 2–4, Open PDF. The Kerr benchmark page develops the rod geometry and the strict sign argument visually.

Axisymmetry is an input to the balance theorem. Under the standard analytic, asymptotically flat, $I^+$-regular rigidity hypotheses, a rotating component supplies it; the balance theorem then forces connectedness, after which the classical theorem gives Kerr Han, Khuri, Weinstein, and Xiong 2026, discussion after Theorem 1.1, p. 4, Open PDF. This does not close the general smooth stationarity-to-global-axisymmetry problem. It also does not cover electrovacuum, matter, nonzero $\Lambda$, higher dimensions, or the excluded case of a degenerate component with $J_i=0$. “Outside the theorem” means unclassified here, not known to exist.

The smooth-without-analyticity row is a genuine theorem frontier, not a known smooth counterexample. Hawking rigidity without analyticity is available locally near appropriate horizons, and perturbative uniqueness controls sufficiently near-Kerr vacuum solutions, but those statements do not yet replace every global analytic step in the general classification. The distinction between local and global axial Killing fields is essential.

The next two rows are genuine solutions in enlarged matter theories. Einstein–Yang–Mills colored black holes show that asymptotic gauge charge need not record all exterior field structure; Chruściel, Costa, and Heusler 2012, §5.1 reviews the construction, rigorous existence results, and instability. Instability affects physical persistence, but it does not erase a stationary solution from the classification problem.

For a complex scalar of the form $\Psi=\phi(r,\theta)e^{i(m\varphi-\omega t)}$, the scalar need not inherit $T=\partial_t$ and $\Phi=\partial_\varphi$ separately. Its stress tensor is stationary and axisymmetric, while regularity at the horizon imposes the synchronization condition

$$\omega=m\Omega_H.$$

That condition permits rotating scalar hair and an additional conserved Noether charge. The assumptions behind familiar scalar no-hair arguments and the synchronized solutions are compared in Herdeiro and Radu 2015, §§3–5. These solutions do not contradict Kerr electrovacuum uniqueness: their stress-energy is not vacuum or Maxwell stress-energy.

Higher dimension changes even the vacuum answer. In five dimensions, a spherical Myers–Perry horizon and a black ring can carry the same mass and angular momenta, and distinct rings can share those charges. Emparan and Reall 2008, §§5–6 develops the ring families and resulting nonuniqueness. The lesson is not that the four-dimensional theorem failed, but that dimension and horizon topology were among its hypotheses.

What additional data should count as hair?

Three notions should not be conflated. Primary hair introduces an independent parameter not fixed by the asymptotic charges already used to label the reference family. Secondary hair is a nontrivial exterior field whose amplitude is fixed by those charges or regularity. An environmental distortion comes from matter or boundary data outside the isolated system. All can alter local observables, but they answer different classification questions.

Likewise, a multipole deviation is not automatically a new exact solution. It may describe a perturbative parametrization, a numerical spacetime with specified convergence, or an effective model outside the field equations. Before interpreting it as hair, ask which equations and boundary conditions it satisfies, whether the horizon and axis are regular, and whether the extra quantity is invariant and independently adjustable.

Open questions in stationary classification

At the cutoff date, major formulation choices remain consequential: replacing analyticity by minimal smoothness in general stationary rigidity; extending multi-component nonexistence beyond the axisymmetric asymptotically flat vacuum rod class; treating electrovacuum, nonzero $\Lambda$, or a degenerate component with $J_i=0$; and relating existence to nonlinear stability and formation. The last item is logically separate: a uniqueness theorem can hold without a settling theorem, and an unstable hairy solution can exist without being a generic endpoint.

Two kinds of result could change these conclusions: a strengthened smooth uniqueness theorem closes the global analyticity-free four-dimensional vacuum or electrovacuum problem under precisely stated hypotheses, or a new regular stationary counterexample is established in a fixed theory and asymptotic class previously covered by a classification claim. Any revised or peer-reviewed successor to the 2026 vacuum balance preprint must be compared using its precise theorem and hypotheses. A numerical branch alone must state equations, boundary conditions, resolution and convergence before it can trigger the second event.

Diagnose a purported refutation

A paper presents a four-dimensional, asymptotically flat, stationary rotating black hole with a massive complex scalar and says it “refutes Kerr uniqueness.” The metric and stress tensor are stationary and axisymmetric, but the scalar has harmonic time and azimuthal dependence. What is wrong with the claim, and what would make the result a well-posed classification statement?

Solution

The solution may be valid, but the claimed refutation compares different theories. Kerr uniqueness classifies vacuum exteriors; a nonzero scalar stress-energy violates that hypothesis. The scalar also illustrates why symmetry inheritance must be specified: its phase varies under $T$ and $\Phi$, although its stress tensor inherits both symmetries and the field is constant along the horizon generator when $\omega=m\Omega_H$.

A precise statement would fix Einstein gravity coupled to a massive complex scalar, asymptotic flatness, regularity, connectedness, the scalar boundary conditions, and the definition of stationarity. It would list $M$, $J$, and the Noether charge, say whether the branch is exact or numerical, and for a numerical branch give convergence evidence. Existence establishes failure of vacuum-style charge-only classification in the enlarged theory; stability and formation require separate evolution analyses.

Test a proposed two-hole balance

A proposed $N=2$ asymptotically flat, axisymmetric stationary vacuum configuration has two nondegenerate horizon rods and a regular bounded axis between them. Which statements are incompatible? What can be concluded if the system is electrovacuum, if global axisymmetry has not been established, or if one component is degenerate with $J_i=0$?

Solution

Because both horizons are nondegenerate, the theorem’s nonzero-$J_i$ condition on degenerate components is vacuous. The 2026 balance theorem therefore gives $b_2\lt0$ on the bounded rod, whereas conical regularity requires $b_2=0$. The claimed vacuum configuration cannot satisfy all the stated assumptions.

Each variant leaves the theorem’s domain. Electrovacuum changes the field equations; without established axisymmetry the rod reduction is unavailable; and a degenerate component with $J_i=0$ violates an explicit hypothesis. None of those observations proves that a regular solution exists. It only shows that this theorem does not decide the modified problem.

Extremal Horizons and Near-Horizon Geometry next examines a regime where degeneracy supplies both stronger local structure and distinct global difficulties.

References

• 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.
• Emparan, Roberto, and Harvey S. Reall. “Black Holes in Higher Dimensions.” Living Reviews in Relativity 11 (2008): 6. DOI.
• Han, Qing, Marcus Khuri, Gilbert Weinstein, and Jingang Xiong. “Kerr Black Hole Uniqueness.” arXiv:2608.23325v1 [gr-qc] (24 August 2026). arXiv.
• Herdeiro, Carlos A. R., and Eugen Radu. “Asymptotically Flat Black Holes with Scalar Hair: A Review.” International Journal of Modern Physics D 24 (2015): 1542014. DOI.