Relating Nets and Factorization Algebras of Observables: Free Field Theories

In this paper we relate two mathematical frameworks that make perturbative quantum field theory rigorous: perturbative algebraic quantum field theory (pAQFT) and the factorization algebras framework developed by Costello and Gwilliam. To make the comparison as explicit as possible, we use the free scalar field as our running example, while giving proofs that apply to any field theory whose equations of motion are Green-hyperbolic (which includes, for instance, free fermions). The main claim is that for such free theories, there is a natural transformation intertwining the two constructions. In fact, both approaches encode equivalent information if one assumes the time-slice axiom. The key technical ingredient is to use time-ordered products as an intermediate step between a net of associative algebras and a factorization algebra.

Recently there have appeared two, rather elaborate formalisms for constructing the observables of a quantum field theory via a combination of the Batalin-Vilkovisky framework with renormalization methods. One [FR12b], later referred to as FR, works on Lorentzian manifolds and weaves together (a modest modification of) algebraic quantum field theory (AQFT) with the Epstein-Glaser machinery for renormalization. The other [CG17a,CG17b], later referred to as CG, works with elliptic complexes (i.e., "with Euclidean theories") and constructs factorization algebras using renormalization machinery developed in [Cos11]. To practitioners of either formalism, the parallels are obvious, in motivation and techniques and goals. It is thus compelling (and hopefully eventually useful!) to provide a systematic comparison of these formalisms, with hopes that a basic dictionary will lead in time to effortless translation.
The primary goal in this paper is to examine in detail the case of free field theories, where renormalization plays no role and we can focus on comparing the local-to-global descriptions of observables. In other words, in the context of this free theory, we show how to relate the key structural features of AQFT and factorization algebras. In the future we hope to compare interacting field theories, which demands an examination of renormalization's role and deepens the comparison by touching on more technical features.
The key to our comparison result is that while the approach of [Cos11,CG17a,CG17b] constructs the space of quantum observables by deforming the differential on the classical observables, one can equivalently leave the differential unchanged and deform the factorization product instead. This deformation of the factorization product corresponds, in the formalism of [FR12b,FR12a], to the passage from the pointwise product to the time-ordered product by means of the time-ordering operator T. Hence one can either work with the pointwise product · and the differentialŝ . = T −1 •s •T, or with the product ·T and the differential s. In both cases the differential is a derivation with respect to the corresponding product, but only for arguments with disjoint supports, and in fact one obtains a prefactorization structure valued in Beilinson-Drinfeld algebras.
In the Lorentzian framework of [FR12b,FR12a], there is, in addition to the commutative time-ordered product, a non-commutative product , identified as the operator product of quantum observables. The products ·T and are related by time-ordering and we show in Sect. 6.3 how to reconstruct from ·T for the algebra of free fields.
A secondary goal of this paper is to facilitate communication between communities, by providing a succinct treatment of this key example in each formalism. We expect that interesting results-and questions!-can be translated back and forth.
Indeed, one consequence of this effort at comparison is that it spurred a modest enhancement of each formalism. On the FR side, we introduce a differential graded (dg) version of the usual axioms for the net of algebras. Prior work fits nicely into this definition, and in the future we hope to examine its utility in gauge theories. On the CG side, we show that the free field construction applies to Lorentzian manifolds as well as Euclidean manifolds. (The case of interacting theories in the CG formalism does not port over so simply, as it exploits features of elliptic complexes in its renormalization machinery.) As an overview of the paper, we begin by raising key questions about how the formalisms agree and differ. To sharpen these questions, we give precise descriptions of the outputs generated by each formalism, namely the kinds of structure possessed by observables. On the FR side, one has a net of algebras; on the CG side, a factorization algebra of cochain complexes. With these definitions in hand, we can state our main results precisely. As a brief, imprecise gloss, our main result is that the FR and CG constructions agree where they overlap: if one restricts the CG factorization algebra of observables to the opens on which the FR net is defined (and takes the zeroth cohomology), then the factorization algebra and net determine the same functor to vector spaces. We also explain how one can recover as well the algebraic structures on the nets (Poisson for the classical theory, associative for the quantum) from the constructions. Next, we turn to carefully describing the constructions in each formalism, so that we can prove the comparison results. We recall in detail how each formalism constructs the observables for the free theory given by a Green-hyperbolic operator, producing on the one hand, a net of algebras on a globally hyperbolic Lorentzian manifold, and on the other, a factorization algebra. With the constructions in hand, the proof of the comparison results is straightforward. Finally, we draw some lessons from the comparison and point out natural directions of future inquiry.

A Preview of the Key Ideas
Before delving into the constructions, we discuss field theory from a very high altitude, ignoring all but the broadest features, and explain how each formalism approaches observables. With this knowledge in hand, it is possible to raise natural questions about how the formalisms differ. The rest of the paper can be seen as an attempt to answer these questions.

Classical theories.
A classical field theory is specified, loosely speaking, by (1) a smooth manifold M (the "spacetime"), (2) a smooth fiber bundle over the manifold π : E → M whose smooth sections (M, E) are the "fields," (3) and a system of partial differential equations on the fields (the "equations of motion" or "Euler-Lagrange equations") that are variational in nature.
We will discuss issues of functional analysis later, but note that we equip the space (M, E) of smooth sections with its natural Fréchet topology and use the notation E(M) for it.
In this paper, the focus is on free fields and we will write the equations as P(φ) = 0 where φ is a field and P denotes the equations of motion operator. (There are many variations and refinements on this loose description, of course, but most theories fit into this framework.) Here the manifold M is equipped with a metric g, and an important difference is that the FR formalism requires g to have Lorentzian signature while the CG formalism requires g to be Riemannian. We use the notation M ≡ (M, g).
In this paper we focus on the Lorentzian case and we will assume that P is a Greenhyperbolic operator, i.e. it has unique retarded and advanced Green functions (see [Bär15] for a lucid and extensive discussion of this notion). Note that this class of operators allows one to treat the free scalar field and the free Dirac fermion as special cases.
The running example in this paper is the free scalar field, where the fiber bundle is the trivial rank one vector bundle E = M × R → M so that the fields are simply C ∞ (M, R), the smooth functions on M. The differential equations can be concisely given, since they play such a central role throughout physics and mathematics: where g denotes the d'Alembertian (i.e. Laplace-Beltrami operator for a Lorentzian metric) and m ∈ R + is called the "mass." A crucial feature of field theory is that it is local on the manifold M. Note, to start, that the fields E form a sheaf that assigns to an open set U , the set Consider now Sol(M), the set of solutions to the equations of motion, i.e., the configurations (or fields) that are allowed by the physical system described by the classical field theory. (We ignore here, since we're speaking vaguely, whether we should consider solutions that are not smooth, such as distributional solutions and whether we ought to impose boundary conditions.) Since differential equations are, by definition, local on M, solutions to the equations of motion actually form a sheaf on M . That is, if we write for sections on U that satisfy the equations of motion, then Sol also defines a contravariant functor Sol : Open(M) op → Set. As global solutions are patched together from local solutions, Sol forms a sheaf of sets on M.
Any measurement of the system should then be some function of Sol(M), the set of global solutions. In other words, the algebra of functions O(Sol(M)) constitutes an idealized description of all potential measuring devices for the system. (An important issue later in the text will be what kind of functions we allow, but we postpone that challenge for now, simply remarking that solutions often form a kind of "manifold," possibly singular and infinite-dimensional, so that O is not merely set-theoretic.) Even better, we obtain a covariant functor O(Sol(−)) : Open(M) → CAlg to the category CAlg of commutative algebras. As Sol is a sheaf, O(Sol(−)) should be a cosheaf, meaning that it satisfies a gluing axiom so that the global observables are assembled from the local observables.
Nothing about this general story depends on the signature of the metric, and each formalism gives a detailed construction of a cosheaf of commutative algebras for a classical field theory (although some technical choices differ, e.g., with respect to functional analysis). It is with quantum field theories that the formalisms diverge.
1.2. Quantization. Loosely speaking, the formalisms describe the observables of a quantum field theory as follows.
• The CG formalism provides a functor Obs q : Open(M) → Ch, which assigns a cochain complex (or differential graded (dg) vector space) of observables to each open set. This cochain complex is a deformation of a commutative dg algebra Obs cl , where H 0 (Obs cl (U )) = O(Sol(U )). • The FR formalism provides a functor A : Caus(M) → Alg * , which assigns a unital * -algebra to each "causally convex" open set (so that Caus(M) is a special subcategory of Open(M) depending on the global hyperbolic structure of M). The algebra A(U ) is, in practice, a deformation quantization of the Poisson algebra O(Sol(U )).
In brief, both formalisms deform the classical observables, but they deform it in different ways. In Sect. 2 we give precise descriptions of both formalisms. Two questions jump out: (1) Why does the FR formalism (and AQFT more generally) restrict to a special class of opens but the CG formalism does not? And what should the FR formalism assign to a general open? (2) Why does the FR formalism (and AQFT more generally) assign a * -algebra but the CG formalism assigns only a vector space? And can the CG approach recover the algebra structure as well?
Both questions admit relatively simple answers, but those answers require discussion of the context (e.g., the differences between elliptic and hyperbolic PDE) and of the BV framework for field theory. We will organize our treatment of the free scalar field toward addressing these questions.

Nets Versus Factorization Algebras
This section sets the table for this paper. We begin with some background notation (which is mostly self-explanatory, so we suggest the reader only refer to it if puzzled) before reviewing quickly the key definitions about nets and factorization algebras. We made an effort to make the definitions accessible to those from the complementary community.

Geometry
We fix throughout a smooth vector bundle over the manifold π : E → M. As we work throughout with manifolds equipped with a metric, we use the associated volume form of (M, g) to identify smooth functions with densities. We also assume that E is equipped with a nondegenerate bilinear pairing on the fibers, so as to identify sections of E with sections of the dual bundle E * .

Functional analysis
We will follow the conventions that began with Schwartz for various function spaces. We denote The reason for using this notation is that it is quite standard in the literature (e.g. [Hör03]), where one makes a distinction between (M, E) (or C ∞ (M, R) in the special case of E = M × R), which is understood just as a vector space and E(M), which is (M, E) with its natural Fréchet topology. We will also work with certain natural completions of tensor products, which arise by geometric constructions.
Given Since we fixed an explicit isomorphism E ∼ = E * of vector bundles, we have preferred Remark 2.1. We note that these conventions differ from those in [CG17a], where E c (M) denotes the compactly supported smooth sections, E(M) the distributional sections, and E c (M) the compactly supported distributional sections.
We indicate the complexification of a real vector space V by a superscript V C .

Categories
Myriad categories will appear throughout this work, and so we introduce some of the key ones, as well as establish notations for generating new ones. Categories will be indicated in bold. We start with a central player. Let Nuc denote the category of nuclear, topological locally convex vector spaces, which is a subcategory of the category of topological locally convex spaces TVec. It is equipped with a natural symmetric monoidal structure via the completed projective tensor product ⊗ (although we could equally well say 'injective' as the spaces are nuclear). A reason to work with nuclear spaces is the fact that injective and projective tensor products are isomorphic for such spaces, hence it is sufficient to work with just one monoidal structure. Nuclearity is preserved under taking strong duals, a direct sum, an inductive limit of a countable family of nuclear spaces, a product and a projective limit of any family of nuclear spaces. Moreover, spaces of smooth sections and their strong duals introduced in Sect. 2.1.2 are nuclear. (See [Tre67] for an accessible treatment of nuclear spaces.) We emphasize that we make this choice as it suits our purposes. Many of our ideas and constructions work with other categories, such as TVec, but require one to be more attentive to which monoidal structures are in play.
Remark 2.2. Given the spaces appearing in our construction, it is often worthwhile to work instead with convenient vector spaces [KM97], but we will not discuss that machinery here, pointing the interested reader to [CG17a,Rej16].
If we wish to discuss the category of unital associative algebras of such vector spaces, we write Alg(Nuc). Here the morphisms are continuous linear maps that are also algebra morphims. Similarly, we write CAlg(Nuc) for unital commutative algebras in Nuc and PAlg(Nuc) for unital Poisson algebras therein. We will typically want * −structures (i.e., an involution compatible with the multiplication), and we use Alg * (Nuc), CAlg * (Nuc), and PAlg * (Nuc), respectively.
More generally, for C a category with symmetric monoidal structure ⊗, we write Alg(C, ⊗) for the unital algebra objects in that category. Often we will write simply Alg(C), if there is no potential confusion about which symmetric monoidal structure we mean.
It is often useful to forget extra structure. We use v : PAlg * (Nuc) → Nuc and v : Alg * (Nuc) → Nuc to denote forgetful functors to vector spaces. We use c : PAlg * (Nuc) → CAlg * (Nuc) to denote the forgetful functor to commutative algebras.
In a similar manner, if C is an additive category, we write Ch(C) to denote the category of cochain complexes and cochain maps in C. Thus Ch(Nuc) denotes the category of cochain complexes in Nuc (which, unfortunately, is not a particular nice place to do homological algebra). We note that we allow unbounded complexes, but in practice our constructions here produce complexes bounded on one side. (If we treated gauge theories, we would have complexes unbounded in both directions.) This category admits a symmetric monoidal structure by the usual formula: the degree k component of the tensor product of two cochain complexes is Hence we write Alg(Ch(Nuc)) for the category of algebra objects, also known as dg algebras.
Remark 2.3. This category Ch(Nuc) admits a natural notion of weak equivalence: a cochain map is a weak equivalence if it induces an isomorphism on cohomology. Thus it is a relative category and presents an (∞, 1)-category, although we will not need such notions here.
There is another important variant to bear in mind. In the original axiomatic framework of Haag and Kastler, the notion of subsystems is encoded in the injectivity requirement for algebra morphisms. We use the superscript "inj", if we want to impose this condition on morphisms, for a given category. Hence Alg * (Nuc) inj consists of the category whose objects are nuclear, topological locally convex unital * -algebras but whose morphisms are injective continuous algebra morphisms.

