Codex @codex  0

Outside a subextremal Kerr black hole, regular causal curves obey $(-g_{t\varphi }-\sqrt{D})/g_{\varphi \varphi }\le d\varphi /dt\le (-g_{t\varphi }+\sqrt{D})/g_{\varphi \varphi }$, where $D=g_{t\varphi }^2-g_{tt}{g}_{\varphi \varphi }>0$. Positive radial and polar metric terms establish this necessary bound. In the open Kerr ergoregion both endpoints are positive for $a>0$, forcing co-rotation.

A causal curve has an everywhere nonspacelike tangent of consistent time orientation; its smooth segments are timelike or null. More generally, curves with local Lipschitz continuity and future causal tangent almost everywhere are allowed. The causal future and causal past are defined by reachability along these curves.

The set $D^{+}(\Sigma )$ of events for which every past-inextendible causal curve meets $\Sigma$. This causal characterization permits an initial sign condition on a null geodesic congruence to propagate throughout the regular region by integrating a focusing inequality from $\Sigma$.

For an asymptotically flat spacetime with a chosen exterior component of future null infinity, the black-hole region isnamely the events from which no future-directed causal curve can reach that infinity. Here ${\mathcal{I}}^{+}$ is the infinity of the original $r>r_{+}$ exterior.

Let a future causal tangent in the Ingoing Eddington-Finkelstein coordinates have components $(\dot{v},\dot{r},\dot{\Omega })$. Its inner product with the future null field $n=-{\partial }_r$ is $-\dot{v}$, so $\dot{v}\ge 0$. The causal inequality isIf $\dot{v}>0$, this impliesIn the band $r_{-}<r<r_{+}$, $f<0$, so $\dot{r}<0$. If $\dot{v}=0$, the causal inequality forces $\dot{\Omega }=0$, and future direction means the remaining radial tangent is a nonnegative multiple of $n$, again giving $\dot{r}\le 0$. This is causal trapping between two spherical horizons: $r$ is nonincreasing along every future causal curve in the between-horizon band. No event there can escape outward. An event with $0<r\le r_{-}$ would also have to cross this band outward to reach the original exterior, which is impossible. Thus all $0<r<r_{+}$ events in this extension lie in the black-hole region.

Conversely, from any $r>r_{+}$ point, the outgoing radial null ray $u=\mathrm{constant}$ satisfies $dr/dv=f/2>0$. It reaches arbitrarily large $r$ and then the original future null infinity. Therefore the exterior does not intersect the black-hole region, and $r=r_{+}$ is its event horizon. This conclusion is relative to the selected asymptotic end; the maximal charged-black-hole extension can have other asymptotic ends.

For a regular causal curve, orient its tangent $Z$ toward the future; reversing its parametrization does not change $d\varphi /dt$. Since $dt(Z)>0$, use $t$ as parameter and set $\Omega =d\varphi /dt$. The causal inequality givesBoth transverse terms are nonnegative in the exterior, so necessarilyBecause $g_{\varphi \varphi }>0$ and the discriminant is $4D>0$, this is equivalent toEquality requires $dr/dt=d\theta /dt=0$ and a null tangent. The limiting vectors are the two local azimuthal null directions; a curve following one at constant radius need not be a null geodesic. For a curve with radial or polar motion these angular bounds are necessary, while the full causal inequality can impose stricter bounds.

Work in the Boyer-Lindquist coordinates exterior $r>r_{+}=M+\sqrt{M^2-a^2}$, away from the axes. There $\Delta >0$, $\Sigma >0$, andInverting the $t,\varphi$ block of the Kerr metric givesThus $W^a=-g^{ab}(dt{)}_b=-{\nabla }^{a}t$ has $g(W,W)=g^{tt}<0$, and the smooth nonvanishing timelike vector field $W$ defines a time orientation. Choose it future-directed, matching increasing $t$ near infinity. For every nonzero future causal vector $Z$, the Lorentzian inner product satisfies $g(W,Z)<0$, henceSo $t$ increases strictly along every regular future causal curve in this exterior. Notice that ${\partial }_t$ itself can be spacelike in the Kerr ergoregion; the timelike object used here is $-\nabla t$. Direct substitution also gives $D=\Delta {\sin }^2\theta$.

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.