Operads for algebraic quantum field theory
Marco Benini, Alexander Schenkel, Lukas Woike
September 25, 2017
We construct a colored operad whose category of algebras is canonically isomorphic to the category of algebraic quantum field theories. This is achieved by a construction that depends on the choice of a category, whose objects provide the operad colors, equipped with an additional structure that we call an orthogonality relation. This allows us to describe different types of quantum field theories, including theories on a fixed Lorentzian manifold, locally covariant theories and also chiral conformal and Euclidean theories. Moreover, because the colored operad depends functorially on the orthogonal category, we obtain adjunctions between categories of different types of quantum field theories. These include novel and physically very interesting constructions, such as time-slicification and local-to-global extensions of quantum field theories. We compare the latter to Fredenhagen's universal algebra.
Keywords:algebraic quantum field theory, locally covariant quantum field theory, colored operads, change of color adjunctions, Fredenhagen’s universal algebra