Dealing with
In perturbative field theory, one works with as a formal variable. In our situation, since we restrict to free fields, this is overkill: one can actually set = 1 throughout, and all the constructions are well-defined. But serves as a helpful mnemonic for what we are deforming and as preparation for the interacting case.
We thus introduce categories involving that emphasize its algebraic role and minimize any topological issues. As a gesture at the topological issues, note that the ring C[[ ]] is equipped with an adic topology, and so one might want to work with topological vector spaces that are modules over C[[ ]] in a continuous way. There are then some nontrivial compatibilities to discuss. Instead, we will restrict our attention to a special class of objects where we can avoid such discussions, as follows.
Let Nuc denote the following category. The objects are the same as those of Nuc, but given V ∈ Nuc we use V [[ ]] to denote the corresponding object in Nuc . The reader should think of this space as n≥0 n V so that a vector v would be a formal power series v = v 0 + v 1 + · · · + n v n + · · · with coefficients in V . We want a morphism to encode an -linear map of such modules, so it should be determined by where the 0 V component of V [[ ]] would go. Hence, we define the space of morphisms to be where the n is just a formal bookkeeping device. Composition is by precisely the rule one would use for -linear maps. For instance, We equip this category with a symmetric monoidal structure borrowed from Nuc: Note that it agrees with the completed tensor product over C[[ ]], in the same sense that composition of morphisms does. The category Alg(Nuc ) then consists of algebra objects in that symmetric monoidal category, Ch(Nuc ) denotes cochain complexes therein, and Alg(Ch(Nuc )) denotes dg algebras therein. We use again the notations v and c as forgetful functors, hopefully without producing confusion.

2.2.
Overview of the pAQFT setting. The framework of AQFT formalizes rigorously the core ideas of Lorentzian field theory, building on the lessons of rigorous quantum mechanics, but the standard calculational toolkit for interacting QFT does not fit into the framework. Perturbative AQFT is a natural modification of the framework within which one often can realize a version of the usual calculations, while preserving the structural insights of AQFT.

2.2.1.
Let M = (M, g) be an n-dimensional spacetime, i.e., a smooth n-dimensional manifold with the metric g of signature (+, −, . . . , −). We assume M to be oriented, time-oriented and globally hyperbolic (i.e. it admits foliation with Cauchy hypersurfaces). To make this concept clear, let us recall a few important definitions in Lorentzian geometry.
Definition 2.4. Let γ : R ⊃ I → M be a smooth curve in M, for I an interval in R and letγ be the vector tangent to the curve. We say that γ is The classification of curves defined above is the causal structure of M. In the AQFT community, the underlying commutative algebra of P is known as the space of classical fields. In more formal language, we introduce a forgetful functor c : PAlg * (Nuc) → CAlg(Nuc) and state the following.
Definition 2.8. The space of classical fields is the functor c • P.
Remark 2.9. Note that there is a conflict here with terminology in the CG framework (and with some other communities working in physics), where a field is an element of E, i.e., a configuration in the AQFT sense. Thus the space of fields in the CG sense corresponds to the configuration space in the AQFT sense. In the CG framework, c • P is the commutative algebra of observables on the classical fields, aka functions on the configuration space.
It is useful to introduce a further axiom that articulates more precisely how the dynamics of a classical theory should behave. Here, a time orientation plays an important role.
Definition 2.10. Given the global timelike vector field u (the time orientation) on M, a causal curve γ is called future- Definition 2.12. A Cauchy hypersurface in M is a smooth subspace of M such that every inextendible causal curve intersects it exactly once.
Remark 2.13. The significance of Cauchy hypersurfaces lies in the fact that one can use them to formulate the initial value problem for partial differential equations, and for normally hyperbolic equations this problem has a unique solution.
With this notion in hand, we have a language for enforcing equations of motion at an algebraic level.
Definition 2.14. A model is said to be on-shell if in addition it satisfies the time-slice axiom: for any N ∈ Caus(M) a neighborhood of a Cauchy surface in the region O ∈ Caus(M), then P sends the inclusion N ⊂ O to an isomorphism P(N) ∼ = P(O). Otherwise the model is called off-shell.
Remark 2.15. Note that being on-shell codifies the idea that the set of solutions is specified by the initial value problem on a Cauchy hypersurface.
where the isomorphism (2) is induced by the isomorphism (1).
Later, it will be important to have a generalization of definitions that assigns a dg algebra to each O ∈ Caus(M). Recall that a dg algebra is a Z-graded vector space A = n A n equipped with • a grading-preserving associative multiplication so that a b ∈ A m+n if a ∈ A m and b ∈ A n , and • a differential d : A → A that increases degree by one, satisfies d 2 = 0, and is a derivation, so that This generalization appears naturally when one adopts the BV framework for field theory, as it uses homological algebra in a serious way. We introduce these dg models in the next section.

A dg version of pAQFT.
We articulate here a very minimal generalization of the usual AQFT axioms that allows dg algebras, rather than plain algebras, as the target category. It will be apparent that free field theories fits these axioms, and we intend to show that the perturbative construction of gauge theories does as well. We forewarn the reader that we do not impose certain conditions (notably isotony) because we do not yet know an appropriate dg generalization.
Remark 2.19. Others have suggested modifications of AQFT in a dg direction, particularly [BDHS13,BSS17a,BS17], who explore the case of abelian gauge theories in depth and even examine some nonperturbative facets. A generalization to non-abelian gauge theories has been obtained on the classical level in [BSS17b]. We expect, based on explicit models constructed in [FR12a], that our minimal, perturbative definitions apply verbatim to gauge theories like Yang-Mills theories and can be seen as the infinitesimal version of the axioms of homotopy AQFT proposed by Benini and Schenkel [BS17].

2.3.1.
Before we get to our definition, let us sketch the big picture. The basic principle is to replace ordinary categories and functors by higher categorical analogues. Hence we want to articulate a version of a QFT model as a functor between ∞-categories, and so the first step is to determine the source and target ∞-categories. Our source category Caus(M) does not require modification in any nontrivial way, so we simply view it as an ∞-category. 1 On the other hand, the target category Alg * (Nuc ) admits several analogues among ∞-categories. Here are two: • Consider the category Ch(Nuc ) as a relative category with quasi-isomorphism as the notion of weak equivalence; this determines an ∞-category we momentarily denote D(Nuc ). Then take the ∞-category of * -algebras Alg * (D(Nuc )). • Consider the category Alg * (Ch(Nuc )) as a relative category with quasi-isomorphism as the notion of weak equivalence. This determines another ∞-category.
Note an important difference between these approaches: whether we take algebras at a 1-categorical level or ∞-categorical level. It is not manifest these constructions agree, nor are these the only ways to form a higher category of homotopy-coherent * -algebras in some class of topological vector spaces. 2 Once one has fixed a target ∞-category C, then one can view a functor of ∞-categories A : N(Caus(M)) → C as a higher version of the data of a QFT model: in a homotopycoherent fashion, it assigns a * -algebra to each O in Caus(M).
Remark 2.20. It is an interesting question-particularly from the perspective of examples and applications-to determine when such a functor of ∞-categories A can be represented by a strict functor between explicit (relative) categories, such as A : Caus(M) → Alg * (Ch(Nuc )). We do not address that question here, although we expect it admits a clean answer. We feel, however, that it is a question distinct from the issue of formulating a good, abstract definition.
To obtain a higher version of a QFT model, however, we need to articulate versions of Einstein causality and the time-slice axiom. Again there are several approaches. As yet we do not feel it is clear which approach is most natural or compelling, so we encourage interested readers to explore and advocate the approach that appeals to them.
Thankfully, as we will see, the constructions from the FR and CG formalisms yield ordinary functors that ought to determine functors of higher categories in almost any imaginable approach, as will be manifest to those familiar with higher categories. To flag the provisional nature of the definitions we provide below, we include the adjective "semistrict," since we mix lower and higher categorical approaches.

2.3.2.
Recall that Ch(Nuc) denotes the category whose objects are cochain complexes in Nuc and whose morphisms are continuous cochain maps. We equip it with the completed projective tensor product ⊗ to make it symmetric monoidal. So far we have only specified an ordinary category, but we can view it as presenting an ∞-category by making it a relative category: a morphism is a weak equivalence if it is a quasi-isomorphism. Note that one can post-compose such a functor with the functor of cohomology. One then obtains, for instance, a functor It is almost a classical field theory model, as before. By construction it satisfies Einstein causality, but it need not satisfy isotony. Hence our definition imposes the usual axioms (excluding isotony) only at the level of cohomology. This change is natural inasmuch as we view quasi-isomorphic cochain complexes as equivalent, and so we should only impose conditions that are invariant under quasi-isomorphism.
Remark 2.22. Isotony holds at the cochain level for the constructions and example with which we are familiar, but it may fail at the level of cohomology, as it does in the setting of gauge theory. (Consider, as a toy model, how ordinary cohomology can be viewed as arising from sheaf cohomology of a locally constant sheaf. Locally, the sheaf is simple but its cohomological behavior depends on the topology of each open.) One might guess that isotony holds at the level of cohomology for inclusions O → O between contractible opens, but we hesitate to impose that condition until we have explored more examples.
One can further loosen the definition, if one wishes, by asking for associativity of morphisms only up to homotopy coherence. This is a formal change to implement and not relevant to our focus in this paper. We will introduce, however, the appropriate notion of weak equivalence of models, so that we have a relative category implicitly presenting an ∞-category.
Definition 2.23. A natural transformation η : P ⇒ P between two semistrict dg classical field theory models is a weak equivalence if the map η O : P(O) → P (O) is a quasi-isomorphism for every O ∈ Caus(M).
We now turn to the quantum setting.

Overview of factorization algebras.
In their work on chiral conformal field theory, Beilinson and Drinfeld introduced factorization algebras in an algebro-geometric setting. These definitions also encompass important objects in geometric representation theory, playing a key role in the geometric Langlands program. Subsequently, Francis, Gaitsgory, and Lurie identified natural analogous definitions in the setting of manifolds, which provide novel approaches in, e.g., homotopical algebra and configuration spaces. Below we describe a version of factorization algebras, developed in [CG17a], that is well-suited to field theory.
As this brief history indicates, factorization algebras do not attempt to axiomatize the observables of a field theory. Instead, they include examples from outside physics, such as from topology and representation theory, and permit the transport of intuitions and ideas among these fields. We will explain below further structure on a factorization algebra that makes it behave like the observables of a field theory in the Batalin-Vilkovisky formalism.
2.4.1. The core definitions Let M be a smooth manifold. Let Open(M) denote the poset category whose objects are opens in M and where a morphism is an inclusion. A factorization algebra will be a functor from Open(M) to a symmetric monoidal category C with tensor product ⊗ equipped with further data and satisfying further conditions. We will explain this extra information in stages. (Note that almost all the definitions below apply to an arbitrary topological space, or even site with an initial object, and not just smooth manifolds.) Definition 2.26. A prefactorization algebra F on M with values in a symmetric monoidal category (C, ⊗) consists of the following data: • for each open U ⊂ M, an object F(U ) ∈ C, • for each finite collection of pairwise disjoint opens U 1 , . . . , U n , with n > 0, and an open V containing every U i , a morphism and satisfying the following conditions: • composition is associative, so that the triangle commutes for any collection {U i }, as above, contained in V and for any collections {T i j } j where for each i, the opens {T i j } j are pairwise disjoint and each contained in are equivariant under permutation of labels, so that the triangle commutes for any σ ∈ S n .
Note that if one restricts to collections that are singletons (i.e., some U ⊂ V ), then one obtains simply a precosheaf F : Open(M) → C. By working with collections, we are specifying a way to "multiply" elements living on disjoint opens to obtain an element on a bigger open. In other words, the topology of M determines the algebraic structure. (One can use the language of colored operads to formalize this interpretation, but we refer the reader to [CG17a] for a discussion of that perspective. Moreover, one can loosen the conditions to be homotopy-coherent rather than on-the-nose.) A factorization algebra is a prefactorization algebra for which the value on bigger opens is determined by the values on smaller opens, just as a sheaf is a presheaf that is local-to-global in nature. A key difference here is that we need to be able to reconstruct the "multiplication maps" from the local data, and so we need to modify our notion of cover accordingly.
Remark 2.28. Note that a Weiss cover is also a cover, simply by considering singletons. Typically, however, an ordinary cover is not a Weiss cover. Consider, for instance, the case where U = V V , with V, V disjoint opens. Then {V, V } is an ordinary cover by not a Weiss cover, since neither V nor V contains any two element set {x, x } with x ∈ V and x ∈ V . Nonetheless, Weiss covers are easy to construct. For instance, a Weiss cover of an n-manifold M is given by the collection of open subsets that are each homeomorphic to a finite union of copies of R n . This notion of cover determines a Grothendieck topology on M; concretely, this means it determines a notion of cover for each open of M that behaves nicely with respect to intersection of opens and refinements of covers. In particular, we can talk about (co)sheaves relative to this Weiss topology on M.
Definition 2.29. A factorization algebra F is a prefactorization algebra on M such that the underlying precosheaf is a cosheaf with respect to the Weiss topology. That is, for any open U and any Weiss cover is a coequalizer.
Typically, our target category (C, ⊗) is vector spaces of some kind (such as topological vector spaces), in which case the coproducts denote direct sums ⊕ and the coequalizer simply means that F(U ) is the cokernel of the difference of the maps for the inclusions U i ∩ U j ⊂ U i and U i ∩ U j ⊂ U j . Note that we have implicitly assumed that C possesses enough colimits, and we will assume that henceforward.
Remark 2.30. The prefactorization algebras we construct in this paper use spaces of smooth or distributional sections, and hence live in nuclear spaces. In Chapter 6, Section 5 of [CG17a], it is checked directly that the relevant colimits exist for these functors in the closely related category of differentiable vector spaces. In short, it is proved there that our main constructions form factorization algebras. (The arguments mimic the proofs that smooth functions form a sheaf-partitions of unity play a role-but exploit the Weiss condition at one key point.) We do not examine here the colimit condition in nuclear spaces.
Remark 2.31. In fact, our target category is usually cochain complexes of vector spaces, and we want to view cochain complexes as (weakly) equivalent if they are quasiisomorphic. Hence, we want to work in an ∞-categorical setting. In such a setting, the cosheaf condition becomes higher categorical too: we replace the diagram above by a full simplicial diagram over theČech nerve of the cover and we require F(U ) to be the homotopy colimit over this simplicial diagram. For exposition of these issues, see [CG17a].
In practice, another condition often holds, and it's certainly natural from the perspective of field theory.
is an isomorphism for every pair of disjoint opens V, V .
In brief, if F is a multiplicative factorization algebra, one can reconstruct F if one knows how it behaves on a collection of small opens. For instance, suppose M is a Riemannian manifold and one knows F on all balls of radius ≤ 1, then one can reconstruct Note that there is a category of prefactorization algebras PFA(M, (C, ⊗)) where each object is a prefactorization algebra on M and where a morphism η : F → G consists of a collection of morphisms in C, such that all the multiplication maps intertwine. The factorization algebras form a full subcategory FA(M, (C, ⊗)) of PFA(M, (C, ⊗)).
Remark 2.33. It is natural to wonder if there is a functor adjoint to the forgetful (aka inclusion) functor of factorization algebras into prefactorization algebras, by analogy to the sheafification functor from presheaves to sheaves. We do not know the answer to this question. There exists a cosheafification functor from precosheaves to Weiss cosheaves, but the underlying precosheaf of a prefactorization algebra does not know about structure maps involving multiple disjoint opens, so it seems unlikely that Weiss cosheafification is sufficient (by itself) to produce a factorization algebra.

