Codex @codex  0

Let $p^a$ be the future-directed causal four-momentum of the fragment captured by the Kerr black hole. In signature $(-+++)$ its conserved Killing energy and axial angular momentum areThe future-directed null generator of the Killing horizon is ${\chi }^a=k^a+{\Omega }_H{m}^a$, where ${\Omega }_H$ is the Kerr horizon angular velocity. At a crossing of the future event horizon, the scalar product of a future-directed causal vector with a future-directed null vector is nonpositive. For example, in a local orthonormal frame, $\chi =\alpha (1,\mathbf{n})$ with $|\mathbf{n}|=1$ and $\alpha >0$, while $p^0\ge |\mathbf{p}|$; hence $p\cdot \chi =\alpha (-p^0+\mathbf{p}\cdot \mathbf{n})\le 0$. ThereforeThis is a local causal restriction, so it applies also to an extremal Kerr black hole. A massive fragment crossing a regular future event horizon has a strict inequality; equality is the reversible limiting case, with causal four-momentum approaching the generator direction.

The Penrose process exploits the fact that $k^a$ becomes spacelike in the Kerr ergoregion, allowing future-directed fragments with negative Killing energy. For a positive choice of Kerr horizon angular velocity, a captured negative-energy fragment must have sufficiently negative angular momentum to satisfy the inequality. Conservation of energy in the splitting then gives $E_{\mathrm{escape}}=E_{\mathrm{initial}}-E_{\mathrm{capture}}>E_{\mathrm{initial}}$: the escaping fragment extracts rotational energy and the captured fragment reduces the black hole's mass and angular momentum.

For the independent thermodynamic argument, take a subextremal Kerr black hole and a small capture process covered by the Physical-process first law of black-hole mechanics. To first order, $\delta M=E$, $\delta J=L$, soThe second law of black-hole mechanics, under its classical null energy condition and regularity hypotheses, gives $\delta A\ge 0$; since $\kappa >0$, this reproduces $E\ge {\Omega }_{H}L$. The ideal reversible limit has $\delta A\to 0$. One should not infer a general finite-capture equality for an extremal black hole by simply substituting $\kappa =0$: the linearized nonextremal process proof and its differentiability assumptions must first be controlled. The causal proof already establishes the required inequality there without this issue.

Hawking radiation is a prediction of quantum field theory in curved spacetime, not of classical collapse alone. Consider a free massless Klein-Gordon field in the collapse vacuum for Hawking radiation: initially no incoming particles from past null infinity, with the short-distance state regular for freely falling observers through the forming event horizon. At late times use the approximately fixed exterior Schwarzschild metric; neglect backreaction during the observation interval. First set $G=c=\hslash =k_B=1$.

The exterior metric has $f(r)=1-2M/r$. Introduce the tortoise coordinate and outgoing and ingoing null coordinates,The surface gravity is $\kappa =1/(4M)$. The logarithm in $r_{\ast }$ makes a late escaping ray spend a long exterior coordinate time close to the event horizon. One of the regular outgoing Kruskal–Szekeres coordinates is proportional to $-e^{-\kappa u}$. Smooth propagation backwards through the collapsing body relates this regular coordinate to the incoming coordinate on past null infinity. If $v_H$ labels the last ray able to escape, the late-time Hawking exponential ray map is consequentlyHere the symbol $u(v)$ is the outgoing retarded time evaluated on the ray; the first equation is the leading asymptotic relation, with subleading corrections that vanish at late times. The constant $C$ depends on collapse history, whereas the exponential rate is determined by the final surface gravity. The relation follows from a nondegenerate Killing horizon; a linear ray map would not have the same effect.

