Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 51 (Black Holes)

Use geometrized units $G=c=1$ and metric signature $(-+++)$; $\tau$ is proper time. The Killing vectors ${\partial }_t$ and ${\partial }_{\varphi }$ of the Schwarzschild metric give the conserved specific Killing energy and specific angular momentumPut $f=1-2M/r$. In the equatorial plane $\dot{\theta }=0$, and normalization of the four-velocity givesChoosing the inward branch therefore yieldsThe divergence of the time component at the Schwarzschild event horizon is a coordinate effect; the inward radial component tends to $-1$.

Capture from infinity. To reach the event horizon from infinity, the radial square must remain nonnegative throughout $r>2M$. Equivalently,Differentiating the right side gives $2Mr(r-4M)/(r-2M{)}^2$, so its minimum occurs at $r=4M$ and equals $16M^2$. Thusis the necessary capture bound. At equality the radial numerator is $2M(r-4M{)}^2$. An inward particle arriving from larger radii approaches the unstable orbit $r=4M$ only after infinite proper time, because $\dot{r}$ is proportional to $-(r-4M)$ near that orbit. Actual plunges from infinity require $|h|<4M$. This is Schwarzschild marginally bound capture.

The origin-at-infinity hypothesis is important and is not explicit in the PDF. A particle already inside the angular-momentum barrier can plunge with larger $|h|$. For example, $h=10M$ and initial radius $r_0=2.01M$ give positive radial numerator $7.0802M^3$, remaining positive as $r$ decreases to $2M$. This trajectory has $e=1$ and reaches the event horizon. Thus an unrestricted claim about every inward particle would be false; the bound is the intended capture-from-infinity statement.

Invariant collision energy. At a collision, the total four-momentum is $P^{\mu }=m(u_1^{\mu }+u_2^{\mu })$. The invariant center-of-mass energy uses the covariant metric:The PDF instead prints a raised metric multiplying raised velocities. That contraction is not a tensor scalar; the corrected expression above, or a raised metric with lowered momenta, is required. Since each four-velocity has norm $-1$,Let $D_i=2M{r}^2-h_i^2(r-2M)$. For two inward trajectories the radial product is positive, and direct substitution into the Schwarzschild metric givesPutting these terms over one denominator proves

Horizon limit and the upper bound. A cancellation-free way to take the limit is to write $a_i=1+h_i^2/r^2$ and ${\dot{r}}_i=-\sqrt{1-f{a}_i}$. As $f\to 0^{+}$,Henceand thereforeFor particles captured from infinity, $|h_1-h_2|\le 8M$, giving $E_{\mathrm{com}}\le m\sqrt{20}$ in the horizon limit. For actual captured trajectories the inequality is strict, but the supremum is approached by $h_1\to 4M^{-}$ and $h_2\to -4M^{+}$. Their azimuthal starting positions can be chosen so that the trajectories meet. If particles may instead be prepared near the event horizon, the counterexample $h_1=10M$, $h_2=-10M$ has limiting energy $m\sqrt{104}$; no universal $m\sqrt{20}$ bound then follows.

The two identities. Set $F_{\beta \gamma }={\nabla }_{\beta }{K}_{\gamma }$. The Killing equation says $F_{\beta \gamma }=-F_{\gamma \beta }$. The Levi-Civita connection has symmetric lower connection indices, so they cancel in the antisymmetric difference:Use normalized antisymmetrization, soPut $a^{\sigma }=K^{\tau }{\nabla }_{\tau }{K}^{\sigma }$. Contracting with $F^{\beta \gamma }$, the second term is $a^{\gamma }{F}_{\gamma \alpha }$ and the third is the same after using antisymmetry. ThusRearranging proves the Killing derivative contraction identity