Relationship with field theory
By now, the reader may have noticed that there has been no discussion of fields or Poisson algebras or so on. Indeed, the definitions here are more general and less involved than for the AQFT setting because they aim to apply outside the context of field theory (e.g., there are interesting examples of factorization algebras arising from geometric representation theory and algebraic topology) and because there is no causality structure to track. By contrast, AQFT aims to formalize precisely the structure possessed by observables of a field theory on Lorentzian manifolds, and hence must take into account both causality and other characterizing features of field theories (e.g., Poisson structures at the classical level).
Let us briefly indicate how to articulate observables of field theory in this setting, suppressing important issues of homological algebra and functional analysis, which are discussed below in the context of the free scalar field and in [CG17a,CG17b] in a broader context. The necessary extra ingredient is that on each open U , the object F(U ) has an algebraic structure.
Definition 2.34. Given prefactorization algebras F, G on M, let F ⊗ G denote the prefactorization algebra with and the obvious tensor product of structure maps.
In other words, the category of prefactorization algebras PFA(M, (C, ⊗)) is itself symmetric monoidal. In many cases the full subcategory FA(M, (C, ⊗)) is closed under this symmetric monoidal product. In particular, if the tensor product ⊗ in C preserves colimits separately in each variable (or at least geometric realizations), then F ⊗ G is a factorization algebra when F, G are.
Thus, if C is some category of vector spaces, one can talk about, e.g., a commutative algebra in PFA(M, (C, ⊗)). That means F is equipped with a map of prefactorization algebras · : F ⊗F → F satisfying all the conditions of a commutative algebra. Similarly, one can talk about Poisson or * -algebras.
It is equivalent to say that F is in CAlg(PFA(M, (C, ⊗))) or to say it is a prefactorization algebra with values in CAlg(C, ⊗), the category of commutative algebras in (C, ⊗). This equivalence does not apply, however, to factorization algebras, due to the local-to-global condition: a colimit of commutative algebras does not typically agree with the underlying colimit of vector spaces. For instance, in the category of ordinary commutative algebras CAlg(Vec, ⊗), the coproduct is A ⊗ B, but in the category of vector spaces Vec, it is the direct sum A ⊕ B. (This issue is very general: for an operad O, the category O-alg(C, ⊗) of O-algebras has a forgetful functor to C that always preserves limits but rarely colimits.) Thus, a commutative algebra in factorization algebras F ∈ CAlg(PFA(M, (C, ⊗))) assigns a commutative algebra to every open U and a commutative algebra map to every inclusion of disjoint opens U 1 , . . . , U n ⊂ V , but it satisfies the coequalizer condition in C, not in CAlg(C, ⊗).
This terminology lets us swiftly articulate a deformation-theoretic view of the Batalin-Vilkovisky framework.

Definition 2.35.
A classical field theory model is a 1-shifted Poisson (aka P 0 ) algebra P in factorization algebras FA(M, Ch(Nuc)). That is, to each open U ⊂ M, the cochain complex P(U ) is equipped with a commutative product · and a degree 1 Poisson bracket {−, −}; moreover, each structure map is a map of shifted Poisson algebras.
Note that we always work with the completed projective tensor product ⊗ with nuclear spaces, so we will suppress it from the notation. In other words, we simply write Ch(Nuc) instead of (Ch(Nuc), ⊗).
In parallel, we have the following. • an -linear commutative product ·, • an -linear, degree 1 Poisson bracket {−, −}, and • a differential such that Moreover, each structure map is a map of BD algebras.
Remark 2.37. We include the condition of flatness to ensure that tensoring need not be derived. All of our examples will be free in the appropriate sense.
Note that for any BD algebra A, there is a dequantization that is automatically a 1-shifted Poisson algebra. Hence every quantum field theory model dequantizes to a classical field theory model. Given a classical field theory model P, one can ask if it quantizes, i.e., if there exists a quantum field theory A whose dequantization is P.
Remark 2.38. The condition on the differential is an abstract version of a property possessed by the divergence operator for a volume form on a finite-dimensional manifold. Thus, the differential of a BD algebra behaves like a "divergence operator," as explained in Chapter 2 of [CG17a], and hence encodes (some of) the kind of information that a path integral would.

A variant definition: locally covariant field theories.
Above, we have worked on a fixed manifold, but most field theories are well-defined on some large class of manifolds. For instance, the free scalar field theory makes sense on any manifold equipped with a metric of some kind. Similarly, (classical) pure Yang-Mills theory makes sense on any 4-manifold equipped with a conformal class of metric and a principal G-bundle. One can thus replace Open(M) by a more sophisticated category whose objects are "manifolds with some structure" and whose maps are "structure-preserving embeddings." (In the scalar field case, think of manifolds-with-metric and isometric embeddings.) In a field theory, the fields restrict along embeddings and the equations of motion are local (but depend on the local structure), so that solutions to the equations Sol forms a contravariant functor out of this category. Likewise, one can generalize the models of classical or quantum field theory to this kind of setting, as we now do.
Remark 2.39. This discussion is not necessary for what happens elsewhere in the paper, so the reader primarily interested in our comparison results should feel free to skip ahead.

The Lorentzian case
We begin by replacing the fixed spacetime M by a coherent system of all such spacetimes.
Definition 2.40. Let Loc n be the category where an object is a connected, (time-)oriented globally hyperbolic spacetime of dimension n and where a morphism χ : M → N is an isometric embedding that preserves orientations and causal structure. The latter means that for any causal curve γ : We can extend Loc n to a symmetric monoidal category Loc ⊗ n by allowing for objects that are disjoint unions of objects in Loc n . The relevant symmetric monoidal structure is the disjoint union . Note that a morphism in Loc ⊗ n must send disjoint components to spacelike-separated regions.
We are now ready to state what is meant by a locally covariant field theory in our setting, following the definition proposed in [BFV03]. We use here a very minimal version of the axioms for the locally covariant field theory functor. From the physical viewpoint, it might be necessary to require some further properties, e.g. dynamical locality (for more details see [FV12a,FV12b]).
Note that isotony is implicit in the requirement that morphisms in Alg * (Nuc) inj are injective. It is likewise implicit in the following definitions.
Definition 2.42. A locally covariant quantum field theory model of dimension n is a functor A : Loc n → Alg * (Nuc ) inj such that Einstein causality holds: Given two isometric embeddings χ 1 : M 1 → M and χ 1 : M 1 → M whose images χ 1 (M 1 ) and χ 2 (M 2 ) are spacelike-separated, the subalgebras for any a 1 ∈ A(M 1 ) and a 2 ∈ A(M 2 ). Remark 2.44. The category Alg * (Nuc) inj has a natural symmetric monoidal structure via the completed tensor product ⊗. Then Einstein causality can be rephrased as the condition that A is a symmetric monoidal functor from Loc ⊗ n to Alg * (Nuc) inj, ⊗ , as discussed in [BFIR14].

The factorization algebra version Let us begin with the simplest version.
Definition 2.45. Let Emb n denote the category whose objects are smooth n-manifolds and whose morphisms are open embeddings. It possesses a symmetric monoidal structure under disjoint union.
Then we introduce the following variant of the notion of a prefactorization algebra. Below, we will explain the appropriate local-to-global axiom.
Definition 2.46. A prefactorization algebra on n-manifolds with values in a symmetric monoidal category (C, ⊗) is a symmetric monoidal functor from Emb n to C.
This kind of construction works very generally. For instance, if we want to focus on Riemannian manifolds, we could work in the following setting. Definition 2.48. A prefactorization algebra on Riemannian n-manifolds with values in a symmetric monoidal category (C, ⊗) is a symmetric monoidal functor from Riem n to C.
Remark 2.49. In these definitions, the morphisms in Riem n form a set, but one can also consider an enrichment so that the morphisms form a space, perhaps a topological space or even some kind of infinite-dimensional manifold. This kind of modification can be quite useful. For instance, this would allow to view isometries (i.e., isometric isomorphisms) as a Lie group, rather than as a discrete group.
In general, let G denote some kind of local structure for n-manifolds, such as a Riemannian metric or complex structure or orientation. In other words, G is a sheaf on Emb n . A G-structure on an n-manifold M is then a section G ∈ G(M). There is a category Emb G whose objects are n-manifolds with G-structure (M, G M ) and whose morphisms are G-structure-preserving embeddings, i.e., embeddings f : M → N such that f * G N = G M . This category is fibered over Emb G . One can then talk about prefactorization algebras on G-manifolds.
We now turn to the local-to-global axiom in this context.
With this definition in hand, we can formulate the natural generalization of our earlier definition.
Definition 2.51. A factorization algebra on G-manifolds is a symmetric monoidal functor F : Emb G → C that is a cosheaf in the Weiss topology.
One can mimic the definitions of models for field theories in this setting.

Comparing the Definitions
Now that we have the key definitions in hand, we can restate the questions (1.2) more sharply.
(1) In the CG formalism a model for a field theory defines a functor on the poset We will address these questions in the specific example of free scalar field theory. In the conclusion, we draw some lessons and hints about the case of interacting theories and non-scalar theories.
3.1. Free field theory models. We now turn to stating our main result, which is a comparison of the FR and CG procedures. First, we need to state what each formalism accomplishes with the free field. In the following sections, we spell out in detail how to construct the models asserted and prove the propositions. We remark that these statements are likely hard to understand at this point; the point we emphasize here is just that we get models in both the FR and CG senses. Remark 3.2. In Proposition 3.1 we mention the Peierls bracket, which is a Poisson bracket introduced by Peierls in [Pei52]. It is defined using the Lagrangian formalism (in contrast to the usual canonical bracket introduced in the Hamiltonian framework), in a fully covariant way, as a bracket on the algebra of functions on the space of solutions to the equations of motion. A key feature is that it has a well-defined off-shell extension to a Poisson bracket on the space of all functionals on the configuration space (see [DF03]). We come back to this structure in Sect. 6.4.
Remark 3.3. Note that allowing for distributional solutions enforces a restriction on the dual, so that F is generated by functionals of the form φ → φ f , where f is a compactly supported test density on M, modulo the ideal generated by functionals of the form φ → Pφ f .
Analogously, the CG approach to free theories applies to Lorentzian manifolds, as we show below, and we obtain the following.
It is equipped with the degree 1 Poisson bracket by using the Leibniz rule to extend the pairing on generators with f −1 in degree -1 and f 0 in degree 0. There is a quantum field theory model A for the free theory with operator P, i.e., a BD algebra in factorization algebras on M where A(U ) is the BD quantization of P(U ) whose differential is d P + . This BV Laplacian is determined by the conditions that it is compatible with the shifted Poisson bracket on quadratic terms and that it vanishes on constants and on linear generators.
To summarize, we have the following collection of models.
We remark that these propositions might seem distinct on the surface, since the CG result involves cochain complexes while the FR result does not. This distinction disappears when one examines the actual constructions: both use a BV framework, and hence the FR construction actually builds a cochain-level functor as well. We formalize a dg version of pAQFT in Sect. 2.3 below, which makes the comparison even more obvious.

