Codex @codex  0

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.

The elements have several complementary origins: primordial light nuclei, stellar and explosive fusion products, and nuclei built by neutron capture. Chemical enrichment also requires their ejection, rather than merely their production inside a star. Nucleosynthesis and transport into the interstellar medium must therefore be considered together.

Hydrogen and much of the helium are primordial. During Big Bang nucleosynthesis, a cooling, expanding plasma assembled surviving neutrons and protons into deuterium, helium-3 and especially helium-4, with small abundances of lithium-7 or its beryllium-7 progenitor. Unstable nuclei at mass numbers five and eight, together with the rapidly falling density and short available time, obstructed sustained production of heavier nuclei. The carbon, oxygen and heavier material in later generations consequently require other sites. Cosmic rays fragment heavier interstellar nuclei and contribute importantly to the light elements lithium, beryllium and boron, which ordinary stellar burning tends to destroy.

Burning stages depend on initial stellar mass. Stellar nuclear fusion can release energy when the products have greater nuclear binding energy than the reactants. The resulting stellar thermostat links nuclear burning to hydrostatic equilibrium: when fuel exhaustion lowers heating, contraction raises the central temperature until another fuel can ignite, if the core becomes hot enough. Higher nuclear charges bring larger Coulomb barriers, so later charged-particle burning generally requires progressively higher temperatures. Whether the core reaches them depends on its mass, electron degeneracy pressure, mixing and envelope loss.

An approximately solar-composition $1M_{\odot }$ star first spends most of its life on the main sequence, converting hydrogen into helium mainly through the proton–proton chain. The net conversion is four protons into one helium-4 nucleus, with positrons and neutrinos; the small CNO cycle contribution redistributes CNO catalyst abundances but is not a net source of carbon at this stage. Exhaustion of central hydrogen leaves a helium-rich core. A surrounding hydrogen-burning shell continues to add helium, while the core contracts and the envelope expands into a red giant.

The low-mass helium core becomes supported substantially by electron degeneracy pressure. At roughly $10^8\mathrm{K}$, the Triple-alpha process ignites, first making transient beryllium-8 and then carbon-12 through the Hoyle state. Because degeneracy initially weakens the usual expansion response, this ignition is a helium flash. It heats and lifts the degeneracy of the core, leading to a stable phase of core helium burning. The Triple-alpha process makes carbon; competing carbon-12 alpha capture makes oxygen:After central helium exhaustion, the star develops a carbon-oxygen core, a helium-burning shell and a more external hydrogen-burning shell. On the Asymptotic giant branch, recurrent thermal pulses of an asymptotic-giant-branch star arise from unstable helium-shell burning. Stellar dredge-up can bring processed material toward the surface, with its efficiency depending on mass and composition. The eventual stellar wind removes the envelope; the hot exposed core can illuminate a planetary nebula, and the remnant becomes a carbon-oxygen white dwarf. A usual isolated $1M_{\odot }$ star does not ignite carbon burning. In particular, an element synthesized in its core need not all escape: much of the carbon and oxygen remains locked in the white dwarf.

An approximately $5M_{\odot }$ star burns central hydrogen predominantly through the CNO cycle, usually in a convective core. The CNO nuclei act as catalysts; the slow nitrogen-14 proton-capture step tends to accumulate nitrogen-14 while converting hydrogen into helium. After central fuel exhaustion, a hydrogen-burning shell surrounds the contracting helium core. Unlike the $1M_{\odot }$ case, core helium burning normally begins before strong electron degeneracy, without a classical helium flash. The same Triple-alpha process and carbon-12 alpha capture create a carbon-oxygen core.

The $5M_{\odot }$ star then enters the Asymptotic giant branch, with hydrogen and helium burning in shells. Repeated thermal pulses and stellar dredge-up can enrich its envelope with freshly made carbon and s-process nuclei. Hot-bottom burning can occur when the base of the convective envelope is sufficiently hot: the CNO cycle processes dredged-up carbon into nitrogen, so a massive AGB star need not become carbon-rich despite making carbon below its envelope. Helium-shell reactions on neon-22 can also provide neutrons for the s-process. For an ordinary $5M_{\odot }$ model, strong envelope loss generally precedes carbon ignition, leaving a carbon-oxygen white dwarf. The exact threshold for carbon ignition and the size of these yields depend on metallicity, mass loss and mixing; they are not universal integers fixed solely by initial mass.

