Quantum Fields in Curved Spacetime

Quantum field theory on curved spacetime asks what remains of states, particles, renormalization, and radiation when the geometry is classical but no preferred vacuum or time translation need exist. This path is for graduate students and researchers moving from flat-spacetime field theory into cosmological or black-hole backgrounds. Its scope is deliberately fixed-background: it reaches renormalized stress-energy and Hawking radiation, then stops where self-consistent backreaction becomes essential.

Helpful background. Flat-spacetime quantum field theory supplies classical modes, Fock space, propagators, renormalization, effective-field-theory reasoning, and gauge constraints. Lorentzian metrics and causal cones supplies signature, causal cones, time orientation, volume elements, and conformal transformations; use the tensor and geometry bridge for a focused review. Partial differential equations and Green functions supplies hyperbolic evolution, boundary-value problems, distributions, and retarded response. Causality and global structure supplies domains of dependence, Cauchy surfaces, horizons, and conformal boundaries.

Quantum observables without a preferred vacuum

By the end of the path, you should be able to:

• define states and observables for quantum fields on curved backgrounds;
• use Hadamard structure and renormalization to interpret local observables and stress-energy;
• distinguish observer-dependent particles, detectors, Bogoliubov transformations, the Unruh effect, and Hawking radiation; and
• state precisely where fixed-background QFT ceases to control gravitational backreaction.

For a real scalar field, a recurring model is

$$S=-\frac12\int d^4x\,\sqrt{-g}\, \left(\nabla_\mu\phi\nabla^\mu\phi+(m^2+\xi R)\phi^2\right), \qquad P\phi=(\Box-m^2-\xi R)\phi=0.$$

The equation is simple; the state, observable, boundary conditions, and geometric regime carry much of the physics.

Check your preparation

1. What extra structure selects positive frequency in Minkowski spacetime, and why may it be absent on a general curved spacetime?
2. For a normally hyperbolic field equation, what geometric property makes data on a Cauchy surface determine the solution throughout its domain?
3. Why is the coincidence limit of a two-point function not, by itself, a finite definition of $\langle\phi^2\rangle$ or $\langle T_{\mu\nu}\rangle$?

Answers and review

1. Poincaré time translations and the spectral condition select positive frequency in Minkowski spacetime. A generic curved spacetime has no global timelike Killing field or preferred asymptotic region. Review the Fock-space construction with the quantum field theory diagnostic.
2. Global hyperbolicity supplies Cauchy surfaces and well-posed causal propagation. Review domains of dependence and global hyperbolicity and the PDE and Green-functions preparation if this is uncertain.
3. The two-point function has a universal short-distance singularity. One must subtract a locally constructed Hadamard parametrix and specify the allowed finite local curvature ambiguities before taking the limit. The route develops this rather than assuming it.

If the first two answers are secure, begin with the diagnostic and advance quickly. Resolve any uncertainty about causal propagation before the first field-dynamics phase. An uncertain third answer is expected at entry; it identifies the main work of the state and renormalization phases.

Route from field algebra to Hawking radiation

1. Confirm the flat-space bridge. Begin with the quantum mechanics and field theory diagnostic. Complete its review exercises before relying on Fock-space comparisons.
2. Establish classical propagation. Study classical fields, Green functions, and hyperbolic dynamics. Fix the operator, causal propagator, symplectic form, and boundary assumptions.
3. Quantize without assuming uniqueness. Continue through free-field quantization and representations and algebraic QFT and local covariance.
4. Control the state and ultraviolet structure. Work through quantum states and Hadamard structure and renormalized local observables and stress-energy. Keep admissibility separate from physical state selection.
5. Compare operational notions. Study particles, Bogoliubov transformations, and detectors followed by acceleration horizons and the Unruh effect. A detector response is not automatically a local stress tensor or asymptotic flux.
6. Reach the black-hole application. Finish with black-hole quantum fields and Hawking radiation. Separate near-horizon mode propagation, state choice, greybody scattering, and asymptotic radiation, and stop before uncontrolled evaporation claims.

Worked reasoning: two particle notions for one field

Consider one bosonic mode and define a second annihilation operator by