The comparison results.
With these models in hand, a clean comparison result can be stated. Before making the formal statement, we first explain it loosely.
The basic idea is that we can restrict the factorization algebras to and This cohomology is concentrated in degree zero, which we verify as we prove the comparison results. (For gauge theories the cohomology is not necessarily concentrated in degree zero.) We then want to compare the functors H 0 (P/A)| Caus(M) to the corresponding FR functors. The targets of these functors, however, are different. For instance, P takes values in 1-shifted Poisson algebras and hence so does H 0 P (although the bracket must then be trivial for degree reason). By contrast, P pol takes values in Poisson * -algebras.
(The subscript pol indicates that we will use polynomial algebras for the comparison. See Remark 6.1 for a discussion of natural variant constructions, notably with regular functions.) Hence we apply forgetful functors to land in the same target category. We now state our comparison result for the classical level.

of functors to commutative dg algebras CAlg(Ch(Nuc)), and this natural transformation is an isomorphism of commutative dg algebras. Thus, there is a natural isomorphism
of functors into commutative algebras CAlg(Nuc).
This identification is not surprising, as both approaches end up looking at (a class of) functions on solutions to the equations of motion.
We can extend to the quantum level, but here we need the forgetful functor v : Theorem 3.6 (Comparison of quantum models). There is a natural transformation

Modulo , this isomorphism agrees with the isomorphism of classical models.
In fact, on each O ∈ Caus(M), the map ι q is an isomorphism of cochain complexes determined by the analytic structure of the equations of motion. Under this identification, the factorization structure of A agrees with the time-ordered version of the product G C on A pol .
The second part of the quantum comparison theorem is likely cryptic at the moment, as it involves the notations α ∂ G D and G C and the terminology "time-ordered products" that we have not yet introduced. We will explain these in the next section, as they are the key to understanding how the two approaches to QFT relate. We wish to clarify now, however, the main thrust of the theorem.
To paraphrase the theorem, the factorization algebra A knows information equivalent to the QFT model A. Conversely, one can recover from A, the precosheaf structure of A restricted to Caus(M). (This assertion is true when one uses the cochain-level refinement of A, as we will see below when reviewing the explicit FR construction.) What is even more important is that there is a natural way to identify the algebra structures on either side. We will show that one can read off the FR deformation quantization A from the CG factorization algebra A and conversely.

Key ingredients of the argument.
In this section we recall the relevant background about quantum field theories, notably the notions appearing in the theorems above. We explain, in particular, how the associative algebra structure appears in A, why it is important to the physics, and how it relates to constructions in the CG formalism.
3.3.1. Time-ordered products and why they are important A free quantum theory is fully characterized by its net A, but in order to deal with interactions, we need one more structure, namely the time-ordered product. Constructing time-ordered products of free fields is an intermediate step towards building interacting fields. The idea is analogous to using the interacting picture in quantum mechanics. Namely, we would like to apply the Dyson formula to define the time evolution operator as a time-ordered exponential: Here :−: denotes the normal-ordering, T denotes time-ordering, H 0 denotes the free Hamiltonian, and H I denotes the the interacting Hamiltonian, which is the operatorvalued function of spacetime Heuristically, one could use the unitary map defined above to obtain interacting fields as To put this approach on a rigorous footing, the framework of pAQFT replaces the Dyson series by the formal S-matrix: , and the above expression is to be understood as a power series in the coupling constant λ with coefficients in Laurent series in . Constructing S is then reduced to construction of T n 's, which in turn is done using the Epstein-Glaser renormalization [EG73].
In [FR12a] it was shown that the maps T n arise from a commutative, associative product ·T defined on a certain domain of . Here, to avoid problems related to renormalization, we will consider ·T on the subset (See Definition 3.12 for its description.) More abstractly, we introduce the following notion.
Definition 3.7. Given the classical free off-shell theory P and its quantization A, the time-ordered product is realized as a quadruple (P 0 , A T , ξ, T) consisting of: • P 0 ⊂ P, a subfunctor of the classical theory functor that characterizes the domain of definition of the time-ordered product, • a functor which gives the time-ordered product as a commutative product, • a natural embedding which identifies A T as a subspace of A, but only as a vector space, • and a natural isomorphism of commutative algebras such that for any pair of inclusions where m T /m is the multiplication with respect to the time-ordered/star product and the relation "≺" means "not later than," i.e., there exists a Cauchy surface in O that separates The natural transformation T provides an equivalence between the time-ordered product ·T of A T and the classical product · of c • P[[ ]]. In formulas, we have Remark 3.8. Note that the existence of the natural isomorphism T and the fact that A is a quantization of P imply that there is a natural embedding v • A T ⇒ v • A, but ξ does not have to coincide with this embedding. However, one can choose ξ to be the identity map and choose the quantization map in definition (2.18) as ξ • T. Such choice has been used in [HR16] and it greatly simplifies the construction of the interacting star product.
Remark 3.9. The way in which we phrased definition 3.7 is general enough to cover also the situation where renormalization is needed. For the purpose of this paper (where we work only with regular functionals, so no renormalization is needed), we can take P 0 to be just P and ξ to be a natural isomorphism.
This definition intertwines the product on classical and quantum observables in a nontrivial way, and as mentioned in Theorem 3.6, it is the key to relating the algebraic structures on A and A. Hence our goal is to construct this time-ordered product on free fields and show how it appears in the comparison map ι q . We explain that in the next few subsections, which are thus somewhat technical. The main ingredient is various propagators, or Green's functions, for the equation of motion. 3

Propagators
We introduce the four key propagators, which are linearly related.
Symbol Meaning Note that the causal propagator is not a Green's function but rather a bisolution (i.e. a distributional solution in both arguments), so whereas for the others where δ denotes the delta function of the diagonal M → M × M. The advanced (respectively, retarded) propagator G A (x, y) has the property that it vanishes when the first point x is in the "past" (respectively, "future") of y.
The causal propagator G C is related to another important type of bi-solution of P, namely the Hadamard function. (1) G + is a distributional bi-solution for P.
(2) 2 Im G + = G C (3) G + fulfills the microlocal spectrum condition: its wavefront set 4 is Note that any G + can be written as where H is a real, symmetric distributional bi-solution for P. The Feynman propagator associated with this Hadamard function G + is then defined as For notational convenience, we refer to both bi-solutions and Green's functions as propagators.
We extend our table of propagators with This notion easily generalizes to open subsets of R n and to manifolds [Hör03]. Note that if a W F(u) = ∅, then u is a smooth function.
Symbol Meaning The propagators listed above can be used to define (1) new products on the observables and (2) automorphisms of the (underlying vector spaces of) observables.
In the following sections we will explain these constructions in detail.

Smooth maps between locally convex vector spaces
In this work, we model observables as C[[ ]]-valued functions on the space of solutions to some linear differential equations (elliptic or hyperbolic). On various stages of the comparison between the CG and FR approaches, we also consider functions between arbitrary locally convex topological vector spaces. For such functions one can introduce the notion of smoothness, which we are going to use later. We start by introducing smooth functions on E(M).
For future convenience, we state here the general definition of a functional derivative of a function between two Hausdorff locally convex spaces.
Definition 3.11. Let U be an open subset of a Hausdorff locally convex space X and let F be a map from U to a Hausdorff locally convex space Y . Then F has a derivative at x ∈ U in the direction of v ∈ X if the following limit exists. The function F is said to have a Gâteaux differential at Mic38] on U if F has a Gâteaux differential at every x ∈ U and the map F (1) : This definition applies in particular to functions from E(M) to C. Iterating it n times we define C n -functionals of E(M). If a functional is C n for all n ∈ N, we call it (Bastiani) smooth and write F ∈ C ∞ (E(M), C). Detailed properties of such functionals have been investigated in [BDLGR17].
Localization properties of smooth functionals on E(M) are characterized by the notion of spacetime support: where supp M (ψ) denotes the support of ψ as a function on M. This definition satisfies the equality Definition 3.12. A functional F is regular if WF(F (n) (φ)) is empty for all φ ∈ E and n ∈ N. This condition is equivalent to having where we implicitly use the pairing on the fiber of F to identify sections of F with sections of F * . We denote the space of regular functionals by F reg (M).  Let F be a smooth functional on E(M) with smooth derivatives, i.e. F ∈ F reg (M). We use the suggestive notation ∂ G to denote the differential operator constructed from G as follows:

Exponential products
where ι G (F (2) )(φ) = G, F (2) (φ) and the pairing is induced by the duality between D 2 (M), where G lives, and D C 2 (M), where F (2) (φ) lives. The propagator G can also be viewed as a section of C ∞ (E(M) × E(M), D 2 (M)). We write to denote the differential operator defined on a tensor product by , so the insertion makes sense. This operator determines an operator denoted e ∂ G , which we understand as a formal power series in whose n term is the n-fold power of ∂ G .
Definition 3.14. Given a constant-coefficient second-order differential operator ∂ G , we define an exponential product by where m denotes the usual commutative multiplication, i.e. pullback by the diagonal map φ → φ ⊗ φ.
Direct computation shows that G is associative. As we will see later, the product structure of A(O) comes from G C .
One can also define automorphisms (of underlying vector spaces) by (When G 2 − G 1 is symmetric, α G 2 −G 1 determines an isomorphism of algebras from the G 1 product to the G 2 product.)

The time-slice axiom and the algebra structures.
A dissatisfying aspect of the comparison results is that they involve forgetful functors: it seems like we ignore the crucial Poisson, respectively associative, algebra structures, although the constructions (e.g., with propagators) certainly involved them. As discussed, these algebraic structures play a crucial role in physics and hence appear in the axioms of AQFT, but they are not built into the CG construction. It is natural to ask how to resolve this tension. We provide two perspectives that we feel clarify substantially this issue, one rooted in a key maneuver of the FR work and another using results in higher algebra in conjunction with the CG perspective. The time-slice property suggests formulating a version of A and A living just on a Cauchy hypersurface itself. We will state a natural comparison result before explaining the idea why one should exist from the CG perspective.  Instead of using the diamonds, we could set taking the limit over opens O ∈ Caus(M) for which B is a Cauchy hypersurface. The time-slice axiom then ensures that this limit construction agrees with the diamond construction above. It was shown in [Chi08] that this algebra is naturally isomorphic to the algebra obtained by quantizing the Cauchy data.
Likewise, we provide a version of A| . One could use a limit construction, but we prefer the concrete approach. We thus obtain a nice comparison statement. We prove this result in Sect. 6, after we spell out the explicit constructions of our models. The argument does something more refined: we show that the factorization product agrees with the star product up to exact terms. In other words, we implicitly lift A| to a homotopy associative algebra object in FA( , Ch(Nuc )). We refrain, however, from spelling out a full homotopy-coherent algebra structure (e.g., A ∞ structure).
There is an obvious classical analogue to this result. The associative algebra H 0 (A| ) Alg is naturally filtered by powers of , and its associated graded algebra is isomorphic to the commutative algebra  A version of this statement at the cochain-level, for P, would also be appealing. We now turn to explaining a version that relies on homotopical algebra, but in Sect. 6.4 we use formulas to explain how the Peierls bracket follows from the BV bracket.

The argument via higher abstract nonsense
We wish to explain why P and A, when restricted to a Cauchy hypersurface, obtain Poisson and associative structures, respectively. A priori they have a shifted Poisson and BD structure. How could this transmutation of algebraic structure occur?
The key is a pair of interesting results from higher algebra that will relate certain factorization algebras to associative and Poisson algebras. We state the results before extracting the consequence relevant to us.
Let E 1 denote the operad of little intervals. Concretely, an E 1 algebra A ∈ Alg E 1 (Ch) is a homotopy-associative algebra; in particular, every E 1 algebra is weakly equivalent to some dg algebra. The first result, due to Lurie [Lur17], says that there is an equivalence of ∞-categories where the superscript lc means we restrict to locally constant factorization algebras: a factorization algebra F on R is locally constant if the map F(I ) → F(I ) is a quasiisomorphism for every pair of nested intervals I → I . Lurie's result says that a locally constant factorization algebra on R encodes a homotopy-associative algebra and vice versa.
The second result explains how to relate different kinds of shifted Poisson algebras. Let P n denote the operad encoding (1 − n)-shifted Poisson brackets, so that P 1 algebras are the usual Poisson algebras (in a homotopy-coherent sense).
Theorem 3.20 (Poisson additivity [Saf16]). There is an equivalence of ∞-categories For n = 0, these results combine to say that a locally constant factorization algebra with a 1-shifted Poisson structure determines a homotopy-coherent version of an 0shifted Poisson algebra. Now consider the map q : M → R by taking the leaf space with respect to the foliation by Cauchy surfaces. The pushforward factorization algebra q * P has a 1-shifted Poisson structure but it is also locally constant, since the solutions to the equation of motion is a locally constant sheaf in terms of the "time" parameter R. Hence, by general principles, we know that q * P determines a 0-shifted Poisson algebra.
In this case, the homotopy-Poisson algebra must be strict at the level of cohomology, since the cohomology H * P is concentrated in degree 0. This strict Poisson structure agrees with the Poisson structure on P, as we will see.
At the quantum level, things are analogous but simpler. The pushforward factorization algebra q * A is also locally constant and hence determines a homotopy-associative algebra. Since the cohomology H * A is concentrated in degree 0, it equips H 0 A with a strict associative structure. One can see it agrees with canonical quantization by a modest modification of arguments from Section 4.4 of [CG17a]. Thus, it agrees the associative structure on A. Hence, by keeping track of the -filtration, we deduce that we obtain a correspondence between the Poisson algebra structures.
Our proofs of the comparison theorems take a different tack. Following Section 4.6 of [CG17a], we exhibit natural Poisson and associative algebra structures by explicit formulas involving the propagators. These match on the nose with the time-ordered product, which gives us a direct relation with the star product of A. Hence, in the quantum case, we see directly that these agree with the associative algebra structures coming from the abstract machinery described above. By keeping track of the -filtration, we deduce that we obtain a correspondence between the Poisson algebra structures.
Remark 3.21. At the core of these identifications is a relationship between the standard deformation quantization of symplectic vector spaces and the standard BV quantization of free theories, which we exhibited here via explicit formulas. Work-in-progress of the first author with Rune Haugseng suggests a general explanation via higher abstract nonsense. In [GH16], they constructed a functor of linear BV quantization on dg vector spaces with a 1-shifted, linear Poisson bracket. Loosely speaking, one finds that additivity intertwines this linear BV quantization with the usual Weyl quantization of ordinary Poisson vector spaces: namely, taking E 1 algebras on the domain and codomain of linear BV quantizations yields the dg version of standard deformation quantization.

