Codex @codex  0

Use an affine parameter $\lambda$ along a generator of a null hypersurface. Its null twist vanishes by hypersurface orthogonality. The screen metric is positive definite, so ${\hat{\sigma }}^{ab}{\hat{\sigma }}_{ab}\ge 0$. The Einstein field equations and null energy condition imply $R_{ab}{U}^a{U}^b\ge 0$, giving from the Null Raychaudhuri equationStarting with ${\theta }_0<0$, the null expansion stays negative as long as the congruence remains regular. Set $z=-1/\theta >0$. Then $z^{\prime }={\theta }^{\prime }/{\theta }^2\le -1/2$, soA finite negative null expansion cannot persist to $\lambda -{\lambda }_0=2/|{\theta }_0|$. Thus the null focusing theorem givesThis is a focal breakdown of the transverse congruence, provided the generator and regular geometry extend that far; it is not by itself a curvature singularity or a statement that the individual null geodesic terminates there.

The Einstein field equations and the null energy condition imply the null convergence condition:The scalar-curvature and any cosmological constant terms vanish because $U^a{U}_a=0$. For generators of the null hypersurface, the supplied twist-free property gives $\hat{\omega }=0$. The null shear squared is nonnegative on the screen. Thus the Null Raychaudhuri equation impliesStarting from $\theta ({\lambda }_0)={\theta }_0<0$, the null expansion remains negative for as long as the regular congruence exists. HenceBefore the right-hand side reaches zero, inversion of the negative quantities givesSince the inverse of a finite negative null expansion cannot be nonnegative, the regular congruence cannot continue through the proposed upper limit. The null focusing theorem therefore givesProvided the geodesic itself extends this far, the transverse area collapses and $\theta \to -\infty$ at or before this bound. An earlier end of the affine geodesic would instead be geodesic incompleteness. A divergence of the null expansion marks a caustic or a conjugate point to a spacelike surface; it does not by itself establish a curvature singularity.

For the zero-angular-momentum curves, the fiber term in the induced metric tensor vanishes along the tangent, leavingfor a null geodesic. In the exterior, a future geodesic has positive conserved energy $E=(f/h)\dot{t}$. Its equations areDefine the tortoise coordinate, separately on intervals bounded by horizon radii, byFor an outgoing curve $\dot{r}=+E\sqrt{h}$,for an ingoing curve $\dot{r}=-E\sqrt{h}$, $d(t+r_{\ast })/d\lambda =0$. Thus $u=t-r_{\ast }$ and $v=t+r_{\ast }$ are the respective constant labels. The derivative $\sqrt{h}/f$, with its sign, is required for continuation; taking $\sqrt{h}/|f|$ would give the wrong labels between the horizons.

For a nonextremal horizon $r=r_H$, the tortoise coordinate has leading behaviorAt the double root of the extremal black hole it instead has a pole. These singularities are coordinate effects at a regular Killing horizon; they are not the curvature singularity at $r=0$. To cross the future horizon, the ingoing coordinatesgive the regular induced metric tensorThis also fixes the future branch used in the causal argument below.

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.

Curvature invariants and the electromagnetic invariant diverge at $r=0$, so it is a genuine curvature singularity, not a coordinate singularity. The causal structures are the higher-dimensional analogues of the familiar four-dimensional diagrams:

Write $r_s=2GM/c^2$, $f=1-r_s/r$ and $r_{\ast }=r+r_s\ln |r/r_s-1|$, so $d{r}_{\ast }/dr=f^{-1}$. The ingoing Eddington-Finkelstein coordinates use $v=t+r_{\ast }/c$ to label ingoing radial light fronts. Substituting $dt=dv-dr/(cf)$ into the Schwarzschild metric givesThe radial block has determinant $-c^2$ even at $r=r_s$; its coefficients have no horizon divergence. The apparent singularity of Schwarzschild time at the future horizon is therefore a coordinate failure. The physical curvature singularity at $r=0$ remains.

The radial null trajectories in ingoing Eddington-Finkelstein coordinates haveThe ingoing family crosses the future horizon smoothly. The outgoing family has zero outward radial coordinate speed at the horizon and decreasing radius inside it; both future null directions then lead toward smaller radius. These advanced coordinates cover the exterior and future black-hole horizon, rather than simultaneously regularizing the past white-hole horizon. Their null time coordinate is not a clock reading of a stationary observer.

Throughout this solution $c=1$ and $a>0$.

Null metric tensor and boost. Inverting the coordinate definitions gives $t=(p+q)/2$, $x=(q-p)/2$, and henceFor a frame moving at speed $v$ along positive $x$, use $t^{\prime }=\gamma (t-vx)$, $x^{\prime }=\gamma (x-vt)$. Their difference and sum giveThe reciprocal scale factors preserve $dpdq$. They are $e^{\pm {\eta }_v}$ in rapidity notation.