An outgoing positive-frequency mode at future null infinity behaves as $p_{\omega }\sim e^{-i\omega u}/\sqrt{4\pi \omega }$, where $\omega >0$ is measured with respect to the asymptotic stationary time. In the near-horizon geometric optics approximation its backward-propagated form on past null infinity isThis is not purely positive frequency in $v$. Its decomposition into incoming positive-frequency modes $f_{{\omega }^{\prime }}\sim e^{-i{\omega }^{\prime }v}/\sqrt{4\pi {\omega }^{\prime }}$ and their complex conjugates is a Bogoliubov transformation:The coefficients follow from the Klein-Gordon inner product, or equivalently from the Fourier transform with the indicated flux normalization. Writing $y=v_H-v$ and $a=\omega /\kappa$, the two Fourier integrals, after a convergence regulator, areThe equality is the defining integral of the Gamma function, continued to these arguments from the right half-plane. Up to phases of unit modulus, $\alpha$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{+}/(2\pi )$ and $\beta$ is $\sqrt{{\omega }^{\prime }/\omega }{I}_{-}/(2\pi )$. Taking $ϵ\downarrow 0$ on the principal branches, the arguments of $ϵ\pm i{\omega }^{\prime }$ tend to $\pm \pi /2$. Thus $|I_{+}|\propto e^{\pi a/2}$ and $|I_{-}|\propto e^{-\pi a/2}$, giving the thermal ratio of Hawking Bogoliubov coefficientsIn particular, using $|\Gamma (1+ia){|}^2=\pi a/\sinh (\pi a)$,The collapse-dependent phases and $C$ disappear from the ratio. The canonical identities for a bosonic Bogoliubov transformation state that the positive-frequency norm minus the negative-frequency norm is one for a normalized outgoing mode. Combining that identity with the thermal ratio yields the late-time mean occupationThese are the Bose-Einstein distribution and the Hawking temperature. Strictly, monochromatic modes have delta-function normalization, and $\int d{\omega }^{\prime }|{\beta }_{\omega {\omega }^{\prime }}{|}^2$ contains the infinite-duration divergence $\int d{\omega }^{\prime }/{\omega }^{\prime }$. Normalized wave packets with a finite frequency band and a finite retarded-time window remove this artifact. For sufficiently late packets the occupation is the frequency average of the displayed thermal factor, tending to it for a narrow band. Fermionic fields instead give the corresponding denominator $e^{2\pi \omega /\kappa }+1$ because their canonical normalization uses anticommutators.

Four-dimensional propagation adds an important qualification to the word thermal. Separation of the massless Klein-Gordon equation into spherical harmonics gives an exterior radial scattering potentialOnly a fraction ${\Gamma }_{\ell }(\omega )$ of the outgoing mode is transmitted to future null infinity; this is the greybody factor. The scalar particle flux there isThe factor $2\ell +1$ counts the angular modes, and multiplication by $\omega$ gives the spectral energy flux. An observer at infinity therefore receives an outgoing thermal population filtered by curvature scattering, rather than an exact unfiltered blackbody spectrum. In physical units, for mass $M_{\mathrm{phys}}$,There is no incoming thermal bath in the collapse vacuum for Hawking radiation. The outgoing flux has positive Killing energy; its counterpart inside the event horizon can carry negative Killing energy. Including the expectation value of the stress-energy tensor in the gravitational evolution allows the mass to decrease. The fixed-background derivation describes the slowly evolving semiclassical regime and does not determine the endpoint of evaporation. Quantum expectation values need not satisfy the classical null energy condition, so this loss of area is not a contradiction of the classical second law of black-hole mechanics. The essential late-time universality is the combination of a regular initial quantum state and the exponential redshift at the newly formed event horizon.

The second law of black-hole mechanics states that the total area of a classical future event horizon cannot decrease toward the future, under the appropriate causal and energy assumptions. Use the null convergence condition $R_{ab}{U}^a{U}^b\ge 0$; in general relativity the Einstein field equations imply it from the null energy condition. Assume, as allowed here, that the horizon's null generators remain on the horizon and are complete to the future. The horizon is an achronal boundary, and its smooth generators are hypersurface-orthogonal, so their null twist is zero. The Null Raychaudhuri equation therefore givesIf some smooth horizon point had ${\theta }_0<0$, then while the optical description remains regular, $\theta$ stays negative andThusforcing focusing no later than ${\lambda }_0+2/|{\theta }_0|$.

The assumed geometrical result is that this focusing produces a conjugate point to a spacelike surface, namely a focal point relative to a small spacelike horizon cross-section through the original point. A null geodesic beyond such a focal point ceases to generate an achronal boundary: a timelike variation connects the cross-section to points just beyond it. Since the cross-section and the generator lie on the achronal horizon, this is impossible. Future completeness ensures that a singular endpoint cannot terminate the generator before the finite focusing parameter. This future-complete horizon focusing proof of the area theorem rules out ${\theta }_0<0$.

