Codex @codex  0

The causal past is the time-reversed causal future. Relative to a specified component ${\mathcal{I}}^{+}$ of future null infinity, the black hole region is the complement of its causal past: $\mathcal{B}=\mathcal{M}\setminus J^{-}({\mathcal{I}}^{+})$.

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.

In the regular metric $d{s}^2=-fd{v}^2+2dvdr+r^{2}d{\Omega }^2$, a future causal tangent has $\dot{v}\ge 0$. For $\dot{v}>0$, causality gives $\dot{r}\le f\dot{v}/2-r^2|\dot{\Omega }{|}^2/(2\dot{v})$. If $f<0$ between two horizons, the areal radius must decrease. An inner event cannot reach the original exterior future null infinity without traversing that band in the forbidden direction.

Radial outgoing null geodesics in the interior of Oppenheimer-Snyder collapse obey $d\chi /d\eta =1$. Trace the ray crossing the boundary at $({\eta }_H,{\chi }_0)$ backward: it starts at the centre at $\eta ={\eta }_H-{\chi }_0$. This ray is the event horizon; it can exist inside the cloud before the surface crosses $R=2M$. An event horizon is determined by global escape to future null infinity, rather than by a local stopwatch signal.

A complete inertial timelike geodesic in Minkowski spacetime has $\mathbf{x}=\mathbf{b}+\mathbf{v}t$ with $|\mathbf{v}|<1$. Under $p=\arctan (t-r)$, $q=\arctan (t+r)$, both $p,q$ tend to the same endpoint, giving past timelike infinity and future timelike infinity. A complete null geodesic has one finite limiting null coordinate at each end and reaches past null infinity and future null infinity. Complete spacelike geodesics have $r>|t|$ asymptotically and both ends approach spacelike infinity. The endpoints have finite compactified coordinates but occur at infinite physical affine parameter. A conformal transformation preserves null paths as unparametrized geodesics; it does not generally preserve timelike or spacelike geodesic paths.

For a Schwarzschild black hole, a greybody factor is a mode's transmission probability through the exterior scattering potential. The spectrum of Hawking radiation at future null infinity is the thermal horizon occupation multiplied by this factor, with a sum over angular modes.

Every event in complete Minkowski spacetime emits a future-directed null geodesic ending on future null infinity. Therefore its black-hole region $M\setminus J^{-}({\mathcal{I}}^{+})$ is empty and there is no intrinsic event horizon. The null edges of the Minkowski conformal compactification represent infinity, not hidden regions inside the physical spacetime. An accelerated observer can instead have an observer-dependent Rindler horizon.

For four-dimensional Minkowski spacetime, set $p=\arctan ((t-r)/L)$ and $q=\arctan ((t+r)/L)$, with $L>0$, then $T=p+q$, $R=q-p$. Multiplication by the square of the conformal factor $2\cos p\cos q/L$ yields the displayed metric on $R\ge 0$, $|T|+R<\pi$. Its radial Penrose diagram is a triangle: the timelike edge $R=0$ is the ordinary centre, while the two sloping edges are future null infinity and past null infinity. A signed Cartesian spatial coordinate in two dimensions gives a full diamond instead.

An observer's future event horizon bounds the events that can ever signal to its future-inextendible worldline. Its past event horizon bounds the events reachable by signals from its past-inextendible worldline. A complete inertial observer in Minkowski spacetime has neither. The uniformly accelerated worldline $t=a^{-1}\sinh (a\tau )$, $x=a^{-1}\cosh (a\tau )$ has $I^{-}(\gamma )=\{t-x<0\}$ and $I^{+}(\gamma )=\{t+x>0\}$. Their boundaries are its two Rindler horizons. This observer dependence is distinct from a black-hole horizon defined using future null infinity.

A horizon separates regions according to a specified causal, dynamical or geometrical criterion. The criterion must be stated: an event horizon, an apparent horizon, a Killing horizon and a Cauchy horizon answer different questions. Some horizons describe a black hole, others an observer's acceleration or the universe's expansion. A vanishing coordinate metric component alone does not establish any of these definitions.

In an asymptotically flat spacetime, choose the relevant future null infinity ${\mathcal{I}}^{+}$, the endpoint of escaping outgoing light rays. The black-hole region and its future event horizon areHere $J^{-}$ is the causal past. Events in $\mathcal{B}$ cannot send a causal signal to the chosen infinity. This is a global definition: identifying the horizon requires the full future development, so a local measurement need not reveal whether an event lies on it. Smooth portions of an event horizon are null hypersurfaces generated by null geodesics. Generators may join at past caustics or crease sets, so the horizon need not be smooth everywhere. A past event horizon is defined by the time-reversed escape criterion; in the maximally extended Schwarzschild solution it bounds a white-hole region.