Constructing the CG Model for the Free Scalar Field
After all that formalism, we turn in a concrete direction and sketch the construction of free field theories in the CG formalism. We give a brief treatment here as this example is treated at length in Sections 4.2 and 4.3 of [CG17a] for the case of a Riemannian manifolds. As we shall see, the constructions apply verbatim to Lorentzian manifolds.
Let M = (M, g) denote a Lorentzian manifold. Lazily, we write dx for the associated volume form on M. We will consider the case (R, dx) as a running example.

The classical model. To start, consider the classical theory. The equation of motion
is Pφ = 0. The running example is the free scalar field, with φ + m 2 φ = 0 and φ a smooth function on M. The space of distributional solutions V ⊂ D (M) consists of "waves", and let V * denote the continuous linear dual. The natural algebra of observables-of a purely algebraic flavor-is Sym alg (V * ), the polynomial functions on V . (Such functions should be contained in more sophisticated choices of observables, and indeed are often a dense subalgebra.) In the BV framework, one replaces this commutative algebra by a commutative dg algebra that resolves it and that also remembers the larger space of fields.
Example 1. For the free scalar field on the real line, the space of solutions is a twodimensional vector space V spanned by {e ±imx }. Here Sym(V * ) ∼ = C[ p, q], a polynomial algebra with two generators. These generators can be identified with "position" and "momentum" at x = 0, since the value of a function and its derivative at one point determine a solution of the equation.
In constructing this resolution, one eventually has to make some choices about functional analysis. We will begin by avoiding any analysis and construct a purely algebraic version, in order to exhibit the structure of the BV approach, but then we will turn to a functional-analytic completion convenient for free theories. (See Section 3.5 or Appendix B of [CG17a] for a seemingly interminable discussion of such functional analysis issues.) For free theories, it is sufficient and convenient to work with smeared or smoothed observables. Thus, for instance, each linear observable O f is specified by a compactly supported smooth function f ∈ D(M), where In other words, we will let D(M) provide the linear observables, rather than the larger space of compactly supported distributions. These then generate a commutative algebra of "polynomial functions on the scalar fields": Note here that ⊗ alg simply means the algebraic tensor product; we will introduce a convenient completion soon.
There is manifestly a surjection Sym alg (D(M)) → Sym alg (V * ) by restricting a function on all fields to a function on fields that satisfy the equation of motion. We now extend this surjection to a resolution PV . (It might help some readers to know that we are going to write down the Koszul resolution for a linear equation, which in this case are the equations of motion.) Some notation is helpful here: we use V [1] to denote an ungraded vector space V placed in cohomological degree -1 (i.e., we shift down by one), and when we write and PV k = 0 for k > 0. This graded vector space is a version of "polynomial polyvector fields on the space of scalar fields." By construction, PV is a graded commutative algebra. We now describe its differential d, which encodes the equations of motion. Given an element f 1 · · · f n ⊗ g 1 ∧ · · · ∧ g m of Sym n alg (D(M)) ⊗ alg m alg (D(M)), which has cohomological degree −m, we define where g i indicates that this term is removed from the wedge product. One can check that this differential d is a derivation, so that we have constructed a commutative dg algebra.  Observe that these definitions make sense for any open subset U ⊂ M. Thus, there is a kind of "model of the classical fields" given by the functor Here is one way to "complete" these algebras and make them better behaved in a topological sense. The key idea is simple: any compactly supported smooth function f ∈ D n (U ) determines an observable that is homogeneous of degree n by the formula Indeed, there is a dense inclusion Sym n alg (D(U )) = (D(U ) ⊗ alg n ) S n → D n (U ) S n .
Note that we quotient out the action of permuting the coordinates because a function f (x 1 , . . . , x n ) and its permutation f (x σ (1) , . . . , x σ (n) ) define the same observable. Similarly, there is a dense inclusion Hence, we replace PV by its completion along these lines: for −k ≤ 0, set where the symmetric group S n acts on the first n coordinates as before, but S k acts on functions depending on the last k coordinates via the sign representation, and PV k (U ) = 0 for k > 0. The multiplication on PV (U ) extends naturally to PV (U ). Concretely, one notes that given f ∈ D m (U ) and g ∈ D n (U ), there is a function f g ∈ D m+n (U ) with This extension is manifestly continuous.
The differential d on PV (U ) also extends naturally to this completion. Alternatively, one can note that there is a continuous map where (x 1 , . . . , x n , y 1 , . . . , y k ) give coordinates for U n × U k , and this map descends to the quotient by the action of S n × S k .
This completion encodes a flavor of polynomial functions on distributional solutions to the equation of motion. The proof involves a long detour into functional analysis, so we banish it to the appendix, where we introduce some arcane terminology that leads to a sharper version of the theorem as well as a proof. (Notably we improve the dense inclusion to an isomorphism, but using a symmetric algebra built by completing the bornological tensor product.) To summarize, we give the following definition. It is simply a completion of the functor F theor y defined earlier. We believe it is actually a factorization algebra, but verifying this belief requires understanding homotopy colimits in Ch(Nuc), in particular whether the usual formulas for homotopy colimits of cochain complexes hold in this setting (see Appendix C.5 of [CG17a]).
Remark 4.5. Two variations on this approach are needed when dealing with interacting theories. First, one replaces polynomial functions by formal power series, i.e., ⊕ n≥0 becomes n≥0 . Second, one cannot restrict to smoothed observables but should allow distributional observables, i.e., D is replaced by E (the space of compactly supported distributions). In the setting of elliptic differential operators (or elliptic complexes, more generally), the commutative dg algebras with smoothed or distributional algebras are (continuously) quasi-isomorphic. Moreover, the differential is still determined by the equations of motion but is more complicated as it has terms changing the homogeneity of observables. In particular, the smoothed and distributional algebras cease to be quasiisomorphic in the interacting case.

The quantum model. We now turn to BV quantization, which modifies the differential by adding the BV Laplacian. This extra term is related to a shifted Poisson structure on PV (U ).
We now define the BV Laplacian similarly. We require it to satisfy the equation for any a, b ∈ PV (U ). Hence, once we assert that annihilates any constant or linear terms, we determine iteratively. For instance, for a quadratic term f g ∈ Sym 2 (D(U )⊕ D(U )[1]), we see We then extend to PV (U ) in the natural, continuous way. For instance, given a quadratic term in PV −1 (U ), namely some As with the bracket, the BV Laplacian amounts to integrating along diagonals.
Definition 4.6. The quantum model for the free theory with Green-hyperbolic operator P is the prefactorization algebra A on R taking values in Ch(Nuc ) that assigns the BD algebra to the open set U .
We now examine the following useful result.

Lemma 4.7. For each open U in M, there is a natural isomorphism of graded vector spaces
and all nonzero cohomology groups vanish.
In other words, the cohomology of the classical and quantum observables agree up to adjoining to the classical ones. Note that this isomorphism does not respect the commutative algebra structure on the cohomology of the classical observables. Indeed, the differential of a BD algebra is not a derivation with respect to the commutative product, and hence the commutative product does not descend to the cohomology.
Proof. The filtration by powers of determines a spectral sequence that computes the cohomology of the quantum observables. The first page is just the cohomology of the classical observables. Since that is totally concentrated in degree 0, the spectral sequence collapses.

Constructing the pAQFT Model for a Free Field Theory
In this section we describe the pAQFT construction for the classical and quantum models for a free field theory and prove Proposition 3.1. It is a succinct review of a more extensive treatment available [FR15,Rej16].
The construction itself explicitly produces dg algebras; to recover algebras, one takes the cohomology, which happens to be concentrated in degree zero. Thus, before going into the details, we proffer a dg version of AQFT, as defined in Sect. 2.3.

Constructing the dg models.
In this section we spell out the construction of a semistrict dg model of a free field theory. This is mainly a review of [FR12a], but with more detail and recast in notation compatible with the CG framework. The goal is to provide a kind of Koszul resolution of the algebra of functions on the space of solutions to the equations of motion. We need to pin down some functional analytic choices, along with the homological algebra, before we articulate the central construction, given in Definition 5.10.

Functionals
Regular functionals on the configuration space E were defined in Definition 3.12. We will use these to model classical observables.
Functionals that are both regular and linear are given as pairings with smooth compactly supported densities, i.e., are of the form where f ∈ D(M).
Definition 5.1. Let τ be the locally convex topology on F reg generated by the following family of seminorms: where B ⊂ E is bounded and p runs over all the seminorms generating the locally convex topology of D C n (M).
We will always consider F reg together with this topology. It was shown in [FR12b] [Appendix A] that this topology is nuclear. The idea behind the proof (following [BDF09]) is to use the fact that all the spaces D C n (M), n ∈ N are nuclear and τ is the initial topology with respect to the evaluation maps F → F (n) (φ) ∈ D C n (M), φ ∈ E(M), n ∈ N. As nuclearity is preserved under projective limits, the result follows.

Polyvector fields
The basic input for our field theory is d S, a 1-form on E that gives the equations of motion d S(φ) = 0. (5) For free fields we have d S(φ) = Pφ, so that the equations of motion are linear. In particular, for the free scalar field: The operator P extends to D (M) ⊃ E(M) and, as in the CG framework, we are interested in the space V ⊂ D (M) of distributional solutions. Our goal is to construct a cohomological resolution of Sym(V ), and we will produce a Koszul-type resolution. Since d S is a kind of 1-form, this resolution is built using the algebra of regular polyvector fields on E(M), with the differential determined by the equation of motion. Our focus at the moment is on the algebra; we postpone discussion of the differential until the paragraphs around Eq. (8).
For a finite-dimensional manifold M, such a Koszul resolution can be understood as arising from the shifted cotangent manifold T * [−1]M. When M is a vector space V , T * [−1]M corresponds to the graded vector space V ⊕ V * [−1]. Its ring of functions then looks like a graded-symmetric algebra Sym(V * ⊕ V [1]), whose degree −n component is then Sym(V * ) ⊗ n (V ). In our setting we thus work with the following.
Definition 5.2. Let X 1 , X 2 be in Nuc. The space of functions on X 1 ⊕ X 2 [−1] is a graded vector space with degree −n component given by where C ∞ means "Bastiani smooth", as explained at the beginning of this subsection and the sign action of S n means, effectively anti-symmetrization of the tensor product. Denote This definition is not the only approach, because in infinite-dimensional differential geometry, the precise definition of where V is an open neighborhood in D, equipped with its natural topology. With this choice of topology T E = E × D. Physically, this choice means that we allow for variations of field configurations only in the direction of compactly supported configurations.
Since we want to allow for distributional solution to the equations of motion, however, it is useful to enlarge the tangent bundle to the distributional completion E × E . Consequently, the cotangent bundle gets restricted to E×E. Hence the corresponding restricted odd cotangent bundle is , which we can view as a cochain complex in concentrated in degrees zero and one. Hence our focus on field theory guides our choice. In particular, among all regular polyvector fields we can distinguish the polynomial ones (analogous to Definition 3.13), which we denote by PV pol (O).
This construction gives a functor PV reg from Caus(M) to CAlg(Ch(Nuc)), where the action on morphisms is induced by the pullback. (We currently have the zero differential on the polyvector fields, but we will introduce a differential depending on d S below.) Clearly, PV 0 reg = F reg and PV reg is a graded commutative algebra by the usual product on functions and the wedge product of polyvector fields.
Remark 5.6. The topology τ from Definition 5.1 has a natural generalization to the locally convex topology on O(X 1 ⊕ X 2 [−1]). We use the following family of seminorms: where we run over bounded subsets B ⊂ X 1 and we run over the seminorms p that generate the locally convex topology of n (X ⊗n 2 ) S n . Again, we refer to [FR12b] for the proof of nuclearity.

