Extremal Horizons and Near-Horizon Geometry

Extremality is a geometric degeneration with several related signatures: a normalized Killing horizon has zero surface gravity, its generator norm has a double transverse zero, familiar horizon roots can coincide, and a controlled scaling isolates an exact near-horizon spacetime. This chapter derives those connections, constructs near-horizon extreme Kerr (NHEK), states what near-horizon classification theorems actually assume, and marks the boundary between stationary geometry and the dynamical Aretakis problem.

Helpful background. Exact Solutions of Einstein’s Equations supplies Kerr, Kerr–Newman, and Reissner–Nordström benchmarks; Causality and Global Structure supplies event horizons, extensions, and completeness; The Einstein Equation supplies the reduced horizon equations; Black-Hole Perturbation Theory supplies the evolution theory to which the final page points.

Enter the extremal regime

Let $K^a$ be a Killing field normal to a smooth horizon $\mathcal H$. Its surface gravity satisfies

$$K^b\nabla_bK^a=\kappa K^a.$$

Degeneracy means $\kappa=0$. This statement is invariant under every nonzero constant rescaling of $K$: although the numerical value of $\kappa$ depends on normalization, its vanishing does not. In Gaussian-null coordinates adapted to a degenerate horizon,

$$ds^2=2\,dv\!\left(dr+r h_A(r,x)dx^A +\frac12r^2F(r,x)dv\right)+\gamma_{AB}(r,x)dx^A dx^B.$$

The quadratic factor is decisive. It makes the Killing parameter affine, obstructs an ordinary regular bifurcation surface for a nontrivial generator, and permits the finite scaling

$$v\mapsto\frac{v}{\varepsilon}, \qquad r\mapsto\varepsilon r.$$

Taking $\varepsilon\to0$ retains only the cross-section data $(F,h_A,\gamma_{AB})$ at $r=0$. The result solves the same local field equations when the metric and matter fields have a smooth limit. Kunduri and Lucietti give the coordinate construction, limit, and reduced Einstein equations in Kunduri and Lucietti 2013, §§2.1–2.3, pp. 11–15.

This chapter uses the site-wide metric and curvature conventions and keeps $G$ explicit. A geometrized charge parameter is always identified as such. “Zero temperature” is used only as a thermodynamic consequence after choosing the stationary normalization; it is not substituted for the geometric definition.

Check your preparation

Three distinctions prevent most errors. First, an event horizon is defined by global causal escape, whereas a Killing horizon is defined by symmetry. Second, the mass, angular momentum, and charge of an exact family are global data; the near-horizon limit need not retain all of them. Third, classifying solutions of equations on a horizon cross-section does not automatically construct a complete parent black hole.

For calculations, be ready to factor the Kerr–Newman radial polynomial, use a horizon-regular ingoing chart, and distinguish a simple root from a double root. For theorems, track dimension, matter theory, cosmological constant, compactness, smoothness, rotational symmetry, and topology. For the final interface, distinguish decay of a field from boundedness of its first or second transverse derivatives.

If conserved charges and their normalization are unfamiliar, first read Conserved Charges, Smarr Relations, and First Laws. If the contrast between nonzero and zero surface gravity is unfamiliar, review Killing Horizons and Bifurcate Geometry.

Three routes through the chapter

The geometric route reads the first three pages. It compares invariant and family-specific criteria, derives the degenerate Gaussian-null form, and takes the scaling limit term by term. This is the shortest route for using extremal horizon data in another calculation.

The Kerr and classification route begins with the first page, then reads the scaling, NHEK, and theorem pages. It shows exactly how corotation and radial-time scaling produce NHEK, why $\mathrm{SL}(2,\mathbb R)\times\mathrm U(1)$ emerges, and which compactness and field-equation assumptions make that throat unique. It also shows how modern intrinsic-rigidity results derive the axial symmetry that older classification theorems had to assume.

The dynamical-interface route reads the degenerate-horizon page, the scaling page, and the final page. It identifies the lost redshift, derives a horizon conservation law in extremal Reissner–Nordström, and separates linear test fields, linearized gravity, nonlinear spherical evolution, and the open extremal-Kerr problem. Detailed estimates remain in the perturbation volume.

The six pages in working order

1. Extremality Criteria and Bounds compares $\kappa=0$, repeated roots, saturation of mass–spin–charge bounds, quasi-local equality cases, and zero-temperature language. Kerr–Newman shows when the criteria coincide and which implications use stationarity and the Einstein–Maxwell equations.
2. Degenerate Killing Horizons derives the quadratic norm zero, the equality of Killing and affine parameters, the absence of a regular bifurcation surface, and the infinite static throat without mistaking the latter for a curvature singularity.
3. Near-Horizon Scaling Limits performs the coordinate scaling on every metric term, derives the equations on the horizon cross-section, and identifies which asymptotic normalization data disappear.
4. Near-Horizon Extreme Kerr Geometry obtains the NHEK metric, displays its four Killing fields, crosses its degenerate horizon, passes to a global throat chart, and checks the area and axial regularity.
5. Near-Horizon Classification Theorems states representative static, symmetry-enhancement, rotating-vacuum, and Einstein–Maxwell results with their full hypotheses, explains how intrinsic rigidity closes the compact four-dimensional problem without assumed axisymmetry, and marks the noncompact and higher-dimensional limitations.
6. Extremal Horizon Instability Interface derives the local Aretakis conservation mechanism and gives a dated account through 2026-08-12 of what is established for scalar, electromagnetic, gravitational, and nonlinear spherically symmetric systems.

