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.

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.

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.

Use geometrized units $G=c=1$ and metric signature $(-,+,+,+)$. Put $f=1-2M/r$ in the Schwarzschild metric. The Schwarzschild tortoise coordinate satisfies $d{r}_{\ast }/dr=f^{-1}$, soSubstituting $dt=dv-f^{-1}dr$ gives the Ingoing Eddington-Finkelstein coordinates:The radial metric tensor has determinant $-1$ and inverse components $g^{vv}=0$, $g^{vr}=1$, $g^{rr}=f$. Thus it is nondegenerate and analytic at $r=2M$. The same expression defines a Lorentzian metric for every $r>0$, extending the exterior across the future Schwarzschild event horizon into the black hole. It does not include the other exterior or the white hole of the full Kruskal spacetime. At $r=0$, the Kretschmann scalar $R_{abcd}{R}^{abcd}=48M^2/r^6$ diverges, so this is a curvature singularity, not a removable coordinate singularity.

A spacetime is geodesically complete if every maximal geodesic has an affine parameter ranging over all of $\mathbb{R}$. For timelike geodesics this is equivalent to unbounded proper time in both directions. An extendible geodesic segment can be prolonged in the same spacetime; an inextendible geodesic cannot. A finite coordinate endpoint need not imply finite affine parameter.

For the Kruskal spacetime, use $U,V$ withIn the right exterior $U<0<V$. A truncated ray $U=U_0<0$, $V_1<V<V_2$ is an extendible geodesic of radial null type: neither artificial endpoint is a spacetime boundary. A future ray $U=U_0>0$ in the black hole reaches $UV=1$, hence $r=0$, and is inextendible geodesic and future null-geodesically incomplete. Its Killing energy $E\ne 0$ gives $dr/d\lambda =-|E|$, so the Schwarzschild singularity occurs at finite affine parameter. The maximal continuation toward the past supplies the other half of this same null geodesic.

There is no inextendible, complete radial timelike geodesic in positive-mass Kruskal spacetime. This requested example is impossible as printed. For a radial timelike geodesic, the conserved Killing energy and normalization giveIf $E^2<1$, $r$ has at most one turning point, a maximum $r_{\max }=2M/(1-E^2)$; a maximal trajectory runs from the white hole Schwarzschild singularity to the Schwarzschild singularity. If $E^2\ge 1$, there is no finite turning point; one end can lie at infinity but the other reaches $r=0$. The exceptional $E=0$ trajectory through the bifurcation surface also reaches $r=0$ in both time directions. Near $r=0$,whose integral is finite. Constant-$r$ radial timelike curves are accelerated, not geodesics.

Two plausible repairs have different meanings. Removing “radial” permits a complete circular timelike geodesic at $r=R>6M$, with nonzero angular momentum and proper time ranging over $\mathbb{R}$. Replacing “timelike” by “null” permits a complete horizon null geodesic: $U=0$, $V\in \mathbb{R}$, with $V$ an affine parameter. The Penrose diagram shows both repairs explicitly, together with the two valid requested examples; the circular trajectory is only a radial projection and is labelled as nonradial.

The horizontal boundaries are the Schwarzschild singularities, diagonal dashed lines are the Killing horizons, and outer diagonal edges are null infinity.

Relative to a chosen asymptotically flat end, define the black hole region bywhere ${\mathcal{I}}^{+}$ is that end's future null infinity in a conformal completion. It consists of events unable to send a future causal signal to that infinity; its boundary is the corresponding future event horizon.

For $0<\alpha <r_0/2$, $h>0$ and $f<0$ on $r_{-}<r<r_{+}$. The gradient of $r$ has norm $g^{ab}{\nabla }_{a}r{\nabla }_{b}r=f$, so it is timelike there. Use the future extension regular in the ingoing coordinates above, reached by an exterior future ingoing null geodesic with $\dot{r}=-E\sqrt{h}<0$. This determines $\nabla r$ to be future timelike in the inter-horizon block. Every nonzero future causal tangent $V$ therefore obeysAt the future outer horizon the gradient becomes future null and gives the corresponding one-way inequality $dr/d\lambda \le 0$. No future signal can cross that horizon outward to the selected exterior. The future inter-horizon block is consequently within $\mathcal{B}$; a future-directed path can leave it only through the inner horizon, not return through the outer horizon to the selected infinity.

This statement requires a branch and an end. The maximal extension also contains time-reversed inter-horizon blocks, where future-directed curves have increasing $r$ and emerge into an exterior: they are white holes, not the selected black hole region. Thus the unqualified claim for every copy of $r_{-}<r<r_{+}$ in an arbitrary extension is false. Analytic continuation past a Cauchy horizon can also introduce other asymptotic ends; the displayed definition explicitly refers to the chosen component of infinity.

