Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 311 (Black Holes)

Use $G=c=1$, the Einstein field equations with zero cosmological constant, and metric signature $(-,+,+,+)$. Write $m=m_{a}d{x}^a$ for the differential one-form dual to the axial Killing vector field. To fix the sign of the volume formula, use the component Hodge star operator convention $(\star j{)}_{abc}={ϵ}_{abcd}{j}^d$ and $(\star F{)}_{ab}=\frac{1}{2}{ϵ}_{abcd}{F}^{cd}$. The Killing equation gives $(dm{)}_{ab}=2{\nabla }_a{m}_b$, and its contracted curvature identity givesTo see the curvature step, tracing the Killing equation gives ${\nabla }_b{m}^b=0$. The second covariant derivative of a Killing vector then gives ${\nabla }^b{\nabla }_b{m}_a=-R_{ab}{m}^b$, while commuting the covariant derivatives gives ${\nabla }^b{\nabla }_a{m}_b=R_{ab}{m}^b$. Subtracting these two terms is precisely ${\nabla }^b(dm{)}_{ab}$ above. The component Hodge star operator converts this divergence to $d\star dm$ with the displayed minus sign.

In a vacuum spacetime region $R_{ab}=0$, so $d\star dm=0$. If $S_1$ and $S_2$ are enclosing spacelike submanifolds in the same homology class bounding a vacuum three-dimensional region $W$, Stokes theorem yieldsThus the Komar angular momentum is independent of the enclosing vacuum spacelike two-manifold, provided the surfaces have the same orientation and enclose the same sources and inner boundaries. The vacuum region need not be stationary: an axial Killing vector field suffices.

For a regular filling hypersurface $\Sigma$ with $\partial \Sigma =S$, the Einstein field equations giveThe pullback of $\star m$ to $\Sigma$ vanishes because $m^a$ is tangent to $\Sigma$: the dual three-form measures the normal component, which is zero. ThereforeThis is the stress-energy current from a Killing vector integrated over the slice, with the signs fixed by the stated Hodge star operator convention.

There is a necessary boundary qualification omitted from the printed formulation. If the slice has inner boundaries $S_i$, orient them so $\partial \Sigma =S-{\bigcup }_i{S}_i$. The actual Komar angular momentum with inner boundaries identity isFor a vacuum Kerr black hole, $T_{ab}=0$ on the exterior slice but $J\ne 0$; its horizon supplies precisely the inner boundary contribution. Thus the matter-only formula is false for arbitrary exterior slices. It is valid when a nonsingular filling with no inner boundaries exists, or when all omitted inner charges vanish. The Komar angular momentum independence likewise concerns homologous surfaces in the same vacuum region, not an unrestricted comparison of differently enclosed objects.

A gravitational wave can propagate through a region with vanishing stress-energy tensor; its gravitational field is not a matter current $T_{ab}{m}^b$. Nevertheless, exact axisymmetry gives an axial Killing vector field, and the vacuum identity $d\star dm=0$ makes the Komar angular momentum equal on enclosing spacelike submanifolds in the same homology class. Applying the same identity to the spacetime tube between surrounding spacelike submanifolds at different times gives zero net flux of this charge through the tube.

Consequently gravitational waves in exact axisymmetry carry no net angular momentum about the symmetry axis. They can still carry energy and decrease the total mass. In a mode description, rotationally invariant radiative data have zero azimuthal mode number; exact axisymmetry therefore excludes the axial angular momentum flux present in nonaxisymmetric merger radiation. This does not mean there are no gravitational waves, or that radiation cannot transport angular momentum when the exact symmetry is absent. The relevant conserved charge includes any horizon contributions identified in the preceding Komar angular momentum with inner boundaries identity.

The common axial Killing vector field fixes the same sign convention for both spins. Initial rest and alignment of the separation with the symmetry axis give no orbital angular momentum. At large separation, the total axial charge is therefore $J_1+J_2$. Since axisymmetric radiation carries no axial angular momentum, all of this charge remains in the remnant after the radiation has escaped and the exterior has settled:Here the spins are signed quantities about the same axis, not their magnitudes. The conclusion assumes the exact axisymmetry stipulated throughout the merger and no remaining exterior matter carrying angular momentum; the final stationary vacuum remnant is a Kerr black hole under the usual uniqueness hypotheses.

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.