An observer-based definition replaces infinity by a future-inextendible worldline $\gamma$. Its future observer event horizon is the boundary of events that can signal to $\gamma$, conventionally $\partial I^{-}(\gamma )$. A past observer horizon similarly bounds events reachable from its past worldline. Such horizons depend on the observer and need not imply a black hole.

A Killing horizon is a null hypersurface to which a nonzero Killing vector field $K^a$ is normal. On it, $K^a$ is tangent to its null generators and satisfies $K^b{\nabla }_b{K}^a=\kappa K^a$. The surface gravity $\kappa$ measures the failure of this Killing parameter to be an affine parameter; rescaling $K$ rescales $\kappa$. A degenerate Killing horizon has $\kappa =0$. Stationary black-hole horizons often are Killing horizons, whereas a general evolving event horizon need not have any Killing symmetry. The condition $K^a{K}_a=0$ alone is insufficient: the null vector must also be normal to a null hypersurface.

The Schwarzschild spacetime illustrates several of these notions. In units $G=c=1$, let $f=1-2M/r$. Its metric is $d{s}^2=fd{t}^2-f^{-1}d{r}^2-r^{2}d{\Omega }^2$, and $r=2M$ is the future event horizon of the black-hole region in the appropriate extension. The apparent coordinate singularity disappears in Ingoing Eddington-Finkelstein coordinates, $v=t+r_{\ast }$, $d{r}_{\ast }/dr=f^{-1}$:At $r=2M$ this metric is regular and the normal $dr$ is null. Future outgoing radial rays satisfy $dr/dv=f/2$; inside the horizon their areal radius decreases even on the outgoing family. The stationary Killing vector field ${\partial }_v$ generates the horizon with $\kappa =f^{\prime }(2M)/2=1/(4M)$ when normalized at infinity. The Kretschmann scalar is $48M^2/r^6$, finite at the horizon and divergent at $r=0$. Thus the event horizon is not the curvature singularity. The photon sphere at $r=3M$, which supports circular null orbits, is also not the horizon.

Quasi-local horizon notions use null expansions. For a closed spacelike two-surface, choose future outgoing and ingoing null normals $\ell ,n$, with $\ell \cdot n=1$ in signature $(+---)$. Each expansion is the logarithmic rate of its positive area element along the corresponding null normal. A future trapped surface has ${\theta }_{\ell }<0$ and ${\theta }_n<0$: both future light fronts initially shrink. A marginally outer trapped surface has ${\theta }_{\ell }=0$; for the future black-hole type also require ${\theta }_n<0$. On a chosen spacelike slice, the outer boundary of the future trapped region is an apparent horizon, ordinarily an outermost marginally outer trapped surface when regularity permits this characterization. It depends on the slice, and a slicing need not display an apparent horizon even when the global spacetime contains an event horizon.

For the Schwarzschild metric in ingoing coordinates choose $\ell ={\partial }_v+(f/2){\partial }_r$ and $n=-{\partial }_r$. The spherical null expansion in ingoing coordinates givesThe round spheres inside $2M$ are future trapped, while $r=2M$ is marginal. On standard horizon-penetrating slices its sections give the apparent horizon, coinciding with the stationary event and Killing horizon. This coincidence in a symmetric stationary example does not identify the notions in a general spacetime.

A trapping horizon is a hypersurface foliated by marginal surfaces. Its future outer type obeys ${\theta }_{\ell }=0$, ${\theta }_n<0$ and ${\mathcal{L}}_n{\theta }_{\ell }<0$. Unlike an event horizon, this can be diagnosed from local expansion data and their variation. The null energy condition explains its causal character. At a marginal surface, the Null Raychaudhuri equation, with the present curvature sign and vanishing null twist, givesin units $c=1$. A possible nonaffinity term vanishes here because it is proportional to the zero expansion. Write a horizon evolution vector as $V=\ell -Cn$. Preserving ${\theta }_{\ell }=0$ gives $C=({\mathcal{L}}_{\ell }{\theta }_{\ell })/({\mathcal{L}}_n{\theta }_{\ell })\ge 0$. Hence $V^2=-2C\le 0$: the future outer horizon is spacelike or null. Its area expansion is ${\theta }_V=-C{\theta }_n\ge 0$. These conclusions use the outer condition and the energy condition, not merely marginality.

For the global event horizon, the future-complete horizon focusing proof of the area theorem uses the same Null Raychaudhuri equation. Under the null energy condition, a negative generator expansion forces a future caustic in finite affine parameter. Future completeness and the usual regularity or predictability assumptions exclude such a caustic on the future event-horizon boundary. Its generator expansion is therefore nonnegative and its classical area cannot decrease. These assumptions matter: this is not an unconditional result for every null surface or every matter model.

