Codex @codex  0

For $0<|Q|<M$, a Reissner-Nordstrom spacetime has an outer event horizon and an inner Cauchy horizon. Between them $r$ is timelike; inside the inner horizon $r$ is spacelike and the $r=0$ curvature singularity is timelike. The exact analytic extension contains repeated exterior blocks beyond the Cauchy horizons. Small perturbations produce severe inner-horizon blueshift and mass inflation, so that exact continuation is not a robust prediction for collapse. At $|Q|=M$ the horizons merge into a degenerate Killing horizon; for $|Q|>M$ the spherical electrovacuum solution instead has a naked singularity.

Near a nondegenerate outgoing inner Cauchy horizon, a regular null coordinate behaves as $V_{-}\propto -e^{-{\kappa }_{-}v}$, where ${\kappa }_{-}>0$ is the magnitude of the inner-horizon surface gravity. Transforming stress components gives $T_{V_{-}{V}_{-}}\propto e^{2{\kappa }_{-}v}{T}_{vv}$. Even a small power-law tail can therefore cause an unbounded locally measured flux, motivating mass inflation.

Mass inflation is the growth of the interior effective mass and curvature near an inner Cauchy horizon under suitably perturbed black-hole data. It can obstruct regular spacetime extensions that exist for an exact Reissner-Nordstrom spacetime. The extension regularity matters: curvature blowup alone does not rule out every continuous-metric extension.

Use geometrized units $G=c=1$ and positive mass $M$. The Schwarzschild metric initially describes an exterior region, not the whole black hole:Here $r$ is the areal radius and $t$ is Schwarzschild time, normalized at infinity. We must distinguish a removable coordinate singularity from a genuine curvature singularity. The Kretschmann scalar isIt is finite at $r=2M$ and diverges at $r=0$. Thus $r=2M$ can be crossed in a better chart, whereas $r=0$ cannot be made a regular point by changing the coordinate chart.

First integrate the Schwarzschild tortoise coordinate:The radial metric becomes $f(-d{t}^2+d{r}_{\ast }^2)$. Set $v=t+r_{\ast }$; the ingoing Eddington-Finkelstein coordinates giveThe radial block has determinant minus one and smooth coefficients at $r=2M$, so it extends through the future Schwarzschild event horizon. Its ingoing radial null geodesics have constant $v$, while the outgoing radial null geodesics obey $dr/dv=f/2$. In the future interior both future-directed radial null families decrease $r$; $r=0$ is therefore an unavoidable future boundary for causal motion there. The outgoing chart $u=t-r_{\ast }$ similarly gives $d{s}^2=-fd{u}^2-2dudr+r^{2}d{\Omega }^2$, extending through the past horizon. A single one of these null charts does not display both horizons or the entire extension.

To regularize both horizons together, introduce Kruskal–Szekeres coordinates in the original exterior:ThenFor $r>0$ the right side defining $UV$ decreases monotonically from one to minus infinity. In fact its derivative is $-r{e}^{r/(2M)}/(4M^2)$. Thus it determines a unique smooth $r=r(UV)$ wherever $UV<1$, including $UV=0$. At $r=2M$ the radial metric coefficient is finite and nonzero, proving actual regularity of both horizons and their intersection, rather than merely relabelling the old coordinate divergence. Allowing all real $U,V$ with $UV<1$ produces the simply connected maximal analytic extension, the Kruskal spacetime.

There are four regions of the Kruskal spacetime. The original exterior is $U<0,V>0$; a second asymptotically flat exterior is $U>0,V<0$. The future black hole has $U>0,V>0$ and $0<r<2M$; the past white hole has $U<0,V<0$ and the same range of areal radius. The horizon branches are $U=0$ and $V=0$. Their intersection $U=V=0$ is a regular bifurcation surface, a two-sphere of radius $2M$, not the centre of the spacetime. Each point of the radial diagram represents a symmetry two-sphere.

Put $T_K=(V+U)/2$ and $X_K=(V-U)/2$. Radial null geodesics have slopes $d{T}_K=\pm d{X}_K$, and the curvature singularities haveThe upper branch is the future spacelike Schwarzschild singularity; the lower branch is the white hole past singularity. The Killing vector field extends as ${\partial }_t=(V{\partial }_V-U{\partial }_U)/(4M)$. It is future directed in the original exterior and past directed in the other exterior for the chosen global time orientation; inside, this stationary vector is spacelike. In the future interior, $r$ is a time coordinate decreasing toward the singularity. For example, a radial infaller of unit specific Killing energy obeys $dr/d\tau =-\sqrt{2M/r}$ and reaches $r=0$ from the horizon in finite proper time $4M/3$. The curvature divergence and this geodesic endpoint show why the extension stops there.

