Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-311/4/b/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 311 4 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Consider a real Klein-Gordon field on a prescribed globally hyperbolic spacetime, obeying with metric signature . A curvature coupling can be included as . A Cauchy hypersurface and compactly supported smooth data determine a unique solution; appropriate falloff can replace compact support. The real solution space has conserved symplectic formConservation follows by integrating the divergence-free current , with no boundary flux. On complex solutions the conserved Klein-Gordon inner product isIt is indefinite on the full complex solution space.
Choose a complete positive-norm mode subspace, with modes satisfyingEquivalently choose a compatible complex structure on the Klein-Gordon solution space. The mode labels may be continuous, in which case sums and Kronecker symbols become integrals and Dirac delta functions. Construct the one-particle Hilbert space from these modes and its bosonic Fock space. Promote the field to the operator-valued distributionFor a foliation with spatial metric determinant , the conjugate momentum density is . Mode completeness gives the equal-time canonical commutation relationsThe Fock vacuum obeys , and counts particles in the chosen mode. For local products and a renormalized stress-energy tensor, physically admissible states are further restricted by the Hadamard condition. The field algebra exists without a preferred Fock vacuum.
A different admissible mode splitting can mix positive and negative norms:Orthonormality imposes the canonical identities for a bosonic Bogoliubov transformationThe same field then hasWithout a preferred notion of positive frequency, a nonstationary spacetime supplies no distinguished mode splitting: particle number and vacuum depend on the choice of modes, although the field equation and field algebra do not. With infinitely many modes the Bogoliubov transformation need not be unitarily implementable; finite total mixing requires a Hilbert-Schmidt operator .
For a stable strictly stationary spacetime, a chosen future globally timelike Killing vector field gives a preferred time translation. Choose modes withWhen the corresponding conserved Killing energy is positive and the spectral problem has suitable boundary conditions and no problematic zero modes, this gives the preferred vacuum state in a stationary spacetime and particles relative to . Positive-frequency mode mixing within that same subspace leaves the Fock vacuum unchanged. Rescaling by a positive constant changes the frequency units but not their sign.
Stationarity alone, if it only means a Killing field timelike near infinity, is insufficient for a global unique particle interpretation. In the Kerr ergoregion, is spacelike, so positive frequency relative to does not automatically select a positive-norm subspace throughout the geometry; superradiance illustrates the difficulty. Additional vacuum and boundary choices remain necessary. The customary stationary answer therefore assumes a suitable timelike stationary flow and a stable positive-energy quantization; it does not assert that every stationary black-hole extension has one globally preferred vacuum.
New to topics? Read the docs here!