Rotating and charged solutions provide further distinctions. A nonextremal Kerr black hole has $r_{\pm }=M\pm \sqrt{M^2-a^2}$, with $a=J/M$. Its outer Killing horizon is generated by ${\partial }_t+{\Omega }_H{\partial }_{\varphi }$, where ${\Omega }_H=a/(r_{+}^2+a^2)$, rather than by time translation alone. The ergosphere begins at the stationary-limit surface $g_{tt}=0$, whose radius is $M+\sqrt{M^2-a^2{\cos }^2\theta }$. Away from the axis this lies outside the event horizon: it forbids static observers but does not forbid escape to infinity. In Reissner-Nordstrom spacetime, the nonextremal radii are $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer surface is an event horizon, whereas the inner surface is a Cauchy horizon in the exact analytic extension.

A Cauchy horizon concerns predictability from initial data. The future domain of dependence $D^{+}(\Sigma )$ of a partial Cauchy surface consists of events for which every past-inextendible causal curve intersects $\Sigma$. Its future Cauchy horizon isBeyond it, causal influences can arrive without meeting the specified initial surface; data on that surface no longer determine the solution there. This is distinct from the inability to send signals to infinity. The inner horizon of the exact charged black hole supplies an example, and the definition necessarily specifies which initial surface is being used.

Flat spacetime itself has acceleration horizons. In the right Rindler wedge, set $t=\xi \sinh (a\tau )$ and $x=\xi \cosh (a\tau )$, with $\xi >0$. The Minkowski spacetime metric becomes $d{s}^2=a^2{\xi }^{2}d{\tau }^2-d{\xi }^2-d{y}^2-d{z}^2$. The null boundaries $t=x$ and $t=-x$ are Rindler horizons of the boost Killing flow. A uniformly accelerated observer cannot receive signals from one side of its future horizon, even though the curvature vanishes and inertial observers encounter no such boundary. These are observer and Killing horizons, not a black-hole event horizon defined using the full Minkowski null infinity.

In a spatially flat Friedmann-Lemaître-Robertson-Walker metric with noncompact spatial sections, radial light rays have $d\chi /dt=\pm 1/a(t)$. The particle horizon measures how far signals could have travelled since the initial cosmic time; the cosmological event horizon measures how far signals emitted now could ever travel toward a comoving observer. Their comoving and proper radii areThe respective horizon is present only if its integral is finite. The event-horizon integral uses the actual future endpoint, often $t_f=\infty$, so it is global and observer-dependent. For $a(t)=t^q$ on $0<t<\infty$, a finite particle horizon exists for $0<q<1$, while a finite event horizon exists for $q>1$. Neither integral is finite for $q=1$. In the expanding flat patch of de Sitter spacetime, $a=e^{Ht}$ and the proper event-horizon radius is $H^{-1}$. The static form $d{s}^2=(1-H^2{r}^2)d{t}^2-(1-H^2{r}^2{)}^{-1}d{r}^2-r^{2}d{\Omega }^2$ identifies it as a cosmological Killing horizon; its surface-gravity magnitude is $H$ with the central static time normalization.

Finally, the Hubble radius must not automatically be called an event horizon. For a flat expanding cosmology, the two future radial null expansions of a sphere of proper radius $R$ are ${\theta }_{\pm }=2(H\pm 1/R)$. At $R=H^{-1}$ the ingoing expansion vanishes, while outside it both expansions are positive: this is the cosmological marginal, past-trapped type rather than a future black-hole trapped surface. A dust universe with $a\propto t^{2/3}$ has such a Hubble sphere but no future event horizon. Global causal boundaries, slice-dependent trapped-surface boundaries, symmetry horizons and initial-data boundaries must therefore be distinguished, even when several coincide in a special example.

In a globally static region, choose the time coordinate along the future timelike Killing vector field $K={\partial }_t$. A positive-frequency solution of the Klein-Gordon equation has $i{\mathcal{L}}_K{p}_i={\omega }_i{p}_i$, with ${\omega }_i>0$. Assume appropriate boundary conditions and a Cauchy surface so that the conserved Klein-Gordon inner product isFor a real scalar, take the negative-frequency modes to be $n_i=p_i^{\ast }$. Choose a complete normalized basis withThe negative norm of the conjugate modes is crucial; this is not a positive-definite inner product on all classical solutions.

Promote the real Klein-Gordon field to the operatorThese canonical commutation relations implement the canonical field and conjugate-momentum commutator. The static vacuum state in a stationary spacetime satisfies $a_i|0⟩=0$, and the Hamiltonian is a sum of oscillators, ${\sum }_i{\omega }_i(a_i^{†}{a}_i+1/2)$ before zero-point regularization. Continuous labels replace sums by correctly normalized integrals. For a complex charged scalar there are separate particle and antiparticle oscillators, with the same mode-mixing argument in each sector.

