Spacetimes categories and disjointness for algebraic quantum field theory

Abstract

An algebraic quantum field theory (AQFT) may be expressed as a functor from a category of spacetimes to a category of algebras of observables. However, a generic category $\mathsf{C}$ whose objects admit interpretation as spacetimes is not necessarily viable as the domain of an AQFT functor; often, additional constraints on the morphisms of $\mathsf{C}$ must be imposed. We introduce disjointness relations, a generalisation of the orthogonality relations of Benini, Schenkel and Woike (arXiv:1709.08657). In any category $\mathsf{C}$ equipped with a disjointness relation, we identify a subcategory ${\mathsf{D}}_{\mathsf{C}}$ which is suitable as the domain of an AQFT. We verify that when $\mathsf{C}$ is the category of all globally hyperbolic spacetimes of dimension $d+1$ and all local isometries, equipped with the disjointness relation of spacelike separation, the specified subcategory ${\mathsf{D}}_{\mathsf{C}}$ is the commonly-used domain ${\mathsf{Loc}}_{d+1}$ of relativistic AQFTs. By identifying appropriate chiral disjointness relations, we construct a category $\chi \mathsf{Loc}$ suitable as domain for chiral conformal field theories (CFTs) in two dimensions. We compare this to an established AQFT formulation of chiral CFTs, and show that any chiral CFT expressed in the established formulation induces one defined on $\chi \mathsf{Loc}$.

arXiv commentv1: 53 pages. v2: 66 pages; added example to Section 4; minor edits for clarity and typo correction

References in corpus (12)

• The generally covariant locality principle -- A new paradigm for local quantum physics
• On smooth Cauchy hypersurfaces and Geroch's splitting theorem
• Globally hyperbolic spacetimes can be defined as "causal" instead of "strongly causal"
• Convex neighborhoods for Lipschitz connections and sprays
• Homotopy theory of algebraic quantum field theories
• Homotopical Quantum Field Theory
• Operads for algebraic quantum field theory
• Conformal generally covariant quantum field theory: The scalar field and its Wick products
• Higher Structures in Algebraic Quantum Field Theory
• Quantum field theories on categories fibered in groupoids
• Algebraic field theory operads and linear quantization
• A skeletal model for 2d conformal AQFTs

Cited by in corpus (2)

• Lorentzian bordisms in algebraic quantum field theory
• The linear CS/WZW bulk/boundary system in AQFT