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.

Choose Kruskal–Szekeres coordinates with the right exterior at $U<0,V>0$ and $UV=(1-r/(2M))e^{r/(2M)}$. The ingoing Painlevé–Gullstrand coordinates cover that exterior and the future black-hole region $U>0,V>0$, together with their common future horizon. They exclude the other exterior, the white hole, the bifurcation sphere and the singularity. Indeed $\tau =v+F(r)-r_{\ast }(r)$, with $v=4M\log V$ and $F^{\prime }=\sqrt{2M/r}/f$; the difference $F-r_{\ast }$ is finite at $r=2M$, whereas $V=0$ requires infinite coordinate time.

This radial spacetime diagram uses Kruskal–Szekeres coordinates to display both exteriors, the black hole and the white hole of maximally extended Schwarzschild spacetime. Each point represents a symmetry two-sphere. Radial null geodesics have slopes $\pm 1$ in the displayed coordinates; the horizons are $T_K=\pm X_K$ and the singularities satisfy $T_K^2-X_K^2=1$ in the usual normalization. A further compactification gives the corresponding Penrose diagram.

The Kruskal spacetime is the maximal analytic extension of the positive-mass vacuum Schwarzschild spacetime. It contains two exterior regions, a black hole, and a white hole. Kruskal–Szekeres coordinates remove both horizon coordinate singularities, while $r=0$ remains a curvature singularity.

In Kruskal–Szekeres coordinates, every future-directed radial causal curve has nondecreasing $U$ and $V$. The right exterior has $U<0,V>0$, while the left has $U>0,V<0$. No future-directed causal curve can travel between the exteriors because it would have to decrease one null coordinate. The spatial bridge on a time-symmetric slice is therefore not a traversable passage.

A null coordinate is a coordinate function $u$ whose gradient is null, $g^{ab}{\partial }_{a}u{\partial }_{b}u=0$. Its level sets are null hypersurfaces. Pairs of such coordinates straighten radial null directions in two-dimensional orbit metrics; a monotone reparametrization of either function preserves its null level sets. Examples include the retarded and advanced null coordinates and the radial Kruskal–Szekeres coordinates.

Take $M>0$ and write $f=1-2M/r$. Integrating $d{r}_{\ast }/dr=f^{-1}$ gives the Schwarzschild tortoise coordinateThe advanced and retarded Eddington-Finkelstein coordinates are respectively $v=t+r_{\ast }$ and $u=t-r_{\ast }$. Substituting $dt=dv-dr/f$ or $dt=du+dr/f$ givesBoth radial-time blocks have determinant $-1$ and smooth coefficients at $r=2M$. Consequently the Schwarzschild event horizon is a coordinate singularity of the original chart, not a degeneracy of the geometry. The Kretschmann scalar $48M^2/r^6$ is finite there, while it diverges at $r=0$. Angular coordinate degeneracies at the polar axes are removed separately by ordinary sphere charts.

The Ingoing Eddington-Finkelstein coordinates extend the right exterior through its future black hole horizon. Radial null geodesics obey either $dv=0$ or $dr/dv=f/2$. Inside $r=2M$, the latter also moves towards smaller $r$ as $v$ increases, and the future-directed ingoing family has decreasing $r$. Thus neither family can escape to the exterior. The future horizon is the boundary separating points that can send signals to future null infinity from those that cannot. The retarded chart extends through the past horizon instead. Reversing the time orientation gives the white hole: future-directed signals can leave it, but exterior signals cannot enter it. These are distinct branches in the eternal extension; the white-hole branch need not occur in a spacetime formed by collapse.

For a simultaneous extension through both branches, start in the right exterior and define the Kruskal–Szekeres coordinatesTheir product and the extended metric areIndeed $du=-4MdU/U$ and $dv=4MdV/V$ transform $-fdudv$ into the displayed expression. The function of $r$ on the right of the product relation has derivative $-r{e}^{r/(2M)}/(4M^2)$, nonzero at $r=2M$, so $r$ is a smooth function of $UV$ across zero. The coefficient of $dUdV$ there is $-16M^2/e$, finite and nonzero. Allowing either sign of $U,V$ therefore gives the regular maximal extension with $UV<1$ and $r>0$.

