Gabriel C Drummond-Cole

Joan Bellier-Mill Ès

HOMOTOPY THEORY OF CURVED OPERADS AND CURVED ALGEBRAS

Keywords: 1991 Mathematics Subject Classification. Primary 18M70, 18N40 ; Secondary 18E10, 18D15

Curved algebras are algebras endowed with a predifferential, which is an endomorphism of degree -1 whose square is not necessarily 0. This makes the usual definition of quasi-isomorphism meaningless and therefore the homotopical study of curved algebras cannot follow the same path as differential graded algebras.

In this article, we propose to study curved algebras by means of curved operads. We develop the theory of bar and cobar constructions adapted to this new notion as well as Koszul duality theory. To be able to provide meaningful definitions, we work in the context of objects which are filtered and complete and become differential graded after applying the associated graded functor.

This setting brings its own difficulties but it nevertheless permits us to define a combinatorial model category structure that we can transfer to the category of curved operads and to the category of algebras over a curved operad using free-forgetful adjunctions.

We address the case of curved associative algebras. We recover the notion of curved A∞-algebras, and we show that the homotopy categories of curved associative algebras and of curved A∞-algebras are Quillen equivalent.

Introduction

Motivation. The primary goal of this paper is to give a framework to deal with the homological and homotopical theory of curved algebras.

The most elementary definition of an associative algebra is an underlying vector space or module endowed with algebraic structures (multiplication, unit). The study of extensions or of deformations of an associative algebra leads to the definition of the Hochschild (co)homology, which is defined by means of the Hochschild (co)chain complex. Revisiting this definition in terms of derived functors leads up to the notion of resolution and in particular of quasi-isomorphism. Going further, the theory of model categories provides powerful tools to extend the previous ideas to many other contexts including the study of other kinds of algebras (commutative algebras, Lie algebras, . . . ). The category of dg modules over a ring is endowed with a model category structure whose weak equivalences are quasi-isomorphisms. Hochschild (co)homology has a meaningful interpretation in this context and it opens the door for (co)homology theories of other types of algebras.

Now suppose that we want to follow this path for curved associative algebras. Such algebras are equipped not with a differential but rather with a predifferential. Instead of squaring to zero, the square of the predifferential is equal to the bracket with a closed element called the curvature. This difference means that it is not reasonable to expect the category of curved algebras to have an underlying category of dg modules. There is therefore the need to define a new category (possibly containing the category of dg modules as a subcategory) endowed with a notion of weak equivalences to replace quasi-isomorphisms. Only then we will be able to achieve our goal.

Approach and antecedents. At the heart of the homological and homotopical study of algebras are the notions of an operad, used to encode algebras, and Koszul duality theory for such operads. Koszul duality theory is a homological theory in its definition and in its range of applications. The approach taken in this paper is:

(1) to define curved algebras as representations of curved operads, (2) to find an appropriate base category to study curved algebras, and

(3) to extend Koszul duality theory to the curved context. The constructions given in this paper are in some sense dual to the constructions given in [START_REF] Hirsh | Curved Koszul duality theory[END_REF]. However, the homotopy theory of curved algebras is complicated by the need to work in a kind of filtered context. In an unfiltered context, a homotopy algebra equipped with a non-zero curvature is isomorphic to an "algebra" which has a curvature but otherwise the zero algebra structure [START_REF] Positselski | Two kinds of derived categories, Koszul duality, and comodulecontramodule correspondence[END_REF]7.3] (see also Proposition 3.3 in [START_REF] Dotsenko | The twisting procedure[END_REF] for a filtered version with the curvature in filtration degree 0).

Moving to Koszul duality poses its own problems and this is the reason why we cannot use the existing literature [START_REF] Lyubashenko | Bar and cobar constructions for curved algebras and coalgebras[END_REF][START_REF] Lyubashenko | Curved cooperads and homotopy unital A-infty-algebras[END_REF]. The formulas that one is led naturally to write are infinite sums whose terms eventually go to smaller and smaller submodules of the filtration. These sums then only make sense if one further refines from a filtered to a complete context. Depending on the side of the duality, there are further minor refinements to make in order to fully capture the phenomena at play; see below for the gory details. The filtered context already appears in [START_REF] De Deken | Filtered cA∞-categories and functor categories[END_REF], and previously, in a more restricted setting in [START_REF] Positselski | Weakly curved a-infinity algebras over a topological local ring[END_REF].

In this last article, Positselski has similar motivations to ours. He proposes a framework to study the derived category of a curved associative or A ∞ -algebra. He is also able to develop a Koszul duality theory in this context. We highly recommend the reading of this article's engaging and fruitful introduction. We cannot however use his framework since our main example doesn't fit into it. We therefore propose a filtered framework which is different in two ways: we consider filtrations on the base ring which aren't induced by a maximal ideal and we consider filtrations on our objects (algebras, operads, . . . ) which aren't induced by the filtration on the base ring. Another example we have in mind is the curved A ∞ -algebras appearing in Floer theory in [START_REF] Fukaya | Lagrangian Intersection and Floer Theory: Anomaly and Obstruction[END_REF], which fit into the framework introduced here.

On filtered objects. Dealing with filtered and complete filtered objects poses multiple technical challenges. If the ground category is Abelian, the categories of (complete) filtered objects in the ground category are only quasi-Abelian [START_REF] Schneiders | Quasi-abelian categories and sheaves[END_REF]. Colimits are more difficult to compute and the monoidal product must be redefined in order to inherit various desirable qualities.

These details can be done more or less by hand; for example, the reference [Fre17, 7.3] contains a good deal of the setup work for the case where the ground ring is a field. It is also possible to perform an ∞-category treatment as in [START_REF] Gwilliam | Enhancing the filtered derived category[END_REF]. But for us, a useful way to organize the necessary changes was by recognizing that the various categories of objects of interest form a lattice of normal reflective embeddings. A subcategory inclusion is reflective when it admits a left adjoint (called a reflector ) and a reflective inclusion of closed symmetric monoidal categories is a normal reflective embedding when the reflector is extended into a strong symmetric monoidal functor.

Most of these categorical details are siloed off in Appendix A.

Our main algebraic categories. Let us give a little more precise focus here to guide the development of the exposition. The reader is encouraged to think of most of the symmetric monoidal categories as making up a scaffolding for the two cases of actual interest. These are curved augmented operads in the category of gr-dg complete filtered objects (treated in Section 2) and altipotent cooperads in the category of dg complete filtered objects (treated in Section 3).

Our operads. Again, a curved associative algebra is an associative algebra A endowed with a predifferential d satisfying

d 2 = [θ, -]
where θ is a closed element in A of degree -2. In the filtered complete context A = F 0 A ⊃ F 1 A ⊃ • • • , a filtered object endowed with a predifferential is grdg when its associated graded is differentially graded, and we will assume that θ ∈ F 1 A so that our curved algebras are gr-dg. The curved algebras in this article can therefore be considered as infinitesimal deformations of flat algebras. We extend this definition to define the notion of a curved operad. A first example is given by the endomorphism operad of a gr-dg object and there is a curved operad cAs whose algebras are precisely curved associative algebras.

Our cooperads. To tell a story about the bar-cobar adjunction, we need a notion dual to the notion of curved (augmented) operads. We use infinitesimal cooperads for this dual notion. Infintitesimal cooperads are quite similar to (not necessarily coaugmented) cooperads in a filtered context. The only difference is that the counit is constrained to lie in degree 1 of the filtration. As in the article [START_REF] Hirsh | Curved Koszul duality theory[END_REF], this can be seen as an incarnation of the fact that curvature and counit play a dual role and that asking for the curvature to be in filtration degree 1 corresponds dually to the fact that the counit also is in filtration degree 1.

Outline of the remaining contents. We introduce several (co)free constructions. In the operadic context, we define a free pointed gr-dg operad and a free curved operad. The first one is used to build the cobar construction of an infinitesimal cooperad, the latter is used to endow the category of curved operads with a model structure. In the cooperadic context, we define the notion of altipotence which is a variation of the notion of conilpotence adapted to the complete setting. We provide a cofree construction in this setting and we use it in the definition of the bar construction of a curved operad. The bar and the cobar constructions, presented in Section 4, fit as usual in an adjunction and are represented by a notion of curved twisting morphisms. These are different from the constructions in [START_REF] Lyubashenko | Curved cooperads and homotopy unital A-infty-algebras[END_REF] because of the filtered complete framework and by the fact that we consider a curvature only on one side of the adjunction. In the context of R-modules (for a field R of characteristic 0), the counit of the adjonction provides a graded quasi-isomorphism between curved operads. This resolution is functorial and we can hope to obtain a "smaller" resolution when dealing with specific examples. This is the objective of the Koszul duality theory for curved operads that we develop in Section 5. The constructions in this section are a little bit more subtle than the classical constructions because of the fact that infinite sums appear. In particular, it is difficult to describe the Koszul dual (infinitesimal) cooperad associated with a quadratic curved operad. Nevertheless, we define under certain conditions the Koszul dual operad which is easier to compute. Moreover, in the situation where the curved operad is Koszul, a Poincaré-Birkhoff-Witt type isomorphism provides a description of the underlying S-module by means of the (classical) Koszul dual cooperad of a quadratic operad which is the associated graded of the curved operad. Under the Koszul condition, we again obtain a resolution of the quadratic curved operad, smaller in a precise meaning since the generators embed to the bar construction as the 0-homology group for the "syzygy degree".

We make explicit the case of the curved operad cAs encoding curved associative algebras in Section 6. The curved operad cAs is Koszul and we can compute its Koszul dual infinitesimal cooperad (and operad), as well as the Koszul resolution. The algebras over the Koszul resolution are the curved A ∞ -algebras which appear in the literature (to give only a few examples see [GJ90, CD01, Kel06, FOOO07, Nic08, Pos19, DSV20]). We finally show that the homotopy categories of curved associative algebras and of curved A ∞ -algebras are Quillen equivalent.

Model category structure. Speaking of resolutions and Quillen equivalence are indications that we have a model category structure in mind. We establish the existence and properties of this structure in Appendix C. More precisely, there we describe a model structure on the base category of complete gr-dg R-modules. This model category enjoys several nice properties: it is a proper cofibrantly generated model structure, it is combinatorial and it is a monoidal model category structure. Classical theorems allow us to transfer this cofibrantly generated model structure along a free-forgetful adjunction. This enables us to endow the category of complete curved operads with a cofibrantly generated model structure. The bar-cobar resolution and the Koszul resolution are cofibrant in the underlying category of complete gr-dg S-modules. Similarly, we describe a free functor in the context of algebras over a curved operad and endow the category of algebras over a curved operad with a cofibrantly generated model structure. We provide base change results to compare the homotopy categories of algebras over some curved operads.

In [START_REF] Le | Homotopy theory of linear cogebras[END_REF], Le Grignou and Lejay endow the category of algebras over a curved cooperad with a model structure. For some curved cooperad, we can try to compare our curved algebras over the dual operad with their algebras and their model structure. Because of the freedom we have for our filtrations, it is not clear how to compare the two categories of algebras and the two model structures in general.

Conventions. The ground category is a Grothendieck category A equipped with a closed (symmetric monoidal) tensor product. We assume moreover that the tensor product preserve colimits in each variable. For various parts of the exposition, weaker hypotheses suffice but this seems a reasonable place to cut things off. For example, A can be

• the category of R-modules for R a commutative ring,

• the category of graded R-modules or complexes of R-modules,

• the category of sheaves of R-modules on a topological space X,

• the category of graded sheaves of R-modules or complexes of sheaves of R-modules on X, or • for a (graded) ringed space (X, O X ), the category of sheaves of (graded) O X -modules.

When we deal with symmetric operads, we want to assume that A is Q-linear. In the example above, this is the assumption that R is a Q-algebra.

We use the notation (M, , ⊗, 1) to denote an additive closed monoidal category with small colimits and limits. We assume moreover that the monoidal structure preserves colimits in each variable. Examples of such categories M are given by the categories A, Filt(A), Filt(A), and Filt gr (A) when A is a closed symmetric monoidal Grothendieck category with small colimits and limits and such that the monoidal structure preserves colimits in each variable.

We want to work with S-modules or collections in M, which are functors from the groupoid of finite sets to M. We also want to (simultaneously) work with Nmodules in M, which are functors from the groupoid of ordered finite sets to M. We sometimes implicitly pass to a skeleton of either of these categories with objects [n] = {1, . . . , n}.

The categories of S-modules and N-modules support a number of monoidal products built using the monoidal product of M. The primary one we will want to use is the composition product that we denote by •. The forgetful functor from S-modules to N-modules does not intertwine the composition products on each of these categories, but nevertheless we will use the same symbol for both cases. In the few cases where this might cause confusion, we will be explicit about the distinctions.

In Sections 5 and 6, we restrict ourselves to categories A of (unbounded) Zgraded R-modules or complexes of R-modules, for R a commutative ring.

When M is a Z-graded object, we denote by sM the suspension of M , that is the graded object such that (sM ) n := M n-1 .

The filtered framework

In this preliminary section we establish definitions, terminology, and notation for the base world of filtered and complete objects in which we will work.

1.1. Predifferential graded objects. We first fix our convention for filtered objects and predifferential graded objects.

Definition 1.2.

• A filtered object ( X, F ) (often expressed just as

X) in A is a N op -indexed diagram F 0 X ← F 1 X ← F 2 X ← • • •
where each map is a monomorphism. We often think of the object ( X, F ) as the object X := F 0 X equipped with the extra data of the family of subobjects {F p X}. Every non filtered object X gives rise to a trivially filtered object with

F p X = X p = 0 ∅ p > 0.
Morphisms of filtered modules f : ( X, F ) → ( Y , F ) are morphisms of diagrams. In other words, they are A-maps X → Y which are filtration preserving in that f (F p X) ⊂ F p Y , for all p ∈ N. • To the filtered object ( X, F ), we associate the graded object (i.e., object indexed by the elements of N op ) Gr X defined by (Gr X) p := F p X/F p+1 X.

We denote by Filt(A) the category of filtered objects in the category A.

Remark 1.3.

• Since we are only interested in decreasing filtration, we omit the adjective "decreasing" in this article.

• The indexing category N is not the most general possibility. The case of Zfiltered objects is also interesting but it's technically useful for us to work with a partially ordered monoid with the identity as its lowest element.

Of course, there are many examples of such monoids other than N, such as Q + and R + . But in most examples which arise in practice, it seems that coarsening the filtration to a discrete countable filtration by a monoid isomorphic to N does no harm in terms of the algebra that interests us. On the other hand, working with non-discrete filtrations poses a number of technical problems, most importantly the fact that the associated graded functor fails to be conservative in general. So we restrict our attention to N-filtrations.

Remark 1.4. It is well-known that the category Filt(A) is not Abelian in general. However, this category is a reflective subcategory of the category of N op -indexed diagrams in A and thus is bicomplete. See Appendix A for details.

Notation 1.5. Denote by gA the closed symmetric monoidal category of Z-graded A-objects and by dgA the closed symmetric monoidal category of Z-graded complexes in A (dg objects in A for short). A predifferential on a graded object X in gA is a degree -1 map of graded objects d : X → X. We denote by pgA the closed symmetric monoidal category of predifferential graded object (pg object in A for short).

Remark 1.6. When A is a Grothendieck category, the category pgA of predifferential graded objects is again a Grothendieck category. Colimits are taken degreewise and filtered colimits are degreewise exact hence exact. Finally, if

{U i } i∈I is a family of generators of A, then {D n,∞ U i := ( k≤n U i , d) } n∈Z, i∈I
, where the k-th copy of U i is in degree k, d sends u in the k-th copy to u in the (k -1)-th copy and where the filtration is given by F p (D n,∞ U i ) = k≤n-2p U , is a family of generators of pgA.

1.7. "Gr" and associated graded. For any property p of gA, we say that a filtered object X is gr-p if the associated graded object Gr X is p. We extend this terminology in the obvious way to all other contexts where we have a variant of the associated graded functor (and we make the definitions precise when the terminology is not obvious). This convention already appears in [START_REF] Sjödin | On filtered modules and their associated graded modules[END_REF].

The following example illustrates this terminological choice.

Definition 1.8. Let ( X, F, d) be an object of Filt(pgA). When the predifferential d induces a differential on Gr X, that is to say,

d 2 : F p X → F p X
factors through F p+1 X for all p, we call ( X, F, d) gr-dg. A natural way to associate a dg object to a gr-dg object ( X, F, d) is to consider the associated graded object (X, d) gr := (Gr X, Gr d).

Accordingly, we call gr-homology of the gr-dg object ( X, F, d) the graded object

H gr • ( X, F, d) := H • ((X, d) gr ) = H • (Gr X, Gr d).
We define the corresponding notion of "quasi-isomorphism" between gr-dg objects. We say that a map f : (

X, F, d) → ( Y , F , d ) is a graded quasi-isomorphism if it induces a quasi-isomorphism f gr : (X, d) gr → (Y, d ) gr , that is when H gr • (f ) : H gr • ( X, F, d) → H gr • ( Y , F , d
) is an isomorphism. Remark 1.9. The graded quasi-isomorphisms are the weak equivalences in the model category structure on gr-dg R-modules given in Appendix C.

From now on we use this kind of "gr" terminology without comment. 1.10. Complete objects. Given a filtered object X = ( X, F ), the filtration structure induces maps F p X ip -→ F 0 X. Definition 1.11. We say that X is complete if the natural morphism

X → lim p coker i p is an isomorphism.
We use the notation Filt(A) for the category of complete filtered objects in A.

Remark 1.12. Complete objects are a reflective subcategory of filtered objects, with a completion functor as a reflector which we will write

V → V , V → V , V → V ∧ ,
whichever seems typographically most appropriate in context. See Appendix A for details.

1.13. Monoidal products. The closed symmetric monoidal product of A extends to the filtered (see Corollary A.30) and complete (Corollary A.35) settings. The product in the filtered setting has components:

F p (V ⊗W ) := im colim a+b≥p F a V ⊗ F b W → V ⊗ W ,
and the product in the complete setting is the completion:

V ⊗W := (V ⊗W ) ∧ .
In both cases the internal hom objects can be calculated in N op -indexed diagrams in A.

Definition 1.14. We denote by Filt gr (A) the category of complete gr-dg objects ( X, F, d). It is a full subcategory of Filt(pgA). Moreover, when A is assumed to be a Grothendieck category, it is a reflexive subcategory of complete pg modules (see Corollary A.42) and the closed symmetric monoidal product of A extends to the complete gr-dg setting (see Corollary A.47). The monoidal product is again ⊗.

Operads in the complete and filtered setting

Let (M, , ⊗, 1) be an additive closed monoidal category with small colimits and limits. We assume moreover that the monoidal structure preserves colimits in each variable. In this situation, M is enriched over the category of sets (see [START_REF] Fresse | Modules over operads and functors[END_REF]1.1.7]) and for a set K and an object M ∈ M, we have a tensor product K ⊗ M in M given by K ⊗ M := k∈K M.

Examples of such categories M are given by the categories A, Filt(A), Filt(A), and Filt gr (A) when A is a closed symmetric monoidal Grothendieck category with small colimits and limits and such that the monoidal structure preserves colimits in each variable.

2.1. Complete S-objects. We present the monoidal category of symmetric objects (or S-modules) in M denoted by (S-Mod(M), •, I). We refer for instance to [LV12, 5.1] in the case of modules and to [Fre09, 2.2] for more general situations.

An S-module in M is a collection M = {M (0), M (1), . . . , M (n), . . .} of right- S n -objects M (n) in M. An action of S n on an object M (n) is defined as a morphism of monoids S n ⊗ 1 → M (n) in M. A morphism f : M → N in the category of S-Mod(M) is a componentwise morphism.
We define the monoidal product • of S-objects in M by

M • N (n) := k≥0 M (k) ⊗ S k i1+•••+i k =n Ind Sn Si 1 ו••×Si k (N (i 1 ) ⊗ • • • ⊗ N (i k )) ,
where Ind G H M := G ⊗ H M is the induced representation. We emphasize that, when for example M = Filt(A), the sum stands for the completion of the sum in A with respect to the filtration.

To simplify the notations, we denote by S-Mod( A gr ) the category S-Mod( Filt

gr (A))
and by S-Mod( dgA) the full subcategory of S-Mod( A gr ) given by complete pg-S-modules M = {M (n)} such that the M (n) are dg-objects. We remark that the category of S-modules defined in [START_REF] Loday | Algebraic operads[END_REF] can be seen as a full subcategory of the category S-Mod( dgA) by defining on the S-module M the trivial filtration F 0 M = M and F p M = {0} for all p > 0. For example, I := {0, R, 0, . . .} endowed with the trivial filtration and the trivial differential is an object of S-Mod( dgA).

This gives a monoidal product on the categories S-Mod( A gr ) and S-Mod( dgA). We are interested in the category (S-Mod( A gr ), •, I) in Section 2.5 and in the category (S-Mod( dgA), •, I) in Section 3.

Remark 2.2. Using the convention that an empty tensor product is equal to R, we get that one of the components of (M

• N )(0) is M (0).

Thus we have, for instance:

• a graded operad is an operad in the closed symmetric monoidal category (gA, ⊗), • a filtered operad is an operad in the closed symmetric monoidal category (Filt(A), ⊗), and • a complete operad is an operad in the closed symmetric monoidal category ( Filt(A), ⊗). • a complete gr-dg operad is an operad in the closed symmetric monoidal category ( Filt gr (A), ⊗).

Remark 2.4. The phrase "complete filtered operad" is a priori ambiguous. We will always use this phrase to mean an operad in a symmetric monoidal category of complete filtered objects in some ground category. We will never use it to mean an operad equipped with a complete filtration each stage of which is itself an operad.

Let O be an operad in M. The total object obtained by taking the coproduct (in M)

(-• i -) σP ,
The notation -• i -stands for the partial composition product on O where we plug the element in O(q) in the ith entry of the element in O(p). The sum runs over some ordered partitions P by means of which we can define the permutation σ P . (We refer to [START_REF] Loday | Algebraic operads[END_REF], Section 5.4.3 for more details.) If we fix a map µ : I → O(1) (or an element µ ∈ O(1) when it is meaningful), we therefore obtain, by a slight abuse of notation, an endomorphism [µ, -] of O given by the formula

[µ, -] := (µ • 1 -) -(-1) |µ||-| q j=1 (-• j µ). (Or [µ, ν] := µ • 1 ν -(-1) |µ||ν| q j=1 ν • j µ
when this is meaningful.) Moreover, the associativity of the map γ shows that [µ, -] is a derivation. 2.5. Curved operads. We give the definition of a curved operad in the category Filt gr (A) and we present the curved endomorphism operad in this context. We emphasize that our operads are allowed to have 0-ary elements, that is O(0) = ∅ a priori. We use the notation of the book [START_REF] Loday | Algebraic operads[END_REF].

Definition 2.6. A curved operad (O, γ, η, d, θ) is a complete gr-dg operad (O, γ, η, d) equipped with a map θ : I → (F 1 O(1)) -2 such that d 2 = [θ, -] (or [-, θ] + d 2 = 0), d(θ) = 0 (θ is closed ).
The map (or element) θ is called the curvature.

Remark 2.7. When dealing with curvature, we often think about the map θ as an element θ ∈ F 1 O(1) of degree -2. If necessary, it is possible to replace "the element θ" by "the map θ" everywhere in this article.

Definition 2.8. A morphism f : (O, d, θ) → (P, d , θ ) of curved operads is a morphism of operads such that

f • d = (-1) |f | d • f, f (θ) = θ .
We denote by cOp(A) the category of curved operads in Filt gr (A). A weak equivalence between curved operads is a morphism of curved operads whose underlying S-module map is a weak equivalence.

An important example of a curved operad is given by the endomorphism operad of a complete gr-dg object.

Definition 2.9. The endomorphism operad of a complete gr-dg object (X, d) is the curved operad

End X := ({Hom(X ⊗n , X)} n≥0 , γ, ∂, θ),
where the composition map γ is given by the composition of functions and

∂(f ) := [d, f ], for f ∈ Hom(X ⊗n , X), θ := d 2 .
It is straightforward to check that this really defines a curved operad.

Definition 2.10. A representation of a curved operad O on the complete gr-dg object X is a map of curved operads O → End X . We also say that this defines an O-algebra structure on X.

Remark 2.11. An example of such an algebra is given by curved associative algebras (see Section 6) and curved Lie algebras in a complete setting.

An augmentation of a curved operad (O, γ, η, d, θ) is a map O → I of curved operads such that ε • η = id I .

An augmentation realizes the underlying S-object of O as the biproduct (i.e., both the product and coproduct) of I and ker ε, which we denote O as usual.

2.12. Free complete operad. The construction of the free operad given in [START_REF] Baues | Cohomology of monoids in monoidal categories[END_REF][START_REF] Rezk | Spaces of algebra structures and cohomology of operads[END_REF] and in [START_REF] Loday | Algebraic operads[END_REF], Section 5.5.1 and 5.8.6 apply in the filtered and in the complete setting by replacing the biproduct and the composition product • by their filtered or complete analog.

We recall the definition of the tree operad. For M an S-module in M, we define

T 0 M = I
and recursively define

T n M = I (M • T n-1 M ).
There is an inclusion

T 0 M → T 1 M . Then given a map ι n-1 : T n-1 M → T n M ,
there is a map ι n : T n M → T n+1 M which takes the I factor to the I factor and takes M • T n-1 M → M • T n M using id M on the M factor and ι n-1 on the other factor. We write T M the colimit (in filtered S-modules) over n of T n M and T M the colimit (in complete S-modules) over n of T n M .

There is an injection from I = T 0 M → T n M which passes to a map η : I → T M (resp. η : I → T M ). Similarly, the map M → T 1 M induces a map j : M → T M (resp. j : M → T M ).

The two constructions T M and T M are the free operads in the filtered and in the complete setting with the same arguments as in Theorem 5.5.1 in [START_REF] Loday | Algebraic operads[END_REF].

Theorem 2.13. There is an operad structure γ (resp. γ) on T M (resp. T M ) such that T (M ) := (T M, γ, j) (resp. T (M ) := ( T M, γ, j)) is the free operad on M in the category of filtered operads (resp. of complete operads).

Proof. See [LV12, Theorem 5.5.1].

Next we verify that this standard construction commutes with completion, so that the complete free operad is the aritywise completion with respect to the filtration of the usual free operad.

A lax symmetric monoidal functor induces a functor on operads, acting aritywise (see, e.g., [Fre17, Proposition 3.1.1] or [START_REF] Yau | A Foundation for PROPs, Algebras, and Modules[END_REF]Theorem 12.11(1) applied to Corollary 11.16]). Therefore, given an operad O in filtered objects, the aritywise completion O is (functorially) a complete operad. Moreover, the completion functor and the inclusion of complete operads into filtered operads are still adjoint [YJ15, Corollary 12.13] (see also [START_REF] Fresse | Homotopy of operads and Grothendieck-Teichmüller groups[END_REF]Proposition 3.1.5], where the hypotheses require G to be strong symmetric monoidal but the argument only uses the lax structure). We record the conclusion as follows.

Proposition 2.14. Aritywise completion and inclusion form an adjunction between complete filtered operads and filtered operads.

This construction is then compatible with the free operad in the following sense.

Proposition 2.15. Let M be a filtered graded S-object. The completion of the free filtered (graded) operad on M and the map of complete S-objects M → T M induced by completion exhibits T M as the free complete operad T M on the complete S-object M .

Proof. By adjunction, maps of complete operads from T M to a complete graded operad X are in bijection first with operad maps from T M to X , then to S-object maps from M to X , and finally to complete S-object maps from M to X .