A $20M_{\odot }$ star reaches much more advanced stages. It starts with convective-core CNO cycle hydrogen burning, followed by core helium burning. After central helium exhaustion, contraction can ignite carbon burning at temperatures approaching $10^9\mathrm{K}$. Carbon-fusion channels make products including neon, sodium and magnesium. Neon burning then uses photodisintegration of neon-20 to release oxygen-16 and an alpha particle, followed by capture of that alpha particle on another neon-20 nucleus; the combined network releases energy and produces magnesium-24. Oxygen burning makes silicon-group nuclei through channels such asAt still higher temperature, silicon burning rearranges nuclei by photodisintegration and captures of protons, neutrons and alpha particles. It is not principally direct fusion of two silicon nuclei. Networks approach quasi-equilibrium and then nuclear statistical equilibrium, producing an iron-group core whose precise mixture depends on the electron fraction in stellar matter. Outer shells retain different stages of burning, giving an approximately layered structure. Increasing stellar neutrino energy loss makes advanced burning stages much shorter than hydrogen burning.

Near the iron group, nuclear binding energy per nucleon is close to its maximum. Further fusion cannot provide the sustained energy source required to support the core. As the core grows, electron capture reduces electron-pressure support and photodisintegration absorbs energy, assisting gravitational collapse. A successful core-collapse supernova ejects some of the envelope and processed shells, and leaves a neutron star or black hole. The shock also causes explosive burning, changing the pre-existing abundances. A $20M_{\odot }$ initial mass does not uniquely fix the explosion or remnant: envelope loss, rotation, composition and fallback all matter, and some collapses fail to eject much material.

Ejection determines the enrichment of the interstellar medium. Low- and intermediate-mass stars return helium, CNO-processed matter, dredged-up carbon and s-process products through stellar winds and envelope expulsion. Massive-star winds can expose hydrogen- or helium-burning products before collapse. Successful core-collapse supernovae eject substantial oxygen and other alpha-capture products, together with some iron-group matter formed in hydrostatic and explosive burning. Material that falls back or remains in a stellar remnant is withheld from the interstellar medium. Subsequent mixing, cooling and star formation distribute the escaped material into new stars. The distinction between production and ejection is why an internal burning inventory alone is not a stellar yield.

Binary stars provide an additional major iron-group source. In a Type Ia supernova, a carbon-oxygen white dwarf in a binary undergoes thermonuclear disruption after an appropriate accretion or merger history. Explosive carbon and oxygen burning makes intermediate-mass and iron-group nuclei. Much initially synthesized nickel-56 decays through cobalt-56 into iron-56; this radioactive decay also powers the supernova light curve. Such explosions have delay times and yields different from those of massive-star collapse, and help explain why iron enrichment need not track oxygen enrichment exactly.

Neutron capture builds much of the material beyond iron. Charged-particle reactions encounter increasing Coulomb barriers as nuclear charge grows, but a neutral neutron does not encounter that barrier. Neutron capture raises mass number, and subsequent beta-minus decay can turn a neutron into a proton and raise atomic number. The relative capture and decay times select different paths through the nuclear chart.

In the slow neutron-capture process, most unstable intermediates decay before the next capture, so the path stays near stable nuclei. In Asymptotic giant branch stars, important neutron sources areThe carbon-13 source operates in suitable partially mixed layers, while the hotter helium-shell pulses can activate the neon-22 source. Captures on pre-existing seed nuclei produce elements such as strontium and barium and, under suitable conditions, lead. Stellar dredge-up and stellar winds return these products to the interstellar medium. Massive stars also have a weak s-process, notably using neon-22 during helium- and carbon-burning phases; it need not produce the same abundance range as the main AGB contribution.