With $T_K=(V+U)/2$ and $X_K=(V-U)/2$, the radial metric is a positive multiple of $-d{T}_K^2+d{X}_K^2$. The two exterior regions have $(U,V)=(-,+)$ and $(+,-)$. The future interior, or black hole region, has $(+,+)$; the past interior, or white hole region, has $(-,-)$. The Killing horizons are $U=0$ and $V=0$, meeting on the bifurcation surface at $U=V=0$.

For the Penrose diagram, compactify the null variables before forming time and space:This Schwarzschild conformal compactification preserves radial null directions because $dUdV={\sec }^2\bar{U}{\sec }^2\bar{V}(d{T}^2-d{X}^2)$. The ranges $|\bar{U}|,|\bar{V}|<\pi /2$ bound the diagram, and $UV<1$ cuts off its future and past tips. On $UV=1$ with $U,V>0$, $\bar{U}+\bar{V}=\pi /2$, so the future curvature singularity is $T=\pi /4$. The past curvature singularity is similarly $T=-\pi /4$. Both have $|X|<\pi /4$ and are spacelike. The horizon lines remain $T=\pm X$.

Each point of this radial Penrose diagram represents a two-sphere, except at limiting boundaries. Each exterior has its own future and past null infinity, ${\mathcal{I}}^{+}$ and ${\mathcal{I}}^{-}$. For example in the right exterior, $V\to \infty$ at fixed $U<0$ gives ${\mathcal{I}}^{+}$, whereas $U\to -\infty$ at fixed $V>0$ gives ${\mathcal{I}}^{-}$. Its spacelike infinity is $(T,X)=(0,\pi /2)$; its future and past timelike infinity are the vertices $(\pi /4,\pi /4)$ and $(-\pi /4,\pi /4)$. The left exterior has the reflected counterparts. These conformal boundary points are ideal endpoints, not finite-distance spacetime events; the physical affine or proper parameters of escaping geodesics diverge.

The horizons are regular null surfaces, while the horizontal $r=0$ boundaries are genuine curvature singularities. The central point represents the regular bifurcation surface, not a singularity. Future-directed radial causal curves have nondecreasing $U,V$, so a curve cannot go from one exterior to the other: changing the requisite signs would require one null variable to decrease. Crossing a future horizon instead leads towards the future singularity. The maximal extension has two causally disconnected exteriors, a future black-hole region and a past white-hole region.

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.

Hawking radiation is a prediction of quantum field theory in curved spacetime, not of classical collapse alone. Consider a free massless Klein-Gordon field in the collapse vacuum for Hawking radiation: initially no incoming particles from past null infinity, with the short-distance state regular for freely falling observers through the forming event horizon. At late times use the approximately fixed exterior Schwarzschild metric; neglect backreaction during the observation interval. First set $G=c=\hslash =k_B=1$.

The exterior metric has $f(r)=1-2M/r$. Introduce the tortoise coordinate and outgoing and ingoing null coordinates,The surface gravity is $\kappa =1/(4M)$. The logarithm in $r_{\ast }$ makes a late escaping ray spend a long exterior coordinate time close to the event horizon. One of the regular outgoing Kruskal–Szekeres coordinates is proportional to $-e^{-\kappa u}$. Smooth propagation backwards through the collapsing body relates this regular coordinate to the incoming coordinate on past null infinity. If $v_H$ labels the last ray able to escape, the late-time Hawking exponential ray map is consequentlyHere the symbol $u(v)$ is the outgoing retarded time evaluated on the ray; the first equation is the leading asymptotic relation, with subleading corrections that vanish at late times. The constant $C$ depends on collapse history, whereas the exponential rate is determined by the final surface gravity. The relation follows from a nondegenerate Killing horizon; a linear ray map would not have the same effect.

