Cauchy Horizons in Charged and Rotating Models

The inner horizons of Reissner–Nordström and Kerr are smooth in the exact stationary metrics, but perturbations arriving from the exterior are infinitely blue-shifted along them. Nonlinear theorems show a mixed outcome: a nontrivial Cauchy horizon can survive as a continuous metric boundary while mass, connection, or curvature diverges. Which version of strong cosmic censorship this supports depends on the matter model, data class, exterior lower bound, and requested extension regularity.

Required background. Analysis for Mathematical Relativity supplies decay and blowup estimates, while the Einstein equation supplies the coupled interior system.

Helpful background. Causality and Global Structure supplies Cauchy horizons; PDEs and Green Functions for Gravitation supplies characteristic evolution; and Black-Hole Geometry and Mechanics supplies the Reissner–Nordström and Kerr horizon structures.

Exterior decay meets interior blue shift

In a subextremal charged or rotating stationary black hole, the Cauchy-horizon surface gravity $\kappa_->0$ produces an exponential relation between a regular interior coordinate $V$ and advanced time $v$,

$$V\sim-e^{-\kappa_-v}.$$

Therefore

$$\partial_V \sim e^{\kappa_-v}\partial_v.$$

Even if an exterior radiation field decays like $v^{-p}$ along the event horizon, its transverse derivative can grow exponentially in a Cauchy-horizon frame. Whether the metric remains continuous depends mainly on integrability of the field itself; whether the connection or curvature survives depends on stronger weighted derivatives. This simple mismatch explains how $C^0$ stability can coexist with $C^2$ instability.

An upper Price-law bound controls existence up to the horizon. An instability theorem additionally needs a lower bound showing that the incoming tail is not exceptionally absent. Genericity enters at exactly this point: the exterior problem must prove the lower coefficient nonzero on an open/dense or otherwise specified set of Cauchy data.

Spherical Einstein–Maxwell–scalar collapse

Spherical symmetry retains charge and a radiative real scalar field. In double-null coordinates,

$$g=-\Omega^2\,du\,dv+r^2d\omega^2, \qquad 1-\frac{2G\varpi}{r}+\frac{GQ^2}{r^2} =-4\Omega^{-2}\partial_u r\,\partial_v r.$$

Here $Q$ is normalized so that the Reissner–Nordström lapse contains $GQ^2/r^2$. The quantity $\varpi$ is the charge-renormalized Hawking mass. The ordinary Hawking–Misner–Sharp mass $m_H$, defined without an explicit charge term by $1-2Gm_H/r=-4\Omega^{-2}\partial_u r\,\partial_v r$, satisfies $m_H=\varpi-Q^2/(2r)$. It is $\varpi$ that obeys the useful flux monotonicity and can inflate near the Cauchy horizon. For a canonically normalized real scalar, $T^{\phi}_{\mu\nu}=\partial_\mu\phi\partial_\nu\phi -\tfrac12g_{\mu\nu}(\nabla\phi)^2$, the exact flux identity is

$$\partial_v \varpi =-8\pi r^2\Omega^{-2}(\partial_u r)(\partial_v\phi)^2.$$

Set $f=1-2G\varpi/r+GQ^2/r^2$ and $\kappa_{\mathrm{null}}=-\Omega^2/(4\partial_u r)$ in a chart with $\partial_u r\lt0$. Then $\partial_vr=\kappa_{\mathrm{null}}f$ and

$$\partial_v\varpi =\frac{2\pi r^2}{\kappa_{\mathrm{null}}}(\partial_v\phi)^2 =2\pi r^2\frac{f}{\partial_vr}(\partial_v\phi)^2\ge0.$$

Here $\kappa_{\mathrm{null}}$ is a null-coordinate coefficient, not the constant surface gravity $\kappa_-$ of the stationary inner horizon. These relations follow from Luk–Oh 2019 I, eqs. (2.2), (2.5)–(2.9), pp. 13–15 of the open manuscript: their geometrized mass is $G\varpi$, charge is $\sqrt G Q$, and scalar is $\sqrt{4\pi G}\,\phi$ in the normalization used here.

The factor $f$ cannot be dropped from the quotient: in the stationary background both $f$ and $\partial_vr$ vanish at the inner horizon. A small $-\partial_vr$ alone therefore proves no mass inflation. The nonlinear argument combines a lower radiation flux with control of $\kappa_{\mathrm{null}}$ so that the accumulated positive integral diverges. This divergence $\varpi\to\infty$ is mass inflation; an upper decay bound alone cannot prove it, because the scalar could vanish identically.

Dafermos proves for an open class of trapped characteristic data near Reissner–Nordström that the future boundary contains a null Cauchy horizon. The area radius and scalar field extend continuously, and the spacetime admits a nontrivial continuous Lorentzian extension. Under the paper’s lower-flux hypothesis, the charge-renormalized mass blows up identically on that horizon; the accompanying estimates exclude $C^1$ regularity and force curvature blowup along suitable approaches Dafermos 2003, Theorems 1–2 and Proposition 7, pp. 895, 915, and 921–922. The result makes the regularity split explicit rather than smoothing away the horizon.

Luk and Oh close the exterior-to-interior chain for admissible two-ended asymptotically flat Cauchy data in the spherically symmetric Einstein–Maxwell–real-scalar model:

• every development in the class has a nonempty continuously extendible Cauchy horizon, so $C^0$ SCC fails in that data setting;
• an $L^2$-averaged polynomial lower bound along each event horizon forces $C^2$ future inextendibility in the interior;
• the exterior analysis proves that lower bound on a set open in a weighted $C^1$ topology and dense in a weighted $C^\infty$ topology.

The interior theorem and precise data assumptions are in Luk–Oh 2019 I, Theorems 1.8–1.10 and §§5–6; the generic lower bound is in Luk–Oh 2019 II, Theorems 1.1 and 1.5 and §§4–6. This is a nonlinear $C^2$ SCC theorem for that two-ended spherical matter model, not for one-ended stellar collapse or vacuum Kerr.

Vacuum Kerr interiors without symmetry

Rotation replaces electromagnetic charge as the mechanism supporting an inner horizon, and the full vacuum equations have no spherical reduction. Dafermos and Luk consider smooth spacelike Cauchy data on a hypersurface already inside a dynamical black hole, with weighted approach to a fixed subextremal Kerr geometry near timelike infinity. They prove that the maximal development has a nontrivial Cauchy-horizon segment across which the metric extends continuously Dafermos–Luk 2025, Theorems 4.2 and 4.24, pp. 50–52 and 64–65 of the open manuscript.

This peer-reviewed result establishes interior $C^0$ stability without symmetry. Its starting hypersurface is already within the black-hole interior; the paper does not itself derive the required tail from arbitrary exterior Cauchy data.

Hintz’s v2 preprint, revised 2026-08-03, claims nonlinear exterior stability for small smooth vacuum perturbations of every fixed subextremal Kerr background and supplies the Dafermos–Luk decay assumptions for its structured asymptotic data class. It therefore states the corresponding interior $C^0$-extension consequence Hintz 2026, Theorem 1.1 and consequence (1), pp. 2–3, and Theorem 13.1, pp. 318–319, arXiv v2. This is an unrefereed theorem claim whose proof depends on two same-author companion preprints. It does not cover arbitrary asymptotically flat perturbations or independently establish the generic lower tail needed for higher-regularity inextendibility.

A March 2026 preprint takes an instability step under an explicit nonlinear Price-law-type assumption for data slightly inside a black hole settling to subextremal Kerr. It claims curvature blowup and Lipschitz inextendibility near timelike infinity while retaining the Cauchy horizon Gurriaran 2026, eqs. (4.2.8)–(4.2.9) and Theorem 4.5.1, pp. 51–52 and 55–56, arXiv v2. As of 2026-08-12 this is a conditional recent preprint, not an unconditional generic vacuum SCC theorem.

What can be compared—and what cannot

Feature	Charged spherical model	Rotating vacuum model
Dynamical radiation	Real scalar field	Gravitational Weyl curvature
Horizon support	Maxwell charge $Q$	Angular momentum $J$
Proven continuous horizon	Yes, for the named two-ended data class	Yes, for interior data approaching Kerr
Proven higher-regularity obstruction	Generic $C^2$ inextendibility in the Luk–Oh class	Conditional Lipschitz obstruction claimed in 2026 preprint
Exterior-to-interior closure	Proved in spherical symmetry	Claimed by Hintz v2 for a structured small-data class; broader generic closure and independent verification remain open

The table compares proof roles, not physical equivalence. Setting Maxwell charge or angular momentum to zero changes the causal structure: Schwarzschild has a spacelike $r=0$ boundary rather than a stationary Cauchy horizon. Extremality also changes $\kappa_-$ and invalidates the subextremal blue-shift estimates.

Check the regularity verdict

In a two-ended spherical Einstein–Maxwell–scalar development, suppose the metric extends continuously across the Cauchy horizon but the generic $L^2$ lower tail forces Hawking mass and curvature blowup. Which SCC formulations are supported or refuted?

Solution

The continuous extension refutes $C^0$ inextendibility for those data. The generic curvature blowup supports $C^2$ inextendibility in the topology where the lower bound is open/dense. If the argument also proves that every extension has non-$L^2$ Christoffel symbols, it supports the corresponding Christodoulou weak-solution formulation; curvature blowup alone does not automatically prove that exact threshold. None of these spherical matter statements settles unrestricted vacuum Kerr.

References

• Dafermos, Mihalis, and Jonathan Luk. “The Interior of Dynamical Vacuum Black Holes I: The $C^0$-Stability of the Kerr Cauchy Horizon.” Annals of Mathematics 202 (2025): 309–630. DOI. Open PDF.
• Dafermos, Mihalis. “Stability and Instability of the Cauchy Horizon for the Spherically Symmetric Einstein–Maxwell–Scalar Field Equations.” Annals of Mathematics 158 (2003): 875–928. DOI.
• Gurriaran, Sebastian. “Non-linear Instability of the Kerr Cauchy Horizon near $i_+$.” arXiv:2603.17911v2 (2026). arXiv v2.
• Hintz, Peter. “Nonlinear Stability of Subextremal Kerr Black Holes.” arXiv:2606.28253v2 (revised 2026-08-03). arXiv v2.
• Luk, Jonathan, and Sung-Jin Oh. “Strong Cosmic Censorship in Spherical Symmetry for Two-Ended Asymptotically Flat Initial Data I: The Interior of the Black Hole Region.” Annals of Mathematics 190 (2019): 1–111. arXiv.
• Luk, Jonathan, and Sung-Jin Oh. “Strong Cosmic Censorship in Spherical Symmetry for Two-Ended Asymptotically Flat Initial Data II: The Exterior of the Black Hole Region.” Annals of PDE 5 (2019): 6. arXiv.