Choose independently normalized past and future bases, and use the matrix indices of the question. Complex conjugation of the future positive-frequency expansion immediately givesConservation of the Klein-Gordon inner product gives $A^{†}A-B^{†}B=I$ and $A^{†}{B}^{\ast }-B^{†}{A}^{\ast }=0$ in this column-index convention. These ensure preservation of the canonical commutation relations.

Let $a_j$ annihilate past modes and $b_i$ annihilate future modes. Extracting the future coefficient from the field gives the Bogoliubov transformationThe minus sign follows from $(n_j^{-},n_k^{-})=-{\delta }_{jk}$. In the in-vacuum, only $⟨0_{\mathrm{in}}|a_j{a}_k^{†}|0_{\mathrm{in}}⟩={\delta }_{jk}$ contributes to the expectation of the future number operator. ThereforeThis is particle number from Bogoliubov coefficients: the intervening time-dependent geometry makes a past positive-frequency mode contain a future negative-frequency component. In infinite volume, localized wave packets avoid delta-function normalization artifacts; a common Fock-space implementation needs the usual square-summability condition on the creation-mixing coefficients.

For gravitational collapse, the initial vacuum can be defined before the hole forms, while late outgoing modes are defined using the asymptotic stationary time at future null infinity. The complete future basis also includes modes falling through the event horizon; exterior outgoing modes alone are not a complete basis of all propagated data. Tracing an outgoing mode backwards near a nonextremal horizon gives the exponential ray relation $v=v_H-C{e}^{-\kappa u}$, where $u$ is late retarded time and $\kappa$ is the surface gravity. An outgoing factor $e^{-i\omega u}$ becomes proportional to $(v_H-v{)}^{i\omega /\kappa }$ in the early advanced coordinate, and contains both frequency signs when Fourier decomposed there. Their squared Bogoliubov-coefficient ratio is $e^{-2\pi \omega /\kappa }$; the canonical normalization then gives a Bose factor $(e^{2\pi \omega /\kappa }-1{)}^{-1}$, multiplied by the greybody factor, the transmission probability through the exterior potential. Thus Hawking radiation has temperature $T_H=\kappa /(2\pi )$ in units $\hslash =k_B=c=1$, with greybody factor modifications to the spectrum. This is a free-field calculation on a fixed or slowly evolving background; eventual backreaction is an additional problem, and the nonextremal exponential map must not be blindly used when $\kappa =0$.

Take $M=|Q|>0$ and use $G=c=1$. The case $M=Q=0$ is flat spacetime and is not a black hole. In the nontrivial extremal Reissner-Nordstrom metric,The horizon is a double zero at $r=M$, with surface gravity $\kappa =f^{\prime }(M)/2=0$. The function $f$ is positive on both sides of the horizon. Thus the intermediate nonstatic region of a nonextremal charged hole disappears; one must not draw that region as a strip of nonzero width in the extremal Penrose diagram.

To construct the Penrose diagram, first integrate the radial tortoise coordinate:The additive constant has been chosen so that $r_{\ast }(0)=0$ in the inner block. In the exterior, $r_{\ast }\to -\infty$ at $M^{+}$ and $r_{\ast }\to +\infty$ at infinity. In the inner static region $0<r<M$, it increases from $0$ to $+\infty$. Set $u=t-r_{\ast }$ and $v=t+r_{\ast }$. The radial metric is $-fdudv$, so its radial null directions are $u=\mathrm{constant}$ and $v=\mathrm{constant}$.

Compactify each static block usingThis conformal compactification puts radial null geodesics at $45$ degrees. The exterior is a diamond: its right-hand edges are past and future null infinity, while its left-hand edges are the past and future degenerate horizons. At the left vertex, finite static $t$ and $r\to M^{+}$ give $u\to +\infty$, $v\to -\infty$. This is an end of the infinite spatial throat, not a regular bifurcation surface where the two horizon branches meet. A degenerate Killing horizon has no such bifurcation sphere. The inner block occupies the half-diamond $X>0$, because $r_{\ast }>0$ there. Its vertical edge $X=0$ is the timelike curvature singularity $r=0$; its two diagonal edges are the two horizon branches at $r=M$. Its outer vertex likewise represents an excluded infinite-throat end.

The static-coordinate compactification identifies the blocks but does not by itself establish the smooth horizon extension. For that, use Ingoing Eddington-Finkelstein coordinates on the future horizon:Its radial determinant is $-1$, so it is nonsingular at $r=M$. Glue the exterior future edge, $u\to +\infty$ with $v$ finite, to the inner past edge, $u\to -\infty$ with the same finite $v$. The outgoing coordinate $u$ similarly gives $d{s}^2=-fd{u}^2-2dudr+r^{2}d{\Omega }^2$ and extends the other horizon branch. Continue adjoining these regular blocks across every extendible null edge. The construction repeats indefinitely to the future and past, producing the maximal analytic diagram with infinitely many asymptotic exterior regions and inner static regions bounded by timelike singularities. Horizons are null edges, never the excluded throat vertices. Identical edges in different copies must be glued with their time orientations preserved; they are not all the same exterior infinity.