An outgoing positive-frequency mode at future null infinity behaves as $p_{\omega }\sim e^{-i\omega u}/\sqrt{4\pi \omega }$, where $\omega >0$ is measured with respect to the asymptotic stationary time. In the near-horizon geometric optics approximation its backward-propagated form on past null infinity isThis is not purely positive frequency in $v$. Its decomposition into incoming positive-frequency modes $f_{{\omega }^{\prime }}\sim e^{-i{\omega }^{\prime }v}/\sqrt{4\pi {\omega }^{\prime }}$ and their complex conjugates is a Bogoliubov transformation:The coefficients follow from the Klein-Gordon inner product, or equivalently from the Fourier transform with the indicated flux normalization. Writing $y=v_H-v$ and $a=\omega /\kappa$, the two Fourier integrals, after a convergence regulator, areThe equality is the defining integral of the Gamma function, continued to these arguments from the right half-plane. Up to phases of unit modulus, $\alpha$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{+}/(2\pi )$ and $\beta$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{-}/(2\pi )$. Taking $ϵ\downarrow 0$ on the principal branches, the arguments of $ϵ\pm i{\omega }^{\prime }$ tend to $\pm \pi /2$. Thus $|I_{+}|\propto e^{\pi a/2}$ and $|I_{-}|\propto e^{-\pi a/2}$, giving the thermal ratio of Hawking Bogoliubov coefficientsIn particular, using $|\Gamma (1+ia){|}^2=\pi a/\sinh (\pi a)$,The collapse-dependent phases and $C$ disappear from the ratio. The canonical identities for a bosonic Bogoliubov transformation state that the positive-frequency norm minus the negative-frequency norm is one for a normalized outgoing mode. Combining that identity with the thermal ratio yields the late-time mean occupationThese are the Bose-Einstein distribution and the Hawking temperature. Strictly, monochromatic modes have delta-function normalization, and $\int d{\omega }^{\prime }|{\beta }_{\omega {\omega }^{\prime }}{|}^2$ contains the infinite-duration divergence $\int d{\omega }^{\prime }/{\omega }^{\prime }$. Normalized wave packets with a finite frequency band and a finite retarded-time window remove this artifact. For sufficiently late packets the occupation is the frequency average of the displayed thermal factor, tending to it for a narrow band. Fermionic fields instead give the corresponding denominator $e^{2\pi \omega /\kappa }+1$ because their canonical normalization uses anticommutators.

Four-dimensional propagation adds an important qualification to the word thermal. Separation of the massless Klein-Gordon equation into spherical harmonics gives an exterior radial scattering potentialOnly a fraction ${\Gamma }_{\ell }(\omega )$ of the outgoing mode is transmitted to future null infinity; this is the greybody factor. The scalar particle flux there isThe factor $2\ell +1$ counts the angular modes, and multiplication by $\omega$ gives the spectral energy flux. An observer at infinity therefore receives an outgoing thermal population filtered by curvature scattering, rather than an exact unfiltered blackbody spectrum. In physical units, for mass $M_{\mathrm{phys}}$,There is no incoming thermal bath in the collapse vacuum for Hawking radiation. The outgoing flux has positive Killing energy; its counterpart inside the event horizon can carry negative Killing energy. Including the expectation value of the stress-energy tensor in the gravitational evolution allows the mass to decrease. The fixed-background derivation describes the slowly evolving semiclassical regime and does not determine the endpoint of evaporation. Quantum expectation values need not satisfy the classical null energy condition, so this loss of area is not a contradiction of the classical second law of black-hole mechanics. The essential late-time universality is the combination of a regular initial quantum state and the exponential redshift at the newly formed event horizon.

Set $r_H=2m$. Since $f^{\prime }(r_H)=2\kappa$, the integrand defining the tortoise coordinate has a simple pole:where $h$ is analytic near $r_H$. Define the Kruskal–Szekeres coordinates in the right exterior by $U=-e^{-\kappa u}$ and $V=e^{\kappa v}$. ThenThe right-hand side has positive nonzero derivative at $r_H$. Continuing this relation analytically, rather than retaining an absolute value, makes $r$ an analytic function of $UV$ through both signs. The Kruskal extension across a simple static horizon has metricIts radial coefficient tends to $-2e^{-2\kappa h(r_H)}/\kappa$, finite and nonzero, while $R(r_H{)}^2=4m^2\cosh \alpha$. Therefore both null surfaces $U=0$ and $V=0$ are regular horizon branches, intersecting at a smooth two-sphere $U=V=0$.

The stationary Killing vector field becomesIt is null, tangent and normal on each horizon branch and vanishes on their intersection. This proves that $r=2m$ is a bifurcate Killing horizon, with bifurcation surface of area $\boxed{A_H=16\pi m^2\cosh \alpha }$. The exponential definitions specify one exterior; allowing all signs of $U,V$ supplies the remaining quadrants of the extension.

