Abstract
We generalize the operadic approach to algebraic quantum field theory (arXiv:1709.08657) to a broader class of field theories whose observables on a spacetime are algebras over any singlecolored operad. A novel feature of our framework is that it gives rise to adjunctions between different types of field theories. As an interesting example, we study an adjunction whose left adjoint describes the quantization of linear field theories. We also analyze homotopical properties of the linear quantization adjunction for chain complex valued field theories, which leads to a homotopically meaningful quantization prescription for linear gauge theories.
Similar content being viewed by others
1 Introduction and summary
Algebraic quantum field theory is a wellestablished and successful framework to axiomatize and investigate quantum field theories on the Minkowski spacetime and also on more general Lorentzian manifolds, see e.g. [11, 25] for overviews. In this setting a theory is described by a functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) from a suitable category \(\mathbf {C}\) of spacetimes to the category of associative and unital algebras, which is required to satisfy some physically motivated axioms. For instance, in locally covariant algebraic quantum field theory [13, 18], \(\mathbf {C}=\mathbf {Loc}\) is the category of globally hyperbolic Lorentzian manifolds with morphisms given by causal isometric embeddings and the physical axioms are Einstein causality and the timeslice axiom. Einstein causality demands that any two observables, i.e. elements of the algebras assigned by \(\mathfrak {A}\), that are causally disjoint commute with each other, which encodes the idea that two measurements in causally disjoint spacetime regions do not influence each other. The timeslice axiom demands that the algebra maps \(\mathfrak {A}(f): \mathfrak {A}(M)\rightarrow \mathfrak {A}(M^\prime )\) associated with Cauchy morphisms, i.e. spacetime embeddings \(f:M\rightarrow M^\prime \) such that \(f(M)\subseteq M^\prime \) contains a Cauchy surface of \(M^\prime \), are isomorphisms, which encodes a concept of time evolution. The framework of algebraic quantum field theory can also be adapted to obtain a novel point of view on classical field theories, see e.g. [5, 12, 14, 22], where in contrast to associative and unital algebras one assigns Poisson algebras of classical observables to spacetimes. The classical analog of Einstein causality then demands that the Poisson bracket between any two causally disjoint observables is zero.
The aim of this paper is to develop an operadic framework that generalizes [8] to a very broad and flexible class of field theories, see Definition 3.3. This includes as special instances the various flavors of algebraic quantum field theory [11, 13, 18, 25] and their classical analogs [5, 12, 14, 22]. Our two main motivations for this work are as follows: (1) Describing field theories in terms of algebras over colored operads provides an excellent framework to discover and study universal constructions. This has already lead to a refinement of Fredenhagen’s universal algebra construction for quantum field theories [19,20,21, 31] in terms of a socalled operadic left Kan extension [8], which technically behaves better than the original construction as it respects the quantum field theory axioms. In this paper, we will show that the quantization of linear field theories may be expressed in terms of an operadic left Kan extension too, which allows us to understand and describe the interplay between quantization and other universal constructions. (2) Operadic techniques are particularly useful and powerful when working with chain complex valued field theories, e.g. gauge theories described in the BRST/BV formalism [22, 23, 29]. The reason for this is that chain complexes are naturally compared by quasiisomorphisms and hence one is only allowed to perform constructions that preserve quasiisomorphisms. Operad theory provides a huge toolbox to develop such constructions, which in technical language are called derived functors, see, e.g. [27, 28] and also [9] for applications to quantum field theory. In this paper, we apply these techniques to investigate homotopical properties of the linear quantization functor. A similar construction in the context of factorization algebras [15] has been recently investigated in [24]. As a simple example, we present a quantization of linear Chern–Simons theory on oriented surfaces that is compatible with quasiisomorphisms.
Let us now present a more detailed outline of the content of this paper. In Sect. 2, we shall fix our notations by recalling the necessary background material on colored operads and their algebras. In Sect. 3, we introduce our broad and flexible framework for field theories in Definition 3.3. A field theory is described by a functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_\mathcal {P}\) from a small category \(\mathbf {C}\) to the category of algebras over a singlecolored operad \(\mathcal {P}\), which is required to satisfy a suitable generalization of the Einstein causality axiom. (The timeslice axiom will be formalized via localization techniques in Sect. 4.2.) One should interpret \(\mathbf {C}\) as a category of spacetimes and \(\mathcal {P}\) as the operad controlling the algebraic structure of the observables on a fixed spacetime. For example, quantum field theories are obtained by choosing the associative operad \(\mathcal {P}=\mathsf {As}\) and classical field theories by choosing the Poisson operad \(\mathcal {P}= \mathsf {Pois}\). Linear field theories, which we describe in terms of Heisenberg Lie algebras of presymplectic vector spaces, are obtained by choosing the unital Lie operad \(\mathcal {P}= \mathsf {uLie}\). One of the key results of this section (see Theorem 3.12) is that such field theories are precisely the algebras over a colored operad that we denote by \(\mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}}\). This colored operad depends on two different kinds of input data, which control the spacetime category of interest and the type of field theory. More precisely, the first datum is an orthogonal category \(\overline{\mathbf {C}} = (\mathbf {C},\perp )\) (see Definition 3.1), and the second is a bipointed singlecolored operad \(\mathcal {P}^{(r_1,r_2)} = (\mathcal {P}, r_1,r_2 : I[2]\rightrightarrows \mathcal {P})\) (see Definition 3.14). The orthogonality relation \(\perp \) and the two pointings \(r_1,r_2\) are required to formalize a suitable generalization of the Einstein causality axiom. We prove that the assignment \((\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}) \mapsto \mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}}\) of field theory operads is in a suitable sense functorial.
In Sect. 4, we harness this functorial behavior in order to study adjunctions between the categories of field theories corresponding to different \(\overline{\mathbf {C}}\) and \(\mathcal {P}^{(r_1,r_2)}\). This includes generalizations of the timeslicification and localtoglobal adjunctions from [8], which have already found interesting applications to quantum field theory on spacetimes with boundaries [4]. A novel feature of our framework, which is not captured by [8], is a second kind of functorial assignment \(\mathcal {P}^{(r_1,r_2)} \mapsto \mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}}\) of our colored operads to bipointed singlecolored operads. This results in adjunctions between the categories of field theories of different types. We shall investigate in detail the interplay of such adjunctions with the timeslice axiom and localtoglobal property of field theories. A particularly interesting example, which we study in detail in Sect. 5, is given by an adjunction whose left adjoint describes the quantization of linear field theories.
In Sect. 6, we extend our results to the case of \(\mathbf {Ch}(\mathbb {K})\)valued field theories, i.e. gauge theories, by using techniques from model category theory [17, 30]. Our reformulation in Sect. 5 of the usual quantization of linear field theories in terms of (the left adjoint of) an adjunction is very valuable for studying the quantization of linear gauge theories. In particular, it allows us to construct a derived linear quantization functor which provides a homotopically meaningful quantization prescription for linear gauge theories in the sense that it maps weakly equivalent linear gauge theories to weakly equivalent quantum gauge theories. A deeper homotopical study of the building blocks of the derived linear quantization functor (see Appendix A) reveals that it can be modeled (up to a natural weak equivalence) by the underived linear quantization functor. From a computational point of view, this is a very pleasing result because it allows us to write down explicit formulas for the quantization of linear gauge theories. This will be illustrated by studying linear Chern–Simons theory on oriented surfaces. We conclude by analyzing in some detail the interplay between our (derived) linear quantization functor and suitable homotopical generalizations of the timeslice axiom and localtoglobal property of gauge theories.
2 Preliminaries
Throughout this paper we fix a closed symmetric monoidal category \(\mathbf {M}\), which we further assume to be complete and cocomplete, i.e. all small limits and colimits exist in \(\mathbf {M}\). The monoidal product is denoted by \(\otimes : \mathbf {M}\times \mathbf {M}\rightarrow \mathbf {M}\), the monoidal unit by \(I\in \mathbf {M}\) and the internal hom by \([,]: \mathbf {M}^\text {op}\times \mathbf {M}\rightarrow \mathbf {M}\), where \(()^\text {op}\) denotes the opposite category. The symmetric braiding is denoted by \(\tau : m\otimes m^\prime \rightarrow m^\prime \otimes m\), for all \(m,m^\prime \in \mathbf {M}\). We shall always suppress the associator and unitors and in particular simply write \(m_1\otimes \cdots \otimes m_n\) for multiple tensor products of objects \(m_1,\ldots ,m_n\in \mathbf {M}\). Because \(\mathbf {M}\) is by assumption cocomplete, there exists a \(\mathbf {Set}\)tensoring \(\otimes :\mathbf {Set}\times \mathbf {M}\rightarrow \mathbf {M}\), which we denote with abuse of notation by the same symbol as the monoidal product. Explicitly, for any set \(S\in \mathbf {Set}\) and \(m\in \mathbf {M}\), we define
where \(\coprod \) is the coproduct in \(\mathbf {M}\).
Example 2.1
A simple example of a bicomplete closed symmetric monoidal category is the Cartesian closed category \(\mathbf {Set}\) of sets. Here \(\otimes = \times \) is the Cartesian product, \(I =\{*\}\) is any singleton set and \([S,T] = \text {Map}(S,T)\) is the set of maps from S to T. The symmetric braiding is given by the flip map \(\tau : S\times T\rightarrow T\times S\,,~(s,t)\mapsto (t,s)\).
Example 2.2
Another standard example of a bicomplete closed symmetric monoidal category is the category \(\mathbf {Vec}_\mathbb {K}\) of vector spaces over a field \(\mathbb {K}\). Here \(\otimes \) is the usual tensor product of vector spaces, \(I=\mathbb {K}\) is the 1dimensional vector space and \([V,W] = \text {Hom}_\mathbb {K}(V,W)\) is the vector space of linear maps from V to W. The symmetric braiding is given by the flip map \(\tau : V\otimes W \rightarrow W\otimes V\,,~ v\otimes w\mapsto w\otimes v\).
2.1 Colored operads
We provide a brief review of those aspects of the theory of colored operads that are relevant for this work. We refer to [8, 10, 34] for a more detailed presentation.
Let \(\mathfrak {C}\in \mathbf {Set}\) be a nonempty set, which we shall call the ‘set of colors’. We will use the notation \(\underline{c} {:=} (c_1, \ldots ,c_n) \in \mathfrak {C}^{n}\) for elements of the nfold product set.
Definition 2.3
A \(\mathfrak {C}\)colored operad\(\mathcal {O}\) with values in \(\mathbf {M}\) is given by the following data:

for each \(n\ge 0\) and \((\underline{c},t) \in \mathfrak {C}^{n+1}\), an object \(\mathcal {O}\big (\begin{array}{c} t \\ \underline{c} \end{array}\big )\in \mathbf {M}\) (called the object of operations from \(\underline{c}\) to t);

for each \(n\ge 0\), \((\underline{c},t) \in \mathfrak {C}^{n+1}\) and permutation \(\sigma \in \Sigma _n\), an \(\mathbf {M}\)morphism \(\mathcal {O}(\sigma ):\,\mathcal {O}\big (\begin{array}{c} t \\ \underline{c} \end{array}\big ) {\rightarrow } \mathcal {O}\big (\begin{array}{c} t\\ \underline{c}\sigma \end{array}\big )\) (called the permutation action), where \(\underline{c} \sigma {:=}\, (c_{\sigma (1)},\ldots ,c_{\sigma (n)})\);

for each \(n>0\), \(k_1,\ldots ,k_n \ge 0\), \((\underline{a},t)\in \mathfrak {C}^{n+1}\) and \((\underline{b}_i,a_i)\in \mathfrak {C}^{k_i+1}\), for \(i=1,\ldots ,n\), an \(\mathbf {M}\)morphism (called the operadic composition), where \(\underline{b} := (\underline{b}_1,\ldots ,\underline{b}_n)\) is defined by concatenation;