The figure shows the two building blocks, rather than compressing the whole infinite extension into a misleading finite diagram. The red edges glue across a future horizon at finite advanced time. Outgoing coordinates extend the next edge to another exterior copy. The thin diagonal lines illustrate the radial light-cone directions.

For spatially conformally flat coordinates, compare the radial and angular parts of $f^{-1}d{r}^2+r^{2}d{\Omega }^2$ with $V(\rho {)}^2(d{\rho }^2+{\rho }^{2}d{\Omega }^2)$. The angular coefficient requires $V\rho =r$, and the radial coefficient then gives, in the exterior,Choose the integration constant to make $\rho =r-M$ and $V\to 1$ at infinity. In Cartesian coordinates $x=\rho \sin \theta \cos \phi$, $y=\rho \sin \theta \sin \phi$, $z=\rho \cos \theta$, put $\rho =\sqrt{x^2+y^2+z^2}$. The Extremal Reissner-Nordstrom isotropic coordinates giveThese coordinates have $\rho >0$ and describe the exterior only. The locus $\rho =0$ is the limit $r=M$, not an ordinary point included in this chart. An independent inner chart is obtained with $\rho =M-r$, $0<\rho <M$, giving $V=M/\rho -1$ and $W=(M/\rho -1{)}^{-1}$; it must be attached using the regular null coordinates, not by continuing the exterior radial coordinate through a Cartesian origin.

The infinite proper distance is real. Along a constant-$t$ exterior radius,It is a property of a static spacelike slice. It does not bound the proper time of a freely falling observer. Indeed, a neutral radial timelike geodesic has conserved energy per unit rest mass $E=f\dot{t}>0$ and normalization $-f{\dot{t}}^2+f^{-1}{\dot{r}}^2=-1$, givingAt the horizon $\dot{r}\to -E$, so the remaining proper time is finite. Moreover,The observer crosses the regular future horizon with finite $v$ and finite proper time. This is the Extremal Reissner-Nordstrom causal crossing, which the singular static time coordinate conceals.

There is also a direct causal test for the event horizon. Inside the future horizon, outgoing radial null curves in the ingoing chart satisfy $dr/dv=f/2$. To reach $r=M$ from below they would requireNear the horizon, $M-r\sim 2M^2/v$. A future timelike or nonradial null curve cannot increase $r$ faster than the outgoing radial null curve, since $d{s}^2\le 0$ and $\dot{v}>0$ imply $dr/dv\le f/2$ after dropping the nonnegative angular term. Hence a signal that crossed inward cannot return to the original exterior's future null infinity. Curves can encounter other blocks in the maximal analytic extension, but their infinities are not the original observer's infinity. Relative to that asymptotic end, $r=M$ is the boundary of the causal past of future null infinity: it is an event horizon.

Finally, the Reissner-Nordstrom trapped spheres test explains why the proposed observation is unsurprising. Normalize future radial null normals by $\ell ={\partial }_v+(f/2){\partial }_r$, $n=-{\partial }_r$, with $g(\ell ,n)=-1$. The round-sphere null expansions areThere is no region of strictly future-trapped round spheres, while the horizon spheres are marginal with ${\theta }_{\ell }=0$. Absence of those particular trapped surfaces does not imply absence of an event horizon. The geometry has a nonzero horizon area $4\pi M^2$ and a genuine timelike singularity at $r=0$ in its extension. The infinite static throat does not remove the black hole: infall crosses its horizon in finite proper time, and no signal returns to the same exterior infinity.

In ordinary spherical coordinates, $t\in \mathbb{R}$, $r\in [0,\infty )$, $\theta \in [0,\pi ]$ and $\varphi \in [0,2\pi )$ with periodic identification. The regular coordinate chart excludes the origin and polar axes; the endpoint ranges include the usual spherical identifications. With null coordinates $u=t-r$ and $v=t+r$, both are real and their joint domain is $v\ge u$. The inverse relations giveThe arctangent coordinates obey $-\pi /2<p\le q<\pi /2$. Since $du={\sec }^{2}pdp$ and $dv={\sec }^{2}qdq$, the rescaled metric isNow $T=p+q$, $R=q-p$, so $4dpdq=d{T}^2-d{R}^2$. Thus the Minkowski conformal compactification hasThe full coordinate ranges are linked, not independent: $T\in (-\pi ,\pi )$ and $R\in [0,\pi )$ with $|T|+R<\pi$. Inverse coordinates are $p=(T-R)/2$, $q=(T+R)/2$, $t=[\tan q+\tan p]/2$, $r=[\tan q-\tan p]/2$. The conformal factor isThe unphysical metric extends as the unit-radius Einstein static universe on $\mathbb{R}\times S^3$, where $0\le R\le \pi$ with the endpoint two-spheres collapsed. Physical Minkowski spacetime occupies the triangular radial domain $R\ge 0$, $|T|+R<\pi$; the edge $R=0$ is the ordinary spatial center, not an infinity or physical boundary.

