The nonlinear fate of the inner (Cauchy) horizon of charged black holes: mass inflation, weak null singularities, and strong cosmic censorship

The exact Reissner–Nordström (charged, non-rotating) black hole of general relativity contains an inner Cauchy horizon — a surface where predictability from initial data fails although nothing singular happens there in the exact solution. Chandrasekhar and Hartle (1982) proved that the flux of gravitational or electromagnetic radiation measured by an observer crossing this horizon diverges for all physically reasonable infalling perturbations, even those of compact support, suggesting that second- and higher-order perturbation theory breaks down and that the horizon is unstable — while leaving its full nonlinear fate open. The problem asks for that nonlinear fate and its generalizations: does the divergent flux translate into mass inflation — a null weak singularity with divergent mass function and curvature but continuously extendible metric — or can the dynamically formed interior remain regular, and in which regimes (sub-extremal, extremal, near-extremal; with or without a positive cosmological constant; rotating charged Kerr–Newman) is the Cauchy horizon singular versus regularly extendible? For spherically symmetric, sub-extremal, asymptotically flat charged black holes the question has been resolved — mass inflation occurs (Poisson–Israel heuristics; Ori's exact solution; Dafermos's theorems) — so the surviving open core is the rotating charged (Kerr–Newman) interior, where no nonlinear theorem exists, and the extremal, near-extremal, and positive-cosmological-constant regimes, where linear analyses and rigorous spherical results indicate the answer may genuinely differ, thereby deciding which formulation of Penrose's strong cosmic censorship conjecture survives for charged black hole interiors.

Background

