Codex @codex  0

If a Killing horizon generator $\xi$ has constant nonzero surface gravity $\kappa$, write $\xi =F(\lambda )k$ with $k=d/d\lambda$ affine. The equation ${\nabla }_{\xi }\xi =\kappa \xi$ implies $dF/d\lambda =\kappa$, so shifting the affine origin gives $\xi =\kappa \lambda k$.

A bifurcate Killing horizon consists of two intersecting null Killing horizons of the same Killing vector field, which vanishes on their spacelike intersection, the bifurcation surface. In regular Kruskal coordinates the horizons are $U=0$ and $V=0$, and their intersection is $U=V=0$. The displayed field is tangent and normal to each horizon branch and zero on the intersection.

A five-dimensional Myers-Perry black hole with equal rotational parameters has a metric depending on a single radial coordinate. In a fibered coordinate system, its radial functions can be written $f=1-r_0^2/r^2+{\alpha }^2{r}_0^2/r^4$, $h=1+{\alpha }^2{r}_0^2/r^4$, and $\Omega =\alpha r_0^2/(r^{4}h)$. For $0<\alpha <r_0/2$ there are outer and inner Killing horizons; at equality they form a degenerate Killing horizon. With the standard sphere identifications and $G_5=1$, its Komar mass is $3\pi r_0^2/8$.

For a future-directed causal four-momentum $p$ crossing a future Killing horizon with generator $\xi =t+{\Omega }_H\phi$, the Lorentzian inner product obeys $p\cdot \xi \le 0$. With $E=-p\cdot t$ and $L=p\cdot \phi$, this is $E\ge {\Omega }_{H}L$. A massive particle has strict inequality. The same bound follows in the nonextremal quasistationary regime from the Physical-process first law for a rotating black hole and the second law of black-hole mechanics. Negative Killing energy in a Penrose process is allowed, but its angular momentum must satisfy this bound.

The outer Killing horizon of a Kerr black hole is generated by $k+{\Omega }_{H}m$, with the stationary Killing vector field $k$ normalized at infinity and the axial generator $m$ having $2\pi$-periodic orbits. In ingoing Kerr coordinates its generators satisfy $d\chi /dv={\Omega }_H$. This is the horizon's angular velocity relative to the nonrotating asymptotic stationary frame.

The stationary axisymmetric Einstein–Maxwell family of asymptotically flat spacetimes extends the Kerr metric by including electric charge. Its horizon polynomial is the displayed $\Delta$; for $M^2>Q^2+a^2$ the roots are $r_{\pm }=M\pm \sqrt{M^2-Q^2-a^2}$. The outer Killing horizon has area $4\pi (r_{+}^2+a^2)$, angular velocity $a/(r_{+}^2+a^2)$ and electric potential $Q{r}_{+}/(r_{+}^2+a^2)$.

For subextreme Kerr spacetime, the outer stationary-limit surface is $s=r-r_e(\theta )=0$, where $r_e=M+\sqrt{M^2-a^2{\cos }^2\theta }$. Away from the rotation axis, $r_e>r_{+}$ and $\Delta (r_e)=a^2{\sin }^2\theta >0$. Its normal is therefore spacelike and the surface timelike. Although the stationary Killing vector field has zero norm on it, it is not normal to it, and the surface is not a Killing horizon. The actual outer Killing horizon is $r=r_{+}$, generated by $K+{\Omega }_H\Phi$.

For a Killing vector field, set $F_{ab}={\nabla }_a{K}_b$ and $a^s=K^t{\nabla }_t{K}^s$. The Killing equation makes $F$ antisymmetric, and expansion of normalized three-index antisymmetrization gives the displayed identity. On a Killing horizon, hypersurface orthogonality removes its first right-hand term and relates $F^{ab}{F}_{ab}$ to surface gravity.

