Quantum Fields in Curved Spacetime
Scrollable formula. Use Left and Right arrow keys to reveal hidden content.
Scrollable table. Use Left and Right arrow keys to reveal additional columns.
Scrollable figure. Use Left and Right arrow keys to inspect hidden content.
Quantum field theory on a curved spacetime asks what remains of particles, vacuum, locality, and renormalization when the metric is prescribed but no global time translation is preferred. The durable answer begins with causal field equations and local observable algebras, selects states by their short-distance structure, and treats particles and detectors as derived, observer-dependent constructions. This volume carries that framework through cosmological creation, Unruh thermality, and fixed-background Hawking flux.
Helpful background. Flat-Spacetime Quantum Field Theory provides canonical fields, Fock space, and perturbative language. Partial Differential Equations and Green Functions supplies causal propagation and parametrices. Causality and Global Structure develops globally hyperbolic spacetimes, Cauchy surfaces, and horizons.
For a concrete first route, ask what a particle definition or a detector actually measures. Follow positive frequency and particle number, Bogoliubov mixing, and a switched two-level detector, then compare accelerated-detector response with Hawking radiation from collapse. The mode and detector pages require causal PDEs and proper-time geometry; use their exact background links, and review special relativity before the acceleration example. Return to the algebraic and Hadamard chapters for the general construction and its validity conditions. This is an entry route through concrete questions; the full framework follows below.
The fixed-background quantum problem
Section titled “The fixed-background quantum problem”The background metric is classical input. Quantum fields propagate on it, and their states determine expectation values and detector responses, but the geometry is not solved self-consistently in this volume. That separation permits rigorous constructions on arbitrary globally hyperbolic spacetimes while making the final boundary explicit.
For the recurring real scalar,
Global hyperbolicity gives unique retarded and advanced Green operators with future and past support. The causal propagator is fixed here as
This thread reappears as a symplectic solution space, a CCR algebra, a two-point function, a Hadamard subtraction, a detector correlation, and finally a horizon or cosmological mode problem. The Green-hyperbolic foundation and exact-sequence architecture are developed in Bär, Ginoux, and Pfäffle 2007, Chapter 3, §§3.2–3.5, pp. 73–102.
The key conceptual change is that a state is not built into the theory. The algebra is constructed first; a state is a positive normalized functional on it. Symmetric spacetimes may admit distinguished ground, KMS, or invariant states, but a generic curved spacetime supplies no preferred vacuum and no observer-independent global particle number.
Conventions that hold the route together
Section titled “Conventions that hold the route together”The metric signature is , , positive frequency uses when a time coordinate is declared, and with explicit. Page-local choices state the stress-tensor variation, horizon generator, surface gravity, KMS automorphism, detector proper time, switching, smearing, affine null normalization, and subtraction scale whenever they affect a sign or number.
Hadamard formulas use a declared Synge world function and prescription. Bogoliubov formulas state the Klein–Gordon or Dirac inner product and continuous-mode measure. Cosmological pages distinguish cosmic from conformal time and comoving from physical momentum. Entanglement pages identify the algebra, region, state, and regulator rather than assuming a finite tensor factorization.
These details are not stylistic overhead. Reversing reverses the CCR phase; changing the boost normalization changes coordinate temperature; differentiating a parametrix after rather than before coincidence changes the observable; and a finite Schwarzschild-coordinate stress component need not be regular in Kruskal coordinates.
Routes through the volume
Section titled “Routes through the volume”The chapters form a cumulative construction:
- Classical Fields and Green-Hyperbolic Dynamics builds scalar, Dirac, and Maxwell propagation, causal Green operators, and covariant phase space.
- Free-Field Quantization and Representations constructs CCR and CAR algebras, complex structures, Fock space, quasifree states, and implementability criteria.
- Algebraic Quantum Field Theory and Local Covariance organizes local nets, the time-slice axiom, functorial fields, relative Cauchy evolution, and dynamical locality.
- Quantum States and Hadamard Structure develops positive functionals, the Hadamard parametrix, microlocal spectrum, state existence, KMS states, and adiabatic criteria.
- Renormalized Local Observables and Stress–Energy defines Wick powers, conserved stress–energy, finite curvature ambiguities, executable calculations, and quantum energy bounds.
- Anomalies and Quantum Effective Actions derives heat-kernel coefficients, one-loop actions, trace and chiral anomalies, nonlocal actions, and conditional decoupling.
- Interacting and Nonequilibrium Quantum Fields introduces perturbative algebraic interactions, Epstein–Glaser extension, local renormalization groups, in-in dynamics, and secular regimes.
- Particles, Bogoliubov Transformations, and Detectors compares positive-frequency choices, unitary implementability, adiabatic number, detector response, and local observables.
- Acceleration, Horizons, and the Unruh Effect unifies Rindler geometry, mode analyticity, wedge KMS structure, detector detailed balance, and modular boosts.
- Cosmological Quantum Fields and Particle Creation treats FLRW modes, adiabatic subtraction, de Sitter states, inflationary fluctuations, and infrared secular effects.
- Black-Hole Quantum Fields and Hawking Radiation compares horizon states, derives collapse radiation, applies greybody factors, checks stress–energy, and identifies when backreaction becomes necessary.
- Entanglement, Modular Theory, and Relative Entropy develops Type III locality, Reeh–Schlieder, Tomita–Takesaki theory, Araki relative entropy, energy inequalities, and curved modular-flow questions.
Each chapter overview gives a shorter route and an integrative diagnostic. Ordinary pages state exact preparation, derive the central object, expose checks and failure modes, and keep citations adjacent to the claims they support.
Local observables before particles
Section titled “Local observables before particles”The algebraic route is the volume’s backbone. A locally covariant theory is a functor from admissible spacetimes and causal embeddings to observable algebras. Fields are natural transformations, and relative Cauchy evolution measures response to compact metric changes. Brunetti, Fredenhagen, and Verch 2003, §§2–4 establish this framework.
States enter through their correlation functions. The Hadamard condition fixes the ultraviolet wavefront set and makes state differences smooth; it is an admissibility class, not a unique state-selection rule. Radzikowski’s equivalence between the global Hadamard condition and the two-point wavefront set is stated in Radzikowski 1996, Theorem 5.1 and proof, pp. 544–550.
Local point splitting subtracts the state-independent Hadamard singularity before coincidence. Local covariance and scaling restrict the remaining freedom to curvature polynomials. A conserved renormalized stress tensor still carries finite gravitational counterterms, while its differences between two states in one scheme can be unambiguous.
This ordering prevents a common counterexample to naive reasoning: two observers may disagree about global particles yet agree on local field correlations and stress–energy. Detector clicks depend on trajectory, gap, switching, and smearing and therefore do not restore a universal particle concept.
Particles, detectors, and time dependence
Section titled “Particles, detectors, and time dependence”A choice of positive frequency is a complex structure on the classical phase space. Two choices are related by Bogoliubov coefficients, but finite mixing of each mode does not imply a unitary map between Fock spaces; the off-diagonal operator must satisfy the relevant Hilbert–Schmidt criterion.
On a stationary worldline in a KMS state, detector transition rates obey detailed balance. Finite-time switching adds transients. In Rindler space, the Minkowski vacuum restricted to a wedge is exactly KMS for boosts under the Bisognano–Wichmann hypotheses, while an accelerated detector recovers the same scale only in a controlled response limit. Wedge thermality, a detector click, and emitted radiation remain distinct observables.
Cosmological particle creation uses time-dependent FLRW modes. Adiabatic order controls ultraviolet subtraction but finite-order adiabaticity is not identical to full Hadamard regularity. A free conformally invariant field in a conformal state has no creation between conformal mode bases on conformally flat FLRW. Mass or nonconformal coupling permits creation, but the actual in/out mixing depends on the time-dependent background; neither alone guarantees a nonzero result. Inflationary scalar claims must distinguish a test field from the gauge-invariant Mukhanov–Sasaki variable.
Black-hole radiation adds collapse boundary data and an exterior potential. The exponential affine map gives the horizon temperature, greybody factors filter the asymptotic flux, and state regularity distinguishes Boulware, Hartle–Hawking, and Unruh choices. The fixed-background derivation does not calculate a shrinking horizon or endpoint.
Interactions, anomalies, and nonequilibrium limits
Section titled “Interactions, anomalies, and nonequilibrium limits”Perturbative algebraic QFT constructs interacting observables as formal power series using local time-ordered products; it is not a nonperturbative existence theorem or automatically a global scattering matrix. Epstein–Glaser renormalization extends distributions across diagonals, while local covariance restricts counterterms. The in-in contour produces real, causal expectation-value equations; an in-out effective action answers a different boundary-value question.
Heat kernels organize ultraviolet divergences and anomaly coefficients. Euclidean spectral formulas must be translated carefully to Lorentzian signature, and boundary coefficients must not be dropped when a boundary is present. The trace’s term is scheme dependent, consistent and covariant anomalies differ, and integrating an anomaly determines only a Weyl variation: state, boundary, Green-function, and conformally invariant data remain.
Secular growth signals loss of a fixed-order approximation for a named observable and regime. Dynamical renormalization-group, kinetic, stochastic, or large- resummations can extend control in specific models, but no one method is universally selected by the word “secular.”
Entanglement without a tensor-factor fiction
Section titled “Entanglement without a tensor-factor fiction”Local continuum algebras are generically hyperfinite Type under standard assumptions. A sharp region therefore has no canonical density matrix or Hilbert-space tensor factor, even though split inclusions can supply controlled Type-I intermediaries with a buffer. Reeh–Schlieder cyclicity expresses the analytic richness of the vacuum and does not enable superluminal signaling.
Tomita–Takesaki theory assigns modular flow to a cyclic-separating state–algebra pair. Boost flow is geometric for the vacuum wedge, but a generic region or curved-spacetime state has nonlocal, state-dependent modular evolution. Araki relative entropy remains meaningful in this algebraic setting and may be extended-valued when supports do not match.
These structures connect energy and information without replacing field theory by finite qubits. Quantum energy inequalities have specific field, state, worldline, and sampling hypotheses; flat-space ANEC results cannot be promoted silently to generic curved inequalities.
What fixed-background quantum field theory can explain
Section titled “What fixed-background quantum field theory can explain”The volume develops nongravitational QFT on prescribed backgrounds: local algebras, admissible states, renormalized observables, detectors, cosmological creation, Unruh physics, and fixed-background Hawking radiation. For generic flat-spacetime scattering, gauge theory, and renormalization foundations, see Flat-Spacetime Quantum Field Theory.
Self-consistent response to , stress fluctuations, and evaporation dynamics are developed in Semiclassical Gravity. Fine-grained Page curves, purification, and interior consistency are studied in Black-Hole Information. Quantized geometry and microscopic completion are the subject of Quantum Gravity. For cosmological background evolution and observational inference, see Relativistic Cosmology; this volume studies quantum fields on a prescribed FLRW background.
Frontier discussions date the evidence they assess, compare regimes, expose adverse cases, and state what new result would change the conclusion. The calculation pages link executable Node.js source and machine-readable output, report multiple refinements, and test analytic values, conservation, boundaries, states, and deliberate failures. These checks distinguish a derivation’s domain from a claim of universal validity.
Check your route
Section titled “Check your route”A reader wants the Hawking temperature, the flux at infinity, the evolving mass, and the fine-grained radiation entropy. Which parts can be obtained within this volume, and where do the remaining questions go?
Solution
The collapse and near-horizon chapters derive the temperature from the exponential affine map. The black-hole chapter combines the state occupation with greybody factors to obtain fixed-background asymptotic flux and checks the associated renormalized stress tensor. Evolving the mass requires semiclassical gravity because the metric must respond to that tensor. Fine-grained radiation entropy and recovery require black-hole-information observables; neither a Planck occupation nor a mean stress tensor determines them. A microscopic endpoint would require an additional quantum-gravity completion.
References
Section titled “References”- Bär, Christian, Nicolas Ginoux, and Frank Pfäffle. Wave Equations on Lorentzian Manifolds and Quantization. ESI Lectures in Mathematics and Physics. European Mathematical Society, 2007. DOI. Open PDF.
- Brunetti, Romeo, Klaus Fredenhagen, and Rainer Verch. “The Generally Covariant Locality Principle: A New Paradigm for Local Quantum Field Theory.” Communications in Mathematical Physics 237 (2003): 31–68. DOI. Open PDF.
- Hollands, Stefan, and Robert M. Wald. “Quantum Fields in Curved Spacetime.” Physics Reports 574 (2015): 1–35. DOI. Open PDF.
- Radzikowski, Marek J. “Micro-Local Approach to the Hadamard Condition in Quantum Field Theory on Curved Space-Time.” Communications in Mathematical Physics 179 (1996): 529–553. DOI.