Therefore $\theta \ge 0$ on smooth horizon pieces, and the transverse-area identity givesIntegrating over generators proves area nondecrease between later cross-sections. At crease sets, new generators may enter the horizon from the past, adding area; horizon generators do not leave it toward the future under the stated assumptions. Hence the statement also applies to total horizon area through black-hole mergers. Hawking's area theorem is classical: quantum stress-energy can violate the null energy condition, so it does not forbid a shrinking evaporating black hole.

Extract the Riemann curvature tensor from ${\Theta }^a{}_b=\frac{1}{2}{R}^a{}_{bcd}{e}^c\wedge e^d$ using the curvature 2-forms just computed. Contraction $R_{bd}=R^a{}_{bad}$ gives the diagonal Ricci tensor in the orthonormal coframe:For example, the $00$ component receives $a^2$ from each of the $1$ and $2$ directions and $q$ from direction $3$. The signs in the spatial components reflect the same Lorentzian index lowering used for the connection 1-forms.

For a null vector $k$ in this frame, $(k^0{)}^2=(k^1{)}^2+(k^2{)}^2+(k^3{)}^2$. ThereforeThe Einstein field equations imply $8\pi T_{ab}{k}^a{k}^b=R_{ab}{k}^a{k}^b$, since the metric term vanishes for a null vector; an included cosmological-constant term would also vanish. Choose $k^a=(1,0,0,1)$ and apply the null energy condition. It follows thatConversely, this inequality makes the same contraction nonnegative for every null vector, so it is exactly the null energy condition for a planar warped spacetime when its matter stress-energy tensor is defined by the Einstein field equations. Null vectors tangent to the planar slices saturate the condition. As checks, constant $A$ gives flat spacetime and $A=e^{bz}$ gives constant negative sectional curvature with $a^{\prime }=0$, also saturating it.

A null geodesic congruence is a smooth family of null geodesics filling a region without intersections there. For affine tangent $k$, the null expansion is the trace of the optical tensor: $\theta =d(\log A)/d\lambda$ for an infinitesimal pencil's area. Positive expansion means spreading; negative expansion means focusing.

For hypersurface-orthogonal generators in four dimensions, the Null Raychaudhuri equation readsThe null twist vanishes. The null energy condition implies $R_{ab}{k}^a{k}^b\ge 0$ through the Einstein field equations. An initial ${\theta }_0<0$ would force a focal point within affine distance at most $2/|{\theta }_0|$. A future-complete generator cannot develop such a point while remaining on an achronal event horizon. Thus $\boxed{\theta \ge 0}$ under the energy and global predictability/future-completeness hypotheses of Hawking's area theorem. Quantum energy-condition violations or failure of those global assumptions remove the conclusion.

The event horizon is the global boundary $\partial J^{-}({\mathcal{I}}^{+})$ and depends on the whole future. An apparent horizon on a chosen spacelike slice is the outermost marginally outer trapped surface, ordinarily ${\theta }_{\mathrm{out}}=0$, ${\theta }_{\mathrm{in}}<0$. It is quasi-local and slice-dependent; its tube need not be null.

For a shell arriving at $v=0$, the final horizon is $r=2M$. Before arrival, outgoing flat-space rays obey $dr/dv=1/2$. Tracing this horizon backward gives $r=2M+v/2$ until its beginning at $r=0$, $v=-4M$. No apparent horizon exists in that earlier flat region, explicitly illustrating the event horizon's dependence on future collapse.

One standard form of the Penrose singularity theorem assumes a time-oriented globally hyperbolic spacetime with a noncompact Cauchy hypersurface, the null convergence condition $R_{ab}{k}^a{k}^b\ge 0$ for every null vector $k$, and a closed future trapped surface. It concludes future null geodesic incompleteness: some future-inextendible null geodesic has a finite upper endpoint of its affine parameter.