for each \(c\in \mathfrak {C}\), an \(\mathbf {M}\)morphism \(\mathbb {1}: I\rightarrow \mathcal {O}\big (\begin{array}{c} c\\ c \end{array}\big )\) (called the operadic unit).
These data are required to satisfy the standard permutation action, equivariance, associativity, and unitality axioms, see e.g. [34, Definition 11.2.1]. A morphism \(\phi : \mathcal {O}\rightarrow \mathcal {P}\) between two \(\mathfrak {C}\)colored operads \(\mathcal {O}\) and \(\mathcal {P}\) with values in \(\mathbf {M}\) is a family of \(\mathbf {M}\)morphisms
for all \(n\ge 0\) and \((\underline{c},t)\in \mathfrak {C}^{n+1}\), that is compatible with the permutation actions \(\phi \, \mathcal {O}(\sigma ) = \mathcal {P}(\sigma )\,\phi \), the operadic compositions and the operadic units \(\phi \,\mathbb {1}^\mathcal {O}= \mathbb {1}^\mathcal {P}\). We denote the category of\(\mathfrak {C}\)colored operads with values in \(\mathbf {M}\) by \(\mathbf {Op}_\mathfrak {C}(\mathbf {M})\).
Colored operads generalize the concept of (enriched) categories in the following sense. In contrast to allowing only for 1to1 operations, such as the morphisms \(\mathbf {C}(c,c^\prime )\) in a category \(\mathbf {C}\), colored operads also describe nto1 operations in terms of the objects of operations \(\mathcal {O}\big (\begin{array}{c} t \\ \underline{c} \end{array}\big )\). The operadic composition generalizes the usual categorical composition to operations of higher arity and the operadic unit is analogous to the identity morphisms in a category. Permutation actions are a new feature for operations of arity \(\ge 2\) and they have no analog in ordinary category theory. The following example clarifies how every category defines a colored operad with only 1ary operations.
Example 2.4
Let \(\mathbf {C}\) be a small category and denote its set of objects by \(\mathbf {C}_0\). The following construction defines a \(\mathbf {C}_0\)colored operad \(\text {Diag}_\mathbf {C}\in \mathbf {Op}_{\mathbf {C}_0}(\mathbf {Set})\) with values in \(\mathbf {M}=\mathbf {Set}\), which is called the diagram operad of \(\mathbf {C}\), see e.g. [10]. For \((\underline{c},t)\in \mathbf {C}_0^{n+1}\), one defines the set of operations by
The permutation action is uniquely fixed because \(\Sigma _1 = \{e\}\) is the trivial group. The only nontrivial operadic compositions are \(\gamma : \text {Diag}_{\mathbf {C}}\big (\begin{array}{c} t \\ a \end{array}\big ) \times \text {Diag}_{\mathbf {C}}\big (\begin{array}{c} a \\ b \end{array}\big ) \rightarrow \text {Diag}_{\mathbf {C}}\big (\begin{array}{c} t \\ b \end{array}\big )\) and they are given by composition of morphisms in the category \(\mathbf {C}\). Finally, the operadic unit \(\mathbb {1}: \{*\} \rightarrow \text {Diag}_{\mathbf {C}}\big (\begin{array}{c} c \\ c \end{array}\big )\) is given by the identity morphisms in the category \(\mathbf {C}\). One confirms that this defines a colored operad in the sense of Definition 2.3.
Many interesting examples of (colored) operads can be conveniently defined in terms of generators and relations, see e.g. the examples below. Let us briefly explain how this construction works. We denote by \(\mathbf {Seq}_\mathfrak {C}(\mathbf {M})\) the category of \(\mathfrak {C}\)colored (nonsymmetric) sequences with values in \(\mathbf {M}\). An object \(X\in \mathbf {Seq}_\mathfrak {C}(\mathbf {M})\) is a family of objects \(X\big (\begin{array}{c} t \\ \underline{c} \end{array}\big )\in \mathbf {M}\), for all \(n\ge 0\) and \((\underline{c},t) \in \mathfrak {C}^{n+1}\), and a \(\mathbf {Seq}_\mathfrak {C}(\mathbf {M})\)morphism \(f : X\rightarrow Y\) is a family of \(\mathbf {M}\)morphisms \(f: X\big (\begin{array}{c} t \\ \underline{c} \end{array}\big )\rightarrow Y\big (\begin{array}{c} t \\ \underline{c} \end{array}\big )\), for all \(n\ge 0\) and \((\underline{c},t) \in \mathfrak {C}^{n+1}\). There exists a forgetful functor \(U : \mathbf {Op}_\mathfrak {C}(\mathbf {M})\rightarrow \mathbf {Seq}_\mathfrak {C}(\mathbf {M})\) that forgets the permutation action, operadic composition and operadic unit of a \(\mathfrak {C}\)colored operad. This functor has a left adjoint which is called the free\(\mathfrak {C}\)colored operad functor, i.e. we have an adjunction
Given any choice of generators \(G\in \mathbf {Seq}_\mathfrak {C}(\mathbf {M})\), we consider the corresponding free \(\mathfrak {C}\)colored operad \(F(G)\in \mathbf {Op}_\mathfrak {C}(\mathbf {M})\). In order to implement relations, we consider \(R\in \mathbf {Seq}_\mathfrak {C}(\mathbf {M})\) together with two parallel \(\mathbf {Seq}_\mathfrak {C}(\mathbf {M})\)morphisms \(r_1,r_2 : R \rightrightarrows U F (G)\). Note that because (2.4) is an adjunction, the latter is equivalent to two parallel \(\mathbf {Op}_\mathfrak {C}(\mathbf {M})\)morphisms \(r_1,r_2 : F(R) \rightrightarrows F(G)\), which we denote with abuse of notation by the same symbols. Because the category \(\mathbf {Op}_\mathfrak {C}(\mathbf {M})\) is cocomplete, the following construction defines a \(\mathfrak {C}\)colored operad.
Definition 2.5
The \(\mathfrak {C}\)colored operad presented by the generators \(G\in \mathbf {Seq}_\mathfrak {C}(\mathbf {M})\) and relations \(r_1,r_2 : R \rightrightarrows UF(G)\) is defined as the coequalizer
in \(\mathbf {Op}_\mathfrak {C}(\mathbf {M})\).
Example 2.6
Consider for the moment \(\mathbf {M}= \mathbf {Set}\). The associative operad\(\mathsf {As}\in \mathbf {Op}_{\{*\}}(\mathbf {Set})\) is the singlecolored operad (i.e. \(\mathfrak {C}= \{*\}\) is a singleton) presented by the following generators and relations: We define the set of generators of arity n by
for all \(n\ge 0\). The generator \(\mu \) in arity 2 is interpreted as a multiplication operation and the generator \(\eta \) in arity 0 as a unit element. To implement associativity and left/right unitality of these operations, we consider
for all \(n\ge 0\), together with the two \(\mathbf {Seq}_{\{*\}}(\mathbf {Set})\)morphisms \(r_1,r_2 : R\rightarrow UF(G)\) defined by
where the operadic composition and unit are those of the free operad F(G). The associative operad \(\mathsf {As}:= F(G)/(r_1=r_2)\in \mathbf {Op}_{\{*\}}(\mathbf {Set})\) is defined as the corresponding coequalizer.
It is instructive and useful to visualize the generators and relations in terms of rooted trees. The generators are depicted by
and the relations (in the order they appear in (2.8)) then read as
Let us note that the associative operad can be defined in any bicomplete closed symmetric monoidal category \(\mathbf {M}\). Using the \(\mathbf {Set}\)tensoring (2.1) and the unit object \(I\in \mathbf {M}\), we define generators \(G\otimes I\in \mathbf {Seq}_{\{*\}}(\mathbf {M})\) and relations \(r_1\otimes I, r_2\otimes I : R\otimes I \rightarrow UF(G)\otimes I \cong UF(G\otimes I)\) in the category of \(\mathbf {M}\)valued sequences \(\mathbf {Seq}_{\{*\}}(\mathbf {M})\). The corresponding coequalizer then defines the \(\mathbf {M}\)valued associative operad \(\mathsf {As}:= F(G\otimes I)/ ( r_1\otimes I=r_2\otimes I)\in \mathbf {Op}_{\{*\}}(\mathbf {M})\).
Example 2.7
Consider for the moment \(\mathbf {M}= \mathbf {Vec}_\mathbb {K}\). The Lie operad\(\mathsf {Lie}\in \mathbf {Op}_{\{*\}}(\mathbf {Vec}_\mathbb {K})\) is the singlecolored operad presented by the following generators and relations: There is only one generator of arity 2, the Lie bracket, that we depict by
The relations are given by antisymmetry and the Jacobi identity
where the numbers below the trees indicate input permutations.
Note that for defining the Lie relations we had to use the natural Abelian group structure on the \(\text {Hom}\)sets of \(\mathbf {Vec}_\mathbb {K}\), i.e. addition of linear maps between vector spaces. Hence, the Lie operad can not be defined in a generic bicomplete closed symmetric monoidal category \(\mathbf {M}\). If, however, \(\mathbf {M}\) is an additive category, then one can define the Lie operad \(\mathsf {Lie}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) with values in \(\mathbf {M}\) along the same lines as above.
Example 2.8
As in Example 2.7, let us assume that \(\mathbf {M}\) is additive. The Poisson operad\(\mathsf {Pois}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) is the singlecolored operad presented by the following generators and relations: The generators are
where \(\{\cdot ,\cdot \}\) denotes the Poisson bracket. The generators \(\mu \) and \(\eta \) satisfy the relations of the associative operad (2.9) and the generator \(\{\cdot ,\cdot \}\) the relations of the Lie operad (2.10). We further demand the relations
which express that \(\mu \) is commutative and that \(\{\cdot ,\cdot \}\) is a derivation in the right entry (and hence by antisymmetry also a derivation in the left entry). Computing the operadic composition of the derivation relation with \(\mathbb {1}\otimes \eta \otimes \eta \) implies that
i.e. the Poisson bracket of the unit element is zero.
Example 2.9
This example will play a role in the formalization of linear field theories; see Example 3.8. Let \(\mathbf {M}\) be additive. The unital Lie operad\(\mathsf {uLie} \in \mathbf {Op}_{\{*\}}(\mathbf {M})\) is the singlecolored operad obtained by adding to the Lie operad from Example 2.7 a new generator of arity 0, i.e. we have two generators
In addition to the antisymmetry and Jacobi identity relations (2.10) for \([\cdot ,\cdot ]\), we demand the compatibility relation
between the Lie bracket and the unit.
We shall often require a generalization of the concept of colored operad morphisms from Definition 2.3 to morphisms that do not necessarily preserve the underlying sets of colors. As a preparation for the relevant definition, note that for every \(\mathfrak {D}\)colored operad \(\mathcal {P}\in \mathbf {Op}_{\mathfrak {D}}(\mathbf {M})\) and every map of sets \(f : \mathfrak {C}\rightarrow \mathfrak {D}\), one may define the pullback\(\mathfrak {C}\)colored operad\(f^*(\mathcal {P})\in \mathbf {Op}_\mathfrak {C}(\mathbf {M})\). Concretely, it is defined by setting \(f^*(\mathcal {P})\big (\begin{array}{c} t \\ \underline{c} \end{array}\big ) := \mathcal {P}\big (\begin{array}{c} f(t)\\ f(\underline{c}) \end{array}\big )\), for all \(n\ge 0\) and \((\underline{c},t)\in \mathfrak {C}^{n+1}\), and restricting the permutation action, operadic composition and operadic unit in the evident way.
Definition 2.10
The category \(\mathbf {Op}(\mathbf {M})\) of operads with varying colors with values in \(\mathbf {M}\) has as objects all pairs \((\mathfrak {C},\mathcal {O})\) consisting of a nonempty set \(\mathfrak {C}\) and a \(\mathfrak {C}\)colored operad \(\mathcal {O}\in \mathbf {Op}_\mathfrak {C}(\mathbf {M})\). A morphism is a pair \((f,\phi ) : (\mathfrak {C},\mathcal {O})\rightarrow (\mathfrak {D},\mathcal {P})\) consisting of a map of sets \(f : \mathfrak {C}\rightarrow \mathfrak {D}\) and an \(\mathbf {Op}_\mathfrak {C}(\mathbf {M})\)morphism \(\phi : \mathcal {O}\rightarrow f^*(\mathcal {P})\) to the pullback \(\mathfrak {C}\)colored operad.
2.2 Algebras over colored operads
We have seen above that a colored operad \(\mathcal {O}\) describes abstract nto1 operations, for all \(n\ge 0\), together with a composition law \(\gamma \), specified identities \(\mathbb {1}\) and a permutation action \(\mathcal {O}(\sigma )\) that allows us to permute the inputs of operations. Forming concrete realizations/representations of these abstract operations leads to the concept of algebras over colored operads.
Definition 2.11
An algebraAover a\(\mathfrak {C}\)colored operad\(\mathcal {O}\in \mathbf {Op}_{\mathfrak {C}}(\mathbf {M})\), or shorter an \(\mathcal {O}\)algebra, is given by the following data:

for each \(c\in \mathfrak {C}\), an object \(A_c\in \mathbf {M}\);

for each \(n\ge 0\) and \((\underline{c},t)\in \mathfrak {C}^{n+1}\), an \(\mathbf {M}\)morphism \(\alpha : \mathcal {O}\big (\begin{array}{c} t \\ \underline{c} \end{array}\big )\otimes A_{\underline{c}} \rightarrow A_t\) (called \(\mathcal {O}\)action), where \(A_{\underline{c}} := \bigotimes _{i=1}^n A_{c_i}\) with the convention that \(A_\emptyset =I\) for \(n=0\).
This data is required to satisfy the standard associativity, unity and equivariance axioms, see e.g. [34, Definition 13.2.3]. A morphism \(\kappa : A\rightarrow B\) between two \(\mathcal {O}\)algebras A and B is a family of \(\mathbf {M}\)morphisms \(\kappa : A_c\rightarrow B_c\), for all \(c\in \mathfrak {C}\), that is compatible with the \(\mathcal {O}\)actions, i.e. . We denote the category of \(\mathcal {O}\)algebras by \(\mathbf {Alg}_{\mathcal {O}}\).
Example 2.12
Consider the diagram operad \(\text {Diag}_{\mathbf {C}}\in \mathbf {Op}_{\mathbf {C}_0}(\mathbf {Set})\) from Example 2.4. A \(\text {Diag}_{\mathbf {C}}\)algebra is a family of sets \(A_c\in \mathbf {Set}\), for all objects \(c\in \mathbf {C}_0\) in the category \(\mathbf {C}\), together with maps \(\alpha : \text {Diag}_{\mathbf {C}}\big (\begin{array}{c} t\\ c \end{array}\big ) \times A_c\rightarrow A_t\), for all \(c,t\in \mathbf {C}_0\). (Here we already used that \(\text {Diag}_{\mathbf {C}}\) only contains 1ary operations.) Because \(\text {Diag}_{\mathbf {C}}\big (\begin{array}{c} t\\ c \end{array}\big ) = \mathbf {C}(c,t)\) is the \(\text {Hom}\)set, the latter data is equivalent to specifying for each \(\mathbf {C}\)morphism \(f:c\rightarrow t\) a map of sets \(A(f):= \alpha (f,) : A_c\rightarrow A_t\). The axioms for \(\mathcal {O}\)algebras imply that \(A(g\,f) = A(g) \, A(f)\), for all composable \(\mathbf {C}\)morphism, and \(A(\text {id}) = \text {id}\) for the identities. Hence, a \(\text {Diag}_{\mathbf {C}}\)algebra is precisely a functor \(\mathbf {C}\rightarrow \mathbf {Set}\), i.e. a diagram of shape \(\mathbf {C}\). One observes that morphisms between \(\text {Diag}_\mathbf {C}\)algebras are precisely natural transformations between the corresponding functors.
Example 2.13
Consider for the moment \(\mathbf {M}=\mathbf {Set}\) and the associative operad \(\mathsf {As}\in \mathbf {Op}_{\{*\}}(\mathbf {Set})\) from Example 2.6. An \(\mathsf {As}\)algebra is a single set \(A = A_*\in \mathbf {Set}\) together with an \(\mathsf {As}\)action. The latter is equivalent to providing a family of maps \(\alpha : \mathsf {As}(n) \rightarrow \text {Map}(A^{\times n},A)\), for all \(n\ge 0\), which define an \(\mathbf {Op}_{\{*\}}(\mathbf {Set})\)morphism to the endomorphism operad \(\text {End}(A)\), see e.g. [34, Definition 13.8.1]. Because \(\mathsf {As}\) is presented by generators and relations (see Example 2.6), this is equivalent to defining \(\alpha \) on the generators such that the relations hold true. This yields two maps \(\mu _A := \alpha (\mu ) : A\times A\rightarrow A\) and \(\eta _A:=\alpha (\eta ) : \{*\} \rightarrow A\), which because of the relations have to satisfy the axioms of an associative and unital algebra in \(\mathbf {Set}\). One finds that morphisms of \(\text {As}\)algebras are precisely morphisms of associative and unital algebras.
For a general bicomplete closed symmetric monoidal category \(\mathbf {M}\), one obtains that the category \(\mathbf {Alg}_{\mathsf {As}}\) of algebras over \(\mathsf {As}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) is the category of associative and unital algebras in \(\mathbf {M}\). In particular, for \(\mathbf {M}=\mathbf {Vec}_\mathbb {K}\), this is the category of associative and unital \(\mathbb {K}\)algebras.
Example 2.14
A similar argument as in Example 2.13 shows that the category \(\mathbf {Alg}_{\mathsf {Lie}}\) of algebras over the Lie operad \(\mathsf {Lie}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) (see Example 2.7) is the category of Lie algebras in \(\mathbf {M}\) and that the category \(\mathbf {Alg}_{\mathsf {Pois}}\) of algebras over the Poisson operad \(\mathsf {Pois}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) (see Example 2.8) is the category of Poisson algebras in \(\mathbf {M}\).
Given an \(\mathbf {Op}(\mathbf {M})\)morphism \((f,\phi ): (\mathfrak {C},\mathcal {O})\rightarrow (\mathfrak {D},\mathcal {P})\) in the sense of Definition 2.10, one may define a pullback functor \((f,\phi )^*: \mathbf {Alg}_{\mathcal {P}}\rightarrow \mathbf {Alg}_{\mathcal {O}}\) between the corresponding categories of algebras. The pullback of \(A\in \mathbf {Alg}_{\mathcal {P}}\) is the \(\mathcal {O}\)algebra defined by \(((f,\phi )^*A)_c := A_{f(c)}\in \mathbf {M}\), for all \(c\in \mathfrak {C}\), together with the \(\mathcal {O}\)action
Theorem 2.15
For any \(\mathbf {Op}(\mathbf {M})\)morphism \((f,\phi ): (\mathfrak {C},\mathcal {O})\rightarrow (\mathfrak {D},\mathcal {P})\), the pullback functor \((f,\phi )^*: \mathbf {Alg}_{\mathcal {P}}\rightarrow \mathbf {Alg}_{\mathcal {O}}\) has a left adjoint, which is called operadic left Kan extension. We denote the corresponding adjunction by
Example 2.16
Every functor \(F: \mathbf {C}\rightarrow \mathbf {D}\) defines an evident \(\mathbf {Op}(\mathbf {Set})\)morphism \((F_0, F) : (\mathbf {C}_0,\text {Diag}_\mathbf {C})\rightarrow (\mathbf {D}_0,\text {Diag}_\mathbf {D})\) between the corresponding diagram operads (see Example 2.4). Recalling from Example 2.12 that \(\mathbf {Alg}_{\text {Diag}_\mathbf {C}}\cong \mathbf {Set}^\mathbf {C}\) is the category of functors from \(\mathbf {C}\) to \(\mathbf {Set}\) (and similarly that \(\mathbf {Alg}_{\text {Diag}_\mathbf {D}}\cong \mathbf {Set}^\mathbf {D}\)), one shows that the pullback functor \((F_0,F)^*\) is the usual pullback functor \(F^*:=()\circ F : \mathbf {Set}^\mathbf {D}\rightarrow \mathbf {Set}^\mathbf {C}\) for functor categories. Its left adjoint \((F_0,F)_!\) is therefore the ordinary categorical left Kan extension \({\text {Lan}}_F : \mathbf {Set}^\mathbf {C}\rightarrow \mathbf {Set}^\mathbf {D}\).
3 Field theory operads
3.1 Orthogonal categories and field theories
Let us briefly recall the basic idea of algebraic quantum field theory, see e.g. [11, 13, 18, 25] for more details. Broadly speaking, a field theory in this setting is a functor from a suitable category of spacetimes to a category of algebraic structures of interest that satisfies a list of physically motivated axioms. The prime example is given by functors \(\mathfrak {A}: \mathbf {Loc}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) from the category \(\mathbf {Loc}\) of globally hyperbolic Lorentzian manifolds to the category of associative and unital algebras that satisfy the Einstein causality axiom. The latter is a property of the functor \(\mathfrak {A}: \mathbf {Loc}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) which demands that for every pair \((f_1 : M_1 \rightarrow M, f_2: M_2 \rightarrow M)\) of \(\mathbf {Loc}\)morphisms whose images are causally disjoint in M the diagram
commutes, where \(\mu _M^{(\text {op})}\) denotes the (opposite) multiplication on \(\mathfrak {A}(M)\). Another important physical example is given by functors \(\mathfrak {A}: \mathbf {Loc}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) that satisfy the timeslice axiom in addition to the Einstein causality axiom. Such theories will be formalized later in Sect. 4.2 via localization techniques.
For the purpose of this paper, we consider the following generalization of quantum field theories satisfying the Einstein causality axiom. (Examples which justify this generalization are presented at the end of this subsection.) Let \(\mathbf {C}\) be a small category which we interpret as a category of spacetimes. Instead of associative and unital algebras, let us take any singlecolored operad \(\mathcal {P}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) and consider the functor category \({\mathbf {Alg}_{\mathcal {P}}}^\mathbf {C}\). An object in this category is a functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathcal {P}}\), i.e. an assignment of \(\mathcal {P}\)algebras to spacetimes, and the morphisms are natural transformations between such functors. To encode physical axioms which generalize the Einstein causality axiom above, we recall the concept of orthogonal categories from [8].
Definition 3.1
An orthogonal category is a pair \(\overline{\mathbf {C}} := (\mathbf {C}, \perp )\) consisting of a small category \(\mathbf {C}\) and a subset \(\perp \subseteq \text {Mor}\,\mathbf {C}\, {}_{\text {t}}{\times }_{\text {t}}\,\text {Mor}\,\mathbf {C}\) of the set of pairs of morphisms with a common target, which satisfies the following properties:

