What Nonlinear Black-Hole Stability Means

Nonlinear stability of Kerr is not the assertion that every metric component stays close to one fixed formula. The corresponding dispersive statement for Minkowski space already requires geometric gauges, weighted energies, and control of null infinity Christodoulou and Klainerman 1993, Chapters 1–3. General relativity has diffeomorphism freedom, the Kerr family has physical parameters, and radiation leaves through the event horizon and null infinity. A meaningful black-hole theorem controls the evolved geometry modulo gauge, permits the final mass and angular momentum to shift, proves decay of the radiative remainder, and establishes the completeness of the relevant exterior boundaries.

Required background. PDEs and Green Functions for Gravitation supplies hyperbolic evolution, energy estimates, and decay. Helpful background. Black-Hole Geometry and Mechanics supplies the Kerr family; Black-Hole Perturbation Theory supplies radiative and stationary modes; Formulations of General Relativity supplies the constraint and gauge-fixed equations; Computational Relativity supplies nonlinear cross-checks.

Initial data and the quotient by gauge

Vacuum initial data are a Riemannian metric $\gamma$ and second fundamental form $k$ on a three-manifold $\Sigma$. Use $k_{ij}=-\gamma_i{}^a\gamma_j{}^b\nabla_a n_b$, with future unit normal $n$. The vacuum constraints are

$$R(\gamma)-|k|_\gamma^2+(\operatorname{tr}_\gamma k)^2=0, \qquad \nabla^j k_{ij}-\nabla_i\operatorname{tr}_\gamma k=0.$$

The first equation constrains the intrinsic curvature and the instantaneous expansion of the slice; the second constrains its momentum. They restrict the allowable perturbations before any evolution begins. Two data sets related by an admissible diffeomorphism of $\Sigma$ describe the same geometry. At infinity one must specify whether the diffeomorphism preserves the chosen observer frame or changes it. A schematic norm such as

$$\|(\gamma-\gamma_{b_0},k-k_{b_0})\|_{H^N_\delta(\Sigma)} \le\varepsilon$$

has meaning only after choosing asymptotic coordinates or a geometric gauge, specifying the weighted Sobolev convention, and fixing which asymptotic charges are allowed to vary. Here $b_0=(M_0,\mathbf a_0)$ labels a subextremal Kerr background and $\varepsilon$ is quantitatively small. In the source notation used below, $G=c=1$, so $M_0$ and $|\mathbf a_0|=|\mathbf J_0|/M_0$ are lengths. Restoring dimensions gives $\chi=c|\mathbf J_0|/(GM_{0,{\rm phys}}^2)=|\mathbf a_0|/M_0$.

Stability is orbital with respect to the Kerr family: the solution remains near some Kerr member after gauge identification. It is asymptotic if the radiative part decays and the geometry approaches a limiting member $g_{b_\infty}$ in stated regions and norms. Requiring convergence to the original $b_0$ would be wrong because some of the initial energy and angular momentum can remain in radiation rather than in the final hole. This is compatible with conservation of the total ADM charges: the final remnant charges alone need not equal those totals.

These notions, including the difference between boundedness and convergence modulo parameters, are developed in Klainerman and Szeftel 2022, §§2.1–2.5, pp. 7–15, PDF.

What the 2026 theorem establishes

Fix any subextremal Kerr parameters $b_0=(m_0,\mathbf a_0)$ with $|\mathbf a_0|\lt m_0$ in those geometrized variables. In the simple version, Hintz assumes smooth vacuum constraint data that agree with Kerr outside a compact set and are sufficiently small in a high-order Sobolev norm. The maximal globally hyperbolic development contains an exterior region, including the future event horizon and extending to future null infinity, whose metric converges in spatially compact regions to a nearby subextremal Kerr metric at least as $O(t_*^{-2-\epsilon_K})$; the paper also gives distinct asymptotics near null and timelike infinity Hintz 2026, Theorem 1.1 and Remark 1.2, pp. 2–3, PDF.

