Algebraic Quantum Field Theory and Local Covariance

Quantum field theory on a curved spacetime cannot begin by choosing one preferred Hilbert space, because a generic geometry supplies no preferred vacuum or positive-frequency decomposition. Algebraic quantum field theory changes the order of construction: assign observables to spacetime regions first, require those assignments to respect causality and embeddings, and introduce states only afterward as positive linear functionals. Local covariance then makes “the same field on different backgrounds” a precise naturality statement.

Helpful background. Flat-Spacetime Quantum Field Theory supplies smeared fields and canonical commutators. Partial Differential Equations and Green Functions supplies causal propagators and domain-of-dependence reasoning. Causality and Global Structure develops globally hyperbolic regions and causal complements. The volume overview places these constructions within the longer route to states, detectors, and renormalized observables.

Enter this chapter

The chapter develops three nested structures. A net $O\mapsto\mathcal A_M(O)$ organizes observables within one spacetime. A covariant functor $\mathcal A:\mathsf{Loc}\to\mathsf{Alg}$ compares entire theories across spacetimes. Natural transformations then compare fields or theories without choosing coordinates or representations. Relative Cauchy evolution closes the circle by measuring how observables respond when the background metric changes in a compact region.

The construction assumes oriented and time-oriented globally hyperbolic spacetimes and causally compatible embeddings. Those hypotheses are not cosmetic: they guarantee the causal propagation and Cauchy morphisms used by the time-slice property. Boundaries, topology-changing histories, and nonglobally hyperbolic settings need additional prescriptions and are not silently included.

The logical route is cumulative:

1. Local Nets and Einstein Causality defines isotony and spacelike commutativity inside a fixed background.
2. The Time-Slice Axiom shows how a neighborhood of a Cauchy surface determines the algebra of the whole spacetime.
3. Locally Covariant Quantum Field Theory packages covariance as a functor from spacetimes to algebras.
4. Fields as Natural Transformations identifies a locally covariant field as a compatible family of operations on test functions.
5. Relative Cauchy Evolution constructs the automorphism comparing two metric histories that agree outside a compact region.
6. Dynamical Locality and Theory Comparison tests whether response-defined and embedding-defined localization agree.

From regions to a functor

For one spacetime $M$, the net assigns an algebra $\mathcal A_M(O)$ to each admissible region. Inclusion of regions gives inclusion of algebras, and causally disjoint regions receive commuting subalgebras. This is Einstein causality at the observable level; it does not require a tensor-product factorization of the Hilbert space. That distinction becomes essential later, because local von Neumann algebras in continuum QFT are generally Type III.

The time-slice axiom strengthens causal propagation. If an embedding $\psi:M\to N$ contains a Cauchy surface of $N$ in its image, then $\mathcal A(\psi)$ is an isomorphism. A small globally hyperbolic collar around a Cauchy surface therefore carries the complete algebra, even though an arbitrary small bounded region does not. The free-field proof uses the field equation and Green operators to move every test function into that collar; the general axiom abstracts precisely this mechanism.

Locally covariant QFT promotes these assignments to a functor. Objects of $\mathsf{Loc}$ are admissible spacetimes, arrows are structure-preserving causal embeddings, and $\mathsf{Alg}$ contains unital $*$-algebras with injective morphisms. Functoriality,

$$\mathcal A(\psi_2\circ\psi_1) =\mathcal A(\psi_2)\circ\mathcal A(\psi_1),$$

is the mathematical content of composing two spacetime embeddings without ambiguity. Brunetti, Fredenhagen, and Verch 2003, §§2–3 give the foundational categorical framework and show how ordinary local nets are recovered from it.

Fields and response to geometry

A field is not identified with an operator-valued distribution in one representation. Instead, it is a natural transformation from a test-function functor $\mathcal D$ to the observable functor $\mathcal A$. For every embedding $\psi:M\to N$, naturality requires

$$\mathcal A(\psi)\,\Phi_M(f) =\Phi_N(\psi_*f).$$

Thus covariance is checked before choosing a state. Composite fields such as Wick powers require renormalization, and their finite local curvature ambiguities must also transform naturally; local covariance constrains but does not eliminate those ambiguities.

Relative Cauchy evolution uses the time-slice axiom twice. Compare a background $g$ with $g+h$, where $h$ is compactly supported between common past and future Cauchy neighborhoods. The two histories define an automorphism $\operatorname{rce}_M[h]$ of $\mathcal A(M)$. Its functional derivative is generated, with convention-dependent sign, by the renormalized stress tensor. The detailed construction originated in Brunetti, Fredenhagen, and Verch 2003, §4; the page in this chapter fixes the sign by stating both the stress-tensor variation and the automorphism ordering.

This response is also the engine of dynamical locality. An observable is dynamically assigned to $O$ if it is invariant under every metric perturbation supported causally outside a suitable compact subset of $O$. Agreement with the kinematic net is a nontrivial success for the massive minimally coupled scalar field and a diagnostic failure for some massless or topological formulations. On a compact Cauchy surface, for example, the minimally coupled massless scalar’s constant solution is insensitive to all metric changes but cannot be generated inside an arbitrarily small diamond. This is a concrete localization mismatch. The criterion does not select a state or make particle concepts observer independent.

A map of implications and non-implications

Einstein causality, the time-slice axiom, local covariance, and dynamical locality answer different questions. Einstein causality controls commutators of spacelike separated observables. The time-slice axiom controls propagation from Cauchy data. Local covariance controls comparison under embeddings. Dynamical locality controls whether two notions of localization coincide. None of the first three alone implies the fourth.

Likewise, a natural field does not imply a natural state. Under additional hypotheses, dynamically local nontrivial theories obey a no-natural-state result; Fewster and Verch 2012, Definition 6.12 and Theorem 6.13, pp. 43–44, PDF state the conditional theorem. Distinguished ground or KMS states on symmetric individual backgrounds remain compatible with that result. The excluded assignment must obey compatibility across the full spacetime category together with the theorem’s faithfulness, Reeh–Schlieder, noncompact-Cauchy-surface, and extended-locality hypotheses.

Review the chapter

Let $\psi:M\to N$ be a Cauchy morphism, and suppose $O\subset M$ is causally convex. Which principles support the two conclusions (i) $\mathcal A(\psi)$ is an isomorphism and (ii) observables in $O$ commute with observables in a spacelike separated region $O'$? Does either conclusion prove dynamical locality?

Solution

Conclusion (i) is exactly the time-slice axiom: because the image of $\psi$ contains a Cauchy surface of $N$, the induced algebra morphism is invertible. Conclusion (ii) follows from Einstein causality applied to the local net, together with covariance of the inclusions into $M$ or $N$. Neither statement compares the kinematic algebra with the algebra defined by invariance under relative Cauchy evolution. Dynamical locality is therefore an additional theory-level condition and must be proved or refuted for the chosen field and algebra.

References

• 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.
• Fewster, Christopher J., and Rainer Verch. “Algebraic Quantum Field Theory in Curved Spacetimes.” In Advances in Algebraic Quantum Field Theory, 125–189. Springer, 2015. DOI. Open PDF.
• Fewster, Christopher J., and Rainer Verch. “Dynamical Locality and Covariance: What Makes a Physical Theory the Same in All Spacetimes?” Annales Henri Poincaré 13 (2012): 1613–1674. DOI. Open PDF.