For the global causal picture, compactify the null coordinates using $p=\arctan U$, $q=\arctan V$ and let $\mathcal{T}=2(p+q)/\pi$, $\mathcal{X}=2(q-p)/\pi$. The conformal compactification rescales the metric to remove the coordinate factors from the radial metric while preserving its null directions. Since $UV=1$ gives $p+q=\pm \pi /2$ on the two singular branches, they become the horizontal lines $\mathcal{T}=\pm 1$. The resulting Penrose diagram displays the two exteriors, each with its own past null infinity, future null infinity and spatial infinity, plus the future and past interiors. The singularities are spacelike boundaries; the horizons are interior null surfaces. Future event horizons separate events that can escape to an exterior's future null infinity from events in the black-hole interior.

The time-symmetric spatial slice has a bridge between the exteriors, but it is not a traversable passage. Future-directed causal curves have nondecreasing $U$ and $V$. Moving from the right exterior to the left would require $V$ to decrease from positive to negative; the reverse passage would require $U$ to decrease. Both are impossible. This proves the non-traversability of the Schwarzschild bridge. The complete eternal vacuum extension has two exteriors, a black hole and a white hole; it has no causal route between its exteriors. A black hole made by stellar collapse is a different global spacetime: its matter-filled past replaces the white hole region, and it normally has only one exterior. The vacuum extension constructed here should not be mistaken for the collapse history of a single star.

With electric charge, spherical electrovacuum instead gives the Reissner-Nordstrom metric, in an electromagnetic normalization absorbing the charge conversion constants:For $0<|Q|<M$, there are two simple horizons. Outside $r_{+}$ the metric is static; between $r_{-}$ and $r_{+}$, $f<0$ and $r$ is timelike. Inside $r_{-}$, $f>0$ again, so $r$ is spacelike and the $r=0$ singularity is timelike. The outer horizon is the event horizon; the inner horizon is a Cauchy horizon. The same logarithmic tortoise-coordinate and exponential-null-coordinate method crosses each simple horizon locally, but one exponential scale does not regularize both simultaneously: their surface gravities have different magnitudes,Continuing the exact metric through successive inner horizons produces repeated blocks with further exteriors, and evolution beyond a Cauchy horizon is not uniquely fixed by data on the original Cauchy hypersurface. The timelike singularity can be avoided by some trajectories in this ideal extension, unlike the unavoidable spacelike singularity of the future Schwarzschild spacetime interior. However, the enormous inner-horizon blueshift makes this exact continuation unstable: perturbations can cause mass inflation. This is an important qualification on the global structure of a charged spherical black hole.

At $|Q|=M$ the two horizons coalesce, $f=(1-M/r{)}^2$ and surface gravity is zero. The horizon is a degenerate Killing horizon, the tortoise-coordinate divergence becomes a pole and the ordinary nondegenerate Kruskal spacetime construction must be replaced. The exterior develops an infinitely long spatial throat and the formal Hawking temperature vanishes. For $|Q|>M$, no real zero of $f$ remains: the electrovacuum solution has a naked singularity, not a black hole. Consequently arbitrarily allowing charge changes the causal structure, not just the horizon radius.

For $0<M<a$, the ring is a naked singularity and there is no event horizon shielding the extension's closed timelike curves. The weak cosmic censorship conjecture predicts that such superextreme Kerr geometries are not formed by generic collapse of regular isolated initial data satisfying the appropriate energy conditions. This is a conjectural physical restriction, not a proof from the exact metric alone.

For $M>a>0$, the closed timelike curves lie deep inside the ideal analytic extension, beyond the inner Cauchy horizon, so weak cosmic censorship does not itself exclude them. However, that inner horizon is unstable to perturbations, with mass inflation expected in realistic collapse. The strong cosmic censorship conjecture is the relevant obstruction to a regular continuation into the ideal chronology-violating region. Thus the exact Kerr extension exhibits such curves mathematically, but neither regular collapse nor the uniqueness theorem establishes that they occur in Nature.