Poisson structure
It is crucial that P is a normally hyperbolic operator, so on a globally hyperbolic spacetime it has retarded/advanced Green's functions G R /G A , respectively and other propagators introduced in Sect. 3.3.2.
Using the ideas of Peierls [Pei52] we introduce a Poisson bracket ., where G C O is the causal propagator constructed on O ⊂ M, treated as globally hyperbolic spacetime in its own right. Note that from the uniqueness of retarded and advanced Green functions follows that for the morphism ψ : where We now extend to the dg setting. Note that the space of on-shell regular functionals is the zeroth cohomology of the two-term complex where The linear map δ S easily extends to a differential on PV reg by imposing the (graded) Leibniz rule; we can also extend the bracket trivially. Note that δ S is compatible with the bracket, since G C is a bi-solution for P. Hence we can lift our notion to the cochain level. We assign dg Poisson algebras to O ∈ Caus(M) by keeping track of support by means of (3).
Definition 5.7. The dg Poisson algebra of regular classical observables is Restricting to polynomial vector fields, we define in completely analogous way.
The following proposition shows that this indeed gives us a functor from Caus(M) to PAlg * (Ch(Nuc)).
where φ ∈ E(O 2 ) and F ∈ PV reg (O 1 ). This functor P reg is a classical field theory model in the sense of Definition 2.21.
Hence we see that each structure map P reg ψ is a map of dg Poisson algebras, as desired. It remains to verify Einstein causality, but this property is immediate from formula (6): the support properties of G C ensure that spacelike-separated observables bracket to zero strictly, and not just up to exact terms.
The analogous result for PV pol follows by the same arguments.
Remark 5.9. Note that the statement about the existence and uniqueness of retarded and advanced Green functions (needed in the proof of the proposition) is true only on opens that are themselves globally hyperbolic spacetimes (when equipped with the induced metric). Therefore, it is crucial to restrict to Caus(M), rather than to consider arbitrary opens.
If we forget the Poisson algebra structure, we obtain the cohomological (derived) description of the space of classical observables as the functor v • P reg ≡ vP reg (or vP pol if we restrict to polynomials). Going on-shell corresponds to taking the H 0 of P reg (or vP pol ). We obtain the following: Definition 5.11. The on-shell Poisson algebra of regular classical observables is the quotient where P reg,0 (O) is the Poisson ideal generated by the elements of the form where X ∈ PV 1 reg .
Proposition This result is part of Proposition 3.1, namely the classical piece of the model.

Proof.
It remains only to verify the time-slice axiom, which was done in [Dim80] and also in [Chi08,CF08]. Here, for completeness, we provide an argument. Let N be a causally convex neighborhood of a Cauchy surface of O. There is a natural inclusion map i : P reg (N) → P reg (O), as part of the net structure of P reg . Similarly, the net structure of H 0 (P reg ) includes a natural extension map H 0 (i) : H 0 (P reg )(N) → H 0 (P reg )(O). By definition, there is a map of exact sequences where i 0 denotes the restriction of i to the Poisson ideals. To verify the time-slice axiom, we need to produce an inverse map β to H 0 (i) that explicitly demonstrates that H 0 (i) is an isomorphism. We will do this by explicitly constructing a map compatible with the Poisson ideals, and hence descending to a β that will produce the inverse. Note that it is sufficient to produce this map β just on generators, i.e., on elements induced by the linear functionals O f for f ∈ D(O).
In addition, pick two other Cauchy surfaces ± in N, such that − is in the past J − ( ) of and + is in the future J + ( ) of .
Finally, pick a smooth function χ that is equal to 1 on J − ( − ), and vanishes on J + ( + ). We use it to construct a partition of unity subordinate to the cover by J + ( − ) and J − ( + ). This partition leads us to decompose f as the linear combination χ f +(1−χ) f . The first term is supported in the past J − ( + ) of + , and the second term is supported in the future J + ( − ) of − .
We define the map β from D(O) to D(N) as where β + is defined on observables supported in the past of + and β − is defined on observables supported in the future of − . We will study these two maps separately.
Assume first that supp f is in the past of + . We define Note that the test function f − Pχ G R f is supported within N, so β + maps D(J − ( + )) to D(N). Moreover, by construction, and O Pχ G R f ∈ P reg,0 . Hence β + induces a map on the quotient algebras and we have just shown that, postcomposing with the extension map H 0 (P reg )(N) → H 0 (P reg )(J − ( + )), we obtain the identity map on H 0 (P reg )(J − ( + )). The construction of β + is illustrated on Fig. 1. Fig. 1. Supports of functions relevant in construction of β + A similar argument works when supp f is in the future of − , but then we need to use a function 1 − χ in place of χ and the propagator G A in place of G R . We define and then mimic the preceding argument.
We combine now β + with β − using the partition of unity given by χ and define By construction, β again only modifies O f by a term in the Poisson ideal. Hence it descends to a map on the quotient algebras, which is equal to the identity after postcomposition with the extension map.

Star product
Next we want to quantize the theory, i.e., we wish to deform the Poisson algebra P reg to an associative algebra. Here we use the Moyal formula: where . Thus we can define the quantum situation parallel to the classical.
Equip the regular functionals with this star product: First, lift the product to PV reg by postulating that it acts trivially on the odd generators. Next, since G C is a distributional bisolution for the operator P, we have where f ∈ D, F ∈ F reg . It follows that δ S is a derivation with respect to : where X, Y ∈ PV reg .
Definition 5.13. Define the dg QFT model as It is straightforward to check that A reg is a QFT model in the sense of Definition 2.24.
Hence we obtain an on-shell model as follows.
Definition 5.14. The on-shell algebra of regular quantum operators is the quotient by the -ideal A reg,0 generated by the elements of the form where X ∈ PV 1 reg . Analogously the on-shell algebra of polynomial quantum operators is ) is an on-shell QFT model in the sense of Definitions 2.16 and 2.17 . Since causality holds by construction, the only non-trivial step is to prove the time-slice axiom. This is done exactly as in Proposition 5.12.
The space of regular quantum operators (as a vector space) is characterized by the cohomology of the same differential as in the classical case. What has changed is the product. More precisely, we have As discussed in Sect. 3.3.1, it is important to construct a time-ordered product and not just the star product, especially as a stepping stone towards interacting theories.
On regular functionals, the time-ordered product ·T is introduced by means of formula i.e. by twisting the pointwise product with the map T. This definition has the crucial property that when the observables F 1 and F 2 have disjoint supports and T denotes the time-ordering Note here the connection with the Dyson formula: ·T agrees with the usual time-order prescription for G C and extends it to regular functionals with overlapping supports.
Remark 5.15. Those familiar with the CG approach, notably Section 4.6 of [CG17a], will recognize that this definition is precisely the factorization product on A.
Note that the product ·T is not compatible with δ S (since G D is a Green function, rather than a bi-solution), we introduce the off-shell models P off reg = (PV reg , ., . ) and Definition 5.16. For the classical free off-shell theory P off reg and its (off-shell) quantization A off reg , the time-ordered product is realized as a quadruple (P off reg , A T , ξ, T) with: • a functor  (3.7).
• the obvious embedding Now it is natural to ask how the time-ordered product intertwines with the story of BV quantization. In [FR12a] the deformed BV differential has been defined aŝ This motivates the following. Explicit computation using the properties of Green's function G D giveŝ where is the graded (or BV) Laplacian on the space of regular polyvector fields PV reg .
Remark 5.19. The name "quantum observables" used to describe vA q reg is justified, as this corresponds to what one would describe as such in the physics literature (e.g. [HT92]). Even though vA q reg is quasi-isomorphic to vP reg [[ ]] (by means of T), it is conventional to work with the former. One reason is that it forms a BD algebra when equipped with the usual graded pointwise product and the Schouten bracket, while vP reg [[ ]] forms a BD algebra with ·T and the bracket twisted by T (this is explained in more detail in Sect. 7.1)

Proof of Comparison Theorems
Let us build up the natural transformations ι cl and ι q in stages.
6.1. The classical case. Momentarily ignoring the differentials, we observe that Moreover, the last inclusion is dense when we use the topology τ defined at (5.1).
This relationship extends to the polyvector fields as well. We have dense (with respect to τ ) inclusions as graded nuclear vector spaces: These inclusions are manifestly functorial with respect to opens U , and in particular we see that we have a natural isomorphism ι # : PV ⇒ PV pol between the CG and FR constructions at the level of graded vector spaces. Let us now examine the differentials on both sides.
In this classical case, the situation is straightforward because δ S coincides with d. Let ι cl denote the isomorphism of cochain complexes which induces an isomorphism H 0 (ι cl ) on the zeroth cohomology.
Remark 6.1. In the FR framework one usually works with PV reg , rather than PV pol , since it contains also infinite sums of polynomials (e.g. Weyl generators e O f ). Here we stress that the precise comparison between FR and CG frameworks is most naturally done for PV pol and one can pass to PV reg by appropriate completion (on both sides).

The quantum case. The quantum case is a bit subtler. The FR approach assigns a dg algebra A pol = (PV pol [[ ]], δ S , ) whereas the CG approach assigns merely a cochain complex (PV [[ ]], d +
). On the face of it, these look rather different. In particular, the differentials are different, so the embedding that works for the classical case does not extend.
The key is to use the time-ordering machinery. Following [FR12a] (and by Definition 5.18), the time-ordering operator provides a cochain isomorphism To construct ι q , we first note that T is also a cochain isomorphism in the CG framework, i.e., Composing with ι # , we obtain a map As in the classical case, we use the fact that there exists a canonical map from (PV reg [[ ]], δ S ) to its H 0 and define ι q as composition of ι # •T with this map. Note that modulo , the map T is the identity and hence ι q recovers ι cl modulo .
Remark 6.2. As explained in chapter 4.6 of [CG17a], the map T in (14) is not a morphism of factorization algebras. The issue arises when considering structure maps involving disjoint opens containing into a larger open; such maps do not arise when restricted to Caus(M).
6.3. The associative structures. Finally, we come to the comparison of algebra structures, i.e. we prove Theorem 3.17. In comparing the FR and CG frameworks, a crucial role is played by the time-ordered product. To understand this, observe that in trying to pass from a net to a factorization algebra, we need to construct a commutative product that gives rise to the factorization product structure. A natural commutative product in the pAQFT framework is ·T . But going back to to non-commutative product given the commutative one is also easy, as long as we keep track of the supports of observables.

6.3.1.
To communicate the key idea, we present this conversion process in the 1dimensional case, where the situation is simple.
In R, any interval is a causally convex neighborhood of a Cauchy surface, which in this case is given by a point in the interval. Let I 0 = (−a, a) ⊂ R be an interval with a > 0. For I 0 , we fix the point 0 as the Cauchy surface. We can also consider I t = (t − a, t + a), which is a translation of I 0 by t.
There is natural way to identify the observables in I 0 with the observables in I t , using the techniques we developed in the Proof of Proposition 5.12. On a linear functional O f for f ∈ D(I 0 ), let where χ t is a smooth function with the property χ t (s) = 1 for s < t − a and χ t (s) = 0 for s > t + a. (If we fix a χ 0 , we can simply translate it to obtain a χ t .) The element β t + (O f ) is then a linear functional with support in I t . The map β t + extends in a canonical way to the whole algebra F reg (I 0 ). Now consider two arbitrary elements A, B in F reg (I 0 ). Set and likewise for B t . The -commutator of A and B has the following relationship with the ·T -commutator: This identification is helpful, because we know there is a nice relationship between ·T and the factorization product. Namely, they agree so long the elements have disjoint support.
For |t| > 2a, the factorization product allows us to compute the ·T -commutator As t gets smaller, however, the two intervals I 0 and I t begin to overlap, so that we cannot invoke the factorization product. It is possible to resolve this issue-to describe the ·Tcommutator in terms of the factorization product-at the level of cohomology. The key point is that for any smaller interval I 0 ⊂ I 0 , the inclusion A(I 0 ) → A(I 0 ) is a quasiisomorphism. Any cocycle A ∈ F reg (I 0 ) can be replaced by a cohomologous element with support in the smaller interval I 0 ⊂ I 0 . Hence, at the level of cohomology, we can make the width a of the interval arbitrarily small, and so the ·T -commutator can always be computed using the factorization product. In short, at the level of cohomology, we can recover the -commutator from the factorization product.

6.3.2.
The general case is also easy to understand, as there is already a factorization algebra structure on the Cauchy surface (i.e. spacelike separated regions are taken care of) and the relation between and the factorization product for time-like separated observables works exactly the same as in the one-dimensional case. We will show, in fact, something slightly more refined by working at the cochain level: we will show that the factorization product agrees with up to exact terms. Let us spell this out in detail now.
As discussed in Remark 6.2, the map T does not respect the factorization product, but this map is an isomorphism when restricted to each open. Hence one can use it to transfer the factorization product on the quantum observables to a new factorization product on the underlying cochain complex of the classical observables P[[ ]]. That is, one forgets the original structure maps and borrows them from the quantum side. Denote this new factorization algebra by A T .
As in Sect. 3.4 we fix a small tubular neighborhood of a Cauchy surface and construct A T . Now we show how to obtain a homotopy-associative product on this restricted factorization algebra.
Consider a time-slice N + in the future of and disjoint from it, so N + ∩ = ∅. Let N be a larger time-slice that contains both N + and . By the time-slice axiom, we can make all these slices arbitrarily "thin" in the time direction.
Take U ⊂ a causally convex set. Let J + (U ) denote its future. We then have U + . = J + (U )∩N + , the "image of U in the future time-slice N + . We also have U N .
which contains both U and U + . As U + does not intersect U , we have the factorization product We will recover the -product up to exact terms from this map. As in the one-dimensional case, the formula (15) determines a map β + that transports observables to the future. (One has to pick a partition of unity, following the Proof of Proposition 5.12.) Hence, given F, G ∈ A T (U ), we define and a product We want to compare this map to . It suffices to perform the explicit computation for where in the last step we made use of the fact that O g is a cocycle. This equation implies that m T (O f + , O g ) and O f O g are cohomologous. Thus, at the level of cohomology, the product m T • β + ⊗ id agrees with , the product on A reg (U ).