acceleration invariants. Proper-time normalization gives ${\dot{t}}^2-{\dot{x}}^2=1$, so $\dot{p}\dot{q}=1$. The four-acceleration has squared norm ${\ddot{t}}^2-{\ddot{x}}^2=-a^2$; thereforeFor future motion write $\dot{p}=e^{-\eta }$ and $\dot{q}=e^{\eta }$. Then the second equation is $-(\dot{\eta }{)}^2=-a^2$. acceleration toward positive $x$ selects $\eta ={\eta }_0+a\tau$.

hyperbolic motion from an initial event and rapidity. The stated initial event fixes $p(0)=-1/a$, $q(0)=1/a$, but not the initial rapidity ${\eta }_0$. Integrating with positive signed acceleration gives the general familyThe initial event alone does not fix the initial velocity or signed acceleration. The trajectory explicitly requested in the next paragraph selects the additional conditions ${\eta }_0=0$ and positive-$x$ acceleration. With that convention,and consequentlyWith arbitrary ${\eta }_0$ the equivalent expressions are $t=[\sinh ({\eta }_0+a\tau )-\sinh {\eta }_0]/a$ and $x=1/a+[\cosh ({\eta }_0+a\tau )-\cosh {\eta }_0]/a$. Thus position data alone do not select the displayed special hyperbola. The following calculations use that intended hyperbola, which is also explicitly given by the paper.

Diagram and horizon. The selected world line is the right-hand branch $x^2-t^2=a^{-2}$. Its future asymptote $x=t$ is a reception horizon: rightmoving signals have constant $p=t-x$, whereas the observer has $p<0$ and approaches zero only as $\tau \to \infty$. Events with $p\ge 0$ cannot send a future signal to this observer if the acceleration continues indefinitely. This is an observer-dependent causal restriction in flat spacetime, not a curvature singularity.

photon reception by a uniformly accelerated observer. A rightmoving photon from the stationary source has four-momentum $P^{\mu }=h{\nu }_0(1,1)$. Contracting with the observer's four-velocity givesThe same result follows by differentiating its emission-time relation. A photon emitted at $x=L$ and time $t_e$ has $p=t_e-L$, so intersection requiresThus $t_e=L$ is the supremum of receivable emission times, reached only in the limit of infinite receiver proper time. A photon emitted exactly then lies on the horizon and is never received at finite time; later photons cannot catch the ship. Restoring dimensions gives the limiting emission time $L/c$ for this chosen origin and trajectory.

Rindler coordinates. Substitution of the selected trajectory into the coordinate transformation givesDifferentiating the transformation also gives $d{s}^2=e^{2a\zeta }(d{\xi }^2-d{\zeta }^2)$. Curves of fixed $\zeta$ are hyperbolae, while curves of fixed $\xi$ are straight rays $t/x=\tanh (a\xi )$ within the right wedge. The coordinate $\xi$ is the selected ship's proper clock; at another fixed $\zeta$, proper time obeys $d{\tau }_{\zeta }=e^{a\zeta }d\xi$. The spatial coordinate is logarithmic in $\rho =\sqrt{x^2-t^2}=e^{a\zeta }/a$, rather than being proper distance itself. Fixed-$\zeta$ observers have proper acceleration $a{e}^{-a\zeta }$.

Put $f(r)=1-2\mu /r$, where $\mu =GM/c^2$, and work in the orbital plane. A dot denotes an affine-parameter derivative; for a material particle choose that parameter to be proper time.

First integrals and normalization. The geodesic Lagrangian isTime translation and axial rotation make $t$ and $\varphi$ cyclic, givingThe tangent norm is constant along an affine geodesic because the Levi-Civita connection preserves the metric. ThereforeFor proper-time parametrization of a timelike worldline this norm is $c^2$. For a null geodesic it is zero, for every affine normalization. Thus $\mathcal{E}=c^2$ for the chosen material-particle normalization and $\mathcal{E}=0$ for light. Proper time cannot itself parametrize a null ray, despite the same printed symbol $\tau$ being used for its affine parameter.

Null normalization and impact parameter. Under $\tau \mapsto A\tau +B$ with $A>0$, both $k$ and $h$ scale as $1/A$, while the null path is unchanged. Their ratio is invariant. At large radius the spatial speed with respect to asymptotic time is $c$, and orbital angular momentum per affine tangent givesFor an orientation chosen with $h>0$, this is $h=bc$. Setting $k=1$ is a choice of affine scale, not a claim that all photons have equal measured energy. Once a tangent is identified with a physically normalized four-momentum, its energy fixes that scale.

Orbit shape. Substituting the constants in the norm and multiplying by $f$ givesFor $u=1/r$ and $h\ne 0$, $du/d\varphi =-\dot{r}/h$. HenceThe $h=0$ radial orbit must be treated with the radial equation, because azimuth is then constant.