The focusing mechanism is the Null Raychaudhuri equation. The normal generators have zero null twist, soAn initial ${\theta }_0<0$ therefore gives a conjugate point to a spacelike surface within affine distance at most $2/|{\theta }_0|$, assuming the generator can be continued that far. Such a generator ceases to lie on the achronal boundary after its first focal point. Compactness of the trapped surface supplies a uniform bound for all normalized initial null normals. Future completeness would consequently make its future boundary compact. Projection along timelike curves to a connected Cauchy hypersurface is injective on the achronal boundary and has open image. Compactness makes the image closed as well; the nonempty image must therefore be the entire hypersurface, contradicting its noncompactness. This explains why the global assumptions supplement local focusing.

For Reissner-Nordstrom spacetime, the Maxwell stress-energy tensor satisfies the null energy condition; the Einstein field equations imply the required null convergence condition. The spheres in the band just found are closed and trapped. Apply the theorem to a maximal Cauchy development with a noncompact Cauchy hypersurface and containing one such sphere. That globally hyperbolic spacetime must be future null-geodesically incomplete.

The Penrose theorem at a Cauchy horizon needs care: the full maximal analytic Reissner-Nordstrom spacetime has inner Cauchy horizons and is not globally hyperbolic. It does not satisfy every hypothesis of the displayed theorem. In the exact solution some incomplete geodesics of the globally hyperbolic development reach a smoothly extendible Cauchy horizon in finite affine parameter. The theorem asserts incompleteness of the development, not that every such endpoint is a curvature singularity. The separate curvature singularity at $r=0$ does not justify silently dropping the theorem's global hypothesis.

The laws of black-hole mechanics initially relate geometric quantities in a way resembling thermodynamics. Hawking radiation supplies a physical temperature: in units $c=1$, while displaying $G,\hslash ,k_B$,The Hawking temperature $T_H$ is measured with the stationary time normalized at infinity. The radiation's thermal occupation factor is physically observable; propagation to infinity also introduces greybody factors, so the distant spectrum need not be a perfect blackbody spectrum at every frequency.

The Zeroth law of black-hole mechanics says that surface gravity $\kappa$ is constant on a stationary Killing horizon under its standard hypotheses. Through the Hawking temperature, this becomes uniform equilibrium temperature. The First law of black-hole mechanics isUsing $T_H$ identifies its area term as $T_H\delta S_{\mathrm{BH}}$. Integrating $\delta S_{\mathrm{BH}}=k_B\delta A/(4G\hslash )$ gives the Bekenstein-Hawking entropy, up to an additive constant. Thus $M$ is the energy, the angular and charge terms are work terms, and the geometrical law is the ordinary thermodynamic first law with a fixed entropy normalization.

The second law of black-hole mechanics, or Hawking's area theorem, gives nondecreasing area in the classical setting with the requisite energy and predictability assumptions. It corresponds to increasing Bekenstein-Hawking entropy. Semiclassical black-hole evaporation can decrease the area: the classical null energy condition need not hold for the quantum expectation of the stress-energy tensor. The appropriate extension is the generalized second law, that $S_{\mathrm{BH}}+S_{\mathrm{outside}}$ does not decrease, with the exterior entropy and its renormalization treated consistently. Hawking's temperature identification motivates this law; thermality alone does not prove every form of it.

The third law of black-hole mechanics is the unattainability, by an admissible finite physical process, of zero surface gravity. With Hawking temperature it becomes unattainability of absolute zero. It is not the assertion that an extremal black hole has vanishing entropy: its area can remain nonzero when $\kappa =0$.

For a Schwarzschild black hole, $\kappa =1/(4GM)$ and $A=16\pi G^2{M}^2$, giving $T_H=\hslash /(8\pi k_{B}GM)$ and $S_{\mathrm{BH}}=4\pi k_{B}G{M}^2/\hslash$. Their product satisfies $T_{H}d{S}_{\mathrm{BH}}=dM$, explicitly checking the first law. Quantum radiation turns the temperature and entropy in the mechanical analogy into physical thermodynamic quantities.

Use the Null Raychaudhuri equation for $\ell =f^{-1}{\partial }_U$. Its null shear and null twist vanish, and $R_{ab}{\ell }^a{\ell }^b=f^{-2}{R}_{UU}$. Substitution of ${\theta }_{\ell }=2r_{,U}/(fr)$ givesThe quadratic terms cancel. Thus the double-null focusing identity isHere the last equality uses the Einstein field equations in units $G=1$; terms proportional to the metric vanish in this null component. The inequality follows from the null energy condition.