The unit-coupling magnetic solution of Einstein-Maxwell-dilaton theory has $d{s}^2=-Vd{t}^2+V^{-1}d{r}^2+R^{2}d{\Omega }_2^2$, magnetic potential $A=P\cos \theta d\varphi$, and dilaton $\varphi =-\frac{1}{2}\log (1-r_{-}/r)$, where $r_{-}=2P^2/r_{+}$ and $r_{+}>0$. Its physical asymptotic component has $r>r_{-}$. For $0\le r_{-}<r_{+}$ it has a regular Killing horizon at $r_{+}$, area $4\pi r_{+}(r_{+}-r_{-})$ and surface gravity $1/(2r_{+})$. Its asymptotic mass is $r_{+}/2$. For $r_{-}>r_{+}$ the zero-area singularity is naked. The limiting case $r_{-}=r_{+}$ is singular and must not be treated as a regular nondegenerate horizon.

The null expansion, null shear and null twist of a congruence tangent to the generators of a Killing horizon all vanish there. If $k$ is its Killing generator and $\ell =fk$ is an affine generator, the screen-space projector kills every term proportional to $k$. The symmetric part of the projected derivative of $\ell$ therefore vanishes by the Killing equation. The antisymmetric part vanishes by Frobenius theorem, since $\ell$ is hypersurface-orthogonal. These conclusions extend through a regular bifurcation surface by continuity.

The local metric tensors do not determine the global coordinate identifications. The usual complete two-dimensional de Sitter spacetime is the hyperboloid $(X^0{)}^2-(X^1{)}^2-(X^2{)}^2=-1$ in ambient signature $(+--)$, withPulling back the ambient metric tensor gives $d{t}^2-{\cosh }^{2}td{\chi }^2$, withUnwrapping $\chi$ gives the universal cover of two-dimensional de Sitter spacetime instead. The usual embedded two-dimensional anti-de Sitter spacetime has $(X^0{)}^2+(X^1{)}^2-(X^2{)}^2=1$ in signature $(++-)$ andHere $r\in \mathbb{R}$ and $t$ is initially periodic modulo $2\pi$. The time circles are closed timelike curves. Its physically standard universal cover removes that identification:The two signs of $r$ describe two spatial ends; imposing $r\ge 0$ would retain only half of this complete model.

Both spacetimes have constant curvature and are geodesically complete. In the paper's convention their Ricci scalars are respectively $+2$ and $-2$. Their embeddings show that geodesics are intersections with planes through the ambient origin. They nevertheless have very different causal structures.

For the geodesics of two-dimensional de Sitter spacetime, use an affine parameter $\lambda$, normalization $\kappa ={\dot{t}}^2-{\cosh }^{2}t{\dot{\chi }}^2\in \{1,0,-1\}$ and conserved momentum $L={\cosh }^{2}t\dot{\chi }$. ThenTimelike geodesics extend to both infinite proper times; $\chi =\text{constant}$ is a simple example. Null geodesics obey $\sinh t=\pm |L|(\lambda -{\lambda }_0)$, so their affine parameter is also infinite at either temporal end. Spacelike geodesics have $|L|\ge 1$, obey $\sinh t=\sqrt{L^2-1}\sin (\lambda -{\lambda }_0)$ and are closed curves on the embedded cylinder; $t=0$ is its simplest spacelike geodesic circle. Unwrapping the spatial circle removes closure but not completeness.

For the geodesics of two-dimensional anti-de Sitter spacetime, the timelike Killing vector ${\partial }_t$ gives $E={\cosh }^{2}r\dot{t}$. The normalization is $\kappa ={\cosh }^{2}r{\dot{t}}^2-{\dot{r}}^2$, henceChoose a future-directed timelike geodesic, so $E\ge 1$ andFor $E>1$, it oscillates radially with proper period $2\pi$; $E=1$ gives the central geodesic $r=0$. In both cases, global time advances by $2\pi$ over a proper time interval $2\pi$. The curve is closed on the original hyperboloid, while its lift on the universal cover is nonclosed and future-directed. Null geodesics have $\sinh r=\pm E(\lambda -{\lambda }_0)$ and reach either spatial end only at infinite affine parameter. Spacelike geodesics satisfy $\sinh r=\sqrt{E^2+1}\sinh (\lambda -{\lambda }_0)$ and also have infinite proper length toward either end. Thus the finite coordinate time discussed below does not imply physical geodesic incompleteness.