A priori there are two recipes for a map from M to T M . To see that they agree, it suffices to compare them on M , where both are the composition M → T M → T M .

Remark 2.16.

(1) When (M, d M ) is a predifferential graded S-object, the free (complete) operad on M is naturally endowed with a predifferential dM induced by d M defined as follows: it is the unique derivation which extends the map

M d M --→ M → T M.
We denote by T (M, d M ) the free pg operad (T M, dM ). Moreover, when (M, d M ) is a gr-dg S-object, so is T (M, d M ) and it is the free gr-dg operad on (M, d M ). This is true in the filtered and in the complete settings.

(2) To lighten the notation, when the setting is explicit, we use the notation T for the free operad both in the filtered and in the complete setting. (3) By the previous proposition, it is possible to think of an element in the free complete operad on the complete graded S-object M as a (possibly infinite) sum of trees, whose vertices of arity k are indexed by element in M (k).

2.17. Free curved operad on a gr-dg S-module. We now provide a curved version of the free-forgetful functors adjunction.

Definition 2.18. We say that a couple (O, d O , θ) is a pointed complete gr-dg operad when O is a complete gr-dg operad and θ is a closed element in

F 1 O -2 (that is d O (θ) = 0).
In the next proposition, T denote either the free filtered gr-dg operad or the free complete gr-dg operad.

Proposition 2.19. We define the functor

T + : S-Mod( A gr ) → Pointed filtered/compl. gr-dg operads, (M, d M ) → T (M ϑI), dM , ϑ ,
where ϑ is a formal parameter in homological degree -2 and in filtration degree 1 and dM is the unique derivation which extends the map

M ϑI → M d M --→ M → T (M ϑI).
There is an adjunction T + : S-Mod( A gr ) / Pointed filt./compl. gr-dg operads : U. o Moreover, the pointed filtered / complete gr-dg operad (T + (M, d M ), γ, j + ), where γ is the free composition product and j + is the map M j -→ T M → T (ϑI M ) is the free filtered / complete gr-dg operad.

Proof. We denote by pOp the category of pointed operads under consideration and we consider a pointed operad (O, d O , θ) in it. By Theorem 2.13, we have

Hom Op (T (M ϑI), O) ∼ = Hom S-Mod( A gr ) (M ϑI, U (O)) ∼ = Hom S-Mod( A gr ) (M, U (O)) × Hom S-Mod( A gr ) (ϑI, U (O)),
where U (O) is the underlying filtered / complete graded S-modules associated with O. The fiber over the map ϑ → θ on the right-hand side is naturally isomorphic to Hom S-Mod( A gr ) (M, U (O)). On the other hand, the fiber over the map ϑ → θ on the left-hand side consists of those operad maps T + M → O sending ϑ to θ. The condition on the predifferentials follows directly from the construction of dM . We therefore obtain the adjunction

Hom pOp (T + (M, d M ), (O, d O , θ)) ∼ = Hom S-Mod( A gr ) ((M, d M ), U (O, d O , θ)),
where U (O, d O , θ) is the underlying filtered / complete gr-dg S-modules associated with (O, d O , θ). It is clear from the proof (and Theorem 2.13) that the tuple (T + (M, d M ), γ, j + ) is the free filtered / complete gr-dg operad.

We construct the free curved operad by means of the functor T + .

Theorem 2.20. We define the functor