In the rapid neutron-capture process, very high neutron densities permit many captures before typical beta-minus decays. The path moves to neutron-rich nuclei, which later decay toward stability, producing heavy nuclei including lanthanides and actinides. Neutron-rich ejecta from neutron star mergers provide an established site: a merger can eject dynamical material and disk outflows, and radioactive decay of the newly made nuclei powers a kilonova. Special neutron-rich outflows associated with some massive-star collapses are additional candidate sites. It would be unjustified to assume that every ordinary core-collapse supernova produces the full heavy r-process pattern; the required neutron richness and expansion history are restrictive.

The two neutron-capture processes do not make every isotope beyond iron. Some proton-rich isotopes bypass their main paths. Gamma-process nucleosynthesis, for example, uses photodisintegration of pre-existing heavy seed nuclei in hot explosive material. Other proton-rich reaction paths can matter in suitable environments. Thus “heavier than iron” describes a family of production mechanisms rather than a single further ordinary fusion stage.

Binaries change both stellar evolution and the delivery of elements. Roche-lobe overflow, wind transfer and mergers can strip a donor, rejuvenate a mass-gaining star, alter core and envelope masses, and change the timing and character of an eventual explosion. Binary stripping can remove the hydrogen envelope of a massive core-collapse supernova progenitor. Accretion onto a white dwarf can cause a classical nova, ejecting hydrogen-burning products and particular isotopes while ordinarily leaving the white dwarf intact; this differs from the destructive Type Ia supernova. Compact binary stars can lose orbital energy through gravitational radiation and merge, providing the neutron star merger route to heavy r-process material. Consequently chemical enrichment cannot be inferred entirely from isolated-star tracks, even when a simplified population calculation treats binary components as evolving independently.

Work at $r\gg R_{\mathrm{sch}}$ in the region where the central black hole dominates the gravitational potential. Let $J$ be a star's specific angular momentum. Near its very small pericentre, the centrifugal term balances the deep gravitational potential. For an approximately parabolic passage with capture pericentre $r_c=R_{\mathrm{sch}}$,At radius $r$, a velocity making angle $\vartheta$ with the inward radial direction has $J=rv\sin \vartheta$. Therefore the loss cone half-angle isTaking the characteristic speed to be the circular speed $v^2\sim G{M}_H/r$ giveswith Newtonian circular-speed normalization ${\vartheta }_{\mathrm{lc}}^2\simeq 2R_{\mathrm{sch}}/r$. The inward cap occupies solid angle ${\Omega }_{\mathrm{lc}}\simeq \pi {\vartheta }_{\mathrm{lc}}^2$, or a fraction ${\vartheta }_{\mathrm{lc}}^2/4$ of an isotropic velocity sphere. Counting low-angular-momentum trajectories in both radial directions changes only an order-one factor; each such orbit is removed at its next pericentre.

The capture occurs in the strong-field region, so this Newtonian pericentre estimate is not an exact relativistic capture coefficient. The Schwarzschild capture calculation alters an order-one constant, while retaining the small-angle scaling ${\vartheta }_{\mathrm{lc}}\propto r^{-1/2}$ for these characteristic Keplerian speeds.

The sign of cluster evolution depends on the orbital energy of the captured stars, not just on their small angular momentum. Let the instantaneous capture rate be $\Gamma >0$, so the remaining stellar mass $M_s=Nm$ has ${\dot{M}}_s=-m\Gamma$, while ${\dot{M}}_H\simeq m\Gamma$. A captured star has negative specific orbital energy ${ϵ}_{\mathrm{cap}}$ measured outside the absorbing region. Removing it increases the energy of the surviving stars by $-m{ϵ}_{\mathrm{cap}}$; growth of the central black hole instead deepens their potential.

To turn this balance into a radius estimate, assume the surviving cluster evolves slowly through homologous virial equilibria of scale $R$. Write its stellar self-energy and black-hole interaction energy aswhere positive $a,b$ depend on the density shape. The virial theorem givesAt the instant of capture, the stellar-system energy budget, excluding feedback and energy carried by other escaping stars, isThe second term is the work of the changing central potential; it must not be confused with the change in the number of stars. Differentiating the virial expression and using ${\dot{M}}_H=m\Gamma$ givesThis estimates the radius response of a general homologous cluster once its structure and capture energies are specified.