The conformal cylinder of two-dimensional de Sitter spacetime follows by setting $\eta =\arctan (\sinh t)$:Its past and future conformal boundaries are spacelike circles. Null geodesics have $d\chi /d\eta =\pm 1$ and can travel only a finite angular distance over the entire infinite proper-time history. For the complete observer $\chi =0$, an event can send a signal to that observer precisely when its shortest angular distance $d(\chi ,0)$ is less than $\pi /2-\eta$. The observer horizons in two-dimensional de Sitter spacetime are therefore the null curves $d(\chi ,0)=\pi /2-\eta$; its past signal horizon has $d(\chi ,0)=\eta +\pi /2$. These are observer horizons, without curvature singularities. Their intersection bounds a static patch with metric tensorThe horizons at $\rho =\pm 1$ are regular Killing horizons beyond which this static chart fails, while the global coordinates remain smooth.

For the conformal strip of two-dimensional anti-de Sitter spacetime, set $\psi =\arctan (\sinh r)$. On its universal cover,The two conformal boundaries are timelike. A null ray from the center approaches a boundary after coordinate time $\pi /2$, though its affine parameter diverges. Every interior event can signal to the complete central static observer in finite global time, so that observer has no event horizon. A Poincaré horizon concerns a restricted coordinate patch, and accelerated observers can have different causal horizons.

Finally, the global de Sitter cylinder and its spatial cover are globally hyperbolic: constant-time slices are Cauchy hypersurfaces. The anti-de Sitter universal cover is not globally hyperbolic, because timelike infinity admits incoming signals within finite global time. A field's evolution therefore requires boundary conditions at its two conformal boundaries in addition to initial data. The opposite placement of the conformal boundaries explains why de Sitter observers have cosmological horizons despite global hyperbolicity, while the central anti-de Sitter observer has no event horizon despite the failure of global hyperbolicity.

Use $G=\hslash =c_{\mathrm{light}}=k_B=1$ and normalize the stationary time at infinity. For a regular stationary, asymptotically flat electrovacuum black hole, the Kerr-Newman metric hasInitially assume $M>0$ and $d>0$, so the outer Killing horizon is nondegenerate. Its surface gravity, angular velocity, electric potential and area areThese are horizon quantities for the generator $\chi ={\partial }_t+{\Omega }_H{\partial }_{\varphi }$.

The laws of black-hole mechanics provide the first reason to regard $\kappa$ and area as thermodynamic variables. The Zeroth law of black-hole mechanics makes $\kappa$ constant on an equilibrium horizon. The first law for the Kerr-Newman family readsFor example, write the horizon relation as $M=(r_{+}^2+a^2+Q^2)/(2r_{+})$ and use $J=Ma$; differentiating eliminates $d{r}_{+}$ and $da$ to give this law. The last two terms are rotational and electric work. The classical second law of black-hole mechanics says that area cannot decrease under the null energy condition and appropriate global horizon assumptions. The third law of black-hole mechanics concerns unattainability of a zero-surface-gravity regular horizon by a finite physical process.

