Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-52/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 52 4 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Fix a classical globally hyperbolic spacetime with metric signature ; in this solution take . A free real Klein-Gordon field can be specified bywhere is its mass, its curvature coupling and the scalar curvature. Global hyperbolicity ensures a well-posed initial-value problem on a Cauchy hypersurface and the existence of retarded and advanced propagators. Thus compactly supported field and normal-derivative data determine a classical solution. This fixes the dynamics, but not a Fock vacuum.
For real solutions with suitable support or falloff, the symplectic form on scalar-field solutions iswith the future unit normal. The field equation makes the current conserved, so this symplectic form is independent of when boundary flux vanishes. Quantize the initial data by the canonical commutation relation: with and the delta function defined relative to , and the two equal-field commutators vanish. Equivalently, construct the field algebra using the causal propagator. A state on that algebra is additional input.
To construct a particle representation, complexify the classical solution space. Its conserved Klein-Gordon inner product isIt is indefinite on all complex solutions. Choose a complete positive-norm subspace and an orthonormal mode basis with , and . Such a choice is encoded by a compatible complex structure on the Klein-Gordon solution space. Its positive subspace gives the one-particle Hilbert space, and the associated bosonic Fock space contains symmetrized many-particle states. The field expansion isThe creation operator adds a particle in mode , the annihilation operator removes one, and the number operator is . For continuous mode labels the sums and Kronecker deltas become integrals and delta functions, or one can work with normalized wave packets.
The ambiguity is precisely that the field equation and global hyperbolicity do not select that positive subspace. A different normalized basis may mix and by a Bogoliubov transformation, and then its annihilation operators mix and . Its Fock vacuum and number operators differ. The Hadamard condition constrains physically acceptable short-distance singularities and allows local renormalization, but it still leaves many states. Hence there is generally no observer-independent particle count on an arbitrary dynamical geometry.
In a stable strictly stationary spacetime, a globally future timelike Killing vector field gives a preferred time translation. Fix its normalization and suitable boundary conditions, and choose positive-frequency solutions satisfying with . The corresponding positive spectral subspace gives the preferred vacuum state in a stationary spacetime. Unitary changes of basis within it leave the vacuum and the particle notion unchanged. This construction assumes a well-defined positive stationary generator; stationarity by itself is insufficient if becomes spacelike, as in a Kerr ergoregion, or if unstable or zero modes obstruct the ground-state construction. It selects a preferred ground state under the stated assumptions, not a unique state among all thermal and excited states.
If the geometry is suitably stationary in the asymptotic past and future, choose those preferred mode spaces separately, giving the in-vacuum and out-vacuum. Propagate the past modes through the intervening region using the field equation and compare them to the future modes using the conserved Klein-Gordon inner product. Adopt the conventionThe canonical identities for a bosonic Bogoliubov transformation read and . Extracting the future annihilation operator with the same inner product givesIn the in-vacuum, only contributes to . Therefore the particle number from Bogoliubov coefficients isNonzero is the production of future particles from the past vacuum. Summing over future modes gives the total expected particle number when that sum is finite. For infinitely many modes, a Hilbert-Schmidt operator is the condition for unitary implementability between these pure bosonic Fock space representations; finite-volume or wave-packet calculations must respect the relevant measures and convergence. Particle production is determined by the negative-frequency mixing, rather than by identifying a single instantaneous vacuum throughout the time-dependent region.
New to topics? Read the docs here!