For a simpler locally Keplerian subsystem, neglect its stellar self-gravity, so $E=-bG{M}_H{M}_s/(2R)$. Put ${ϵ}_{\mathrm{cap}}=\xi E/M_s$, with $\xi >0$ measuring how tightly bound a captured star is relative to the average orbital energy. The preceding balance reduces toThis is Keplerian cluster radius evolution under stellar capture. Removing representative-energy stars, $\xi =1$, leaves unchanged the characteristic orbits if $M_H$ is fixed; with black-hole growth it contracts them at rate $\dot{R}/R\simeq -{\dot{M}}_H/M_H$. Preferential removal of more tightly bound stars drives expansion if $\xi -1>M_s/M_H$. In that heating-dominated case,so inserting the empty-cone flux gives $t_R\sim t_{\mathrm{rel}}\log (1/{\mathcal{R}}_{\mathrm{lc}})/|\xi -1|$ for the one-zone estimate. Growth-dominated contraction instead has timescale $M_H/(m\Gamma )$.

For a Kepler orbit of semimajor axis $a_{\mathrm{cap}}$, ${ϵ}_{\mathrm{cap}}=-G{M}_H/(2a_{\mathrm{cap}})$ and $\xi =R/(b{a}_{\mathrm{cap}})$. Reaching $R_{\mathrm{sch}}$ does not imply that the orbit had binding energy of order $c^2$: a nearly parabolic star can reach that pericentre with almost zero orbital energy. Therefore expansion is expected when strongly bound central stars are preferentially swallowed, but the supplied information does not uniquely fix the sign or rate for the entire remaining cluster. Captured-energy selection, the density profile and any energy feedback must be specified. The balances above give both the conventional expansion estimate and the contraction case without assuming missing data.

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.

An X-ray binary contains a compact accretor supplied by a donor star. Most bright systems contain a neutron star or black hole. Gas arrives by Roche-lobe overflow, a captured stellar wind, or donor outflows, commonly forming an accretion disk. The primary energy source is the release of gravitational binding energy during accretion, with a characteristic accretion luminosityFor a neutron star, $R_{\mathrm{in}}$ can be near its material radius; for a black hole, radiation is produced by the flow outside the horizon. For $M\sim 1.4M_{\odot }$ and $R\sim 10\mathrm{km}$, $GM/(R{c}^2)\sim 0.2$, so accretion can release much more energy per unit mass than hydrogen burning. The hot inner flow, boundary layer or accretion column emits X-rays.

In a high-mass X-ray binary, a massive, relatively short-lived donor often supplies gas through a strong wind or an equatorial outflow; some systems instead undergo Roche-lobe overflow. These objects trace young stellar populations. In a low-mass X-ray binary, a lower-mass donor commonly fills its Roche lobe and feeds a disk. Such systems can persist in older populations. These mass labels refer to the donor, not the compact accretor.

A magnetized neutron star can channel accretion onto its poles, producing an accreting X-ray pulsar as the star rotates. Accretion transfers angular momentum, so changes in spin constrain the flow and magnetic coupling. A Type I X-ray burst has a different origin: accumulated hydrogen or helium undergoes unstable thermonuclear burning on a neutron star surface. It rises rapidly and then cools as the fuel is exhausted. A black hole has no material surface supporting the same surface-fuel mechanism.

Orbital motion and optical observations of the donor constrain masses, with inclination and donor-model uncertainties. A compact mass exceeding plausible stable neutron star masses supports a black hole interpretation. Rapid variability probes the small emitting region, while disk spectra and recurrent outbursts probe accretion and its instabilities. The Eddington luminosity,is obtained by balancing radiative acceleration $\kappa L/(4\pi r^{2}c)$ against $GM/r^2$; it is a useful luminosity scale under the assumed isotropic, opacity-controlled force law. Geometry and time dependence can complicate its application. X-ray binaries reveal compact stars through efficient gravitational accretion, with pulsations, bursts and orbital dynamics distinguishing their physical components.

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 $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.