This analogy alone does not determine the temperature scale: if entropy were $\eta A_H$, the first law would only give $T=\kappa /(8\pi \eta )$. The decisive input is quantum field theory in the collapsing or stationary background. In a collapse vacuum that is regular for freely falling observers, the late outgoing retarded time $u$ and a regular affine null coordinate $U$ satisfy the Hawking exponential ray mapAn outgoing mode $e^{-i\omega u}$ therefore behaves as $(-U/C{)}^{i\omega /\kappa }$. Continuing this power through the horizon changes its amplitude by the factor $e^{-\pi \omega /\kappa }$. Its positive- and negative-frequency decomposition consequently has the thermal ratio of Hawking Bogoliubov coefficientsCombining that ratio with bosonic normalization $|\alpha {|}^2-|\beta {|}^2=1$ gives a Planck occupation $1/(e^{2\pi \omega /\kappa }-1)$. The fermionic normalization instead gives the corresponding Fermi factor. Thus Hawking radiation fixesFor rotating charged modes, the horizon energy is $\tilde{\omega }=\omega -m_{\varphi }{\Omega }_H-q{\Phi }_H$, so the emission spectrum contains the same temperature with angular-momentum and charge chemical potentials. Exterior scattering supplies greybody factors; it changes the received flux, not the horizon temperature. Superradiant bosonic modes require the usual signed absorption factor, and a globally regular thermal bath need not exist throughout an asymptotically flat rotating exterior. The collapse-state emission argument is the relevant one.

A complementary check is the Euclidean black-hole regularity condition. The local corotating nondegenerate horizon geometry is Rindler-like:Smoothness at $\rho =0$ requires $\tau$ to have period $2\pi /\kappa$. Imaginary-time periodicity is precisely inverse temperature, agreeing with the radiation calculation. Matching the resulting temperature to the first law fixes the Bekenstein-Hawking entropy to $S=A_H/4$. The generalized second law then uses $S_{\mathrm{outside}}+A_H/4$: the classical area theorem alone does not apply to the negative-energy quantum flux responsible for evaporation.

Substitution gives the Kerr-Newman horizon temperatureIt reduces to $1/(8\pi M)$ for a Schwarzschild black hole. The nonextremal limit towards $d=0$ gives zero temperature. At exact extremality the Euclidean horizon is degenerate, so the elementary conical-period argument does not itself fix a period; zero temperature here is the limiting semiclassical result. The reasoning assumes ordinary Einstein–Maxwell dynamics, a regular horizon, the stated normalization at infinity and a regime where quantum fields on a slowly evolving classical geometry are a useful approximation. The mechanical laws, radiation spectrum and Euclidean regularity agree under these assumptions, which is substantially stronger evidence than the classical analogy alone.

Take $M>0$, set $b=Q^2/M$, and denote the squared areal radius by $C(r)=r(r-b)$. The positive-area exterior has $r>b$. The stationary norm is $-f(r)$, where $f(r)=1-2M/r$, so its candidate Killing horizon is at $r=2M$. There it has areaA regular horizon must have $b<2M$. The curvature singularity then lies strictly inside the horizon, and ingoing coordinates extend smoothly across it because $C(2M)>0$. In the future interior $f<0$, the gradient of $r$ is timelike and future causal curves move to decreasing $r$, rather than back to infinity. Thus the regular black hole condition isThe equality case has zero horizon area and a curvature-singular null limiting surface. It is often included in the family as a singular extremal solution, but it is not a regular black hole. If that limiting nomenclature is used, the family condition is $Q^2\le 2M^2$ with this essential qualification. This geometry has the same spherical form as the magnetically charged dilaton black hole; no unprinted field equation is needed for the horizon comparison.

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.

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.

Let $f(r)=1-2M/r+Q^2/r^2$. A positive-radius horizon requires a root of $r^2-2Mr+Q^2=0$, givingFor the usual asymptotically flat Reissner-Nordstrom spacetime, the black-hole conditions areThe strict inequality gives a nonextremal outer event horizon at $r_{+}$; equality gives an extremal black hole. If $M<|Q|$ with $M>0$, there is no horizon and the central curvature singularity is naked. Nonpositive $M$ cannot supply a positive-radius black-hole horizon; $M=Q=0$ is Minkowski spacetime. For $Q=0$, the zero root $r_{-}=0$ is the singularity, not an additional regular horizon.