cT : S-Mod( A gr ) → Curved operads (M, d M ) → T (M ϑI)/ im(d M 2 -[ϑ, -]) , dM , θ ,
where ϑ is a formal parameter in homological degree -2 and in filtration degree 1, the map dM is the derivation induced by dM and im(d Proof. The map dM induces a well-defined map dM on the quotient of the free operad

T (M ϑI)/ im(d M 2 -[ϑ, -]) since dM (ϑ) = 0. From the fact that im d M 2 -[ϑ, -] ⊂ im( d M 2 -[ θ, -]) = im d M 2 -[ϑ, -]
we obtain that cT (M, d M ) is a curved operad. We denote by U p is the forgetful functor from curved operads to pointed grdg operads. Morphisms of curved operads are morphisms of pointed gr-dg operads between curved operads. This means that a morphism of curved operads f : cT (M, d M ) → (O, d O , θ) is the same thing as a morphism of pointed gr-dg operads f :

U p cT (M, d M ) → U p (O, d O , θ). Morphisms U p cT (M, d M ) → U p (O, d O , θ) in pointed gr-dg operads coincide with morphisms T + (M, d M ) → U p (O, d O , θ) in pointed gr-dg operads with the condition that the ideal im d M 2 -[ϑ, -] is sent to 0. Since im( d M 2 -[ θ, -]) = im d M 2 -[ϑ, -]
and morphisms of pointed gr-dg operads commute with the predifferentials and send the marked point to the marked point, we get that this last condition is automatically satisfied when U p (O, d O , θ) is the underlying pointed gr-dg operad of a curved operad. Hence, we have

Hom cOp (cT (M, d M ), (O, d O , θ)) ∼ = Hom pOp (T + (M, d M ), U p (O, d O , θ)).
The Theorem follows from Proposition 2.19.

Remark 2.21. This adjunction is useful to define a model category structure on complete curved operads so that the bar-cobar resolution and the Koszul resolution provide S-cofibrant resolutions (see Appendix C for the details on the model structure).

We now give the notion of quasi-free complete curved operad. The cobar construction (see Section 4) is a quasi-free operad and cofibrant complete curved operad (see Appendix C) are retracts of quasi-free complete curved operads.

Definition 2.22. We call a complete curved operad O quasi-free if there exists a complete S-module M and a predifferential d :

T + (M ) → T + (M ) such that O ∼ = (T + (M ), d)/ im d 2 -[ϑ, -] .
It is different from a free complete curved operad by the fact that the predifferential d is not a priori induced by a map M → M .

Complete cooperads

We present in this section the notion of a complete cooperad and associated notions, most importantly altipotence, a variation of conilpotence where instead of being eventually zero, iterated powers of the decomposition map eventually arrive in arbitrarily high filtration degree. This material is fairly technical, but the raison d'être and upshot are straightforward: the goal throughout is to establish a context in which the usual formulas for the cofree conilpotent cooperad in terms of decorated trees extend to the complete context. The tension is to find a full subcategory of cooperads that is big enough to contain the (complete) tree cooperad but small enough so that the tree cooperad is the cofree object there. It is possible (in fact likely) that there are more natural alternatives to working with altipotence. Since for us the altipotent cooperads are not of intrinsic interest but merely a tool to study complete operads, in that capacity they are perfectly adequate. Definition 3.1. We define a cooperad (C, ∆, ε, d) in the category M to be a comonoid in the monoidal category (S-Mod(M), •, I). The map ∆ : C → C • C is a decomposition map, the map ε : C → I is the counit map. Morphisms of cooperads are morphisms of comonoids in S-modules. We denote by Coop(M) the category of cooperads in M.

Thus:

• a graded cooperad (in A) is a cooperad in the category (gA, ⊗),

• a filtered cooperad is a cooperad in the category (Filt(A), ⊗), and • a complete cooperad is a cooperad in the category ( Filt(A), ⊗),

• a dg complete cooperad is a cooperad in the category ( Filt(dgA), ⊗).

We need an other notion of "cooperad" in the next section to define a bar construction and a cobar construction. Definition 3.2. When (M, F ) is a (complete) filtered object in M, we define the k-shifted filtrations of F by (M, F )[k] = (M, F [k]) where

F [k] p M = F 0 M when k + p ≤ 0, F k+p M when k + p ≥ 1.
With a slight abuse of notation, we often simply write

M [k] instead of (M, F )[k] and F p M [k] instead of F [k] p M .
We denote by I[-1] the (complete) filtered S-module endowed with the following filtration

F 0 I[-1] = I, F 1 I[-1] = I and F p I[-1] = ∅ for all p ≥ 2.
Definition 3.3. We define an infinitesimal cooperad (C, ∆, ε, d) in the category M to be the following data:

• a coassociative map ∆ : C → C • C called the decomposition map;

• a map ε : C → I[-1] called the counit map which fits into the following commutative diagrams

(C(n)[-n]) n ∼ = C • (I[-1]) C • C I[-1] • C ∼ = (C(n)[-1]) n C id•ε ε•id incl. ∆ incl.
Morphisms of infinitesimal cooperads are morphisms of S-modules which preserve the decomposition map and the counit map. We denote by infCoop(M) the category of infinitesimal cooperads in M.

The same definition is meaningful in the case where the filtration is a graduation and we can therefore provide the same definition in a graded setting. Because generically the associated graded functor is not colax, it does not take filtered (infinitesimal) cooperads to graded (infinitesimal) cooperads. For that we need a flatness condition. Proposition 3.4. There is a functor Gr from the category of gr-flat filtered (or complete, infinitesimal) cooperads to graded (infinitesimal) cooperads covering the associated graded functor.

See Appendix B for the proof.

Remark 3.5 (Warning). Because the associated graded functor does not extend to arbitrary filtered or complete (infinitesimal) cooperads, any "gr" definition which uses a cooperadic structure on the associated graded is implicitly assumed to only be defined for gr-flat filtered or gr-flat complete (infinitesimal) cooperads.

3.6. The tree cooperad. We recall the construction of the tree cooperad in an additive category. This construction is taken directly from [LV12, 5.8.6] with very mild adaptations (using coinvariants instead of invariants and working in greater generality). We recall it explicitly because we will need to work with it intimately.

The following construction works in a cocomplete symmetric monoidal additive category equipped with the composition product • and unit I. We however work in the category M described in the beginning of Section 2 for the results arriving after.

Construction 3.7 (Tree cooperad). For M an S-module in M, we write T c M as the colimit (in S-modules) over n of T n M , where T n M is defined in Section 2.12.

There is a projection using the zero map from T n M → I which passes to a map ε : T c M → I. There is an inclusion η :

I = T 0 M → T c M .
Finally we define a decomposition map. We proceed inductively. First define ∆ 0 : T 0 M → T 0 M • T 0 M as the canonical map I → I • I. We use the same definition for I ⊂ T n M . For the M • T n-1 M summand of T n M , we define a map to the biproduct

M • T n-1 M → (I • (M • T n-1 M )) ((M • T n-1 M ) • T n M )
by I • id on the first factor and

M • T n-1 M id M •∆n-1 -------→ M • (T n-1 M • T n-1 M ) ∼ = (M • T n-1 M ) • T n-1 M id•ιn-1 -----→ (M • T n-1 M ) • T n M on the second factor.
This passes to the colimit to give a map ∆ :

T c M → T c M • T c M .
Verifying left unitality is direct, right unitality is by induction, and associativity is by a combination of induction and combinatorics involving the I factor.

This defines a cooperad, called the tree cooperad.

The tree cooperad is often constructed (e.g., in [START_REF] Loday | Algebraic operads[END_REF]) as an explicit model for the cofree conilpotent cooperad. We care about this explicit model more or less because it lets us perform calculations. However, in the complete case which interest us, the cooperads is not conilpotent in general. Therefore our goal is to weaken the conilpotence condition and find a more relaxed setting in which the tree cooperad will still be cofree. Lemma 3.8. There is a natural retract of collections r n from T n M to T n-1 M .

Proof. We can define r n inductively. For n = 1 the retract r 1 : I M • T 0 M → I is projection to the first factor. Suppose given r j for 1 ≤ j < n. Define the n component at M ,

r n : I (M • T n M ) → I (M • T n-1 M ),
as the identity on the first factor and id • r n-1 on the second factor. By induction r n is a retract of the desired inclusion.

The composite of r 2 • • • r n : T n M → T 1 M with the projection T 1 M → M •I ∼ = M provides a map n (M ) : T n M → M , which extends to a map (M ) : T M → M (functorial in M ).
We will use the notation Q n M for the "graded" component T n M/T n-1 M .

Corollary 3.9. The underlying collection of the tree cooperad T c M is the coproduct of Q n M over all n. Similarly, the finite stage T n M is the coproduct of these quotients through stage n.

Proof. The retract of Lemma 3.8 realizes the object T n M as the coproduct of Q n M and T n-1 M , since S-Mod(M) is additive with kernels. Then by induction T c n M is isomorphic to the coproduct j≤n Q j M, and the colimit of these is the infinite coproduct.

Remark 3.10. Intuitively we can think of the nth graded stage Q n M as consisting of rooted trees decorated by elements of M with maximal number of vertices encountered in a simple path from the root to a leaf precisely equal to n.

Corollary 3.11. Let M be a complete collection in Filt(A). A map of complete collections with codomain T c M is determined uniquely by its projections to Q n M (but need not exist).

Proof. This follows from Lemma A.17 which says the map from the coproduct to the product is monic. Construction 3.12. Let C be a complete cooperad and M a complete collection equipped with a map of collections ϕ : C → M .

We inductively construct a map Φ n : C → Q n M as follows. We define Φ 0 as C → I ∼ = T c 0 M as the counit ε. We define Φ 1 as ϕ. Next assuming Φ 0 , . . . , Φ n-1 are defined, we define a map to the biproduct

n i=0 Φ i : C → T c n M = I (M • T c n-1 M )
as Φ 0 on the first summand I and

ϕ • n i=1 Φ i-1 • ∆
on the second summand. Inductively this agrees with n-1 i=0 Φ i except on the factor Q n M of the biproduct T c n M , and so defines Φ n . This gives a map into the product of quotients Q n M . Lemma 3.13. Let C be a complete cooperad and M a complete collection. Let Φ : C → T c M be a map of collections and let ϕ : C → M be the projection

C Φ -→ T c M → Q n M → M.
Then Φ is a map of cooperads if and only if the projection

C Φ -→ T c M → n Q n M → Q N M
coincides with the map Φ N obtained from ϕ via Construction 3.12 for all N .

Proof. The map Φ is compatible with counits if and only if

C Φ -→ T c M → Q 0 M ∼ = I is the counit of C,
which coincides with Φ 0 . Compatibility with Φ 1 is already a hypothesis of the lemma.

Let us first show necessity. Suppose shown that the projection of Φ to T n-1 M must be n-1 j=0 Φ j-1 in order that Φ be a map of cooperads. Let N be arbitrary (a priori unrelated to n) and consider the composition of the "comultiplication" ∆ N :

T N M → T N M •T N M used in Construction 3.7 and the map T N M •T N M N (M )•id ------→ M • T N M .
More or less by unitality, this composition is the inclusion of the non-I summand of T N M into the non-I summand of T N +1 M . Moreover, the restriction of this composition along Q N M → T N M lifts as follows (again essentially by definition of ∆ N ):

(M • T N -1 M )/(M • T N -2 M ) Q N M T N M T N M • T N M M • T N M. ∆ N N (M )•id
In particular for N > n the projection of the horizontal composition to M • T n-1 M vanishes. Then the following diagram commutes:

C T c M T n M C • C T c M • T c M M • T n-1 M. ∆ Φ projection ∆ Φ•Φ
The composition along the bottom of the diagram is ϕ • n-1 j=0 Φ j by induction, which suffices to show that the projection of Φ to T n M is n j=0 Φ j , extending the induction. Now we turn to sufficiency. Suppose that Φ has projections as in Construction 3.12. We would like to argue that Φ is a cooperad map. We reduce the question to an inductive question about the finite stages T r M •T s M by the following categorical argument. First, • preserves filtered colimits in each variable, since ⊗ does, so maps to T c M •T c M are the same as maps to colim r,s T r M •T s M . All of the connecting maps in the diagram for this colimit split, which means that colim r,s T r M •T s M splits as a coproduct. Writing the coproduct explicitly is somewhat inconvenient since • doesn't naively distribute over coproducts on the right, but in any event every term in this coproduct appears at the stage indexed by some finite pair (r, s). Then by Lemma A.17, there is a monomorphism from colim r,s T r M • T s M to r,s T r M • T s M . Moreover, the projection of

T c M ∆ -→ T c M • T c M → T r M • T s M factors through T r+s M . Therefore to check commutativity of the square C T c M C • C T c M • T c M Φ ∆ Φ•Φ
it suffices to check commutativity of the square

C T c M T r+s M C • C T c M • T c M T r M • T s M Φ r+s j Φj projection of ∆ Φ•Φ ( r j Φj )•( s j Φj )
for all r and s.

We proceed by induction on r. The base cases with r = 0 follow from unitality considerations, so assume that r is strictly positive. Consider the following diagram:

C T r+s M C • C M • T r+s-1 M C • C • C M • T r-1 M • T s M. r+s j Φj ∆ projection id•∆ ϕ• r+s-1 j Φj projection of ∆ ϕ• r-1 j Φj • s j Φj
The upper square commutes by construction of Φ j and the lower square commutes by the inductive premise. The outer rectangle constitutes the correct commutativity for all of the summands of the next step in the induction except for the I • T s M term, which again follows by unitality. Note that comparing this outside cell to the next inductive step uses the fact that (id

• ∆) • ∆ = (∆ • id) • ∆ in the cooperad C.
This completes the induction.

This lemma constitutes a uniqueness result for extending ϕ to a cooperad map Φ. However, it is only a partial existence result because Construction 3.12 a priori lands in the product of Q n M , not in the subobject T c M of the product. In the next section we will provide conditions for a refined existence result, conditions under which the projections Φ n determine a map with codomain T c M .

3.14. Gr-coaugmentation and gr-conilpotence. We now move on to the definition of altipotence. To manage that, we generalize the notions of coradical filtration and of primitives for a coaugmented cooperad to the setting of complete filtered (infinitesimal) cooperads.

Definition 3.15. Let (C, ∆, ε, d) be a complete cooperad.

• A coaugmentation for this cooperad is a map η :

I → C of cooperads (on I, ∆(1) = 1 ⊗ 1) such that ε • η = id I . • When C is gr-flat, a gr-coaugmentation η is a map of filtered complete
S-modules, such that applying the graded functor Gr to (C, ∆, ε, d, η) provides a flat coaugmented cooperad. Let (C, ∆, ε, d, η) be a gr-coaugmented gr-flat cooperad.

• The infinitesimal coideal of η, notated C, is the complete filtered S-module which is the pushout (in complete filtered objects) of the diagram

I[-1] ← I η -→ C, where I → I[-1]
is the identity in filtration degree zero. We denote by η the map I[-1] → C in the pushout. These definitions extend directly to infinitesimal cooperads. Let (C, ∆, ε, d) be a complete infinitesimal cooperad.

• A coaugmentation for this infinitesimal cooperad is a map η :

I[-1] → C of infinitesimal cooperads (on I[-1], ∆(1) = 1 ⊗ 1 defines a filtered map) such that ε • η = id I[-1] .
• When C is gr-flat, a gr-coaugmentation η is a map of filtered complete S-modules, such that applying the graded functor Gr to (C, ∆, ε, d, η) provides a flat coaugmented infinitesimal cooperad.

Remark 3.16. In keeping with our conventions, a gr-coaugmentation only has to be compatible with the decomposition map, the differential and the counit on the graded level. However, a gr-coaugmentation still satisfies ε

• η = id I (resp. in the infinitesimal setting, ε • η = id I[-1]
) at the filtered level. This follows from the fact that since I has nothing in positive filtration degree, the counit ε factors through its 0th graded component. Respectively, in the infinitesimal setting, this follows from the fact that since I[-1] is characterized by its filtration degree 1 component, the counit ε is characterized by its 1st graded component.

Remark 3.17. The infinitesimal coideal C has the same underlying object as C, but the image of η is forced to live in filtration degree 1. There is a map of complete objects C → C. Then given a map of complete collections C ϕ -→ M , we can use the recipe of Construction 3.12 to extend C → C → M to a map C → Q n M . We use the same notation in this case (i.e., we do not record whether the map ϕ started with domain C or C). For simplicity, we still denote this infinitesimal cooperad by C.

Proof. The map ε : C → I[-1] is obtained by the universal property of the pushout C and the two maps id

I[-1] and C ε -→ I → I[-1].
The differential d is defined similarly. Since C has the same underlying object as C the maps ∆, ε and η are predetermined and the only question is whether they respect the filtration of C. This is evident by construction for ε and η. It remains to treat the case of ∆. Because η is a gr-coaugmentation, we know that

∆η ≡ (η • η)∆ I (mod F 1 (C • C)) which immediately implies that ∆ η ≡ 0 (mod F 1 ( C • C)).
The tree cooperad is coaugmented by the inclusion of I into T c M and the tree infinitesimal cooperad

T c M is coaugmented by the inclusion of I[-1] into T c M .
Lemma 3.19. The categories of gr-coaugmented complete cooperads and of grcoaugmented complete infinitesimal cooperads are equivalent through the map C → C.

Proof. It is enough to describe an inverse functor to C → C. By Remark 3.16, for a gr-coaugmented complete infinitesimal cooperad C, we can write

C ∼ = η(I[-1]) ker ε. The inverse functor is given by C → η(I[-1])[1] ker ε.
For convenience, we describe the notion of altipotent cooperad for cooperads but this notion make also sense for infinitesimal cooperads by the preceding lemma and we use it in this last setting. Now we make some definitions related to conilpotence in the complete context. We cannot follow either [START_REF] Loday | Algebraic operads[END_REF] or [START_REF] Le | Homotopy theory of linear cogebras[END_REF] without modification. Definition 3.20. Let (C, ∆, ε, d) be a complete (gr-flat) cooperad endowed with a gr-coaugmentation η. We define the reduced decomposition map ∆ :

C → C • C by ∆ := ∆ -((η • ε) • id) • ∆ -(id • (η • ε)) • ∆ + ((η • ε) • (η • ε)) • ∆.
Definition 3.21 (Coradical filtration). We define a bigraded collection cr p,n C of subcollections of C recursively as follows. We define cr p,0 C as F p C and define cr 0,n C as F 0 C. Next, supposing that cr p ,n C is defined for n < n and p ≤ p, we first define a subobject cr

p,n (C • C) of C • C. We define it as the sub-object in C • C m≥0 p0+•••+pm+δ=p F p0 C(m) ⊗ Sm m i=1 F pi cr pi+δ,n-1 C.
Then define cr p,n C as the following pullback:

cr p,n C C cr p,n (C • C) C • C.

∆

Recursively, there are natural inclusions cr p,n C → cr p-1,n C and cr p,n C → cr p,n+1 C.

Definition 3.22. Let C be a complete (gr-flat) cooperad which is equipped with a gr-coaugmentation η. We define the k-primitives of C to be the S-module:

Prim k C := ker ε ∩ p≥0 cr p+k,p C,
and the primitives to be the S-module:

PrimC := k≥0 Prim k C.
We also fix the following notations

Prim + k C := p≥0 cr p+k,p C.
Definition 3.23. Let (C, η) be a complete gr-coaugmented (gr-flat) cooperad. If (1) the map colim

n cr p,n C → C
is an isomorphism for all p, (2) the coaugmentation η(I) lies in Prim + 0 C, and (3) for all k ≥ 0 we have

∆(Prim + k C) ⊂ m k0+•••+km=k+1 F k0 C(m) ⊗ Prim + k1 C ⊗ • • • ⊗ Prim + km C , ( * )
then we call C altipotent.

Remark 3.24. The Latin prefix "alti-" denotes height. This condition is a priori stronger than gr-conilpotence and weaker than conilpotence. In a gr-conilpotent cooperad, repeatedly applying the reduced decomposition map would eventually increase the filtration degree by 1. In a conilpotent cooperad, repeatedly applying the reduced decomposition map would eventually reach zero. In an altipotent cooperad, repeatedly applying the reduced decomposition map eventually increases the filtration degree past any fixed number.

3.25. Existence of extensions in the altipotent setting. In this section we show that the tree cooperad is the cofree altipotent cooperad.

Lemma 3.26. Let C be a complete altipotent cooperad and M a complete collection. Let ϕ : C → M be a map of collections which extends to a map C → M that we still denote by ϕ. Then for p ≥ 0, we have

Φ j (η(I)) ⊂ F p Q j M, for all j ≥ 2p, (1)
Φ j (Prim k C) ⊂ F p+k Q j M, for all j ≥ 2p + 1 and all k ≥ 0, ( 2
)
where the maps Φ j are defined in Section 3.6.

Proof. We will prove the statement by induction on p. The base case p = 0 is true because

F 0 Q j M = Q j M for Statement (1
) and ϕ and Φ j are filtered for Statement (2). Let j ≥ 2p ≥ 2. We need to control the terms in

ϕ • j i=1 Φ i-1 • ∆(η(I))
where at least one Φ j-1 appears. First, we recall that

∆(η) = ∆(η) + (η ⊗ η)∆ I with ∆(η(I)) lying in m k0+•••+km=1 F k0 C(m) ⊗ Prim + k1 C ⊗ • • • ⊗ Prim + km C since C is altipotent. (In particular, ∆(η(I)) ⊂ F 1 (C • C).
) By means of the fact that ϕ extends to a map C → M , we have ϕ(η(I)) ⊂ F 1 C. Therefore, the induction hypothesis gives (ϕ

⊗ Φ j-1 ) (η ⊗ η)∆ I (I) ⊂ F 1+(p-1) Q j M = F p Q j M (using 2p -1 ≥ 2(p -1)
). Then we consider the term

ϕ • j i=1 Φ i-1 • ∆(η(I))
where at least one Φ j-1 appears. We need to control the piece

ϕ(F k0 C(m)) ⊗ Φ j1 (Prim + k1 C) ⊗ • • • ⊗ Φ jm (Prim + km C) where at least one j a is j -1. Using the fact that Prim + k C = η(I) Prim k C
, we have that it is enough to consider the two following situations:

• Φ j-1 is applied to η(I) (for simplicity we assume that j m = j -1 but the reasoning works for all j l ) and

F k0 C(m) ⊗ Prim + k1 C ⊗ • • • ⊗ Prim + km-1 C ⊂ F 1 (C(m) ⊗ C ⊗(m-1) ) since ∆(η(I)) ⊂ F 1 (C • C), • Φ j-1 is applied to Prim k l C for k l = 0 or k l = 1 (
for simplicity we assume that l = m but the reasoning works for all l) and

F k0 C(m) ⊗ Prim + k1 C ⊗ • • • ⊗ Prim + km-1 C ⊂ F 1-k (C(m) ⊗ C ⊗(m-1) ).
By the induction hypothesis, the application of Φ j-1 to η(I) (we have j -

1 ≥ 2p -1 ≥ 2(p -1)) lies in F p-1 Q j-1 M . The piece to control is therefore in F p Q j M . Similarly, the application Φ j-1 to Prim k C (we have j -1 ≥ 2p -1 = 2(p -1) + 1) lies in F (p-1)+k Q j-1 M . The piece to control is therefore in F (p-1+k)+(1-k) Q j M = F p Q j M . Let j ≥ 2p + 1.
We emphasize the fact that we will use the induction hypothesis for η(I) and p that we just proved. We have on (Prim k C)(m)

∆ = ∆ + ((η • ε) ⊗ id) • ∆ + (id ⊗ (η • ε) ⊗m ) • ∆.
By means of the fact that ϕ extends to a map C → M , we have ϕ(η(I)) ⊂ F 1 C. Therefore, the induction hypothesis gives ϕ(η(I))

⊗ Φ j-1 ((Prim k C)(m)) ⊂ F 1+(p-1)+k Q j M = F p+k Q j M
. By the induction hypothesis for η(I) and j -1 ≥ 2p, we get that the term (id⊗

(η •ε) ⊗m )•∆ lies in F k+p Q j M (we can assume that m ≥ 1 otherwise this term doesn't appear in the computation of Φ j ((Prim k C)(m))). Since ∆((Prim k C)(m)) ⊂ m k1+•••+km=k+1 F k0 C(m) ⊗ Prim + k1 C ⊗ • • • ⊗ Prim + km C ,
we have to consider the two following situations:

• Φ j-1 is applied to η(I) (for simplicity we assume that j m = j -1 but the reasoning works for all j l ) and

F k0 C(m) ⊗ Prim + k1 C ⊗ • • • ⊗ Prim + km-1 C ⊂ F k+1 (C(m) ⊗ C ⊗(m-1) ), • Φ j-1 is applied to Prim k l C
(for simplicity we assume that l = m but the reasoning works for all l) and

F k0 C(m) ⊗ Prim + k1 C ⊗ • • • ⊗ Prim + km-1 C ⊂ F k+1-km (C(m) ⊗ C ⊗(m-1) ) for k m ≤ k + 1. By induction hypothesis, the application of Φ j-1 to η(I) (using j -1 ≥ 2p) lies in F p Q j-1 M . The resulting term in Q j M is therefore in F p+k+1 Q j M . Similarly, the application Φ j-1 to Prim k l C lies in F p-1+k l Q j-1 M . The resulting term in Q j M is therefore in F (p-1+k l )+(k+1-k l ) Q j M = F p+k C.
Lemma 3.27. Let C be a complete altipotent cooperad and let M be a complete collection. Let ϕ : C → M be a map of collections. Then for p, n ≥ 0, we have

Φ j (cr p,n C) ⊂ F p Q j M, for all j ≥ n + 2p. (3)
Proof. We will prove the statement by induction on n and p. The base cases with n = 0 (any p) and p = 0 (any n) are true because cr p,0 C is just F p C and ϕ is filtered and because

F 0 Q j M = Q j M .
Let (p, n) be a pair of integers greater than or equal to 1. Suppose that the statement (3) is true for all pairs (p , n ) with n < n and for all pairs (p , n) with p < p. Let us prove the statement for (p, n).

Let j be an integer. The map Φ j is defined recursively by means of the formula

j i=0 Φ i = ε + ϕ • j i=1 Φ i-1 • ∆. Recall that T c j M = I (M • T c j-1 M ) and M • T c j-1 M has summands which are quotients of M (m) ⊗ (T c j-1 M ) ⊗m .
It follows that Φ j is given by the terms in the sum ϕ • j-1 Φ * •∆ which contain at least one application of Φ j-1 on some factor T c j-1 M .

Assume j ≥ n + 2p. On cr p,n C(m), we have

∆ = ∆ + ((η • ε) ⊗ id) • ∆ + (id ⊗ (η • ε) ⊗m ) • ∆ -((η • ε) ⊗ (η • ε)) • ∆.
The term ϕ(η(I)) ⊗ Φ j-1 (cr p,n C(m)) lies in F p Q j M by the induction hypothesis for the pair (p -1, n) since cr p,n C ⊂ cr p-1,n C and by the fact that ϕ(η(I)

) ⊂ F 1 C. Because j -1 ≥ n + 2p -1 ≥ 2p, we have by Lemma 3.26 that Φ j-1 (η(I)) and Φ j-1 (η • ε(cr p,n C(m))) lie in F p Q j-1 M . It follows that the terms (id ⊗ (η • ε) ⊗m ) • ∆(cr p,n C(m)) and -((η • ε) ⊗ (η • ε)) • ∆(cr p,n C(m)) lie in F p Q j M . Using the fact that ∆(cr p,n C(m)) ⊂ cr p,n (C • C
) and the induction hypothesis for Φ j-1 and couples (p , n -1) and the fact that the Φ i s are filtered, we get that this last term also lies in F p Q j M . This finishes the proof.

As a direct consequence of Lemma 3.27, we get the following corollary:

Corollary 3.28. Let C be a complete altipotent cooperad and let M be a complete collection. Let ϕ : C → M be a map of collections. Then the components of the composition of maps of collections

cr p,n C → C Φj ---→ Q j M land in filtration degree at least p in Q j M for j ≥ n + 2p.
Finally, we obtain the following lemma.

Lemma 3.29. Let C be a complete altipotent cooperad and M a complete collection. Let ϕ : C → M be a map of collections. Then the map of collections

C Φn ---→ Q n M
factors as a map of collections through the tree cooperad T c M .

Proof. Corollary 3.28 tells us that we have a (unique) dotted factorization as in the following diagram

n+2p-1 j=0 F 0 (Q j M ) × ∞ j=n+2p F p (Q j M ) cr p,n C ∞ j=0 F 0 (Q j M ).
Taking componentwise quotients by filtration degree p takes the vertical map to the left hand vertical map of the following commutative square:

n+2p-1 j=0 F 0 (Q j M )/F p (Q j M ) n+2p-1 j=0 F 0 (Q j M )/F p (Q j M ) ∞ j=0 F 0 (Q j M )/F p (Q j M ) ∞ j=0 F 0 (Q j M )/F p (Q j M ). ∼ =
Consider the bottom right entry here. The coproduct passes through the quotient to give

∞ j=0 F 0 (Q j M )/F p (Q j M ) ∼ =   ∞ j=0 F 0 (Q j M )     ∞ j=0 F p (Q j M )   ∼ = T c M/F p T c M.
This gives a lift of the map from

cr p,n C → Q j M/F p Q j M to a map cr p,n C → T c M/F p T c M
which maps F p C ⊂ cr p,n C to 0. Now (using condition (1) of Definition 3.23 for the isomorphism in the following line), we get a map from

F 0 C/F p C ∼ = (colim n cr p,n C)/F p C ∼ = colim n (cr p,n C/F p C) to T c M/F p T c M .
By examining projections, we see that these maps are compatible for different choices of p so that we can take the limit over p. This then yields a map from the limit, i.e., the complete cooperad C, to T c M which by construction has projections Φ n .

3.30. Properties of the tree cooperad. Now we show that the tree cooperad is cofree in the category of altipotent cooperads in the gr-flat setting. To do this, we prove a sequence of lemmas telling us more and more about the associated graded functor and this cooperad. First Lemma 3.31. Let D be a diagram. Suppose that the colimit functor from Dindexed diagrams in the ground category to the ground category preserves monomorphisms. Then the associated graded functor Gr from (complete) filtered objects to graded objects preserves the colimits of D-indexed diagrams.

Proof. The graded functor commutes with completion, so it suffices to consider the filtered case. Also, the graded functor from N-diagrams to graded objects is a left adjoint so commutes with all colimits. So preservation of D-indexed colimits by the associated graded can be checked in terms of preservation of those colimits by the inclusion of filtered objects into diagrams. Colimits in filtered objects are obtained by applying the reflector to the same colimits in N-diagrams. Then D-indexed colimits are preserved as soon as the reflector is an isomorphism. In N-diagrams colimits are computed objectwise, so the reflector being an isomorphism is implied by D-indexed colimits in the ground category preserving monomorphisms.

Corollary 3.32. Then the associated graded functor Gr from (complete) filtered objects to graded objects preserves filtered colimits, and in particular transfinite compositions and coproducts. If the ground category be Q-linear, then the associated graded functor also preserves the coinvariants of a finite group action.

Proof. The first statement follows directly from Lemma 3.31 and the fact that the ground category satisfies AB5. For the second statement, if the ground category is Q-linear then the comparison map between coinvariants and invariants of a finite group action is a (natural) isomorphism. The Gr functor is then a composition of left and right adjoints so preserves such (co)invariants.

Lemma 3.33. The tree cooperad on a gr-flat S-module is gr-flat.

The inclusion of I as η is a gr-coaugmentation.

Proof. The general shape of the argument is to argue that Gr preserves all of the categorical building blocks of the tree cooperad, and then that these building blocks preserve flat objects. The tree cooperad is built as a directed colimit of finite stages, each of which is built from the monoidal unit I and previous stages by the • product and a binary coproduct. So we will be done by induction as soon as we argue that each of these procedures preserves gr-flat objects.

The monoidal unit is gr-flat. For coproducts, directed colimits, by Corollary 3.32 we know that Gr preserves such colimits. Flat objects (and thus gr-flat objects) are closed under coproducts and directed colimits (the latter by AB5).

The • product is built as a coproduct of summands each of which either a monoidal product or a S n -quotient of a sum of monoidal products. We know by Lemma B.4 that Gr preserves the monoidal product and the coproducts, and by Corollary 3.32 that it preserves the S n -quotients under the Q-linear assumption. Flat objects are closed under the monoidal product by definition, and are (again) closed under arbitrary coproducts. Moreover, the finite group coinvariants of an object X are a retract of X. Thus if the X is flat then its coinvariants are. Then the • product preserves gr-flatness as well and we are done.

The given η is already a coaugmentation before taking associated graded, which implies by functoriality that it remains one after doing so.

Lemma 3.34. The tree cooperad on a gr-flat S-module, equipped with the inclusion of I as η, is altipotent.

Proof. Next, we claim by induction that T c n M is in cr p,n+1 T c M for all p. For n = 0, this is true because ∆η = 0 in the tree cooperad. Then ∆T c n M is represented by summands

(T c n0 M )(m) ⊗ Sm m i=1 T c ni M
with each n i strictly less than n, so by induction

∆T c n M is in cr p,n (T c M • T c M )
for all p (take p i = 0 and δ = p in the definition of cr p,n ). This completes the induction. Then for fixed p the inclusions T c n M → cr p,n+1 T c M pass to the colimit over n so that

T c M ∼ = colim n T c n M → colim n cr p,n+1 T c M → T c M
is the identity. Since our ground category satisfies AB5, the colimit of monomorphisms is monic so this suffices to show that the final map here is an isomorphism. This is condition (1) of Definition 3.23. Condition (2) is easy because ∆η = 0. Condition (3) follows because the primitives PrimT c M are precisely M , so Prim + T c M ∼ = I M , and ∆ vanishes on this subobject.

Corollary 3.35. The tree cooperad, viewed as a functor from gr-flat complete Smodules to altipotent cooperads, is right adjoint to the infinitesimal coideal. That is, the tree cooperad is cofree in the category of altipotent complete cooperads.

Proof. By Lemma 3.34, the tree cooperad (equipped with η) lies in the full subcategory of altipotent cooperads. By Corollary 3.11, an S-module map from C to the tree cooperad is uniquely determined by its projections to Q n M . By Lemma 3.13, such a map is a cooperad map from C to the tree cooperad if and only if it is further determined by the projection C → T c M → Q 1 M ∼ = M via the recipe of Construction 3.12.

Being compatible with the gr-coaugmentation means that the triangle

I T c M C
commutes after taking the associated graded. This then implies that I → C → M should factor through strictly positive filtration degree. This means that ϕ : C → M must factor through the infinitesimal coideal C → M . The procedure just outlined gives an injective map from the set of cooperad maps C → T c M to the set of complete S-module maps C → M . In the other direction, given a map of collections ϕ : C → C → M , Lemma 3.29 tells us that map of collections Φ : C → Q n M obtained via Construction 3.12 factors through T c M . Then the other direction of Lemma 3.13 ensures that this extension is in fact a map of cooperads. This establishes surjectivity.

Remark 3.36. It is possible to see an element in the cofree altipotent complete cooperad on M as a (possibly infinite) sum of trees, whose vertices of arity k are indexed by element in M (k).

Coderivations.

To have a complete treatment, we briefly review the standard fact that coderivations valued in a free cooperad are determined by their projections to the cogenerators.

Let f and g be maps of S-modules from P to Q and let h be a map of S-modules from R to S. We define a map h

• (f ; g) from R • P to S • Q. The components of h • (f ; g) are induced by h(n) ⊗ n-1 i=1 f (k i ) ⊗ g(k n ) : R(n) ⊗ n i=1 P (k i ) → S(n) ⊗ n i=1 Q(k i ).
This is closely related to the infinitesimal composite of f and g as defined in [LV12, Section 6.1.3]. Neither is quite a generalization of the other as defined, but the family resemblance should be clear. Now suppose f :

C → D is a map of complete cooperads then a coderivation of f is a morphism d of complete S-modules C → D such that ∆ D • d = (d • f ) • ∆ + (f • d) • ∆. A coderivation of id C is also called just a coderivation of C.
C1 ∆ -→ (C • C)1 ∼ = (C1 • C1) i•i --→ (C1 Cx) • (C1 Cx)
and

Cx ∆ -→ (C • C)x ∼ = (Cx • Cx) (i•i † )+(i † •(i † ;i)) ------------→ (C1 Cx) • (C1 Cx).
Coassociativity of C implies that C1 Cx is a gr-coaugmented altipotent cooperad with this structure decomposition and structure data counit:

C1 Cx projection ------→ C1 ∼ = C - → I;
gr-coaugmentation:

I η -→ C ∼ = C1 i - → C1 Cx.
It is also clear that this construction is functorial. Then

Hom Coop (C1 Cx, T c M ) ∼ = Hom S (C1 Cx, M ) ∼ = Hom S (C1, M ) × Hom S (Cx, M ) ∼ = Hom Coop (C, T c M ) × Hom S (C, M ).
The final entry has a natural projection to Hom Coop (C, T c M ). The fiber over the morphism f is naturally isomorphic to Hom S (C, M ). On the other hand, the fiber over the morphism f in Hom Coop (C1 Cx, T c M ) consists of those cooperad maps of the form

C1 Cx ∼ = C C f d ---→ T c M for some d.
The condition to be a cooperad map is automatically satisfied on the C1 factor since f is a map of cooperads. On the Cx factor, for f d to be a map of cooperads we get an equation. One side of the equation is

∆ T c M • d.
The other side is a sum of two terms coming from the two terms defining the decomposition map on Cx. The first term is

Cx (C • C)x Cx • Cx (C1 Cx) • (C1 Cx) C C • C T c M • T c M ∼ = ∆ ∼ = ∼ = ∼ = i•i † (f d)•(f d) ∆ d•f
and the other is

Cx (C • C)x Cx • Cx (C1 Cx) • (C1 Cx) C C • C T c M • T c M. ∼ = ∆ ∼ = ∼ = ∼ = i † •(i † ,i) f •(f d) ∆ f •(i † ,f )
The equation of the first of these three terms with the sum of the latter two is precisely the condition for d to be a coderivation of f .

Bar and cobar constructions in the curved setting

In this section, we define a bar-cobar adjunction between the setting of complete augmented curved operads and complete altipotent infinitesimal cooperads. It doesn't strictly extend the classical constructions between augmented operads and conilpotent cooperads but the constructions are very close. More precisely, we define a functor bar B which associate a complete altipotent infinitesimal cooperad to an augmented curved complete operad and we define a functor cobar Ω in the opposite direction. We obtain an adjunction between the two functors B : Compl. aug. curved operads / Compl. altip. inf. cooperads : Ω. o It will result from this adjunction an S-cofibrant resolution of a curved operad. This S-cofibrant resolution seems uselessly big by means of the presence of a formal parameter ϑ which is not present in the classical cobar construction. It is in fact possible to provide a definition of a "smaller" construction which does not involve the parameter ϑ. However, we cannot use this smaller cobar functor in order to get an S-cofibrant resolution in the model category structure given in Appendix C.

We consider curved operads in the category M defined as the full subcategory of gr-flat object in Filt gr (A) and cooperads in the category M defined as the full subcategory of gr-flat objects in Filt(dgA). By Lemma B.4, this ensures that the functor Gr is strong monoidal. The bar construction of the augmented curved complete operad (O, γ, d, ε, θ, η) is given by the altipotent complete infinitesimal cooperad

BO := T c (sO), ∆ β , ε β , d β := d 0 + d 1 + d 2 , η β ,
where T c (sO) is the infinitesimal cooperad associated with T c (sO) (see Lemma 3.18), the map d 2 is the unique coderivation of degree -1 which extends the map

T c (sO) s 2 O • (1) O γs⊗γ (1) -----→ sO,
where γ s (s ⊗ s) = s, the map d 1 is the unique coderivation of degree -1 which extends the map

T c (sO) sO ids⊗ d ----→ sO,
and the map d 0 is the unique coderivation of degree -1 which extends the map

T c (sO) I -sθ --→ sO.
For instance, we have pictorially

d 0 ( ) = -sθ + sθ + sθ ∈ s 2 O • (1) O , for ∈ O
(2) of degree -1 and θ is identified with θ( ) ∈ O(1). The counit ε β is the usual projection onto the trivial tree and the gr-coaugmentation η β is the inclusion of the trivial tree.

Remark 4.3. Since d β ( ) = d 0 ( ) =sθ , it follows that the bar construction is not coaugmented as a filtered cooperad whenever the curvature is non zero. However, when O is gr-flat, it is gr-coaugmented as a complete cooperad since θ is in F 1 O (see Definition 3.15).

(d 0 + d 1 + d 2 ) 2 = d 0 2 + d 0 d 1 + d 1 d 0 + d 1 2 + d 0 d 2 + d 2 d 0 + d 1 d 2 + d 2 d 1 + d 2 2 .
We have d 0 2 = 0 because of sign considerations. For the same reason and due to the fact that θ is closed, we get 4.5. Cobar construction. We define here a cobar construction Ω which associates a complete curved operad to a complete altipotent infinitesimal cooperad. We recall that the functor T + applied on a complete gr-dg S-module M is given by pointed complete gr-dg operad (T (M ϑI), ϑ), where the generator ϑ lives in arity one, weight one and degree -2 (the correct arity, weight and degree for a curvature). When M is a filtered complete graded S-module, we denote by s -1 M the desuspension of M , that is the filtered complete graded S-module such that (s -1 M ) n := M n+1 and F p (s -1 M ) := s -1 F p M . Let (C, ∆, d, ε, η) be a complete altipotent infinitesimal cooperad. The cobar construction ΩC of C is defined as the (quasi-free) complete augmented curved operad

d 0 d 1 + d 1 d 0 = 0. The bracket of two coderivations is a coderivation so [d 0 , d 2 ] = d 0 d 2 + d 2 d 0 and d 1 2 are coderivations. Therefore, the corestriction of the equality d 1 2 + d 0 d 2 + d 2 d 0 = 0 to sO is enough to prove the equality. The corestriction of d 1 2 +d 0 d 2 +d 2 d 0 to sO is equal to d 2 +[-θ, -], which is zero since d 2 -[θ, -]
ΩC := T + (s -1 C), γ ω , d ω := d 1 + d 2 + d ϑ , ϑ ,
where:

(1) the map d 1 is the unique derivation of degree -1 which extends the map

s -1 C ϑI s -1 C id s -1 ⊗d -----→ s -1 C T (s -1 C) T (s -1 C ϑI),
(2) the map d 2 is the unique derivation of degree -1 which extends the map

s -1 C ϑI s -1 C ∆ s -1 ⊗∆ (1) -------→ s -2 (C • (1) C) T (s -1 C) T (s -1 C ϑI),
where ∆ s -1 (s -1 ) = -s -1 ⊗ s -1 , and (3) the map d ϑ is the unique derivation of degree -1 which extends the map

s -1 C ϑI s -1 C id s -1 ⊗ε -----→ s -1 I → ϑI T (s -1 C ϑI).
(The composition is filtered but the second map isn't.)

The cobar construction is a quasi-free complete curved operad because of the following lemma which implies that

ΩC = T + (s -1 C), d ω / im d ω 2 -[ϑ, -] .
Lemma 4.6.

= (d 1 + d 2 + d ϑ ) 2 = d 1 2 + (d 1 d 2 + d 2 d 1 ) + d 2 2 + (d 1 d ϑ + d ϑ d 1 ) + d ϑ 2 + (d 2 d ϑ + d ϑ d 2 ). The term d 1 2 (resp. d 2 2 ) is zero since d is a differential (resp. ∆ is coassociative). The term d ϑ 2 is zero since ε is zero on ϑ. The sum d 1 d 2 + d 2 d 1 is zero because d is a coderivation with respect to ∆ and the term d 1 d ϑ + d ϑ d 1 is zero because d(ϑ) = 0
and because of the Koszul sign rule. It remains to compute the term

d 2 d ϑ + d ϑ d 2 . We have d 2 d ϑ = 0 since d 2 is zero on ϑ. Finally, d ϑ d 2 = [ϑ, -] because ∆ is counital.
The curvature ϑ is closed by definition of d ω . This finishes the proof.

4.7. The convolution curved Lie algebra. As usual, the bar and cobar constructions represent a bifunctor. It is given by curved twisting morphisms in a curved Lie algebra.

Let O be a curved complete operad and C be a complete altipotent infinitesimal cooperad. We use the notation Hom S (C, O)

for n Hom S (C(n), O(n)),
where Hom S stands for the morphisms of complete filtered S-modules, and we fix the element Θ :

= (θ O • ε C : C → O) ∈ Hom S (C, O) -2 . Since θ O is in filtration level 1 of O, this map lies in F 1 Hom S (C, O) -2 .
We define on Hom S (C, O) the pre-Lie product given by

f g : C ∆ (1) ---→ C • (1) C f •g --→ O • (1) O γ (1)
--→ O using the decomposition map of Lemma 3.18.

The product induces a Lie bracket {f, g} := f g-(-1) |f ||g| g f on Hom S (C, O). We denote by ∂ the derivation of given by ∂(f

) := d O • f -(-1) |f | f • d C .
Lemma 4.8. The tuple (Hom S (C, O), {-, -}, ∂, Θ) forms a curved Lie algebra, called the convolution curved Lie algebra.

Proof. We do the computations for the curvature: Therefore the functors B and Ω form a pair of adjoint functors between the categories of complete augmented curved operads and the category of complete altipotent infinitesimal cooperads.

∂ 2 (f ) = d O • ∂(f ) -(-1) |∂(f )| ∂(f ) • d C = d O 2 • f -(-1) |f | d O • f • d C + (-1) |f | (d O • f • d C -(-1) |f | f • d C 2 ) = d O 2 • f = [θ, -] • f = Θ f -f Θ = {Θ, f } and ∂(Θ) = d O • θ • ε -(-1) |Θ| θ • ε • d C = 0 since d O • θ = 0 and ε • d C = 0.
Proof. We make the first bijection explicit. A morphism of augmented complete operads f α :

T (s -1 C ϑI) → O sending ϑ to θ O is uniquely determined by a map -sα : s -1 C → O of degree 0 such that, since f α is augmented, ε O • (sα) = 0. This is equivalent to the data of a map α : C → O of degree -1 such that ε O • α = 0.
Moreover, f α commutes with the predifferential if and only if the following diagram commutes

s -1 C -sα / / dv+d1+d2 O d O / / O ϑI s -1 C (s -1 C • (1) s -1 C) θ O ιv+(-sα)+(-sα)• (1) (-sα) / / O O • (1) O, id+γ (1)
O O

where ι ϑ : ϑI → I is the projection to I. We obtain therefore Θ + ∂(α) + α α = 0. We now make the second bijection explicit. A morphism of complete altipotent infinitesimal cooperads g α : C → T c (sO) is uniquely determined by a map -sα : C → sO (see Corollary 3.35 with Lemma 3.19), that is by a map α : C → O of degree -1 satisfying ε O • α = 0. Moreover, g α commutes with the differential if and only if the following diagram commutes

C ε C -sα+((-sα)• (1) (-sα))•∆ (1) / / d C I sO sO • (1) sO d |sO ω =(d0+d1+d2) |sO C sα / / sO
Similarly as before, this is equivalent to the equality Θ + ∂(α) + α α = 0. This concludes the proof. 4.10. Bar-cobar resolution. In this section, we assume that the category A is the category of R-modules since we use results of [START_REF] Loday | Algebraic operads[END_REF] which are proved in this setting.

A curved complete operad O is weight graded if it is endowed with a extra grading O (w) compatible with the composition product. It is connected for this weight grading if we have

O = I O (1) O (2) • • • O (w) • • • , that is O (0) = I.
Proposition 4.11. Let O complete curved operad such that Gr O is a connected weight graded operad. The counit of the adjunction of Proposition 4.9

Ω BO → O
is a graded quasi-isomorphism which is an S-cofibrant resolution in the model category structure on complete curved operads given in Appendix C, that is to say cofibrant in the model category structure on complete gr-dg S-modules.

Proof. Since Gr is strong monoidal, we have Gr Ω BO ∼ = ΩBGr O, where the construction Ω and B are defined similarly as the constructions Ω and B and applies to the graded setting. Let us describe ΩBGr O. We compute the differential on ΩBGr O ∼ = T ϑI s -1 I s -1 T c (sGr O) . The predifferential on Ω BO is

d ω = d 1 + d 2 + d ϑ = d 0 + d 1 + d 2 + d 2 + d ϑ .
When we applies the functor Gr , the term d 0 cancels, the term d 1 is induced by the differential on Gr O, the term d 2 is induced by the composition product on Gr O, the term d 2 is induced by the cofree decomposition map on T c (sGr O) since the part d 2 (s -1 I) cancels, and finally the term d ϑ is unchanged and induced by the map s -1 I → ϑI, s -1 1 → ϑ.

The ideal s -1 I ϑI in ΩBGr O is equal to the coproduct k≥0 (s

-1 I ϑI) (k) ,
where (s -1 I ϑI) (k) is the subobject given by trees on ϑI s -1 I s -1 T c (sGr O) with k apparitions of ϑI s -1 I. We have

ΩBGr O ∼ = Ω cl B cl Gr O s -1 I ϑI ,
where Ω cl and B cl are the classical cobar and bar constructions for the augmented graded (uncurved) operad Gr O (in [START_REF] Loday | Algebraic operads[END_REF] for example). The differential on ΩBGr O splits on the two subobjects: it is equal to the one of Ω cl B cl Gr O on Ω cl B cl Gr O and is induced by the map which sends s -1 I to ϑI on s -1 I ϑI . The subobject (s -1 I ϑI) (k) is a coproduct of several copies of the tensor product of k copies of the chain complex

• • • → 0 → I[-1] id -→ I[-1] → 0 → . . .
and is acyclic, so is s -1 I ϑI .

Then, by Theorem 6.6.3 in [START_REF] Loday | Algebraic operads[END_REF] gives that Ω cl B cl Gr O is quasi-isomorphic to Gr O. We therefore obtain that the morphism Ω BO → O is a graded quasiisomorphism.

The counit of the adjunction is given by the composition Ω BO

T + (O) → O
where the two maps are strict surjections, so is the composition. It remains to show that Ω BO is S-cofibrant. The curvature of Ω BO is ϑ. Let t ∈ Ω BO. We have d ω 2 (t) = [ϑ, t] where the bracket is computed by means of the free product. It follows that the identity [ϑ, t] = 0 implies t ∈ T + (0) = T (ϑI) (induction on the roots of the terms in t). This shows that for any t ∈ s -1 BO, we have d ω k (t) = 0.

Let us write the dg S-module s -1 BO as a direct sum of S m -modules

• • • → 0 → M id -→ M → 0 → . . . and • • • → 0 → M → 0 → . . .
of rank 1. Using the fact that the differential on s -1 BO commutes with the predifferential d ω , this gives the beginning of the description of Ω BO as a direct sum of Ẑ0,∞ q,n ⊗ M and Ẑ1,∞ q,n ⊗ M . We can continue this process with a complement in the quadratic part in Ω BO of the terms that we have just obtained, and so on and so forth. This provides a description of Ω BO as a direct sum of Ẑ0,∞ q,n ⊗ M and Ẑ1,∞ q,n ⊗ M . It can be seen as a retract of a direct sum of Ẑ0,∞ q,n ⊗ R[S m ] and Ẑ1,∞ q,n ⊗ R[S m ] (see the proof of Proposition C.29).

Koszul duality for curved operads

In this section, we describe the Koszul dual cooperad of a homogeneous quadratic curved operad O and we relate it to the bar construction BO. We propose a definition for a curved operad to be Koszul and then we show that in this case, the Koszul dual cooperad is quasi-isomorphic to the bar construction BO. It follows from the proof a sort of Poincaré-Birkhoff-Witt theorem which provides a way to make the Koszul dual cooperad explicit.

Under the Koszul property, we finally obtain the S-cofibrant resolution of curved complete operads ΩO ¡ → O, which has the advantage to have a domain with a smaller space of generators in comparison to the bar-cobar resolution.

The two generic examples are the following:

• a curved associative algebra whose curvature is a sum of squares (with conditions so that it is Koszul); • the operads encoding curved associative algebras or curved Lie algebras. In this section, we work with the category A of R-modules where R is a field and we consider the closed monoidal category M = Filt gr (A) in the operadic side and the closed monoidal category M = Filt(dgA) in the cooperadic side. Section 5.1 applies to more general category A (except for Proposition 5.5 and after Section 5.16).

5.1. Subcomonoid generated by a symmetric module. We denote by N the category S-Mod(M) and by N the category S-Mod(M ). Let C be a comonoid in N and S be an object in N . In Appendix B of [START_REF] Vallette | Manin products, Koszul duality, Loday algebras and Deligne conjecture[END_REF], Vallette defined the notion of the subcomonoid of C generated by S in an abelian setting. We extend the definition to quasi-abelian categories. The only difference is the necessity to consider strict morphisms in order to identify certain coimage with cokernel (and in the dual case certain image with kernel). We only emphasize the differences in the unfamiliar case of the subcomonoid generated by an object. The case of an ideal and of a monoid quotient generated by an object is dual.

Definition 5.2.

• Let I C Q be an exact sequence in N , where C is a comonoid. The epimorphism C Q in N is a coideal epimorphism if I C is a monomorphism of comonoids in N . • Let ξ : C
S be an epimorphism in N , where C is a comonoid. We consider the category S ξ of sequences (S) : I C Q as in the previous item and such that the composite I C S is equal to 0. A morphism between (S) and (S ) : I C Q is given by a pair (i : I → I , p : Q → Q ) such that i is a morphism of comonoids and p is a morphism in N , and such that the following diagram commutes:

I I C Q Q . i p
• We aim to consider the largest subcomonoid of C vanishing on S. This notion is given by the terminal object (S) : C(S) C (S) in S ξ , when the latter admits one.

We now make the coideal quotient (S) and the subcomonoid C(S) explicit. S is given by the coimage

C • C • C id•i C •id -----→ (C • (S C)) • C , or equivalently, by the kernel ker (C • (S C)) • C id•π C •id -----→ C • C • C ,
(S) := coim C ∆ •2 --→ C •3 proj•(id C •(ξ id C )•id C ) --------------→ C • (S C) • C ,
where the map proj is the projection

C • (S C) • C → C • (S C) • C.
Lemma 5.4. The coideal quotient of C generated by ξ : C S is also given by the coimage

coim C (id⊗∆)•∆ (1) --------→ C • (1) C •2 id C • (1) ξ•id C --------→ C • (1) (S • C) . Proof. It is clear that ker C ∆ •2 --→ C •3 proj•(id C •(ξ id C )•id C ) --------------→ C • (S C) • C ⊆ ker C (id⊗∆)•∆ (1) --------→ C • (1) C •2 id C • (1) ξ•id C --------→ C • (1) (S • C) since C • (1) C •2 is a quotient of C •3
. The coassociativity of ∆ gives the converse inclusion.

When the epimorphism ξ is strict (see Definition A.13), so is the epimorphism C (S). We therefore have (S) ∼ = coker(C(S) → C). Under this assumption, we obtain, by the universal property of the cokernel, the equivalence between the fact that the composition C(S) C → I is non zero and the fact that the counit does not factor through the coideal quotient (S).

Proposition 5.5. We suppose that the epimorphism ξ : C S is strict and that the counit C → I does not factor through the coideal quotient (S). Then, the subcomonoid of C generated by S is

C(S) := ker(C → (S)), that is C(S) = ker C (id⊗∆)•∆ (1) --------→ C • (1) C •2 id C • (1) ξ•id C --------→ C • (1) (S • C) .
Proof. The counit is given by the composite C(S) C → I. See Proposition 60 in [Val08, Appendix B] for the fact that the comultiplication restricts to C(S). 5.6. Koszul dual infinitesimal cooperad. We define the notion of homogeneous quadratic curved operad and Koszul dual infinitesimal cooperad associated with it.

Following [LV12, 5.5.4], we describe a weight grading on the free operad. It is given by the number of generating operations needed in the construction of a given element in the tree operad. Let M be an S-module in M and let T M be the tree operad on M . We define the weight w(µ) of an element µ recursively as follows: w(id) = 0, w(µ) = 1 when µ ∈ M (n) for some n; and more generally w(ν; ν 1 , . . . , ν m ) = w(ν) + w(ν 1 ) + • • • + w(ν m ) for some m and ν ∈ M (m). We denote by T M (r) the S-module of elements of weight r.

Definition 5.7. A curved complete operad (O, θ) is called homogeneous quadratic if all of the following hold:

(1) the operad O admits a homogeneous quadratic presentation

(O, θ) ∼ = (T E/(R), θ) ∼ = cT (E)/ R (ϑ -θ(1)) ,
where E is an S-module in M and (R) is the ideal generated by a strict S-submodule R of T E (2) in M and the curvature θ is induced by a map θ : I → F 1 T E (2) , (2) the sub-S-module R is a direct sum of homological degree and filtration degree homogeneous subspaces, (3) the predifferential of O vanishes, and (4) the counit T c (sE) → I does not factor through the coideal quotient (S), where we fix

C := T c (sE) and S := I T c (sE) (2) / s 2 R (1 -s 2 θ(1)) .
Remark 5.8.

• The condition that the differential of O is 0 implies that the bracket with the curvature is 0.

• The filtration on E induces a filtration on T E. The fact that the inclusion R → T E (2) is strict means that the filtration on R is the one induced by the filtration on E.

Definition 5.9. Let O := cT (E)/ (R (ϑ -θ)) be a curved complete operad equipped with a homogeneous quadratic presentation. We define the Koszul dual infinitesimal cooperad O ¡ of O to be the sub-cooperad C(S) of T c (sE) generated by the strict epimorphism C S (with the notations of Definition 5.7). It is an altipotent infinitesimal cooperad since it is a (strict) sub-cooperad of an altipotent infinitesimal cooperad.

We sometimes denote it by

O ¡ = C(sE, s 2 R (1 -s 2 θ(1))). Its counit is given by the composite ε O ¡ : O ¡ T c (sE) I[-1].
5.10. Koszul dual operad. It is hard to explicitly describe the elements of O ¡ by means of its definition. Under certain assumptions, we can however get a better understanding by means of the Koszul dual operad O ! . Considering a specific case of Section 4 in [START_REF] Hirsh | Curved Koszul duality theory[END_REF], we propose the following definition.

Definition 5.11. We say that a complete operad O is constant-quadratic if it admits a presentation of the form O = T E/(R), where E is a complete dg S-module and (R) is the ideal generated by a complete dg S-module R ⊂ I T E (2) . (We assume that the filtration on R is induced by the filtration on E.) We require that R is a coproduct of homological degree and filtration degree homogeneous subobjects. Thus the complete operad O is homological degree graded and filtration degree graded and has a weight filtration induced by the S-module of generators E. We assume further that the following conditions hold:

(I) The space of generators is minimal, that is R ∩ I = {0}. (II) The space of relations is maximal, that is (R) ∩ {I E T E (2) } = R.
In the context of the definition above, we denote by q : T E → T E (2) the canonical projection and by qR ⊂ T E (2) the image under q of R. Since R∩I = {0}, there exists a filtered map ϕ : qR → I such that R is the graph of ϕ: R = {X -ϕ(X), X ∈ qR}.

We propose the following generalization of Section 2.1.9 in [START_REF] Ginzburg | Koszul duality for operads[END_REF]. In our context, the situation isn't symmetric since we define a constant-quadratic (resp. curved) operad associated with a curved (resp. constant-quadratic) operad. We make it however as symmetric as possible so that it is easy to extend these definitions to a curved-constant-quadratic setting. Let E be a complete S-module of finite dimension in each arity which splits as follows:

E = Gr 0 E Gr 1 E = (E a (0) E b (0) ) E (1) .
• In the case where (O, θ) is a homogeneous quadratic curved operad, we assume moreover that

im θ ⊂ E (1) • (1) (E a (0) E (1) ) + (E a (0) E (1) ) • (1) E (1) . (4)
• In the case where O is a constant-quadratic complete operad, we assume moreover that we have a splitting R ∼ = ϕ -1 (0) R cq such that

R cq ⊂ E b (0) • (1) (E a (0) E b (0) ) + (E a (0) E b (0) ) • (1) E b (0) . (5)
We consider on E * the filtration induced by the graduation

Gr 0 E * := E a (0) * E (1) * and Gr 1 E * := E b (0) * .
To define a pairing between T (E) (2) and T (E * ) (2) , we need to choose a tree basis of the trees made of two vertices. When the trees are reduced (that is with at least one leaf), the tree basis can be provided by shuffle trees (as explained in [LV12, Section 8.2.5]). When one of the tree has 0 leaf (necessarily the one above), we choose as a tree basis the one such that the tree of arity 0 is put further left. This defines a natural pairing T (E) (2) ⊗ T (E * ) (2) which can be extended in a unique way in a natural pairing -, -

: ϑI T (E) (2) ⊗ I T (E * ) (2) such that ϑI, T (E * ) (2) = {0}, T (E) (2)
, I = {0} and ϑ1, 1 = 1 where 1 is the generator of I.

We propose the two following definitions of Koszul dual operad in the curved / constant-quadratic context. Definition 5.12. In this definition, E is a complete S-module of finite dimension in each arity admitting a decomposition

E = Gr 0 E Gr 1 E = (E a (0) E b (0) ) E (1) .
(1) Given a homogeneous quadratic complete curved operad

O = cT (E)/ (R (ϑ -θ))
such that Inclusion (4) is satisfied, we define its Koszul dual complete constant-quadratic operad by

O ! := T (s -1 S -1 ⊗ H E * )/ (R (ϑ -θ)) ⊥ ,
where S -1 := End s -1 R is an endomorphism operad and ⊗ H is the Hadamard product defined by (O

⊗ H P)(n) := O(n) ⊗ P(n). It is a constant-quadratic infinitesimal complete operad. (2) Given a constant-quadratic complete operad O = T (E)/(R)
such that Inclusion (5) is satisfied, we define its Koszul dual complete curved operad by

O ! := cT (s -1 S -1 ⊗ H E * )/ R ⊥ .
Proposition 5.13. Let O be a homogeneous quadratic curved complete operad (resp. a constant-quadratic complete operad) generated by a complete S-module E of finite dimension in each arity admitting a splitting

E = Gr 0 E Gr 1 E = (E a (0) E b (0) ) E (1)
such that Inclusion (4) (resp. ( 5)) is satisfied. We have

O ! ! ∼ = O.
Proof. The natural map E → (E * ) * is a filtered isomorphism since E is finitedimensional and by the definitions of the filtration on E * . Then it is direct to check the two computations.

Moreover, under the condition that the operad O is Koszul, we will see in Theorem 5.20 a description of the elements in O ¡ by means of the elements in the Koszul dual cooperad of the (uncurved) operad Gr O. 5.14. Bar construction of a curved quadratic operad. We fix a homogeneous quadratic curved operad O = cT (E)/ (R (ϑ -θ)). We consider on BO a second homological degree called syzygy degree. The operad O ∼ = (T E/(R), θ) is weightgraded by the weight grading of T E (that is the number of generators in E) since R is homogeneous. We define the syzygy degree of an element in BO recursively as follows: the syzygy degree of id is 0, the syzygy degree of an element in sO is 1 minus its weight in O and the syzygy degree of an element (ν; ν 1 , . . . , ν m ) is the sum of the syzygy degrees of the elements ν, ν 1 , . . . , ν m . The differentials d 0 and d 2 lower the syzygy degree by 1.

Proposition 5.15. Let O = cT (E)/ (R (ϑ -θ)) be a complete curved operad equipped with a homogeneous quadratic presentation . Let O ¡ = C(sE, s 2 R (1s 2 θ(1))) be its Koszul dual infinitesimal cooperad. The natural inclusion

i : O ¡ → T c (sE) → BO induces an isomorphism of complete cooperads i : O ¡ ∼ = -→ H 0 ( BO),
where the homology degree is taken to be the syzygy degree.

Proof. Syzygy degree 0 elements in BO are given by T c (sE). Syzygy degree -1 elements coincide with

T c (sE) • (1) T c (sE) (2) /s 2 R • T c (sE)
seen in BO. The differential d provides therefore a map

T c (sE) → T c (sE) • (1) T c (sE) (2) /s 2 R • T c (sE) .
Through the isomorphism

T c (sE) (2) /s 2 R ∼ = I T c (sE) (2) / s 2 R (1 -s 2 θ(1)) = S,
this map coincides with the map

C (id⊗∆)•∆ (1) --------→ C • (1) C •2 id C • (1) ξ•id C --------→ C • (1) (S • C) .
We conclude by Proposition 5.5 (and Lemma 3.19).

5.16. Curved Koszul operad. Since we are working with A = dg-R-Mod (with R a field), the cooperad splits as S-modules as O ¡ ∼ = I[-1] O ¡ . We denote by η : I[-1] → O ¡ coming from this isomorphism. Using the weight grading on T c (sE), we can write

T c (sE) ∼ = T c (sE) even T c (sE) odd ,
where T c (sE) even := k≥0 T c (sE) (2k) and T c (sE) odd := k≥0 T c (sE) (2k+1) .

Lemma 5.17. The cooperad O ¡ splits as follows:

O ¡ ∼ = O ¡ even O ¡ odd ,
where

O ¡ even = O ¡ ∩ T c (sE) even and O ¡ odd = O ¡ ∩ T c (sE) odd . Proof. We have O ¡ = ker T c (sE) (id⊗∆)•∆ (1) --------→ T c (sE) • (1) T c (sE) •2 id T c (sE) • (1) ξ•id T c (sE) ---------------→ T c (sE) • (1) (S • T c (sE))
where

S = I[-1] T c (sE) (2) / s 2 R (1 -s 2 θ(1)) . The map (id ⊗ ∆) • ∆ (1)
and id T c (sE) • (1) ξ • id T c (sE) stabilize the odd part, resp. the even part. It follows that the kernel splits as desired.

As a consequence and using the definition of O ¡ and the fact that η is a grcoaugmentation, we can write

η(1) = 1 + -s 2 θ + s 2 r + • • • ∈ I sE T c (sE) (2) • • • , (6)
with s 2 r ∈ s 2 R. There is a natural morphism κ : O ¡ → O of degree -1 defined as the composite κ :

O ¡ → T c (sE) sE ∼ = E → O.
Lemma 5.18. We have Θ + 1 2 {κ, κ} = 0 for Θ = θ • ε O ¡ . Hence κ is a curved twisting morphism.

Proof. On η(I[-1]), a direct computation using Equality (6) shows that the equality Θ + 1 2 {κ, κ} = 0 is true. Then, on

O ¡ ⊂ T c (sE) (≥1) = sE T c (sE) (2)
• • • , using the fact that the decomposition map is the cofree one, we only have to consider elements whose projection on T c (sE) (2) is non zero. By means of Lemma 5.17 and using the definition of O ¡ , we get that these elements write

s 2 r + • • • ∈ T c (sE) (2) T c (sE) (≥2) , (7)
with s 2 r ∈ s 2 R. Since θ |O ¡ ≡ 0, we obtain that κ is a curved twisting morphism.

O ¡ ∼ = (Gr O) ¡ .
As we will see in examples, this last isomorphism provides a way to understand the cooperad O ¡ .

Proof. We denote by F p the filtration on BO. It is induced by the filtration on O for which O is complete. We consider the (increasing) filtration G p := F -p on BO (note that G p is not bounded below). We have

d 0 : G p BO → G p-1 BO and d 2 : G p BO → G p BO.
The filtration G p is complete since BO is complete for the filtration F p and it is exhaustive since BO = G 0 BO. We consider the spectral sequence E • p,q associated with this filtration. Using that the functor Gr is strong monoidal (R is a field), we have

E 0 p,q = G p BO p+q /G p-1 BO p+q ∼ = ( B cl Gr O) (p) p+q
where the upper index stands for the degree of the graduation in B cl Gr O and the last isomorphism comes from the fact that Gr is strong monoidal (see Lemma B.4). The differential is given by d 0 = d B cl Gr O (induced by d 2 ). Since Gr O is a Koszul operad, we get

E 1 p,q = (Gr O) ¡ (p)
p+q . Now let us consider on BO and on B cl Gr O the syzygy degrees described in the beginning of Section 5.14. We have the following compatibility condition: for b ∈ F p BO\F p+1 BO with a homogeneous syzygy degree, the associated element in ( B cl Gr O) (p) has the same syzygy degree. The E 1 page is concentrated in syzygy degree 0 (in B cl Gr O) as the Koszul dual cooperad is, and by means of the compatibility of the syzygy degrees, we therefore obtain that the differentials d r , r ≥ 1, induced by d 0 and d 2 are 0 (they both decrease the syzygy degree). This implies that the spectral sequence is regular (see Definition 5.2.10 in [START_REF] Weibel | An introduction to homological algebra[END_REF]) and by the Complete Convergence Theorem 5.5.10 in [START_REF] Weibel | An introduction to homological algebra[END_REF] that the spectral sequence converges to H • ( BO) (the spectral sequence is bounded above).

We have therefore

(Gr O) ¡ (p) = q E 1 p,q = q E ∞ p,q ∼ = Gr p H • ( BO)
and using the syzygy degree, we get (Gr O) ¡ (p) ∼ = Gr p H 0 ( BO) ∼ = Gr p H • ( BO). By means of Proposition 5.15, we obtain moreover that (Gr O) ¡ ∼ = O ¡ (where we have dropped the -to lighten the notation). Finally, the morphism O ¡ → BO is a quasi-isomorphism and we have an isomorphism of S-modules O ¡ ∼ = (Gr O) ¡ . Proposition 5.21. Suppose that O is a Koszul curved complete operad. The natural map p = f κ : ΩO ¡ → O is an S-cofibrant resolution of curved complete operads.

Proof. We have already seen that, since Gr is strong monoidal, we have

Gr ΩO ¡ ∼ = ΩGr (O ¡ ) ∼ = Ω cl (Gr O) ¡ s -1 η O ¡ ( I) ϑI .
Since Gr O is a Koszul operad, Theorem 7.4.2 in [START_REF] Loday | Algebraic operads[END_REF] gives that Ω cl (Gr O) ¡ is quasi-isomorphic to Gr O. We therefore obtain that ΩO ¡ → O is a graded quasiisomorphism.

It is a strict surjection and the same reasoning as in the proof of Proposition 4.11 shows that it is cofibrant in the model category structure on complete gr-dg S-modules.

The associative case

In this section, we make the case of the operad encoding curved associative algebras explicit. It is a curved operad that we denote cAs and we prove that it encodes curved associative algebras.

Again, we assume that A is the category of R-modules, with R a field.

6.1. The curved operad encoding curved associative algebras. We recall that the operad As encoding associative algebras is the (trivially) filtered (complete) operad defined by

As := T ( ) / -.

Its representations in R-modules are associative algebras.

Proposition 6.2. The curved operad encoding curved associative algebras is the complete (pointed) gr-dg operad defined by

cAs := T ( • ) / - , 0, θ := • -• ,
where • is of degree -2, is of degree 0 and the predifferential is zero. We filter it by the number of • , say F p cAs := {µ ∈ cAs s.t. the number of • in µ is greater than or equal to p}.

It is a curved operad and its curvature belongs to F 1 cAs. We can also write

cAs = cT ( • ) / - , ϑ -θ ,
where θ is defined above.

We denote by µ n the element in cAs obtained as the (n-1)-iterated composition of the generator . (The way of composing does not matter by means of the associativity relation.)

Proof. The only thing to prove is that the bracket with the curvature is always zero (since the predifferential of cAs is zero). Using the Koszul sign rule, we get that [θ, • ] = 0. And a quick calculation (using associativity) shows

[θ, µ n ] = µ n θ - j θ µ n = j • µ n+1 - j • µ n+1 = 0.
Lemma 6.3. A cAs-algebra on a complete gr-dg module A is the same data as a curved complete associative algebra (A, µ, d A , θ) with curvature θ ∈ F 1 A.

Proof. A map of curved operad cAs → End A is characterized by the image of the generators • and which give respectively two maps θ : R → A and µ : A ⊗2 → A.

The relation defining cAs ensures that µ is associative. The fact that the curvature is sent to the curvature says that

d A 2 = [θ, -].
Remark 6.4.

• The inclusion As → cAs is not a map of curved operads (since the curvature of As is zero) so it cannot be a quasi-isomorphism of curved complete operads.

• The projection cAs → As, sending the 0-ary element to 0, is a map of curved operads but the map Gr cAs → Gr As is not a quasi-isomorphism. Therefore, it is not a quasi-isomorphism of curved complete operads.

6.5. Homotopy curved associative algebras. By forgetting the curvature of cAs, we obtain a complete operad which is the coproduct As * T ( • ) of the complete operads T ( • ) and As. Let us explain how the coproduct * is constructed.

Definition 6.6. Let O and P be two augmented (complete) operads. Then the coproduct in the category of (complete) operads is defined to be

T O P / (R O R P ) ,
where R O and R P are the relations in O and P respectively.

Proposition 6.7. If O and P are both quadratic augmented (complete) operads, then the coproduct O * P is a quadratic augmented operad.

Proof. For any two presented operads O = T (E 1 )/(R 1 ) and P = T (E 2 )/(R 2 ), the coproduct operad O * P is naturally presented by

T (E 1 E 2 )/(R 1 R 2 ). If (E 1 , R 1 )
and (E 2 , R 2 ) are both quadratic presentations, then so is

(E 1 E 2 , R 1 R 2 ).
Proposition 6.8. If O and P are both quadratic augmented (complete) operads, then the Koszul dual infinitesimal cooperad of the coproduct O * P is the coproduct infinitesimal cooperad O ¡ ⊕ P ¡ (whose underlying S-module is I[-1] O ¡ P ¡ ).

Proof. The infinitesimal cooperad O ¡ is the sub-cooperad of T c (sE 1 ) which is universal among the infinitesimal sub-cooperads C of T c (sE 1 ) such that the composite

C T c (sE 1 ) T c (sE 1 ) (2) /s 2 R 1 is zero (see [LV12, 7.1.4]
). The infinitesimal cooperad P ¡ is defined similarly. Its follows that the map O ¡ ⊕ P ¡ → T c (sE 1 sE 2 ) satisfies that the composite

O ¡ ⊕ P ¡ T c (sE 1 sE 2 ) T c (sE 1 sE 2 ) (2) /(s 2 R 1 s 2 R 2 ) ∼ = T c (sE 1 ) (2) /s 2 R 1 sE 1 • (1) sE 2 sE 2 • (1) sE 1 T c (sE 2 ) (2) /s 2 R 2
is zero. By the universal property of (O * P) ¡ , there exists a unique morphism of infinitesimal cooperads O ¡ ⊕ P ¡ → (O * P) ¡ which makes the following diagram commutative:

O ¡ ⊕ P ¡ T c (sE 1 sE 2 ).
(O * P) ¡ Moreover, using the fact that (O * P) ¡ is an infinitesimal sub-cooperad of the cofree infinitesimal cooperad T c (sE 1 sE 2 ) and that its projection onto sE 1 • (1) sE 2 sE 2 • (1) sE 1 is zero, we get that the map (O * P) ¡ T c (sE 1 sE 2 ) factors through T c (sE 1 ) ⊕ T c (sE2). The composite (O * P) ¡ T c (sE 1 ) ⊕ T c (sE2) T c (sE 1 ) is an infinitesimal cooperad morphism, hence its image pr 1 ((O * P) ¡ ) is an infinitesimal sub-cooperad of T c (sE 1 ). Using the map O ¡ ⊕ P ¡ → (O * P) ¡ , we obtain that it contains O ¡ . Moreover, the definition of (O * P) ¡ ensures that the composite We are now able to compute the Koszul dual infinitesimal cooperad of the curved operad cAs. We denote the element s • by µ c 0 and the set of generators of As ¡ (that we identify with As ¡ ) presented in [LV12, 9.1.5] by {µ c n } n≥1 . Theorem 6.9. The homogeneous quadratic curved complete operad cAs is Koszul. The Koszul dual infinitesimal cooperad cAs ¡ is equal to

pr 1 ((O * P) ¡ ) T c (sE 1 ) T c (sE 1 ) (2) /s 2 R
cAs ¡ =             μc n := k≥0 S⊆[n+k],|S|=k (-1) s0+•••+s k -k(n+k) µ S n+k        n≥0 , ∆, 0     
, where S = {s j } k j=0 , µ S n+k is the element µ c n+k on which we have grafted the element s • in the position given by the set S, and ∆ is the cofree decomposition. The terms μc n have degree n -1. Explicitly, for any n ≥ 0, we have

∆(μ c n ) = k≥0 i1+•••+i k =n (-1) (ij -1)(k-j) (μ c k ; μc i1 , . . . , μc i k ). ( 8
)
It is isomorphic to

cAs ¡ ∼ = (s • As ¡ , ∆ θ , 0), where for any n ≥ 0, ∆ θ (µ c n ) = k≥0 i1+•••+i k =n (-1) (ij -1)(k-j) (µ c k ; µ c i1 , • • • , µ c i k ).
Moreover, the natural map

f κ : cA ∞ := ΩcAs ¡ → cAs
is an S-cofibrant resolution (that is cofibrant in the model category structure on complete gr-dg S-modules given in Section C.21).

Proof. We first prove Formula (8). We recall the decomposition map on As ¡ from [LV12, Lemma 9.1.2]

∆(µ c n ) = i1+•••+i k =n (-1) (ij -1)(k-j) (µ c k ; µ c i1 , • • • , µ c i k ).
(Replacing i j + 1 as it is written in op. cit. by i j -1 does not change the sign but seems more natural with the computations to come.) Then, being careful with the Koszul sign rule, since µ S n is the element µ c n on which we have grafted the element s • in the position given by the set S, we get

∆ µ S n = l0+i1+•••+i k =n S=S0 S1 ••• S k (-1) (ij -1)(k+l0-(j+nj ))+L0+K µ S0 k+l0 ; µ S1 i1 , • • • , µ S k i k , (9)
where

       |S j | = l j , n j = |{s ∈ S 0 ; s < max{S j }}|, L 0 = s∈S0
{t; max{St}<s} l t , and K = l t j>t (i j -1).

Some terms are missing in the sum appearing to compute the sign in Formula (9): they correspond to the entries labelled by s ∈ S 0 and are equal to (1 -1)(k + l 0 - * ), where * is the position of s in µ c k+l0 ; therefore they have no effect. The sum L 0 is the Koszul sign due to the elements s • corresponding to the set S 0 passing through the elements s • corresponding to some set S j . The sum K is the Koszul sign due to the elements s • of the S j passing through some µ c it . Moreover, we compute the sign in front of

µ S0 k+l0 ; µ S1 i1 , • • • , µ S k i k
to the right of Formula (8). There is a shift sending the entries of µ c ij appearing in ∆(µ c n ) to {1, . . . , i j }. We denote by Sj = {s j } the set obtained by shifting this way the elements in S j . We obtain:

(-1) (ij -lj -1)(k-j) (-1) S0 s0-l0(k+l0)+•••+ Sk sk -l k i k .
We should therefore compare this sign with (-1) S s-|S|n (-1) (ij -1)(k+l0-j-nj )+L0+ lt j>t (ij -1) .

Since |S| = l j and n = l 0 + i j , it is enough to compare

- l j (k -j) + j Sj sj -l 0 (k + l 0 ) - l j i j with S s - l j l 0 + i j + (i j -1)(l 0 -n j ) + L 0 + l t j>t (i j -1).
We have

- l t i j + l t j>t (i j -1) = = -l 0 i j - t≥1 l t j =t i j - l j i j + l 0 j>0 (i j -1) + t≥1 l t j>t i j - t≥1 l t (k -t) = - t≥1 l t j<t i j - l j i j -l 0 k - t≥1 l t (k -t).
It follows that we are interested in the difference

D := S s -   j>0 l j   l 0 - t≥1 l t j<t i j + (i j -1)(l 0 -n j ) + L 0 - j Sj sj .
A combinatorial check shows that S s -

j Sj sj = s∈S0 {t; max{St}<s} (i t -1) + t≥1 l t   j<t i j + |{s ∈ S 0 ; s < max{S t }}|   ,
where t≥1 l t |{s ∈ S 0 ; s < max{S t }}| = s∈S0 {t; s<max{St}} l t . Moreover,

s∈S0 {t; s<max{St}} l t + L 0 = s∈S0 t>0 l t = l 0 t>0 l t . Then D = s∈S0 {t; max{St}<s} (i t -1) + (i j -1)(l 0 -n j ) = s∈S0 {t; max{St}<s} (i t -1) + (i j -1)|{s ∈ S 0 ; s > max{S j }}| = 2 s∈S0 {t; max{St}<s} (i t -1).
We conclude that Formula (8) is true. It follows that the μc n , n ≥ 0, span an infinitesimal sub-cooperad C of T c (s • s ). Moreover, an explicitation of the first terms of μc 0 and μc 2 shows that the composite

C T c (s • s ) I[-1] T c (s • s ) (2) / s 2 - (1 -s 2 θ(1))
is zero. By the universal property of the infinitesimal cooperad cAs ¡ , it follows that there exists a unique (injective) morphism C cAs ¡ such that the following diagram commutes:

C T c (sE), cAs ¡ where E = •
. The operad cAs is the completion of the operad Gr cAs. The operad Gr cAs admits a presentation in filtered modules similar to the one defining cAs and it is in fact the coproduct As * T ( • ). By Proposition 6.8, we get

(Gr cAs) ¡ ∼ = T c (s • ) ⊕ As ¡ ∼ = s • As ¡ .
A proof similar to the proof of Proposition 6.1.7 in [START_REF] Hirsh | Curved Koszul duality theory[END_REF] shows that the quadratic operad Gr cAs is a Koszul operad. By the Poincaré-Birkhoff-Witt theorem of Theorem 5.20, we have cAs ¡ ∼ = (Gr cAs)

¡ . It suffices now to check the dimension in each arity to get cAs ¡ = {μ c n } n≥0 . Going through the Poincaré-Birkhoff-Witt isomorphism, we obtain the decomposition map ∆ θ . We can also compute the Koszul dual constant-quadratic operad (see Definition 5.12) associated with cAs.

Proposition 6.10. The Koszul dual complete constant-quadratic operad associated with cAs is given by

cAs ! ∼ = T ( • ) / - , • -|, • -| ,
where • is concentrated in homological degree 0. Algebras over cAs ! are unital associative algebras.

Proof. In order to apply Definition 5.12, we need to fix a decomposition of the space of generators

E (1) = • and E a (0) = .
The computation of the Koszul dual operad As ! is given in Section 7.6.4 in [START_REF] Loday | Algebraic operads[END_REF].

The computation of the extra terms is similar.

Remark 6.11. We therefore recover in an operadic context the curved Koszul duality theory of the operad encoding unital associative algebras presented in [START_REF] Hirsh | Curved Koszul duality theory[END_REF].

Proposition 6.12. A cA ∞ -algebra is equivalent to a complete graded vector space (A, F ) equipped with an n-ary filtered operation

m n : A ⊗n → A of degree n -2 for all n ≥ 0,
which satisfies the following relations

p+q+r=n (-1) p+qr m k • p+1 m q = 0, n ≥ 0, ( 10
)
where k = p + 1 + r. This notion of algebras coincides, under different settings, with the notions of A ∞ -algebras given in [START_REF] Getzler | A∞-algebras and the cyclic bar complex[END_REF], of curved A ∞ -algebras defined in [START_REF] David | Differential invariants and curved Bernstein-Gelfand-Gelfand sequences[END_REF], of weak A ∞ -algebras given in [START_REF] Keller | A-infinity algebras, modules and functor categories[END_REF], of filtered A ∞ -algebras used in [START_REF] Fukaya | Lagrangian Intersection and Floer Theory: Anomaly and Obstruction[END_REF], of [0, ∞[algebras studied in [START_REF] Nicolás | The bar derived category of a curved dg algebra[END_REF] and of weakly curved A ∞ -algebras studied in [START_REF] Positselski | Weakly curved a-infinity algebras over a topological local ring[END_REF] to give only one reference for each name.

Proof. A morphism of curved operad γ A : ΩcAs ¡ → End (A, d A ) is characterized by a map of complete S-modules cAs ¡ → End A and therefore by a collection of filtered applications mn : A ⊗n → A, of degree n -2 for all n, such that m1 increases the filtration degree by 1. We denote by m 1 the endomorphism m1 -d A and by m n the endomorphisms mn for n = 1. The fact that γ A commutes with the predifferentials and the fact that γ A sends the curvature to the curvature ensure that Equation ( 10) is satisfied for n. Remark 6.13.

(1) By the fact that complete curved associative algebras are examples of complete curved operads, Sections 4 and 5 apply to complete curved associative algebras and we therefore obtain functorial resolutions of complete curved associative algebras by the bar-cobar resolution and Koszul resolutions for Koszul complete curved associative algebras (cofibrant in the underlying category of complete gr-dg R-modules). These results can also be seen as an example of an extension of the results in [START_REF] Millès | The Koszul complex is the cotangent complex[END_REF] to the curved / infinitesimal setting: the operadic Koszul morphism κ : cAs ¡ → cAs allows to define a bar-cobar adjunction on the level of curved associative algebras and infinitesimal coassociative coalgebras.

(2) The same yoga would work for curved Lie algebras since we can define the curved Lie operad cLie as the curved operad cAs. We obtain the curved operad cL ∞ whose algebras coincides with curved L ∞ -algebras defined in [START_REF] Zwiebach | Closed string field theory: Quantum action and the batalinvilkovisky master equation[END_REF] and used or studied for example in [START_REF] Costello | A geometric construction of the Witten genus[END_REF][START_REF] Markl | Deformation theory of algebras and their diagrams[END_REF][START_REF] Rajan | L∞-algebra actions[END_REF][START_REF] Lazarev | Curved infinity-algebras and their characteristic classes[END_REF].

It is however impossible to associate in the same way a curved operad associated with the operad Com.

6.14. Homotopy categories. We now apply the results of Sections C. Proof. To apply Theorem C.41, it is enough to show that the complete curved operad cAs and cA ∞ are S-split and that the morphism f κ is compatible with the chosen splittings. The two operads come from non symmetric operads. In this situation, we can consider the splitting

O(n) = O ns (n) ⊗ R[S n ] → (O ns (n) ⊗ R[S n ]) ns ⊗ R[S n ] induced by the map O ns (n) → (O ns (n) ⊗ R[S n ]) ns .
The map f κ is compatible with these splittings. Remark 6.16. There are two possible notions of morphisms for cA ∞ -morphisms:

• the classical morphisms of algebras of the curved operad cA ∞ , that is to say maps f : A → B compatible with the predifferential and the algebra structures; • the notion, sometimes called ∞-cA ∞ -morphisms, of morphisms of infinitesimal coalgebras (cooperads) between an extension of the bar constructions on A and on B to homotopy curved algebras (or operads). (See for example Section 7.1 in [START_REF] Positselski | Weakly curved a-infinity algebras over a topological local ring[END_REF].) In the previous theorem, we consider the first notion of morphism. The study of ∞-morphisms requires extra constructions which will be given in an other work.

Appendix A. Categorical filtrations and completions

In this appendix, we will establish definitions of filtered and complete filtered objects for use in both our ground categories and in the categories of operads over them.

We want to establish the ability to work concretely with filtered and complete filtered objects, which we do by realizing them as reflective subcategories of diagram categories that are easier to manipulate. The strategy of studying a category by embedding it as a reflective subcategory of a better-behaved category is quite old [START_REF] Gabriel | Calculus of Fractions and Homotopy Theory[END_REF]. In fact the cases of filtered and complete filtered objects constitute To see the adjunction, let F be a diagram and G a filtered object. The data of a N-filtered object map from rF to G consists of a map f e from the image of ψ e to G(e) for each e. Such data defines a map fe : F (e) → im(ψ e ) → G(e). On the other hand, given a map fe : F (e) → G(e) compatible with F (0) → G(0), there is a unique lift through the image as in the following diagram:

F (e)
G(e)

rF (e) F (0) G(0).

The coherence conditions for two different values of e to be an N-filtered object map or a map of diagrams coincide, in that the commutativity of the outside cell implies that the right square commutes if and only if the left square commutes.

F (e) G(e) rF (e)

F (e ) G(e ) rF (e ) fe fe fe f e
Then this objectwise natural bijection restricts to a natural bijection between filtered maps from rF to G and maps of diagrams from F to iG.

A.4. Categorical complete filtered objects. In this section, we use the fact that A is an Abelian category, that it admits N op -indexed limits and that its satisfies AB4. A filtered object means a N-filtered object in A. For a filtered object V we write i e (or i V e if V is ambiguous) for the monomorphism F e V → F 0 V . Definition A.5. A filtered object is complete if the natural map F 0 V → lim a coker i a is an isomorphism.

The completion of the filtered object V is the sequence V (also denoted V ∧ ) defined as F e V := ker(lim

a coker i a πe -→ coker i e )
with the natural maps induced by the identity on lim a coker(i a ).

Lemma A.6. There is a natural isomorphism from lim a≥e coker(

F a V → F e V ) to F e V .
Proof. The natural map is constructed as follows. The map

F e V → coker(F a V → F e V
) is epic and the composition F e V → coker(F a V → F e V ) → coker i e is equal to the composition F e V → F 0 V → coker i e = 0. So, passing to the limit, F e V → lim coker(F a V → F e V ) factors through the kernel of lim a coker i a → coker i e .

To see that this is an isomorphism, note that for a ≥ e, the sequence

0 → coker(F a V → F e V ) → coker i a → coker i e → 0
is exact by the third isomorphism theorem which exists because the category satisfies AB4. Then taking limits over a, we get an exact sequence

0 → lim(coker F a V → F e V ) → F 0 V → coker i e
since the limit is left exact. But F 0 V → coker i e is epic since the epimorphism F 0 V → coker i e factors through F 0 V , so the sequence is in fact short exact, which is the desired statement.

Lemma A.7. Completion is a functor from filtered objects to the full subcategory of complete filtered objects.

Proof. If completion is viewed as an assignment with codomain sequences, then functoriality is clear. It should be verified that the codomain can be restricted, first to filtered objects and then to complete filtered objects. So first we verify that the induced maps F e V → F e V are monomorphisms for e > e.

By inspection F 0 V ∼ = lim a coker i a and so the map F e V → F 0 V is the inclusion of a kernel and thus a monomorphism. Since the map F e V → F 0 V can be factored

F e V → F e V → F 0 V , the left map F e V → F e V is also a monomorphism.
To see that completions are complete, by the construction of V we have coherent isomorphisms coker i V e ∼ = coker i V e so the composition of the natural map with the two natural isomorphisms

F 0 V → lim a coker i V a ∼ = lim a coker F a V ∼ = F 0 V
is the identity, which implies that the natural map is an isomorphism.

Lemma A.8. There is a natural filtered map r (or r V ) from a filtered object V to its completion V . This natural map is an isomorphism on complete objects.

Proof. We have already used a similar natural map (let us call it r 0 ) from F 0 V to F 0 V ∼ = lim a coker i a . The composition

F e V ie -→ F 0 V r0 -→ F 0 V πe -→ coker i e
is zero so that there is a unique induced map r e from F e V to F e V = ker(π e ) as in the following diagram:

F e V F 0 V 0 coker i e F e V = ker π e F 0 V . ie re r0 πe
The collection r e is coherent so constitute the data of morphism of filtered objects. If V is complete then the natural map F 0 V → F 0 V is an isomorphism, so that F e V → F 0 V → F 0 V is naturally isomorphic to ker coker i e which in turn is naturally isomorphic to the monomorphism i e . The identity isomorphism F e V → F e V satisfies the universal property of r e under the identification of this natural isomorphism, so r e itself must be an isomorphism.

Lemma A.9. For any filtered object V the two morphisms r V and r V from V to V coincide.

The proof is straightforward; we record the details in order to have a complete1 account. Because F e W → F 0 W is a monomorphism for a filtered complex W it suffices to check the maps F 0 V → F 0 V coincide.

Proof. These are two maps

F 0 V → lim b coker ker(F 0 V π b -→ coker i b ).
To check if these maps agree it suffices to check on all projections over the limit. The e term of the limit is the coimage of π e , and so it suffices to check equality after postcomposing the monomorphism coker ker(π e ) → coker i b .

The e component of r V is just the left half of the coimage factorization F 0 V → coker ker(F 0 V πe -→ coker i e ) so postcomposing the given monomorphism gives π e . On the other hand, the e component of r V is given by the projection π e from F 0 V to coker i e followed by the map coker i e → coker ker π e induced by r V 0 . Postcomposition then gives

F 0 V πe -→ coker i e induced by r V 0 ---------→ coker ker π e right half of πe coimage factorization -----------------------→ coker i e .
Then to show this to be equal to π e it suffices to check that the composition of the right two maps in the composition is the identity of coker i e . Then this equality can be checked after precomposition with the epimorphism F 0 V → coker i e . We conclude by the commutativity of the following diagram, which shows these two to be equal (unlabeled morphisms are induced by cokernels and coimage factorizations). Proof. We have already defined a unit in Lemma A.7. For W a complete filtered object, the W component of the counit is supposed to be a map of filtered objects from W to W . Since W is complete, we may take the inverse of the unit, which is an isomorphism on the complete filtered object

F 0 V coker i e F 0 V coker ker π e coker i e
W . So W = r -1 W . Then W r W --→ Ŵ W
--→ W is the identity on W by definition and the composition V r V --→ V V --→ V is the identity by Lemma A.9.

A.11. Coproducts and products in complete filtered objects. Next we spend a little time showing that in complete objects, the canonical map from the coproduct to the product is a monomorphism. This allows us to detect whether two maps into a coproduct are equal by means of the product projections. We now use that A moreover has all products and coproducts and is AB5.

Remark A.12. Biproducts are inherited by a reflective subcategory. To see this, recall that a coproduct in the subcategory is calculated as the reflector applied to the coproduct of the same objects in the ambient category. On the other hand, the product of the same objects in the reflective subcategory is calculated in the ambient category, where it coincides with a coproduct in the ambient category. This implies that the given coproduct already (essentially) lies in the reflective subcategory, so the reflector is an isomorphism on this coproduct.

We recall the definition of strict morphism from [Del71, 1.1.5].

Definition A.13. In a category with finite limits and colimits, we say that a morphism f :

Y → X is strict if the natural morphism coim(f ) → im(f ) is an isomorphism.
In the context of (possibly complete) filtered objects, a morphism f : Y → X is strict if and only if it is strictly compatible with filtration, that is to say, for each n, the following is a pullback square:

f (F n Y ) F n X f (F 0 Y ) F 0 X.
Lemma A.14. Suppose Y → X is a strict, monic morphism of filtered objects.

Then the induced map F 0 Y /F n Y → F 0 X/F n X is a monomorphism for all n.

Proof. Using the fact that Y → X is strict, a standard diagram chase in the (Abelian) ground category shows that the map of cokernels of the Cartesian square

F n X/f (F n Y ) → F 0 X/f (F 0 Y )
is monic. Now consider the snake lemma in the (Abelian) ground category for the diagram

F n Y F 0 Y F 0 Y /F n Y 0 0 F n X F 0 X F 0 X/F n X. Since Y → X is monic, the kernel of F 0 Y → F 0 X is zero so the kernel of F 0 Y /F n Y → F 0 X/F n X
is in an exact sequence following a zero term and preceding a monomorphism.

Lemma A.15. The natural map in diagrams from a coproduct to the product over the same indexing set is monic.

Proof. The map from each finite subcoproduct to the product admits a retraction so is monic. By AB5, the map in the colimit from the total coproduct to the product is also monic.2

Lemma A.16. The natural map in filtered objects from a coproduct to the product over the same indexing set is strict.

Proof. Let X i be a family of filtered objects, and let Y map to F 0 X i and F n X i over F 0 X i . We construct a map from Y to F n X i over both of these. Since the map from F n X i to F 0 X i this will show that this lift is unique, witnessing the desired universal property.

Since the ground category satisfies AB4, F n X i is the kernel of the map F 0 X i q -→ (F 0 X i /F n X i ), so it suffices to show that the map from Y to F n X i vanishes under q. By Lemma A.15, it suffices to show that this vanishing after composing with the monomorphism from (F 0 X i /F n X i ) to (F 0 X i /F n X i ). This in turn can be checked by projection to each F 0 X j /F n X j factor. But these composites factor as

Y → F 0 X i → F 0 X i → F 0 X j → F 0 X j /F n X j
and because the map from Y to F 0 X i factors through F n X i , the entire composite is zero, as desired.

Lemma A.17. The natural map in complete objects from a coproduct to the product over the same indexing set is monic.

Proof. Lemma A.15 shows this in diagrams. We will upgrade this first to the filtered and then to the complete context. Both products and coproducts in the filtered context coincide with those in diagrams, the former without any hypotheses and the latter because the ground category satisfies AB4. Monomorphisms in filtered objects are created in diagrams (or by the terminal entry), so we have the same result there. Now passing to the complete context, we need to verify that this monomorphism passes to the completion. By Lemma A.16, the monomorphism is also strict, so by Lemma A.14, the successive quotients

i F 0 X i i F n X i → i F 0 X i i F n X i
are monic. The limit functor is a right adjoint so left exact, so we get a monomorphism in filtration degree zero at the level of completions. But this is enough to detect monomorphisms in complete objects.

A.18. Tensor products in the filtered and complete settings. Now we give the criterion of Day for transfer of a closed symmetric monoidal structure.

Definition A.19. A class of objects G in a category C is strongly generating if a morphism f : x → y in C is an isomorphism whenever the induced maps of sets C(g, x) → C(g, y) is an isomorphism for all g ∈ G.

Theorem A.20 (Day). Let D be a closed symmetric monoidal category and let i : C → D be a reflective subcategory, with reflector r. Let G D be a strongly generating class of objects of D. The following are equivalent:

(1) There exists: (a) A closed symmetric monoidal structure on C, (b) A symmetric monoidal enrichment of the inclusion i which commutes with the underlying set functor, and (c) A strong symmetric monoidal enrichment of the reflector r.

Lemma A.24. Let C be a reflective subcategory of D with reflector r and let G be a strongly generating class for D. Then rG is strongly generating for C.

Proof. Let f : x → y in C and suppose f * : C(rg, x) → C(rg, y) is an isomorphism for all g in G. By adjunction, (i(f )) * : D(g, ix) → D(g, iy) is an isomorphism for all g. Then i(f ) is an isomorphism since G is generating for D. Then f is an isomorphism since i is fully faithful.

Corollary A.25. The class of presheaves {m x } as m and x vary over the objects of A and N is strongly generating for the categories of filtered and complete objects.

Proof. The initial map and isomorphisms are monic so m x is already filtered, so it is fixed by the reflector to filtered objects. It's easy to see that m x is also complete because the limit involved in the completion of m x stabilizes. This means that m x is also fixed by the reflector to complete objects. The previous lemma completes the proof.

A.26. Monoidal structure on filtered objects. In order to transfer a monoidal structure from A-valued presheaves on N to N-filtered objects of A, we should have a monoidal structure on diagrams.

F e (V ⊗ W ) := colim a+b≥e F a V ⊗ F b W unit F e (1 A N op ) := 1 A e = 0
∅ otherwise and internal hom object

F e (A N op (V, W )) := lim e+a≥b A(F a V, F b W ).
Lemma A.28. We have the following description of the internal hom object from a generator:

F e (A N op (m x , V )) ∼ = A(m, F x+e V ), with morphisms induced by those of V . Proof. There are maps from A(m, F x+e V ) to A(F a (m x ), F b V ) for e + a ≥ b defined as follows: • if a > x, then F a (m x ) is initial so A(F a (m x ), F b V ) is terminal and the map requires no data. • if a ≤ x, then F a (m x ) ∼ = m. Since e + a ≥ b, we have b ≤ x + e, so there is a map φ : F x+e V → F b V . Then A(m, F x+e V ) → A(m, F b V ) is induced by φ.
It is immediate that these maps are compatible with the structure morphisms of the subcategory of N op × N over which we are taking the limit and realize A(m, F x+e V ) as the limit.

Lemma A.29. The inclusion of the reflective subcategory of N-filtered objects into N-presheaves satisfies Day's simplified condition (2) with respect to the Day convolution symmetric monoidal structure and the generators of Corollary A.25.

Proof. Let V be an N-filtered object and m x a N-presheaf generator. We must show that

A N op (m x , V ) → irA N op (m x , V ) is an isomorphism. It is equivalent to show that A N op (m x , V ) is filtered.
In turn this is equivalent to showing that the structure map from index e to index 0 is a monomorphism for all e in N. By the description of Lemma A.28, it is enough to prove that A(m,

F x+e V ) → A(m, F x V
) is a monomorphism for arbitrary m and x. But F x+e V → F x V is a monomorphism by assumption and the functor A(m, -) is a right adjoint and thus preserves monomorphisms.

Corollary A.30. The category of N-filtered objects in A is closed symmetric monoidal with product

F e (V ⊗W ) := im((colim a+b≥e F a V ⊗ F b W ) → V ⊗ W ), unit F e (1 Filt(A) ) := 1 A e = 0
∅ otherwise and internal hom object

F e (Filt(A)(V, W )) := lim e+a≥b A(F a V, F b W ).
A.31. Monoidal structure on complete filtered objects. Finally we use Day's theorem again to transfer the monoidal structure on filtered objects to one on complete filtered objects. Again, we make use of the assumptions of section A.4.

Lemma A.32. Let W be a complete N-filtered object and m an object of A. Then the sequence A(m, W ) is a complete filtered object.

Proof. We saw that A(m, W ) was filtered in Lemma A.29. To see that it is complete, we should verify that the canonical map

A(m, F 0 W ) r0 -→ lim e coker A(m, F e W ) (ie) * ---→ A(m, F 0 W ) is an isomorphism. Since W is complete, we have A(m, F 0 W ) ∼ = A(m, lim e coker i e ) ∼ = lim e A(m, coker i e )
and under this chain of isomorphisms, the natural map

lim e coker (A(m, F e W ) → A(m, F 0 W )) lim e (A(m, coker(F e W → F 0 W ))) s0
is isomorphic to a right inverse to r 0 . Since A is Abelian, it then suffices to show that s 0 has no kernel. But the kernel of s 0 passes inside the limit and for each index e is null by left exactness of A(m, -).

Lemma A.33. Let W be a complete N-filtered object and x an element of N. Then the shifted complex W [x] with F e (W [x]) := F x+e W is a complete filtered object.

Proof. For any x and e the map coker(

F x+e W → F x W ) → coker(F x+e W → F 0 W ) is a monomorphism since F x W → F 0 W is. Therefore the limit lim e coker(F x+e W → F x W ) φ -→ lim e coker(F x+e W → F 0 W ) ∼ = lim e coker(F e W → F 0 W )
is a monomorphism. The left hand side is F 0 W [x] and the right hand side is F 0 W . Moreover, the further projection π x to coker(F x W → F 0 W ) factors through the

projection to coker(F x W → F x W ) ∼ = 0 so φ lifts to F 0 W [x] φ -→ F x W = ker π x : lim e coker(F x+e W → F x W ) lim e coker(F e W → F 0 W ) coker(F x W → F x W ) coker(F x W → F 0 W ). φ πx
The map φ is a monomorphism because it lifts the monomorphism φ.

On the other hand the composition

F x W ∼ = F 0 W [x] r W [x] 0 ---→ F 0 W [x] φ -→ F x W agrees with the canonical map F x W → F x W which is an isomorphism because W is complete.
This shows that φ is also an epimorphism. Therefore φ is an isomorphism and by two out of three, so is r

W [x] 0 .
Corollary A.34. The reflective subcategory of complete N-filtered objects inside Nfiltered objects satisfies Day's simplified condition (2) with respect to the symmetric monoidal structure of Corollary A.30 and the generators of Corollary A.25.

Proof. We are checking that for any generator m x and any complete filtered object W , the object Filt(A)(m x , W ) is complete. We already have a description of this filtered object as a presheaf from Lemma A.28 (and the proof of Lemma A.29): in index e this presheaf has A(m, F x+e W ). Then we are done by Lemmas A.32 and A.33.

Corollary A.35. The category of complete N-filtered objects in A is closed symmetric monoidal with product

V ⊗W := (V ⊗W ) ∧ ,
and unit and internal hom calculated as in filtered objects.

A.36. Consequences for S-modules. The tensor product of S-modules can be described in terms of colimits and the monoidal product in the ground category. Then because completion is a left adjoint and by Theorem A.20 and Corollary A.34, completion commutes with the tensor product of S modules. That is, for S-modules A and B we have the following natural isomorphism:

(A ⊗B) ∧ ∼ = A ⊗ B.
Similarly, since completion is a left adjoint, it commutes with the colimit defining the composition product of S-modules so that for any filtered S-modules A and B, we have the following sequence of natural isomorphisms:

(A • B) ∧ ∼ = colim k A(k) ⊗S k (B) ⊗k ∧ ∼ = colim k A(k) ⊗S k B ⊗k ∧ ∼ = colim k A(k) ⊗S k ( B) ⊗k ∼ = A• B.
We may collect this into the following corollary.

Corollary A.37. Completion is strong monoidal with respect to the induced composition products • and • on N-filtered S-modules and complete N-filtered S-modules.

A.38. Filtered gr-dg objects. Recall that Filt gr (A) is the category of filtered gr-dg objects, that is, filtered predifferential graded objects such that the induced predifferential structure on the associated graded object is actually a differential. Likewise pgA gr consists of complete predifferential graded objects such that the induced predifferential structure on the associated graded object is actually a differential.

Lemma A.39. The category of filtered gr-dg objects Filt gr (A) is a reflective subcategory of the one of filtered pg objects.

Proof. Let (V, F, d) be a filtered predifferential graded object.

The reflector takes this object to a filtered gr-dg object (V, F , d) constructed as follows. Define F p (V ) to be the following subobject of F 0 V :

F p (V ) = p i=0 d 2i F p-i V.
The connecting map F p V → V is monic by construction, which forces all the connecting maps to be monic. By construction d respects this filtration. This is clearly functorial.

For adjunction, consider a map f from a filtered pg object X into a filtered gr-dg object Y . Then d 2i F p-i X must be taken by f to d 2i F p-i Y ⊂ F p Y so that f respects the more restrictive filtration F . On the other hand given a map f from X to Y , the same formula for f certainly respects the less restrictive filtration on X. Thus the identity on the underlying map F 0 X → F 0 Y induces the adjunction.

Remark A.40. In fact, filtered gr-dg objects is also a coreflective subcategory. The coreflector takes the object (V, F, d) to a filtered gr-dg object ( V , F , ď) constructed as follows. We define F p V to be the subset of elements v of F p V such that there exist indices p i for all natural numbers i such that

(1) The sequence of p i begins with p and is strictly increasing:

p = p 0 < p 1 < • • •
(2) The element d 2i v is equivalent to 0 (mod F >pi V ). This subset is a subobject (choosing the maximum of the p i sequences for a sum) and closed by construction under d, which induces ď. by 1 on both sides, the commutator with d 2 of such a morphism increases filtration degree by p + 1.

Lemma A.45. Let W be a filtered gr-dg object and x an element of N. Then the shifted complex W [x] with F e W [x] := F x+e W is gr-dg.

Proof. The filtered gr-dg condition for F n+x W yields the condition for F n W .

Corollary A.46. The reflective subcategory of (complete) gr-dg objects inside (complete) N-filtered objects satisfies Day's simplified condition (2) with respect to the symmetric monoidal structure of Corollary A.30 (Corollary A.35) and the generators of Corollary A.25 reflected into (complete) gr-dg objects via Lemma A.24.

Proof. By Lemma A.45, and because m x is complete and filtered, we need only check that for any generator m x and any gr-dg object W , that the object Filt(A)(m x , W ) is gr-dg. We already have a description of this filtered object as a presheaf from Lemma A.28: in index e this presheaf has A(m, F x+e W ). Then we are done by Lemmas A.44 and A.45.

Corollary A.47. The category of (complete) gr-dg objects in A is closed symmetric monoidal with product

(V ⊗W ), (resp. (V ⊗W ), )
and unit and internal hom calculated as in filtered objects. By abuse of notation, we still denote by ⊗ (resp. ⊗) the tensor product in the category of (complete) gr-dg objects. Proof. This proof follows [Hov02, Theorem 7.2] word for word, although both the hypotheses and conclusion here are weaker. Let A 1 → X 1 and A 2 → X 2 be monomorphisms with flat cokernel C 1 and C 2 respectively. Then 0 → A 1 → X 1 → C 1 → 0 is pure exact so remains exact after tensoring with A 2 or X 2 . Then by the 3 × 3 lemma, the middle row of the following diagram is exact:

0 A 1 ⊗ A 2 X 1 ⊗ A 2 C 1 ⊗ A 2 0 0 A 1 ⊗ X 2 (X 1 ⊗ A 2 ) (A1⊗A2) (A 1 ⊗ X 2 ) C 1 ⊗ A 2 0 0 A 1 ⊗ X 2 X 1 ⊗ X 2 C 1 ⊗ X 2 0. Since C 1 is flat, the map C 1 ⊗ A 2 → C 1 ⊗ X 2 is a monomorphism with cokernel C 1 ⊗ C 2 .
Then the snake lemma applied to the bottom two rows shows that

(X 1 ⊗ A 2 ) (A1⊗A2) (A 1 ⊗ X 2 ) → X 1 ⊗ X 2
has zero kernel and cokernel isomorphic to C 1 ⊗ C 2 , which is thus flat.

Lemma B.2. Let A ← B → C and A ← B → C be diagrams in C, and suppose given a map of diagrams from the former to the latter which is the identity on B and a monomorphism with flat cokernel on the other two entries. Then the induced morphism between the pushouts is a monomorphism with flat cokernel.

Proof. First, we argue that the induced morphism is a monomorphism. Proof. Let X and Y be gr-flat filtered objects. We would like to show that

F n (X ⊗ Y ) → F n-1 (X ⊗ Y ) is a monomorphism. The colimit defining F n (X ⊗ Y ) is of the following diagram: F n X ⊗ F 0 Y F n-1 X ⊗ F 1 Y • • • F n X ⊗ F 1 Y F n-1 X ⊗ F 2 Y
We can rewrite this as the following colimit:

(F n X ⊗ F 0 Y ) FnX⊗F1Y (F n-1 X ⊗ F 1 Y ) (F n-1 X ⊗ F 1 Y ) Fn-1X⊗F2Y (F n-2 X ⊗ F 2 Y ) F n-1 X ⊗ F 1 Y • • • The map from F n (X ⊗ Y ) to F n-1 (X ⊗ Y
) is realized under colimit by a map of diagrams from this latter diagram to the following diagram

F n-1 X ⊗ F 0 Y F n-2 X ⊗ F 1 Y F n-1 X ⊗ F 1 Y • • •
where the maps involved are

(1) monomorphisms with flat cokernel on the upper row by Lemma B.1, and

(2) identities on the lower row.

The map of colimits can thus be constructed inductively from maps of pushout diagrams where the morphism at the corner is the identity and all other morphisms are monomorphisms with flat cokernel. The inductive step is supplied by Lemma B.2.

Lemma B.4. The full subcategory of gr-flat (complete) filtered objects in a Grothendieck category is a monoidal subcategory of (complete) filtered objects and the restriction of Gr to this subcategory is strong symmetric monoidal.

Proof. We'll do the complete filtered case, but the filtered case is more or less a sub-case of this. Let X and Y be gr-flat complete filtered objects. The monoidal product of X and Y in complete filtered objects is

(Filt(X ⊗ Y )) ∧
But by Lemma B.3, the regular diagram product X ⊗ Y is already filtered so Filt is an isomorphism on it. Then Gr ( X ⊗ Y ) ∼ = Gr (X ⊗ Y ) since completion preserves associated graded. Again by Lemma B.3, X ⊗ Y is gr-flat. This suffices to establish that gr-flat constitute a monoidal subcategory.

We have already essentially showed that the restriction of Gr to this subcategory is strong. Specifically, we've already argued that the second and third step of the composition

Gr (X) ⊗ Gr Gr (Y ) → Gr (X ⊗ Y ) Gr (Filt( )) -------→ Gr (X ⊗Y ) Gr ( ) ---→ Gr (X ⊗Y ),
where ⊗ stands for N op -indexed diagrams, are isomorphisms. The first step is also an isomorphism because Gr is the reflector of a closed normal embedding, so the adjoint inclusion is strong monoidal.

Remark B.5. The gr-flat condition is more or less essential; if F i X/F i+1 X is not flat then tensoring with a module with trivial filtration can yield a diagram which is not filtered. Now we are ready to prove Proposition 3.4.

Proof of Proposition 3.4. The dual of [Fre17, Lemma 3.1.1] says that a unit preserving colax symmetric monoidal functor takes (infintesimal) cooperads to (infinitesimal) cooperads. The original lemma does not require cocompleteness of the ground category or the preservation of colimits in each variable by the monoidal product. Therefore the dual does not require completeness or (unlikely) limitpreservation properties. The definition of an operad in that reference uses only the monoidal product and morphisms in the ambient category, so cooperads in a monoidal subcategory of C coincide with cooperads in C whose underlying objects are in the monoidal subcategory.3 (The same is true for infinitesimal cooperads.) Now Lemma B.4 says that Gr is a strong monoidal functor from the subcategory of gr-flat complete filtered objects in C to graded objects in C, and that its image lies in the subcategory of degreewise flat objects.

We therefore sometimes write gr-surjection for a strict surjection. In the following lemma, we describe the pushouts in the category Filt gr (A) and some properties related to them.

Lemma C.9. Let f : X → Y and g : X → Y be morphisms in Filt gr (A). Then

(1) the pushout

X Y Y Y X Y f g g f in Filt gr (A) is given by Y X Y := ((Y Y )/(g(x) -f (x); x ∈ X), F, d) .
The filtration F is given by

F p (Y X Y ) := im F p Y F p Y f -g ----→ (Y Y )/(g(x) -f (x); x ∈ X) ,
and the predifferential d is induced by the predifferentials on Y and Y ; (2) if f is a monomorphism, so is f ;

(3) if f is a strict morphism, so is f . Using the completion map (reflector), the morphisms f and g induces morphisms f : X → Ŷ and ĝ : X → Ŷ in Filt gr (A). Then (a) the pushout

X Ŷ Ŷ Ŷ X Ŷ f ĝ ĝ f in Filt gr (A)
is given by the completion of the pushout Y X Y in Filt gr (A); (b) if f is a monomorphism (resp. strict morphism), so is f ; (c) when f is a strict monomorphism, the pushout Ŷ X Ŷ computed in Filt gr (A) is already complete. That is to say the inclusion map, adjoint to the completion map, preserves this pushout.

Proof.

(1) The pushout is obtained by the cokernel of the map

X g-f ---→ Y Y .
It is computed as the pushout in the category of diagrams A N op to which we apply the reflector A N op → Filt(A). We recall that A = R-modules. This extends to gr-dg modules.

(2) This is direct from the description of Y X Y .

(3) The statement follows from the fact that (c) When f is a strict monomorphism, so is X ĝ-f ---→ Ŷ Ŷ . Thus the filtration on the pushout

(f ) -1 (F p (Y X Y )) = g(f -1 (F p B)) + F p C.
Ŷ X Ŷ = Y Y /( g -f )(X)
is given by

F p ( Ŷ X Ŷ ) = F p Ŷ F p Ŷ /F p (ĝ -f )(X) = F p Y Y /F p ( g -f )(X) .
It is the quotient filtration induced by the filtration on Y Y and the pushout is already complete.

Lemma C.10. We have the following pushout diagram

Ẑ1,∞ q,n 0 B1,∞ q,n Ẑ1,∞ q,n . ϕ ∞ q,n
Moreover, if the map p has the right lifting property with respect to the maps {0 → Ẑ1,∞ q,n }, then the map Gr p is surjective on cycles. Under the assumption that p is a strict surjection, the reverse is true.

Proof. The first part of the lemma follows from Lemma C.9.

Then, the set of diagrams

0 (Y, F ) Ẑ1,∞ q,n (X, F ), p (11)
corresponds (bijectively) to the set

A q,n := x ∈ F q X n ; d X (x) ∈ F q+1 X .
The set of lifts in such diagrams corresponds (bijectively) to the set

A q,n := (x, y) ∈ F q X n F q Y n ; d Y (y) ∈ F q+1 Y .
It is clear that if p has the right lifting property with respect to the maps {0 → Ẑ1,∞ q,n }, then Gr p is surjective on cycles. Let assume that Gr p is surjective on cycles and x ∈ F q X n such that d X (x) ∈ F q+1 X, that is the data of a diagram (11). Using the fact that Gr p is surjective on cycles, we get that there exists y ∈ F q Y n such that d Y (y) ∈ F q+1 Y and p(y) = x + x q+1 , with x q+1 ∈ F q+1 X n . Under the assumption that p is a strict surjection, we get that there exists y q+1 ∈ F q+1 Y n such that p(y q+1 ) = x q+1 . Finally, y -y q+1 provides the requested lift.

We can now characterize what will be the trivial fibrations. We recall that

I ∞ 0 = {ϕ ∞ q,n : Ẑ1,∞ q,n → B1,∞ q,n } n∈Z, q∈N .
Proposition C.11. A map p : (Y, F, d Y ) → (X, F , d X ) has the right lifting property with respect to all the maps in I ∞ 0 if and only if the map p it is a strict surjection and a graded quasi-isomorphism. In particular, I ∞ 0 -inj = J ∞ 0 -inj ∩W.

Proof. The map 0 → B1,∞ q,n = Ẑ0,∞ q,n+1 Ẑ0,∞ q+1,n is the composition of the maps 0 → Ẑ1,∞ q,n and Ẑ1,∞ q,n → B1,∞ q,n . By the pushout diagram presented in Lemma C.10, we obtain

I ∞ 0 -inj = I ∞ 0 ∪ J ∞ 0 -inj (since 0 → Ẑ0,∞ q,n+1
is a retract of 0 → B1,∞ q,n ). It follows that maps in I ∞ 0 -inj are in particular strict surjections (by Proposition C.7). We now characterize the diagrams

Ẑ1,∞ q,n (Y, F ) B1,∞ q,n (X, F ), ϕ ∞ q,n
B q,n := (t, x, y) ∈ F q X n+1 F q+1 X n F q Y n ; p(y) = d X (t) + x and d Y (y) ∈ F q+1 Y .
The set of such diagrams admitting a lifting is in bijection with

B q,n := (t, x, y, z) ∈ F q X n+1 F q+1 X n F q Y n F q Y n+1 ; p(z) = t, p(y) = d X (t) + x and y -d Y (z) ∈ F q+1 Y ,
since the different conditions satisfied by the tuples in B q,n already implies that d Y (y) ∈ F q+1 Y . First, we suppose that p has the right lifting property with respect to maps in I ∞ 0 . It remains to prove that p is a graded quasi-isomorphism. By Lemma C.10, we have that Gr p is surjective on cycles, so that H • (Gr p) is surjective as well. We then prove that H • (Gr p) is injective. Let ȳ ∈ ker H n (Gr q p), that is there exists a lift y ∈ F q Y n such that d Y (y) ∈ F q+1 Y n-1 and p(y) ∈ im d X |FqX + F q+1 X. We fix p(y) = d X (x q ) + x q+1 for some x q ∈ F q X and x q+1 ∈ F q+1 X. This is precisely the data of an element in B q,n . By the lifting property, we obtain

z ∈ F q Y n+1 such that y -d Y (z) ∈ F q+1 Y . It follows that the class of y = d Y (z) + (y -d Y (z)) is 0 in H • Gr Y and H • (Gr p) is injective.
Conversely, assume that p is a strict surjection and a graded quasi-isomorphism. It remains to show that p has the right lifting property with respect to the maps { Ẑ1,∞ q,n → B1,∞ q,n } q,n . Let (t, x, y) ∈ B q,n . By means of the fact that p is a strict surjection, we get that there exists z ∈ F q Y n+1 such that p(z) = t. If y -d Y (z) ∈ F q+1 Y , we have found the requested lift. Otherwise y -d Y (z) provides a non zero element in Gr q Y . The fact that p is a strict surjection implies that Gr q p is surjective. We therefore get a short exact sequence 0 → K → Gr q Y → Gr q X → 0 in dg-modules where K is the kernel of Gr q p. By the associated long exact sequence and the fact that Gr q p is a quasi-isomorphism, we obtain that K is acyclic. We

have ȳ -d Gr Y (z) ∈ Z n-1 (K) since d Y (y -d Y (z)) ∈ F q+1 Y and p(y -d Y (z)) = x ∈ F q+1 X.
So there exist u q ∈ F q Y n+1 such that p(u q ) ∈ F q+1 X and y q+1 ∈ F q+1 Y n with the property that y -d Y (z) = d Y (u q ) + y q+1 . Using the fact that p is a strict surjection, we obtain that there exists u q+1 ∈ F q+1 Y n+1 such that p(u q+1 ) = p(u q ). that weak equivalences are preserved by pushout along cofibrations. It is enough to show that for any diagram

X Y X Y X Y , f g g
in which both squares are cocartesian, f belongs to I ∞ 0 , and g belongs to W, the map g also belongs to W. We first show that it is true in the category of chain complexes of R-modules. We show that if f is injective and g is a quasiisomorphism, we obtain that the map g is a quasi-isomorphism. This follows first from the fact that in the category of chain complexes pushout along an injection f : X → Y provides an injection X → Y . Then in this situation, the second pushout gives a short exact sequence 0 → X → Y X → Y → 0 which provides a long exact sequence in homology. Finally, the fact that g is a quasi-isomorphism implies that so is g . We consider the functor Gr : Filt

gr (A) → (dgA) ob N , (V, F, d V ) → (V, F, d V ) gr = (Gr V, d Gr V ) .
Given a map f = ϕ ∞ q,n in I ∞ 0 , we show that the two cocartesian squares in Filt gr (A) give two cocartesian squares under Gr . The functor Gr is the composition of the inclusion functor i 1 : Filt gr (A) → Filt(pgA), the inclusion functor i 2 : Filt(pgA) → (pgA) N op and the quotient functor q 1 : (pgA) N op → (dgA) ob N . All the maps in I ∞ 0 are strict monomorphisms. From Lemma C.9, we get that the inclusion i 1 preserves pushouts in which one map is a strict monomorphism (the inclusion Filt gr (A) → Filt(pgA) preserves the pushouts). Moreover, when f is a strict monomorphism, so is the map X → Y . Therefore the inclusion i 1 sends the two cocartesian squares to two cocartesian squares. Provided that the maps f and X → Y are strict morphisms, Proposition 1.1.11 in [Del71] shows that the functor q 1 • i 2 also sends the two cocartesian squares to two cocartesian squares (the predifferentials don't affect this property). Finally, the functor Gr sends maps in I ∞ 0 to cofibrations in (dgA) ob N (objectwise injections with free, hence projective, cokernel) and maps in W to quasi-isomorphisms in (dgA) ob N so this shows that Gr g is a quasi-isomorphism, that is g belongs to W. C.16. Properties of the model structure on gr-dg R-modules. We prove that the model category structure on gr-dg R-modules is combinatorial and is a monoidal model structure.

Definition C.17. Let M be a category endowed with a model structure. We say that M is combinatorial if it is

(1) locally presentable as a category, and

(2) cofibrantly generated as a model category.

Lemma C.18. The category of complete gr-dg R-modules is a (locally) presentable category. As a consequence, the category Filt gr (A) is combinatorial.

Proof. The category of A = R-modules is locally presentable (see for instance Example 5.2.2.a in [START_REF] Borceux | Handbook of categorical algebra[END_REF]). Applying [AR94, Corollary 1.54], the category A N op of N op -indexed diagrams is locally presentable. By Lemma A.3 and Corollary A.10, the category Filt(A) of complete filtered objects in A is a reflective subcategory of the category of N op -indexed diagrams. The monad T associated with the adjunction sends an N op -indexed diagrams {X(p)} p to the completion X (seen in A N op ) of its associated filtered object X defined by F p X = im(X(p) → X(0)). Let us show that the monad T commutes with filtered colimits. First, the image of a map can be written as the equalizer of a cokernel pair. It therefore commutes with filtered colimits since colimits commute colimits and in the category A, finite limits commute with filtered colimits (Corollary 3.4.3 in [START_REF] Borceux | Handbook of categorical algebra[END_REF]). Then, the completion does not commute with filtered colimits but it commutes with κ-filtered colimits, for κ a regular cardinal such that κ > ℵ 0 since the completion is defined in the locally presentable category A by a diagram obtained by means of two cokernels, a kernel and a limit indexed by ℵ 0 (see for example Corollary 5.2.8 in [START_REF] Borceux | Handbook of categorical algebra[END_REF]).

It follows that T commutes with ℵ 1 -filtered colimits and therefore by Theorem 5.5.9 in [START_REF] Borceux | Handbook of categorical algebra[END_REF], the category Filt(A) of complete filtered objects in A is locally presentable. Again by Corollary 1.54 in [START_REF] Adámek | Locally presentable and accessible categories[END_REF], the category Filt(A) ob Z of graded complete objects in A is locally presentable. Let A = R[[d]] be the R-algebra of formal power series generated by d of degree -1 and endowed with the filtration

F p A = d 2p R[[d]
] for all p ≥ 0. It is complete for the filtration and therefore provides an algebra in Filt(A) Z disc . The category of complete gr-dg R-modules is the category of A-modules in Filt(A) Z disc . Again by Example 5.2.2.a in [START_REF] Borceux | Handbook of categorical algebra[END_REF], we obtain that Filt gr (A) is locally presentable.

We recall from [Hov99, Definition 4.2.6] the notion of symmetric monoidal model category and we prove that the category Filt gr (A) is a symmetric monoidal model category.

Definition C.19. We say that a symmetric monoidal category (M, ⊗, 1) endowed with a model structure is a symmetric monoidal model category when

(1) the natural morphism

i 1 i 2 : (X 1 ⊗ A 2 ) (A1⊗A2) (A 1 ⊗ X 2 ) → X 1 ⊗ X 2
induced by cofibrations i 1 : A 1 → X 1 and i 2 : A 2 → X 2 forms a cofibration, respectively an acyclic cofibration if i 1 or i 2 is also acyclic. (2) Let Q1 π -→ 1 be the cofibrant replacement for the unit obtained by using the functorial factorization to factor 0 → 1 into a cofibration followed by a trivial fibration. Then the natural map Q1 ⊗ X π⊗id ---→ 1 ⊗ X is a weak equivalence for all cofibrant X. Similary, the natural map X ⊗ Q1 (1) We first consider the cofibrations i 1 = ϕ ∞ q,n : Ẑ1,∞ q,n → B1,∞ q,n and i 2 = ϕ ∞ p,m . The generators, as an R-module, of X 1 ⊗ X 2 are

d k 1 q n+1 ⊗ d l 1 p m+1 , d k 1 q+1 n ⊗ d l 1 p m+1 , d k 1 q n+1 ⊗ d l 1 p+1 m , d k 1 q+1 n ⊗ d l 1 p+1 m k, l∈N , whereas the ones of (X 1 ⊗ A 2 ) (A1⊗A2) (A 1 ⊗ X 2 ) are Z := d k (d1 q n+1 + 1 q+1 n ) ⊗ d l 1 p m+1 , d k (d1 q n+1 + 1 q+1 n ) ⊗ d l 1 p+1 m , d k 1 q n+1 ⊗ d l (d1 p m+1 + 1 p+1 m ), d k 1 q+1 n ⊗ d l (d1 p m+1 + 1 p+1 m ) k, l∈N
. We prove by induction on the weight grading that the map

i 1 i 2 : (X 1 ⊗ A 2 ) (A1⊗A2) (A 1 ⊗ X 2 ) → X 1 ⊗ X 2
can be written as the coproduct of some cofibrations ϕ ∞ rs,os and ϕ ∞ rs,os-1 . We first describe ϕ ∞ r0,o0 and ϕ ∞ r0,o0-1 . We have

(d1 q n+1 + 1 q+1 n ) ⊗ 1 p m+1 + (-1) n+1 1 q n+1 ⊗ (d1 p m+1 + 1 p+1 m ) = d 1 q n+1 ⊗ 1 p m+1 + 1 q+1 n ⊗ 1 p m+1 + (-1) n+1 1 q n+1 ⊗ 1 p+1 m .
This gives a cofibration ϕ ∞ r0,o0 where r 0 = q + p and o 0 = n + m + 1, and

• (d1 q n+1 +1 q+1 n )⊗1 p m+1 +(-1) n+1 1 q n+1 ⊗(d1 p m+1 +1 p+1 m ) is the generator of Ẑ1,∞ r0,o0 , • 1 q n+1 ⊗ 1 p m+1 is the generator of Ẑ0,∞ r0,o0+1 , and • 1 q+1 n ⊗ 1 p m+1 -(-1) n 1 q n+1 ⊗ 1 p+1 m
is the generator of Ẑ0,∞ r0+1,o0 . Similarly,

• the element in Ẑ1,∞ r0,o0-1

z p+q n+m = d 1 q n+1 ⊗ (d1 p m+1 + 1 p+1 m ) + (-1) n d (d1 q n+1 + 1 q+1 n ) ⊗ 1 p m+1 -(d1 q n+1 + 1 q+1 n ) ⊗ 1 p+1 m + 1 q+1 n ⊗ (d1 p m+1 + 1 p+1 m ) , • the element b p+q n+m+1 = 1 q n+1 ⊗ d1 p m+1 + (-1) n d1 q n+1 ⊗ 1 p m+1 in Ẑ0,∞ r0,o0 , and • the element b p+q+1 n+m = (-1) n+1 1 q n+1 ⊗ d1 p+1 m -d1 q+1 n ⊗ 1 p m+1 -2 × 1 q+1 n ⊗ 1 p+1 m in Ẑ0,∞ r0+1,o0-1
fit into the equality z p+q n+m+1 = db p+q n+m+2 + b p+q+1 n+m+1 and therefore give a cofibration ϕ ∞ r0,o0-1 . Let us show that we have the equality

d k 1 q n+1 ⊗ d l 1 p m+1 , k,l∈N ∩ im (i 1 i 2 ) = {0}. (12)
The term d k 1 q n+1 ⊗ d l 1 p m+1 appears only in two terms of Z which are

d k-1 (d1 q n+1 + 1 q+1 n ) ⊗ d l 1 p m+1 and d k 1 q n+1 ⊗ d l-1 (d1 p m+1 + 1 p+1 m ). The terms d k-1 1 q+1 n ⊗ d l 1 p m+1 and d k 1 q n+1 ⊗ d l-1 1 p+1 m
appear only in one other term each. We get the two equalities:

d k-1 (d1 q n+1 + 1 q+1 n ) ⊗ d l 1 p m+1 -d k-1 1 q+1 n ⊗ d l-1 (d1 p m+1 + 1 p+1 m ) = d k 1 q n+1 ⊗ d l 1 p m+1 -d k-1 1 q+1 n ⊗ d l-1 1 p+1 m and d k 1 q n+1 ⊗ d l-1 (d1 p m+1 + 1 p+1 m ) -d k-1 (d1 q n+1 + 1 q+1 n ) ⊗ d l-1 1 p+1 m = d k 1 q n+1 ⊗ d l 1 p m+1 -d k-1 1 q+1 n ⊗ d l-1 1 p+1 m .
First of all, we obtain im (i 1 i 2 ) + Codom s-1 from im (i 1 i 2 ) + Codom s-2 by adding the terms d 2s 1 q n+1 ⊗ d 2s 1 p m+1 and b p+q+2s n+m+1-4s and their boundaries. It is easy to see that all these terms are sums of terms of the form d k 1 q n+1 ⊗d l 1 p m+1 with at least one term with k ≥ 2s or l ≥ 2s. By Equalities (12) and (E s ) for s -1, this gives Equality (E s ). It remains to show that there exists S s such that modulo

F q+p+2(s+1) (X 1 ⊗ X 2 ), the map i 1 i 2 is given by id Ss 0≤k≤s ϕ ∞ r k ,o k ϕ ∞ r k ,o k -1
, that is to say the codomain of this last map is equal to X 1 ⊗ X 2 modulo F q+p+2(s+1) (X 1 ⊗ X 2 ). By the induction hypothesis, it is enough to show that all the elements in

F q+p+2(s+1) (X 1 ⊗ X 2 ) /F q+p+2(s+1) (X 1 ⊗ X 2 ) are in the codomain mod- ulo F q+p+2(s+1) (X 1 ⊗ X 2 ). A basis of the module F q+p+2s (X 1 ⊗ X 2 ) /F q+p+2(s+1) (X 1 ⊗ X 2 )
is given by the classes of the elements in the set

C s := d 2k+t 1 q n+1 ⊗ d 2(2s-k+u)+l 1 p m+1 t, u, l∈ 0, 1 , k∈ 0, 2s+u d 2k+t 1 q+1 n ⊗ d 2(2s-1-k+u)+l 1 p m+1 , d 2k+t 1 q n+1 ⊗ d 2(2s-1-k+u)+l 1 p+1 m t, u, l∈ 0, 1 , k∈ 0, 2s-1+u d 2k+t 1 q+1 n ⊗ d 2(2(s-1)-k+u)+l 1 p+1 m t, u, l∈ 0, 1 , k∈ 0, 2(s-1)+u .
First of all, using the terms d k 1 q n+1 ⊗ d l 1 p m+1 and the terms in Z such that k, l ≥ 2s, the same tedious computation as for the base case shows that the terms

d k 1 q n+1 ⊗ d l 1 p m+1 , d k 1 q+1 n ⊗ d l 1 p m+1 , d k 1 q n+1 ⊗ d l 1 p+1 m , d k 1 q+1 n ⊗ d l 1 p+1
m , for k, l ≥ 2s, are in the codomain modulo F q+p+2(s+1) (X 1 ⊗ X 2 ). Finally, it is enough to say that we get the terms

d k 1 q n+1 ⊗d l 1 p m+1 , d k 1 q+1 n ⊗d l 1 p m+1 , d k 1 q n+1 ⊗ d l 1 p+1 m , d k 1 q+1 n ⊗ d l 1 p+1
m , for k, l such that k or l is < 2s using the previous terms and the boundaries of some lift of the class modulo F q+p+2s (X 1 ⊗ X 2 ) of the terms in C s-1 . The picture of this proof is nested cones. This gives the inductive step and therefore proves that the map i 1 i 2 is a cofibration since we are working in a complete setting.

When the two maps are acyclic cofibrations, say i 1 : 0 → Ẑ0,∞ q,n and i 2 : 0 → Ẑ0,∞ p,m , the map i 1 i 2 is given by 0 → Z 0,∞ q,n+1 ⊗ Ẑ0,∞ p,m which is a coproduct of acyclic cofibrations. When we assume that i 1 or i 2 is an acyclic cofibration, say i 1 = ϕ 1,∞ q,n and i 2 : 0 → Ẑ0,∞ p,m , we can see that the map i

1 i 2 is isomorphic to the inclusion Ẑ1,∞ q,n ⊗ Ẑ0,∞ p,m → Ẑ1,∞ q,n ⊗ Ẑ0,∞ p,m Z 0,∞ q,n+1 ⊗ Ẑ0,∞ p,m
, which is an acyclic cofibration.

(2) By [Hov99, Remark 4.2.3] and the fact that a left Quillen functor preserves weak equivalences between cofibrant objects, we can consider any cofibrant replacement of the unit. The map Ẑ1,∞ 0,0 → 1 is one. We have to show that for all cofibrant X, the natural map Ẑ1,∞ 0,0 ⊗ X → X (resp. X ⊗ Ẑ1,∞ 0,0 → X) is a weak equivalence. By [Hov99, Lemma 4.2.7], it is enough to show that the map X → Hom( Ẑ1,∞ 0,0 , X) (where the internal Hom is computed in graded filtered R-modules) is a weak equivalence for all X (since all objects are fibrant). Since this map is an equality, we are done. C.21. Model structure on complete curved operads. In this section, we recall from [Hir03, Theorem 11.3.2] the theorem of transfer of cofibrantly generated model structure, essentially due to Quillen [Qui67, Section II.4] and we apply it to endow the category of complete curved operads with a cofibrantly generated model structures. The model structure is obtained from the adjunction between the free complete curved operad and the forgetful functor from complete curved operads to complete gr-dg S-modules. (for A = R-Mod) also is a proper cofibrantly generated model category structure (see for example [START_REF] Hirschhorn | Model categories and their localizations[END_REF]11.6]). A morphism f : M → N in M is a weak equivalence (resp. fibration) if the underlying collection of morphisms {M (m) → N (m)} m∈N consists of weak equivalences (resp. fibrations). Moreover the set I (resp. J) of generating cofibrations (resp. acyclic cofibrations) can be described explicitly as follows:

Applying

I = { Ẑ1,∞ q,n (m) → B1,∞ q,n (m)} and J = {0 → Ẑ0,∞ q,n (m)
}, where Ẑk,∞ q,n (m) (resp. B1,∞ q,n (m)) is the complete gr-dg S-module obtained by the complete free gr-dg R[S m ]-module Ẑk,∞ q,n ⊗ R[S m ] (resp. B1,∞ q,n ⊗ R[S m ]) put in arity m. We denote by W the subcategory of weak equivalences. Notice that the domains of elements of I or J are small (ℵ 1 -small) in the category S-Mod( A gr ).

Theorem C.22 (Theorem 3.3 in [START_REF] Sjoerd | Quillen closed model structures for sheaves[END_REF], Theorem 11.3.2 in [START_REF] Hirschhorn | Model categories and their localizations[END_REF]). Let C is a cofibrantly generated model category, with I as set of generating cofibrations, J as set of generating trivial cofibrations and W as class of weak equivalences. Let D be a complete and cocomplete category and let F : C D : G be a pair of adjoint functors. Suppose further that:

(1) G preserves filtered ℵ 1 -colimits, (2) G maps relative F J-cell complexes to weak equivalences. Then the category D is endowed with a cofibrantly generated model structure in which F I is the set of generating cofibrations, F J is the set of generating trivial cofibrations, and the weak equivalences are the maps that G takes into a weak equivalence in C. We have that fibrations are precisely those maps that G takes into a fibration in C. Moreover (F, G) is a Quillen pair with respect to these model structures.

In order to apply this theorem, we prove several results. The first one concerns the adjunction between the free curved operad cT and the corresponding forgetful functor.

Proposition C.23. The adjunction between the free curved operad and the forgetful functor (see Theorem 2.20) cT : S-Mod( A gr ) / Curved operads : U o provides a monad U • cT whose category of algebras is naturally isomorphic to the category of curved operads.

Proof. We apply the crude monadicity theorem that we recall from [BW05, Section 3.5]. The functor U : Curved operads → S-Mod( A gr ) is monadic if it satisfies the hypotheses:

• the functor U has a left adjoint,

• the functor U reflects isomorphisms,

• the category Curved operads has coequalizers of those reflexive pairs (f, g) for which (U f, U g) is a coequalizer and U preserves those coequalizers. The free functor is left adjoint to the forgetful functor U . The forgetful functor clearly reflects isomorphisms. The coequalizer of a pair f, g : O → P in the category of curved operads is given by the quotient map (P, d P , θ P ) → (P/ (im(f -g)) , dP , θP ) where (im(f -g)) is the (operadic) ideal generated by im(f -g), the map dP induced by d P is well-defined since (im(f -g)) is stable under d P and the element θP is the class of θ P in P/ (im(f -g)). The element θP is a curvature since θ P is. When (f, g) is a reflexive pair, the ideal generated by im(f -g) is equal to im(f -g). It follows that the third condition is satisfied since the coequalizers in S-Mod( A gr ) are given by P/ im(f -g). Hence the forgetful functor U is monadic and the result follows from the crude monadicity theorem.

Proposition C.24. The category of curved operads has all limits and small colimits.

Proof. By Proposition 4.3.1 in [START_REF] Borceux | Handbook of categorical algebra[END_REF] and Proposition C.23, the category of curved operads admits the same type of limits as the category S-Mod( A gr ) which is complete (and they are preserved by U ).

By Proposition 4.3.2 in [START_REF] Borceux | Handbook of categorical algebra[END_REF] and Proposition C.23, if some colimits present in S-Mod( A gr ) are preserved by the monad U • T , the category of curved operads admits the same type of colimits and they are preserved by U . Using the fact that • preserves filtered colimits in each variable, since ⊗ does, and that colimits commutes with colimits, we get by the construction of the underlying S-module of the free complete operad given in Section 2.12 that the monad U • T , where U is the forgetful functor from complete gr-dg operad to complete gr-dg S-modules, commutes with filtered colimits. Similarly, the same is true when we replace T by T + and the forgetful functor by the corresponding forgetful functor. Then, the free curved operad cT (M, d M ) described in Section 2.17 is given by a quotient of T + (M, d M ) which is a coequalizer (hence a colimit). We finally get that the monad U • cT commutes with filtered colimits. We therefore obtain that the category of curved operads admits filtered colimits. It is therefore enough to check that it admits pushouts (by Theorem 1 in Chapter IX of [START_REF] Mac | Categories for the working mathematician[END_REF], a category with filtered colimits and pushouts has all small colimits). The pushouts can be computed explicitly. The construction is well-known in the category of operads in A (see for example the proof of Theorem 1.13 in [START_REF] Getzler | Operads, homotopy algebra and iterated integrals for double loop spaces[END_REF]). Given two maps of filtered operads c → a and c → b and the pushout in operads F 0 a ∨ F0c F 0 b. We endow the pushout with the filtration given by im (F p T (a b) → F 0 a ∨ F0c We have seen in the beginning of Section C.21 that the category on the left-hand side is a cofibrantly generated model category. In order to apply Theorem C.22, we have to understand cT J-cell complexes, with cT J = {I → cT ( Ẑ0,∞ q,n (m))} n∈Z, q∈N, m∈N . Then, we study cT I-cell complexes, with cT I = {cT ( Ẑ1,∞ q,n (m)) → cT ( B1,∞ q,n (m))} n∈Z, q∈N, m∈N in order to describe cofibrant objects. The classes cT I, resp. cT J, will be the generating cofibrations, resp. generating acyclic cofibrations.

Lemma C.25. A morphism of curved operads is a relative cT J-cell complex if and only if it is a map O → O ∨ cT (Z, d Z ), where (Z, d Z ) is a complete gr-dg S-module equal to a direct sum of complete gr-dg S-modules Ẑ0,∞ q,n (m). In particular, (Z, d Z ) is a free S-module and it is gr-acyclic (that is to say its gr-homology is 0) and it satisfies ker(d Z ) = {0}. Explicitly, we can write Proof. We have cT (0) = T (ϑI)/(im(0 2 -[ϑ, -])) ∼ = T (ϑI). Pushouts of elements of cT J are therefore as follows

T (ϑI) O α cT ( Ẑ0,∞ α ) O ∨ α cT ( Ẑ0,∞ α ) , ∨αcT (jα)
with each Ẑ0,∞ α equal to a Ẑ0,∞ q,n (m). Since the coproduct of free curved operads is the free curved operad on the sum of their generating modules (see the proof of Proposition C.24), the composite of two such pushouts is equal to O → O ∨ cT and a direct computation shows that the ideal (im(d Z 2 -[ϑ, -])) is sent to zero. It is easy to describe an inverse to this map in complete S-modules.

Theorem C.26. The category of complete curved operads is endowed with a cofibrantly generated model category structure where the generating (acyclic) cofibrations are the images under the free functor of the generated (acyclic) cofibrations. A map f : O → P is a

• weak equivalences if and only if, in any arity, it is a graded quasi-isomorphism of gr-dg S-modules, • fibration if and only if, in any arity, it is a gr-surjection,

• cofibrations if and only if it has the left lifting property with respect to acyclic fibrations. Moreover (cT , U ) is a Quillen pair with respect to the cofibrantly model structures. The generating cofibrations are the maps cT I and the generating acyclic cofibrations are the maps cT J.

Proof. By Proposition C.24, in order to apply Theorem C.22, it is enough to show that U preserves filtered ℵ 1 -colimits and that it maps relative cT J-cell complexes to weak equivalences. We have already seen in the proof of Proposition C.24 that U preserves filtered colimits; in particular, it preserves filtered ℵ 1 -colimits. By Lemma C.25, a relative cT J-cell complex can be written as a map j : O → O ∨ where i 1 and i 2 are inclusions and q 1 sends a directed sequence to the (N-indexed) product of the cokernel of the maps appearing in the directed sequence. By Proposition 1.62 in [START_REF] Adámek | Locally presentable and accessible categories[END_REF], the functor i 2 preserves filtered colimits. Since cokernels are coequalizers (therefore colimits) in (pgA) N op and (dgA) ob N , and colimits commute with colimits, the map q 2 preserves all colimits. Then, because of the presence of the quotient map q 1 , when colim i M i is a filtered colimit, we have Gr colim i M i = (q 1 • i 2 )(colim i i 1 (M i )) (even if i 1 does not preserve (ℵ 0 -)filtered colimits). The free operad functor is obtained as a filtered colimit of finite coproducts of • monoidal products (see Section 2.12), so Gr commutes with the free curved operad functor.

The coproduct of two operads can be computed explicitly and is a quotient of the free operad on the direct sum of the two underlying S-modules of the operads (see the proof of Theorem 1.13 in [START_REF] Getzler | Operads, homotopy algebra and iterated integrals for double loop spaces[END_REF]). The graded functor Gr therefore preserves the coproduct of two operads. We get

Gr O ∨ gr-dg op T α Ẑ0,∞ α / im d α 2 ∼ = Gr (O)∨ dg op T α Gr Ẑ0,∞ α / im d α 2 .
We get, using the fact that R is a field of characteristic 0 and the arguments given in [Hin03, Theorem 3.2], that the map Gr (U (j)) is a quasi-isomorphism.

We conclude this section by computing the cofibrant objects in the model category of complete curved operads. We recall that the notion of quasi-free complete curved operad is given in Definition 2.22.

Proposition C.27. A complete curved operad is cofibrant if and only if it is a retract of a quasi-free complete curved operad (T + (S), d) / im d 2 -[ϑ, -] , where S is a complete S-module endowed with an exhaustive filtration

S 0 = {0} ⊂ S 1 ⊂ S 2 ⊂ • • • ⊂ colim i S i = S
of free S-modules such that S i-1 S i are split monomorphisms of complete Smodules with cokernels isomorphic to a sum of complete S-modules

S i /S i-1 ∼ = α ξ α • R[S mα ] Ẑ0,∞ qα+1,nα (m α )
where ξ α is in homological degree n α +1 and filtration degree q α . The predifferential d is the one of Ẑ0,∞ qα+1,nα (m α ) on Ẑ0,∞ qα+1,nα (m α ) and

d(ξ α ) + ζ α ∈ (T + (S i-1 ), d) / im d 2 -[ϑ, -] ,
with ζ α is a generator of the gr-dg S-module Ẑ0,∞ qα+1,nα (m α ).

Proof. By Proposition 2.1.18 in [START_REF] Hovey | Model categories[END_REF], cofibrations are retracts of relative cT Icell complexes. We therefore study the pushouts of elements of cT I of the form where d i is the derivation defined on S i-1 by d i-1 , the differential on Ẑ0,∞ qα+1,nα (m α ) is the one of Ẑ0,∞ qα+1,nα (m α ) and d i ξ α = z α -ζ α . By induction, we get the result. Corollary C.28. Equivalently, a complete curved operad is cofibrant if and only if it is a retract of a quasi-free complete curved operad T + ( S), d , where S is a complete S-module endowed with an exhaustive filtration

S0 = {0} ⊂ S1 ⊂ S2 ⊂ • • • ⊂ colim i Si = S
of free S-modules such that Si-1 Si are split monomorphisms of complete Smodules with cokernels isomorphic to a sum of complete S-modules

Si / Si-1 ∼ = α (ξ α • R[S mα ] ζ α • R[S mα ])
where ξ α is in homological degree n α + 1 and filtration degree q α and ζ α is in homological degree n α and filtration degree q α + 1. Proposition C.29. Any quasi-free complete curved operad (T + (X), ∂) is a retract of a quasi-free complete curved operad (T + ( S), ∂ ), where the components of S are free S-modules. Moreover, if X is endowed with an exhaustive filtration

X 0 = {0} ⊂ X 1 ⊂ X 2 ⊂ • • • ⊂ colim i X i = X such that X i-1
X i are split monomorphisms of complete S-modules with cokernels isomorphic to a sum of complete S-modules

X i /X i-1 ∼ = α (ξ α • R[S mα ] ζ α • R[S mα ]) ,
where ξ α is in homological degree n α + 1 and filtration degree q α and ζ α is in homological degree n α and filtration degree q α + 1. The predifferential ∂ is such that ∂(ξ α ) + ζ α ∈ (T + (X i-1 ), ∂), and ∂(ζ α ) is obtained by the fact that ∂ 2 (ξ α ) = [ϑ, ξ α ], then S can be chosen with the same property and such that the cokernels of the Si-1

Si are free S-modules. Under these hypotheses, the complete curved operad (T + (X), ∂) is cofibrant, as a retract of a cofibrant complete curved operad.

Proof. We copy the proof of Lemma 39 in [START_REF] Merkulov | Deformation theory of representations of prop(erad)s[END_REF], adapting the setting. Let X(m) denote the set of equivalence classes under the action of S m . We choose a set of representatives {x i } i∈I . Let S be the free S-module generated by the {x i } i∈I . The generator associated with xi will be denoted by s i . For any x ∈ X(m), we consider the subgroup S x := {σ ∈ S m | x • σ = χ(σ)x, χ(σ) ∈ R}. In this case, χ is a character of S x . We define the following element of S:

N (x i ) := 1 |S xi | χ(σ -1 ) • s i σ,
(V, d V ) → F O (V, d V ) := O(V )/ im d V 2 -θ ⊗ id V , d O(V ) .
Proof. The proof is similar to the proof of Theorem 2.20. Let (V, d V ) be a complete gr-dg R-module and (A, End F O (V, d V ) follows from the fact that we have considered the quotient by the ideal im d V 2 -θ ⊗ id V . Indeed,

d O(V ) 2 = d O 2 ⊗ id V ⊗• + j id O ⊗ id V ⊗j ⊗ d V 2 ⊗ id ⊗(•-j) = [θ, -] ⊗ id V ⊗• + j id O ⊗ id V ⊗j ⊗ (θ ⊗ id V ) ⊗ id ⊗(•-j) = θ ⊗ id O(V ) .
We have the adjunction im(id I ⊗ d Ẑ0,∞ q,n 2 -θ ⊗ id Ẑ0,∞ q,n ) ⊂ I F O ( Ẑ0,∞ q,n ) is sent to the ideal im(id I ⊗ d Ẑ0,∞ q,n 2α(θ) ⊗ id Ẑ0,∞ q,n ) with α(θ) = θ . This shows that α * preserves acyclic cofibrations. The same reasoning shows that α * sends (generating) cofibrations to (generating) cofibrations.

Finally, we compare the categories Hoalg(O) and Hoalg(O ) when the morphism α : (O, d, θ) → (O , d , θ ) is a weak equivalence, that is a graded quasiisomorphism, of S-split complete curved operads compatible with the splitting (that is α sends the splitting to the splitting). Proof. The functors α * reflects weak equivalences so by Corollary 1.3.16 in [START_REF] Hovey | Model categories[END_REF], it is enough to show that the unit of the adjunction A → α * (α * (A)) is a weak equivalence, that is a graded quasi-isomorphism, for every cofibrant (O, d, θ)-algebra (A, d A ). Since we are working over a field R of characteristic 0, we have already seen that the functor Gr commutes with direct sums and preserves the tensor products. It follows that Gr α * (A, d A ) ∼ = (Gr O )(Gr A # )/ ((Gr α)(id Gr A # )(I Gr A )) , since Gr I A ∼ = I Gr A . The result now follows from the proof given in Section 4.7 in [START_REF] Hinich | Homological algebra of homotopy algebras[END_REF].

Definition 2. 3 .

 3 An operad (O, γ, η, d) in the category M is a monoid in the monoidal category (S-Mod(M), •, I). The map γ : O • O → O is the composition product, the map η : I → O is the unit and the map d : O → O is a derivation for the composition on O. We denote by Op(M) the category of operads in M.

  -Lie bracket {-, -}, and then a Lie bracket [-, -], which is given on O(p) ⊗ O(q) by {-, -} := p i=1 P

M 2 -

 2 [ϑ, -]) is the ideal generated by the image of the map d M 2 -[ϑ, -] : M → T (M ϑI). There is an adjunction cT : S-Mod( A gr ) / Curved operads : U. o Moreover, let  : (M, d M ) → cT (M, d M ) denote the composition (M, d M ) j -→ T (M, d M ) cT (M, d M ). The curved operad (cT (M, d M ), γ, ) is the free curved operad on (M, d M ) in the category of curved operads.

  Lemma 3.18. Let C be a gr-coaugmented complete cooperad. Then the cooperad structure on C provides the infinitesimal coideal C with an infinitesimal cooperad structure. We denote the decomposition map by ∆ : C → C • C, the counit map by ε : C → I[-1], and the gr-coaugmentation by η : I[-1] → C. We also denote by d : C → C the differential induced by the one on C.

  Proposition 3.38. Let M be a complete S-module and C a gr-coaugmented altipotent cooperad equipped with a map f : C → T c M . Projection to cogenerators T c M → M induces a bijection between coderivations of f and S-module maps from C to M . Proof. Equip the S-module C1 Cx with a decomposition map induced by that of C: C1 Cx → (C1 Cx) • (C1 Cx) where, • writing i for the canonical inclusions of C1 and Cx into C1 Cx and • writing i † for the inclusion of Cx into C1 Cx in the C1 factor, we set

4. 1 .

 1 Bar construction. Let (O, γ, d, ε, θ, η) be an augmented curved complete operad. The augmentation ideal O := ker(ε : O → I) of O is a complete gr-dg S-module. Remark 4.2. The predifferential d on O induces a predifferential d on the complete S-module O and the composition product γ induces a map γ : O • O → O which gives by means of η a map γ(1) : O • (1) O → O.

  Lemma 4.4. The coderivation d β is a differential and the bar construction induces a functor B : Comp. aug. curved op. → Compl. altip. inf. coop.. Proof. We can split the square of the coderivation d β as follows

  is and O is augmented. The map d is a derivation with respect to γ for the augmented curved complete operad O, so by sign considerations, we obtain that d 1 d 2 + d 2 d 1 = 0. The associativity of the composition product γ of the augmented curved complete operad O gives the last equality d 2 2 = 0.

Fix an augmented curved

  complete operad (O, γ, d O , ε O , θ, η O ) and a complete altipotent infinitesimal cooperad (C, ∆, d C , ε C , η C ). An element α : C → O of degree -1 in the curved Lie algebra Hom S (C, O) such that ε O • α = 0 which is called a curved twisting morphism if it is a solution of the curved Maurer-Cartan equation Θ + ∂(α) + 1 2 {α, α} = 0. We denote by Tw(C, O) the set of curved twisting morphisms. By means of the fact that C is an infinitesimal cooperad, a curved Maurer-Cartan satisfies im(α • η C ) ⊂ F 1 O. We show that it is representable on the left and on the right by the bar and the cobar constructions. Proposition 4.9. For any complete altipotent infinitesimal cooperad C and any complete augmented curved operad O, there are natural bijections Hom comp. aug. curv. op. ( ΩC, O) ∼ = Tw(C, O) ∼ = Hom compl. alti. inf. coop. (C, BO).

Definition 5. 3 .

 3 We denote by i C : C → S C is the inclusion and by π C : S C C is the projection. • The multilinear part in S of (C • (S C)) • C is given either by the cokernel coker

  by means of the fact that the monoidal structure commutes with colimits and i C is a section of π C . It is denoted by C • (S C) • C. • The coideal quotient (S) of C generated by ξ : C

Definition 5 .

 5 19. A curved complete operad (O, θ) is called Koszul if O ∼ = ( Gr O, θ), where Gr O is the graded uncurved operad associated with O and Gr O admits a homogeneous quadratic presentation Gr O ∼ = T E/(R) in Filt(A) for which it is a Koszul operad. Theorem 5.20. Let O be a curved complete Koszul operad. Then the map i : O ¡ → BO is a quasi-isomorphism of cooperads. Moreover, there is a Poincaré-Birkhoff-Witt type isomorphism of S-modules

  30 and C.38 to the morphism f κ : cA ∞ → cAs. By Theorem C.35, the categories of algebras Alg(cAs) and Alg(cA ∞ ) admit a cofibrantly generated model structure and by Theorem C.40, the morphism f κ produces a Quillen adjunction between the model categories of curved algebras. Theorem 6.15. The functor f κ * and κ * Lf κ * : Hoalg(cA ∞ ) / Hoalg(cAs) : Rf κ * = f κ * o are equivalences of the homotopy categories.

r V 0 induced by r V 0 πe

 00 Corollary A.10. The inclusion of complete filtered objects inside filtered objects is reflective with reflector V r -→ V .

Fact A. 27 .

 27 Day convolution gives the diagram category A N op a closed symmetric monoidal structure with product

  Appendix B. Gr-flat objects and the associated graded This section builds up the necessary material to prove Proposition 3.4. Lemma B.1. Let the ground category A be a Grothendieck category. Let C be the class of monomorphisms with flat cokernel. Then C is closed under the pushout product.

  Let A B C → I be a monomorphism from the pushout to an injective object (Grothendieck categories have enough injectives). Then since A → A and C → C are monomorphisms, there are extensions A → I of A → I and C → I of C → I. Because these morphisms are extensions, they remain compatible with B → I, and so pass to an extension A B C → I of A B C → I. Then A B C → A B C is the first morphism in a monic composition, hence is monic.To see the statement about the cokernel, note that cokernel (in the pushout diagram category in C and in C) commutes with the colimit functor, which is a left adjoint. Then the cokernel of the morphism of pushouts is the sum of the cokernels, and flat objects are closed under sum.Lemma B.3. The N-indexed diagram product of two gr-flat filtered objects is a gr-flat filtered object.

  are computed in this way. (b) This follows from (2) and (3) above.

  Mod) admitting a lifting. The set of such diagrams corresponds (bijectively) to the set

X

  ⊗ 1 is a weak equivalence for all cofibrant X. Proposition C.20. The category Filt gr (A) is a symmetric monoidal model category. Proof. To prove the first condition of Definition C.19, by [Hov99, Corollary 4.2.5], it is enough to prove the claim in the case of generating (acyclic) cofibrations.

  Theorem C.15 for the ring R[S m ], m ∈ N, we obtain a proper cofibrantly generated model category structure on the category M m of complete gr-dg R[S m ]-modules. Considering this collection (M m , W m , I m , J m ) m∈N of proper cofibrantly generated model category structures, we have that the product S-Mod( A gr ) := m∈N M m , m∈N W m , m∈N I m

  F 0 b) which is the initial one such that there are filtered maps a → a ∨ c b and b → a ∨ c b and a ∨ c b is a filtered operad. It is easy to check that this defines the pushout in filtered operads. Taking completion gives the pushout in complete operads and this extends in a straightforward manner to the gr-dg setting. In order to obtain the pushout of two maps (c, d c , θ c ) → (a, d a , θ a ) and (c, d c , θ c ) → (b, d b , θ b ) in the curved setting, the only difference is to consider the quotient a ∨ c b/(θ a -θ b ) so that (a, d a , θ a ) ∨ (c, dc, θc) (b, d b , θ b ) := (a ∨ c b/(θ a -θ b ), d a∨cb/(θa-θ b ) , θa = θb ). We now apply the transfer Theorem C.22 to the adjunction cT : S-Mod( A gr ) / Curved operads : U. o

  cT (Z, d Z ) ∼ = T (ϑI (Z/ im d Z 2 )), d, ϑ ,with dϑ = 0 and d 2 = [ϑ, -].

.

  Hence a transfinite composition of such pushouts has the form O → O ∨ cT (Z), with Z a gr-acyclic gr-dg S-module whose components are free complete gr-dg S-modules Ẑ0,∞ q,n (m). To prove the isomorphism given an explicit description of cT (Z, d Z ), we define a map ϑI Z → T (ϑI Z/ im d Z 2 ) by sending ϑ to ϑ and an element d k x, for a generator x of a free gr-dg S-module Ẑ0,∞ q,n (m), tod k x → [ϑ, . . . [ϑ k 2 times , d k-2 k 2 x] . . . ].By the universal property of the free complete gr-dg operad, we obtain a (surjective) map T (ϑI Z) → T (ϑI Z/ im d Z 2 )

α

  cT ( Ẑ0,∞ α ) = O ∨ cT α Ẑ0,∞ α .Using the description of the pushout of curved operads in the proof of Proposition C.24, we can computeO ∨ cT α Ẑ0,∞ α ∼ = O ∨ gr-dg op T + α Ẑ0,∞ α / im d α 2 /(θ O -ϑ) ∼ = O ∨ gr-dg op T α Ẑ0,∞ α / im d α 2 . → (dgA) ob N , (V, F, d V ) → (Gr • V, Gr d V )commutes with direct sums (see for example [Fre17, Proposition 7.3.8]) and satisfies, for gr-flat complete modules, Gr M ⊗ Gr Gr N ∼ = Gr (M ⊗N ) (see Lemma B.4). By Maschke's Theorem (R is a field of characteristic 0), any R[S * ]-module is flat. It follows that when M and N are two gr-dg S-modules, we have Gr M • Gr N ∼ = Gr (M • N ). Moreover the functor Gr preserves filtered colimits. Indeed, it is the composition Filt gr (A) i1 -→ Filt(pgA) i2 -→ (pgA) N op q1 -→ (dgA) ob N ,

α

  cT Ẑ1,∞ α (T + (S i-1 ), d i-1 ) / im d i-1 2 -[ϑ, -] α cT ( B1,∞ α ) P, ∨αcT(iα)f with each Ẑ1,∞ α equal to a Ẑ1,∞ qα,nα (m α ) and B1,∞ α equal to a B1,∞ qα,nα (m α ). We denote by z α the image under f of the generating (as a gr-dg S-modules) element of Ẑ1,∞ qα,nα (m α ). If we denote by ξ α and by ζ α the generating (as a gr-dg S-modules)elements of B1,∞ qα,nα (m α ) = Ẑ0,∞ qα,nα+1 (m α ) Ẑ0,∞ qα+1,nα (m α ), and by d k ξ α , resp. by d k ζ α , their successives predifferentials, the pushout P is equal toT + (S i-1 ) ∨ compl. op. T ξ α • R[S mα ] Ẑ0,∞ qα+1,nα (m α ) , d i / im d i 2 -[ϑ, -] ,

  The predifferential d is such that d(ξ α ) + ζ α ∈ T + ( Si-1 ), d i-1 , and d(ζ α ) is obtained by the fact that d 2 (ξ α ) = [ϑ, ξ α ].

  where the sum runs over σ ∈ S xi (N preserves the filtration). The image under the boundary map ∂ of an xi is a (potentially infinite) sum of trees T (x i1 , . . . , xi k ). We define the boundary map ∂ on T + ( S) by∂ (s i ) := 1 |S xi | χ(σ -1 ) • T (N (x i ), . . . , N (x i k )) σ,where the second sum runs over σ ∈ S xi and the sum lies in the complete gr-dg module since N preserves the filtration. Finally, we define the maps of curved operads T + ( S) → T + (X) by s i → xi and T + (X) → T + ( S) by xi → N (x i ). They form a deformation retract, which preserves the filtration on X when it exists and the different properties on the cokernels also hold.C.30. Model structure on categories of complete curved algebras. Following Hinich[START_REF] Hinich | Homological algebra of homotopy algebras[END_REF], we endow the category Alg(O) of algebras over an S-split complete curved operad (O, d, θ) with a model category structure. We apply Theorem C.22 to the free-forgetful functor adjunction between the categories of gr-dg R-modules and Alg(O).We first describe the free-forgetful adjunction. Proposition C.31. The forgetful functor # : Alg(O) → compl. gr-dg R-Mod admits a left adjoint free O-algebra functor F O : compl. gr-dg R-Mod → Alg(O) given by

  d A ) be an (O, d, θ)-algebra. We denote by U O = U (O, d, θ) the complete gr-dg operad underlying (O, d, θ). The above constructionF O (V, d V ) is a U O-algebra as a quotient by the ideal im d V 2 -θ ⊗ id V of the free U O-algebra U O(V, d V ) = n≥0 O(n) ⊗ Sn V ⊗n , d O(V )where d O(V ) is the gr-dg predifferential induced by the predifferentials on O and on V . It is a (O, d, θ)-algebra since the condition that θ is sent to d O(V ) 2 in

Hom

  gr-dg R-Mod (V, d V ), (A, d A ) # ∼ = Hom U O-alg. (U O(V, d V ), U (A, d A )) , where U (A, d A ) is the U O-algebra underlying (A, d A ). Since (A, d A ) is a (O, d, θ)algebra, a morphism of U O-algebras U O(V, d V ) → U (A, d A ) automatically sends the ideal im d V 2 -θ ⊗ id V to0 and coincides (bijectively) with a morphism of (O, d, θ)-algebras F O (V, d V ) → (A, d A ). We get the bijection Hom U O-alg. (U O(V, d V ), U (A, d A )) ∼ = Hom gr-dg R-Mod (F O (V, d V ), (A, d A ))

Theorem C. 41 .

 41 Let α : (O, d, θ) → (O , d , θ ) be a graded quasi-isomorphism of S-split complete curved operads compatible with the splittings. Then the functors α * and α * form a pair of Quillen equivalences, that is the functors Lα * : Hoalg(O) / Hoalg(O ) : Rα * = α * o are equivalences of the homotopy categories.

  The square of the derivation d ω is equal to [ϑ, -], the curvature ϑ is closed and the cobar construction induces a functor Ω : Compl. altip. inf. coop. → Comp. aug. curved op..Proof. The free complete operad T (s -1 C ϑI) is augmented and the map d ω is zero on I. (In fact, since the category of augmented curved operads is equivalent to the category of non-unital curved operad, we could have consider the non-unital curved operad T (s -1 C ϑI).)Because of the fact that d ω 2 = 1 2 [d ω , d ω ] and [ϑ, -] are derivations, it is enough to prove the equality d ω

2 = [ϑ, -] on the generators s -1 C ϑI. We have d ω 2

  1 is zero. The infinitesimal cooperad pr 1 ((O * P) ¡ ) is therefore an infinitesimal subcooperad of O ¡ (by the universal property satisfied by O ¡ ). Eventually, pr 1 ((O * P) ¡ ) = O ¡ . Similarly, pr 2 ((O * P) ¡ ) = P ¡ . Using the fact that is a biproduct and that O ¡ and P ¡ are counital, it follows that there exists a unique morphism (O * P) ¡ → O ¡ ⊕P ¡ which commutes with the projections. This map is injective since (O * P) ¡ T c (sE 1 ) ⊕ T c (sE2) is. The composite O ¡ ⊕ P ¡ (O * P) ¡ O ¡ ⊕ P ¡ is the identity and this proves the proposition.

In more ways than one.

We learned this short proof from Zhen Lin Low.

We cannot use the dual of[START_REF] Yau | A Foundation for PROPs, Algebras, and Modules[END_REF] Theorem 12.11(1)] here without modification because this last statement fails-the monadic construction of operads there uses colimits intimately. This implies that the category of Yau-Johnson cooperads in a monoidal subcategory of C may not even be well-defined (if the subcategory is not complete), and that if they are well-defined the isomorphism with cooperads whose underlying objects lie in the monoidal subcategory may fail.

Acknowledgements

We would like to thank Mathieu Anel, Joey Hirsh, Brice Le Grignou, Damien Lejay, Victor Roca Lucio, Massimo Pippi, Joseph Tapia, Bertrand Toën, and Bruno Vallette for useful discussions and for sharing early drafts of related work with us.

Bellier-Millès was supported by ANR-13-BS02-0005-02 CATHRE and ANR-14-CE25-0008-0 SAT, funded by Agence Nationale pour la Recherche. Drummond-Cole was supported by IBS-R003-D1.

1

The main technical point for us will be the transfer of a closed monoidal structure to a reflective subcategory in a coherent fashion, using a criterion of Day [START_REF] Day | A reflection theorem for closed categories[END_REF].

The executive summary of (most of) this appendix is that the following diagram of subcategory inclusions is in fact a diagram of normal reflective embeddings. This means that:

(1) each of the solid arrows has a left adjoint reflector functor, (2) the counit of each adjunction is an isomorphism, (3) each category is closed symmetric monoidal, (4) the given arrows are all lax symmetric monoidal with the unit of the adjunction as the monoidal natural transformation, and (5) the left adjoints are all strong symmetric monoidal.

The diagram is as follows.

Moreover, in the case where A is replaced by the category pgA of predifferential graded objects in A, we can complete the diagram

Throughout this appendix, we let (A, ⊗, 1, A) be a closed symmetric monoidal Grothendieck category with initial object ∅.

We consider N as a poset category with initial object 0. When desirable, we enrich N in A by saying N(a, b) is ∅ if a > b and 1 otherwise.

In general the underlying category of this enriched category is not equivalent to N itself (they are equivalent if and only if 1 admits no automorphisms and no maps to ∅).

Because of the diagrams of reflexive subcategories, the condition that A is a Grothendieck category ensures in fact that the categories Filt(A), Filt(A) and Filt gr (A) are quasi-abelian (see for example [START_REF] Riehl | Category theory in context[END_REF]Lemma 3.3.5] and [START_REF] Frerick | [END_REF]Proposition 4.20]). This property is useful for Section 5.

Various generalizations are possible: for many of the results we can replace A with a regular cocomplete closed symmetric monoidal category and N with a nontrivial poset with an initial object.

A.1. Categorical filtered objects. Definition A.2. Let C be a category. A N-filtered object in a category C is an N opindexed diagram in C where all maps are monomorphisms. The full subcategory spanned by N-filtered objects is denoted Filt(C).

Lemma A.3. The full subcategory spanned by N-filtered objects in A inside A N op is a reflective subcategory. Moreover, the reflector takes the functor F : N op → A to the functor rF whose value at e is the image of F (e) → F (0).

Proof. For a diagram F : N op → A there is a map ψ e : F (e) → F (0) for each object e of N. Define rF (e) as im(ψ e ). By the universal property of the image in a regular category, the morphisms in the diagram rF are well-defined monomorphisms. In the case that Day's conditions are satisfied, since ri is naturally isomorphic to id C , we have the following natural isomorphisms for c and c objects in C:

Then for c and c and c objects in C, we have

by full faithfulness of i which shows that the internal hom C(c , c ) is naturally isomorphic to rD(ic , ic ).

In particular this implies that

again by full faithfulness and Day's condition (1). Thus the motto is "internal homs are computed in the big category D but the monoidal product needs to be reflected".

A.21. Strong generation of sequences. We will repeatedly use the same set of strong generators in what follows.

Definition A.22. Let m be an object of A and x an object of N. We define a A-valued N-presheaf m x as follows:

∅ otherwise with structure maps either the initial map or the identity.

Lemma A.23. The class of presheaves {m x } as m and x vary over the objects of A and N is strongly generating.

Proof. A map of presheaves from m x to an arbitrary presheaf X is determined uniquely by the level x map from m to F x X. Every such map in A actually determines a map of presheaves, using the initial map for indices greater than x and using the commutativity of the following diagram for indices e less than x:

id A map of presheaves is an isomorphism just when it is so objectwise, and this argument shows that the given set tests at every object of N against every object of A.

An equivalent construction proceeds as follows. Consider the functor T so that F p (T V ) is the pullback

Lemma A.41. Completion preserves the gr-dg property.

Proof. We use the characterization of Lemma A.6 (which uses the fact that the ground category satisfies AB4). Let Y be gr-dg. Consider F j Ŷ d 2 -→ F j Ŷ . This is an endomorphism of lim a coker(F a Y → F j Y ) which admits an epimorphism from

Corollary A.42. Complete gr-dg objects Filt gr (A) are a reflective subcategory of both complete pg objects and filtered gr-dg objects.

Proof. By Lemma A.41, in both cases the functor X → X can serve as reflector (on filtered gr-dg objects this is the same as plain completion). That is, at least it is a functor to the right codomain category.

Then the proof in both cases is a chain of canonical isomorphisms using the formal dg reflector X → X and completion X → X. Each one comes either from an adjunction, or full faithfulness of one of the right adjoints.

We check that, for Y complete and gr-dg and X filtered, we have:

Now if X is itself either complete or gr-dg, then this is finally isomorphic by the full faithfulness of the subcategories to the subcategory morphisms.

A.43. Monoidal structure on (complete) filtered gr-dg objects. We use Day's theorem again to transfer the monoidal structure on (complete) filtered objects to one on (complete) gr-dg filtered objects. Again, we uses the assumptions of section A.4 .

Lemma A.44. Let W be an object in Filt gr (A) and m an object of Filt(pgA).

Then the sequence A( m, W ) is gr-dg.

Proof. On the hom object, the square of the differential is the commutator with d 2 , interpreted in m and in W . The pth filtered component of A( m, W ) consists of morphisms which increase filtration degree by p. Since d 2 increases filtration degree

Appendix C. Model category structures

In this Appendix, we endow the category Filt gr (R-Mod) of complete gr-dg Rmodules with a cofibrantly generated model structure. We propose to consider the graded quasi-isomorphisms as a class of weak equivalences and a set of generating cofibrations similar to the one described in [START_REF] Cirici | Model category structures and spectral sequences[END_REF]. We describe the fibrations and we show that the model category structure on complete gr-dg R-modules is combinatorial and is a monoidal model category structure. Then we transfer the cofibrantly generated model category structure to the category of complete curved operads via the free curved operad functor and to the category of complete algebras over a curved operad by means of the corresponding free functor and we study the cofibrant objects. We finally show a base change result for the categories of algebras over some curved operads.

We work over unbounded chain complexes over a ring R. In this appendix, we assume that R is a field of characteristic 0. (5) We assume that M is cocomplete. A map is a relative I-cell complex if it is a transfinite composition of pushouts of elements of I. Such a morphism f : A → B is the composition of a λ-sequence X : λ → M, for an ordinal λ such that, for each β such that β + 1 < λ, there is a pushout square

We denote the collection of relative I-cell complexes by I-cell.

Definition C.3. Let M be a cocomplete category and N be a collection of morphisms of M. An object A ∈ M is α-small relative to N , for a cardinal α, if for all α-filtered ordinals λ and all λ-sequences

is an isomorphism. We say that A is small relative to N if it is α-small relative to N for some α. We say that A is small if it is small relative to M.

Definition C.4. A model category C is said to be cofibrantly generated if there are sets I and J of maps such that:

(1) the domains of the mas in I are small relative to I-cell, (2) the domains of the maps in J are small relative to J-cell, (3) the class of fibrations is J-inj, (4) the class of trivial fibrations is I-inj. The set I is called the set of generating cofibrations and the set J is called the set of generating trivial cofibrations.

We now recall the following theorem from [Hov99, Theorem 2.1.19]. It shows how to construct cofibrantly generated model categories.

Theorem C.5. Suppose M is a complete and cocomplete category. Suppose W is a subcategory of M, and I and J are sets of maps of M. Then there is a cofibrantly generated model structure on M with I as the set of generating cofibrations, J as the set of generating trivial cofibrations, and W as the subcategory of weak equivalences if and only if the following conditions are satisfied:

(1) the subcategory W has the two-out-of-three property and is closed under retracts, (2) the domains of I are small relative to I-cell, (3) the domains of J are small relative to J-cell, (4)

C.6. The category of complete gr-dg R-modules. We apply Theorem C.5 to endow the category of complete gr-dg R-modules with a proper model structure. In this section, the category A denotes the category of R-modules.

We recall that a map p : (X, F ) → (Y, F ) is strict when it satisfies p(F q X) = p(X) ∩ F q Y for all q. When p is a surjection, this means that p(F q X) = F q Y for all q. We say that a filtered gr-dg R-module (M, F ) is pure of weight q if

We denote by R (q) the (complete) filtered R-module given by R concentrated in pure weight q. The notation R (q) n means that we consider it in degree n within a (complete) filtered complex.

Taking notations close to the ones in [START_REF] Cirici | Model category structures and spectral sequences[END_REF], we define, for all n ∈ Z and q ∈ N, the complete gr-dg modules

, where is the coproduct in complete gr-dg modules, and

We also define the complete gr-dg R-module

Ẑ0,∞ q+1,n . We denote by ϕ ∞ q,n : Ẑ1,∞ q,n → B1,∞ q,n the morphism of complete gr-dg modules defined by the following diagram

In order to apply Theorem C.5, we consider the subcategory of Filt gr (A)

of weak equivalences, and the sets

} n∈Z, q∈N of generating cofibrations and generating acyclic cofibrations.