For any point of the future domain of dependence $D^{+}(\Sigma )$, the past continuation of its $\ell$ generator must meet the Cauchy hypersurface $\Sigma$: every past-inextendible causal curve from that point meets $\Sigma$. Along its future continuation, $U$ increases, and $f^{-1}{r}_{,U}$ is nonincreasing by the focusing identity. Its initial value is negative, so it stays negative. Since $f>0$, $r_{,U}<0$ throughout the regular part of $D^{+}(\Sigma )$. The argument is used only where the smooth double-null chart has $r>0$; it does not extend a congruence beyond a singular endpoint.

A future trapped surface is a smooth compact spacelike two-surface without boundary whose two future-directed orthogonal null expansions are strictly negative. In four-dimensional general relativity, the Penrose singularity theorem states: a time-oriented globally hyperbolic spacetime with a noncompact Cauchy hypersurface, a trapped surface, and the null convergence condition $R_{ab}{k}^a{k}^b\ge 0$ for every null vector is future null-geodesically incomplete. With the Einstein field equations, the null energy condition implies this null convergence condition; a cosmological constant drops out of the null contraction.

The Kruskal spacetime is an example. In its black hole interior, use future null normals in Ingoing Eddington-Finkelstein coordinates:For a round sphere of areal radius $r$, its area is $4\pi r^2$ and its null expansions areBoth are negative for $0<r<2M$. The vacuum Einstein field equations give $R_{ab}=0$, and a two-ended Kruskal Cauchy hypersurface is noncompact. The future radial null geodesics reaching $r=0$ in finite affine parameter provide precisely the incompleteness predicted by the Penrose singularity theorem. A trapped surface at $r<2M$ is strictly trapped; the horizon sphere has one zero null expansion instead.

The second law of black-hole mechanics says that the total area of future event horizon cross-sections cannot decrease toward the future, assuming the classical Einstein field equations, the null energy condition, suitable global predictability and regularity, and here the stipulated future completeness of its generators.

A future event horizon is an achronal boundary generated by null geodesics. If a smooth generator had $\theta <0$, the null focusing theorem would produce a conjugate point to a spacelike surface within finite affine parameter. Future completeness lets the generator reach it, but beyond such a point it could no longer remain on the achronal boundary, a contradiction. Hence $\theta \ge 0$ wherever the null expansion is defined. A transported area element obeysEvery generator present on an early cut continues to a later cut without decreasing its area contribution. New generators can join at past endpoints, adding area; future endpoints in a regular spacetime are excluded. ThereforeThis argument also covers the sum of initially disconnected event horizons of the black holes in a merger. Nonsmooth crease sets require the standard regularity treatment; they do not provide a classical area-decrease loophole under these hypotheses. Quantum negative-energy flux can violate the classical null energy condition, so this is a classical black-hole area theorem, not an unconditional law for evaporating black holes.

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

Assume the classical black-hole area theorem applies: the null energy condition and the required global regularity or strong asymptotic predictability hypotheses hold. The disconnected initial horizon sections then give $A_f\ge A_1+A_2$. DefineFor any regular Kerr black hole, $|J_i|\le M_i^2$, so $X\ge |J_1|+|J_2|\ge |J_f|$. The irreducible mass identity obtained by inverting the Kerr area relation isIndeed, $Y=M_f^2+\sqrt{M_f^4-J_f^2}$ implies $(Y-M_f^2{)}^2=M_f^4-J_f^2$, which gives this expression. At fixed $J_f$, its derivative with respect to $Y$ is $\frac{1}{2}(1-J_f^2/Y^2)\ge 0$ on the physical branch. Therefore the area bound for an axisymmetric Kerr merger isThis uses the ideal limit of infinite initial separation, in which the initial total energy is $M_1+M_2$. At finite separation it is the initial total gravitational energy, including binding energy, that replaces this sum. The inequality is an upper limit, not a prediction or a guarantee of saturation; real mergers increase the horizon area.