There is only one zero of $f$, at $r=2m$, and the Kruskal–Szekeres coordinates give four quadrants. Both exterior quadrants have $r>2m$, while the future and past interior quadrants have $0<r<2m$. The tortoise coordinate is finite at $r=0$: for $q>0$, $d{r}_{\ast }/dr\sim -\sqrt{q}{r}^{1/2}/(2m)$, and for $q=0$ it is $-r/(2m)$. Throughout each interior $g^{rr}=f<0$, so constant-$r$ hypersurfaces are spacelike. The assumed curvature singularity at $r=0$ therefore forms a spacelike future boundary in the black-hole region and a spacelike past boundary in the white-hole region. At infinity, $f\to 1$ and $R/r\to 1$, giving two standard asymptotically flat ends.

The resulting Penrose diagram is the same four-region causal diagram as the maximal Schwarzschild spacetime:

Each exterior has its own past null infinity, future null infinity, spatial infinity and timelike infinities. The future and past event horizons intersect on the bifurcation surface. The diagram describes the eternal analytic solution; a spacetime formed by collapse need not contain its white-hole region or second exterior.

Unlike a nonextreme Reissner-Nordstrom black hole, this electrically charged solution has one horizon and spacelike singularities, with no inner Cauchy horizon. A nonextreme Reissner-Nordstrom solution has two distinct horizons, including an inner Cauchy horizon, and a timelike singularity; its ideal maximal extension contains an infinite sequence of exterior and interior blocks. Charge by itself does not determine this causal structure: the metric and field equations of the gravitational theory matter.

Assume $M>0$ and use geometric units. The stationary Killing vector field $K={\partial }_t$ gives the conserved Killing energy $E=-g(K,U)=f\dot{t}$. For radial motion, normalization of the four-velocity gives $-f{\dot{t}}^2+f^{-1}{\dot{r}}^2=-1$. Combining these identities yieldsAt rest at infinity, $f\to 1$ and $\dot{r}\to 0$, so $E=1$. Choose the inward branch $\dot{r}=-\sqrt{2M/r}$. Its proper time from the Schwarzschild event horizon to the curvature singularity isIn ordinary units this is $4GM/(3c^3)$. The endpoint $r=0$ is not a regular centre of the spacetime. This is the Schwarzschild horizon-to-singularity proper time for fall from infinity, rather than a universal time for all infall energies.

For this geodesic congruence, set $w(r)=\sqrt{2M/r}$. Its four-velocity and metric dual areThe right side is an exact one-form because $w/f$ depends only on $r$. Thus $U_a=-{\partial }_a\tau$, with free-fall proper time in Schwarzschild spacetime determined byIndeed $U^a{\partial }_a\tau =-U^a{U}_a=1$, so this scalar advances by the actual proper time on every member of the infalling geodesic congruence, with a synchronized choice of additive offsets.

Substitution of $dt=d\tau -w{f}^{-1}dr$ in the Schwarzschild metric givesUsing $f=1-w^2$, the Painlevé–Gullstrand coordinates therefore haveAll coefficients are finite at $r=2M$; the determinant of the $\tau ,r$ block is $-f-w^2=-1$. Hence the horizon is a coordinate singularity of Schwarzschild time, not a degeneracy of the metric. The new spatial slices have $d{\ell }^2=d{r}^2+r^{2}d{\Sigma }^2$, the flat Euclidean metric, and $g^{ab}{\partial }_a\tau {\partial }_b\tau =-1$ makes their normals the freely falling four-velocities. By contrast, the curvature scalar $R_{abcd}{R}^{abcd}=48M^2/r^6$ diverges at $r=0$; this genuine singularity is not removed.

For Ingoing Eddington-Finkelstein coordinates, use $v=t+r_{\ast }$ with $d{r}_{\ast }/dr=f^{-1}$, for example $r_{\ast }=r+2M\log |r/(2M)-1|$. ThenBoth constructions cross the future horizon. Their time functions have different meanings: $v=\text{constant}$ is an ingoing null hypersurface, whereas $\tau =\text{constant}$ is a flat spacelike hypersurface orthogonal to the infallers. Thus the former is adapted to ingoing null geodesics, and the latter to a timelike free-fall clock congruence.

For the Kruskal diagram, choose Kruskal–Szekeres coordinates with $U_K=-e^{-(t-r_{\ast })/(4M)}$, $V_K=e^{(t+r_{\ast })/(4M)}$ in the right exterior and extend them across its horizon. They obeyThe four regions of Kruskal spacetime are I, the right exterior $(U_K<0,V_K>0)$; II, the future black hole $(U_K>0,V_K>0)$; III, the other exterior $(U_K>0,V_K<0)$; and IV, the past white hole $(U_K<0,V_K<0)$. The null axes are horizons, their intersection is the bifurcation two-sphere, and the spacelike boundaries $U_K{V}_K=1$ are the future and past curvature singularities. A point in this radial diagram represents a symmetry two-sphere.

