Hairy Black-Hole Branches

A linear cloud can mark a bifurcation from Kerr to a family of stationary black holes with synchronized bosonic hair. That statement is an existence result in a specified matter theory. It is not, by itself, a proof that superradiant evolution lands on the branch, that the branch is stable, or that real fields admit the same stationary endpoint. As of 2026-08-12, those distinctions remain essential.

Helpful background. Black-Hole Geometry and Mechanics supplies Kerr and horizon regularity; Black-Hole Perturbation Theory supplies threshold clouds; Formulations of General Relativity supplies stationary field equations; Relativistic Matter and Compact Objects supplies scalar and vector models; Computational Relativity supplies nonlinear construction and stability tests.

Synchronization and regularity

Consider Einstein gravity minimally coupled to a complex scalar with mass $\mu$:

$$S=\int d^4x\,\sqrt{-g} \left[ \frac{R}{16\pi G} -\nabla_\mu\Psi^*\nabla^\mu\Psi -\mu^2|\Psi|^2 \right].$$

Use the harmonic ansatz

$$\Psi=\Phi(r,\theta)e^{i(m\phi-\omega t)}.$$

Although $\Psi$ has phase dependence, its stress tensor is stationary and axisymmetric. A stationary equilibrium horizon must also have zero scalar flux. On its null generator $\chi=\partial_t+\Omega_H\partial_\phi$, the stress tensor obeys $T_{ab}\chi^a\chi^b=2|\chi^a\nabla_a\Psi|^2$. The vanishing expansion and shear of a regular Killing horizon, together with the Raychaudhuri equation, set this quantity to zero. For nonzero scalar amplitude on the horizon,

$$\chi^\mu\nabla_\mu\Psi =-i(\omega-m\Omega_H)\Psi=0.$$

Thus stationary hair is synchronized,

$$\omega=m\Omega_H.$$

Regularity alone is weaker: an ordinary ingoing wave can be regular while carrying nonzero flux. It is regularity and stationary zero-flux equilibrium that impose synchronization here. For a bound massive configuration one also needs $0\lt\omega\lt\mu$ at infinity.

At vanishing scalar amplitude, the nonlinear family meets Kerr on the discrete cloud existence line. Herdeiro and Radu construct this branch and exhibit its domain in mass–angular-momentum space Herdeiro and Radu 2014, Eqs. (1)–(4), Figs. 1–2, and pp. 1–5, PDF.

How the branch evades no-hair assumptions

Traditional no-hair statements have hypotheses: matter type, inheritance of spacetime symmetries, analyticity or regularity, asymptotics, and sometimes energy conditions. The complex scalar itself does not inherit stationarity, even though its stress tensor does. The phase is locked to the horizon, preventing net scalar flux. The relevant theorem assumptions and the synchronized scalar-hair exception are reviewed in Herdeiro and Radu 2015, §§3–4, pp. 9–28, PDF.

This is not a violation of a correctly stated theorem. It is a solution outside assumptions that forbid harmonic noninheriting matter. The solutions remain asymptotically flat and have regular horizons, but carry a conserved Noether charge associated with global phase rotation. Their total mass and angular momentum split between horizon and exterior field.

Analogous Einstein–complex-Proca solutions exist with synchronized vector hair, but vector constraints and polarization structure make them a distinct family Herdeiro, Radu, and Rúnarsson 2016, §§4 and 6, PDF. Self-interactions can enlarge or reshape domains of existence. Each Lagrangian defines a different branch structure.

The scalar charge provides a useful check. With $j^a=-i(\Psi^*\nabla^a\Psi-\Psi\nabla^a\Psi^*)$ and future unit slice normal $n^a$, define $Q=-\int_\Sigma n_a j^a\,d\Sigma$. For the single harmonic above, the exterior scalar angular momentum is $J_\Psi=mQ$, so $J=J_H+mQ$. Thus the horizon spin and the total spin are different observables. Some hairy solutions have $J/(GM^2)\gt1$ without destroying their horizons: the Kerr bound applies to the vacuum Kerr family, while some angular momentum here resides in matter outside the horizon Herdeiro and Radu 2014, Eqs. (6)–(8) and Fig. 3, pp. 3–4, PDF.