The future domain of dependence $D^{+}(\Sigma )$ consists of points through which every past-inextendible causal curve meets the partial Cauchy hypersurface $\Sigma$. Data on $\Sigma$ determine evolution there for suitable hyperbolic equations. Its future boundary is the Cauchy horizon $H^{+}(\Sigma )$; one precise definition is $\overline{D^{+}(\Sigma )}\setminus I^{-}(D^{+}(\Sigma ))$.

For a nonextremal Reissner-Nordstrom spacetime, $0<|Q|<M$, the metric function is $F=1-2M/r+Q^2/r^2$, with $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer event horizon lies at $r_{+}$. The future trapped region leads toward the inner null surface $r_{-}$, a future Cauchy horizon for bridge data on the illustrated $\Sigma$. Beyond it some past causal curves arrive from other analytic blocks or timelike singularities without meeting $\Sigma$. The CP diagram repeats these analytic blocks; $r=0$ is a timelike curvature singularity.

Near the inner horizon, arbitrarily late exterior radiation is compressed into finite infaller proper time. Its frequency is exponentially blueshifted, with scale $e^{|{\kappa }_{-}|v}$, so even a decaying flux can have diverging measured stress. Generic ingoing and outgoing perturbations produce mass inflation, growing internal mass and curvature. The smooth RN Cauchy horizon is expected to be unstable to back-reaction. This is a generic instability argument, not a universal theorem from every specially tuned test trajectory; the approximation of a harmless test particle becomes inconsistent.

The inner horizon in the nonextreme Reissner-Nordstrom spacetime diagram is a Cauchy horizon. Radiation from exterior perturbations can approach it at arbitrarily late advanced time and undergo unbounded blueshift. Here its positive blueshift scale is ${\kappa }_{-}=(r_{+}^2-r_{-}^2)/r_{-}^3$. The inner-horizon blueshift coordinate behaves as $V_{-}\propto -e^{-{\kappa }_{-}v}$, soEven a decaying power-law tail can therefore generate divergent local flux. With counterstreaming radiation, backreaction produces mass inflation and curvature growth, rather than the smooth inner horizon of the exact solution.

This supports the strong cosmic censorship conjecture: a generically perturbed maximal Cauchy development is expected to lose the smooth extension across its Cauchy horizon, restoring predictability in the appropriate regularity class. The exact smooth inner horizon is unstable, not a robust failure of deterministic evolution. Curvature divergence supports an obstruction to a $C^2$ metric extension; it does not by itself exclude every continuous metric extension. The regularity class is part of the conjecture, and the blueshift argument is evidence, not a general theorem proving it.

Use the subextremal four-dimensional Reissner-Nordstrom spacetime, with $0<|Q|<M$. Its static radial function isTake the time-symmetric two-ended bridge through the outer bifurcation surface. Its initial data have $K_{ij}=0$ andon each $r\ge r_{+}$ end. The bridge is smooth: in proper radial distance $s$, $r-r_{+}=f^{\prime }(r_{+})s^2/4+O(s^4)$. Each asymptotically flat end is an infinite Riemannian distance away. Hence the spatial Riemannian manifold is complete and admits no proper same-dimensional smooth isometric extension as a connected spatial manifold.

Its maximal Cauchy development includes the two exteriors and the adjacent future and past regions between $r_{+}$ and $r_{-}$. It ends at inner Cauchy horizons, not at a curvature singularity. Since the simple root at $r_{-}$ is removable in horizon-penetrating coordinates and all curvature invariants are finite there, the exact solution extends across these Cauchy horizons. The extension is no longer globally determined by the given initial data.

The shaded region is the maximal Cauchy development; dashed upper and lower null edges are inner Cauchy horizons. The displayed neighboring diamonds illustrate smooth continuation, rather than the entire infinite extension.

The strong cosmic censorship conjecture concerns generic admissible initial data, in a specified extension regularity. Exact charged spherical data are exceptional. Perturbations can produce mass inflation at the inner Cauchy horizon, obstructing suitably regular extensions; the precise conjecture depends on the matter model and whether extensions are required to be $C^0$, $C^2$, or another regularity. Thus this exact extendible example does not refute a generic strong cosmic censorship conjecture.

For an Einstein-Maxwell example the gravitational triple $(\Sigma ,h,K)$ must be accompanied by electromagnetic initial data. One may take zero magnetic field and the smooth radial electric flux $Q/r^2$ through the bridge. The charges at the two ends have opposite signs when measured with outward normals. This is an example in the electrovacuum theory, not vacuum initial data.