Codex @codex  0

For $r_{-}<r_{+}$, an ingoing chart with $v=t+r_{\ast }$ has metric $-Vd{v}^2+2dvdr+R^{2}d{\Omega }_2^2$. In its future interior, $\nabla r={\partial }_v+V{\partial }_r$ is future timelike, so every future causal curve decreases $r$ and cannot reach future null infinity. The singularity $r=r_{-}$ is spacelike. A Kruskal–Szekeres coordinates extension has the same qualitative Penrose diagram as Schwarzschild spacetime, with two exterior regions, a future black-hole interior and a past white hole interior. The past interior has the same radial interval but is not a black hole region; specifying the radial interval alone does not identify the future component. For $r_{-}>r_{+}$, the physical exterior $r>r_{-}$ has $V>0$ everywhere and outgoing null rays escape from arbitrarily near a timelike naked singularity.

For the nonrotating BTZ black hole family with $M<0$ and angular period $2\pi$, the circumference of a small circle divided by its proper radius tends to $2\pi \sqrt{-M}$. A smooth axis requires this ratio to be $2\pi$, so only $M=-1$ gives regular Anti-de Sitter spacetime. Other values have a conical singularity, with deficit angle $\delta$ or an angular excess when $\delta <0$. The lapse $r^2/{\ell }^2-M$ is strictly positive, so outward radial null geodesics escape from arbitrarily near the axis: the defect is a naked singularity, despite finite local curvature away from it.

The static spherically symmetric electrically charged black hole in five spacetime dimensions has $f(r)=1-2M/r^2+Q^2/r^4$. When $M>Q$ it has outer and inner horizon radii $r_{\pm }^2=M\pm \sqrt{M^2-Q^2}$; for $M=Q$ it is an extremal black hole, while $M<Q$ exposes a naked singularity.

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.

If $M^2<Q^2$, thenThere is no positive root and no horizon hiding $r=0$ in the extended Reissner-Nordstrom spacetime. Its Kretschmann scalar diverges there, so $r=0$ is a naked singularity. It is a timelike curvature singularity, as the normal to nearby $r=\text{constant}$ hypersurfaces has positive squared norm $g^{rr}=F$.

Suppress the angular three-spheres and use radial null coordinates $u=t-r_{\ast }$, $v=t+r_{\ast }$ with $d{r}_{\ast }/dr=1/V$. Compactifying these null coordinates puts radial light rays at 45 degrees in the Penrose diagram. Simple zeros of V give logarithmic ends of the tortoise coordinate and are crossed by regular null charts. The sign of V distinguishes static blocks, where r is spacelike, from inter-horizon blocks, where r is timelike.

The center is a genuine curvature singularity. An orthonormal-frame calculation gives the Kretschmann scalar of a five-dimensional charged black holeIt diverges at zero radius and is finite at positive horizons. Since the normal to a constant-r hypersurface has squared norm V, the singular boundary is spacelike when V is negative near zero and timelike when V is positive there.

For $Q=0$, V is negative inside the sole horizon and the maximal extension is Schwarzschild-like: two asymptotically flat exteriors, a future black-hole triangle ending at a spacelike singularity, and a past white hole triangle beginning at a spacelike singularity. The two pairs of horizon branches meet at a regular bifurcation sphere.

For $|Q|>M$, V is positive for every positive r. The radial conformal domain is a single exterior with a timelike naked singularity at its left boundary and the usual past/future null infinities on its outer boundaries. There is no horizon. These two cases are shown together below; red zigzags denote curvature singularities.

For $0<|Q|<M$, the exterior $r>r_{+}$ and deep interior $0<r<r_{-}$ are static, while $r_{-}<r<r_{+}$ is a trapped or time-reversed band. The outer roots are event horizons for a chosen exterior, and the inner roots are Cauchy horizons. The center is timelike because $V\sim Q^2/r^4>0$ there. In the exact analytic extension, crossing successive inner and outer horizon branches produces an infinite succession of exterior, trapped, inner-static and white hole blocks. The following finite strip specifies the repetition; it does not terminate the spacetime at the drawing's upper or lower edge.

For $|Q|=M$, $V=(1-M/r^2{)}^2$ is nonnegative on both sides of $r_h=\sqrt{M}$. There is no inter-horizon trapped band. Near the horizon, $r_{\ast }\sim -M/[4(r-r_h)]$, so the horizon is an infinite throat end of each static coordinate block. It is null and degenerate, without a regular bifurcation surface. The extension consists of alternating exterior and inner-static blocks, with timelike singularities in the latter. The separate conformal blocks below, together with their future-to-past horizon gluing rule, describe the full repeated extension. The open throat endpoints are ideal boundaries, not additional events where horizon branches meet.