$$b=\alpha a+\beta a^\dagger.$$

Preserving the canonical commutator requires

$$[b,b^\dagger]=1 \quad\Longrightarrow\quad |\alpha|^2-|\beta|^2=1.$$

If $a|0_a\rangle=0$, then

$$\langle0_a|b^\dagger b|0_a\rangle=|\beta|^2.$$

Thus the $a$-vacuum need not be empty according to the number operator defined by $b$. In a field theory, $\alpha$ and $\beta$ become matrices or kernels, and a global unitary map between the two Fock representations additionally requires the beta coefficients to be Hilbert–Schmidt. Finite mixing for every individual mode does not guarantee this global condition.

This reasoning establishes basis-relative occupation after two positive-frequency structures have been specified. It does not establish a preferred particle concept on a generic spacetime. Nor does it determine:

• whether the state is Hadamard and hence suitable for local renormalized observables;
• how a finite-time detector with a specified trajectory and switching responds;
• whether energy reaches infinity as radiation; or
• whether the resulting stress-energy appreciably changes the geometry.

Those are distinct questions answered by the later phases. Hawking radiation, in particular, requires a collapse or horizon setting, a state and asymptotic observable, propagation through the exterior potential, and a declared fixed-background regime.

Checkpoints

Checkpoint 1. Two Hadamard states have different smooth parts in their two-point functions. Must their renormalized stress tensors agree?

Conceptual hint

Hadamard form fixes the singular part, not the state-dependent smooth remainder.

Setup hint

Subtract the two-point functions before taking the coincidence limit: their common singular parametrix cancels, while the smooth remainder need not.

Next-step hint

Apply the same local differential and finite-renormalization prescription to both states, then identify which remaining term depends on the state.

Solution

No. Subtracting the common local singular structure makes the difference finite, but the smooth state-dependent remainder can produce different stress tensors. The same locally covariant finite-renormalization prescription must be used before comparing them.

Checkpoint 2. A switched detector excites along a trajectory. Does this alone prove that the state contains a thermal bath of particles and carries an outward energy flux?

Conceptual hint

Separate detector protocol, KMS detailed balance, particle basis, and stress-energy flux.

Setup hint

Write the detector response from the pulled-back two-point function and switching profile, then list separately the tests for KMS behavior, particle number, and stress-energy flux.

Next-step hint

Check which conclusions require a stationary long-time limit and whether a nonzero transition probability forces a nonzero outward flux.

Solution

No. Finite switching can create transients, thermality requires a suitable stationary limit and detailed-balance relation, particle number depends on a chosen mode structure, and outward flux is a stress-energy statement. Each requires its own observable and limiting procedure.

Transfer task

Take a free scalar field in either an expanding FLRW spacetime or a stationary black-hole exterior. Specify the field operator, causal domain, state-selection rule, and one observable chosen from particle number, detector response, or renormalized stress-energy. Explain why the other two observables need not give equivalent descriptions. Finally, state the curvature, frequency, and backreaction conditions under which treating the metric as prescribed is self-consistent.

Capstone: one phenomenon, three observables

Analyze one curved-spacetime quantum phenomenon using a mode comparison, an operational detector, and a local or asymptotic stress-energy observable. Your work should:

• define the spacetime, causal assumptions, field, state, and boundary conditions;
• verify the canonical or algebraic relations and Hadamard admissibility used;
• derive each observable without identifying it with the other two;
• state renormalization choices and finite ambiguities where relevant; and
• give an explicit criterion for when fixed-background reasoning fails.

Evaluate the result by mathematical consistency, state and observable clarity, renormalization control, and scope discipline. Exemplary work also demonstrates a limit in which two descriptions agree and explains why that agreement is not universal.

When you are ready to move on

You are ready to move on when you can answer the preparation questions, derive and interpret the Bogoliubov result, solve both checkpoints without hints, and complete a capstone meeting all four criteria. Continue with Black-Hole Thermodynamics and Semiclassical Gravity for backreaction and thermodynamics, Black-Hole Information for fine-grained entropy questions after its additional preparation, or Relativistic Cosmology for cosmological applications.