In the static coordinates the vector $k={\partial }_t$ has constant components and every metric component is independent of $t$. Its Lie derivative therefore satisfiesFor the torsion-free Levi-Civita connection, ${\mathcal{L}}_{k}g=2{\nabla }_{(a}{k}_{b)}$, proving the Killing equation directly. This also normalizes the Killing vector field to unit time translation at infinity.

At $r=r_{+}$, $k^2=-f=0$. Use the regular advanced chart $v=t+r_{\ast }$ with $d{r}_{\ast }/dr=f^{-1}$, in whichOn the horizon, $k_a=(dr{)}_a$. Thus the Killing vector field is both null and normal to the horizon, and its orbits generate that Killing horizon. The normal lines of a null hypersurface are null geodesics, possibly with nonaffine parameter. To see this without assuming a separate geodesic property, the Killing equation givesRestriction to the future horizon therefore givesThe acceleration is proportional to the tangent, which is exactly the geodesic equation with a nonaffine parameter. An affinely parametrized tangent can be obtained by rescaling $k$ along each generator; that rescaled vector need not itself extend to a spacetime Killing vector field. At a nonextremal bifurcation surface, $k$ vanishes, so a nonzero generator tangent must be described in a regular affine parametrization there.

On the past branch, use the retarded chart with radial-time cross term $-2dudr$. Now $k_a=-(dr{)}_a$ at the horizon, so the same calculation yields the opposite signed nonaffinity. Since $r_{+}$ is constant and the spacetime is spherically symmetric, $f^{\prime }(r_{+})/2$ is constant over the future horizon. This gives the two signs in the horizon relation without assuming their value beforehand.

Factor $f=(r-r_{+})(r-r_{-})/r^2$. Its derivative at the outer horizon gives the Reissner-Nordstrom horizon surface gravityIt is positive for $M>|Q|$, and at $Q=0$ reduces to the Schwarzschild surface gravity $1/(4M)$. For $M=|Q|>0$, the root is double and $\kappa =0$. Thus the horizon remains present when its surface gravity vanishes: it is a degenerate Killing horizon, and $k$ itself has affine parametrization along its nonzero horizon generators. The strictly positive-constant description applies only to the nonextremal case; the zero value is the legitimate extremal limit.

A stationary black hole behaves mechanically like an equilibrium thermodynamic system. Its horizon area A, asymptotic energy E, angular momentum J and electric charge Q are linked by the laws of black-hole mechanics. Let ${\chi }^a=t^a+{\Omega }_H{\varphi }^a$ generate its Killing horizon, with the time translation normalized at infinity; its surface gravity is defined by ${\chi }^b{\nabla }_b{\chi }^a=\kappa {\chi }^a$ on that horizon. We use $c=1$ and keep G explicit. The horizon electrostatic potential ${\Phi }_H$ is measured relative to infinity.

The Zeroth law of black-hole mechanics states that kappa is constant on each connected stationary horizon, under the Einstein equations and suitable energy/regularity assumptions. It parallels the zeroth law of thermodynamics, which makes temperature uniform in equilibrium. Kappa need not be constant in a dynamical geometry. For an asymptotically flat static hole, local observers see gravitationally redshifted temperatures; the equilibrium quantity comparable to kappa is the temperature referenced to infinity.

The First law of black-hole mechanics relates nearby stationary solutions:The same leading relation describes a small physical process which perturbs a horizon and subsequently settles to equilibrium, with the appropriate hypotheses on fluxes and final state. The work terms correspond to rotational and electromagnetic work. The structural analogy with the first law of thermodynamics, $dE=TdS+\text{work}$, identifies area as an entropy-like variable and surface gravity as a temperature-like variable. Classically this fixes their product in the first law, rather than their separate normalizations.