A null geodesic congruence is a smooth family of null geodesics filling a region without crossings there. Choose a smooth future-directed tangent $U^a$ and an affine parameter $\lambda$, soThe space orthogonal to $U$ is degenerate because it contains $U$ itself. To measure genuine transverse separation, introduce an auxiliary null vector $N^a$ with $U\cdot N=-1$ and the screen-space projectorIn four dimensions $q$ has a positive-definite two-dimensional image and annihilates $U$ and $N$. The optical tensor is the transverse part of the velocity derivative,Its irreducible decomposition defines the three optical quantities:The null expansion is the fractional rate of change of a small transverse area, $\theta =d\log \delta A/d\lambda$. The symmetric trace-free null shear distorts the shape of the transverse beam without changing its area at first order. The antisymmetric null twist, also called rotation of the congruence, describes the rotational part of its transverse deformation. These are properties of the screen quotient $U^{\perp }/⟨U⟩$; the auxiliary vector chooses a convenient representative of that quotient. For an affinely parametrized null geodesic congruence, the contraction constraints also give $\theta ={\nabla }_a{U}^a$.

Parallel transport the auxiliary null vector $N$ and a screen basis along each generator of the null geodesic congruence. This keeps the screen-space projector fixed under the corresponding transported derivative. Use the curvature convention $[{\nabla }_c,{\nabla }_b]V_a=-R^d{}_{acb}{V}_d$.

With $B_{ab}={\nabla }_b{U}_a$, differentiation of the affine geodesic equation givesHere the first term comes from commuting the derivative past $U^c$, and the second from the curvature commutator. The constraints $B_{ab}{U}^a=B_{ab}{U}^b=0$ follow respectively from the null normalization and affine geodesic equation. Projecting onto the screen therefore yields the optical matrix equationThe trace of the tidal matrix is $R_{ab}{U}^a{U}^b$; extra terms from replacing the screen trace by the spacetime trace vanish by curvature antisymmetry. Taking the trace givesDecompose the optical tensor as $\hat{B}=\frac{1}{2}\theta I+\hat{\sigma }+\hat{\omega }$. The null shear is symmetric and trace-free and the null twist is antisymmetric. Their cross traces vanish, andThe negative sign in the last term is the identity $\mathrm{tr}({\hat{\omega }}^2)=-{\sum }_{I,J}{\hat{\omega }}_{IJ}^2$ on the positive-definite screen. Substitution proves the four-dimensional Null Raychaudhuri equation:The coefficient is $1/(D-2)$ in $D$ spacetime dimensions; the factor $1/2$ here belongs to the four-dimensional congruence in this question, not the five-dimensional geometry of the next question.

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.

Put $q=r_0^2$ and $\eta =d\psi +\frac{1}{2}\cos \theta d\varphi$. Expanding the metric tensor in the stationary direction gives the useful exact identitiesTaking the exterior derivative givesThe fibered form of the metric tensor has determinant $\det g=-r^6{\sin }^2\theta /16$. Its inverse components needed for the flux areThereforesince $h(1-\alpha \Omega )=1$. This calculation includes the rotational mixed term; dropping it prematurely would miss the exact cancellation.

With the stipulated negative coordinate orientation, ${ϵ}_{tr\psi \theta \varphi }=-r^3\sin \theta /4$. The pullback of the Hodge star operator to the constant-$t,r$ three-dimensional spacelike submanifold is consequentlyThe coordinate ranges and standard sphere identifications giveThus the five-dimensional Komar mass, in the normalization given and $G_5=1$, isThe flux is already independent of $r$ in the vacuum region, so its limit at infinity has the same value. The negative orientation in the question is crucial for the positive sign; reversing that orientation reverses the flux.

Consider the discrete mapIt is an isometry: $\cos \theta$ and $d\varphi$ both change sign, leaving $\cos \theta d\varphi$ unchanged, while $d{\theta }^2$ and ${\sin }^2\theta d{\varphi }^2$ are also unchanged. A local component of its fixed-point set is $\theta =\pi /2$, $\varphi ={\varphi }_0$.

If a geodesic starts tangent to that component, the isometry fixes both its initial position and its initial tangent. Applying the isometry therefore gives a geodesic with the same initial data. Uniqueness of the geodesic equation makes it the same curve, so it remains in the fixed component. This proves that the selected submanifold is a totally geodesic submanifold; it has dimension three, not two. The proof continues through a horizon when expressed in regular coordinates, so coordinate singularities of the original chart do not invalidate it.

The geodesic conserved quantities from Killing vectors associated with ${\partial }_{\psi }$ and ${\partial }_{\varphi }$ areDots denote derivatives with respect to an affine parameter. On the chosen submanifold $\dot{\varphi }=0$ and $\cos \theta =0$, so $L_{\varphi }=0$. Requiring also $L_{\psi }=0$ givesMore generally, away from the polar-coordinate axes, both displayed angular charges being zero imply $\dot{\varphi }=0$ and the same relation. In particular, zero conserved angular momentum does not imply constant $\psi$: the motion follows the local dragging of the angular coordinate by the rotating geometry.

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

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

