Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Algebraic Quantum Field Theory

Hans Halvorson, Michael Mueger

TL;DR

This survey articulates Algebraic Quantum Field Theory as a rigorous framework that encodes QFT in nets of local observables and operator algebraic structures. It connects foundational questions about locality, particles, and fields to deep mathematical tools such as modular theory, type III factors, and the Doplicher-Haag-Roberts analysis of superselection sectors, culminating in a category-theoretic reconstruction of fields and gauge groups. The work highlights key no-go and go-theorems for pointlike fields, clarifies the particle vs field dichotomy in relativistic settings, and shows how the DHR category Δ and its braided tensor structure illuminate the origin of charges, statistics, and gauge symmetries. Overall, the text frames inequivalent representations not as obstacles but as essential content that is organized by the Δ category, offering a principled path from local observables to the full field content of a quantum theory with locality baked in.

Abstract

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by S. Doplicher, R. Haag, and J. E. Roberts (DHR); and we give an alternative proof of Doplicher and Roberts' reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix.

Algebraic Quantum Field Theory

TL;DR

This survey articulates Algebraic Quantum Field Theory as a rigorous framework that encodes QFT in nets of local observables and operator algebraic structures. It connects foundational questions about locality, particles, and fields to deep mathematical tools such as modular theory, type III factors, and the Doplicher-Haag-Roberts analysis of superselection sectors, culminating in a category-theoretic reconstruction of fields and gauge groups. The work highlights key no-go and go-theorems for pointlike fields, clarifies the particle vs field dichotomy in relativistic settings, and shows how the DHR category Δ and its braided tensor structure illuminate the origin of charges, statistics, and gauge symmetries. Overall, the text frames inequivalent representations not as obstacles but as essential content that is organized by the Δ category, offering a principled path from local observables to the full field content of a quantum theory with locality baked in.

Abstract

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by S. Doplicher, R. Haag, and J. E. Roberts (DHR); and we give an alternative proof of Doplicher and Roberts' reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix.

Paper Structure

This paper contains 89 sections, 158 theorems, 409 equations, 1 table.

Table of Contents

  1. Algebraic Prolegomena
  2. von Neumann algebras
  3. $C^*$-algebras and their representations
  4. Type classification of von Neumann algebras
  5. Modular theory
  6. Structure of the Net of Observable Algebras
  7. Nets of algebras, basic properties
  8. Existence/uniqueness of vacuum states/representations
  9. The existence of translation-invariant states
  10. Only one vacuum per Hilbert space
  11. The Reeh-Schlieder Theorem
  12. The funnel property
  13. Type of local algebras
  14. Local algebras are properly infinite
  15. Local algebras are hyperfinite
  16. ...and 74 more sections

Key Result

Theorem 1.17

Let $\omega$ be a state of $\mathfrak{A}$. Then there is a representation $({\mathcal{H}} ,\pi )$ of $\mathfrak{A}$, and a unit vector $\Omega \in {\mathcal{H}}$ such that: Furthermore, the representation $({\mathcal{H}} ,\pi )$ is the unique one (up to unitarily equivalence) satisfying the two conditions.

Theorems & Definitions (485)

  • Definition 1.1
  • Definition 1.2
  • Definition 1.3
  • Definition 1.7
  • Definition 1.9
  • Definition 1.10
  • Definition 1.11
  • Definition 1.12
  • Definition 1.13
  • Definition 1.14
  • ...and 475 more