The precise theorem allows partially polyhomogeneous asymptotically flat perturbations with specified powers and logarithms, finite high regularity, constraint satisfaction, and quantitative smallness. It solves simultaneously for final black-hole parameters, boost and center-of-mass behavior, gravitational tails, and finite-dimensional gauge-source corrections Hintz 2026, §1.1, pp. 3–5, and Theorem 13.1, pp. 318–323, PDF.

This is a full-subextremal result: the fixed background may have any $|\mathbf a_0|/m_0\lt1$. It is not uniform through the extremal limit, and it does not cover extremal Kerr, matter fields, large perturbations, arbitrary weak asymptotics, or a complete classification of the black-hole interior. The decay does have an interior consequence: combined with the Dafermos–Luk interior theorem, it gives continuous extendibility at the rotating Kerr Cauchy horizon in the corresponding data class Hintz 2026, p. 3, consequence (1), PDF. A continuous metric extension does not imply bounded curvature or smooth extendibility; see Regularity Across Cauchy Horizons.

The quantities a theorem must control

A complete exterior stability statement specifies:

• the data manifold, constraints, asymptotic expansion, differentiability, weighted norm, and smallness threshold;
• the gauge in which the reduced Einstein equation is solved and the argument that constraints propagate;
• physical zero modes corresponding to changes in mass, angular momentum, boost, and center of mass;
• pure-gauge modes and the diffeomorphism used to compare the dynamical solution with Kerr;
• decay and asymptotic expansions of the radiative remainder near the horizon, null infinity, and timelike infinity;
• regularity and future completeness of the event horizon and null infinity;
• the region controlled by the theorem.

Mode stability alone supplies none of the nonlinear closure. Conversely, a coordinate norm that grows can reflect a poor gauge rather than a physical instability. Curvature components, radiation fields, horizon fluxes, and modulated parameter differences provide geometric checks.

Proof architecture and failure boundary

Gauge fixing turns $\operatorname{Ric}(g)=0$ into a quasilinear wave system. Linear estimates split solutions into decaying radiation, physical Kerr zero modes, and pure gauge. A nonlinear iteration then chooses modulation and gauge-source parameters so that nondecaying pieces are absorbed rather than fed back into the error.

Hintz uses strongly constraint-damped generalized wave-map gauge, tame estimates on dynamical backgrounds, detailed low-frequency asymptotics, and a Nash–Moser iteration that tolerates derivative loss Hintz 2026, §§1.4–1.5, pp. 24–42, PDF. A proof could not close the required decaying remainder estimate if it counted a mass shift as radiation, left a nondecaying pure-gauge state in the remainder, or used decay too weak to integrate the quadratic nonlinear source.

Check the definition

An evolution satisfies $g(t)=\Phi_t^*g_{M_0+\delta M,a_0}+h_{\rm rad}(t)$, where $\delta M\ne0$ is small, $\Phi_t$ is an admissible diffeomorphism, and $h_{\rm rad}\to0$ in the theorem’s norm. Does it converge to the original Kerr metric, or to the Kerr family?

Solution

The physical mass shift prevents convergence to the original $g_{M_0,a_0}$. The Kerr family can nevertheless be orbitally and asymptotically stable. Undo the diffeomorphism, identify the endpoint $(M_0+\delta M,a_0)$, and test decay of the radiative remainder. At first order a pullback is $\Phi^*g=g+\mathcal L_Xg+O(X^2)$; the Lie derivative alone is not an exact finite coordinate transformation. A valid theorem must also control constraints, the exterior region, and completeness.

References

• Christodoulou, Demetrios, and Sergiu Klainerman, The Global Nonlinear Stability of the Minkowski Space, Princeton University Press, 1993.
• Hintz, Peter, “Nonlinear Stability of Subextremal Kerr Black Holes”, arXiv:2606.28253v2, 2026. Open PDF.
• Klainerman, Sergiu, and Jérémie Szeftel, “Brief Introduction to the Nonlinear Stability of Kerr”, arXiv:2210.14400v2, 2022. Open PDF.