Restriction to a Killing horizon. On a Killing horizon, the generator $K$ is normal to the horizon as well as tangent to its null generators. Consequently $K_{[\alpha }{\nabla }_{\beta }{K}_{\gamma ]}=0$ there. One can see this without assuming hypersurface orthogonality away from the horizon: if the horizon is locally $\Phi =0$, write its dual one-form as $K=fd\Phi +\Phi q$ near it; then $K\wedge dK=0$ on $\Phi =0$. By the definition of surface gravity, $a^{\sigma }=\kappa K^{\sigma }$ on the horizon, and lowering that relation gives $K^{\sigma }{\nabla }_{\sigma }{K}_{\alpha }=\kappa K_{\alpha }$. The contraction identity becomesAway from points where $K$ vanishes, cancel a nonzero component of $K_{\alpha }$; at a regular bifurcation surface extend by continuity. ThereforeThis is surface gravity from the Killing derivative; it concerns the horizon, not every point in the exterior.

Static spherical metric. Choose the Killing vector $K={\partial }_t$. Its dual one-form is $-Adt$, and the first identity immediately giveswith all other components zero. HenceUsing the horizon identity and the simultaneous simple zeros,Here the positive value is chosen for a regular outer Killing horizon with $A,B>0$ on the exterior side. This is surface gravity of a static spherical horizon. A different normalization $K\mapsto cK$ rescales surface gravity by $c$; when an asymptotically flat normalization is wanted, the time coordinate is chosen so $A\to 1$ at infinity.

Euclidean regularity and temperature. Let $\delta =r-r_{+}$, $a=A^{\prime }(r_{+})$ and $b=B^{\prime }(r_{+})$. On the exterior side, define the proper radial coordinate $R=2\sqrt{\delta /b}$. After Wick rotation, the near-horizon metric isThe radial-time plane is a polar plane with angular coordinate $\vartheta =\kappa \tau$. Its circumference-to-radius ratio is $\kappa \Delta \tau$; the conical singularity disappears precisely whenThis is the Euclidean black-hole regularity condition. If a signed surface gravity convention is used, the period uses $|\kappa |$.

In a thermal quantum field theory, imaginary-time periodicity is the inverse-temperature condition expressed by the KMS condition. Therefore smoothness identifies the Hawking temperaturein units $\hslash =k_B=1$, or $T_H=\hslash \kappa /(2\pi k_B)$ when $\kappa$ is measured as an inverse time. It provides the thermal interpretation of surface gravity in black-hole thermodynamics. The regular Euclidean construction describes an equilibrium thermal state; the collapse calculation of Hawking radiation in the last solution supplies the outgoing spectrum. The simple-zero hypothesis excludes an extremal black hole, for which this polar-plane argument changes.

The harmonic equation, including critical points. All derivatives in this argument use the three-dimensional Levi-Civita connection of $\gamma$. Write $U_i={\nabla }_{i}U$, $|\nabla U{|}^2={\gamma }^{ij}{U}_i{U}_j$ and ${\Delta }_{\gamma }U={\gamma }^{ij}{\nabla }_i{\nabla }_{j}U$. The curvature relation for the static vacuum conformal spatial metric gives $R=2|\nabla U{|}^2$. Substituting it into the contracted Bianchi identity yieldsThe Hessian of a scalar is symmetric, so the last terms cancel:Where $\nabla U\ne 0$, this implies ${\Delta }_{\gamma }U=0$. On the interior of the critical set $\{\nabla U=0\}$, $U$ is locally constant and its Laplacian is also zero. Every other critical point is a limit of noncritical points, so continuity of the Laplacian givesThis avoids incorrectly dividing by a gradient at its zeros.

Integration by parts and rigidity. The usual whole-space energy identity isWith standard static asymptotic falloff $U=O(R^{-1})$ and $\nabla U=O(R^{-2})$, the last term is $O(R^{-1})$ and vanishes. Positivity of the spatial Riemannian metric then makes $U$ constant, and its limiting value fixes that constant to zero.

There is also a direct integration by parts proof requiring only the stated vanishing of $U$ at infinity, rather than an assumed flux decay rate. For a regular value $\epsilon >0$, the region ${\Omega }_{\epsilon }=\{U>\epsilon \}$ has compact closure. Completeness and the absence of an inner boundary ensure no missing boundary pieces; standard asymptotic flatness and $U\to 0$ on all ends keep this positive level set away from infinity. Its outward unit normal is $n=-\nabla U/|\nabla U|$. Multiplying the harmonic equation by $U$ and integrating givesBoth terms are nonpositive, so both vanish. A nonempty component with $U>\epsilon$ cannot have zero gradient throughout and boundary value $\epsilon$. Thus ${\Omega }_{\epsilon }$ is empty. Choose arbitrarily small regular values and apply the same argument to $-U$; it follows thatThis is vanishing harmonic function by level-set integration. It also makes explicit why an inner boundary would invalidate the conclusion.