To sketch the causal structure, suppress the spacelike $\psi$ circle by its orbit-space projection. The induced three-dimensional metric tensor isThe causal projection along a spacelike circular fiber is exact: any causal curve projects to a $q$-causal curve, and every base curve has a lift $d\psi =\Omega dt$ with exactly its base norm. The diagrams therefore represent this two-dimensional orbit space, not a constant-$\psi$ slice of the three-dimensional submanifold.

There are three nonextremal block types. For $r>r_{+}$, $r_{\ast }$ spans the full real line from the outer horizon to infinity, producing an exterior diamond. For $r_{-}<r<r_{+}$, $r_{\ast }$ spans the full line with the time and space roles reversed; these diamonds contain the future black-hole or past white-hole branches. For $0<r<r_{-}$, $r_{\ast }$ is finite at zero and diverges at the inner horizon, producing a static half-diamond with a timelike singular edge. The supplied Kretschmann scalar diverges as $384{\alpha }^4{r}_0^4/r^{12}$ at $r=0$, and $f>0$ on the inner side, so that edge is a genuine timelike curvature singularity. In contrast, both horizon radii are regular in horizon-adapted coordinates.

The finite strip shows two exterior levels, a future trapped block, an inner static level with timelike singularities, and the next emerging block. Continuing through the inner Cauchy horizons repeats this pattern upward and downward in the maximal analytic extension. The inner boundary is not a spacelike Schwarzschild-type singularity. Such an ideal extension need not describe a physical collapse past its unstable inner horizon.

At $\alpha =r_0/2$, put $R=r_0/\sqrt{2}$. Then $r_{+}=r_{-}=R$, $f=(r^2-R^2{)}^2/r^4$, and the interval $r_{-}<r<r_{+}$ is empty. The lapse is positive on both sides, so there is no inter-horizon trapped diamond. The horizon is a degenerate Killing horizon, with $\kappa =0$. In the exterior $r_{\ast }\to -\infty$ as $r\downarrow R$, while inside $r_{\ast }\to +\infty$ as $r\uparrow R$; more precisely its leading pole is $-\sqrt{2}{R}^2/[4(r-R)]$. Static proper distance to the horizon is infinite. Future ingoing rays still cross it at finite affine parameter, as the regular ingoing metric tensor shows.

The extremal sketch gives the exterior diamond and singular interior half-diamond, with the complete gluing prescription: the exterior future horizon attaches to the interior past horizon; the interior future horizon attaches to the past horizon of another exterior. Repeating these attachments gives the maximal extension. The marked throat endpoints are conformal ideal endpoints, not bifurcation points of the spacetime. This block representation avoids incorrectly treating the extremal geometry as two transverse horizons with a collapsed trapped region.

Given an asymptotically flat spacetime with a conformal completion and future null infinity ${\mathcal{I}}^{+}$, its black hole region isThe event horizon is its boundary. For the magnetically charged dilaton black hole, first assume $0\le a=r_{-}<b=r_{+}$. The physical asymptotic component has $r>a$, and the ingoing chart extends regularly across $r=b$. Its future ingoing null direction is $-{\partial }_r$. For $a<r<b$,Hence $\nabla r$ is future timelike. Every nonzero future causal tangent $X$ satisfies $X(r)=g(\nabla r,X)<0$. A future causal curve from this interior can neither cross back to $r=b$ nor reach the asymptotic end $r\to \infty$, so it cannot reach ${\mathcal{I}}^{+}$. It lies in $\mathcal{B}$.

This proof uses the future black-hole extension. The radial interval alone does not distinguish it from the past white hole interior of the maximal extension; that interior has the same interval and can send signals to infinity. Thus the statement needs this future-component qualification if the maximal spacetime is intended.

The Kretschmann scalar confirms that $r=a$ is a genuine curvature singularity: for $0<a<b$, its numerator at $r=a$ is $3a^4(a-b{)}^2$, andFor $a=0$ it instead reduces to $12b^2/r^6$. Since $V<0$ on approaching the singularity from the interior, the singularity is spacelike. At $r=b>a$ the curvature is finite.

For the maximal extension, take $U=-e^{-u/(2b)}$, $W=e^{v/(2b)}$ in the right exterior and continue analytically across the horizons. ThenThe singularity is $UW=(1-a/b)e^{a/b}>0$ and the horizons are $U=0$ and $W=0$. Rescaling the null coordinates by the square root of this positive constant before arctangent compactification produces the usual qualitative Penrose diagram of Schwarzschild spacetime: two exteriors, a future black-hole region, a past white-hole region, and future and past spacelike singularities. The dashed lines below are the horizon branches; only the future interior is the black-hole region.

If $a>b$, the physical domain remains $r>a$, but now $V>0$ throughout it. The apparent zero $r=b$ is beyond the curvature singularity and is not an accessible horizon. The singularity is timelike, and outgoing radial null rays with $\dot{r}=E>0$ escape to infinity from arbitrarily near it. ThusThe excluded equality $r_{-}=r_{+}$ is a singular limiting case, not a regular horizon. These facts describe the causal structure of the magnetic dilaton black hole.