Recurring checks and non-implications

Kerr–Newman discriminant. With $\Delta=r^2-2GMr+a^2+q^2$, extremality inside this exact family is $(GM)^2=a^2+q^2$. The horizons coincide and $\kappa=(r_+-r_-)/[2(r_+^2+a^2)]$ vanishes. Outside a named solution family, the algebraic bound is not a definition.

Near-horizon scaling. The terms $2\,dv\,dr$, $2r h_A\,dv\,dx^A$, and $r^2F\,dv^2$ all remain finite under the inverse scaling of $v$ and $r$. A nondegenerate linear term in $g_{vv}$ would diverge. This is an independent check that degeneracy, not merely small surface gravity, is required.

NHEK scale and area. For positive extremal Kerr angular momentum, $L^2=2GJ$ and the throat cross-section area is $4\pi L^2=8\pi GJ$. The dimensionless shape is universal, while the asymptotically normalized mass and angular velocity are absent. Bardeen and Horowitz derive the limit and global chart in Bardeen and Horowitz 1999, §2, pp. 3–6.

Classification scope. A four-dimensional nonstatic vacuum near-horizon geometry with a compact, orientable, boundaryless cross-section is forced to the extremal Kerr–(A)dS family Dunajski and Lucietti 2026, Theorems 1.1–1.2; the Einstein–Maxwell analogue is extremal Kerr–Newman–(A)dS Colling, Katona, and Lucietti 2025, Theorems 1.1–1.2. Modern intrinsic rigidity derives an axial Killing field from the horizon equations, so axial symmetry is no longer an independent hypothesis in these compact four-dimensional results. Removing compactness, changing the matter theory, or moving to higher dimensions creates a different classification problem. A classified throat also need not possess a global parent solution.

Instability scope. Nondecay of a transverse derivative does not imply nondecay of the field, divergence of every curvature invariant, or destruction of the horizon. Conversely, low-regularity convergence does not control higher transverse derivatives. The 2026 nonlinear spherical Einstein–Maxwell–scalar theorem makes this coexistence explicit Angelopoulos, Kehle, and Unger 2026, §§3.1–3.4, pp. 23–30.

Review the chapter

Suppose a four-dimensional stationary solution of the vacuum Einstein equations with cosmological constant $\Lambda$ has a smooth degenerate Killing horizon with a compact, connected, orientable, boundaryless spatial cross-section. In adapted coordinates its near-horizon data are nonstatic, but no axial symmetry is assumed. What can be concluded, what scaling produces the limiting metric, and what cannot be concluded about dynamics?

Solution

Degeneracy gives $g_{vv}=r^2F+O(r^3)$ and makes the Killing parameter affine. The pullback defined by $v_{\rm old}=v/\varepsilon$ and $r_{\rm old}=\varepsilon r$ has a smooth limit retaining $(F,h_A,\gamma_{AB})$ at the horizon. Intrinsic rigidity first supplies a Killing field preserving the nonstatic compact horizon data; the associated two-dimensional topology result forces the nonstatic branch onto $S^2$, where the Killing flow is axial. The older rotating classification theorem then identifies the throat with the near-horizon geometry of extremal Kerr for $\Lambda=0$, or extremal Kerr–(A)dS for nonzero $\Lambda$.

The conclusion is local to the near-horizon geometry. It does not by itself prove existence or uniqueness of a complete exterior, nonlinear stability, decay of perturbations, or a microscopic entropy account. Even for a known extremal Kerr parent, Aretakis-type questions require an evolution problem, a field or gauge-invariant variable, admissible data and boundary conditions, and a norm with a stated derivative order.

After this chapter, continue to Quasi-Local and Isolated-Horizon Mechanics to describe equilibrium horizon data without requiring a globally stationary exterior. For decay, mode analysis, and backreaction use Black-Hole Perturbation Theory. Quantum microstates and Kerr/CFT are routed to String Theory and Holographic Black Holes.

References

• Angelopoulos, Yannis, Christoph Kehle, and Ryan Unger. “Nonlinear Stability of Extremal Reissner–Nordström Black Holes in Spherical Symmetry.” Forum of Mathematics, Pi 14, e3 (2026). DOI. Open PDF.
• Bardeen, James M., and Gary T. Horowitz. “The Extreme Kerr Throat Geometry: A Vacuum Analog of $\mathrm{AdS}_2\times S^2$.” Physical Review D 60, 104030 (1999). DOI. Open PDF.
• Colling, Alex, David Katona, and James Lucietti. “Rigidity of the Extremal Kerr–Newman Horizon.” Letters in Mathematical Physics 115, 19 (2025). DOI.
• Dunajski, Maciej, and James Lucietti. “Intrinsic Rigidity of Extremal Horizons.” Journal of Differential Geometry 132, no. 1 (2026): 179–201. DOI. Open PDF.
• Kunduri, Hari K., and James Lucietti. “Classification of Near-Horizon Geometries of Extremal Black Holes.” Living Reviews in Relativity 16, 8 (2013). DOI.