In the closure, the infinite-coordinate limits have locationsThese are future timelike infinity, past timelike infinity, spacelike infinity, future null infinity and past null infinity. For example ${\mathcal{I}}^{+}$ has $v\to +\infty$ with finite $u$, while ${\mathcal{I}}^{-}$ has $u\to -\infty$ with finite $v$. A diagram point with $0<R<\pi$ stands for a two-sphere, and each null boundary is topologically $\mathbb{R}\times S^2$; their three corners are points after the angular collapse. On the null boundaries $\Omega =0$ and $d\Omega \ne 0$, whereas the three corners have a degenerate zero gradient. Thus a compactifying metric can be smooth there even though those infinity points are not ordinary smooth null-boundary points.

The geodesic endpoints in Minkowski conformal compactification can be established directly. A physical inertial timelike geodesic has $t=t_0+E\tau$, $\mathbf{x}={\mathbf{x}}_0+\mathbf{p}\tau$, with $E>0$ and $E^2-|\mathbf{p}{|}^2=1$. At future infinity $u,v\to +\infty$, so $p,q\to \pi /2$ and the curve ends at $i^{+}$. At past infinity both tend to $-\infty$, giving $i^{-}$. Every complete inertial timelike path has these endpoints, regardless of velocity.

For a future-directed null geodesic, $t=t_0+E\lambda$, $\mathbf{x}={\mathbf{x}}_0+E\mathbf{n}\lambda$ with $|\mathbf{n}|=1$. As $\lambda \to +\infty$, $v\to +\infty$ but $u$ has a finite limit; the endpoint lies on ${\mathcal{I}}^{+}$. As $\lambda \to -\infty$, $u\to -\infty$ but $v$ has a finite limit, giving an endpoint on ${\mathcal{I}}^{-}$. A conformal transformation preserves these null paths as unparametrized geodesics. The null affine parameter under a conformal rescaling obeys $d\tilde{\lambda }/d\lambda ={\Omega }^2$; here ${\Omega }^2=O({\lambda }^{-2})$ at the null endpoints, so the unphysical affine parameter reaches them in finite time, although the physical affine parameter is infinite.

A physical spacelike geodesic has $t=t_0+a\lambda$, $\mathbf{x}={\mathbf{x}}_0+\mathbf{b}\lambda$, with $|\mathbf{b}|>|a|$. At either end $r>|t|$ asymptotically, $u\to -\infty$ and $v\to +\infty$, so both ends approach $i^0$. Timelike and spacelike physical geodesic paths are not generally geodesics of the rescaled metric. Their physical proper time or length is infinite, while $\Omega =O(|\lambda {|}^{-2})$ gives finite unphysical proper time or length near the endpoints. Infinity at finite diagram coordinates does not imply incompleteness of physical Minkowski geodesics.

The original Penrose diagram suppresses the angular spheres. The displayed physical paths illustrate their distinct endpoint types; the two sloping boundaries are null infinity, while the left edge is the regular center.

The physical spherical coordinates cover $t\in \mathbb{R}$, $r\in [0,\infty )$, $\theta \in [0,\pi ]$, and $\varphi \in [0,2\pi )$ with periodic identification. The center and the polar axes are the usual coordinate singularities, rather than physical curvature singularities; a regular polar chart restricts $r>0$ and $0<\theta <\pi$. For the null coordinates,Thus the physical metric tensor isThe conformal transformation followed by $p=\arctan u$, $q=\arctan v$ gives $du=(1+u^2)dp$, $dv=(1+v^2)dq$, andConsequently $d{s}^2=4dpdq-{\sin }^2(q-p)d{\Sigma }^2$. Finally $T=p+q$, $R=q-p$ converts $4dpdq$ to $d{T}^2-d{R}^2$, yieldingThe ranges must retain their joint constraints:Equivalently, $-\pi <T-R<\pi$ and $-\pi <T+R<\pi$, with $R\ge 0$. The angles retain their original ranges and identifications. Extending $R$ to negative values would double-count the radial polar geometry. The conformal factor isThe unphysical metric tensor extends onto the Einstein static universe, while physical Minkowski spacetime occupies the triangular region in its radial Penrose diagram. The edge $R=0$ is the regular center and belongs to the physical region away from its endpoints.