From zero Ricci curvature to Minkowski spacetime. In dimension three the Schouten tensor is $S_{ij}=R_{ij}-R{\gamma }_{ij}/4$, so it vanishes here. The three-dimensional curvature reconstruction then gives $R_{ijpq}=0$: $\gamma$ is a flat Riemannian manifold. This use of three-dimensional curvature from the Ricci tensor is essential; zero Ricci tensor would not by itself imply flatness in four dimensions.

A complete connected flat spatial manifold has Euclidean universal cover. Standard asymptotic flatness, with an ordinary Euclidean end, excludes a nontrivial free Euclidean quotient: a nontrivial fixed-point-free Euclidean isometry contains a translational or screw component, and its cyclic quotient has at most quadratic volume growth, incompatible with a three-dimensional Euclidean end. Extra identifications cannot restore cubic growth. Thus the complete spatial metric is globally Euclidean, not just locally flat. With $U=0$ and the standard global time coordinate the four-metric becomesTherefore horizonless static vacuum rigidity gives Minkowski spacetime as the sole solution under these hypotheses.

Allowing horizons. A black hole exterior can be static and asymptotically flat without being Minkowski. The Schwarzschild spacetime is the basic example. Its lapse function vanishes at the event horizon, so $U$ is unbounded below there; the horizon introduces an inner end or boundary in the spatial reduction, and the previous energy argument no longer has its hypotheses. In fact for Schwarzschild,so this conformal quotient terminates at $r=2M$ and is not the complete nonsingular quotient used above.

With the usual regularity, connected-horizon and global hypotheses of the static vacuum black-hole uniqueness theorem, the nontrivial black-hole exterior is Schwarzschild. Rotating Kerr black holes are stationary but not static and therefore are not alternatives in this question. This statement concerns a regular domain outside the horizon; the Schwarzschild interior contains a curvature singularity. If “globally static” and “nonsingular everywhere” are retained literally, Schwarzschild does not meet them. Allowing horizons means relaxing the horizonless global hypotheses to the corresponding static exterior problem.

Canonical mode mixing and its inverse. Treat annihilation operators as column vectors and keep complex conjugation, transpose and Hermitian adjoint distinct. Computing the canonical commutation relations for $a^{\prime }=\alpha a+\beta a^{†}$ givesConsequently the required conditions areFor complete invertible mode mixing, putThe canonical identities for a bosonic Bogoliubov transformation are $\mathcal{T}J{\mathcal{T}}^{†}=J$, giving ${\mathcal{T}}^{-1}=J{\mathcal{T}}^{†}J$. Its upper blocks yieldEquivalently, the column identities are ${\alpha }^{†}\alpha -{\beta }^T\overline{\beta }=I$ and ${\alpha }^{†}\beta ={\beta }^T\overline{\alpha }$. In finite dimension invertibility follows from the canonical matrix identity. In infinitely many modes, the row identities alone need not give a complete inverse: $a_i^{\prime }=a_{i+1}$ preserves them but discards one mode. Here completeness of the two field-mode expansions supplies the needed invertible transformation.

Obtaining coefficients from the modes. Use the Klein-Gordon inner product, antilinear in its first argument,The normalized positive-frequency solutions satisfy $(p_i,p_j)={\delta }_{ij}$, $({\overline{p}}_i,{\overline{p}}_j)=-{\delta }_{ij}$ and $(p_i,{\overline{p}}_j)=0$. Current conservation makes this product independent of the Cauchy hypersurface when boundary flux vanishes. Taking the product of the field with a mode gives $a_i=(p_i,\hat{\Phi })$ and henceWith this operator convention, the corresponding mode expansion isThe minus sign comes from the negative norm of conjugate modes. Using a different convention for mode coefficients can move this sign and the complex conjugates; the operator formula fixes them unambiguously here.