Let $r_h=\sqrt{2m}$ and $f(r)=1-r_h^2/r^2$. The geometry is the five-dimensional Schwarzschild-Tangherlini metric. Introduce a tortoise coordinate by $d{r}_{\ast }/dr=f^{-1}$. Decomposing the integrand givesAn irrelevant additive constant has been fixed. Set $v=t+r_{\ast }$ and $u=t-r_{\ast }$. Substituting $dt=dv-dr/f$ or $dt=du+dr/f$ respectively gives the Ingoing Eddington-Finkelstein coordinates and Outgoing Eddington-Finkelstein coordinates:The radial-time block in each has determinant $-1$, so the apparent singularity at $f=0$ has disappeared. The ingoing chart crosses the future event horizon, and the outgoing chart crosses the past horizon. Radial null geodesics in the ingoing chart obey either $v=\text{constant}$ or $dr/dv=f/2$, displaying how outward light is trapped when $r<r_h$.

For the maximal extension, the exterior radial metric is $-fdudv$. Since the surface gravity is $\kappa =f^{\prime }(r_h)/2=1/r_h$, choosein the right exterior. Their product and the extended metric areThe coefficient at the horizon is finite and nonzero, $-4r_h^2{e}^{-2}$. The product relation therefore extends smoothly through either horizon. For $r>r_h$, $UV<0$ gives two exterior regions. For $0<r<r_h$, $0<UV<1$ gives the future black-hole interior with $U,V>0$ and the past white-hole interior with $U,V<0$. The Kruskal extension of the five-dimensional Schwarzschild-Tangherlini metric has a bifurcation three-sphere at $U=V=0$.

The singularity $r=0$ corresponds to $UV=1$. It is a curvature singularity: for example, its Kretschmann scalar is $72r_h^4/r^8$. Since $g^{ab}{\partial }_{a}r{\partial }_{b}r=f<0$ in the interior, constant-$r$ surfaces are spacelike there, and the singularities are spacelike boundaries. Define $P=\arctan U$, $Q=\arctan V$, then compactified coordinates $T=(Q+P)/2$, $X=(Q-P)/2$. Radial null curves have $T\pm X=\text{constant}$. Moreover, $\tan P\tan Q=1$ gives $T=\pm \pi /4$ at the two singularities. This constructs the Penrose diagram, not just its horizon labels:

Each point away from the singular boundaries represents a three-sphere, not a two-sphere. The diagram has two asymptotically flat exteriors with separate past and future null infinities, a future black hole and a past white hole. The diagram of a collapse spacetime would omit the second exterior and the white-hole region; the maximal extension of the metric given here contains both.

For the Komar integral, normalize the stationary Killing vector field as $k={\partial }_t$, with unit norm at infinity. The Killing equation makes ${\nabla }^a{k}^b$ antisymmetric, and its divergence is proportional to $R^b{}_c{k}^c$. In a vacuum exterior this vanishes, so Stokes theorem makes the flux independent of the enclosing sphere. In the weak-field limit its radial component measures the derivative of the gravitational potential; its large-sphere flux is therefore proportional to the asymptotic gravitational mass. Normalization of $k$ is needed because rescaling it would rescale the integral.

Specify the surface orientation to fix the sign and factor. On a static exterior slice take future unit normal $u^a=f^{-1/2}({\partial }_t{)}^a$, outward radial normal $n^a=f^{1/2}({\partial }_r{)}^a$ andThen $d{\Sigma }^{tr}=-dA$ and $d{\Sigma }^{rt}=dA$, with both antisymmetric components included. Since $k_t=-f$,The three-sphere area is $2{\pi }^2{r}^3$, and $f^{\prime }=2r_h^2/r^3=4m/r^3$. ThusReversing the binormal orientation gives $+8{\pi }^{2}m$; a convention with half the antisymmetric binormal gives half this magnitude. The question does not fix those conventions, so the choice above is explicit.

For comparison with physical mass, the Komar mass normalization in higher dimensions isIn five dimensions this givesThe metric parameter $m$ has dimensions of length squared and is not itself the physical mass. An independent horizon check is $I_K=-2\kappa A_H$ with $A_H=2{\pi }^2{r}_h^3$, which reproduces the same integral. The dimension-adjusted normalization also agrees with the ADM mass; the four-dimensional Komar prefactor should not be reused unchanged.