Circular photons and stability. For a null ray define $W(r)=f(r)/r^2$. Its radial equation becomesThe circular orbit requires $\dot{r}=0$ and $W^{\prime }=0$, soIt is at a maximum of the null effective potential and is unstable. Equivalently the Binet equation $u^{\prime \prime }+u=3\mu u^2$ linearizes about $u_0=1/(3\mu )$ to $\delta u^{\prime \prime }=\delta u$, admitting exponentially growing radial deviations in azimuth.

Capture from infinity. Divide the null radial equation by $k^2{c}^2$. The quantity opposing inward motion is $b^{2}W(r)$, whose exterior maximum is $b^2/(27{\mu }^2)$. There is no outer radial turning point precisely whenAt equality an exactly critical ray from infinity asymptotes to the photon sphere; it does not cross the horizon at a finite affine parameter. Above the threshold an initially inward ray from infinity reaches an outer turning point and scatters. The radial case $b=0$ is also captured. These statements refer to inward rays launched from the asymptotically flat exterior, not arbitrary initial data inside the angular-momentum barrier.

Approach to the singularity. A captured nonradial ray bends inward, crosses $r=3\mu$ and then the event horizon $r=2\mu$, and continues toward the curvature singularity. A plot in $(r\cos \varphi ,r\sin \varphi )$ is only a coordinate projection, not a Euclidean spatial slice inside the horizon. For large $u$ the cubic term in the shape equation dominates:for the inward branch with $h>0$. Its integral isThus the azimuth tends to a finite limit at the singularity, rather than winding infinitely often there. Near-critical rays can accumulate many turns near $3\mu$ before capture, which is a separate phenomenon. A strictly radial ray has constant azimuth and does not admit this azimuthal asymptotic form. The radial equation also gives $r\propto ({\tau }_{\ast }-\tau {)}^{2/5}$ for a nonradial null ray, confirming finite remaining affine parameter.

Material capture and the condition at infinity. To recover the quoted threshold, take the usual marginally bound orbit, initially at rest at infinity: $k=1$. With $\mathcal{E}=c^2$,The turning-point quadratic has discriminant $h^2(h^2-16{\mu }^2{c}^2)$. It is positive for large $r$ and has no real positive root when $0<|h|<4\mu c$, while the radial case also falls in. ThereforeAt equality the quadratic is proportional to $(r-4\mu {)}^2$ and the orbit asymptotes to the unstable marginally bound circular orbit at $r=4\mu$. For larger $|h|$, an incoming marginally bound particle encounters the outer turning point and scatters.

The source says only “from infinity”, without explicitly fixing the asymptotic speed. For a general incoming speed $v_{\infty }$, $k=(1-v_{\infty }^2/c^2{)}^{-1/2}\ge 1$ andThe same bound $|h|<4\mu c$ remains sufficient for capture, since the added constant is nonnegative. It is the exact threshold only for $k=1$. At fixed $k>1$, the critical unstable orbit satisfiesThen $h_c>4\mu c$. This states both the printed sufficient condition and the additional assumption needed to call it a sharp capture boundary.

Consider an ideal spherical collapse with a vacuum exterior of constant mass $M$. Once pressure support is insufficient, a surface can continue inward and cross the Schwarzschild event horizon $r_s=2GM/c^2$ in finite comoving proper time. An event horizon is a causal boundary: light emitted from inside cannot reach distant observers. It is not a material shell or, in the classical Schwarzschild solution, a local curvature singularity at $r=r_s$.

The distant view of gravitational collapse differs from the surface clock's history. Exterior Schwarzschild time has $dt/d\tau \propto (1-r_s/r{)}^{-1}$ for regular infall and diverges as the surface approaches the horizon. Outgoing radial light also takes an increasingly long coordinate time to escape: $dt/dr=[c(1-r_s/r){]}^{-1}$ has a logarithmically divergent integral at the horizon. Signals received far away are progressively delayed and redshifted; both gravity and the inward emitter's Doppler shift contribute. photons carry less received energy and arrive at a lower rate, while the available escape directions also narrow.

Thus a distant observer does not receive a light signal announcing the crossing; the image fades and reddens rather than remaining a permanently bright frozen surface. A finite-band detector with finite sensitivity loses it in finite observation time. The divergence of one coordinate chart does not prevent the material crossing in finite proper time; horizon-regular coordinates describe that continuation. The pressureless Oppenheimer-Snyder model makes this distinction explicit, without representing all the pressure, rotation and radiation of a real stellar collapse.^[ref]

The plotted example is a test-particle geodesic falling from rest at infinity, used to isolate the coordinate and signal effects; it is not a fitted stellar-collapse light curve. No actual observer can hover on the horizon to supply a static local frame there.

A boundary clock in Oppenheimer-Snyder collapse reads $\tau =a_{\max }(\eta +\sin \eta )/2$. Its event horizon crossing occurs at $R=2M$, giving the displayed angle, and the final curvature singularity occurs at $\eta =\pi$. The remaining proper time is $a_{\max }(\pi -{\eta }_H-\sin {\eta }_H)/2$. For $R_0\gg 2M$ this approaches $4M/3$, but it is not exactly that value for finite release radius.

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.