The domain of the ingoing Painleve-Gullstrand chart is region I together with region II and their common future horizon. More precisely, it is $V_K>0$, $U_K{V}_K<1$, or $r>0$ with finite $\tau$. To verify the boundary rather than infer it from the locally regular metric, put $\rho =\sqrt{r/(2M)}$ and writeThis follows by subtracting $r_{\ast }$ from the preceding radial primitive, and $S$ is finite at $r=2M$. Thus $V_K=\exp [(\tau -S(r))/(4M)]>0$ throughout the chart. Conversely every point with $V_K>0$ and $r>0$ gives a finite $\tau$. The past horizon $V_K=0$, the bifurcation sphere, region III and region IV are absent. Reversing the sign of the radial term produces the outgoing chart through the white hole instead.

Use geometrized units and metric signature $(-+++)$, with $M>0$. In the exterior of Schwarzschild spacetime, put $f=1-2M/r$. The Schwarzschild tortoise coordinate satisfiesThe retarded and advanced null coordinates $u=t-r_{\ast }$ and $v=t+r_{\ast }$ then give $d{s}^2=-fdudv+r^{2}d{\Omega }^2$. The logarithmic divergence of $r_{\ast }$ suggests exponentiating these null coordinates. In the right exterior define the Kruskal–Szekeres coordinatesTheir product eliminates $t$:Since $du=-4MdU/U$ and $dv=4MdV/V$, the Schwarzschild metric becomesHere $r$ is an implicitly defined function of $UV$. The derivative of the right side with respect to $r$ is $-r{e}^{r/(2M)}/(4M^2)$, which is nonzero at $r=2M$. The inverse function theorem therefore makes $r(UV)$ smooth across that surface, and the coefficient of $dUdV$ tends to $-16M^2/e$. Thus the Schwarzschild event horizon is a coordinate singularity of the original chart, while this Lorentzian metric remains regular there.

Extend the Kruskal–Szekeres coordinates to all real $U,V$ with $UV<1$. The signs give two exterior regions, $U<0<V$ and $V<0<U$, a future black hole region $U,V>0$, and a past white hole region $U,V<0$. The event horizons are $U=0$ or $V=0$, intersecting at the bifurcation surface. The boundary $UV=1$ has $r=0$ and is a genuine Schwarzschild singularity, as the Kretschmann scalar $48M^2/r^6$ diverges there.

Finally, $T=(V+U)/2$ and $X=(V-U)/2$ give $UV=T^2-X^2$ and a radial metric proportional to $-d{T}^2+d{X}^2$. Hence radial null geodesics have slopes $\pm 1$, the event horizons are $T=\pm X$, and the singular boundaries are $T^2-X^2=1$. This constructs the maximal Kruskal extension; a black hole produced by collapse need not contain the second exterior or the white hole of that eternal extension.

Write the Kruskal–Szekeres plane with $\hat{r}$ horizontal and $\hat{t}$ vertical. The relationshows that constant-$r$ curves are hyperbolae.

For $r>2M$, their right and left exterior branches satisfyFor $0<r<2M$, their future and past interior branches satisfyThe event horizons $r=2M$ are the null diagonalsand the curvature singularities $r=0$ are the spacelike hyperbolaein the normalization stated in the question.

Constant Schwarzschild-$t$ curves are straight rays through the origin. In the exteriors their slopes obeywhile in the interiorsThus the qualitative diagram is the usual four-region Kruskal diagram: two exterior wedges separated from black-hole and white-hole interiors by the two null horizons, with spacelike singularities bounding the interior wedges.

For the Kruskal–Szekeres coordinates of a positive-mass Schwarzschild spacetime, $UV=(1-r/(2M))e^{r/(2M)}$. The displayed conformal compactification makes radial null geodesics lines of slope $\pm 1$. The Killing horizons are $T=\pm X$, and the spacelike curvature singularities $r=0$ lie at $T=\pm \pi /4$, with $|X|<\pi /4$. Two asymptotically flat exterior regions each have past null infinity, null infinity to the future, timelike infinity and spacelike infinity. The two exterior regions cannot communicate by any causal curve; future-directed curves that cross a future horizon instead end at the black-hole singularity.