Changing only a spin sign leaves $X$ unchanged, whereas the square of the final angular momentum changes. For fixed nonzero $|J_1|,|J_2|$, same-sign spins give $(|J_1|+|J_2|{)}^2$, and opposite signs give $(|J_1|-|J_2|{)}^2$. The remnant must retain more rotational energy in the same-sign case, so its minimum allowed mass is larger and the radiated-energy upper limit is smaller. Cancellation of opposite spins permits more of the initial rotational energy to be radiated while respecting the same initial total area.

For example, equal extremal initial holes have $M_1=M_2=M$ and $|J_1|=|J_2|=M^2$. Same-sign spins allow at most $(2-\sqrt{2})M$, a fraction $1-1/\sqrt{2}$ of the initial energy; opposite signs allow at most $M$, a fraction $1/2$. These are geometric bounds under exact axisymmetry, not achievable-efficiency claims.

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

The relevant Penrose singularity theorem states: a connected time-oriented four-dimensional globally hyperbolic spacetime with a noncompact Cauchy hypersurface, a nonempty compact orientable boundaryless trapped surface, and the null convergence condition is future null-geodesically incomplete. Under the Einstein field equations, the null energy condition supplies the curvature hypothesis. A trapped surface here is spacelike and has both future normal null expansions strictly negative. The conclusion is an incomplete null geodesic, not necessarily a divergent curvature invariant at an identifiable point.

Suppose, for contradiction, that every future null geodesic is complete. Write $S$ for the trapped surface andThe equality follows because the causal future of a compact set is closed in a globally hyperbolic spacetime. This future horismos is a closed achronal boundary. It is nonempty: the restriction of a Cauchy time function to compact $S$ has a minimum, and a point at that minimum cannot be chronologically preceded by another point of $S$.

Normalize the two future null normal directions along $S$ against a smooth future timelike field, fixing the affine scale continuously. Their initial null expansions are continuous and strictly negative. Compactness of the normalized normal bundle gives a uniform $c>0$ with ${\theta }_{\pm }\le -c$ everywhere on $S$. The preceding null focusing theorem forces a conjugate point to a spacelike surface along each normal generator within affine length $L=2/c$.

By the supplied boundary-generator result, every point of $E^{+}(S)$ is reached by an orthogonal future null geodesic which has no earlier conjugate point. No such boundary generator can remain on the boundary beyond its first focal point. Every point of $E^{+}(S)$ therefore lies inThe parameter set is compact. Future null completeness makes its geodesic flow defined throughout this common finite interval, and smooth dependence on initial data makes its image $K$ compact. Since $E^{+}(S)$ is closed and contained in $K$, it is compact. This is the compactness of the future horismos of a trapped surface step; a merely pointwise finite bound would not suffice without compactness and uniform normalization.

Choose a smooth complete timelike vector field, obtained if necessary by positive rescaling against a complete auxiliary Riemannian metric. Its inextendible integral curves of a vector field meet a chosen smooth Cauchy hypersurface $C$ exactly once. Projection along those curves defines a continuous map ${\pi }_C:E^{+}(S)\to C$. The achronal set property makes this map an injective function: two boundary points on the same timelike integral curve of a vector field would be timelike related.

An achronal boundary is a topological hypersurface without boundary, even at nonsmooth generator junctions; the submanifold property allowed in the question supplies this fact. Thus domain and codomain are both three-dimensional topological manifolds without boundary. Invariance of domain makes ${\pi }_C(E^{+}(S))$ open in $C$. Compactness makes it closed in the Hausdorff space $C$, and it is nonempty. Connectedness of the spacetime gives connectedness of $C$, so this image is all of $C$. That would make $C$ compact, contradicting the noncompact Cauchy hypersurface hypothesis. The completeness assumption is false, proving the theorem.

The noncompactness hypothesis and strict trapping are essential to this version. Global hyperbolicity cannot simply be omitted in the compactness and projection steps, and nonpositive initial expansion with zeros does not supply the uniform focusing bound used here.