Relative to a chosen asymptotically flat end, define the black hole region bywhere ${\mathcal{I}}^{+}$ is that end's future null infinity in a conformal completion. It consists of events unable to send a future causal signal to that infinity; its boundary is the corresponding future event horizon.

For $0<\alpha <r_0/2$, $h>0$ and $f<0$ on $r_{-}<r<r_{+}$. The gradient of $r$ has norm $g^{ab}{\nabla }_{a}r{\nabla }_{b}r=f$, so it is timelike there. Use the future extension regular in the ingoing coordinates above, reached by an exterior future ingoing null geodesic with $\dot{r}=-E\sqrt{h}<0$. This determines $\nabla r$ to be future timelike in the inter-horizon block. Every nonzero future causal tangent $V$ therefore obeysAt the future outer horizon the gradient becomes future null and gives the corresponding one-way inequality $dr/d\lambda \le 0$. No future signal can cross that horizon outward to the selected exterior. The future inter-horizon block is consequently within $\mathcal{B}$; a future-directed path can leave it only through the inner horizon, not return through the outer horizon to the selected infinity.

This statement requires a branch and an end. The maximal extension also contains time-reversed inter-horizon blocks, where future-directed curves have increasing $r$ and emerge into an exterior: they are white holes, not the selected black hole region. Thus the unqualified claim for every copy of $r_{-}<r<r_{+}$ in an arbitrary extension is false. Analytic continuation past a Cauchy horizon can also introduce other asymptotic ends; the displayed definition explicitly refers to the chosen component of infinity.

To sketch the causal structure, suppress the spacelike $\psi$ circle by its orbit-space projection. The induced three-dimensional metric tensor isThe causal projection along a spacelike circular fiber is exact: any causal curve projects to a $q$-causal curve, and every base curve has a lift $d\psi =\Omega dt$ with exactly its base norm. The diagrams therefore represent this two-dimensional orbit space, not a constant-$\psi$ slice of the three-dimensional submanifold.

There are three nonextremal block types. For $r>r_{+}$, $r_{\ast }$ spans the full real line from the outer horizon to infinity, producing an exterior diamond. For $r_{-}<r<r_{+}$, $r_{\ast }$ spans the full line with the time and space roles reversed; these diamonds contain the future black-hole or past white-hole branches. For $0<r<r_{-}$, $r_{\ast }$ is finite at zero and diverges at the inner horizon, producing a static half-diamond with a timelike singular edge. The supplied Kretschmann scalar diverges as $384{\alpha }^4{r}_0^4/r^{12}$ at $r=0$, and $f>0$ on the inner side, so that edge is a genuine timelike curvature singularity. In contrast, both horizon radii are regular in horizon-adapted coordinates.

The finite strip shows two exterior levels, a future trapped block, an inner static level with timelike singularities, and the next emerging block. Continuing through the inner Cauchy horizons repeats this pattern upward and downward in the maximal analytic extension. The inner boundary is not a spacelike Schwarzschild-type singularity. Such an ideal extension need not describe a physical collapse past its unstable inner horizon.

At $\alpha =r_0/2$, put $R=r_0/\sqrt{2}$. Then $r_{+}=r_{-}=R$, $f=(r^2-R^2{)}^2/r^4$, and the interval $r_{-}<r<r_{+}$ is empty. The lapse is positive on both sides, so there is no inter-horizon trapped diamond. The horizon is a degenerate Killing horizon, with $\kappa =0$. In the exterior $r_{\ast }\to -\infty$ as $r\downarrow R$, while inside $r_{\ast }\to +\infty$ as $r\uparrow R$; more precisely its leading pole is $-\sqrt{2}{R}^2/[4(r-R)]$. Static proper distance to the horizon is infinite. Future ingoing rays still cross it at finite affine parameter, as the regular ingoing metric tensor shows.

The extremal sketch gives the exterior diamond and singular interior half-diamond, with the complete gluing prescription: the exterior future horizon attaches to the interior past horizon; the interior future horizon attaches to the past horizon of another exterior. Repeating these attachments gives the maximal extension. The marked throat endpoints are conformal ideal endpoints, not bifurcation points of the spacetime. This block representation avoids incorrectly treating the extremal geometry as two transverse horizons with a collapsed trapped region.

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.