Strictification theorems for the homotopy time-slice axiom
arXiv:2208.04344 · doi:10.1007/s11005-023-01647-1
Abstract
It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag-Kastler-type AQFTs on a fixed globally hyperbolic Lorentzian manifold (with or without time-like boundary), locally covariant conformal AQFTs in two spacetime dimensions, locally covariant AQFTs in one spacetime dimension, and the relative Cauchy evolution. The strictification theorems established in this paper prove that, under suitable hypotheses that hold true for the examples listed above, there exists a Quillen equivalence between the model category of AQFTs satisfying the homotopy time-slice axiom and the model category of AQFTs satisfying the usual strict time-slice axiom.
arXiv commentv2: 22 pages. Final version accepted for publication in Letters in Mathematical Physics
References in corpus (14)
- The generally covariant locality principle -- A new paradigm for local quantum physics
- Batalin-Vilkovisky formalism in perturbative algebraic quantum field theory
- Factorization homology of topological manifolds
- Batalin-Vilkovisky formalism in the functional approach to classical field theory
- Permutative categories, multicategories, and algebraic K-theory
- Homotopy theory of algebraic quantum field theories
- Bar constructions and Quillen homology of modules over operads
- Operads for algebraic quantum field theory
- Algebraic quantum field theory on spacetimes with timelike boundary
- Conformal generally covariant quantum field theory: The scalar field and its Wick products
- Linear Yang-Mills theory as a homotopy AQFT
- Higher Structures in Algebraic Quantum Field Theory
- A skeletal model for 2d conformal AQFTs
- Relative Cauchy evolution for linear homotopy AQFTs