The conformal boundary consists of the following infinities. Future null infinity has $q=\pi /2$, hence $T+R=\pi$ with $0<R<\pi$, and corresponds to finite $u$ with $v\to +\infty$. Past null infinity has $p=-\pi /2$, hence $T-R=-\pi$, and corresponds to finite $v$ with $u\to -\infty$. Future timelike infinity is $(T,R)=(\pi ,0)$, past timelike infinity is $(-\pi ,0)$, and spacelike infinity is $(0,\pi )$. Although angles label points on null infinity, their two-spheres collapse at these three endpoint locations in the compactified picture.

For the geodesic endpoints in Minkowski conformal compactification, one can check the limits directly. A timelike inertial trajectory is $\mathbf{x}=\mathbf{b}+\mathbf{w}t$ with $|\mathbf{w}|<1$. At $t\to +\infty$ both $t-r$ and $t+r$ tend to $+\infty$, so $p,q\to \pi /2$ and the trajectory ends at future timelike infinity. At $t\to -\infty$ both tend to $-\infty$, giving past timelike infinity. This includes a stationary inertial worldline with bounded $r$.

For a null inertial trajectory, $|\mathbf{w}|=1$. As $t\to +\infty$, $r=t+\mathbf{w}\cdot \mathbf{b}+o(1)$, so $u$ has a finite limit while $v\to +\infty$; its future endpoint lies on future null infinity. As $t\to -\infty$, $r=-t-\mathbf{w}\cdot \mathbf{b}+o(1)$, giving a finite limiting $v$ and $u\to -\infty$, hence a past endpoint on past null infinity. Radial null geodesic paths have $T\pm R$ constant. A ray passing through the center changes its angular direction; in the angle-suppressed radial diagram it reflects at $R=0$ rather than terminating there.

A spacelike geodesic is also a straight line, now parametrized so that $|d\mathbf{x}/d\lambda |>|dt/d\lambda |$. At either end, $r>|t|$ asymptotically, $u\to -\infty$, $v\to +\infty$, and the endpoint is spacelike infinity. A radial spacelike line at $t=0$ has two opposite-angle halves which project onto the same horizontal interval in the diagram.

The conformal compactification endpoints occur at finite $T$ but at infinite physical proper time or affine parameter; Minkowski spacetime is geodesically complete. The conformal preservation of null geodesic paths does not preserve an affine parameter: if $\lambda$ is physically affine, an unphysical affine parameter satisfies $d\tilde{\lambda }/d\lambda ={\Omega }^2$ up to a constant. Along a complete null ray this can have a finite integral at infinity. Timelike and spacelike physical geodesic paths are not generally geodesics of the rescaled metric tensor, so their drawn curves must not be interpreted as freely falling unphysical observers.

Finally, every physical event can send an outgoing null ray to future null infinity, so $J^{-}({\mathcal{I}}^{+})$ is all of Minkowski spacetime. Its black-hole region and intrinsic event horizon are empty. The null edges in the diagram are infinity, not horizons concealing part of the physical manifold. Complete inertial observers likewise have no observer event horizon. Accelerated observers restricted to a Rindler wedge can have a Rindler horizon, but that is observer-dependent and does not contradict the horizon-free Minkowski spacetime. The conformal diagram compactifies infinity; it does not introduce a physical horizon.

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.

Use Planck units for the following formulas. The black-hole area theorem is a classical statement with hypotheses. Assume the Einstein field equations, the null energy condition and appropriate global future regularity/predictability. For a clean version of the focusing sketch, take the future horizon generators to remain on a regular horizon and to be future complete in affine parameter. The usual strong asymptotic predictability formulation supplies the global causal control needed to exclude the same focusing pathology; an arbitrary spacetime with naked future breakdown is not covered by the theorem.

Let ${\ell }^a$ be an affinely parametrized generator of a smooth portion of the event horizon, and let $\theta =d\log dA/d\lambda$ be its null expansion. The horizon is a null hypersurface, so its generators have zero null twist. In four dimensions the Null Raychaudhuri equation isThe Einstein field equations give $R_{ab}{\ell }^a{\ell }^b=8\pi T_{ab}{\ell }^a{\ell }^b\ge 0$, since the metric terms vanish when contracted with a null vector. The screen-space null shear term is also nonnegative, so ${\theta }^{\prime }\le -{\theta }^2/2$. If ${\theta }_0<0$ at ${\lambda }_0$, integrating this inequality while the congruence remains regular givesIt focuses within affine distance at most $2/|{\theta }_0|$. The vanishing area element is a focal point to an earlier spacelike horizon cut. Past such a point the null geodesic can no longer generate an achronal boundary, but the event horizon is precisely such a boundary. Future completeness and the global hypotheses exclude its escaping this contradiction by ending prematurely at a pathology. Therefore $\theta \ge 0$ everywhere the smooth horizon description applies.

