Skip to content

Quantum Fields in Cosmology

Quantum fields in an expanding universe are time-dependent oscillators constrained by covariance, canonical normalization, state admissibility, and local renormalization. A mode basis can define a useful particle diagnostic without defining a unique vacuum; a finite power spectrum does not replace a renormalized stress tensor; and a relic abundance is predictive only after the expansion history, matching, dilution, and backreaction are controlled.

Helpful background. Particle creation in time-dependent backgrounds supplies Bogoliubov evolution; adiabatic states supplies ultraviolet control; stress-tensor subtraction schemes supplies local renormalization; and cosmological backreaction benchmarks supplies self-consistency tests.

On spatially flat FLRW,

ds2=a2(η)(dη2dx2),H=aa,Rsite=6aa3.ds^2=a^2(\eta)(d\eta^2-d\mathbf x^2), \qquad \mathcal H=\frac{a'}a, \qquad R_{\rm site}=-6\frac{a''}{a^3}.

The last sign follows the site’s Riemann convention. For P=+m2+ξRP=\Box+m^2+\xi R, set χ=aϕ\chi=a\phi in four dimensions. Its normalized modes satisfy

vk+Ωk2vk=0,Ωk2=k2+a2m2(1+6ξ)aa,vkvkvkvk=i.v_k''+\Omega_k^2v_k=0,\qquad \Omega_k^2=k^2+a^2m^2-(1+6\xi)\frac{a''}{a}, \qquad v_kv_k^{*\prime}-v_k'v_k^*=i.

Thus the site conformal coupling is ξ=1/6\xi=-1/6; for m=0m=0 the curvature potential vanishes. These formulas fix the mode dynamics and symplectic normalization. They do not select positive frequency at every time.

The separation between canonical mode evolution and asymptotic particle interpretation is developed explicitly by Parker 1969, §§II–IV, pp. 1059–1067. The observable-specific adiabatic construction of a conserved homogeneous stress tensor is given by Parker and Fulling 1974, §§II–IV, pp. 344–352.

Every calculation in the chapter should name:

  • the scale factor and differentiability class;
  • field spin, mass, curvature or background coupling, and canonical variable;
  • initial state or density matrix and its ultraviolet order;
  • observable—particle diagnostic, correlator, local composite, abundance, or mean stress;
  • subtraction and finite local gravitational couplings;
  • matching history, physical cutoff hierarchy, and numerical error;
  • the first hierarchy that is no longer controlled.

The structure map should be read from modes and state through an explicitly chosen observable, then through subtraction or late-time transfer, and only afterward into relic or backreaction conclusions.

FLRW geometry and a normalized state feed separate particle, local-observable, relic-transfer, and self-consistent-backreaction calculations

Cosmological QFT separates mode evolution, state choice, basis-dependent particles, local renormalization, relic transfer, and mean backreaction. Schematic; not to scale.

  1. FLRW fields and mode quantization derives the scalar oscillator and Wronskian.
  2. Conformal and minimally coupled scalars isolates curvature coupling and expansion history.
  3. Spinor and gauge fields preserves tetrad, gauge, and polarization constraints.
  4. Adiabatic particle number treats a controlled but basis-dependent diagnostic.
  5. Adiabatic subtraction renormalizes local observables to the required order.
  6. Vacuum choice and initial-state effects separates ultraviolet admissibility from infrared preparation.
  7. Initial density matrices and boundary EFT encodes mixed and excited states with boundary counterterms.
  8. Bunch–Davies, Euclidean, and alpha states tests de Sitter analyticity and singularities.
  9. Trans-Planckian initial-state sensitivity states the EFT ceiling.
  10. Gravitational production of massive relics converts late-time modes into abundance.
  11. Mode matching across cosmological eras preserves canonical data through transitions.
  12. Renormalized stress and FLRW backreaction solves the constrained mean system.

This is the canonical comparison table for the chapter.

TaskRequired dataQuantity computedControlled statementDecisive checkFailure or handoff
Scalar modesa(η),m,ξa(\eta),m,\xi, canonical variableNormalized vkv_kField algebra and two-point functionWronskianA time-dependent basis is not a preferred particle notion
Conformal comparisonSpin/coupling and conformal stateRescaled mode equationNo production for massless conformally invariant free fieldsFlat oscillator after rescalingAnomaly or interactions can leave local stress
Spinor/gauge modesTetrad, spin structure, gauge, constraintsPhysical mode functionsFermionic or transverse field algebraAnti/commutator and constraint propagationGauge/tetrad artifacts do not define production
Adiabatic particlesWKB order and asymptotic regimenk(r)=βk(r)2n_k^{(r)}=\lvert\beta_k^{(r)}\rvert^2Late-time occupation with a remainder estimateStability across ordersIntermediate-time number is basis dependent
Local subtractionState, modes, observable, finite couplingsϕ2ren\langle\phi^2\rangle_{\rm ren} or Tμνren\langle T_{\mu\nu}\rangle_{\rm ren}Local covariant observableSecond order for ϕ2\phi^2, fourth for TμνT_{\mu\nu} in 4D; conservationSubtraction is not state preparation
Gaussian stateInitial mode covariance and UV asymptoticsPower/correlation/stress differencesAdmissible family of statesHadamard or sufficient adiabatic orderUV regularity does not fix infrared data
Boundary EFTInitial slice, density kernel, cutoff, operatorsModified propagator/correlatorExpansion in physical scales over Λ\LambdaPositivity and boundary RGUnbounded density matrix or unsuppressed operators
de Sitter statePatch, analytic continuation, mass/couplingTwo-point functionBD/Euclidean equivalence in its domainHadamard wavefront and loop countertermsFormal alpha states add singularities
Trans-Planckian effectUV completion encoded by boundary coefficientsEFT correction with errorModel-dependent suppressed sensitivitySlice independence after running; stress boundNo generic prediction above the cutoff
Relic productionSmooth history, late adiabatic basis, entropy historynn, ρ\rho, or yield YYModel abundance with matching errorSmooth-transition and WKB convergenceA discontinuity-dominated yield is unphysical
Era matchingCanonical data and junction regularitySymplectic transfer matrixPreserved Wronskian and phaseSmooth-family convergenceArtificial junction particles
BackreactionRenormalized ρ,p\rho,p, state–geometry data, couplingsCoupled a(η)a(\eta) and modesMean semiclassical solutionFriedmann constraint and conservationScheme, state, truncation, or numerical error dominates

The failure map emphasizes four category errors: treating particle number as local stress, changing the state while claiming a subtraction change, promoting cutoff sensitivity to a UV prediction, and inserting a nonconserved stress into the Friedmann equation.

Basis changes, insufficient subtraction, uncontrolled initial-state operators, artificial era junctions, or nonconserved stress block cosmological predictions

Each cosmological conclusion has a distinct failure test; passing mode normalization alone does not license a particle, relic, or backreaction claim. Schematic; not to scale.

  • Parker, L., “Quantized Fields and Particle Creation in Expanding Universes. I,” Physical Review 183, 1057–1068 (1969), doi:10.1103/PhysRev.183.1057.
  • Parker, L., and S. A. Fulling, “Adiabatic Regularization of the Energy-Momentum Tensor of a Quantized Field in Homogeneous Spaces,” Physical Review D 9, 341–354 (1974), doi:10.1103/PhysRevD.9.341.