In the following proposition, we characterize the morphisms having the right lifting property with respect to the morphisms in J ∞ 0 . These morphisms will be the fibrations. Proof. For every q, a diagram of the form

p is characterized by an element x q ∈ F q X n . A lift in this diagram is equivalent to an element y q in F q Y n such that p(y q ) = x q .

We provide an equivalent description by means of the functor Gr .

Lemma C.8. A map p : (Y, F ) → (X, F ) satisfies p n : Y n → X n is a strict surjection for all n ∈ Z if and only if the map (Gr q p) n : Gr q Y n → Gr q X n is surjective for all q ∈ N and for all n ∈ Z.

Proof. The direct implication is immediate. The reverse implication is given by an induction (we need Y to be complete for the filtration F in order to prove this fact). Indeed, assume that Gr q p is surjective for all q and let x ∈ X and q = 0. If Gr q x = 0, then we fix y q = 0. Otherwise, there exists by assumption y q ∈ F q Y such that Gr q p(Gr q y q ) = Gr q (x). The element x -p(y q ) is in F q+1 X. This reasoning works for any q provided that x ∈ F q X. By induction and by the fact that Y is complete, we get that p( q y q ) = x. This proof works for F q p instead of p so we get that p is a strict surjection.

Finally, we have

This provides the requested lift.