(i)
Symmetry: If \((f_1,f_2)\in \perp \), then \((f_2,f_1)\in \perp \).

(ii)
Stability under compositions: If \((f_1,f_2)\in \perp \), then \((g\, f_1\, h_1 ,g\, f_2\, h_2) \in \perp \) for all composable \(\mathbf {C}\)morphisms g, \(h_1\) and \(h_2\).
We shall also write \(f_1\perp f_2\) for elements \((f_1,f_2)\in \perp \). An orthogonal functor\(F : \overline{\mathbf {C}}\rightarrow \overline{\mathbf {D}}\) is a functor \(F : \mathbf {C}\rightarrow \mathbf {D}\) that preserves orthogonality, i.e. if \(f_1\perp _\mathbf {C}f_2\) then \(F(f_1)\perp _\mathbf {D}F(f_2)\). We denote by \(\mathbf {OrthCat}\) the category of orthogonal categories and orthogonal functors.
Example 3.2
Let \(\mathbf {Loc}\) be any small category that is equivalent to the usual category of oriented, timeoriented and globally hyperbolic Lorentzian spacetimes of a fixed dimension \(\ge 2\), see [13, 18]. We define \(\perp _\mathbf {Loc}\) as the subset of all pairs \((f_1 : M_1\rightarrow M, f_2: M_2\rightarrow M)\) of causally disjoint \(\mathbf {Loc}\)morphisms, i.e. pairs of morphisms such that the images \(f_1(M_1)\) and \(f_2(M_2)\) are causally disjoint subsets in M. The pair \(\overline{\mathbf {Loc}} := (\mathbf {Loc},\perp _{\mathbf {Loc}})\) defines an orthogonal category.
Let us now consider a parallel pair of \(\mathbf {Seq}_{\{*\}}(\mathbf {M})\)morphisms \(r_1,r_2 : I[2] \rightrightarrows U(\mathcal {P})\), where \(I[2]\in \mathbf {Seq}_{\{*\}}(\mathbf {M})\) is defined by
for all \(n\ge 0\). This means that each \(r_i\) picks out an operation of arity 2 in \(\mathcal {P}\). For simplifying notation, we shall write
and we call \(\mathcal {P}^{(r_1,r_2)}\) an (arity 2) bipointed singlecolored operad.
Definition 3.3
A field theory of type\(\mathcal {P}^{(r_1,r_2)}\)on\(\overline{\mathbf {C}}\) is a functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathcal {P}}\) that satisfies the following property: For all \((f_1 : c_1\rightarrow c)\perp (f_2:c_2\rightarrow c)\), the diagram
in \(\mathbf {M}\) commutes, where \(\alpha ^\mathcal {P}_c \) denotes the \(\mathcal {P}\)action on \(\mathfrak {A}(c) \in \mathbf {Alg}_\mathcal {P}\) (see Definition 2.11). The category of field theories of type\(\mathcal {P}^{(r_1,r_2)}\)on\(\overline{\mathbf {C}}\) is defined as the full subcategory
whose objects are all functors \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathcal {P}}\) satisfying (3.4).
Remark 3.4
Our concept of field theories in Definition 3.3 is based on the idea that there exist two distinguished arity 2 operations in \(\mathcal {P}\), which act in the same way when precomposed with an orthogonal pair \(f_1 \perp f_2\) of \(\mathbf {C}\)morphisms. There exists an obvious generalization of this scenario to nary operations in \(\mathcal {P}\) and orthogonal ntuples of \(\mathbf {C}\)morphisms. We however decided not to introduce this more general framework for field theories, because all examples of interest to us are field theories in the sense of Definition 3.3.
Example 3.5
(Quantum field theories) Consider the associative operad \(\mathsf {As}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) from Example 2.6 and the two \(\mathbf {Seq}_{\{*\}}(\mathbf {M})\)morphisms \(\mu ,\mu ^\text {op}: I[2] \rightrightarrows U(\mathsf {As})\) which select the multiplication and opposite multiplication operations. A field theory of type \(\mathsf {As}^{(\mu ,\mu ^\text {op})}\) on \(\overline{\mathbf {C}}\) is a functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) to the category of associative and unital algebras which satisfies the analog of (3.1). For \(\overline{\mathbf {C}} = \overline{\mathbf {Loc}}\) (see Example 3.2), this is a locally covariant quantum field theory [13, 18] that satisfies the Einstein causality axiom but not necessarily the timeslice axiom. The timeslice axiom will be discussed in Sect. 4.2.
Remark 3.6
If \(\mathbf {M}\) is additive, there exists an alternative but equivalent formalization of the type of field theories from Example 3.5. Consider the associative operad \(\mathsf {As}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) and the two \(\mathbf {Seq}_{\{*\}}(\mathbf {M})\)morphisms \([\cdot ,\cdot ],0 : I[2] \rightrightarrows U(\mathsf {As})\) which select the commutator \([\cdot ,\cdot ]= \mu \mu ^\text {op}\) and the zerooperation (of arity 2). A field theory of type \(\mathsf {As}^{([\cdot ,\cdot ],0)}\) on \(\overline{\mathbf {C}}\) is a functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) to the category of associative and unital algebras which satisfies the property that
is the zeromap, for all \((f_1:c_1\rightarrow c ) \perp (f_2:c_2\rightarrow c)\). (Here \([\cdot ,\cdot ]_c = \mu _c  \mu _c^\text {op}\) denotes the commutator on \(\mathfrak {A}(c)\).) This is equivalent to our description in Example 3.5, i.e.
This observation will be useful in Sect. 5 when we study the linear quantization adjunction.
Example 3.7
(Classical field theories) Let \(\mathbf {M}\) be additive. Consider the Poisson operad \(\mathsf {Pois}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) from Example 2.8 and the two \(\mathbf {Seq}_{\{*\}}(\mathbf {M})\)morphisms \(\{\cdot ,\cdot \},0 : I[2] \rightrightarrows U(\mathsf {Pois})\) which select the Poisson bracket and the zerooperation. A field theory of type \(\mathsf {Pois}^{(\{\cdot ,\cdot \},0)}\) on \(\overline{\mathbf {C}}\) is a functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {Pois}}\) to the category of Poisson algebras which satisfies the property that
is the zeromap, for all \((f_1:c_1\rightarrow c ) \perp (f_2:c_2\rightarrow c)\). (Here \(\{\cdot ,\cdot \}_c\) denotes the Poisson bracket on \(\mathfrak {A}(c)\).) For \(\overline{\mathbf {C}} = \overline{\mathbf {Loc}}\), this is a classical analog of locally covariant quantum field theory, where one assigns to each spacetime a Poisson algebra of classical observables, see e.g. [5, 12, 14, 22]. The property (3.8) demands that the Poisson bracket between causally disjoint classical observables is zero, which captures the classical analog of the Einstein causality axiom.
Example 3.8
(Linear field theories) In the usual construction of linear quantum field theories, see e.g. [1,2,3] for reviews, one first defines a functor \(\mathfrak {L}: \mathbf {Loc}\rightarrow \mathbf {PSymp}\) to the category of presymplectic vector spaces, which is then quantized by forming CCRalgebras (CCR stands for canonical commutation relations). Recall that a presymplectic vector space \((V,\omega )\) is a pair consisting of a vector space V and an antisymmetric linear map \(\omega : V\otimes V\rightarrow \mathbb {K}\). Notice that this is not an operation of arity 2 in the sense of operads because the target is the ground field and not V. Hence, \(\mathbf {PSymp}\) is not the category of algebras over an operad and, as a consequence, functors \(\mathfrak {L}: \mathbf {Loc}\rightarrow \mathbf {PSymp}\) do not define field theories in the sense of Definition 3.3.
However, there exists a canonical upgrade of every functor \(\mathfrak {L}: \mathbf {Loc}\rightarrow \mathbf {PSymp}\) to a field theory in the sense of Definition 3.3. Given any presymplectic vector space \((V,\omega )\), one can define its Heisenberg Lie algebra\(H(V,\omega )\). The underlying vector space of \(H(V,\omega )\) is given by \(V \oplus \mathbb {K}\) and the Lie bracket \([,] : (V \oplus \mathbb {K})\otimes (V \oplus \mathbb {K})\rightarrow V \oplus \mathbb {K}\) is
for all \(v\oplus k, v^\prime \oplus k^\prime \in V\oplus \mathbb {K}\). There exists a canonical unit map \(\eta : \mathbb {K}\rightarrow V\oplus \mathbb {K}\,,~k\mapsto 0\oplus k\), which is compatible with the Lie bracket, i.e. \([v\oplus k, \eta (k^\prime )] =0\), for all \(v\oplus k \in V\oplus \mathbb {K}\) and \(k^\prime \in \mathbb {K}\). Hence, Heisenberg Lie algebras are algebras over the unital Lie operad \(\mathsf {uLie}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) given in Example 2.9. Because forming Heisenberg Lie algebras is functorial, we can define for every \(\mathfrak {L}: \mathbf {Loc}\rightarrow \mathbf {PSymp}\) the composite functor \(H\,\mathfrak {L}: \mathbf {Loc}\rightarrow \mathbf {Alg}_{\mathsf {uLie}}\).
Consider now the two \(\mathbf {Seq}_{\{*\}}(\mathbf {M})\)morphisms \([\cdot ,\cdot ],0 : I[2] \rightarrow U(\mathsf {uLie})\) which select the Lie bracket and the zerooperation. A field theory of type \({\mathsf {uLie}}^{([\cdot ,\cdot ],0)}\) on \(\overline{\mathbf {C}}\) is a functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {uLie}}\) to the category of unital Lie algebras which satisfies the property that
is the zeromap, for all \((f_1:c_1\rightarrow c ) \perp (f_2:c_2\rightarrow c)\). (Here \([\cdot ,\cdot ]_c\) denotes the Lie bracket on \(\mathfrak {A}(c)\).) This property is a suitable analog of the Einstein causality axiom for linear field theories. In particular, if \(\overline{\mathbf {C}} = \overline{\mathbf {Loc}}\), \(\mathbf {M}= \mathbf {Vec}_\mathbb {K}\) and \(\mathfrak {A}=H\,\mathfrak {L}: \mathbf {Loc}\rightarrow \mathbf {Alg}_{\mathsf {uLie}}\) is given by applying the Heisenberg Lie algebra construction to a functor \(\mathfrak {L}: \mathbf {Loc}\rightarrow \mathbf {PSymp}\) with values in presymplectic vector spaces, then (3.10) is equivalent to the property that the presymplectic structure of causally disjoint linear observables is zero. This is precisely the Einstein causality axiom for linear field theories, see e.g. [1,2,3].
3.2 Operadic description
In this section, we show that the category of field theories from Definition 3.3 is the category of algebras over a suitable colored operad. This generalizes previous results in [8] and it is the key insight that allows us to study a large family of universal constructions for field theories in Sect. 4. As a preparation for the relevant definition, we define an auxiliary colored operad that describes functors from a small category \(\mathbf {C}\) to the category of \(\mathcal {P}\)algebras.
Definition 3.9
Let \(\mathbf {C}\) be a small category with set of objects \(\mathbf {C}_0\) and let \(\mathcal {P}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) be a singlecolored operad. The \(\mathbf {C}_0\)colored operad \(\mathcal {P}_\mathbf {C}\in \mathbf {Op}_{\mathbf {C}_0}(\mathbf {M})\) is defined by the following data:

for \(n\ge 0\) and \((\underline{c},t)\in \mathbf {C}_0^{n+1}\), the object of operations is
$$\begin{aligned} \mathcal {P}_\mathbf {C}\big (\begin{array}{c} t \\ \underline{c} \end{array}\big )\,:=\, \mathbf {C}(\underline{c},t) \otimes \mathcal {P}(n) \,\in \,\mathbf {M}, \end{aligned}$$(3.11)where \(\otimes \) is the \(\mathbf {Set}\)tensoring (2.1) and \(\mathbf {C}(\underline{\text {c}},t):=\prod _{i=1}^n \mathbf {C}(c_i,t)\) is the product of \(\text {Hom}\)sets;

for \(n\ge 0\), \((\underline{c},t)\in \mathbf {C}_0^{n+1}\) and \(\sigma \in \Sigma _n\), the permutation action \(\mathcal {P}_\mathbf {C}(\sigma )\) is defined by
(3.12)for all \(\underline{f} := (f_1,\ldots ,f_n)\in \mathbf {C}(\underline{c},t)\), where \(\iota _{\underline{f}} : \mathcal {P}(n)\rightarrow \mathcal {P}_\mathbf {C}\big (\begin{array}{c} t \\ \underline{c} \end{array}\big ) = \mathbf {C}(\underline{c},t) \otimes \mathcal {P}(n)\) are the inclusion morphisms into the coproduct (see (2.1)) and \(\underline{f}\sigma := (f_{\sigma (1)},\ldots ,f_{\sigma (n)})\);

for \(n>0\), \(k_1,\ldots ,k_n \ge 0\), \((\underline{a},t)\in \mathbf {C}_0^{n+1}\) and \((\underline{b}_i,a_i)\in \mathbf {C}_0^{k_i+1}\), for \(i=1,\ldots ,n\), the operadic composition \(\gamma ^{\mathcal {P}_\mathbf {C}}\) is defined by
(3.13)for all \(\underline{f} = (f_1,\ldots ,f_n)\in \mathbf {C}(\underline{a},t)\) and \(\underline{g}_i =(g_{i1},\ldots ,g_{i k_i})\in \mathbf {C}(\underline{b}_i,a_i)\), for \(i=1,\ldots ,n\), where \(\underline{f}(\underline{g}_1,\ldots ,\underline{g}_n) := (f_1 \,g_{11},\ldots ,f_{n} \, g_{n k_n} )\in \mathbf {C}(\underline{b},t)\) is defined by composition in the category \(\mathbf {C}\);

