Stationary Rigidity and Black-Hole Uniqueness

Stationary black-hole uniqueness is a chain of rigidity results, not a single calculation. Starting from a regular asymptotically flat exterior, topology theorems make global potentials possible; horizon rigidity produces the symmetry needed for reduction; static or harmonic-map arguments then identify the metric. This chapter states the hypotheses at every transition and ends by showing exactly how dimension, matter, asymptotics, degeneracy, or connectedness can change the conclusion.

Helpful background. Einstein Equations fixes the vacuum and electrovacuum systems, Causality and Global Structure supplies the domain of outer communications, Partial Differential Equations and Green Functions supplies elliptic and continuation tools, Analysis for Mathematical Relativity supports proof-level estimates, Black-Hole Geometry and Mechanics supplies horizon data, and Spacetime Symmetries and Killing Fields supplies Killing horizons and axial actions.

The classification chain

Let $T$ be a complete stationary Killing field timelike near the chosen asymptotically flat end. A regular domain of outer communications supplies a global spacelike hypersurface, controlled horizon boundary, and enough causal structure for elliptic reduction. Topological censorship then makes the exterior simply connected under its energy and global assumptions, so closed twist one-forms have global potentials. In four dimensions, regular horizon cross-sections are two-spheres.

Rigidity is the next step. It identifies the event horizon as a Killing horizon with generator $χ$. If $χ$ is not proportional to $T$, the rotating branch seeks a second, periodic axial Killing field $Φ$ satisfying

$$\chi=T+\Omega_H\Phi.$$

If the horizon is nonrotating, a staticity theorem instead seeks hypersurface-orthogonality of $T$. The two branches then use different mathematics. Static vacuum uniqueness conformally doubles a spatial exterior and invokes zero-mass rigidity. The rotating branch proves circularity, reduces the equations to an Ernst harmonic map on a Weyl half-plane, and uses a divergence or distance identity to establish equality with Kerr or Kerr–Newman.

The classical analytic electrovacuum statement and this proof architecture are collected in Chruściel, Costa, and Heusler 2012, Theorem 3.3 and §§6–8, pp. 15–17 and 27–47.

Where each hypothesis enters

Analyticity belongs mainly to the classical globalization of horizon rigidity; the already axisymmetric elliptic uniqueness step does not need it. Smooth local rigidity is available near a bifurcate horizon, and global smooth results are available under additional near-Kerr or small-rotation conditions, but the unrestricted smooth extension remains an open question.

Connectedness turns the boundary of the orbit half-plane into one horizon rod. Degeneracy removes the bifurcation surface and changes the endpoint asymptotics. Asymptotic flatness fixes the normalization of $T$, the charges, and the boundary behavior of the harmonic map. Vacuum or Einstein–Maxwell structure supplies circularity and a nonpositively curved symmetric target. Different matter may fail to inherit both Killing symmetries or may introduce additional potentials not fixed by asymptotic charges.

Global causal assumptions are equally substantive. They exclude visible topology, furnish a useful Cauchy hypersurface, and prevent a local coordinate reduction from being mistaken for a global one. A formal Ernst solution with a conical axis, singular corner, or wrong horizon rod is not a regular black- hole exterior.

Contents in theorem order

1. Hawking Rigidity separates the analytic global theorem from smooth local and perturbative variants, and identifies when a second Killing field exists.
2. Static Vacuum Uniqueness carries out conformal doubling, positive-mass rigidity, and Schwarzschild reconstruction.
3. Stationary Axisymmetric Vacuum Reduction derives circularity, Weyl coordinates, the Ernst equation, rod data, and metric quadratures.
4. Kerr and Electrovacuum Uniqueness integrates the Mazur identity and explains the boundary estimates behind equality of two harmonic maps.
5. Horizon Topology and Domain of Outer Communications distinguishes exterior simple connectedness from spherical horizon topology.
6. Limits of Four-Dimensional Uniqueness gives a 2026-08-12 evidence matrix for smooth rigidity, extremal horizons, multiple components, scalar hair, non-flat asymptotics, and higher-dimensional rings.

The chapter sequence places topology after the uniqueness proof so that its logical role can be revisited with all later constructions visible. On a first proof-oriented reading, it is useful to read the topology page before the axisymmetric reduction, then return to this order for consolidation.

Reader routes

For the shortest route to the Kerr–Newman theorem, read rigidity, the axisymmetric reduction, and the divergence identity. At each page ask whether axisymmetry is assumed or derived and whether the claim is local or global.

For the geometric route, read static doubling beside the positive mass theorem, then read the topology page. This route shows two different rigidity mechanisms: equality in a global mass inequality and focusing or stability in the exterior.

For the research boundary, read the final page after rigidity. The most useful comparison is between a theorem for the intrinsic geometry of an extremal horizon and a theorem for the entire domain of outer communications. A 2023 preprint states a completed connected analytic vacuum classification, while also recording the unresolved global smooth extension problem; see Chruściel 2023, Theorem 1.1 and §3. The Black-Hole Rigidity and Uniqueness record provides a compact hypothesis matrix; the pages here remain the proof-oriented source for why those hypotheses enter.

Chapter review

Suppose a four-dimensional vacuum exterior is smooth, stationary, asymptotically flat, globally regular, and has a connected nondegenerate horizon. Neither analyticity, axisymmetry, nor a near-Kerr smallness condition is assumed. Which step of the standard classification chain is missing, and why can the Ernst uniqueness theorem not simply be applied?

Solution

Smooth local rigidity can construct a horizon-normal Killing field near a bifurcate horizon, but the hypotheses given do not provide its global extension through the domain of outer communications. Hence a global periodic axial field has not been obtained. Without that field, circularity and the global Weyl half-plane reduction have not been justified, so there is no pair of Ernst maps on a common boundary-value domain to compare. Assuming axisymmetry from the start, adding analyticity, or imposing an accepted near- Kerr continuation condition would address different versions of this missing step; none is contained in the stated data.

References

• Chruściel, Piotr T. “Remarks on Stationary Vacuum Black Holes.” arXiv:2305.07329 (2023), unpublished preprint. arXiv.
• 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. Open PDF.