Definition C.12. Let f : (Y, F, d Y ) → (X, F , d X ) be a map of gr-dg R-modules.

We denote by C(f ) the mapping cone of the map f defined by

Lemma C.13. The cone C(id Y ) of the identity map is gr-acyclic (that is to say its gr-homology is 0).

Proof. We have Gr (D)(ȳ, z) = (-dȳ, ȳ + dz) so Gr (D)(ȳ, z) = 0 if and only if dȳ = 0 and ȳ = -dz. This is equivalent to the fact that (ȳ, z) = Gr (D)(z, 0). Hence C(id Y ) is gr-acyclic.

Proposition C.14. We have J ∞ 0 -cof ⊆ W. Proof. We follow the proof given in [START_REF] Cirici | Model category structures and spectral sequences[END_REF]. Let f : A → B be a J ∞ 0cofibration. By Proposition C.7, this means that f has the left lifting property with respect to the maps p which are strict surjections. We consider the diagram

is the projection on the first factor. The map π 1 is a strict surjection. It follows that the diagram admits a lift h :

Applying the functor Gr to the diagram and using the fact that the cone is gr-acyclic (by Lemma C.13), the two commutative triangles give that f is a graded quasi-isomorphism.

Theorem C.15. The category Filt gr (R-Mod) of gr-dg R-modules admits a proper cofibrantly generated model category structure, where:

(1) weak equivalences are graded quasi-isomorphisms, (2) fibrations are strict surjections, and

(3) I ∞ 0 and J ∞ 0 are the sets of generating cofibrations and generating acyclic cofibrations respectively.

Proof. We apply Theorem C.5. The graded quasi-isomorphisms satisfy the twoout-of-three property. It follows that the subcategory W satisfies the two-outof-three property. This category is also closed under retract since graded quasiisomorphisms are closed under retract. The non trivial domains of the maps in I ∞ 0 and in J ∞ 0 are Ẑ1,∞ q,n . The complete gr-dg modules Ẑ1,∞ q,n are ℵ 1 -small since completion commutes with ℵ 1 -filtered colimits. Finally, Propositions C.11 and C.14 ensure that we can apply Theorem C.5 and we obtain the wanted cofibrantly generated model structure. Using Proposition C.7, we can see that every object is fibrant. So by [Hir03, Corollary 13.1.3] the model category structure is right proper. It remains to show that the model structure is left proper, that is to say The term d k-1 1 q+1 n ⊗ d l-1 1 p+1 m doesn't appear in an other term in Z. This proves Equality (12). This implies that the element 1 q n+1 ⊗ 1 p m+1 and its derivatives don't belong to im(i 1 i 2 ). This also gives that b p+q n+m+1 and its derivatives don't belong to im(i 1 i 2 ) im ϕ ∞ r0,o0 . Let S 0 be an R-linear complement of the domains of ϕ ∞ r0,o0 and ϕ ∞ r0,o0-1 in (X