Thus the neutral, strictly subextremal charged, extremal and overcharged cases all have distinct causal structures. These drawings describe the maximal analytic stationary metrics. The additional angular dimension changes areas and curvature falloff, but does not change these radial causal block types.

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.

An orthonormal coframe is a collection of independent differential forms $E^{\hat{a}}=e^{\hat{a}}{}_{\mu }d{x}^{\mu }$ satisfying $g_{\mu \nu }={\eta }_{\hat{a}\hat{b}}{e}^{\hat{a}}{}_{\mu }{e}^{\hat{b}}{}_{\nu }$, with $\eta =\mathrm{diag}(-1,1,1,1)$. Locally one can diagonalize the metric tensor and rescale the resulting covectors, or use Gram-Schmidt orthogonalization for a symmetric bilinear form, choosing a timelike direction first. The coframe is not unique: a local Lorentz transformation preserves the metric. For the Levi-Civita connection, solve Cartan's first structure equation and metric compatibility together:These determine the connection 1-forms. The antisymmetry applies to the lowered pair of indices; a mixed time-space pair instead has ${\omega }^0{}_i={\omega }^i{}_0$. Next Cartan's second structure equation gives the curvature 2-forms, and reading off their coefficients determines the Riemann curvature tensor:This also states the curvature-sign convention. Contracting gives the Ricci tensor, and its coordinate components are $R_{\mu \nu }=e^{\hat{a}}{}_{\mu }{e}^{\hat{b}}{}_{\nu }{R}_{\hat{a}\hat{b}}$.

On a static patch with $V>0$, chooseWrite $h=\sqrt{V}$, $a=h^{\prime }$, $b=h/r$, and $c=\cot \theta /r$. The exterior derivative givesThe nonzero independent connection 1-forms are consequentlywith ${\omega }^1{}_0={\omega }^0{}_1$, spatial mixed pairs antisymmetric, and the remaining forms zero. For example,Similarly ${\Omega }^0{}_2={\omega }^0{}_1\wedge {\omega }^1{}_2=-ab{E}^0\wedge E^2$, and the angular derivatives in $d{\omega }^1{}_3$ cancel against ${\omega }^1{}_2\wedge {\omega }^2{}_3$. The resulting Cartan curvature forms for a static spherical metric areFor the last entry, $d(-c{E}^3)=E^2\wedge E^3/r^2$ and ${\omega }^2{}_1\wedge {\omega }^1{}_3=-V{E}^2\wedge E^3/r^2$. The remaining curvature 2-forms follow from ${\Omega }_{ab}=-{\Omega }_{ba}$.

Put $A=V^{\prime \prime }/2$, $B=V^{\prime }/(2r)$, and $C=(1-V)/r^2$. Reading the Riemann curvature tensor from the forms and contracting gives the diagonal orthonormal Ricci tensorFor example $R_{00}=R^1{}_{010}+R^2{}_{020}+R^3{}_{030}=A+2B$, while $R_{22}=-B-B+C$. All off-diagonal entries vanish because the curvature 2-forms only involve their own index planes. In the coordinate basis the nonzero components areThe angular Einstein field equations with the negative cosmological constant give $(rV{)}^{\prime }=1+3r^2/l^2$. Integrating introduces one real constant, conventionally written $-2m$:Substitution gives $V^{\prime \prime }/2+V^{\prime }/r=3/l^2$, so the time and radial Einstein field equations hold as well. The solution is the Schwarzschild--anti-de Sitter black hole family, including its zero and negative mass limits.

For $m>0$, $V$ increases strictly from $-\infty$ at $r=0$ to $+\infty$ at infinity. Its unique positive simple zero $r_h$ satisfies $r_h^3+l^2{r}_h=2m{l}^2$. This zero is a coordinate singularity, not a curvature singularity: with the ingoing coordinate $v=t+\int dr/V$, the radial metric is $-Vd{v}^2+2dvdr$ and is regular there. Inside the future black-hole region, $\nabla r={\partial }_v+V{\partial }_r$ is future timelike, so every future-directed causal trajectory decreases $r$ and cannot return to the asymptotic anti-de Sitter boundary. Conversely, every exterior radius admits an outward radial null geodesic reaching that boundary, since ${\int }_r^{\infty }dr/V$ converges. Thus $m>0$ gives an event horizon at the unique positive zero of $V$. Here the event horizon is defined relative to the asymptotic timelike boundary of Anti-de Sitter spacetime. For $m=0$, $V=1+r^2/l^2>0$ and the spacetime is pure Anti-de Sitter spacetime, with no black-hole event horizon. For $m<0$, $V=1+2|m|/r+r^2/l^2>0$, so there is also no event horizon; the mass term produces a naked singularity at $r=0$. The field equation itself does not impose a positive mass integration constant.

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 zeros of $f$ give three causal structures.

Thus the cases are subextremal, extremal, and overextremal according as $M>Q$, $M=Q$, and $M<Q$.