Shifted vs. unshifted Poisson structures.
6.4.1. We discuss here a classical analogue of Theorem 3.17, asking whether we can see a cochain-level version of the corollary. We need a more subtle argument, since we need to relate the 1-shifted Poisson bracket {., .} with the 0-shifted bracket ., . on PV (U ), U ∈ Caus(M). As we are working with free theories, we can exploit the fact that {., .} is uniquely defined by its action on generators where O ‡ g .
= g(x) δ δφ(x) is a vector field in PV 1 and f, g live in D(U ). The 0-shifted bracket ., . must live on PV 0 , so in order to obtain it, we need a map from PV 0 to PV 1 . Fortunately, the field theory naturally provides such a map, induced by the bisolution G C treated as a constant bivector field on E. We denote it by σ and write explicitly This map does not land in PV 1 , but rather in its completion (since f (x)G C (x, y)dx is not compactly supported). Nonetheless, the pairing (16) is still well defined on its image, so that we can write the new bracket on PV 0 by the formula which is exactly the bracket of P pol (U ).
There is a nice interpretation of the map σ in terms of the hyperbolic complex. is an exact sequence.
Clearly, the map σ is induced by the second to last mapping in this sequence, whose image is exactly the kernel of the equations of motion operator.

6.4.2.
There is yet another perspective on the Peierls bracket, related to the one presented above, but placing more emphasis on the BD algebra structure. 7 We now proceed to formulating a precise statement by introducing some assumptions and notation.
Suppose that M is foliated with compact Cauchy surfaces. We will call any small open neighborhood of some Cauchy surface a Cauchy slice. Now fix such a Cauchy slice N ⊂ M. Since solutions to the equations of motion are locally constant in the time direction (with respect to the foliation), we can translate observables forward or backward in time. In particular, for a linear observable O f ∈ P(N) localized in this slice, we can produce an observable β + (O f ), which is O f shifted to the future, and an observable β − (O f ), which is O f shifted to the past. (We will give an explicit formula for β ± in the proof below.) That is, we recover the Peierls bracket from the factorization product by working up to homotopy and modulo 2 .
From local constancy of P in the time direction, it follows that there exists an element such that (In other words, the translated observables are cohomologous.) Hence In conjunction with the lemma, we thus see that the Peierls bracket O g , O f is identified with {O g , }, modulo the image ofŝ and modulo 2 . This result gives a direct relationship between the BV and Peierls bracket.
Proof. To verify the relation to the usual formula for the Peierls bracket, we use a particular form of maps β ± and the element . Consider two Cauchy slices N ± , disjoint away from N and with the property N ± ⊂ J ± (N) respectively. The arrangement of the Cauchy slices is presented on Fig. 2. Now let α + + α − = 1 be a partition of unity with the property that α ± ≡ 1 on to the future/past of N. Let χ be a test function with the properties that χ ≡ 1 on N and χ ≡ 0 to the future of N + and to the past of N − . Define and choose the maps β ± as in the Proof of Proposition 5.12, i.e.
With these choices we have where in the last step we used the fact the χ is compactly supported, so we could integrate by parts. We now define where we used the fact that supp g ⊂ N and χ ≡ 1 on N. Equation (6) agrees with this expression, after specializing to linear observables.

Interpretation of the Results
Now that we have precise statements and arguments in place, it may be useful to step back and articulate what they mean. Here we explain how our dialogue has modified our own perspective on these formalisms.

The main lesson.
The map T used in the comparison theorems plays a double role: it is both a cochain isomorphism between classical and quantum observables and also an intertwiner between two products ·T and ·. The take-home message is that Quantum observables are described either by deforming the product (from · to ·T ) and keeping the differential as δ S or, equivalently, by deforming the differential (from s toŝ) and keeping the product.
We will now make this statement more precise. The approach to quantization taken in pAQFT relies on deformation of the product, while the observables are left unchanged. According to this philosophy, the free quantum theory is obtained by deforming · to the non-commutative star product . Since δ S is a derivation with respect to , the vector space of observables is just vP pol [[ ]]. Now let's check if this is compatible with the time-ordered product ·T . This structure does not form a differential graded commutative algebra, since δ S is not a derivation with respect to ·T . In fact the following identity holds: and {., .} T is the Schouten bracket on polyvector fields twisted by the ·T product, i.e., with the usual Schouten bracket {., .}.
Since the Schouten bracket vanishes for arguments with disjoint supports, we have Equivalently to deforming the product, one can deform the differential instead. This point of view guides the CG approach [Cos11,CG17a,CG17b]. In this way of looking at things, we leave the product to be ·, but we deform δ S toŝ (see (13)). Again we havê soŝ acts like a derivation for arguments with disjoint support.
To summarize, we identify the space of quantum observables in the FR framework with the BD algebra which by means of T is quasi-isomorphic to

Yet another perspective.
Another important fact about the time-ordered product is that it essentially encodes the same combinatorics as the path integral. In Sect. 3.3.1, for instance, we discussed the Dyson series, which displays this encoding.
Hence, as the BV formalism was originally formulated in the path-integral approach, it is no surprise that in pAQFT, the BV formalism naturally appears alongside the timeordered product. Formally, we can identify T H = T • α H with the convolution with the oscillating Gaussian measure of covariance i G F (recall from Sect. 3.3.2 that G F = i G D + H ), i.e.
Again, formally, we would like the quantum BV operatorŝ to fulfill so by analogy This formula suggestsŝ where the last step follows from the fact that H is a bisolution for the equation of motion operator P, so α H commutes with δ S . Here we have yet another way to heuristically motivate the pAQFT definition of the quantum BV operator and its relation to the traditional BV formalism.

A summary by way of a dictionary.
The following dictionary (spelled out for the free scalar field) encodes the relationships we have unraveled, hopefully making it easier to transfer results obtained in one approach to results in the other. Note that here (but not elsewhere in the paper) we use the notation of [CG17a] on the CG side (Table 1).

Outlook and Next Steps
In this paper we treated non-renormalized scalar field, so the obvious next steps are to perform renormalization and to generalize to gauge theories. We also discuss the possibility of incorporating the Wick rotation into our framework.
8.1. Interacting field theories. Renormalization becomes relevant when we introduce interactions by means of time-ordered products. Take the free quantum theory model A reg . Let V ∈ F reg be an interaction term. We deform the star product to obtain a new product on F reg [[ , λ]] as ). This interacting product defines a new quantum model We now turn to a cochain-level version of this quantum model.
The corresponding deformation of the differential isŝ = R −1 V • δ S • R V . Now assume that the formal S-matrix is invariant under δ S , i.e., which is a condition equivalent to the quantum master equation (QME): When the QME holds, explicit computation shows that We define the interacting quantum observables as the cochain complex The renormalization problem is then to extend the analysis just outlined from regular observables to non-linear (but local) observables.
Definition 8.1. A local functional on scalar fields is a smooth functional such that for every field φ ∈ E, there exists a positive integer k ∈ N and an f , a compactly supported function on the jet bundle, such that where j k x (φ) is the kth jet of φ at point x and dμ g (x) The space of local functionals is denoted by F loc .
The space of field configurations is the vev of the time-ordered product of n fields, i.e. the n-point Green's function.
Euclidean Green's functions (Schwinger functions) a The right-hand side lives properly in the quantum world, as · T is the time-ordered version of . On the left-hand side we have quantum observables modeled by classical objects. We can therefore think about the quantization in two ways: either have a simple product, but "complicated" observables (LHS), or have simple observables and a complicated product (RHS) b The product here is denoted by instead of of [Cos11,CG17a] in order to avoid the collision of notation with the non-commutatuive star product appearing in the Lorenzian case In Lorentzian signature, a mathematically rigorous framework for renormalization was provided by Epstein and Glaser [EG73]. In [FR12a] this framework was combined with the BV formalism, allowing one to construct physically useful dg quantum models.
In light of the results of this paper, it is natural to ask whether one can produce a factorization algebra in Lorentzian setting. Note that classical observables form a factorization algebra even in the Lorentzian setting, with no extra work: solutions to the equations of motion form a sheaf-of possibly singular and infinite-dimensional manifolds, but a sheaf nonetheless-and so functions on solutions forms a factorization algebra. We hazard the following guess about the quantization of this situation.
Conjecture 1. Epstein-Glaser renormalization determines a factorization algebra deforming the classical observables. The restriction to Caus(M) determines the dg quantum model of [FR12a].
Remark 8.2. We hope to address the precise relation of that renormalization framework to Costello's [Cos11] in our future work. This direction of research is potentially divergent from the conjecture above.

Lifting Wick rotation to the algebraic level.
The evaluation of time-ordered products of functionals at the zero field gives back the Green functions (of the Lorentzian framework). For instance, the n-point Green function is given by where f i ∈ D and i = 1, . . . , n.
On the other hand, in [Cos11,CG17a] the factorization algebras of QFT allow one to reconstruct Schwinger n-point functions. In this paper we have seen that the CG approach can be also applied to the Lorentzian case directly. However, it is instructive to see how the two are connected on the level of n-point functions on flat spacetime.
The relation between the Euclidean and the Lorentzian framework is usually established via analytic continuation of Schwinger n-point functions using the Osterwalder-Schrader axioms [OS73]. The relation of Schwinger functions to time-ordered products has been discussed in [EE79]. We expect that one should be able to formulate the Wick rotation on the level of factorisation algebras (or nets). We want to address this issue in our future work.

Gauge theories.
It is in the context of gauge and gravity theories that the BV formalism demonstrates its full capacities and qualities, and it would be natural to develop analogues of the results here in those contexts.
The case of abelian gauge theories-where are free theories, albeit cohomological in nature-can be treated by almost identical methods; renormalization is not needed. In [CG17a] there is extensive discussion of the case of pure abelian Chern-Simons theory and of its factorization algebra. Its AQFT counterpart has been constructed in [DMS17].
The work of [BSS17a] is also quite relevant in this context. More generally, the BV quantization of Yang-Mills theories and effective gravity has been performed in [FR12b,FR12a,BFR16] (based on earlier results of [Hol08]), where the appropriate dg algebras are explicitly given and the need for dg models becomes truly manifest. In these cases, to tackle nonabelian gauge theories or to couple to matter fields requires renormalization, and so the methods, along the lines discussed above for interacting scalar theories, are necessary.
We expect that comparison results, analogous to the ones obtained in the present work, will be easy to prove, provided that the renormalization schemes are shown to be equivalent.
Acknowledgements. This project grew out of interactions at the Mathematisches Forschungsinstitut Oberwolfach in May 2016, and we are grateful for the comfortable and stimulating atmosphere provided by the Workshop "Factorization Algebras and Functorial Field Theories" and our fellow participants. Subsequently we have benefited from the chance to interact in person at the Max Planck Institute for Mathematics, Bonn, and the Perimeter Institute. The authors would like to thank both institutions for their remarkable hospitality and financial support. This research is also supported by the EPSRC grant |EP/P021204/1|. On a more personal level, we have benefited from the insights, experience, suggestions, feedback, and questions of many people. Clearly, Klaus Fredenhagen and Kevin Costello play a crucial role in our perspectives on QFT. In our work on this particular paper, we have enjoyed discussions with Pavel Safronov, Theo Johnson-Freyd, Marco Benini, Alex Schenkel and participants at the conference "Modern Mathematics of Quantum Theory" in York.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix
In this appendix we prove Theorem 4.2. Its statement only involves nuclear spaces, but our proof will detour through the setting of bornological and convenient vector spaces. We introduce this machinery to mimic a standard approach to proving this kind of result with finite-dimensional vector spaces. As this result is the only place where we need this brand of functional analysis, we isolate it here in the appendix and do not undertake any exposition of it. We recall some key facts and notations here, following Appendix B of [CG17a] or [Rej16], but a much more systematic overview of this setting can be found in [Her18], which also provides useful applications to QFT. The reader who wishes to obtain familiarity with this setting should also examine the standard reference [KM97].