Particle count. In the in-vacuum, only the contraction $⟨0|a_j{a}_k^{†}|0⟩={\delta }_{jk}$ survives. ThereforeThis is particle number from Bogoliubov coefficients: the old vacuum contains that expected number of particles in the new mode $i$. Nonzero negative-frequency mixing is the source of particle production. For continuum modes one uses normalized wave packets and replaces the sum by the corresponding integral.

The squeezed-state relation. First use finitely many modes, or an implementable infinite-mode limit. SeekThe canonical commutation relations giveAll further nested commutators vanish since $\hat{F}$ contains only creation operators. ThusThe old annihilation conditions hold exactly whenThe inverse transformation's canonical identity $A{B}^T=B{A}^T$ shows $A^{-1}B=(A^{-1}B{)}^T$, so the required symmetry is automatic. Also $A{A}^{†}-B{B}^{†}=I$ givesHence the singular values of $M$ are less than one. The Autonne-Takagi factorization $M=U\mathrm{diag}(s_j)U^T$ changes to independent canonical oscillators. For each factor, the squared norm of $\exp (s_j{b}_j^{†2}/2)|0⟩$ is the even-occupation seriesMultiplying these norms gives the finite-mode normalizationThe phase of $C$ is arbitrary. The resulting multimode squeezed vacuum is annihilated by all old annihilation operators, so uniqueness of the normalized Fock vacuum identifies it with $|0⟩$.

The PDF's squeezed-vacuum claim needs qualification for infinitely many modes. Bosonic mode mixing implementability requires $\beta$ to be a Hilbert-Schmidt operator, ${\sum }_{ij}|{\beta }_{ij}{|}^2<\infty$, for a common ordinary bosonic Fock space. For a counterexample, take $\alpha =\cosh sI$ and $\beta =\sinh sI$ on countably many modes with fixed $s>0$. The algebraic canonical conditions hold, but $M=\tanh sI$ and the finite-$N$ normalization is $C_N=(\cosh s{)}^{-N/2}\to 0$. Every mode has a fixed positive probability of nonzero occupation in the required product state; the probability that all but finitely many modes are empty is zero. Ordinary Fock space vectors instead have total occupation finite with probability one, even if their expected occupation is infinite. Thus there is no nonzero common-Fock-space vector of the prescribed form. The squeezed expression is a normalizable vacuum relation with a finite-mode regulator or the implementability condition, not solely from the commutator identities.

Black-hole radiation. In a collapse spacetime, choose early positive-frequency solutions with respect to affine incoming time $v$ on past null infinity, and late outgoing modes proportional to $e^{-i\omega u}$ on future null infinity. The early state is their in-vacuum. The Hawking exponential ray map hasfor late outgoing rays, with $\kappa >0$. Tracing a late mode backwards therefore gives a profile proportional toIt is not a pure positive-frequency incoming wave, so the Bogoliubov transformation has nonzero $\beta$.

To see the thermal factor, put $x=v_H-v>0$ and $a=\omega /\kappa$. The positive- and negative-frequency Fourier pieces have, apart from common normalization and phases, the regulated integralsAs $\epsilon \downarrow 0$, the positive-frequency piece has squared-modulus factor $e^{+\pi a}$ and the negative-frequency piece has $e^{-\pi a}$. Consequently the thermal ratio of Hawking Bogoliubov coefficients isFor a normalized narrow-frequency outgoing wave packet, combine this ratio with ${\sum }_j(|{\alpha }_{ij}{|}^2-|{\beta }_{ij}{|}^2)=1$. The occupation is the Bose-Einstein distributionThe Hawking temperature is thus the same one found by Euclidean regularity. For Schwarzschild, $\kappa =1/(4M)$ gives $T_H=1/(8\pi M)$ in natural units. Propagation through the exterior potential multiplies the asymptotic occupation by the greybody factor ${\Gamma }_{\ell }(\omega )$.

The outgoing radiation has partner-mode correlations across the horizon: the total state can be pure while the reduced outgoing state is thermal. A complete mode basis must include modes entering the horizon as well as those reaching infinity. The particle statement is made for normalized packets and finite observation intervals; idealized infinite-duration emission need not define the two vacua in one global Fock space. This explains both the squeezed-state structure and the physically measurable Hawking radiation.