for \(c\in \mathbf {C}_0\), the operadic unit \(\mathbb {1}^{\mathcal {P}_\mathbf {C}}\) is
(3.14)where \(\text {id}_c : c\rightarrow c\) is the identity morphism of c in the category \(\mathbf {C}\).
A straightforward check shows that these data define a colored operad (see Definition 2.3).
Lemma 3.10
There exists a canonical isomorphism
between the category of algebras over the colored operad \(\mathcal {P}_\mathbf {C}\in \mathbf {Op}_{\mathbf {C}_0}(\mathbf {M})\) from Definition 3.9 and the category of functors from \(\mathbf {C}\) to \(\mathbf {Alg}_{\mathcal {P}}\).
Proof
A \(\mathcal {P}_\mathbf {C}\)algebra is a family of objects \(A_c\in \mathbf {M}\), for all \(c\in \mathbf {C}_0\), together with a \(\mathcal {P}_\mathbf {C}\)action \(\alpha : \mathcal {P}_\mathbf {C}\big (\begin{array}{c} t \\ \underline{c} \end{array}\big )\otimes A_{\underline{c}}\rightarrow A_t\). Because (3.11) is a coproduct, this is equivalent to a family of \(\mathbf {M}\)morphisms \(\alpha _{\underline{f}} : \mathcal {P}(n) \otimes A_{\underline{c}} \rightarrow A_t\), for all \(n\ge 0\), \((\underline{c},t)\in \mathbf {C}_0^{n+1}\) and \(\underline{f}\in \mathbf {C}(\underline{c},t)\), which satisfies the following compatibility conditions resulting from the axioms for algebras over colored operads
Using that any \(\underline{f} = (f_1,\ldots ,f_n)\in \mathbf {C}(\underline{c},t)\) can be written as \(\underline{f} = \underline{\text {id}_t}^n(f_1,\ldots ,f_n)\), where \(\underline{\text {id}_t}^n = (\text {id}_t,\ldots ,\text {id}_t)\) is of length n, the diagram (3.16a) implies that \(\alpha _{\underline{f}}\) factorizes as
Hence, the \(\mathcal {P}_\mathbf {C}\)action \(\alpha \) is uniquely specified by the following two types of \(\mathbf {M}\)morphisms: (1) \(\widetilde{\alpha }_t := \alpha _{\underline{\text {id}_t}^n}: \mathcal {P}(n)\otimes A_t^{\otimes n} \rightarrow A_t\), for all \(t\in \mathbf {C}_0\) and \(n\ge 0\), and (2) \(A(f) := \alpha _f~(\mathbb {1}^\mathcal {P}\otimes \text {id}) : A_c \,\cong \, I\otimes A_c \rightarrow A_t\), for all \(\mathbf {C}\)morphisms \(f:c\rightarrow t\). The remaining conditions in (3.16) are equivalent to \(\widetilde{\alpha }_t \) defining a \(\mathcal {P}\)action on \(A_t\), for all \(t\in \mathbf {C}_0\), and \(A(f) : A_c\rightarrow A_t\) defining a functor \(\mathbf {C}\rightarrow \mathbf {Alg}_\mathcal {P}\) to \(\mathcal {P}\)algebras. From this perspective, \(\mathcal {P}_\mathbf {C}\)algebra morphisms correspond precisely to natural transformations between functors from \(\mathbf {C}\) to \(\mathbf {Alg}_\mathcal {P}\). \(\square \)
For the rest of this subsection, we fix an orthogonal category \(\overline{\mathbf {C}}=(\mathbf {C},\perp )\) and a bipointed singlecolored operad \(\mathcal {P}^{(r_1,r_2)}= (\mathcal {P}, r_1,r_2 : I[2] \rightrightarrows U(\mathcal {P}) )\). (Recall the definition of I[2] in (3.2).) We define a \(\mathbf {C}_0\)colored sequence \(R_\perp \in \mathbf {Seq}_{\mathbf {C}_0}(\mathbf {M})\) by setting
for all \(n\ge 0\) and \((\underline{c},t)\in \mathbf {C}_0^{n+1}\), and a parallel pair of \(\mathbf {Seq}_{\mathbf {C}_0}(\mathbf {M})\)morphisms
by setting, for \(i=1,2\),
for all \((f_1:c_1\rightarrow t, f_2: c_2\rightarrow t)\in \perp \).
Definition 3.11
The operad of field theories of type\(\mathcal {P}^{(r_1,r_2)}\) on \(\overline{\mathbf {C}}\) is defined as the coequalizer
in \(\mathbf {Op}_{\mathbf {C}_0}(\mathbf {M})\).
The importance of this operad is evidenced by the following theorem.
Theorem 3.12
There exists a canonical isomorphism
between the category of algebras over the colored operad \(\mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}} \in \mathbf {Op}_{\mathbf {C}_0}(\mathbf {M})\) from Definition 3.11 and the category of field theories of type \(\mathcal {P}^{(r_1,r_2)}\) on \(\overline{\mathbf {C}}\) from Definition 3.3.
Proof
Because \(\mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}}\) is defined as a coequalizer (3.20), its algebras are precisely those \(\mathcal {P}_\mathbf {C}\)algebras \(A\in \mathbf {Alg}_{\mathcal {P}_\mathbf {C}}\) that satisfy the relations encoded by \(r_{1,\mathbf {C}},r_{2,\mathbf {C}} : R_\perp \rightrightarrows U(\mathcal {P}_\mathbf {C})\) [see (3.19)]. Using the notations from the proof of Lemma 3.10, this concretely means that the diagram
in \(\mathbf {M}\) commutes, for all \((f_1: c_1\rightarrow t, f_2: c_2\rightarrow t)\in \perp \). Using the isomorphism of Lemma 3.10, one easily translates this diagram to the diagram (3.4) for the functor \(\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_\mathcal {P}\) corresponding to \(A\in \mathbf {Alg}_{\mathcal {P}_\mathbf {C}}\), which completes the proof. \(\square \)
Example 3.13
Recalling Examples 3.5, 3.7 and 3.8, our construction defines colored operads for quantum field theory \(\mathsf {As}^{(\mu ,\mu ^\text {op})}_{\overline{\mathbf {C}}}\) (or equivalently \(\mathsf {As}^{([\cdot ,\cdot ],0)}_{\overline{\mathbf {C}}}\) provided that \(\mathbf {M}\) is additive, see Remark 3.6), for classical field theory \(\mathsf {Pois}^{(\{\cdot ,\cdot \},0)}_{\overline{\mathbf {C}}}\) and for linear field theory \(\mathsf {uLie}^{([\cdot ,\cdot ],0)}_{\overline{\mathbf {C}}}\) formalized in terms of Heisenberg Lie algebras.
3.3 Functoriality
Note that the field theory operad \(\mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}}\in \mathbf {Op}_{\mathbf {C}_0}(\mathbf {M})\) from Definition 3.11 depends on the choice of two kinds of data: (1) An orthogonal category \(\overline{\mathbf {C}} = (\mathbf {C},\perp )\) and (2) a bipointed singlecolored operad \(\mathcal {P}^{(r_1,r_2)}= (\mathcal {P}, r_1,r_2 : I[2] \rightrightarrows U(\mathcal {P}) )\). We will see that both of these dependencies are functorial. Recall from Definition 3.1 that orthogonal categories are the objects of the category \(\mathbf {OrthCat}\). The second kind of data may be arranged in terms of a category as follows.
Definition 3.14
The category of (arity 2) bipointed singlecolored operads\(\mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\) has the following objects and morphisms: An object is a pair \(\mathcal {P}^{(r_1,r_2)}= (\mathcal {P}, r_1,r_2 : I[2] \rightrightarrows U(\mathcal {P}) )\) consisting of a singlecolored operad \(\mathcal {P}\in \mathbf {Op}_{\{*\}}(\mathbf {M})\) and a parallel pair of \(\mathbf {Seq}_{\{*\}}(\mathbf {M})\)morphisms \(r_1,r_2 : I[2] \rightrightarrows U(\mathcal {P})\) [see (3.2) for the definition of I[2]]. A morphism \(\phi : \mathcal {P}^{(r_1,r_2)}\rightarrow \mathcal {Q}^{(s_1,s_2)}\) is an \(\mathbf {Op}_{\{*\}}(\mathbf {M})\)morphism \(\phi : \mathcal {P}\rightarrow \mathcal {Q}\) that preserves the points, i.e. the diagram
in \(\mathbf {Seq}_{\{*\}}(\mathbf {M})\) commutes for \(i=1,2\).
Proposition 3.15
The assignment \((\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}) \longmapsto (\mathbf {C}_0, \mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}})\) of the field theory operads from Definition 3.11 naturally extends to a functor \(\mathbf {OrthCat}\times \mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M}) \rightarrow \mathbf {Op}(\mathbf {M})\) with values in the category of operads with varying colors (see Definition 2.10).
Proof
For every morphism \((F,\phi ) : (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)})\rightarrow (\overline{\mathbf {D}},\mathcal {Q}^{(s_1,s_2)})\) in \(\mathbf {OrthCat}\times \mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\), one can define an \(\mathbf {Op}(\mathbf {M})\)morphism \(\phi _F^{} : \mathcal {P}_\mathbf {C}\rightarrow \mathcal {Q}_\mathbf {D}\) between the corresponding auxiliary operads from Definition 3.9. Concretely, this morphism is specified by the components
We now show that the assignment of the field theory operads is functorial too. For this we first note that one can define analogously to above a morphism \(R_{\perp _\mathbf {C}} \rightarrow R_{\perp _\mathbf {D}}\) of colored sequences and one easily checks that this defines a morphism of parallel pairs in (3.19). (For this step, one uses that F is an orthogonal functor and that \(\phi \) preserves the points.) Because forming colimits is functorial, this defines an \(\mathbf {Op}_{\mathbf {C}_0}(\mathbf {M})\)morphism \(\mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}}\rightarrow \text {colim}\big (F^*(F(R_{\perp _{\mathbf {D}}})) \rightrightarrows F^*(\mathcal {Q}_\mathbf {D})\big )\) to the coequalizer of the corresponding pullback operads. (With an abuse of notation, we denoted by F both the free \(\mathbf {D}_0\)colored operad functor (2.4) and the orthogonal functor \(F :\overline{\mathbf {C}}\rightarrow \overline{\mathbf {D}}\).) Notice that pullback operads arise at this point because Definition 3.11 considers colimits in the categories of operads with a fixed set of colors and not in the category \(\mathbf {Op}(\mathbf {M})\). From the universal property of colimits, one obtains a canonical \(\mathbf {Op}_{\mathbf {C}_0}(\mathbf {M})\)morphism \(\text {colim}\big (F^*(F(R_{\perp _{\mathbf {D}}})) \rightrightarrows F^*(\mathcal {Q}_\mathbf {D})\big ) \rightarrow F^*(\mathcal {Q}^{(s_1,s_2)}_{\overline{\mathbf {D}}})\) to the pullback of field theory operad. The composition of the latter two morphisms defines our desired \(\mathbf {Op}(\mathbf {M})\)morphism, which we denote with abuse of notation by the same symbol \(\phi _F^{} : \mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}}\rightarrow \mathcal {Q}^{(s_1,s_2)}_{\overline{\mathbf {D}}}\) as the one for the auxiliary operads. \(\square \)
As a consequence of this proposition, we obtain for every morphism \((F,\phi ) : (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)})\rightarrow (\overline{\mathbf {D}},\mathcal {Q}^{(s_1,s_2)})\) in \(\mathbf {OrthCat}\times \mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\) an \(\mathbf {Op}(\mathbf {M})\)morphism \(\phi _F^{} : \mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}} \rightarrow \mathcal {Q}^{(s_1,s_2)}_{\overline{\mathbf {D}}}\) and hence by Theorems 2.15 and 3.12 an adjunction
between the corresponding categories of field theories. From the concrete definition of \(\phi _F^{}\) given in the proof of Proposition 3.15 and the identification in Theorem 3.12, one observes that the right adjoint \((\phi _F^{})^*\) admits a very explicit description in terms of either of the two compositions in the commutative diagram
In this diagram, \(F^*\) is the restriction to the categories of field theories of the pullback functor for functor categories
for \(\mathcal {O}=\mathcal {P}\) and \(\mathcal {O}=\mathcal {Q}\), and \((\phi ^*)_*\) is the restriction to the categories of field theories of the pushforward functor for functor categories
for \(\mathbf {E}=\mathbf {C}\) and \(\mathbf {E}=\mathbf {D}\), where \(\phi ^*: \mathbf {Alg}_{\mathcal {Q}}\rightarrow \mathbf {Alg}_{\mathcal {P}}\) is the pullback functor corresponding to the singlecolored operad morphism \(\phi : \mathcal {P}\rightarrow \mathcal {Q}\).
4 Universal constructions for field theories
This section is concerned with analyzing in more depth the adjunctions in (3.25) and their relevance for universal constructions in field theory. Because of (3.26), this problem may be decomposed into three smaller building blocks:

1.
Adjunctions induced by orthogonal functors \(F : \overline{\mathbf {C}} \rightarrow \overline{\mathbf {D}}\)
(4.1) 
2.
Adjunctions induced by \(\mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\)morphisms \(\phi : \mathcal {P}^{(r_1,r_2)}\rightarrow \mathcal {Q}^{(s_1,s_2)}\)
(4.2) 
3.
The interplay between these two cases via the diagram of categories and functors
(4.3)in which the square formed by the right adjoints commutes by (3.26) and, as a consequence of the uniqueness (up to a unique natural isomorphism) of left adjoint functors, the square formed by the left adjoints commutes up to a unique natural isomorphism.
In the following subsections, we study particular classes of examples of such adjunctions, all of which are motivated by concrete problems and constructions in field theory, and discuss their interplay. A particularly interesting example, which we will discuss later in Sect. 5, is given by an adjunction that describes the quantization of linear field theories.
4.1 Full orthogonal subcategories
Recall from [8] that a full orthogonal subcategory of an orthogonal category \(\overline{\mathbf {D}} = (\mathbf {D},\perp _\mathbf {D})\) is a full subcategory \(\mathbf {C}\subseteq \mathbf {D}\) that is endowed with the pullback orthogonality relation, i.e. \(f_1\perp _{\mathbf {C}} f_2\) if and only if \(f_1\perp _\mathbf {D}f_2\). The embedding functor \(j : \mathbf {C}\rightarrow \mathbf {D}\) defines an orthogonal functor \(j : \overline{\mathbf {C}} \rightarrow \overline{\mathbf {D}}\).
Proposition 4.1
Let \(j : \overline{\mathbf {C}}\rightarrow \overline{\mathbf {D}}\) be a full orthogonal subcategory and \(\mathcal {P}^{(r_1,r_2)} \in \mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\) a bipointed singlecolored operad. Then the corresponding adjunction
exhibits \(\mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\) as a full coreflective subcategory of \(\mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\), i.e. the unit \(\eta : \text {id}\rightarrow j^*\,j_! \) of this adjunction is a natural isomorphism.
Proof
The proof is analogous to the corresponding one in [8] and will not be repeated. \(\square \)
Example 4.2
Recall the orthogonal category \(\overline{\mathbf {Loc}}\) of globally hyperbolic spacetimes from Example 3.2. Consider the full subcategory of all spacetimes whose underlying manifold is diffeomorphic to \(\mathbb {R}^m\). Endowed with the pullback orthogonality relation, i.e. if and only if \(f_1\perp _\mathbf {Loc}f_2\), this defines a full orthogonal subcategory . The corresponding adjunction is
The right adjoint \(j^*\) is the restriction functor which restricts field theories that are defined on all of \(\overline{\mathbf {Loc}}\) to the full orthogonal subcategory of spacetimes diffeomorphic to \(\mathbb {R}^m\). More interestingly, the left adjoint \(j_!\) is a universal extension functor which extends field theories that are only defined on to all of \(\overline{\mathbf {Loc}}\). It was shown in [8] that \(j_!\) is a generalization and refinement of Fredenhagen’s universal algebra construction [19,20,21, 31].
A nontrivial application of a similar universal extension functor for quantum field theories on spacetimes with boundaries has been studied in [4]. It has been shown that the ideals of the universal extension \(j_!(\mathfrak {B})\) of a theory \(\mathfrak {B}\) that is defined only on the interior of a spacetime with boundary are related to boundary conditions.
Remark 4.3
The result in Proposition 4.1 that \(j_!\) exhibits \(\mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\) as a full coreflective subcategory of \(\mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\) is crucial for a proper interpretation of \(j_!\) as a universal extension functor and \(j^*\) as a restriction functor in the spirit of Example 4.2. Given any field theory \(\mathfrak {B}\in \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\) on the full orthogonal subcategory \(\overline{\mathbf {C}}\subseteq \overline{\mathbf {D}}\), one may apply the left and then the right adjoint functor in (4.4) to obtain another field theory \(j^*j_!(\mathfrak {B})\in \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\) on \(\overline{\mathbf {C}}\subseteq \overline{\mathbf {D}}\). The latter is interpreted as the restriction of the universal extension of \(\mathfrak {B}\). By Proposition 4.1, the unit \(\eta _\mathfrak {B}^{} :\mathfrak {B}\rightarrow j^*j_!(\mathfrak {B})\) defines an isomorphism between these two theories, which means that \(j_!\) extends field theories from \(\overline{\mathbf {C}}\subseteq \overline{\mathbf {D}}\) to all of \(\overline{\mathbf {D}}\) without altering their values on the subcategory \(\overline{\mathbf {C}}\).
With this observation in mind, we would like to comment on existing criticisms that universal constructions, such as Fredenhagen’s universal algebra or our universal extension \(j_!\), may fail to provide a nontrivial result, see e.g. [32] and also [31]. (We would like to thank the anonymous referee for bringing this to our attention.) It is indeed true that the algebra \(j_!(\mathfrak {B})(d)\in \mathbf {Alg}_\mathcal {P}\) associated with an object \(d\in \mathbf {D}\) that is not in the subcategory \(\mathbf {C}\subseteq \mathbf {D}\), i.e. \(d\not \in \mathbf {C}\), might be trivial. However, for every nontrivial \(\mathfrak {B}\in \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\), the universally extended field theory \(j_!(\mathfrak {B})\in \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\) as a whole is nontrivial because, as we explained above, its restriction \(j^*j_!(\mathfrak {B})\) to \(\overline{\mathbf {C}}\) is isomorphic to the input \(\mathfrak {B}\) of the construction. We expect that one can construct physical examples of such theories that are nontrivial on simple spacetimes in \(\overline{\mathbf {C}}\), but might be trivial on certain complicated spacetimes in \(\overline{\mathbf {D}}\), by considering field equations that admit only local solutions.
An interesting application of the class of adjunctions in (4.4) is that they allow us to formalize a kind of localtoglobal (i.e. descent) condition for field theories. Given a field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\) on the bigger category \(\overline{\mathbf {D}}\), one may ask whether it is already completely determined by its values on the full orthogonal subcategory \(\overline{\mathbf {C}}\subseteq \overline{\mathbf {D}}\). In the context of Example 4.2, this means asking if the value of a field theory on a general spacetime \(M\in \overline{\mathbf {Loc}}\) is completely determined by its behavior on spacetimes diffeomorphic to \(\mathbb {R}^m\), which is a typical question of descent. The following definition provides a formalization of this idea.
Definition 4.4
A field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\) on \(\overline{\mathbf {D}}\) is called jlocal if the corresponding component of the counit \(\epsilon _\mathfrak {A}^{} : j_! \,j^*(\mathfrak {A})\rightarrow \mathfrak {A}\) is an isomorphism. The full subcategory of jlocal field theories is denoted by \(\mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )^{j\text {{}loc}}\subseteq \,\mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\).
The following result, which extends earlier results from [8] to our more general framework, shows that jlocal field theories on the bigger category \(\overline{\mathbf {D}}\) may be equivalently described by field theories on the full orthogonal subcategory \(\overline{\mathbf {C}}\subseteq \overline{\mathbf {D}}\).
Corollary 4.5
The adjunction (4.4) restricts to an adjoint equivalence
Proof
This is an immediate consequence of Proposition 4.1. \(\square \)
Example 4.6
Being a powerful localtoglobal property, it is in general not easy to prove that a given field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\) on \(\overline{\mathbf {D}}\) is jlocal for some full orthogonal subcategory embedding \(j:\overline{\mathbf {C}}\rightarrow \overline{\mathbf {D}}\). Positive results are known for the usual Klein–Gordon quantum field theory and , see [31] and [8, Section 5]. We expect that this proof can be adapted to cover all vector bundle valued linear quantum field theories in the sense of [1,2,3].
4.2 Orthogonal localizations
Recall from [8] that the orthogonal localization of an orthogonal category \(\overline{\mathbf {C}}\) at a subset \(W \subseteq \text {Mor}\,\mathbf {C}\) of the set of morphisms is given by the localized category \(\mathbf {C}[W^{1}]\) endowed with the pushforward orthogonality relation \(\perp _{\mathbf {C}[W^{1}]} \,:= L_*(\perp _\mathbf {C})\) along the localization functor \(L : \mathbf {C}\rightarrow \mathbf {C}[W^{1}]\), i.e. \(\perp _{\mathbf {C}[W^{1}]}\) is the smallest orthogonality relation such that \(L(f_1)\perp _{\mathbf {C}[W^{1}]} L(f_2)\) for all \(f_1\perp _\mathbf {C}f_2\). The localization functor defines an orthogonal functor \(L : \overline{\mathbf {C}}\rightarrow \overline{\mathbf {C}[W^{1}]}\).
Proposition 4.7
Let \(L: \overline{\mathbf {C}}\rightarrow \overline{\mathbf {C}[W^{1}]}\) be an orthogonal localization and \(\mathcal {P}^{(r_1,r_2)} \in \mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\) a bipointed singlecolored operad. Then the corresponding adjunction
exhibits \(\mathbf {FT}\big (\overline{\mathbf {C}[W^{1}]},\mathcal {P}^{(r_1,r_2)}\big ) \) as a full reflective subcategory of \(\mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\), i.e. the counit \(\epsilon : L_!\, L^*\rightarrow \text {id}\) of this adjunction is a natural isomorphism.
Proof
The proof is analogous to the corresponding one in [8] and will not be repeated. \(\square \)
Let us now explain in some detail the relationship between the adjunction (4.7) and a suitable generalization of the ‘timeslice axiom’ that we shall call Wconstancy.
Definition 4.8
A field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\) is called Wconstant if the \(\mathbf {Alg}_\mathcal {P}\)morphism \(\mathfrak {A}(f) : \mathfrak {A}(c)\rightarrow \mathfrak {A}(c^\prime )\) is an isomorphism, for all \((f:c\rightarrow c^\prime )\in W\). The full subcategory of Wconstant field theories is denoted by \(\mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )^{W\text {{}const}} \subseteq \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\).
Proposition 4.9
The adjunction (4.7) restricts to an adjoint equivalence
As a consequence, a field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\) is Wconstant if and only if the corresponding component \(\eta _\mathfrak {A}^{} : \mathfrak {A}\rightarrow L^*L_!(\mathfrak {A})\) of the unit of the adjunction (4.7) is an isomorphism.
Proof
By Proposition 4.7, we already know that the right adjoint functor \(L^*\) is fully faithful, and hence it remains to prove that its essential image is \(\mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )^{W\text {{}const}} \). The image of \(L^*\) lies in \(\mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )^{W\text {{}const}} \) because, for every \(\mathfrak {B}\in \mathbf {FT}\big (\overline{\mathbf {C}[W^{1}]},\mathcal {P}^{(r_1,r_2)}\big )\), the field theory \(L^*(\mathfrak {B})\) is Wconstant since \(L^*= ()\circ L\) is given by restricting the pullback functor for functor categories and the localization functor \(L:\mathbf {C}\rightarrow \mathbf {C}[W^{1}]\) maps morphisms in W to isomorphisms. To prove essential surjectivity, let \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )^{W\text {{}const}} \) and consider its underlying functor \(\mathfrak {A}:\mathbf {C}\rightarrow \mathbf {Alg}_\mathcal {P}\). By definition of localization, there exists a functor \(\mathfrak {B}: \mathbf {C}[W^{1}]\rightarrow \mathbf {Alg}_\mathcal {P}\) and a natural isomorphism \(\mathfrak {A}\cong L^*(\mathfrak {B})\). Using that the orthogonality relation \(\perp _{\mathbf {C}[W^{1}]}\) is generated by \(L(f_1)\perp _{\mathbf {C}[W^{1}]} L(f_2)\), for all \(f_1\perp _\mathbf {C}f_2\), one easily checks that \(\mathfrak {B}\in \mathbf {FT}\big (\overline{\mathbf {C}[W^{1}]},\mathcal {P}^{(r_1,r_2)}\big )\). \(\square \)
Example 4.10
Recall the orthogonal category \(\overline{\mathbf {Loc}}\) of globally hyperbolic spacetimes from Example 3.2 and consider the subset \(W \subseteq \text {Mor}\,\mathbf {Loc}\) of all Cauchy morphisms, i.e. morphisms \(f:M\rightarrow M^\prime \) whose image \(f(M)\subseteq M^\prime \) contains a Cauchy surface of \(M^\prime \). In this case, Wconstant field theories are precisely field theories that satisfy the usual timeslice axiom with respect to all Cauchy morphisms. As a consequence of Proposition 4.9, such field theories can be described equivalently as field theories on the orthogonal localization \(\overline{\mathbf {Loc}[W^{1}]}\) of \(\overline{\mathbf {Loc}}\) at all Cauchy morphisms W. This alternative point of view comes together with an adjunction
which allows us to detect Wconstancy of a field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {Loc}},\mathcal {P}^{(r_1,r_2)}\big )\) by testing whether the unit \(\eta _\mathfrak {A}^{} : \mathfrak {A}\rightarrow L^*\,L_!(\mathfrak {A})\) is an isomorphism.
The right adjoint \(L^*\) of the adjunction (4.9) can be interpreted as the functor that forgets that a field theory \(\mathfrak {B}\in \mathbf {FT}\big (\overline{\mathbf {Loc}[W^{1}]},\mathcal {P}^{(r_1,r_2)}\big )\) satisfies the timeslice axiom. More interestingly, the left adjoint \(L_!\) assigns to a field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {Loc}},\mathcal {P}^{(r_1,r_2)}\big )\) that does not necessarily satisfy the timeslice axiom a theory that does. Hence, one may call the left adjoint functor \(L_!\) a ‘timeslicification’ functor. Notice that the result in Proposition 4.7 that \(L^*\) exhibits \( \mathbf {FT}\big (\overline{\mathbf {Loc}[W^{1}]},\mathcal {P}^{(r_1,r_2)}\big )\) as a full reflective subcategory of \(\mathbf {FT}\big (\overline{\mathbf {Loc}},\mathcal {P}^{(r_1,r_2)}\big )\) has a concrete meaning. The isomorphisms \(\epsilon _{\mathfrak {B}}^{} : L_!\, L^*(\mathfrak {B})\rightarrow \mathfrak {B}\) given by the counit say that timeslicification does not alter those field theories that already do satisfy the timeslice axiom, which is of course a very reasonable property.
To conclude we consider the following example in order to show that our ‘timeslicification’ functor does not generically produce trivial field theories. Let \(\mathfrak {B}= \mathfrak {A}/\mathcal {I} \in \mathbf {FT}\big (\overline{\mathbf {Loc}[W^{1}]},\mathcal {P}^{(r_1,r_2)}\big )\) be a field theory satisfying the timeslice axiom that is obtained by quotienting out an equation of motion ideal \(\mathcal {I}\) of an ‘offshell’ field theory \(\mathfrak {A}\). More formally, this means that \(L^*(\mathfrak {B})\in \mathbf {FT}\big (\overline{\mathbf {Loc}},\mathcal {P}^{(r_1,r_2)}\big )\) is given by a coequalizer
in the category \(\mathbf {FT}\big (\overline{\mathbf {Loc}},\mathcal {P}^{(r_1,r_2)}\big )\), where \(F(\mathcal {I})\) is the freelygenerated field theory of the equation of motion ideal \(\mathcal {I}\) and the two maps are given extending via the freeforget adjunction \(F\dashv U\) the inclusion \(\mathcal {I} \hookrightarrow U(\mathfrak {A})\) and the zero map \(0:\mathcal {I}\rightarrow U(\mathfrak {A})\) to \(F(\mathcal {I})\). The ‘offshell’ field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {Loc}},\mathcal {P}^{(r_1,r_2)}\big )\) is of course not assumed to satisfy the timeslice axiom. Because the ‘timeslicification’ functor \(L_!\) is left adjoint it preserves colimits and hence
is a coequalizer in \(\mathbf {FT}\big (\overline{\mathbf {Loc}[W^{1}]},\mathcal {P}^{(r_1,r_2)}\big )\), where we used Proposition 4.7 for the last arrow. We see that our field theory \(\mathfrak {B}=\mathfrak {A}/\mathcal {I}\) may be equivalently presented as a quotient of the ‘timeslicification’ \(L_!(\mathfrak {A})\) of the ‘offshell’ field theory \(\mathfrak {A}\). In other words, every ‘onshell’ quotient of \(\mathfrak {A}\) can be presented as a quotient of \(L_! (\mathfrak {A})\), hence \(L_!(\mathfrak {A})\) must be nontrivial provided that \(\mathfrak {A}\) admits nontrivial ‘onshell’ quotients.
4.3 Change of bipointed singlecolored operad
Our third class of examples are adjunctions that correspond to morphisms \(\phi : \mathcal {P}^{(r_1,r_2)}\rightarrow \mathcal {Q}^{(s_1,s_2)}\) of bipointed singlecolored operads, i.e.
Let us stress that these adjunctions are conceptually very different to the ones we studied in the previous two subsections because they change the type of field theories and not the orthogonal category on which field theories are defined. In particular, such adjunctions can not be formulated within the original operadic framework for algebraic quantum field theory developed in [8] as they crucially rely on the more flexible definition 3.11 of field theory operads. In Sect. 5, we study an interesting example given by an adjunction that describes the quantization of linear field theories.
We observe the following preservation results for jlocal field theories (see Definition 4.4) and for Wconstant field theories (see Definition 4.8) under the adjunctions (4.12).
Proposition 4.11
Let \(\phi : \mathcal {P}^{(r_1,r_2)}\rightarrow \mathcal {Q}^{(s_1,s_2)}\) be an \(\mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\)morphism, \(j : \overline{\mathbf {C}}\rightarrow \overline{\mathbf {D}}\) a full orthogonal subcategory and \(W\subseteq \text {Mor}\,\mathbf {C}\) a subset.

(a)
The left adjoint functor \((\phi ^*)^! : \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big ) \rightarrow \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {Q}^{(s_1,s_2)}\big )\) preserves jlocal field theories.