. This is the base case of the induction.

We define similarly the maps ϕ ∞ rs,os and ϕ ∞ rs,os-1 . We have

This gives a cofibration ϕ ∞ rs,os where r s = q +p+2s and o s = n+m+1-4s, and

, and

• the element in Ẑ1,∞ rs,os-1

• the element b p+q+2s n+m+1-4s = d 2s 1 q n+1 ⊗ d 2s+1 1 p m+1 + (-1) n d 2s+1 1 q n+1 ⊗ d 2s 1 p m+1 in Ẑ0,∞ rs,os , and

fit into the equality z p+q+2s n+m+1-4s = db p+q+2s n+m+2-4s + b p+q+1+2s n+m+1-4s and give a cofibration ϕ ∞ rs,os-1 . We denote by Codom s the codomain of the map

. We want to prove the following statement: for k ≥ 0, we have the equality

and there exists an R-linear subspace S s of X 1 ⊗ X 2 such that modulo

. Let assume Equality (E s ) for s -1 and the existence of S s-1 such that modulo F q+p+2s (X 1 ⊗ X 2 ), the map i 1 i 2 is given by

which gives the result.

In order to apply Theorem C.22, we prove several results. The first one concerns the adjunction between the free (O, d, θ)-algebra functor F O and the forgetful functor #. Proof. As in the proof of Proposition C.23, we apply the crude monadicity theorem given in [BW05, Section 3.5]. The result follows from the fact that the functor # : Alg(O) → compl. gr-dg R-Mod is monadic. The free functor is left adjoint to the forgetful functor #. The forgetful functor clearly reflects isomorphisms. It remains to show that the category Alg(O) has coequalizers of those reflexive pairs (f, g) for which (#f, #g) is a coequalizer and # preserves those coequalizers. The coequalizer of a pair f, g : (A, d A ) → (B, d B ) in the category of (O, d, θ)-algebras is given by the quotient map (B, d B ) → (B/ (im(f -g)) , dB ) where (im(f -g)) is the (O-)ideal generated by im(f -g) and the map dB induced by d B is well-defined since (im(f -g)) is stable under d B . The quotient algebra is still a (O, d, θ)algebra. When (f, g) is a reflexive pair, the ideal generated by im(f -g) is equal to im(f -g). It follows that the remaining condition is satisfied since the coequalizers in compl. gr-dg R-Mod are given by B/ im(f -g).