Integrate $d(dA)/d\lambda =\theta dA$ between ordered horizon cuts. Every continuing generator contributes a nondecreasing area element. New generators can enter at past endpoints or merger crease sets, adding area; generators cannot leave a regular future horizon through future endpoints under these hypotheses. Thus, including the total area of disconnected components,This is the future-complete horizon focusing proof of the area theorem. A smooth elementary congruence proof requires the stated regularity; the general theorem also treats the horizon's nonsmooth joining set rather than assuming mergers have a globally smooth horizon.

Hawking radiation changes the situation because the quantum field state in a collapsing geometry is not a classical positive-energy fluid. For a large isolated Schwarzschild black hole,in natural units. Outgoing quantum modes at future null infinity have a nearly thermal occupation, modified by greybody factors; an accompanying negative Killing energy flux near the horizon reduces the hole's mass. On timescales short compared with the evaporation time but long compared with $M$, its geometry is approximately Schwarzschild spacetime with slowly decreasing $M(t)$. It is not an exactly stationary vacuum solution with a parameter changed by hand: the radiation's stress-energy tensor sources the time dependence through the semiclassical Einstein equation. The distant luminosity is carried by the outgoing radiation, while the horizon-area decrease accompanies the inward negative-energy contribution.

As the black hole loses mass, its horizon scale and Bekenstein-Hawking entropy shrink, its temperature rises and its luminosity increases. This is the negative heat capacity of a Schwarzschild black hole. Large astrophysical holes evaporate extremely slowly in isolation; small holes evaporate more rapidly, and increasingly massive particle species become accessible as the temperature rises. An incoming radiation bath or accretion can instead offset the loss, so the pure evaporation law assumes negligible incoming energy. A formal complete evaporation also raises the black hole information paradox; the low-curvature calculation alone does not determine how information or the final state is resolved.

For an elementary luminosity estimate, treat the horizon as emitting photon blackbody radiation. In natural units the Stefan–Boltzmann law has $\sigma ={\pi }^2/60$, givingThe horizon area used here is an estimate of emitting area, not the exact frequency-dependent absorption cross-section. More generally write $P=\alpha /M^2$, where $\alpha >0$ includes the greybody factors and the active particle species. For constant effective $\alpha$, energy balance and direct integration giveHere $t$ is time measured at infinity. The formal evaporation timescale is $M_0^3/(3\alpha )$; with the photon blackbody estimate it is $5120\pi M_0^3$. Restoring constants givesfor that specified estimate. If particle thresholds make $\alpha$ mass dependent, the precise leading law is instead $t={\int }_{M(t)}^{M_0}{m}^{2}dm/\alpha (m)$. The robust result is the inverse-square mass-loss rate for a fixed species regime and the cubic mass scaling of its lifetime. This is the semiclassical cubic mass law for Schwarzschild evaporation. Extrapolating its zero to a definite end state is unjustified once $M$ approaches the Planck mass and curvature requires quantum gravity.

There is no contradiction with the classical area theorem: the renormalized quantum stress-energy tensor can violate the null energy condition used in the focusing inequality. In the evaporation regime,which is permitted when that hypothesis fails. The thermodynamic replacement is the generalized second law, concerning $S_{\mathrm{outside}}+A/(4G\hslash )$ rather than horizon area alone. Outside radiation can carry entropy while the hole's Bekenstein-Hawking entropy decreases.

Use a free real scalar field obeying a linear Klein-Gordon equation, for example $(\square -{\mu }^2-\xi R)\varphi =0$. This linearity is the assumption that permits mode evolution by a Bogoliubov transformation. Work with a complete set of normalized modes, or normalizable wave packets when the spectrum is continuous. The stationary asymptotic regions supply time translations relative to which positive-frequency solutions and their complex conjugates can be distinguished.

For solutions define the conserved Klein-Gordon inner productHere $\Sigma$ is a Cauchy surface with future-directed normal. Its conservation follows by applying the wave equation to the divergence of its current, provided boundary flux is included or vanishes. Let $u_j$ be a positive-frequency basis in the past and $v_s$ one in the future, each propagated as a solution through the intermediate geometry. Normalize them by $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and $(u_i,u_j^{\ast })=0$, with the corresponding identities for the future basis. The two field expansions areThe canonical commutation relations give $[a_i,a_j^{†}]={\delta }_{ij}$ and $[b_s,b_t^{†}]={\delta }_{st}$. The in-vacuum satisfies $a_j|0_{-}⟩=0$, while the out-vacuum satisfies $b_s|0_{+}⟩=0$. They are generally different vacua.