(b)
The right adjoint functor \((\phi ^*)_*: \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {Q}^{(s_1,s_2)}\big ) \rightarrow \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\) preserves Wconstant field theories.
Proof
Item (a): Let \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )^{j\text {{}loc}}\) be any jlocal field theory of type \(\mathcal {P}^{(r_1,r_2)}\), i.e. \(\epsilon _\mathfrak {A}^{} : j_!\,j^*(\mathfrak {A})\rightarrow \mathfrak {A}\) is an isomorphism. The claim is that the field theory \((\phi ^*)^!(\mathfrak {A})\in \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {Q}^{(s_1,s_2)}\big )\) of type \(\mathcal {Q}^{(s_1,s_2)}\) is jlocal as well, i.e. \(\epsilon _{(\phi ^*)^!(\mathfrak {A})}^{} : j_!\,j^*(\phi ^*)^!(\mathfrak {A})\rightarrow (\phi ^*)^!(\mathfrak {A})\) is an isomorphism. This follows from the commutative diagram
where isomorphisms are indicated by \(\cong \). In more detail, the top square commutes by naturality of the counit and the vertical arrows are isomorphisms because \(\mathfrak {A}\) is jlocal. The middle square commutes because of (4.3). The bottom triangle is the triangle identity for the adjunction and the unit (vertical arrow) is an isomorphism because of Proposition 4.1. Item (b): This is immediate because \((\phi ^*)_*= \phi ^*\circ ()\) is given by restricting the pushforward functor for functor categories and every functor \(\phi ^*\) preserves isomorphisms. \(\square \)
Let us emphasize that the result in Proposition 4.11 is asymmetric in the sense that jlocal field theories are preserved by the left adjoints \((\phi ^*)^!\) and Wconstant field theories are preserved by the right adjoints \((\phi ^*)_*\). The opposite preservation properties do not hold true in general; however, we would like to note the following special case in which there exists a further preservation result. This will become relevant in Sect. 5 below.
Proposition 4.12
Let \(\phi : \mathcal {P}^{(r_1,r_2)}\rightarrow \mathcal {Q}^{(s_1,s_2)}\) be an \(\mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\)morphism and \(W\subseteq \text {Mor}\,\mathbf {C}\) a subset. Suppose that the left adjoint functor \((\phi ^*)^! : \mathbf {FT}(\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)})\rightarrow \mathbf {FT}(\overline{\mathbf {C}},\mathcal {Q}^{(s_1,s_2)})\) is (naturally isomorphic to) the restriction to the categories of field theories of the pushforward functor for functor categories
where the adjunction \(\phi _! : \mathbf {Alg}_\mathcal {P}\rightleftarrows \mathbf {Alg}_\mathcal {Q}: \phi ^*\) corresponds to the singlecolored operad morphism \(\phi : \mathcal {P}\rightarrow \mathcal {Q}\). Then the left adjoint functor \((\phi ^*)^! : \mathbf {FT}(\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)})\rightarrow \mathbf {FT}(\overline{\mathbf {C}},\mathcal {Q}^{(s_1,s_2)})\) preserves Wconstant field theories.
Proof
This is immediate because by hypothesis there is a natural isomorphism \((\phi ^*)^! \cong \phi _!\circ ()\) and every functor \(\phi _!\) preserves isomorphisms. \(\square \)
We conclude this section with a technical lemma that provides a criterion to detect whether the hypotheses of Proposition 4.12 are fulfilled. Recall from Definition 3.11 that there exists a natural projection \(\mathbf {Op}_{\mathbf {C}_0}(\mathbf {M})\)morphism \(\pi : \mathcal {P}_\mathbf {C}\rightarrow \mathcal {P}^{(r_1,r_2)}_{\overline{\mathbf {C}}}\) from our auxiliary operads to the field theory operads. Given any \(\mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\)morphism \(\phi : \mathcal {P}^{(r_1,r_2)}\rightarrow \mathcal {Q}^{(s_1,s_2)}\), this yields the square of adjunctions
in which the square formed by the right adjoints commutes, i.e. \((\phi ^*)_*~\pi ^*\, =\, \pi ^*~(\phi ^*)_*\), and hence the square formed by the left adjoints commutes (up to a unique natural isomorphism), i.e. \((\phi ^*)^!~\pi _!\,\cong \, \pi _!~(\phi _!)_*\). Notice that the vertical adjunctions exhibit the field theory categories as full reflective subcategories of the functor categories. An immediate consequence is the following
Lemma 4.13
If the functor \((\phi _!)_*\,\pi ^*: \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big ) \rightarrow {\mathbf {Alg}_\mathcal {Q}}^\mathbf {C}\) factors through the full reflective subcategory \(\mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {Q}^{(s_1,s_2)}\big ) \subseteq {\mathbf {Alg}_\mathcal {Q}}^\mathbf {C}\), then the left adjoint \((\phi ^*)^! : \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big ) \rightarrow \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {Q}^{(s_1,s_2)}\big )\) is (naturally isomorphic to) the restriction to the categories of field theories of the pushforward functor \((\phi _!)_*: {\mathbf {Alg}_\mathcal {P}}^\mathbf {C}\rightarrow {\mathbf {Alg}_\mathcal {Q}}^\mathbf {C}\).
5 Linear quantization adjunction
Throughout this section we assume that the underlying bicomplete closed symmetric monoidal category \(\mathbf {M}\) is additive. Recalling Example 3.5 and also Remark 3.6, we define the category of quantum field theories on an orthogonal category \(\overline{\mathbf {C}}\) by
Recalling further Example 3.8, we define the category of linear field theories on \(\overline{\mathbf {C}}\) by
We define an \(\mathbf {Op}_{\{*\}}(\mathbf {M})\)morphism
which one can confirm is welldefined by using the relations of the associative operad (see Example 2.6) and the ones of the unital Lie operad (see Example 2.9). It is evident that \(\phi : \mathsf {uLie}^{([\cdot ,\cdot ],0)} \rightarrow \mathsf {As}^{([\cdot ,\cdot ],0)}\) defines an \(\mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {M})\)morphism in the sense of Definition 3.14. By (4.12) this induces an adjunction between the category of linear field theories and the category of quantum field theories, which we shall denote by
The aim of this section is to study this adjunction in detail and in particular to show that the left adjoint \(\mathfrak {Q}_\mathsf {lin}^{~}\) admits an interpretation as a linear quantization functor.
Let us first provide an explicit description of the right adjoint functor \(\mathfrak {U}_\mathsf {lin}^{~}= (\phi ^*)_*\). Note that the functor \(\phi ^*: \mathbf {Alg}_{\mathsf {As}} \rightarrow \mathbf {Alg}_{\mathsf {uLie}}\) from associative and unital algebras to unital Lie algebras is very explicit. It assigns to any \((A,\mu _A,\eta _A)\in \mathbf {Alg}_{\mathsf {As}}\) the unital Lie algebra \(\phi ^*(A,\mu _A,\eta _A) = (A, \mu _A\mu _A^\text {op},\eta _A)\in \mathbf {Alg}_{\mathsf {uLie}}\), where the Lie bracket is given by the commutator. The corresponding pushforward functor \(\mathfrak {U}_\mathsf {lin}^{~}= (\phi ^*)_*: \mathbf {QFT}(\overline{\mathbf {C}}) \rightarrow \mathbf {LFT}(\overline{\mathbf {C}})\) carries out this construction objectwise on \(\mathbf {C}\). Concretely, for \(\big (\mathfrak {A}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {As}}\big ) \in \mathbf {QFT}(\overline{\mathbf {C}})\), the functor underlying \(\mathfrak {U}_\mathsf {lin}^{~}(\mathfrak {A})\in \mathbf {LFT}(\overline{\mathbf {C}})\) is given by \(\mathfrak {U}_\mathsf {lin}^{~}(\mathfrak {A})(c) = \phi ^*\big (\mathfrak {A}(c)\big ) \in \mathbf {Alg}_{\mathsf {uLie}}\), for all \(c\in \mathbf {C}\).
We now provide an explicit description of the left adjoint functor \(\mathfrak {Q}_\mathsf {lin}^{~}\) in (5.4). Our strategy is to analyze the pushforward functor \((\phi _!)_*: {\mathbf {Alg}_{\mathsf {uLie}}}^\mathbf {C}\rightarrow {\mathbf {Alg}_{\mathsf {As}}}^\mathbf {C}\) for the functor categories and to prove that it satisfies the criterion of Lemma 4.13. As a consequence of this lemma, the restriction to the categories of field theories of the pushforward functor \((\phi _!)_*\) defines a model for the left adjoint functor \(\mathfrak {Q}_\mathsf {lin}^{~}\).
Let us describe first the left adjoint functor of the adjunction \(\phi _! : \mathbf {Alg}_{\mathsf {uLie}} \rightleftarrows \mathbf {Alg}_{\mathsf {As}}:\phi ^*\) between algebras over singlecolored operads. The following construction, which we will call the unital universal enveloping algebra construction, defines a model for the left adjoint \(\phi _! \). Let \(V\in \mathbf {Alg}_{\mathsf {uLie}}\) be any unital Lie algebra, with Lie bracket \([\cdot ,\cdot ] : V\otimes V\rightarrow V\) and unit \(\eta : I\rightarrow V\). As the first step, we form the usual tensor algebra \(T^{\otimes } V := \bigoplus _{n=0}^{\infty } V^{\otimes n} \in \mathbf {Alg}_{\mathsf {As}}\), i.e. the free \(\mathsf {As}\)algebra of the underlying object \(V\in \mathbf {M}\), with multiplication \(\mu _\otimes : T^{\otimes } V \otimes T^{\otimes } V\rightarrow T^{\otimes } V\) and unit \(\eta _\otimes : I \rightarrow T^{\otimes } V\). We then consider the two parallel \(\mathbf {M}\)morphisms
where \(\iota _1 : V\rightarrow T^{\otimes }V\) is the inclusion into the coproduct, which compare the commutator of \(T^{\otimes }V\) with the Lie bracket of V. We form the corresponding coequalizer
in \(\mathbf {Alg}_{\mathsf {As}}\) and notice that \(U^\otimes V\) is the universal enveloping algebra of the underlying Lie algebra \((V,[\cdot ,\cdot ])\in \mathbf {Alg}_{\mathsf {Lie}}\). As the final step, we consider the two parallel \(\mathbf {M}\)morphisms
which compare the unit of V with the unit of \(T^\otimes V\), and form the corresponding coequalizer
in \(\mathbf {Alg}_{\mathsf {As}}\). All of these constructions are clearly functorial.
Lemma 5.1
The functor \(\phi _! : \mathbf {Alg}_{\mathsf {uLie}}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) described above is left adjoint to the functor \(\phi ^*: \mathbf {Alg}_{\mathsf {As}} \rightarrow \mathbf {Alg}_{\mathsf {uLie}}\).
Proof
It is easy to construct a natural bijection \(\text {Hom}_{\mathbf {Alg}_{\mathsf {As}}}(\phi _!(V),A)\cong \text {Hom}_{\mathbf {Alg}_{\mathsf {uLie}}}(V,\phi ^*(A))\), for all \(V\in \mathbf {Alg}_{\mathsf {uLie}}\) and \(A\in \mathbf {Alg}_{\mathsf {As}}\). Concretely, given \(\kappa : \phi _!(V)\rightarrow A\) in \(\mathbf {Alg}_{\mathsf {As}}\), then \(\kappa \, \pi ^\prime \,\pi \,\iota _1 : V\rightarrow \phi ^*(A)\) defines an \(\mathbf {Alg}_{\mathsf {uLie}}\)morphism. On the other hand, given \(\rho : V\rightarrow \phi ^*(A)\) in \(\mathbf {Alg}_{\mathsf {uLie}}\), then the canonical extension to an \(\mathbf {Alg}_{\mathsf {As}}\)morphism \(\rho : T^\otimes V\rightarrow A\) on the tensor algebra descends to the quotients in (5.5) and (5.6). \(\square \)
Proposition 5.2
For every linear field theory \((\mathfrak {B}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {uLie}})\in \mathbf {LFT}(\overline{\mathbf {C}})\), the functor \((\phi _!)_*(\mathfrak {B}) : \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) defines a quantum field theory, i.e. \((\phi _!)_*(\mathfrak {B})\in \mathbf {QFT}(\overline{\mathbf {C}})\).
Proof
By hypothesis, given any orthogonal pair \((f_1 :c_1\rightarrow c)\perp (f_2:c_2\rightarrow c)\) in \(\overline{\mathbf {C}}\), the induced Lie bracket \( [ \mathfrak {B}(f_1)(), \mathfrak {B}(f_2)() ]_c : \mathfrak {B}(c_1)\otimes \mathfrak {B}(c_2) \rightarrow \mathfrak {B}(c)\) is the zero map. We have to prove that the induced commutator \([ \phi _!\,\mathfrak {B}(f_1)(), \phi _!\,\mathfrak {B}(f_2)() ]_c : \phi _!\,\mathfrak {B}(c_1)\otimes \phi _!\, \mathfrak {B}(c_2) \rightarrow \phi _!\, \mathfrak {B}(c)\) associated to the functor \((\phi _!)_*(\mathfrak {B}) = \phi _!\, \mathfrak {B}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) is the zero map too. This is an immediate consequence of our definition of the unital universal enveloping algebra [see (5.5) and (5.6)] and the fact that the commutator bracket satisfies the Leibniz rule in both entries. The latter property is used to expand the commutator of polynomials to a sum of terms containing as a factor the commutator of generators, which is identified via (5.5) with the Lie bracket. \(\square \)
As a consequence of Lemma 4.13, we obtain
Corollary 5.3
The restriction to the categories of field theories of \((\phi _!)_*: {\mathbf {Alg}_{\mathsf {uLie}}}^\mathbf {C}\rightarrow {\mathbf {Alg}_{\mathsf {As}}}^{\mathbf {C}}\) is a model for the left adjoint functor \(\mathfrak {Q}_\mathsf {lin}^{~}: \mathbf {LFT}(\overline{\mathbf {C}})\rightarrow \mathbf {QFT}(\overline{\mathbf {C}})\) in (5.4).
Remark 5.4
Let us explain why \(\mathfrak {Q}_\mathsf {lin}^{~}: \mathbf {LFT}(\overline{\mathbf {C}})\rightarrow \mathbf {QFT}(\overline{\mathbf {C}})\) deserves the name quantization functor. Suppose that \(\mathfrak {B}= H\, \mathfrak {L}\in \mathbf {LFT}(\overline{\mathbf {C}})\) is the composition of a functor \(\mathfrak {L}: \mathbf {C}\rightarrow \mathbf {PSymp}\) to the category of presymplectic vector spaces with the Heisenberg Lie algebra functor \(H : \mathbf {PSymp}\rightarrow \mathbf {Alg}_{\mathsf {uLie}}\) as described in Example 3.8. It is easy to check that the composition \(\phi _!\, H : \mathbf {PSymp}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) of the Heisenberg Lie algebra functor and the unital universal enveloping algebra functor is naturally isomorphic to the usual (polynomial) CCRalgebra functor \(\mathfrak {CCR} : \mathbf {PSymp}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) that is used in the quantization of linear field theories, see e.g. [1,2,3]. In particular, we obtain a natural isomorphism \(\mathfrak {Q}_\mathsf {lin}^{~}\big (H\,\mathfrak {L}\big ) \cong \mathfrak {CCR}~ \mathfrak {L}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathsf {As}}\), which means that our quantization prescription via \(\mathfrak {Q}_\mathsf {lin}^{~}\) is in this case equivalent to the ordinary CCRalgebra quantization of linear field theories.
We would like to emphasize that our linear quantization functor preserves both jlocality and Wconstancy, i.e. it preserves descent and the timeslice axiom of field theories.
Corollary 5.5

(a)
Let \(j :\overline{\mathbf {C}}\rightarrow \overline{\mathbf {D}}\) be a full orthogonal subcategory. Then the linear quantization functor \(\mathfrak {Q}_\mathsf {lin}^{~}: \mathbf {LFT}(\overline{\mathbf {D}})\rightarrow \mathbf {QFT}(\overline{\mathbf {D}})\) maps jlocal linear field theories to jlocal quantum field theories, (see Definition 4.4).

(b)
Let \(\overline{\mathbf {C}}\) be an orthogonal category and \(W\subseteq \text {Mor}\,\mathbf {C}\) a subset. Then the linear quantization functor \(\mathfrak {Q}_\mathsf {lin}^{~}: \mathbf {LFT}(\overline{\mathbf {C}})\rightarrow \mathbf {QFT}(\overline{\mathbf {C}})\) maps Wconstant linear field theories to Wconstant quantum field theories, (see Definition 4.8).
Proof
Item (a) is a consequence of Proposition 4.11 and item (b) is a consequence of Proposition 4.12 and Corollary 5.3. \(\square \)
6 Toward the quantization of linear gauge theories
The techniques we developed in this paper can be refined to the case where \(\mathbf {M}\) is a suitable symmetric monoidal model category. Let us recall that a model category is a category that comes equipped with three distinguished classes of morphisms—called weak equivalences, fibrations, and cofibrations—that satisfy a list of axioms going back to Quillen; see, e.g. [17] for a concise introduction. The main role is played by the weak equivalences, which introduce a consistent concept of “two things being the same” that is weaker than the usual concept of categorical isomorphism. For example, the category \(\mathbf {M}= \mathbf {Ch}(\mathbb {K})\) of (possibly unbounded) chain complexes of vector spaces over a field \(\mathbb {K}\) may be endowed with a symmetric monoidal model category structure in which the weak equivalences are quasiisomorphisms; see e.g. [30].
Model category theory plays an important role in the mathematical formulation of (quantum) gauge theories. In particular, the ‘spaces’ of fields in a gauge theory are actually higher spaces called stacks, which may be formalized within model category theory. We refer to [33] for the general framework and also to [7] for the example of Yang–Mills theory. Consequently, the observable ‘algebras’ in a quantum gauge theory are actually higher algebras, e.g. the differential graded algebras arising in the BRST/BV formalism. We refer to [22, 23, 29] for concrete constructions within the BRST/BV formalism in algebraic quantum field theory, to [9] for the relevant model categorical perspective and to [26] for a related deformation theoretic point of view.
The aim of this last section is to refine our results for the linear quantization adjunction from Sect. 5 to the framework of model category theory. This will provide a mathematically solid setup to quantize linear gauge theories to quantum gauge theories in a way that is consistent with the concept of weak equivalences. As an explicit example, we discuss the quantization of linear Chern–Simons theory on oriented surfaces. In order to simplify our analysis, we restrict ourselves to the case where \(\mathbf {M}=\mathbf {Ch}(\mathbb {K})\) is the symmetric monoidal model category of chain complexes of vector spaces over a field \(\mathbb {K}\) of characteristic zero, e.g. \(\mathbb {K}=\mathbb {C}\) or \(\mathbb {K}=\mathbb {R}\). In this section, we shall freely use terminology and results from general model category theory [17, 30] and more specifically the model structures for colored operads and their algebras [27, 28]. We refer to [6, 9] for a more gentle presentation of how these techniques can be applied to \(\mathbf {Ch}(\mathbb {K})\)valued algebraic quantum field theory.
6.1 Model structures on field theory categories
Our first (immediate) result is that the categories \(\mathbf {FT}(\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)})\) of field theories with values in \(\mathbf {M}= \mathbf {Ch}(\mathbb {K})\) from Definition 3.3 are model categories, i.e. there exists a consistent concept of weak equivalences for \(\mathbf {Ch}(\mathbb {K})\)valued field theories. Furthermore, the adjunctions in (3.25) are compatible with these model category structures in the sense that they are Quillen adjunctions.
Proposition 6.1
Let \(\overline{\mathbf {C}}\) be any orthogonal category and \(\mathcal {P}^{(r_1,r_2)}\in \mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {Ch}(\mathbb {K}))\) any bipointed singlecolored operad. Define a \(\mathbf {FT}(\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)})\)morphism \(\zeta : \mathfrak {A}\rightarrow \mathfrak {B}\) (i.e. a natural transformation of functors \(\mathfrak {A},\mathfrak {B}: \mathbf {C}\rightarrow \mathbf {Alg}_{\mathcal {P}}\)) to be

(i)
a weak equivalence if the underlying \(\mathbf {Ch}(\mathbb {K})\)morphism of each component \(\zeta _c : \mathfrak {A}(c)\rightarrow \mathfrak {B}(c)\) is a quasiisomorphism,

(ii)
a fibration if the underlying \(\mathbf {Ch}(\mathbb {K})\)morphism of each component \(\zeta _c : \mathfrak {A}(c)\rightarrow \mathfrak {B}(c)\) is degreewise surjective, and