Proposition C.33. The category of (O, d, θ)-algebras has all limits and small colimits.

Proof. By Proposition 4.3.1 in [START_REF] Borceux | Handbook of categorical algebra[END_REF] and Proposition C.32, the category of (O, d, θ)algebras admits the same type of limits as the category compl. gr-dg R-Mod which is complete (and they are preserved by #).

Proposition 4.3.2 in [START_REF] Borceux | Handbook of categorical algebra[END_REF] and Proposition C.32 implies that if some colimits in compl. gr-dg R-Mod are preserved by the monad # • F O , the category of (O, d, θ)algebras admits the same type of colimits and they are preserved by #.

Using the fact that ⊗ preserves filtered colimits in each variable and that colimits commutes with colimits, we get that the monad # • F O preserves filtered colimits. We therefore obtain that the category of (O, d, θ)-algebras admits filtered colimits. It is therefore enough to check that it admits pushouts (by Theorem 1 in Chapter IX of [START_REF] Mac | Categories for the working mathematician[END_REF], a category with filtered colimits and pushouts has all small colimits). The pushouts can be computed explicitly as follows. Let I A (resp. I B ) be the kernel of the map We have seen in the beginning of Section C.21 that the category compl. gr-dg R-Mod is a cofibrantly generated model category with generating cofibrations I ∞ 0 and generating acyclic cofibrations J ∞ 0 . In order to apply Theorem C.22, we have to understand

. Then, we study cT I-cell complexes, with

q∈N in order to describe cofibrant objects. The classes F O I ∞ 0 , resp. F O J ∞ 0 , will be the generating cofibrations, resp. generating acyclic cofibrations.

, where (Z, d Z ) is a complete grdg module equal to a direct sum of complete gr-dg modules Ẑ0,∞ q,n . In particular, (Z, d Z ) is a free module and it is gr-acyclic (that is to say its gr-homology is 0) and it satisfies ker(d Z ) = {0}. Explicitly, we can write

Proof. We have F O (0) = O(0). Pushouts of elements of F O J are therefore as follows O(0)

with each Ẑ0,∞ α equal to a Ẑ0,∞ q,n . Since the coproduct of free (O, d, θ)-algebras is the free (O, d, θ)-algebra on the sum of their generating modules (see the proof of Proposition C.33), the composite of two such pushouts is equal to

Hence a transfinite composition of such pushouts has the form A → A ∨ F O (Z), with Z a gr-acyclic gr-dg module whose components are free gr-dg modules Ẑ0,∞ q,n . The last identification is direct.

We call S-split operad what is defined to be Σ-split in [START_REF] Hinich | Homological algebra of homotopy algebras[END_REF]. This definition extends without modification to complete curved operads.

Theorem C.35. Let (O, d, θ) be a complete curved operad which is S-split. The category Alg(O) of (O, d, θ)-algebras is a cofibrantly generated model category with generating cofibrations F O (I ∞ 0 ) and generating acyclic cofibrations F O (J ∞ 0 ). The weak equivalences (resp. fibrations) are the maps that are graded quasi-isomorphisms (resp. strict surjections).

Proof. We apply Theorem C.22 to the free-forgetful adjunction given in Proposition C.31. By Proposition C.33, the category Alg(O) is complete and cocomplete. We have seen in the proof of Proposition C.33 that the forgetful functor # preserves filtered colimit; in particular it preserves filtered ℵ 1 -colimits. We finally have to show that # maps relative F O (J ∞ 0 )-cell complexes to weak equivalences. By Lemma C.34, a relative F O J ∞ 0 -cell complex can be written as a map j :

. By means of the description of the pushouts of (O, d, θ)-algebras given in the proof of Proposition C.33, we can compute

The functor

Gr : Filt

commutes with direct sums (see for example [Fre17, Proposition 7.3.8]) and satisfies, for gr-flat complete modules, Gr M ⊗ Gr Gr N ∼ = Gr (M ⊗N ) (see Lemma B.4). Here R is a field of characteristic 0, so any module is flat. It follows that the functor Gr commutes with the free U O-algebra functor and we get

By the proof of Theorem 4.1.1 in [START_REF] Hinich | Homological algebra of homotopy algebras[END_REF], using the fact that O is S-split, we obtain that the map Gr (j # ) is a quasi-isomorphism.

We conclude this section by computing the cofibrant objects in the model category of complete (O, d, θ)-algebras. We use the term quasi-free for a complete (O, d, θ)-algebras whose underlying module is free when we forget the predifferential.

Proposition C.36. A complete (O, d, θ)-algebra is cofibrant if and only if it is a retract of a quasi-free complete (O, d, θ)-algebra (O(S), d) / d 2 -θ ⊗ id , where S is a complete module endowed with an exhaustive filtration

of free modules such that S i-1 S i are split monomorphisms of complete modules with cokernels isomorphic to a sum of complete modules

where ξ α is in homological degree n α +1 and filtration degree q α . The predifferential d is the one of Ẑ0,∞ qα+1,nα on Ẑ0,∞ qα+1,nα and

Si = S

of free modules such that Si-1 Si are split monomorphisms of complete modules with cokernels isomorphic to a sum of complete modules

where ξ α is in homological degree n α + 1 and filtration degree q α and ζ α is in homological degree n α and filtration degree q α + 1. The predifferential d is such that d(ξ α )+ζ α ∈ O( Si-1 ), d i-1 , and d(ζ α ) is obtained by the fact that d 2 (ξ α ) = θ⊗ξ α . C.38. Homotopy category of algebras over a curved operad. We now come to the study of the homotopy category. We denote by Hoalg(O) the homotopy category of Alg(O). We show how a morphism of complete curved operads can provide a Quillen adjunction or a Quillen equivalence between the model category structures. Proof. From Proposition 8.5.3 in [START_REF] Hirschhorn | Model categories and their localizations[END_REF], it is enough to prove that the left adjoint functor α * preserves cofibrations and acyclic cofibrations. By means of the fact that (acyclic) cofibrations are retract of relative I ∞ 0 -cell (resp. J ∞ 0 -cell) complexes (see Proposition 11.2.1 in [START_REF] Hirschhorn | Model categories and their localizations[END_REF]), it is enough to prove the result on generating (acyclic) cofibrations. We have α * (O(0), 0) ∼ = O (0) since

). Similarly, we show that α * (F O ( Ẑ0,∞ q,n )) ∼ = F O ( Ẑ0,∞ q,n ) by means of the fact that the ideal