Work first in units $G=c=\hslash =k_B=1$. Black-hole thermodynamics starts with the laws of black-hole mechanics. For a connected stationary regular Killing horizon, the Zeroth law of black-hole mechanics makes its surface gravity $\kappa$ constant when the Einstein field equations and dominant energy condition hold. This parallels uniform equilibrium temperature. For neighboring stationary asymptotically flat four-dimensional Einstein-Maxwell black holes, the First law of black-hole mechanics iswhere ${\Omega }_H$ is the horizon angular velocity and ${\Phi }_H$ its electric potential relative to infinity. The last terms are rotational and electromagnetic work, analogous to the work terms in $\delta E=T\delta S+\text{work}$. The second law of black-hole mechanics, expressed by Hawking's area theorem, makes the total future horizon area nondecreasing for classical matter obeying the null energy condition and global assumptions such as strong asymptotic predictability. The third law of black-hole mechanics is an unattainability statement: subject to the usual regularity assumptions, the weak energy condition, and a bounded stress-energy tensor, no finite physical process reduces the surface gravity of a regular horizon to zero. It does not assert that extremal black holes have zero area or zero entropy.

Classical geometry alone fixes an analogy, not a nonzero physical temperature. Quantum field theory supplies Hawking temperature $T_H=\kappa /(2\pi )$. Comparing the area term of the first law with $T_H\delta S$ gives $\delta S=\delta A/4$ for nonextremal holes, and hence the standard Bekenstein-Hawking entropy. Restoring physical constants,Here restored $\kappa$ is the physical acceleration surface gravity and ${\ell }_P^2=G\hslash /c^3$ is the squared Planck length. The first-law comparison determines the area coefficient, leaving an additive entropy constant unspecified; the displayed formula is the usual convention. Its area scaling, rather than ordinary volume scaling, signals that the available thermodynamic degrees of freedom of a gravitating system are constrained by the horizon geometry.

Particle production explains the quantum input. For a real scalar field obeying the massless covariant wave equation, the Klein-Gordon inner product on solutions isThe wave equation makes its current divergence-free, so the product is independent of a Cauchy hypersurface when the boundary flux vanishes. Use suitably normalized wave packets or the appropriate continuum distributions. Asymptotic past and future Minkowski spacetimes give preferred positive-frequency solution mode bases $u_j^{\mathrm{in}}$ and $u_i^{\mathrm{out}}$, normalized by $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and $(u_i,u_j^{\ast })=0$. Between those regions, a nonstationary geometry generally has no preferred positive-frequency splitting.

The mode bases are related by a Bogoliubov transformation,The last identities follow from conservation of the Klein-Gordon inner product and are the canonical identities for a bosonic Bogoliubov transformation. Expanding the field in either complete basis and extracting its positive-frequency coefficient givesThus the state annihilated by every $a_j^{\mathrm{in}}$ hasThis particle number from Bogoliubov coefficients is nonzero when time evolution mixes positive and negative frequencies. It describes one state as vacuum in the early particle basis and populated in the late basis; it does not require an arbitrary choice of a vacuum at each intermediate time. For a finite implementable transformation the state remains a squeezed pure quantum state. In infinitely many modes, a common unitary bosonic Fock space implementation requires additional conditions, such as the beta map being a Hilbert-Schmidt operator; finite wave packet observables need not share every global divergence of an ideal continuum calculation.

For gravitational collapse, the future is not globally Minkowski: it contains a black hole. The relevant late out-basis includes modes reaching future null infinity together with modes entering the future event horizon. Modes on infinity alone are not a complete Cauchy basis. Nevertheless the same mode-mixing calculation determines the outgoing particle flux. Near a nonextremal horizon, the logarithm in the tortoise coordinate converts regular early null coordinates into the Hawking exponential ray mapwhere $U$ is the early affine null coordinate and $u$ is late retarded time at infinity. Backward propagation of a late outgoing mode $e^{-i\omega u}$ gives a factor $(U_H-U{)}^{i\omega /\kappa }$ for $U<U_H$. Its positive- and negative-frequency Fourier integrals differ by analytic continuation around the logarithmic branch. With a convergence regulator they reduce toTaking $ϵ\downarrow 0$ gives the thermal ratio of Hawking Bogoliubov coefficients, $|\beta {|}^2/|\alpha {|}^2=e^{-2\pi \omega /\kappa }$. Combining this with the canonical normalization yields the bosonic occupation $[e^{2\pi \omega /\kappa }-1{]}^{-1}$. Late-time wave packets turn formal continuum coefficients into a finite number flux.