(iii)
a cofibration if it has the leftlifting property with respect to all acyclic fibrations.
These choices define a model structure on \(\mathbf {FT}(\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)})\).
Proof
This is a consequence of Theorem 3.12 and Hinich’s results [27, 28], which show that all colored operads in \(\mathbf {Ch}(\mathbb {K})\) are admissible for \(\mathbb {K}\) a field of characteristic zero. \(\square \)
Proposition 6.2
Let \(F : \overline{\mathbf {C}}\rightarrow \overline{\mathbf {D}}\) be any orthogonal functor and \(\phi : \mathcal {P}^{(r_1,r_2)}\rightarrow \mathcal {Q}^{(s_1,s_2)}\) any \(\mathbf {Op}_{\{*\}}^{2\text {pt}}(\mathbf {Ch}(\mathbb {K}))\)morphism. Then the adjunction in (3.25) is a Quillen adjunction with respect to the model structures from Proposition 6.1.
Proof
This follows immediately from [27, 28]. \(\square \)
As a specific instance of the general result of Proposition 6.1, we obtain that both the category of \(\mathbf {Ch}(\mathbb {K})\)valued linear field theories \(\mathbf {LFT}(\overline{\mathbf {C}})\) and the category of \(\mathbf {Ch}(\mathbb {K})\)valued quantum field theories \(\mathbf {QFT}(\overline{\mathbf {C}})\) carry a canonical model structure. In order to develop a better intuition for \(\mathbf {Ch}(\mathbb {K})\)valued field theories and their relation to gauge theories, let us introduce a simple example of a \(\mathbf {Ch}(\mathbb {K})\)valued linear field theory.
Example 6.3
(Linear Chern–Simons theory on oriented surfaces) Let us denote by \(\mathbf {Man}_2\) the category of oriented 2manifolds and orientation preserving open embeddings. We endow \(\mathbf {Man}_2\) with an orthogonality relation \(\perp \) by declaring two morphisms \(f_1 : M_1\rightarrow M\) and \(f_2: M_2\rightarrow M\) to be orthogonal, \(f_1\perp f_2\), if and only if their images are disjoint, i.e. \(f_1(M_1)\cap f_2(M_2)=\emptyset \). The field configurations on \(M\in \mathbf {Man}_2\) of Chern–Simons theory with structure group \(\mathbb {R}\) are given by flat \(\mathbb {R}\)connections \(A\in \Omega ^1(M)\) modulo gauge transformations. In the context of linear derived geometry, see, e.g. [6, 15] for more details, the flatness condition \(\text {d}A =0\) and the quotient by gauge transformations \(A\rightarrow A+\text {d}\epsilon \) are both refined to higher categorical concepts called homotopy kernels and stacky quotients. This results in a chain complex of field configurations, that is given in our example by the shifted de Rham complex
where the round brackets indicate homological degrees. Note that the zeroth homology of \(\mathfrak {F}(M)\) is the usual vector space of gauge equivalence classes of flat \(\mathbb {R}\)connections on M.
We describe linear observables on M by the smooth dual of \(\mathfrak {F}(M)\), which explicitly reads as
where the subscript \(\text {c}\) denotes forms with compact support. The evaluation of observables on field configurations is given by the integration map \(\int _M : \mathfrak {L}(M)\otimes \mathfrak {F}(M)\rightarrow \mathbb {K}\). Note that the minus signs in (6.2) are necessary for \(\int _M\) to be a chain map. To define a presymplectic structure on \(\mathfrak {L}(M)\), observe that there exists a chain map
where \(\iota :\Omega ^p_\text {c}(M)\rightarrow \Omega ^p(M)\) denotes the inclusion of compactly supported pforms into all pforms. We define the chain map
and note that \(\omega \) is a presymplectic structure, i.e. it is graded antisymmetric.
Precisely as in Example 3.8, we can assign to the presymplectic chain complex \((\mathfrak {L}(M),\omega )\) its Heisenberg Lie algebra, which we shall denote by \(\mathfrak {B}^{}_{\text {CS}}(M):= \mathfrak {L}(M)\oplus \mathbb {K}\in \mathbf {Alg}_{\mathsf {uLie}}\). Using pushforwards of compactly supported forms along \(\mathbf {Man}_2\)morphisms \(f:M\rightarrow N\) and observing that (6.4) are the components of a natural transformation, we can promote the assignment \(M\mapsto \mathfrak {B}^{}_{\text {CS}}(M)\) to a functor \(\mathfrak {B}^{}_{\text {CS}} : \mathbf {Man}_2 \rightarrow \mathbf {Alg}_{\mathsf {uLie}}\). Because the integration of any product of forms with disjoint support yields zero, this functor defines a \(\mathbf {Ch}(\mathbb {K})\)valued linear field theory \(\mathfrak {B}^{}_{\text {CS}}\in \mathbf {LFT}(\overline{\mathbf {Man}_2})\) on the orthogonal category \(\overline{\mathbf {Man}_2}\). By construction, this linear field theory describes linear Chern–Simons theory on oriented surfaces.
6.2 Homotopical properties of linear quantization
As a specific instance of the general result of Proposition 6.2, we obtain that the linear quantization adjunction (5.4) is a Quillen adjunction between the model categories \(\mathbf {LFT}(\overline{\mathbf {C}})\) and \(\mathbf {QFT}(\overline{\mathbf {C}})\). Using the general method of derived functors (see e.g. [17, 30]), there exists a left derived linear quantization functor \(\mathbb {L}\mathfrak {Q}_\mathsf {lin}^{~}\) and a right derivation of its right adjoint \( \mathbb {R}\mathfrak {U}_\mathsf {lin}^{~}\). These two derived functors preserve weak equivalences and hence they are homotopically meaningful. The standard procedure to construct derived functors is to choose fibrant and cofibrant replacement functors, denoted by \(R: \mathbf {QFT}(\overline{\mathbf {C}})\rightarrow \mathbf {QFT}(\overline{\mathbf {C}})\) and \(Q: \mathbf {LFT}(\overline{\mathbf {C}})\rightarrow \mathbf {LFT}(\overline{\mathbf {C}})\), and to define the right derived functor by
and the left derived functor by
Note that there is some flexibility in choosing R and Q, but different choices define naturally weakly equivalent derived functors.
For practical applications, it is crucial to find simple models for derived functors that can be computed explicitly. The goal of this subsection is to obtain such simple models for the derived functors of the linear quantization adjunction (5.4). For the right derived functor \(\mathbb {R}\mathfrak {U}_\mathsf {lin}^{~}\), this problem is easy to solve because every object in the model category \(\mathbf {QFT}(\overline{\mathbf {C}})\) is fibrant, hence the identity functor \(R=\text {id}\) defines a fibrant replacement functor. This immediately implies
Proposition 6.4
The underived functor \(\mathfrak {U}_\mathsf {lin}^{~}: \mathbf {QFT}(\overline{\mathbf {C}})\rightarrow \mathbf {LFT}(\overline{\mathbf {C}})\) is a model for the right derived functor \(\mathbb {R}\mathfrak {U}_\mathsf {lin}^{~}\) in (6.5).
For the left derived functor \(\mathbb {L}\mathfrak {Q}_\mathsf {lin}^{~}\), i.e. the derived linear quantization functor, the situation gets more complicated because not every object in \(\mathbf {LFT}(\overline{\mathbf {C}})\) is cofibrant. However, a more detailed study of \(\mathfrak {Q}_\mathsf {lin}^{~}\) reveals the following pleasing result.
Proposition 6.5
The underived functor \(\mathfrak {Q}_\mathsf {lin}^{~}: \mathbf {LFT}(\overline{\mathbf {C}}) \rightarrow \mathbf {QFT}(\overline{\mathbf {C}})\) preserves weak equivalences. As a consequence, it is a model for the left derived functor \(\mathbb {L}\mathfrak {Q}_\mathsf {lin}^{~}\) in (6.6).
Proof
Recall from Corollary 5.3 that \(\mathfrak {Q}_\mathsf {lin}^{~}= (\phi _!)_*= \phi _!\circ ()\) is given by postcomposing with the left adjoint functor \(\phi _! : \mathbf {Alg}_{\mathsf {uLie}}\rightarrow \mathbf {Alg}_{\mathsf {As}}\). It is shown in Lemma A.1 that \(\phi _!\) preserves weak equivalences, hence \(\mathfrak {Q}_\mathsf {lin}^{~}\) preserves weak equivalences as these are defined componentwise (see Proposition 6.1).
To prove the second statement, consider the natural transformation
obtained by whiskering the natural weak equivalence \(q : Q\rightarrow \text {id}\) corresponding to the cofibrant replacement functor Q. This is a natural weak equivalence because \(\mathfrak {Q}_\mathsf {lin}^{~}\) preserves weak equivalences, hence \(\mathfrak {Q}_\mathsf {lin}^{~}\) is a model for \(\mathbb {L}\mathfrak {Q}_\mathsf {lin}^{~}\). \(\square \)
Example 6.6
Let us apply these results to carry out the quantization of linear Chern–Simons theory from Example 6.3. As shown in Proposition 6.5, the underived linear quantization functor \(\mathfrak {Q}_\mathsf {lin}^{~}\) provides a homotopically meaningful quantization prescription that agrees (up to weak equivalence) with any derived linear quantization functor \(\mathbb {L}\mathfrak {Q}_\mathsf {lin}^{~}\). Applying the functor \(\mathfrak {Q}_\mathsf {lin}^{~}\) to the linear Chern–Simons model \(\mathfrak {B}_{\text {CS}}^{}\in \mathbf {LFT}(\overline{\mathbf {Man}_2})\) from Example 6.3, we obtain the linear Chern–Simons quantum field theory \(\mathfrak {A}_{\text {CS}}^{} := \mathfrak {Q}_\mathsf {lin}^{~}(\mathfrak {B}_{\text {CS}}^{})\in \mathbf {QFT}(\overline{\mathbf {Man}_2})\). Using the concrete description of \(\mathfrak {Q}_\mathsf {lin}^{~}\) given in Sect. 5, we can compute explicitly the differential graded algebra \(\mathfrak {A}_{\text {CS}}^{}(M)\in \mathbf {Alg}_{\mathsf {As}}\) that is assigned to an oriented 2manifold \(M\in \mathbf {Man}_2\). One observes that this differential graded algebra is presentable by generators and relations. The generators (6.2) are concentrated in homological degrees \(1\), 0 and 1. We shall use the intuitive ‘smeared quantum field’ notation to denote the generators by
for all \(\chi \in \Omega ^2_\text {c}(M)\), \(\alpha \in \Omega ^1_\text {c}(M)\) and \(\beta \in \Omega ^0_\text {c}(M)\). The differential acts on these generators as
The relations are as follows:

\(\mathbb {K}\)linearity: \(\widehat{C}(k\,\chi + k^\prime \,\chi ^\prime ) = k\,\widehat{C}(\chi ) + k^\prime \,\widehat{C}(\chi ^\prime )\), for all \(\chi ,\chi ^\prime \in \Omega ^2_\text {c}(M)\) and \(k,k^\prime \in \mathbb {K}\), and similarly for \(\widehat{A}\) and \(\widehat{B}\);