Charged black holes and the Cauchy horizon. The Reissner–Nordström (RN) solution of the Einstein–Maxwell equations (general relativity coupled to the electromagnetic field) describes a static, spherically symmetric black hole of mass $M$ and electric charge $Q_{*}$. In the sub-extremal case $Q_{*}^{2}<M^{2}$ (geometrized units, $G=c=1$) it has two horizons: an outer event horizon at $r_{+}=M+\sqrt{M^{2}-Q_{*}^{2}}$ and an inner horizon at $r_{-}=M-\sqrt{M^{2}-Q_{*}^{2}}$. The inner horizon is a Cauchy horizon: the boundary of the region uniquely determined by initial data on a complete spacelike hypersurface. An infalling observer crosses it in finite proper time, after which the future is no longer predictable from those data — determinism fails — even though in the exact RN solution nothing singular is measured at the horizon itself. The same structure occurs inside the rotating Kerr black hole and the charged rotating Kerr–Newman black hole. Penrose's strong cosmic censorship conjecture asserts that this loss of determinism is unstable: for generic initial data the maximal development (the largest spacetime region uniquely determined by those data) should be inextendible as a spacetime of suitable regularity, so Cauchy horizons should not occur generically. Which regularity class — continuous metric ($C^{0}$), once differentiable ($C^{1}$), twice differentiable ($C^{2}$), or square-integrable derivative ($H^{1}$) — is the right threshold is itself a live methodological question, because the verdict changes with the class. The linear instability. Simpson and Penrose (1973) found the first evidence that the RN inner horizon is unstable: a massive scalar test field falling into the hole is infinitely blueshifted at the Cauchy horizon, its measured frequency and energy flux diverging there. Chandrasekhar and Hartle (1982) — the source of the present problem — completed the linear analysis for gravitational and electromagnetic radiation (and massless scalar waves) by reducing wave propagation across the RN exterior to a one-dimensional potential-scattering problem. They showed that the flux of radiation received by an observer crossing the Cauchy horizon along a radial timelike geodesic diverges for all physically reasonable perturbations crossing the event horizon, including perturbations of compact support: radiation decaying towards the future on the event horizon is exponentially blueshifted relative to the infalling frame at the inner horizon. Since this flux sources second-order perturbation theory, its divergence signals the breakdown of the perturbative expansion itself. Linear theory cannot decide what the full nonlinear theory does: the divergence could mean the Cauchy horizon is destroyed and replaced by a spacetime singularity (as strong cosmic censorship requires), or it could be an artifact of expanding about the exact RN interior, with the true dynamically formed interior remaining nonsingular but modified. Mass inflation and weak null singularities. The nonlinear heuristic answer, due to Poisson and Israel (1989, 1990), is mass inflation: at the inner horizon the counter-streaming of ingoing and outgoing radiation drives the mass function — the mass aspect measured locally inside the hole — to grow without bound, replacing the Cauchy horizon with a null weak singularity: curvature blows up while the metric stays continuous and infalling observers feel only bounded tidal distortion. Ori (1991) constructed an exact local solution realizing mass inflation; Ori (1992, 1997) showed that the singularity inside a realistic rotating black hole is likewise expected to be a weak null one and that second-order perturbation theory indeed diverges there as the 1982 analysis suggested. For the spherically symmetric Einstein–Maxwell–scalar-field model, Dafermos (2003, 2005) turned the picture into a theorem: if the scalar field decays on the event horizon according to Price's law — the universal polynomial late-time tail, decaying like $v^{-3}$ in advanced time, predicted by Price (1972) — then the maximal development has a Cauchy horizon across which the spacetime is extendible as a $C^{0}$ metric but along which the Hawking mass (the mass functional associated with the spherical foliation) blows up identically, so the spacetime is inextendible as a $C^{1}$ metric. Thus, in the spherical sub-extremal asymptotically flat case the 1982 question is answered: mass inflation does occur, and the Cauchy horizon is a $C^{0}$-extendible but curvature-singular weak null surface; in a continuous-metric formulation of strong cosmic censorship this system is a counterexample, while finer formulations survive. Numerical evolutions of the nonlinear interior (Gnedin and Gnedin 1993; Chesler 2021) reproduce this structure. Without symmetry, the only nonlinear theorem is for the uncharged rotating case: Dafermos and Luk (2017 preprint, published 2025) proved that the Kerr Cauchy horizon is $C^{0}$-stable — the metric extends continuously across it — while the horizon is generically singular at the curvature level (a weak null singularity), so a 'rougher' formulation of strong cosmic censorship is expected to hold. The decay-rate competition and the regimes still open. Whether mass inflation 'wins' is a competition between the blue-shift at the inner horizon, set by the inner-horizon surface gravity (the horizon's blueshift strength), and the decay rate of exterior perturbations. Two regimes disturb the balance. With a positive cosmological constant ($\Lambda>0$; Reissner–Nordström–de Sitter and Kerr–Newman–de Sitter black holes), perturbations decay exponentially at rates governed by quasinormal modes — the discrete resonant frequencies controlling the late-time ringing of a disturbed black hole. Cardoso, Costa, Destounis, Hintz and Jansen (2018) found that in the near-extremal regime of Reissner–Nordström–de Sitter this decay is too slow to enforce a singularity at the Cauchy horizon, i.e. strong cosmic censorship is violated there; charged scalar fields enlarge the violation region (Mo et al. 2018; Dias, Reall and Santos 2019), while Kerr–de Sitter respects censorship for all non-extremal parameters (Dias, Eperon, Reall and Santos 2018), and Davey, Dias and Sola Gil (2024) mapped the transition across the Kerr–Newman–de Sitter parameter space. Rigorous spherical results confirm the pattern: Costa, Girão, Natário and Silva (2018) proved mass inflation under exponential decay assumptions, while Rossetti (2024) proved a genuine no-mass-inflation regime for near-extremal Reissner–Nordström–de Sitter with a charged scalar field, in which the Cauchy horizon is stable and extensions with continuous metric exist. At exactly extremal charge, $Q_{*}^{2}=M^{2}$, the inner-horizon surface gravity vanishes and the blueshift degenerates: Gajic proved that linear waves extend continuously through the Cauchy horizons of extremal Reissner–Nordström and axisymmetric extremal Kerr black holes with finite local energy — no blueshift instability at all at the linear level — and Dafermos (2025) frames the nonlinear dynamics of extremal black holes as an open conjectural program. For the rotating charged (Kerr–Newman) interior, with or without $\Lambda$, no nonlinear result exists; it is the principal untested frontier of the 1982 question.

Problem Statement

The problem posed by Chandrasekhar and Hartle's (1982) linear analysis, and developed in the subsequent literature, is to determine the nonlinear fate of the inner (Cauchy) horizon of charged black holes — the generic structure that replaces it in the maximal development of realistic initial data for the Einstein–Maxwell (plus matter) equations — and thereby the status of determinism, i.e. Penrose's strong cosmic censorship, inside charged black holes. For the original setting — a sub-extremal, asymptotically flat Reissner–Nordström black hole ($Q_{*}^{2}<M^{2}$, zero cosmological constant) — the question has been answered (mass inflation; a $C^{0}$-extendible but curvature-singular null weak Cauchy horizon in the spherical Einstein–Maxwell–scalar model; Dafermos 2003, 2005). The unresolved part of the problem is: (a) Rotating charged interiors: for Kerr–Newman black holes, with or without a positive cosmological constant, determine — without symmetry assumptions — whether the Cauchy horizon is generically destroyed by mass inflation, as in the spherical and vacuum Kerr cases, or admits regular extensions; no nonlinear result is currently known even under assumptions on the event-horizon geometry. (b) Extremal and near-extremal regimes: for $Q_{*}^{2}=M^{2}$ and its neighborhood (in charge and, for rotating holes, in angular momentum), determine whether perturbations remain bounded at the Cauchy horizon — as linear results for extremal Reissner–Nordström and extremal Kerr suggest — or whether nonlinear or slower-decaying mechanisms still generate singularities; characterize the strength (the excluded regularity class) of any singularity that forms. (c) Positive cosmological constant: for Reissner–Nordström–de Sitter and Kerr–Newman–de Sitter, determine for which parameter ranges — the near-extremal-charge and small-black-hole cases being required instances but not sufficient on their own — the competition between exterior quasinormal-mode decay and the inner-horizon blue-shift leaves the Cauchy horizon singular versus regularly extendible, and confirm or refute the linear-theory predictions at the nonlinear level — a regime with a positive cosmological constant, outside the source's original zero-cosmological-constant setting, posed as an extension in the later literature (Cardoso et al. 2018; Dias, Eperon, Reall and Santos 2018; Rossetti 2024). The three parts (a)–(c) name distinct families and regimes: settling one part does not by itself settle the others. The single scientific objective unifying these parts is the fate of the Cauchy horizon of charged black holes. For the families and parameter regimes named in (a)–(c), with a specified genericity class of the initial data and assumed exterior decay, the question is whether generic perturbations produce a curvature singularity at the Cauchy horizon and of what strength — i.e. which regularity class of extension ($C^{0}$, $C^{1}$, $C^{2}$, $H^{1}$) is excluded — or whether the spacetime admits a regular extension across the horizon (regular meaning an extension across which the curvature stays bounded, of class $H^{1}$ or better, so that a merely $C^{0}$-extendible horizon with divergent curvature — as in the resolved spherical template — is singular, not regular). The parts are linked by the same mechanism (the competition between exterior perturbation decay and inner-horizon blue-shift).

References

1. Michael Simpson and Roger Penrose, 'Internal instability in a Reissner–Nordström black hole', International Journal of Theoretical Physics 7, 183–197 (1973). DOI: 10.1007/BF00792069, https://doi.org/10.1007/BF00792069
2. Subrahmanyan Chandrasekhar and J. B. Hartle, 'On crossing the Cauchy horizon of a Reissner–Nordström black-hole', Proceedings of the Royal Society of London. Series A 384, 301–315 (1982). DOI: 10.1098/rspa.1982.0160, https://doi.org/10.1098/rspa.1982.0160
3. R. Penrose, '"Golden Oldie": Gravitational Collapse: The Role of General Relativity' (reprint of the 1969 original), General Relativity and Gravitation 34, 1141–1165 (2002). DOI: 10.1023/A:1016578408204, https://doi.org/10.1023/A:1016578408204
4. Richard H. Price, 'Nonspherical Perturbations of Relativistic Gravitational Collapse. I. Scalar and Gravitational Perturbations', Physical Review D 5, 2419–2438 (1972). DOI: 10.1103/PhysRevD.5.2419, https://doi.org/10.1103/PhysRevD.5.2419
5. E. Poisson and W. Israel, 'Inner-horizon instability and mass inflation in black holes', Physical Review Letters 63, 1663–1666 (1989). DOI: 10.1103/PhysRevLett.63.1663, https://doi.org/10.1103/PhysRevLett.63.1663
6. Eric Poisson and Werner Israel, 'Internal structure of black holes', Physical Review D 41, 1796–1809 (1990). DOI: 10.1103/PhysRevD.41.1796, https://doi.org/10.1103/PhysRevD.41.1796
7. Amos Ori, 'Inner structure of a charged black hole: An exact mass-inflation solution', Physical Review Letters 67, 789–792 (1991). DOI: 10.1103/PhysRevLett.67.789, https://doi.org/10.1103/PhysRevLett.67.789
8. Amos Ori, 'Structure of the singularity inside a realistic rotating black hole', Physical Review Letters 68, 2117–2120 (1992). DOI: 10.1103/PhysRevLett.68.2117, https://doi.org/10.1103/PhysRevLett.68.2117
9. M. L. Gnedin and N. Y. Gnedin, 'Destruction of the Cauchy horizon in the Reissner–Nordström black hole', Classical and Quantum Gravity 10, 1083–1102 (1993). DOI: 10.1088/0264-9381/10/6/006, https://doi.org/10.1088/0264-9381/10/6/006
10. A. Bonanno, S. Droz, Werner Israel and S. M. Morsink, 'Structure of the charged spherical black hole interior', Proceedings of the Royal Society of London. Series A 450, 553–567 (1995). DOI: 10.1098/rspa.1995.0100, https://doi.org/10.1098/rspa.1995.0100
11. Alfio Bonanno, 'Mass inflation in a rotating charged black hole', Physical Review D 53, 7373–7376 (1996). DOI: 10.1103/PhysRevD.53.7373, https://doi.org/10.1103/PhysRevD.53.7373
12. Amos Ori, 'Perturbative approach to the inner structure of a rotating black hole', General Relativity and Gravitation 29, 881–929 (1997). DOI: 10.1023/A:1018887317656, https://doi.org/10.1023/A:1018887317656
13. Mihalis Dafermos, 'Stability and instability of the Cauchy horizon for the spherically symmetric Einstein–Maxwell–scalar field equations', Annals of Mathematics (2) 158, 875–928 (2003). DOI: 10.4007/annals.2003.158.875, https://doi.org/10.4007/annals.2003.158.875
14. Mihalis Dafermos, 'The interior of charged black holes and the problem of uniqueness in general relativity', Communications on Pure and Applied Mathematics 58, 445–504 (2005). arXiv:gr-qc/0307013, https://arxiv.org/abs/gr-qc/0307013; DOI: 10.1002/cpa.20071, https://doi.org/10.1002/cpa.20071
15. Mihalis Dafermos and Jonathan Luk, 'The interior of dynamical vacuum black holes I: The $C^{0}$-stability of the Kerr Cauchy horizon', Annals of Mathematics (2) 202, 309–630 (2025). arXiv:1710.01722, https://arxiv.org/abs/1710.01722; DOI: 10.4007/annals.2025.202.2.1, https://doi.org/10.4007/annals.2025.202.2.1
16. Maxime Van de Moortel, 'Stability and instability of the sub-extremal Reissner–Nordström black hole interior for the Einstein–Maxwell–Klein–Gordon equations in spherical symmetry', Communications in Mathematical Physics 360, 103–168 (2018). DOI: 10.1007/s00220-017-3079-3, https://doi.org/10.1007/s00220-017-3079-3
17. João L. Costa, Pedro M. Girão, José Natário and Jorge Drumond Silva, 'On the occurrence of mass inflation for the Einstein–Maxwell-scalar field system with a cosmological constant and an exponential Price law', Communications in Mathematical Physics 361, 289–341 (2018). DOI: 10.1007/s00220-018-3122-z, https://doi.org/10.1007/s00220-018-3122-z
18. Vitor Cardoso, João L. Costa, Kyriakos Destounis, Peter Hintz and Aron Jansen, 'Quasinormal modes and strong cosmic censorship', Physical Review Letters 120, 031103 (2018). arXiv:1711.10502, https://arxiv.org/abs/1711.10502; DOI: 10.1103/PhysRevLett.120.031103, https://doi.org/10.1103/PhysRevLett.120.031103
19. O. J. C. Dias, F. C. Eperon, H. S. Reall and J. E. Santos, 'Strong cosmic censorship in de Sitter space', Physical Review D 97, 104060 (2018). arXiv:1801.09694, https://arxiv.org/abs/1801.09694; DOI: 10.1103/PhysRevD.97.104060, https://doi.org/10.1103/PhysRevD.97.104060
20. Oscar J. C. Dias, Harvey S. Reall and Jorge E. Santos, 'Strong cosmic censorship: taking the rough with the smooth', Journal of High Energy Physics 2018(10), 001 (2018). DOI: 10.1007/JHEP10(2018)001, https://doi.org/10.1007/JHEP10(2018)001
21. Yuyu Mo, Yu Tian, Bin Wang, Hongbao Zhang and Zhen Zhong, 'Strong cosmic censorship for the massless charged scalar field in the Reissner–Nordström–de Sitter spacetime', Physical Review D 98, 124025 (2018). DOI: 10.1103/PhysRevD.98.124025, https://doi.org/10.1103/PhysRevD.98.124025
22. Oscar J. C. Dias, Harvey S. Reall and Jorge E. Santos, 'Strong cosmic censorship for charged de Sitter black holes with a charged scalar field', Classical and Quantum Gravity 36, 045005 (2019). DOI: 10.1088/1361-6382/aafcf2, https://doi.org/10.1088/1361-6382/aafcf2
23. Dejan Gajic, 'Linear waves in the interior of extremal black holes I', Communications in Mathematical Physics 353, 717–770 (2016). arXiv:1509.06568, https://arxiv.org/abs/1509.06568; DOI: 10.1007/s00220-016-2800-y, https://doi.org/10.1007/s00220-016-2800-y
24. Dejan Gajic, 'Linear waves in the interior of extremal black holes II', arXiv:1512.08953 (2015), https://arxiv.org/abs/1512.08953
25. Paul M. Chesler, 'Numerical evolution of the interior geometry of charged black holes', General Relativity and Gravitation 53, 84 (2021). DOI: 10.1007/s10714-021-02853-9, https://doi.org/10.1007/s10714-021-02853-9
26. Flavio Rossetti, 'Strong cosmic censorship for the spherically symmetric Einstein–Maxwell-charged-Klein–Gordon system with positive $\Lambda$: stability of the Cauchy horizon and $H^{1}$ extensions', Annales Henri Poincaré 26, 675–753 (2024). DOI: 10.1007/s00023-024-01454-x, https://doi.org/10.1007/s00023-024-01454-x
27. Alex Davey, Oscar J. C. Dias and David Sola Gil, 'Strong cosmic censorship in Kerr–Newman–de Sitter', arXiv:2404.03724 (2024), https://arxiv.org/abs/2404.03724
28. Mihalis Dafermos, 'The stability problem for extremal black holes', General Relativity and Gravitation 57, 60 (2025). DOI: 10.1007/s10714-025-03394-1, https://doi.org/10.1007/s10714-025-03394-1