On the equivalence of AQFTs and prefactorization algebras

Abstract

This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are 1.) a structural implementation of the additivity property used in earlier approaches and 2.) a reduction of the global equivalence problem to a family of simpler spacetime-wise problems. When applied to the case where the target category is a symmetric monoidal $1$-category, this yields a generalization of the equivalence theorem from [Commun. Math. Phys. 377, 971 (2019)]. In the case where the target is the symmetric monoidal $\infty$-category of cochain complexes, we obtain a reduction of the global $\infty$-categorical equivalence problem to simpler, but still challenging, spacetime-wise problems. The latter would be solved by showing that certain functors between $1$-categories exhibit $\infty$-localizations, however the available detection criteria are inconclusive in our case.

arXiv commentv2: 45 pages. Final version accepted for publication in Letters in Mathematical Physics

References in corpus (17)

• The generally covariant locality principle -- A new paradigm for local quantum physics
• Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions
• Batalin-Vilkovisky formalism in perturbative algebraic quantum field theory
• Presentably symmetric monoidal infinity-categories are represented by symmetric monoidal model categories
• Homotopy theory of algebraic quantum field theories
• Homotopical Quantum Field Theory
• Operads for algebraic quantum field theory
• Linear Yang-Mills theory as a homotopy AQFT
• Higher Structures in Algebraic Quantum Field Theory
• Model-independent comparison between factorization algebras and algebraic quantum field theory on Lorentzian manifolds
• Left Bousfield localization without left properness
• Categorification of algebraic quantum field theories
• Algebraic field theory operads and linear quantization
• Quantization of Lorentzian free BV theories: factorization algebra vs algebraic quantum field theory
• Strictification theorems for the homotopy time-slice axiom
• Smith Ideals of Operadic Algebras in Monoidal Model Categories
• Lorentzian bordisms in algebraic quantum field theory