[Paper Review] General Covariance in Algebraic Quantum Field Theory

Romeo Brunetti, Martin Porrmann+1 more|ArXiv.org|Dec 17, 2005

Homotopy and Cohomology in Algebraic Topology85 references3 citations

TL;DR

This paper establishes a category-theoretic framework for general covariance in algebraic quantum field theory (AQFT) by formulating locally covariant quantum field theories as functors from spacetime categories to $C^*$-algebras. It introduces a superselection functor that assigns charged sectors to spacetime regions, proving covariance under spacetime embeddings and preserving quantum numbers, statistics, and conjugation. The key contribution is a mathematically rigorous, generally covariant formulation of superselection sectors in AQFT using functors and natural transformations.

ABSTRACT

In this review we report on how the problem of general covariance is treated within the algebraic approach to quantum field theory by use of concepts from category theory. Some new results on net cohomology and superselection structure attained in this framework are included.

Motivation & Objective

• To provide a generally covariant formulation of algebraic quantum field theory by extending the framework to include spacetime covariance.
• To address the foundational problem of general covariance in quantum field theory, rooted in Einstein's hole argument and the point-coincidence principle.
• To unify the description of superselection sectors across different spacetime backgrounds using functors and natural transformations.
• To establish a mathematically rigorous framework for charged sectors that transform consistently under spacetime embeddings.
• To generalize the DHR analysis of superselection sectors to a locally covariant setting using category theory and net cohomology.

Proposed method

• Formalizes locally covariant quantum field theories as covariant functors from the category of spacetimes (Loc) to the category of $C^*$-algebras.
• Introduces a superselection functor $\mathcal{S}_{\underline{\omega}}$ that assigns to each spacetime $\mathscr{M}$ the space of charged sectors via $\mathscr{Z}^{1}_{t}(\omega_{\mathscr{M}}, \mathscr{K}^{d}(\mathscr{M}))$.
• Defines the functor via composition of a flip map $\mathscr{F}$ and an embedding functor $\mathscr{E}^{\omega}_{\psi}$, ensuring compatibility with spacetime morphisms.
• Uses the notion of symmetric tensor $*$-functors to preserve algebraic and statistical structures of sectors under spacetime embeddings.
• Applies net cohomology and simplicial sets to analyze the topological structure of spacetime regions and their relation to superselection sectors.
• Establishes isomorphism between superselection functors for different state choices, ensuring physical consistency across reference states.

Experimental results

Research questions

• RQ1 How can general covariance be rigorously formulated in algebraic quantum field theory using category theory?
• RQ2 How do charged superselection sectors transform consistently across different spacetime regions under general covariance?
• RQ3 What is the role of the point-coincidence argument in ensuring physical observability and covariance in quantum field theory?
• RQ4 How can the DHR analysis of superselection sectors be generalized to a locally covariant framework?
• RQ5 What is the mathematical structure of the space of charged sectors in a generally covariant quantum field theory?

Key findings

• The superselection functor $\mathcal{S}_{\underline{\omega}}$ is a well-defined contravariant functor from the category of spacetimes to the category of symmetric tensor $*$-categories of sectors.
• The functor preserves the statistical parameters and quantum numbers of sectors: $\chi([z]) = \chi(\mathcal{S}_{\underline{\omega}}(\psi)([z]))$ and $d([z]) = d(\mathcal{S}_{\underline{\omega}}(\psi)([z]))$.
• The conjugate sector is preserved: $\mathcal{S}_{\underline{\omega}}(\psi)([\overline{z}]) = \overline{\mathcal{S}_{\underline{\omega}}(\psi)([z])}$, ensuring consistency with charge conservation.
• The superselection functors associated with different choices of reference states $\underline{\omega}$ and $\underline{\sigma}$ are isomorphic, ensuring physical independence of the state choice.
• The construction provides a mathematically rigorous, generally covariant formulation of superselection sectors in algebraic quantum field theory.
• The framework unifies the point-coincidence principle with the algebraic structure of AQFT, ensuring that physical predictions are independent of spacetime coordinate systems.