Commutation relations: The nonvanishing graded commutators are
$$\begin{aligned} \big [\widehat{A}(\alpha ),\widehat{A}(\alpha ^\prime )\big ]\,&=\,\omega (\alpha ,\alpha ^\prime ) \,=\,\int _M \alpha \wedge \alpha ^\prime ,\end{aligned}$$(6.9a)$$\begin{aligned} \big [\widehat{C}(\chi ),\widehat{B}(\beta )\big ] \,&=\, \omega (\chi ,\beta ) \,=\,  \int _M\chi \wedge \beta ,\end{aligned}$$(6.9b)$$\begin{aligned} \big [\widehat{B}(\beta ),\widehat{C}(\chi )\big ] \,&=\, \omega (\beta ,\chi ) \,=\,  \int _M\beta \wedge \chi . \end{aligned}$$(6.9c)
Note that the zeroth homology \(H_0(\mathfrak {A}_{\text {CS}}(M))\) is the ordinary algebra of gauge invariant observables for quantized flat \(\mathbb {R}\)connections, see e.g. [16].
6.3 Homotopy jlocality and homotopy Wconstancy
We would like to conclude by introducing natural homotopical generalizations of the jlocality property (see Definition 4.4) and the Wconstancy property (see Definition 4.8) in the context of model category theory. It will be shown that these properties are preserved by linear quantization.
Homotopy jlocality: Let \(j : \overline{\mathbf {C}}\rightarrow \overline{\mathbf {D}}\) be a full orthogonal subcategory and \(\mathcal {P}^{(r_1,r_2)}\) a bipointed singlecolored operad. From Proposition 6.2, we obtain a Quillen adjunction \(j_! : \mathbf {FT}(\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}) \rightleftarrows \mathbf {FT}(\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}) :j^*\). For the right derived functor, we can choose again the underived functor \(\mathbb {R}j^*:= j^*\), because every object in \(\mathbf {FT}(\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)})\) is fibrant. However, in contrast to the linear quantization functor from the previous subsection, the left adjoint functor \(j_!\) in general does not preserve weak equivalences and hence it has to be derived \(\mathbb {L}j_!:= j_!\,Q\). (See [9, Appendix A] for concrete examples illustrating this fact.) As a consequence, our previous concept of jlocality from Definition 4.4 has to be derived as well in order to be homotopically meaningful. In what follows, we denote by \(q : Q\rightarrow \text {id}\) the natural weak equivalence corresponding to our choice of cofibrant replacement functor Q.
Definition 6.7
A field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\) is called homotopyjlocal if the corresponding component of the derived counit
is a weak equivalence in \(\mathbf {FT}\big (\overline{\mathbf {D}},\mathcal {P}^{(r_1,r_2)}\big )\).
Proposition 6.8
The linear quantization functor \(\mathfrak {Q}_\mathsf {lin}^{~}: \mathbf {LFT}(\overline{\mathbf {D}}) \rightarrow \mathbf {QFT}(\overline{\mathbf {D}})\) (see Proposition 6.5) maps homotopy jlocal linear field theories to homotopy jlocal quantum field theories.
Proof
Let \(\mathfrak {B}\in \mathbf {LFT}(\overline{\mathbf {D}})\) be a homotopy jlocal linear field theory, i.e. \(\widetilde{\epsilon }_{\mathfrak {B}}^{} : j_! \,Q\, j^*(\mathfrak {B})\rightarrow \mathfrak {B}\) is a weak equivalence. We have to prove that the derived counit \(\widetilde{\epsilon }_{\mathfrak {Q}_\mathsf {lin}^{~}(\mathfrak {B})}^{} : j_!\,Q\,j^*\,\mathfrak {Q}_\mathsf {lin}^{~}(\mathfrak {B}) \rightarrow \mathfrak {Q}_\mathsf {lin}^{~}(\mathfrak {B})\) corresponding to the quantum field theory \(\mathfrak {Q}_\mathsf {lin}^{~}(\mathfrak {B})\in \mathbf {QFT}(\overline{\mathbf {D}})\) is a weak equivalence too.
As a preparatory step, let us consider the commutative diagram
The vertical arrows in the top square are weak equivalences because \(\mathfrak {B}\) is by hypothesis homotopy jlocal. The vertical arrows in the bottom square are weak equivalences because left Quillen functors preserve cofibrant objects and weak equivalences between cofibrant objects. The natural isomorphism in the underbraces is due to (4.3). By the 2of3 property of weak equivalences, the top horizontal arrow is a weak equivalence (which is our claim) if and only if the bottom horizontal arrow is a weak equivalence.
Introducing \(\mathfrak {A}:= \mathfrak {Q}_\mathsf {lin}^{~}\,Q\,j^*(\mathfrak {B})\), it thus remains to prove that \(\widetilde{\epsilon }_{j_!\,Q(\mathfrak {A})} : j_! \,Q\,j^*\,j_! \,Q(\mathfrak {A})\rightarrow j_!\,Q(\mathfrak {A})\) is a weak equivalence. This follows from the 2of3 property of weak equivalences and the commutative diagram
where the top triangle is just the definition of the derived counit (6.10). The vertical arrows are isomorphisms because of Proposition 4.1 and the right triangle is the triangle identity for the (nonderived) unit and counit. The bottom horizontal arrow is a weak equivalence because left Quillen functors preserve weak equivalences between cofibrant objects. \(\square \)
Example 6.9
Let \(j: \overline{\mathbf {Disk}_2}\rightarrow \overline{\mathbf {Man}_2}\) be the full orthogonal subcategory of all oriented 2manifolds M that are diffeomorphic to \(\mathbb {R}^2\). It is an interesting question whether the linear Chern–Simons quantum field theory \(\mathfrak {A}_{\text {CS}}^{}\in \mathbf {QFT}(\overline{\mathbf {Man}_2})\) from Example 6.6 is homotopy jlocal with respect to this j. In particular, homotopy jlocality would imply that its value \(\mathfrak {A}_{\text {CS}}^{}(M)\) on a topologically nontrivial oriented 2manifold M such as the torus is already encoded in the restriction \(j^*(\mathfrak {A}_{\text {CS}}^{})\in \mathbf {QFT}(\overline{\mathbf {Disk}_2})\) of the quantum field theory to disks. Unfortunately, proving homotopy jlocality of a given theory is a complicated task and hence we can not yet provide an answer to the question whether \(\mathfrak {A}_{\text {CS}}^{}\in \mathbf {QFT}(\overline{\mathbf {Man}_2})\) is homotopy jlocal or not. We however would like to mention that positive results are already available for simple toymodels which do not involve quantization, see [9] for details. We expect that Proposition 6.8 will be very useful for investigating homotopy jlocality of \(\mathfrak {A}_{\text {CS}}^{}=\mathfrak {Q}_\mathsf {lin}^{~}(\mathfrak {B}_{\text {CS}}^{})\in \mathbf {QFT}(\overline{\mathbf {Man}_2})\) because it allows us to replace this question by the (slightly) simpler question whether the linear field theory \(\mathfrak {B}_{\text {CS}}^{}\in \mathbf {LFT}(\overline{\mathbf {Man}_2})\) from Example 6.3 is homotopy jlocal. We hope to come back to this issue in a future work.
Homotopy Wconstancy: Let \(\overline{\mathbf {C}}\) be an orthogonal category, \(W\subseteq \text {Mor}\,\mathbf {C}\) a subset and \(\mathcal {P}^{(r_1,r_2)}\) a bipointed singlecolored operad. Similarly to locally constant factorization algebras [15], we propose a homotopical generalization of the Wconstancy property from Definition 4.8.
Definition 6.10
A field theory \(\mathfrak {A}\in \mathbf {FT}\big (\overline{\mathbf {C}},\mathcal {P}^{(r_1,r_2)}\big )\) is called homotopyWconstant if the \(\mathbf {Ch}(\mathbb {K})\)morphism underlying the \(\mathbf {Alg}_\mathcal {P}\)morphism \(\mathfrak {A}(f) : \mathfrak {A}(c)\rightarrow \mathfrak {A}(c^\prime )\) is a quasiisomorphism for all \((f:c\rightarrow c^\prime )\in W\).
Proposition 6.11
The linear quantization functor \(\mathfrak {Q}_\mathsf {lin}^{~}: \mathbf {LFT}(\overline{\mathbf {C}}) \rightarrow \mathbf {QFT}(\overline{\mathbf {C}})\) (see Proposition 6.5) maps homotopy Wconstant linear field theories to homotopy Wconstant quantum field theories.
Proof
Recall from Corollary 5.3 that \(\mathfrak {Q}_\mathsf {lin}^{~}= (\phi _!)_*= \phi _!\circ ()\) is given by postcomposing with the left adjoint functor \(\phi _! : \mathbf {Alg}_{\mathsf {uLie}}\rightarrow \mathbf {Alg}_{\mathsf {As}}\). By Lemma A.1, the latter preserves weak equivalences and hence it preserves the homotopy Wconstancy property. \(\square \)
Example 6.12
It is easy to prove that the linear Chern–Simons model \(\mathfrak {B}_{\text {CS}}^{}\in \mathbf {LFT}(\overline{\mathbf {Man}_2})\) from Example 6.3 is homotopy Wconstant for \(W\subseteq \text {Mor}\, \mathbf {Man}_{2}\) the subset of all isotopy equivalences \(f:M\rightarrow M^\prime \). The chain map underlying \(\mathfrak {B}_{\text {CS}}^{}(f) : \mathfrak {B}_{\text {CS}}^{}(M)\rightarrow \mathfrak {B}_{\text {CS}}^{}(M^\prime )\) is given by
where \(\mathfrak {L}(M)\) and \(\mathfrak {L}(M^{\prime })\) are (up to a global minus sign) shifted compactly supported de Rham complexes (see (6.2)) and \(f_*\) is given by degreewise pushforward of compactly supported forms. For \(f:M\rightarrow M^\prime \) an isotopy equivalence, this map is a quasiisomorphism because compactly supported de Rham cohomology is invariant under isotopies. Together with Proposition 6.11, this implies that the linear Chern–Simons quantum field theory \(\mathfrak {A}_{\text {CS}}^{} = \mathfrak {Q}_\mathsf {lin}^{~}(\mathfrak {B}_{\text {CS}}^{})\in \mathbf {QFT}(\overline{\mathbf {Man}_2})\) from Example 6.6 is homotopy Wconstant too.
References
Bär, C., Ginoux, N., Pfäffle, F.: Wave Equations on Lorentzian Manifolds and Quantization. European Mathematical Society, Zürich, Switzerland (2007). arXiv:0806.1036 [math.DG]
Bär, C., Ginoux, N.: Classical and quantum fields on Lorentzian manifolds. Springer Proc. Math. 17, 359 (2011). arXiv:1104.1158 [mathph]
Benini, M., Dappiaggi, C., Hack, T.P.: Quantum field theory on curved backgrounds: a primer. Int. J. Mod. Phys. A 28, 1330023 (2013). arXiv:1306.0527 [grqc]
Benini, M., Dappiaggi, C., Schenkel, A.: Algebraic quantum field theory on spacetimes with timelike boundary. Annales Henri Poincaré 19(8), 2401 (2018). arXiv:1712.06686 [mathph]
Benini, M., Schenkel, A.: Poisson algebras for nonlinear field theories in the Cahiers topos. Annales Henri Poincaré 18(4), 1435 (2017). arXiv:1602.00708 [mathph]
Benini, M., Schenkel, A.: Higher Structures in Algebraic Quantum Field Theory. arXiv:1903.02878 [hepth] (to appear in Fortschritte der Physik)
Benini, M., Schenkel, A., Schreiber, U.: The stack of Yang–Mills fields on Lorentzian manifolds. Commun. Math. Phys. 359(2), 765 (2018). arXiv:1704.01378 [mathph]
Benini, M., Schenkel, A., Woike, L.: Operads for Algebraic Quantum Field Theory. arXiv:1709.08657 [mathph]
Benini, M., Schenkel, A., Woike, L.: Homotopy theory of algebraic quantum field theories. Lett. Math. Phys. 109(7), 1487 (2019)
Berger, C., Moerdijk, I.: Resolution of coloured operads and rectification of homotopy algebras. In: Davydov, A., Batanin, M., Johnson, M., Lack, S., Neeman, A. (eds.) Categories in Algebra, Geometry and Mathematical Physics. Contemporary Mathematics, vol. 431, pp. 31–58. American Mathematical Society, Providence (2007)
Brunetti, R., Dappiaggi, C., Fredenhagen, K., Yngvason, J.: Advances in Algebraic Quantum Field Theory. Springer, Heidelberg (2015)
Brunetti, R., Fredenhagen, K., Ribeiro, P.L.: Algebraic Structure of Classical Field Theory I: Kinematics and Linearized Dynamics for Real Scalar Fields. arXiv:1209.2148 [mathph]
Brunetti, R., Fredenhagen, K., Verch, R.: The generally covariant locality principle: a new paradigm for local quantum field theory. Commun. Math. Phys. 237, 31 (2003). arXiv:mathph/0112041
Collini, G.: Fedosov quantization and perturbative quantum field theory. Ph.D. thesis, Universität Leipzig (2016) arXiv:1603.09626 [mathph]
Costello, K., Gwilliam, O.: Factorization Algebras in Quantum Field Theory: Volume 1, New Mathematical Monographs, vol. 31. Cambridge University Press, Cambridge (2017)
Dappiaggi, C., Murro, S., Schenkel, A.: Nonexistence of natural states for Abelian Chern–Simons theory. J. Geom. Phys. 116, 119 (2017). arXiv:1612.04080 [mathph]
Dwyer, W.G., Spalinski, J.: Homotopy theories and model categories. In: James, I.M. (ed.) Handbook of Algebraic Topology, vol. 73. NorthHolland, Amsterdam (1995)
Fewster, C.J., Verch, R.: Algebraic quantum field theory in curved spacetimes. In: Brunetti, R., Dappiaggi, C., Fredenhagen, K., Yngvason, J. (eds.) Advances in algebraic quantum field theory, pp. 125–189. Springer, Heidelberg (2015). arXiv:1504.00586 [mathph]
Fredenhagen, K.: Generalizations of the theory of superselection sectors. In: Kastler, D. (ed.) The Algebraic Theory of Superselection Sectors: Introduction and Recent Results, p. 379. World Scientific Publishing, Singapore (1990)
Fredenhagen, K.: Global observables in local quantum physics. In: Araki, H., Ito, K.R., Kishimoto, A., Ojima, I. (eds.) Quantum and Noncommutative Analysis: Past, Present and Future Perspectives, pp. 41–51. Kluwer Academic Publishers, Dordrecht (1993)
Fredenhagen, K., Rehren, K.H., Schroer, B.: Superselection sectors with braid group statistics and exchange algebras II: geometric aspects and conformal covariance. Rev. Math. Phys. 4, 113 (1992)
Fredenhagen, K., Rejzner, K.: Batalin–Vilkovisky formalism in the functional approach to classical field theory. Commun. Math. Phys. 314, 93 (2012). arXiv:1101.5112 [mathph]
Fredenhagen, K., Rejzner, K.: Batalin–Vilkovisky formalism in perturbative algebraic quantum field theory. Commun. Math. Phys. 317, 697 (2013). arXiv:1110.5232 [mathph]
Gwilliam, O., Haugseng, R.: Linear Batalin–Vilkovisky quantization as a functor of \(\infty \)categories. Selecta Mathematica 24, 1247 (2018). arXiv:1608.01290 [math.AT]
Haag, R., Kastler, D.: An algebraic approach to quantum field theory. J. Math. Phys. 5, 848 (1964)
Hawkins, E.: A cohomological perspective on algebraic quantum field theory. Commun. Math. Phys. 360(1), 439 (2018). arXiv:1612.05161 [mathph]
Hinich, V.: Homological algebra of homotopy algebras. Commun. Algebra 25(10), 3291–3323 (1997) arXiv:qalg/9702015. Erratum: arXiv:math/0309453 [math.QA]
Hinich, V.: Rectification of algebras and modules. Doc. Math. 20, 879–926 (2015). arXiv:1311.4130 [math.QA]
Hollands, S.: Renormalized quantum Yang–Mills fields in curved spacetime. Rev. Math. Phys. 20, 1033 (2008). arXiv:0705.3340 [grqc]
Hovey, M.: Model Categories, Mathematical Surveys and Monographs, vol. 63. The American Mathematical Society, Providence (1999)
Lang, B.: Universal constructions in algebraic and locally covariant quantum field theory. Ph.D. thesis, University of York (2014)
Ruzzi, G., Vasselli, E.: A new light on nets of \(C^\ast \)algebras and their representations. Commun. Math. Phys. 312, 655 (2012). arXiv:1005.3178 [math.OA]
Schreiber, U.: Differential cohomology in a cohesive infinitytopos. https://ncatlab.org/schreiber/show/differential+cohomology+in+a+cohesive+topos arXiv:1310.7930 [mathph]
Yau, D.: Colored Operads, Graduate Studies in Mathematics, vol. 170. American Mathematical Society, Providence (2016)
Acknowledgements
We would like to thank the anonymous referee for useful comments that helped us to improve this manuscript. We also would like to thank Marco Benini and Lukas Woike for useful discussions. S.B. is supported by a Ph.D. scholarship of the Royal Society (UK). A.S. gratefully acknowledges the financial support of the Royal Society (UK) through a Royal Society University Research Fellowship, a Research Grant and an Enhancement Award (Grant Nos. UF150099, RG160517, RGF\({\backslash }\)EA\({\backslash }\)180270).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Technical details for Sect. 6.2
A Technical details for Sect. 6.2
In this appendix we let \(\mathbf {M}= \mathbf {Ch}(\mathbb {K})\) be the symmetric monoidal model category of chain complexes of vector spaces over a field \(\mathbb {K}\) of characteristic zero. Recall the unital universal enveloping algebra functor \(\phi _! : \mathbf {Alg}_{\mathsf {uLie}}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) from Lemma 5.1. With Proposition 6.1 we see that the categories \( \mathbf {Alg}_{\mathsf {uLie}}\) and \(\mathbf {Alg}_{\mathsf {As}}\) carry a canonical model structure in which a morphism is a weak equivalence if the underlying \(\mathbf {Ch}(\mathbb {K})\)morphism is a quasiisomorphism.
Lemma A.1
The functor \(\phi _! : \mathbf {Alg}_{\mathsf {uLie}}\rightarrow \mathbf {Alg}_{\mathsf {As}}\) preserves weak equivalences.
Proof
As a preparation for the proof, we have to revisit the unital universal enveloping algebra construction from (5.5) and (5.6) for the category \( \mathbf {Ch}(\mathbb {K})\) of chain complexes. By definition, the unital universal enveloping algebra \(\phi _!(V)\in \mathbf {Alg}_{\mathsf {As}}\) of a unital Lie algebra \((V,[\cdot ,\cdot ],\eta )\in \mathbf {Alg}_{\mathsf {uLie}}\) is the differential graded algebra presented by
where \(\mathcal {I}\subseteq T^\otimes V\) is the differential graded ideal generated by the relations
for all homogeneous elements \(v_1,v_2\in V\). Here \(\mathbb {1}_\otimes = \eta _\otimes (1)\) denotes the unit element of the tensor algebra \(T^\otimes V = \bigoplus _{m=0}^{\infty } V^{\otimes m}\) and \(\mathbb {1}= \eta (1)\) is the unit element of V. Using the canonical filtration \(T^{\le n} V := \bigoplus _{m= 0}^n V^{\otimes m}\) of the tensor algebra, we define
for all \(n\ge 0\). This defines a sequential diagram
in the category \(\mathbf {Ch}(\mathbb {K})\), whose colimit
is the chain complex underlying \(\phi _!(V)\). Using the explicit form of the relations (A.2), we observe that the quotient
is given by the coinvariants of the canonical permutation group action on the \(n+1\)fold tensor product of quotient chain complex \(\widetilde{V} := V/\mathbb {K}\mathbb {1}\). In other words, there is a short exact sequence
of chain complexes, for all \(n\ge 0\).
Let now \(\rho : V\rightarrow V^\prime \) be a weak equivalence in \(\mathbf {Alg}_{\mathsf {uLie}}\). Our goal is to prove that \(\phi _!(\rho ) : \phi _!(V)\rightarrow \phi _!(V^\prime )\) is a weak equivalence in \(\mathbf {Alg}_{\mathsf {As}}\), i.e. that the induced map \(H_\bullet (\phi _!(\rho )) : H_\bullet (\phi _!(V))\rightarrow H_\bullet (\phi _!(V^\prime )) \) in homology is an isomorphism. Because filtered colimits commute with forming homologies, it is by (A.3) sufficient to prove that
is an isomorphism, for all \(n\ge 0\). For \(n=0\) this is clearly the case, and for \(n=1\) it follows from the observation that the induced map \(\rho : \widetilde{V}= V/\mathbb {K}\mathbb {1}\rightarrow \widetilde{V}^\prime =V^\prime /\mathbb {K}\mathbb {1}^\prime \) is a quasiisomorphism.
The case \(n> 1\) is proven by induction. Assume that (A.6) is an isomorphism for some \(n\ge 0\). The short exact sequence (A.5) of chain complexes induces a long exact sequence in homology and \(\rho : V\rightarrow V^\prime \) induces a map of long exact sequences
where by our induction hypothesis the second and fifth vertical maps are isomorphisms. The induction step consists of proving that the middle vertical map is an isomorphism. By the five lemma, this follows if the first and fourth vertical maps are isomorphisms. Because \(\mathbb {K}\) is a field of characteristic zero, the chain complex \(\widetilde{V}^{\otimes n+1}/\Sigma _{n+1}\) of coinvariants of the permutation group action is isomorphic to the chain complex \((\widetilde{V}^{\otimes n+1})^{\Sigma _{n+1}}\) of invariants of the permutation group action. For \(\text {char}\,\mathbb {K}=0\), taking invariants of finite group actions preserves quasiisomorphisms, so the Künneth theorem and the fact that \(\rho : \widetilde{V}\rightarrow \widetilde{V}^\prime \) is a quasiisomorphism imply that the first and fourth vertical maps in (A.7) are isomorphisms. This completes the proof. \(\square \)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bruinsma, S., Schenkel, A. Algebraic field theory operads and linear quantization. Lett Math Phys 109, 2531–2570 (2019). https://doi.org/10.1007/s11005019011957
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005019011957
Keywords
 Algebraic quantum field theory
 Locally covariant quantum field theory
 Colored operads
 Universal constructions
 Gauge theory
 Model categories