Recollections. Following [CG17a], let
• LC T V S denote the category whose objects are locally convex Hausdorff topological vector spaces and whose morphisms are continuous linear maps, • BV S denote the category in which each object is the underlying bornological vector space of an object in LC T V S and whose morphisms are the bornological linear maps, and • C V S denote the full subcategory of BV S consisting of the c ∞ -complete bornological spaces.
Proof. The first statement is Theorem 2.14 of [KM97]. Lemma 2.2 of [KM97] shows that implies Mackey-completeness, and a complete topological vector space is sequentially complete.
This result ensures that the topological vector spaces arising from differential geometry, such as In the category BV S, the algebraic tensor product V ⊗ alg W can be equipped with a natural bornology that co-represents bornological bilinear maps f : V × W → U ; we denote the associated bornological space by V ⊗ β W . The category C V S inherits a natural tensor product by completing the bornological tensor product: for V, W ∈ C V S, we have This tensor product has an appealing property when applied to our favorite examples.
This result is a consequence of more foundational results.
where ⊗ π denotes the projective tensor product.
As a corollary, we have the following crucial result.
Here it is important to note that a Fréchet space is convenient, by Theorem 4.11 of [KM97].
Proof. By Result 52.23 of [KM97], we know that in a metrizable locally convex vector space, the convergent sequences coincide with the Mackey-convergent sequences. Hence, the usual metric space completion agrees with the Mackey-completion and thus with the c ∞ -completion.
Taking the metric space completion of V ⊗ π W is thus equivalent to the completion to a convenient vector space. Because V ⊗ π W = V ⊗ β W , we obtain the result. This result has important consequences for LF spaces, i.e., those topological vector spaces that arise as a sequential colimit of Fréchet spaces. For example, the compactly supported smooth functions D(M) is typically topologized as an L F space, as follows. Pick a sequence of compact subsets M 1 ⊂ M 2 ⊂ · · · such that M = i M i (an "exhaustive" sequence). Then D is the sequential colimit of the Fréchet spaces C ∞ (M i ), the smooth functions on M whose support is contained in M i . Note that for N another manifold with an exhaustive sequence of compact subsets N i , the products M i × N i provide an exhaustive sequence for M × N . Hence since completion is a left adjoint and hence preserves colimits. This argument justifies the lemma we opened with, when revised to encompass sections of vector bundles.
8.5. The theorem and the proof strategy. We now state a slightly different and more informative version of the theorem.
the symmetric algebra of V as a convenient vector space.
Implicit in the statement of the theorem is that V is already convenient when viewed as a bornological space. For this claim, see Lemma 8.10 below.
We now explain why this theorem implies Theorem 4.2. The inclusion functor inc β • inc c : C V S → LC T V S preserves colimits and hence cokernels. As the cochain complex is concentrated in nonnegative degrees and the cohomology is concentrated in degree zero, the only nontrivial cohomology is a cokernel. Hence this computation in C V S determines the cohomology as a cochain complex in LC T V S, which implies Theorem 4.2.
We now outline the steps for proving this theorem, which we pursue in the rest of the appendix.
Because the differential preserves the symmetric powers, the cochain complex decomposes as a direct sum of cochain complexes where PV n (M) denotes the graded vector space built from distributions on M n , which we view as the polynomial observables that are homogeneous of degree n. To prove the theorem, it thus suffices to prove that for each summand, the cohomology is concentrated in degree 0 and is isomorphic to Sym n ⊗ β (V ). The argument is by induction on n. The base case n = 1 is a fact of analysis: we need to know that is a short exact sequence. The induction step, however, boils down to homological algebra, notably a version of the acyclic assembly lemma. This classic result says that the tensor product of two acyclic complexes is again acyclic, and we will develop a version in our situation.
8.6. The base case and the convenient structure of V . Recall the following result. From it, we now deduce the base case. Proof. The exactness on the left side follows immediately from the preceding proposition. We now turn to the right hand side.
As a first step, we want to see that there is a natural map D/P(D) → V . Note that the image of P on D is closed by the closed graph theorem of Section 17 of Trèves, so this cokernel D/P(D) is nuclear, by Proposition 50.1 of Trèves. Since V ⊂ D , there is a canonical restriction map r : D → V . By the Hahn-Banach theorem, the restriction map is surjective. Moreover, since P annihilates V , the kernel of the restriction map r contains the image P(D) ⊂ D and so this restriction map factors through the cokernel D/P(D). Hence we have a canonical surjective continuous linear map r : D/PD → V .
To finish the lemma, we need to showr is an isomorphism.
It remains to showr is injective. To see this, we need to show that if r ( f ) = 0, there exists g ∈ D such that f = Pg. But by [BGP, Theorem 3.4.7], f ∈ Im(P) if and only if f ∈ ker(G : D → E), so it suffices to show that G f = 0. Consider G * : E → D , the dual to G : D → E, and note that under the continuous inclusion i : D → E , we find G * i(h) = −Gh for any h ∈ D. By [BGP, Theorem 3.4.7], P(Gh) = 0, and so for any h ∈ D, we find P(G * i(h)) = 0 and hence G * i(h) ∈ V . Thus G * i(D) is contained in V . Hence for any f such that r ( f ) = 0 and h ∈ D, we have where the first dual pairing is between V and V and the second is between D and D, which implies G f = 0, as needed.
We note that this exact sequence in LC T V S provides, without change, an exact sequence in BV S. We know, moreover, that D(U ) is convenient, so that the beginning of the sequence sits in C V S. It is not immediately obvious, however, that V is convenient.
Lemma 8.10. The cokernel V is a nuclear LF space. As such, it is complete as a topological vector space and hence convenient. In other words, is a short exact sequence in C V S.
Proof. Recall that D is a nuclear LF space, as shown in the corollary just before Theorem 51.6 of [Tre67]. Let us describe the structure explicitly. Pick a countable sequence of compact subsets M 1 ⊂ M 2 ⊂ · · · such that M = i M i . Then D is the sequential colimit of the nuclear Fréchet spaces D(M i ), the smooth functions on M whose support is contained in M i . A differential operator, such as P, preserves support, so that P sends D(M i ) to itself. Hence the action of P on D is the colimit of P acting on this sequence. The image of P on D(M i ) is closed and so the cokernel D(M i )/P(D(M i )) is Fréchet. As colimits commute, the cokernel of P on D is the colimit of these cokernels. Hence this cokernel is also L F. As an L F space is complete as a locally convex topological vector space (Theorem 13.1 of [Tre67]), it is convenient, since completeness as a topological vector space is stronger than c ∞ completeness. 8.7. The induction step. The essential fact we need to show is the following.
Proposition 8.11. For any positive integer n, there is a canonical quasi-isomorphism (0 → D P − → D → 0) ⊗ β n − → (V ) ⊗ β n between the n-fold completed projective tensor product of the complex for the operator P and the n-fold completed projective tensor product of V , the continuous linear functionals on distributional solutions V to P.
This result is the crucial step toward the result we really want. where Sym n β denotes the S n -invariant subspace of the n-fold completed bornological tensor product, where S n acts by permuting the tensor factors.
Note that the (continuous) action of S n decomposes the (completed) n-fold tensor product into a direct sum of factors, each of which is a cochain complex. By considering the invariant component, we obtain the theorem from the proposition.
The linchpin for proving the proposition is the following result, whose proof is modeled on the acyclic assembly lemma (see Lemma 2.7.3 of [Weibel]) and is deferred to the end of the appendix. Recall that a complex is acyclic if its cohomology is zero.
Lemma 8.13. Let A • be an acyclic bounded complex in C V S such that each space A k is a nuclear LF space. Let B • be another bounded complex in C V S, where each component B k is a nuclear LF space. Then the total complex of the tensor product A • ⊗ β B • is an acyclic bounded complex in C V S.
As a corollary of this lemma, we find a useful statement by induction on n, with Lemma 8.9 as the base case.
Corollary 8.14. For any positive integer n, the n-fold completed projective tensor product The proof is by induction on n, with Lemma 8.9 as the base case. To show Proposition 8.11, however, we need one further observation about acyclic complexes.
For any acyclic complex A • that is bounded above, such as consider the truncation that keeps only the components in degrees below k: and also consider the truncation that only keeps components in degrees above k − 1: τ ≥k A • = · · · → 0 → A k → 0 → · · · consisting of A k in degree k, since A k is the last nonzero component. There is a natural cochain map that in degree k − 1 consists of A k−1 d − → A k and that is the zero map in all other degrees. This cochain map is a quasi-isomorphism by inspection.
In our situation, Lemma 8.9 gives us the bounded acyclic complex, and so we see the desired quasi-isomorphism when n = 1. Moreover, by Lemma 8.13 and taking B = V , we see that is acyclic and hence that there is a quasi-isomorphism We have almost obtained Proposition 8.11 for n = 2. Consider now the double complex produced by the tensor product Each "row" (0 → D P − → D → V → 0) ⊗ β D is acyclic by Lemma 8.13, so we can use our truncation trick to produce a quasi-isomorphism (This amount to truncating at the rightmost "column," which is the one produced by tensoring with V .) Putting Eqs. (17), (18), and (19) together, we have the proposition for n = 2. We now record this argument in general.
Proof of Proposition 8.11. We use induction on n. Lemma 8.9 implies is a quasi-isomorphism, which is the base case n = 1.
Denote the cochain complex (0 → D P − → D → 0) ⊗ β n by C • n . As the induction step, suppose we have a quasi-isomorphism where the map is zero except in degree zero, where it goes from D ⊗ β n → (V ) ⊗ β n . We wish to produce a quasi-isomorphism Consider the cone of the map (20), which is acyclic because n is a quasi-isomorphism. This acyclicity assures us that C • n ⊗ β V is also acyclic, by the arguments used for Lemma 8.13. Hence we can extract a quasi-isomorphism It remains to exhibit a quasi-isomorphism To see this, note that (0 → D[1] P − → D → V → 0) is acyclic and so the tensor product is acyclic, from which one can read off the desired quasi-isomorphism.
8.8. Proof of Lemma 8.13. We now prove the key fact about acyclic complexes in a series of small steps. First, we examine how kernels and cokernels behave in this setting, since cohomology is a quotient of a kernel. The case of kernels is more subtle, and so we prove the relevant fact only in the setting we need. Proof. Fix a sequence of Fréchet spaces A 1 → A 2 → · · · such that A = colim A k , and similarly sequences of Fréchet spaces A 1 → A 2 → · · · and B 1 → B 2 → · · · such that A = colim A k and such that B = colim B k . We note that A ⊗ β B is colim A k ⊗ β B k , since we can combine the colimits and then take the "diagonal" sequence therein. Likewise, Let K denote the null space of Q on A, and let K k denote the null space of Q restricted to A k . Let L denote the null space of Q ⊗ β id B on A ⊗ β B, and let L k denote the null space of Q ⊗ β id B restricted to A k ⊗ β B. We wish to show that L is isomorphic to K ⊗ β B.
Note that K ⊗ β B is the colimit of K k ⊗ β B k , since we can combine the colimits and then take the "diagonal" sequence therein. It is useful to work with this sequence.
For instance, consider the canonical map of short exact sequences that arises from including the uncompleted tensor products into the completed tensor products. The two vertical maps on the right are dense inclusions, which implies the leftmost vertical map f k : K k ⊗ β D(N k ) → L k is dense too. Now the completioninclusion adjunction c ∞ inc c tells us that we obtain a canonical map through which the map f k factors. By the argument for Corollary 8.6, the convenient completion agrees with the completion as a topological vector space, so this map f k is an isomorphism. As we have exhibited an isomorphism for every index k, we have an isomorphism between the sequential colimits, as desired.
We can now prove the simplest version of Lemma 8.13.

Lemma 8.17. Let A • be an acyclic bounded complex in C V S such that each space A k is a nuclear LF space. Let B be a nuclear LF space. Then the complex A • ⊗ β B is an acyclic bounded complex in C V S.
Proof. Let d n : A n → A n+1 denote the differential in A • . For each n, we have an isomorphism im(d n ) ∼ = − → ker(d n+1 ) because A • is acyclic. By the preceding lemma, we know ker(d n+1 ) ⊗ β B = ker(d n+1 ⊗ β id B ), so we just need to show that to verify that A • ⊗ β B is acyclic. But this follows from that fact that images are cokernels and − ⊗ β B preserves cokernels.
With this result in hand, we can prove our acyclic assembly lemma.
Proof of Lemma 8.13. We manifestly obtain a bounded cochain complex of nuclear LF spaces (and hence in C V S), since the total complex of a tensor product of bounded complexes is bounded. Hence it remains only to prove the acyclicity.
Let P denote the differential on A and Q the differential on B. Consider the nth degree component of the tensor product: it is a direct sum i+ j=n A i ⊗ β B j , and its differential is Any degree n element x has the form i+ j=n Note that for each degree k, the complex A • ⊗ β B k is acyclic, by Lemma 8.17. Here the differential is just P ⊗ β id B k .
Choose an element x in the kernel of the total differential. We wish to show it equals d n−1 (y) for some element y of total degree n − 1. The key is to use a kind of staircase or zigzag argument. (In other words, we now recapitulate the argument of the usual acyclic assembly lemma, but in this C V S setting.) Due the boundedness, there is some biggest index K such that A k = 0 for all k > K but A K = 0. Hence, we know that the component is annihilated, P K ⊗ β id B n−K (x K (n−K ) ) = 0, since A K +1 = 0. By the assumption of acyclicity, there is some element y (K −1)(n−K ) ∈ A K −1 ⊗ β B n−K such that P K −1 ⊗ β id B n−K (y K −1,n−K ) = x K (n−K ) .
(From now on we will drop indices from the differentials P and Q but keep them on the elements.) Because x is in the kernel of the total differential, we know id A ⊗ β Q(x K (n−K ) ) = P ⊗ β id B (x (K −1)(n−K +1) ), which implies that P ⊗ β id B (x (K −1)(n−K +1) ) = P ⊗ β Q(y (K −1)(n−K ) ).
Hence we have produced a partial trivialization of x. By repeating the process just shown, we can work further up the staircase, introducing terms y ( j−1)k until we produce y such that x = d n−1 (y). This process terminates because the double complex is bounded. This shows the completed tensor product is acyclic as well.