Physical Consequences of Horizon Rigidity

Horizon rigidity supplies the missing rotational symmetry in a stationary black-hole classification argument. Stationarity gives a time-translation Killing field, but a rotating horizon is not generated by that field alone. Under strong regularity and global hypotheses, rigidity produces a horizon Killing generator and an axial Killing field with closed orbits. This makes angular velocity, angular momentum, azimuthal mode number, and axisymmetric multipoles well defined. It does not by itself prove that the exterior is Kerr.

Required background. Killing Fields and Isometry Groups supplies Killing horizons, commuting flows, and periodic axial actions.

Helpful background. Exact Solutions of Einstein’s Equations supplies Kerr as the model; Causality and Global Structure supplies the event horizon and exterior domain; The Einstein Equation supplies the vacuum or electrovacuum propagation equations; and Mathematical Relativity supplies unique continuation and global isometry arguments.

From stationarity to a horizon symmetry

Take a four-dimensional, asymptotically flat, stationary vacuum or electrovacuum black-hole spacetime. Assume an $I^+$-regular domain of outer communications, a sufficiently smooth event horizon, a complete stationary Killing field $T$, and the regularity conditions needed by the chosen rigidity theorem. In the classical global statement, real analyticity is assumed. For the standard nondegenerate branch, a bifurcate extension or equivalent horizon control is also used.

Here $I^+$-regularity means that the stationary flow is complete and the globally hyperbolic domain of outer communications contains a connected acausal slice with controlled asymptotic ends and a compact horizon boundary meeting every relevant future-horizon generator once. It is a global exterior hypothesis, not differentiability notation Chruściel, Costa, and Heusler 2012, §2.4, Definition 2.1.

If a connected horizon component is rotating—meaning that $T$ is not normal to its generators—the analytic rigidity theorem makes the event horizon a Killing horizon and supplies an additional rotational symmetry. One can choose an axial Killing field $\Phi$ whose orbits have period $2\pi$, commuting with $T$, so the horizon generator is

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

The coefficient $\Omega_H$ is constant on a connected stationary horizon once the generators are normalized at infinity. Chruściel, Costa, and Heusler state the analytic rigidity step and its role in classification in Chruściel, Costa, and Heusler 2012, §3.3.1, especially the rotating branch.

If the horizon is nonrotating, a different branch of the argument seeks a maximal slice and proves staticity: $T$ becomes hypersurface orthogonal. Thus the classification program splits into “static” and “stationary plus axial,” not simply “zero spin” and “nonzero spin” by assertion.

Proof architecture and the smoothness gap

The event horizon is globally defined, whereas the Killing equation is local. Rigidity connects them in stages. Stationarity preserves the event horizon, and equilibrium gives a nonexpanding null geometry. One constructs a vector field tangent to the horizon generators and shows that its deformation tensor vanishes on suitable horizon data. The Einstein equations propagate the Killing equation away from the null surface. Analyticity then extends the local symmetry and helps globalize it through the domain of outer communications.

For a rotating component, compare the new horizon generator with $T$. Their difference produces a second local Killing field. Global topology, completeness, and isometry-group results are then used to obtain a complete field with closed orbits and a regular axis. This last step matters: a local Killing field whose orbits never close is not yet an axial $U(1)$ symmetry.

Smooth results replace analytic continuation by unique-continuation estimates only in controlled settings. For a smooth vacuum spacetime with a local, regular, bifurcate nonexpanding horizon, Alexakis, Ionescu, and Klainerman construct a Killing field in a full neighborhood in Alexakis, Ionescu, and Klainerman 2010, Theorem 1.1, pp. 845–869. That is a local theorem; extending the symmetry throughout an arbitrary smooth exterior remains a separate problem. The distinction between local smooth results, near-Kerr global results, and the classical analytic theorem is reviewed in Chruściel, Costa, and Heusler 2012, §§3.3.1 and 3.4.2.

Hawking Rigidity gives the rigorous theorem variants, characteristic construction, unique- continuation conditions, and globalization issues. The present page uses their physical output.

Physical structure supplied by axisymmetry

First, axial periodicity fixes the normalization of $\Phi$. Together with the asymptotic normalization of $T$, this makes $\Omega_H$ meaningful rather than an arbitrary ratio of vector fields. It also permits the Komar angular momentum

$$J=\frac{1}{16\pi G}\int_{S_\infty}*d\Phi,$$

with orientation and matter corrections stated as required.

Second, fields can be organized by the two commuting symmetries. A mode has dependence $e^{-i\omega t+im\phi}$, with integer $m$ because the axial orbits close. The horizon generator selects the combination $\omega-m\Omega_H$ that controls corotating energy. This is the geometric origin of the rotational term in horizon fluxes and superradiant thresholds.

Third, horizon cross-sections carry an axial action. Their intrinsic curvature and rotation one-form can be expanded in axisymmetric multipoles, and the fixed-point set of $\Phi$ defines the poles. Circularity in vacuum or electrovacuum then reduces the exterior equations to a two-dimensional orbit- space boundary problem. These structures are indispensable for the Carter–Robinson and Ernst-map arguments.

None of them completes classification. Rigidity says that enough symmetry is available; uniqueness must still use the field equations, asymptotics, horizon connectedness, and regular orbit-space boundary data to select a specific solution.

Limits of the rigidity conclusion

An extremal horizon has no ordinary bifurcation surface, so proofs based on bifurcate nonexpanding horizons do not transfer automatically. Special near-horizon and analytic arguments cover important extremal cases, but the hypotheses must be restated. A dynamical or merely isolated horizon need not admit a stationary exterior Killing field at all.

Higher dimensions also change the implication. Rigidity can guarantee at least one rotational $U(1)$ symmetry under suitable assumptions, but a five-dimensional black hole may require two independent angular momenta, and one axial field does not reduce the equations to the four-dimensional boundary problem. Black rings illustrate why rigidity and uniqueness diverge.

Finally, an approximately stationary numerical spacetime can have approximate symmetries without satisfying an exact Killing equation. Approximate axial diagnostics are useful, but they are not hypotheses of an exact rigidity theorem.

Test local symmetry against global axisymmetry

Suppose a smooth stationary vacuum black hole has a regular bifurcate nonexpanding horizon. A local theorem supplies a Killing field $K$ tangent to the generators near the bifurcation sphere. May one immediately assign a global integer azimuthal number $m$ to fields throughout the exterior?

Solution

No. The local result establishes a horizon Killing field in a neighborhood. To define a global azimuthal number, one still needs a second Killing field $\Phi$ throughout the domain of outer communications, completeness of its flow, closed orbits with a fixed period, and a regular axis. Those are globalization and isometry-group conclusions, not consequences of the local Killing equation alone.

Under the classical analytic, asymptotic, and global regularity hypotheses, the rigidity program supplies these additional properties and then $\chi=T+\Omega_H\Phi$. Without them, using integer $m$ would assume the very global axial structure that remains to be proved.

Kerr as the Stationary Vacuum Benchmark next combines this symmetry output with the vacuum orbit-space uniqueness problem.

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.
• 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.