Existence, stability, and selection

Three evidence levels must not be conflated.

1. Existence: a stationary boundary-value problem has regular solutions.
2. Stability: perturbations remain controlled in a stated norm; asymptotic stability additionally requires relaxation to the family.
3. Dynamical selection: an open set of evolving data approaches that solution.

The 2014 construction establishes existence, supported by numerical elliptic solutions and limiting checks. Fully nonlinear complex-Proca evolution supplies selection evidence near a synchronized vector cloud for one data family East and Pretorius 2017, Eqs. (1)–(4), Figs. 1–4, and pp. 1–5, PDF. Neither establishes generic scalar-hair selection.

There is direct evidence against stability of part of the scalar branch: Ganchev and Santos find growing $m=2$ perturbations of $m=1$ scalar-haired backgrounds in their numerical survey Ganchev and Santos 2018, “Results” and “Conclusions,” pp. 4–5, PDF. A state synchronized with one azimuthal number need not be synchronized with another. Likewise the East–Pretorius evolution fixes an $m=1$ complex-Proca ansatz, so it cannot test higher-$m$ instabilities. Real fields generally produce time-dependent stress and may form long-lived oscillatory clouds rather than the same stationary geometry.

Existence, stability, and dynamical selection

Claim	Strong evidence	Remaining limitation
scalar-haired stationary branch exists	nonlinear elliptic construction with Kerr/cloud limits	complex scalar model
vector-haired stationary branch exists	nonlinear Einstein–Proca constructions	complex vector model
superradiance can approach synchronization	fully nonlinear complex-Proca evolution	finite duration and selected data
hairy branch is a generic endpoint	not settled	stability, real fields, competing modes, environments

The outcome depends on matter spin, real or complex field, self-interaction, asymptotics, perturbation sector, and conserved charges. The general endpoint remains unresolved. A stability theorem for a full branch or an independently converged generic evolution into or away from it could answer part of this question; corrections to a stationary construction could alter which branches exist.

No simulation or elliptic solve was rerun for this page. The existence and evolution claims retain the parameter and field restrictions of their sources.

Formulation-choice diagnostic

A numerical solver finds a smooth synchronized complex-scalar solution connected continuously to a Kerr cloud. Has it shown that the solution is the endpoint of a real-scalar superradiant instability?

Solution

No. It has established evidence for existence of a complex-scalar stationary branch, assuming the boundary-value solve is converged and independently checked. A real scalar has time-dependent stress for a single harmonic and need not share the stationary branch. Endpoint selection additionally requires an evolution from an open data set and stability against all relevant perturbations.

References

• East, William E., and Frans Pretorius, “Superradiant Instability and Backreaction of Massive Vector Fields around Kerr Black Holes”, Physical Review Letters 119, 041101, 2017. Open PDF.
• Ganchev, Bogdan, and Jorge E. Santos, “Scalar Hairy Black Holes in Four Dimensions Are Unstable”, Physical Review Letters 120, 171101, 2018. Open PDF.
• Herdeiro, Carlos A. R., and Eugen Radu, “Asymptotically Flat Black Holes with Scalar Hair: A Review”, International Journal of Modern Physics D 24, 1542014, 2015. Open PDF.
• Herdeiro, Carlos A. R., and Eugen Radu, “Kerr Black Holes with Scalar Hair”, Physical Review Letters 112, 221101, 2014. Open PDF.
• Herdeiro, Carlos, Eugen Radu, and Helgi Rúnarsson, “Kerr Black Holes with Proca Hair”, Classical and Quantum Gravity 33, 154001, 2016. Open PDF.