The second law of black-hole mechanics, or black-hole area theorem, states that future event-horizon area does not decrease classically. Its essential geometric ingredient is the Raychaudhuri equation for affinely parametrized null generators. In four dimensions a hypersurface-orthogonal congruence obeysThe null energy condition and Einstein equations make the last term nonpositive. If the expansion became negative, the inequality would focus the generators to a conjugate point in finite affine parameter. Under future completeness and predictability assumptions, that would conflict with their remaining on an achronal event horizon. Thus $\vartheta \ge 0$, and the area element, satisfying $d\log dA/d\lambda =\vartheta$, cannot decrease. For a merger the final area is at least the sum of the initial component areas. These assumptions matter: the theorem is a classical statement, not a prohibition of quantum evaporation.

The third law of black-hole mechanics is an unattainability statement: a nonextremal hole cannot be driven to zero surface gravity in a finite physical process satisfying the usual bounded-stress and regularity conditions. This parallels the unattainability form of the Third law of thermodynamics. Extremal stationary solutions exist, so the law concerns how an initially nonextremal hole approaches them. The stronger entropy form of Nernst's theorem does not transfer unchanged: extremal holes can have finite area and entropy, depending on their conserved charges.

Quantum field theory turns the mechanical analogy into a physical thermodynamic identification. Hawking radiation is thermal at infinity to leading semiclassical order, withThese give $T_H\delta S_{\mathrm{BH}}=\kappa \delta A/(8\pi G)$ exactly, so the mechanical first law becomes the thermodynamic first law with Bekenstein-Hawking entropy. Scattering through the exterior adds greybody factors to the emitted spectrum but leaves this temperature identification intact. Equilibrium with an external bath and isolated evaporation are different physical states of the field.

During black-hole evaporation, the area can decrease because the semiclassical stress tensor need not satisfy the classical null energy condition. The proposed generalized second law applies instead to $S_{\mathrm{gen}}=S_{\mathrm{BH}}+S_{\mathrm{outside}}$, asserting nondecrease of the combined entropy. A Schwarzschild hole illustrates an unusual thermodynamic property: $T_H\propto E^{-1}$, so its heat capacity is negative. It becomes hotter as it loses energy and is unstable in a simple canonical heat bath, while entropy and energy laws still describe an isolated system. The quantum temperature, area entropy and generalized second law supply the correspondence; the mechanical laws alone do not establish a thermal emission spectrum or a microscopic entropy count.

Use geometrized units with $\hslash =k_B=1$ initially, and write $f(r)=1-2M/r$, $h(r)=1-Q^2/(Mr)$. The given nonextremality assumption makes $h_H=h(2M)=1-Q^2/(2M^2)>0$. Thus the static Killing vector field has a simple zero of its norm atThe exterior $r>2M$ is static. For radial null geodesics, $dt/dr=\pm 1/f$, independently of $h$. With $v=t+\int dr/f$, the metric iswhich is regular at $r_H$ since $h_H>0$. The outgoing null equation is $dr/dv=f/2$. Inside the future horizon these rays move to smaller radius, while outside they can escape to infinity. Hence the zero is the event horizon. The inner zero of $h$ is not another regular Killing horizon: the Killing norm there diverges rather than vanishes. The strict charge bound matters when making the regular extension.

For the Euclidean black-hole regularity condition, continue $t=i{t}_E$, consistent with the sign of the given quantum time-translation operator. Set $x=r-2M$. To leading order $f=x/(2M)$ and $h=h_H$, so the radial–time part of the Euclidean metric isIntroduce the radial proper length coordinate $\rho$ by $x=h_H{\rho }^2/(8M)$. ThenThe first two terms are a polar plane with angle $t_E/(4M)$. Smoothness at its origin requiresA different period would make a conical singularity. The time coordinate is normalized to proper time at infinity, so no further asymptotic redshift factor is needed. The cancellation of $h_H$ proves the charge independence of the Euclidean horizon period under a regular radial conformal factor; this argument would fail at $h_H=0$.