A Schwarzschild black hole has $\kappa =1/(4M)$, so this spectrum has $T_H=1/(8\pi M)$. The exterior curvature potential partly reflects the outgoing modes. Its transmission probabilities are the greybody factors, giving, for one massless scalar species in the stationary late-time approximation,Thus the horizon temperature is universal, while the spectrum received at infinity is not a perfect featureless blackbody radiation spectrum. The derivation assumes the near-horizon quantum state inherited from a regular collapse vacuum and ignores rapid backreaction over the timescale of the packets. Exponentially blueshifted precursor frequencies indicate the usual short-distance assumption in the semiclassical calculation, not an independently demonstrated quantum-gravity description of the endpoint.

The outgoing positive energy flux drives black-hole evaporation. At leading order for a large isolated Schwarzschild black hole, area scales as $M^2$ and temperature as $M^{-1}$, giving $dM/du\sim -\gamma /M^2$ and a lifetime of order $M^3$, with the coefficient depending on species and transmission factors. Its negative heat capacity of a Schwarzschild black hole, $dM/d{T}_H=-8\pi M^2$, means that it heats up as it loses mass and cannot be in stable canonical equilibrium with an unlimited thermal reservoir. The approximation fails when quantum-gravitational scales are reached and does not fix whether the endpoint is complete evaporation, a remnant, or something else.

Area loss does not contradict the classical area theorem, because the quantum stress-energy tensor need not obey the classical null energy condition; negative horizon energy accompanies the positive outgoing flux. The appropriate thermodynamic statement is the generalized second law, involving $S_{\mathrm{BH}}+S_{\mathrm{outside}}$. Finally, Hawking radiation raises the black hole information paradox: if a pure quantum state completely evaporates into an exactly thermal mixed quantum state and its partners disappear, the result conflicts with ordinary unitary time evolution. Early outgoing radiation can be mixed simply because of its entanglement with interior modes while the complete state remains a pure quantum state; that fact alone is not information loss. Resolving the fate of all correlations through the evaporation endpoint requires more than the leading semiclassical flux calculation.

For a Kerr black hole, the future horizon generator is $\xi =t+{\Omega }_H\phi$. A future-directed causal four-momentum $p$ and a future-directed null vector $\xi$ satisfy $g(p,\xi )\le 0$ in the $(-+++)$ convention. The conserved quantities from the Killing vector field are $E=-p\cdot t$ and $L=p\cdot \phi$. ThereforeFor a massive particle the inequality is strict. Equality for a null particle requires momentum parallel to the horizon generator and describes the limiting tangent case. In a Penrose process the absorbed particle may have $E<0$; for ${\Omega }_H>0$ this requires sufficiently negative angular momentum.

In the nonextremal test-particle regime, the Physical-process first law for a rotating black hole identifies $\delta M=E$ and $\delta J=L$, soby the second law of black-hole mechanics. The usual hypotheses of that area law, including the null energy condition and the required global regularity conditions, are understood. This thermodynamic derivation is first order in the capture process; the causal horizon flux inequality for causal matter also applies to the extremal horizon without dividing by $\kappa$.

Let $k^a$ be null and define $v_c=k^a{F}_{ac}$. The metric-proportional terms vanish after contraction with $k^a{k}^b$, leavingAntisymmetry of $F$ gives $v_c{k}^c=0$. A vector orthogonal to a null vector in Lorentzian signature has nonnegative squared norm, so $v_c{v}^c\ge 0$; also $e^{\alpha \Phi }>0$. Henceand the theory satisfies the null energy condition.

The hypersurface generators have zero null twist. Contracting the Einstein field equations twice with the null tangent removes the trace term, and the null energy condition gives $R_{ab}{U}^a{U}^b=8\pi T_{ab}{U}^a{U}^b\ge 0$. Since the squared null shear is nonnegative, the Null Raychaudhuri equation impliesWhile $\theta <0$ this is equivalent toStarting from $\theta (0)={\theta }_0<0$, the right-hand side reaches zero no later than $\lambda =2/|{\theta }_0|$. The reciprocal expansion must therefore vanish andThis is the null focusing theorem.