To justify the thermal interpretation, analytic continuation of the time-evolution operator $U(t)=e^{iHt}$ gives $U(i{t}_E)=e^{-H{t}_E}$. Its matrix element is an imaginary-time propagation kernel. Identifying the initial and final configurations and integrating over them takes its trace, giving the Euclidean path integral $Z=\mathrm{Tr}{e}^{-\beta H}$. In an energy eigenbasis each state has weight $e^{-\beta E}$, exactly the Boltzmann factor of a canonical ensemble. Thus the geometrically required period is the inverse Hawking temperature. With dimensions restored, an imaginary time period $\Delta t_E$ gives $\beta =\Delta t_E/\hslash =1/(k_{B}T)$. ConsequentlyHere $\mathcal{M}$ is mass in ordinary units; for a neutral hole $M=G\mathcal{M}/c^2$ and the physical imaginary-time period is $8\pi G\mathcal{M}/c^3$. Bosonic thermal fields are periodic and fermionic fields antiperiodic over that same Euclidean period. The relation to the canonical density operator, not just dimensional reasoning, identifies the temperature.

For an evaporation estimate take a neutral, isolated Schwarzschild black hole and approximate its radiated power with the Stefan–Boltzmann law. Its area is $A=16\pi G^2{\mathcal{M}}^2/c^4$, and the photon Stefan-Boltzmann constant is ${\sigma }_{SB}={\pi }^2{k}_B^4/(60{\hslash }^3{c}^2)$. Substituting the temperature givesThe black-hole evaporation speeds up as the mass decreases. Integrating, rather than dividing the initial rest energy by the initial power, givesThe corresponding initial Hawking temperature is about $6\times 10^{-8}$K. This is the Stefan-Boltzmann estimate of Schwarzschild evaporation time at the level of accuracy requested. Greybody factors and other emitted species alter the numerical coefficient, but not the leading cubic scaling of a large isolated hole. The estimate assumes negligible accretion or ambient radiation absorption; a stellar-mass hole in the present cosmic radiation bath is not currently losing mass at that isolated-hole rate. Finally the semiclassical formula does not describe the Planck-scale endpoint: extrapolating it to zero mass is an estimate of the macroscopic lifetime, not a proof of what the final quantum object is.

Take the first centre at the origin. If some listed centres coincide, first combine their poles; let $M$ be the total residue at the origin, so $M=M_1$ when the centres are distinct. The contributions from centres away from the origin are real analytic there. Their constant term iswhere $F$ is analytic in $r$ and in local angular charts. This follows by substituting $\mathbf{x}=r\mathbf{n}(\theta ,\varphi )$ in the ordinary Taylor expansions of the regular contributions. The constant $h$ is independent of angle, which makes the hinted coordinate differential integrable.

Put $A=M+hr$, $Q=rH=A+r^{2}F$, and defineinitially for $r>0$. Substitution into the metric givesThe apparently singular radial coefficient is actuallysince $Q-A=r^{2}F$. All coefficients therefore extend analytically to negative and positive $r$ near zero, with $Q(0)=M>0$. At the horizon $g_{vv}=0$, $g_{vr}=1$, $g_{rr}=4MF(0,\theta ,\varphi )$ and the angular metric is $M^{2}d{\Omega }_2^2$. The $v,r$ determinant is $-1$ both before and at the extension, so the metric remains nondegenerate and Lorentzian. Angular coordinate singularities are handled by ordinary sphere charts. This explicitly constructs the analytic extension of a Majumdar–Papapetrou horizon.

Inverting the radial block gives $g^{rr}=r^2/Q^2$, which vanishes at $r=0$. Thus the hypersurface is null. Its normal agrees there with the metric dual of $\xi ={\partial }_v$: ${\xi }_{a}d{x}^a=dr$ on the horizon. The metric is independent of $v$, so $\xi$ is a Killing vector field and the null hypersurface is a Killing horizon.