arxiv: v2 [math.kt] 14 Jul 2017

Transcription

1 When can a formality quasi-isomorphism over Q be constructed recursively? V. A. Dolgushev and G.E. Schneider arxiv: v [math.kt] Jul 07 Abstract Let O be a differential graded (possibly colored) operad defined over rationals. Let us assume that there exists a zig-zag of quasi-isomorphisms connecting O K to its cohomology, where K is any field extension of Q. We show that for a large class of such dg operads, a formality quasi-isomorphism for O exists and can be constructed recursively. Every step of our recursive procedure involves a solution of a finite dimensional linear system and it requires no explicit knowledge about the zig-zag of quasiisomorphisms connecting O K to its cohomology. Introduction A differential graded (dg) operad O is formal if there exists a sequence of quasi-isomorphisms (of dg operads) O... H (O) connecting O to its cohomology H (O). Formality for dg operads (and other algebraic structures) is a subtle phenomenon. Currently, there are no effective tools for determining whether a given dg operad is formal or not. Moreover, in various interesting examples (including the braces operad Br [9], [8], [], its framed version CBr [], [5] and the Kontsevich-Soibelman operad KS [9], [6]) all known proofs of formality require transcendental tools [7], [0], [], [6]. In this paper we consider a dg operad O defined over the field Q of rationals and assume that O Q K is formal for some field extension K of Q. We consider a cobar resolution Cobar(C) H (O) of H (O) and show that, under some mild conditions on O and on the resolution Cobar(C), there is an explicit algorithm which allows us to produce a formality quasi-isomorphism Cobar(C) O (.) overqrecursively. Theproofthatthisalgorithmworksisbasedontheexistenceofasequence of quasi-isomorphisms connecting O Q K to its cohomology. However, no explicit knowledge about this sequence of quasi-isomorphisms is required at any step of this algorithm. We would like to mention that the existence of a formality quasi-isomorphism (.) over Q (from the existence of a formality quasi-isomorphism over an extension of Q) was proved in paper [5] by F. Guillén Santos, V. Navarro, P. Pascual, and A. Roig. More precisely, see Theorem 6.. in loc. cit. Our paper is organized as follows. In Section., we recall some basic concepts and fix the notational conventions. In Section, we introduce the concept of an MC-sprout, In concrete examples, K = R or C. Recall that O is formal if and only if there exists a quasi-isomorphism of dg operads (.).

2 which can be viewed as an approximation to a formality quasi-isomorphism (.). Using this concept, we formulate the main theorem of this paper (see Theorem.) and deduce it from a technical lemma (see Lemma.7). Section is devoted to the proof of this lemma and Appendix A contains the proof of a useful lifting property for cobar resolutions. Finally, Appendix B displays a third MC sprout in Conv(Ger,Br) which can be extended to a genuine MC element in Conv(Ger,Br). This MC sprout was found using the software [6] developed by the authors. We should mention that our construction is inspired by Proposition 5.8 from classical paper [] by V. Drinfeld. Acknowledgements: The authors were partially supported by the NSF grant DMS The authors are thankful to Sergey Plyasunov and Justin Y. Shi for showing them how to use the Python module pickle. This module was used in the package [6] related to this paper.. Preliminaries In this paper, K is any field extension of the field Q of rational numbers and := Q. For a cochain complex V, the notation Z(V) is reserved for the subspace of cocycles. The degree of a vector v in a graded vector space (or a cochain complex) V is denoted by v. The notation s (resp. s ) is reserved for the operator which shifts the degree up by (resp. down by ), i.e. (sv) = V, (s V) = V +. The notation S n is reserved for the symmetric group on n letters. The abbreviation dg always means differential graded. For a dg Lie algebra L, Curv is the map Curv : L L defined by the formula Curv(α) := α+ [α,α]. (.) For example, Maurer-Cartan (MC) elements of L are precisely elements of the zero locus of Curv. Let us recall [], [], [6] that for every filtered dg Lie algebra L (in the sense of [, Section ]), the set of MC elements of L can be upgraded to a groupoid with MC elements being objects. Recall that two MC elements α, α of a filtered dg Lie algebra L are isomorphic (in this groupoid) if there exists a degree 0 element ξ L such that α = exp([ξ, ])α exp([ξ, ]) [ξ, ] ξ, (.) where the expressions exp([ξ, ]) and exp([ξ, ]) [ξ, ] are defined via the corresponding Taylor series 5. See also Theorem and Corollary. in D. Bar-Natan s beautiful paper []. This groupoid is actually a truncation of an -groupoid (i.e. a fibrant simplicial set). However, for our purposes, we will not need cells of dimension. 5 These series are well defined because L = F L and L is complete with respect to the filtration.

3 In this paper, we will freely use the language of (colored) operads [5], [], []. For a coaugmented cooperad C, the notation C is reserved for the cokernel of the coaugmentation. For a dg pseudo-cooperad P, we denote by P the dg cooperad which is obtained from P by formally adjoining the counit. Clearly, for every coaugmented cooperad C, the cooperad C is canonically identified with C. The notation Ξ is reserved for the ordinal of colors. A (Ξ-colored) collection V is a family of cochain complexes {V(q)} q indexed by all Ξ-colored corollas q (with the standard labeling). For every Ξ-colored corolla q, V(q) is equipped with the left action of the group S k (q) S k (q) S km(q), where m is the total number of colors of the incoming edges and k i (q) is the number of incoming edges of the i-th color. For example, if the ordinal of colors Ξ is the singleton, then a collection is simply a family of cochain complexes {V(n)} n 0, where each V(n) is equipped with a left action of S n. The notation Coll is reserved for the category of Ξ-colored collections of graded vector spaces. For objects Q,Q of Coll the notation Hom Coll (Q,Q ) is reserved for the vector space of homomorphisms (of all degrees) from the collection Q to the collection Q. For example, if the ordinal of colors is the singleton, then Hom Coll (Q,Q ) := n 0Hom Sn ( Q (n),q (n) ), (.) where ( Hom Sn Q (n),q (n) ) = (Hom ( Q (n),q (n) )) S n and Hom ( Q (n),q (n) ) is the inner hom in the category of graded vector spaces. For a dg pseudo-cooperad P and a dg operad O, the notation Conv(P,O) is reserved for the convolution Lie algebra [, Section.], [5, Section ]. The underlying graded vector space of Conv(P,O) is Hom Coll (P,O) and the Lie bracket is given by the formula [f,g] := f g ( ) f g g f, where f g is the pre-lie multiplication 6 of f and g defined in terms of comultiplication on P and multiplications on O. Let us recall [5, Proposition 5.] that MC elements of Conv(P,O) are in bijection with operad morphisms F : Cobar(P ) O. In particular, the operad morphism corresponding to a MC element α Conv(P,O) will be denoted by F α. In this paper, we assume that Condition. Every dg pseudo-cooperad P carries an ascending filtration 0 = F 0 P F P F P F P... (.5) which is compatible with the differential and the comultiplications in the following sense: 6 See eq. (.) in []. P ( F m P ) F m P, (.6)

4 t ( F m P ) m + +m k =m F m P F m P F m k P, (.7) where t is a (Ξ-colored) planar tree with the set of leaves {,,...,n} and k nodal vertices. Moreover, P is cocomplete with respect to filtration (.5), i.e. P = m F m P. (.8) Remark. Cobar resolutions Cobar(P ) for which P satisfies Condition. may be thought of as analogs of Sullivan algebras from rational homotopy theory. Let us also mention that, due to [, Proposition 8], such dg operads Cobar(P ) are cofibrant. For example, if the ordinal of colors Ξ is the singleton, and P(0) = P() = 0, then the filtration by arity { F m P(n) if n m+ P(n) := (.9) 0 otherwise. satisfies Condition.. Condition. guarantees that, for every dg operad O, the dg Lie algebra is equipped with the complete descending filtration: Conv(P, O) (.0) Conv(P,O) = F Conv(P,O) F Conv(P,O)... F m Conv(P,O) := { f Conv(P,O) f F m P = 0}. (.) In other words, Conv(P,O) is a filtered dg Lie algebra in the sense of [, Section ]. The recursive construction of formality quasi-isomorphisms Let O be a dg operad and H be the cohomology operad for O: H := H (O). We assume that H admits a cobar resolution Cobar(P ) where P is a dg pseudo-cooperad satisfying Condition.. Due to Corollary A. from Appendix A, the problem of constructing a zig-zag of quasiisomorphisms (of dg operads) connecting O to H is equivalent to the problem of constructing a single quasi-isomorphism (of dg operads) F : Cobar(P ) O. The latter problem is, in turn, equivalent to the problem of constructing a MC element α Conv(P,O) whose corresponding morphism F α : Cobar(P ) O is a quasi-isomorphism of dg collections. In this paper, we consider a dg operad O and a cobar resolution ρ : Cobar(P ) We assume that the pair (P, O) satisfies the following conditions: H := H (O). (.)

5 C The dg pseudo-operad P is equipped with an additional grading P = k G k P, G 0 P = 0 (.) whichiscompatiblewiththedifferential P andthecomultiplications t inthefollowing sense: P (G k P) G k P, (.) t (G m P) G r P G r P... G rq P, (.) r +..+r q=m where t is (Ξ-colored) tree with q nodal vertices. C G k P is finite dimensional for every k and the graded components of O(q) are finite dimensional for every Ξ-colored corolla q. C The operad H is generated by ρ(sg P) and ρ sg k P = 0 k. (.5) Example. Suppose that the ordinal of colors Ξ is the singleton, P(0) = P() = 0 and the differential P = 0. Then the grading by arity { G k P(n) if n = k +, P(n) := (.6) 0 otherwise. satisfies Condition C. Moreover, if P(n) is finite dimensional for all n and each graded component of O(n) is finite dimensional, then Condition C is also satisfied. In particular, for P = Ger the Koszul dual of the Gerstenhaber operad, and O = Br the braces operad [9], [0], all these assumptions are met. Remark. Conditions C, C, and C are also satisfied for the pairs (P BV,CBr) and (calc,ks), where P BV is the dg pseudo-cooperad used for the cobar resolution [] of the operad BV governing BV-algebras and calc shows up in the cobar resolution for the operad governing calculus algebras [7], [8, Definition ]. Remark. Clearly, every dg pseudo-operad P with a grading G P satisfying the above conditions has the ascending filtration F m P := k mg k P (.7) and this filtration satisfies Condition.. Remark. If we forget about the differential P on P, every G k P can be viewed as a collection of graded vector spaces. So we will tacitly identify elements in Hom Coll (G k P,O) with elements f Conv(P,O) which satisfy the condition f G 0 for all m k. It is m P clear that Hom Coll (G k P,O) is closed with respect to the differential O on O for every k. However, for the map f f P, we have f Hom Coll (G k P,O) f P Hom Coll (G k+ P,O). 5

6 Remark.5 In many examples, the gradation on the (dg) pseudo-operad P from Condition C is precisely the syzygy gradation [, Appendix A], [, Sections., 7.]. Let F be an arbitrary morphism of dg operads F : Cobar(P ) K O K and π H be the canonical projection π H : Z(O) H from the sub-operad Z(O) := O ker( ) to H. Since every vector in sg P is a cocycle in Cobar(P ) the restriction F sg P map of dg collections F : sg P sg P Z(O). We claim that gives us a Proposition.6 If the image of π H F sg P : sg P H generates the operad H then F is a quasi-isomorphism of dg operads. The same statement holds if the base field Q is replaced by its extension K. Proof. Since all vectors in sg P are cocycles in Cobar(P ) and the sub-collection π H F(sG P) generates the operad H, the map H (F) : H ( Cobar(P ) ) H is surjective. Since each graded component of O(q) is finite dimensional for every corolla q (see Condition C), we know that each graded component of H(q) is finite dimensional for every q. On the other hand, H ( Cobar(P ) ) is isomorphic to H. Thus the proposition follows from the fact a surjective map between isomorphic finite dimensional vector spaces is an isomorphism. Since this proof works for any base field (of characteristic zero), the last assertion in the proposition is obvious.. MC-sprouts in Conv(P, O) Definition.7 Let F Conv(P,O) be the descending filtration on Conv(P,O) coming from the ascending filtration (.7) on P and n be an integer. An n-th MC-sprout in Conv(P,O) is a degree element α Conv(P,O) such that Curv(α) F n+ Conv(P,O) or equivalently Curv(α)(X) = 0, X G n P. (.8) 6

7 Remark.8 Since P is graded, every element α Conv(P,O) can be uniquely written as α = α k, k= α k Hom Coll (G k P,O). Moreover, since α k for k > n do not contribute to the left hand side of (.8), we may only consider n-th MC-sprouts of the form α = n α k, k= α k Hom Coll (G k P,O). Due to our conditions on O and P, any such MC-sprout is determined by a finite number of coefficients. Example.9 Let α be a genuine MC element of Conv(P,O). The n-th truncation of α is the degree element α [n] of Conv(P,O) defined by the formula { α [n] α(x) if X G n P, (X) = (.9) 0 otherwise. Clearly, the n-th truncation of any MC element α of Conv(P,O) is an n-th MC-sprout in Conv(P,O). It is also easy to see that the same formula (.9) defines an n-th MC-sprout in Conv(P,O) provided α is an m-th MC-sprout and m n. We also call α [n] the n-th truncation of α even if α is not a genuine MC element of Conv(P,O) but merely an m-th MC-sprout for m n. Example.0 Let Br be the braces operad and T, T, T,, T and T,, be the brace trees shown in figures. and.. Let α be the following vector in Br() Λ Ger() Br() Λ Ger(): α := T b b + T {b,b }+ T, b {b,b } T {b,{b,b }} (.0) 6 T {b,{b,b }} 6 T,, {b,{b,b }} T,, {b,{b,b }}. A direct computation shows that Av(α ) is a second MC-sprout in Conv(Ger,Br). Here Av is the operator n Br(n) Λ Ger(n) ( Hom Sn Ger (n),br(n) ) n defined in eq. (C.) in [0, Appendix C] and, for α, we use the notation for vectors in Λ Ger(n) from [0, Section.]. Since all vectors in sg P are cocycles in Cobar(P ), α(g P) Z(O) for every MC-sprout α Conv(P,O). Let us observe that 7

8 Fig..: The brace trees T,T, and T,, respectively Fig..: The brace trees T, and T,,, respectively Proposition. If H (O) = H and α H is the MC element in Conv(P,H) corresponding to (.), then there exists a second MC-sprout α Conv(P,O) such that the diagram Z(O) α π H G P α H H (.) commutes. Proof. Since we work with vector spaces, there exist splittings η q : H(q) Z(O(q)) (.) of the projections π H : Z(O(q)) H(q) for every Ξ-colored corolla q. Moreover, since our base field has characteristic zero, we can use the standard averaging operators (for products of symmetric groups) and turn the splittings (.) into a map of collections s : H Z(O) (.) for which π s = id H. (.) The similar argument, implies that there exists a map of collections s : ker ( Z(O) H ) O (.5) which splits O : O ker ( Z(O) H ). By setting 7 α () := s α H (.6) we get a first MC-sprout in Conv(P,O) for which 7 Note that, due to (.5), α () (X) = 0 for every X G P. π H α () = α H. (.7) 8

9 Let us observe that, since α () lands in Z(O), the assignment gives us a map of collections: X G P α () P (X)+α () α () (X) G P Z(O). (.8) Since π H is compatible with the operadic multiplications, the composition of (.8) with π H sends X G P to α H ( P X)+α H α H (X) H (.9) On the other hand, the vector (.9) is zero since α H satisfies the MC equation and H has the zero differential. Since the composition of (.8) with π H is zero, the map (.8) lands in ker ( Z(O) H ) and hence (.8) can be composed with the splitting (.5). Setting α () (X) if X G P α(x) = s ( α () P (X)+α () α () (X) ) if X G P (.0) 0 otherwise we get a degree element α which satisfies O α(x)+α( P X)+α α(x) = 0 X G P G P. In other words, α is a second MC-sprout in Conv(P,O). Equations (.7) and (.0) imply that the diagram (.) commutes. Remark. Let n be an integer and α = α +α + +α n, α k Hom Coll (G k P,O) be an n-th MC-sprout in Conv(P,O). Proposition.6 implies that, if α is a truncation of a genuine MC element β Conv(P,O) and the diagram (.) commutes then the corresponding map of dg operads F β : Cobar(P ) O is a quasi-isomorphism. Thus, for our purposes, it makes sense to consider only MC-sprouts in Conv(P, O) for which the diagram (.) commutes. Remark. DuetoProposition., asecondmc-sproutαexistsevenifo isnon-formal. Of course, if O is non-formal, such α is not a truncation of any MC element in Conv(P,O).. The main theorem Let, as above, O be a dg operad defined over Q, H := H (O), and ρ : Cobar(P ) H be a cobar resolution for H, where P is a dg pseudo-cooperad. The main result of this paper is the following theorem. 9

10 Theorem. Let us assume that the pair (O,P) satisfies Conditions C, C, C, and O K is formal for some field extension K of Q. Let, furthermore, n be an integer and α = α + +α n Conv(P,O), α k Hom Coll (G k P,O) (.) be an n-th MC-sprout in Conv(P,O) for which the diagram (.) commutes. Then there exists an (n+)-th MC-sprout α such that α k = α k k < n. Moreover, the unknown vectors α n and α n+ can be found by solving a finite dimensional linear system. Theorem. has the following immediate corollaries: Corollary.5 Under the above conditions on the pair (O,P), a quasi-isomorphism of operads Cobar(P ) O (.) can be constructed recursively. Moreover the algorithm for constructing (.) requires no explicit knowledge about a sequence of quasi-isomorphisms (of operads) connecting O K to H K. Corollary.6 If the assumptions of Theorem. hold and α = α + +α n Conv(P,O), α k Hom Coll (G k P,O) is an n-th MC-sprout in Conv(P, O) for which the diagram (.) commutes, then there exists a genuine MC element α MC Conv(P,O) whose (n )-th truncation α [n ] MC coincides with α + +α n. The proof of Theorem. is based on the following technical statement: Lemma.7 Let n be an integer and α = α +α + +α n, α k Hom Coll (G k P,O) be an n-th MC-sprout in Conv(P,O) for which the diagram (.) commutes. Then there exists a genuine MC element β Conv(P,O K) such that where β [n ] is the (n )-th truncation of β. α +α + +α n = β [n ],. Theorem. follows from Lemma.7 Lemma.7 is proved in Section below. Here we show that Theorem. is a consequence of Lemma.7. Our goal is to find α := α + α + + α n+, α k Hom Coll (G k P,O) 0

11 satisfying and So we set α k = α k, k n Curv( α)(x) = 0 X G n+ P. (.) α k := α k, k n (.) and observe that the unknown terms α n and α n+ show up only in the equations O α n (X)+α n ( P X)+ O α n+ (Y)+ α n ( P Y)+[α, α n ](Y)+ i+j=n, i,j [α i,α j ](X) = 0 X G n P, (.5) i+j=n+ i,j<n [α i,α j ](Y) = 0 Y G n+ P. (.6) Moreover, the unknown terms enter these equations linearly. Due to the finite dimensionality condition (see C), equations (.5) and (.6) can be viewed as a finite dimensional inhomogeneous linear system for the unknown vectors α n and α n+. Thanks to Lemma.7, there exists a genuine MC element in Conv(P,O K) such that β = k= β k β k = α k, β k Hom Coll (G k P,O K) k n. Therefore, the linear system corresponding to equations (.5) and (.6) has a solution over the field K. Thus, since both the coefficient matrix and the right hand side of this linear system are defined over Q, we have a solution over Q. Finally, equation Curv( α)(x) = 0 is satisfied for every X G n P, since α k := α k for k n and the original α is an n-th MC-sprout. The proof of Lemma.7 Let us first prove the following statement. Proposition. Let n be an integer and α be an n-th MC sprout in Conv(P,O) for which the diagram (.) commutes. Then there exists a MC element in Conv(P,O K) such that β = β k, k= β k Hom Coll (G k P,O K) β G P = α G P. (.)

12 Remark. Proposition.6 and Condition C imply that the operad morphism F β : Cobar(P ) K O K corresponding to the above MC element β is a quasi-isomorphism. Proof of Proposition.. Since O K is formal, there exists a quasi-isomorphism of dg operads F : Cobar(P ) K O K (.) and Both F and ρ (.) induce the isomorphisms of operads H (F) : H ( Cobar(P ) K ) H K (.) H (ρ) : H ( Cobar(P ) K ) H K. (.) Hence there exists (a unique) operad automorphism such that T : H K H K T H (F) = H (ρ). (.5) Due to Corollary A. from Appendix A, there exists a map of operads such that the diagram T : Cobar(P ) K Cobar(P ) K Cobar(P ) K ρ T Cobar(P ) K ρ H K T H K (.6) commutes up to homotopy. Since ρ T is homotopic to T ρ, ρ is a quasi-isomorphism, and T is an automorphism of operads, T is a quasi-isomorphism of dg operads. Hence so is the composition F := F T : Cobar(P ) K O K. (.7) Again, since diagram (.6) commutes up to homotopy, we have Combining (.5) with (.8), we deduce that H ( T) = H (ρ) T H (ρ). (.8) H ( F) = H (F) H ( T) = T H (ρ) H (ρ) T H (ρ) = H (ρ). In other words, both F and ρ induce the same map at the level of cohomology. Let us denote by β the MC element in Conv(P,O K) corresponding to the map F. Since the diagram (.) for α commutes and the maps F, ρ induce the same map at the level of cohomology, we have π H ( β α) G P = 0,

13 where π H is the canonical projection from Z(O) H. Hence, composing ( β α) G with a splitting (.5), we get a degree 0 map of collections P such that h := s ( β α) : G P K O K (.9) β(x) α(x) = O h(x) X G P or equivalently 8 β(x) α(x) = O h(x)+h P(X) X G P. (.0) Let us extend h to the degree zero element in Conv(P,O K) by setting h G > P = 0, and form the new MC element of Conv(P,O K) β := exp([h, ]) β exp([h, ]) [h, ] h, (.) where is the differential on Conv(P,O K). Equation (.0) and Condition C imply that equation (.) holds. So the desired statement is proved. Note that Proposition. already implies the statement of Lemma.7 for n =. So we can now assume that n. For this case, Lemma.7 is a consequence of the following statement. Proposition. Let n > m be integers and α = n α k, k= α k Hom Coll (G k P,O) be an n-th MC-sprout in Conv(P, O) for which the diagram (.) commutes. Furthermore, let β = β k Hom Coll (G k P,O K) k= be a genuine MC element in Conv(P,O K) such that β k β k = α k k m. (.) Then there exists a MC element β = β k βk Hom Coll (G k P,O K) k= of Conv(P,O K) such that β k = α k for every k m. 8 Recall that P G P = 0.

14 . The sub-spaces Der (t) Der ( Cobar(P ) ) Let us recall that, as the operad in the category of graded vector spaces 9, Cobar(P ) is the free operad generated by the collection sp. So, using the grading on the dg pseudo-operad P, we introduce the following grading on Cobar(P ): Cobar(P ) = q 0 Cobar(P ) (q), (.) where Cobar(P ) (q) is spanned by operadic monomials in sx sg k P, sx sg k P,... such that (k i ) = q. i For example, Cobar(P ) (0) is precisely OP(sG P) and Cobar(P ) () is spanned by operadic monomials in OP(sG P sg P) for which a vector in sg P appears exactly once. This grading is clearly compatible with the operadic multiplications on Cobar(P ). In addition, Conditions C and C imply that ( Cobar(P ) (q)) Cobar(P ) (q ) q 0, (.) and the map is onto. We claim that ρ Cobar(P ) (q) = 0 q, (.5) ρ Cobar(P ) (0) : Cobar(P ) (0) H (.6) Claim. There exist maps of collections (for q ) of degree and a degree map of collections h q : Z ( Cobar(P ) (q)) Cobar(P ) (q+) (.7) h 0 : ker ( Cobar(P ) (0) ρ H ) Cobar(P ) () (.8) such that h q (Y) = Y Y Z ( Cobar(P ) (q)), q, h 0 (Y) = Y Y ker ( Cobar(P ) (0) ρ H ). Proof. Since ρ is a quasi-isomorphism, the existence of the desired maps follows from (.), (.5), (.6) and the fact that we work with collections of vector spaces over a field of characteristic zero. Let us denote by α id the MC element of Conv(P,Cobar(P )) corresponding to id : Cobar(P ) Cobar(P ) and consider Conv(P,Cobar(P )) (.9) 9 In this subsection, we assume that the base field is any field of characteristic zero.

15 as the cochain complex with the differential + P + [α id, ], where (resp. P ) is the differential coming from the one on Cobar(P ) (resp. P). Since Cobar(P ) is freely generated by sp, the assignment D D sp s gives us an isomorphism of graded vector spaces Der ( Cobar(P ) ) = Conv(P,Cobar(P )) (.0) with the obvious shift: every degree d derivation D corresponds to a degree d+ vector in Conv(P,Cobar(P )). Using the grading (.) on Cobar(P ), we introduce the following subspaces of (.9) for t Z L (t) := { f Conv(P,Cobar(P )) f(g q P) Cobar(P ) (q )+t, q }. (.) Let us denote by {Der (t) } t Z the corresponding subspaces in Der ( Cobar(P ) ), i.e. Der (t) := { D Der ( Cobar(P ) ) D sp s L (t)}. (.) It is clear that the commutator [, ] on Der ( Cobar(P ) ) satisfies Moreover, due to (.) [, ] : Der (t ) Der (t ) Der (t +t ) t,t Z. (.) where is the full differential on Cobar(P ). Let us prove the following statement [, ] : Der (t) Der (t ) t Z, (.) Claim.5 Let t be a negative integer and D be a degree 0 derivation in Der (t). Then D acts locally nilpotently on Cobar(P ), i.e. for every X Cobar(P ), there exists an integer m such that D m (X) = 0. Proof. Since every vector in Cobar(P ) is a finite linear combination of operadic monomials in sp, it suffices to prove that for every X sp, there exists m such that D m (X) = 0. Again, since every X sp is a linear combination of vectors in sg k P for various k s, we may assume without loss of generality, that X sg k P for some k. By definition of Der (t), we have D m (X) Cobar(P ) ((k )+mt). So the desired statement follows from the fact that Claim.5 implies that Cobar(P ) (r) = 0 r < 0. 5

16 Claim.6 For every negative integer t, every -closed degree degree 0 derivation D Der (t) Der ( Cobar(P ) ) gives us the automorphism of the dg operad Cobar(P ) exp(d) : Cobar(P ) Proof. Claim.5 implies that the formal Taylor series exp(d) := id+ k = Cobar(P ). k! Dk is a well defined automorphism of the graded operad OP(sP). SinceDis -closed, thisautomorphismisalsocompatiblewiththedifferentialoncobar(p ). Let us now prove the following technical statement: Proposition.7 Let m be an integer and be a degree vector satisfying ψ Hom Coll (G m P,H) Conv(P,H) ψ P +[α H,ψ] = 0. (.5) Then there exists a degree 0 -closed derivation D Der ( m) Der ( Cobar(P ) ) such that and Proof. Since ρ D s P = ψ (.6) D(sX) = 0 X G <m P. (.7) ρ OP(sG P) : OP(sG P) H is onto (and we work with fields of characteristic zero), there exists a degree vector Ψ m Hom Coll ( G m P,OP(sG P) ) Conv ( P,Cobar(P ) ) such that ρ Ψ m (X) = ψ(x) for all X G m P. Clearly, Ψ m L ( m) and Ψ m satisfies the equation Ψ m (X)+Ψ m ( P X)+[α id,ψ m ](X) = 0 X G m P. Due to (.5), the map ( Ψm P +[α id,ψ m ] ) G m+ P : Gm+ P Cobar(P ) (0) lands in the kernel of ρ. Hence, by Claim., the map Ψ m+ (Y) := h 0 ( Ψm ( P Y)+[α id,ψ m ](Y) ) : G m+ P Cobar(P ) () satisfies Ψ m+ (Y)+Ψ m ( P Y)+[α id,ψ m ](Y) = 0 Y G (m+) P. 6

17 Therefore, the sum Ψ (m+) = Ψ m +Ψ m+ satisfies the equation Ψ (m+) (Y)+Ψ (m+) ( P Y)+[α id,ψ (m+) ](Y) = 0 Y G (m+) P. Moreover, Ψ (m+) belongs to L ( m) by construction. Let us assume that we extended Ψ (m+) to a vector (for some k ) such that Ψ (m+k) = Ψ m +Ψ m+ + +Ψ m+k, Ψ j Hom Coll ( G j P,Cobar(P ) (j m)) Ψ (m+k) (Y)+Ψ (m+k) ( P Y)+[α id,ψ (m+k) ](Y) = 0 Y G (m+k) P. (.8) Let X G m+k+ P. Using (.8) and the MC equation for α id, we deduce that α id +α id P + [α id,α id ] = 0 ( Ψ (m+k) ( P X)+[α id,ψ (m+k) ](X) ) = [α id,ψ (m+k) ]( P X)+ ( [α id,ψ (m+k) ](X) ) = [ α id +α id P, Ψ (m+k) ](X) [α id, Ψ (m+k) +Ψ (m+k) P ](X) = ( [α id,[α id,ψ (m+k) ]] [[α id,α id ],Ψ (m+k) ] ) (X) = 0. In other words, the map ( Ψ (m+k) P +[α id,ψ (m+k) ] ) G m+k+ P : Gm+k+ P Cobar(P ) (k) lands in Z(Cobar(P ) (k) ). Hence, by Claim., the map Ψ m+k+ (X) := h k ( Ψ (m+k) ( P X)+[α id,ψ (m+k) ](X) ) : G m+k+ P Cobar(P ) (k+) satisfies the equation Ψ m+k+ (X)+Ψ (m+k) ( P X)+[α id,ψ (m+k) ](X) = 0 X G m+k+ P. (.9) Therefore the vector satisfies the equation Ψ (m+k+) := Ψ (m+k) +Ψ m+k+ = Ψ m +Ψ m+ + +Ψ m+k+ Ψ (m+k+) (X)+Ψ (m+k+) ( P X)+[α id,ψ (m+k+) ](X) = 0 X G (m+k+) P. (.0) Moreover, since Ψ m+k+ L ( m), the vector Ψ (m+k+) also belongs to L ( m). This inductive argument shows that there exists a degree vector Ψ = Ψ j, j=m Ψ j Hom Coll ( G j P,Cobar(P ) (j m)) 7

18 such that and Ψ+Ψ P +[α id,ψ] = 0 (.) ρ Ψ m = ψ. (.) Since ρ(z) = 0 for every Z Cobar(P ) (t) if t, equation (.) implies that Equation (.) implies that the (degree 0) derivation D Der ( m) Der ( Cobar(P ) ) ρ Ψ = ψ. (.) corresponding to Ψ is -closed. Furthermore, equation (.) implies (.6). Finally, equation (.7) is a consequence of Ψ G <m P = 0.. The proof of Proposition. We will now use Proposition.7 to prove Proposition.. Since α is an n-th MC-sprout and β is a genuine MC element of Conv(P,O K), we have and O β m +β m P + O α m +α m P + m k= m k= O β m+ +β m P +[β,β m ]+ O α m+ +α m P +[α,α m ]+ β k β m k = 0, (.) α k α m k = 0, (.5) m k= m k= Subtracting (.5) from (.) and using (.), we get O (β m α m ) = 0. β k β m+ k = 0, (.6) α k α m+ k = 0. (.7) In other, words β m α m is a map from G m P to Z(O K). Let ψ m := π H (β m α m ) Conv(P,H K). (.8) Subtracting (.7) from (.6) and using (.) again, we get (β m α m ) P +[α,β m α m ] = O (β m+ α m+ ). (.9) 8

19 Next, we observe that both sides of (.9) are maps which land in Z(O K). So applying π H to both sides of (.9) and using π H α = α H, we deduce that ψ m P +[α H,ψ m ] = 0. In other words, ψ m is a cocycle in the cochain complex Conv(P,H K) with the differential P +[α H, ]. Due to Proposition.7, there exists a -closed degree zero derivation D Der ( m) Der ( Cobar(P ) K ) such that and ρ D s P = ψ m (.0) D(sX) = 0 X G <m P. (.) Thanks to Claim.6, D can be exponentiated to the automorphism exp( D) of the dg operad Cobar(P ) K. Let F β be the quasi-isomorphism of dg operads Cobar(P ) K O K corresponding to the MC element β. Due to (.), the quasi-isomorphism F := F β exp( D) : Cobar(P ) K O K satisfies Furthermore, F β exp( D)(sX) = F β (sx) X G <m P. F β exp( D)(sX) F β (sx) Z(O K) X G m P. Using equations π H β = α H and (.0), we deduce that ( π H Fβ exp( D)(sX) F β (sx) ) = ψ m (X). Thus the MC element β = βk Hom Coll(G k P,O K) corresponding to F has these properties: βk = β k (= α k ) k < m, k= β k and or equivalently (βm β m )(X) Z(O) X G m P π H (βm β m )(X) = ψ m X G m P π H (βm α m )(X) = 0 X G m P. (.) 9

20 Hence, using the splitting (.5), we define the following degree 0 vector which satisfies ξ Hom Coll (G m P,O K) ξ(x) := s (β m α m )(X) X G m P, (.) The desired MC element β is defined by the formula β m (X) = α m(x)+ O ξ(x). (.) β = exp([ξ, ])β Indeed, since ξ(x) = 0 for all X G <m P, Moreover, equation (.) implies that Thus Proposition. is proved. exp([ξ, ]) [ξ, ] β k = β k = α k k < m. β m = α m. A The lifting property for cobar resolutions Let us recall that the functor Conv(P,?) preserves quasi-isomorphisms: Proposition A. If P is a dg pseudo-operad satisfying Condition. and f : A B is a quasi-isomorphism of dg operads, then the restriction of f : Conv(P,A) Conv(P,B) to F m Conv(P,A) is a quasi-isomorphism of dg Lie algebras ξ. f FmConv(P,A) : F m Conv(P,A) F m Conv(P,B) (A.) for every m. Proof. This statement was proved in [5, Section.] for non-colored operads under the assumption that P has the zero differential. Here we will give the proof of the more general statement. Since f is compatible with the Lie brackets, we may forget about the Lie brackets on F m Conv(P,A) and F m Conv(P,B) and treat both the source and the target of (A.) as cochain complexes with the differentials coming from those on P, A, and B. Since we deal with cochain complexes of vector spaces, there exists degree zero maps and degree maps g q : B(q) A(q) χ q,a : A(q) A(q), χ q,b : B(q) B(q), (A.) (A.) (A.) 0

21 such that and f g q (v) = v + B χ q,b (v)+ χ q,b B (v), v B(q) (A.5) g q f(w) = w+ A χ q,a (w)+ χ q,a A (w), w A(q), (A.6) where q is any Ξ-colored corolla and A (resp. B ) is the differential on A (resp. on B). Moreover, since our base field has characteristic zero, we can use the standard averaging operators (for products of symmetric groups) and turn the maps (A.), (A.), and (A.) into maps of collections satisfying g : B A, χ A : A A, χ B : B B, (A.7) g f = id A + A χ A +χ A A, f g = id B + B χ B +χ B B. (A.8) Inclusion (.6) guarantees that if f F m Conv(P,O) (for any dg operad O) then f P F m+ Conv(P,O). Hence the differential on the associated graded complex F k Conv(P,O) / F k+ Conv(P,O) k m (A.9) comes solely from the differential O on O. Therefore, equations in (A.8) imply that the map (A.) induces a quasi-isomorphism for the associated graded complexes: F k Conv(P,A) / F k+ Conv(P,A) k mf k Conv(P,B) / F k+ Conv(P,B). k m Thus, sincef m Conv(P,A)(resp. F m Conv(P,B))iscompletewithrespecttothefiltration F m Conv(P,A) F m+ Conv(P,A)... (resp. F m Conv(P,B) F m+ Conv(P,B)...), the map (A.) is indeed a quasi-isomorphism. (See, for example, Lemma D. from [0]). Proposition A. has the following corollaries: Corollary A. Let Ψ : A B be a quasi-isomorphism of dg operads and P be a dg pseudooperad satisfying Condition.. Then for every operad map R B : Cobar(P ) B there exists an operad map R A : Cobar(P ) A such that the diagram Cobar(P ) R A R B A Ψ B (A.0) commutes up to homotopy. Moreover, if RA is another operad map Cobar(P ) A for which Ψ R A is homotopy equivalent to R B then R A is homotopy equivalent to R A.

22 Corollary A. Let O be a dg operad defined over a field K of characteristic zero and Cobar(P ) be a cobar resolution of another dg operad Õ, where P is a dg pseudo-cooperad satisfying Condition.. Then the existence of a zig-zag of quasi-isomorphisms (of dg operads) O... Õ (A.) is equivalent to the existence of a quasi-isomorphism of dg operads F : Cobar(P ) O. (A.) Proof of Corollary A.. Due to Proposition A., the map Ψ : Conv(P,A) Conv(P,B) induced by the quasi-isomorphism Ψ : A B is a quasi-isomorphism of filtered dg Lie algebras satisfying the necessary conditions of [, Theorem.]. Therefore, there exists a MC element α A Conv(P,A) for which Ψ (α A ) is equivalent to the MC element α B Conv(P,B) corresponding to the operad map R B. Hence [5, Theorem 5.6] implies 0 that R B is homotopy equivalent to Ψ R A, where R A is the operad map Cobar(P ) A corresponding to the MC element α A. Let R A be another operad map Cobar(P ) A for which Ψ R A is homotopy equivalent to R B and α A be the MC element of Conv(P,A) corresponding to R A. Since Ψ R A is homotopy equivalent to R B, the MC elements Ψ ( α A ) and α B are isomorphic. Hence, applying Theorem [, Theorem.] once again, we conclude that α A is isomorphic to α A. Thus R A is homotopy equivalent to R A. Proof of Corollary A.. Let us denote by ρ the quasi-isomorphism ρ : Cobar(P ) Õ. (A.) Given a quasi-isomorphism F in (A.), we produce the zig-zag of quasi-isomorphisms of dg operads O F ρ Cobar(C) Õ. So the implication is obvious. To proof of the implication is based on the obvious application of the lifting property from Corollary A. and the -out-of- property for quasi-isomorphisms. B Tamarkin s Ger -structure up to arity In [6], we developed a software which implements the recursive construction of a quasiisomorphism Ger Br over rationals. 0 This theorem is proved in [5] only for non-colored operads. However, the proof can be easily generalized to the case of colored operads.

23 Let us recall that an n-th sprout in Conv(Ger,Br) is identified with a degree vector in for which n+ ( α Br(m) Λ Ger(m) ) S m m= α+ [α,α] ( Br(n+) Λ Ger(n+) ) S n+ ( Br(n+) Λ Ger(n+) ) S n+... In other words, n-th MC-sprout α involves terms in arities,,...,n+ and all terms of Curv(α) have arities n+. Using this software, we found a -th MC-sprout α. This sprout has 65 terms and the truncation α [] of α is shown in figures B., B., and B.. Due to Corollary.6, there exists a genuine MC element α MC Conv(Ger,Br) such that α [] = α [] MC. In other words, the truncation α [] shown in figures B., B., and B. can be extended to a genuine MC element in Conv(Ger,Br). We would like to remark that, if we subtract the blue terms (in figure B.) from α [], then the resulting degree element α will still be a third MC-sprout. However, we proved that α is not a truncation of any -th MC-sprout in Conv(Ger,Br). So α cannot be extended to a genuine MC element in Conv(Ger,Br). The verification of this fact on a modern MacAir using [6] took approximately 5 hours.

24 {b,b } + b b + b {b,b } {b,{b,b }} 6 {b,{b,b }} {b,{b,b }} {b,{b,b }} b {b,{b,b }} b {b,{b,b }} 6 b {b,{b,b }} b {b,{b,b }} + {b,b }{b,b } + {b,b }{b,b } + {b,b }{b,b } + {b,b }{b,b } + {b,b }{b,b } + {b,b }{b,b } + 6 {b,b }{b,b } + 6 {b,b }{b,b } + 6 {b,b }{b,b } {b,{b,{b,b }}} {b,{b,{b,b }}} 5 8 {b,{b,{b,b }}} 7 0 {b,{b,{b,b }}} 6 {b,{b,{b,b }}} 7 60 {b,{b,{b,b }}} {b 6,{b,{b,b }}} 0 {b,{b,{b,b }}} {b 9,{b,{b,b }}} 7 60 {b,{b,{b,b }}} 70 {b,{b,{b,b }}} 57 0 {b,{b,{b,b }}} 8 {b,{b,{b,b }}} 80 {b,{b,{b,b }}} 8 {b,{b,{b,b }}} 6 {b,{b,{b,b }}} 5 {b,{b,{b,b }}} 70 {b,{b,{b,b }}} {b,{b,{b,b }}} {b,{b,{b,b }}} Fig. B.: The first part of α

25 + 7 {b,{b,{b,b }}} + 5 {b,{b,{b,b }}} + 6 {b,{b,{b,b }}} + 5 {b,{b,{b,b }}} + 8 {b,{b,{b,b }}} + {b,{b,{b,b }}} + 8 {b,{b,{b,b }}} {b,{b,{b,b }}} + {b,{b,{b,b }}} + 88 {b,{b,{b,b }}} 70 {b,{b,{b,b }}} {b,{b,{b,b }}} 88 {b,{b,{b,b }}} + 7 {b,{b,{b,b }}} 7 {b,{b,{b,b }}} + 6 {b,{b,{b,b }}}+ 0 {b,{b,{b,b }}} + 6 {b,{b,{b,b }}} 7 {b,{b,{b,b }}} + 7 {b,{b,{b,b }}} 9 70 {b,{b,{b,b }}} + 88 {b,{b,{b,b }}} 0 {b,{b,{b,b }}} 80 {b,{b,{b,b }}} 0 {b,{b,{b,b }}} + 0 {b,{b,{b,b }}} 6 {b,{b,{b,b }}} 7 60 {b,{b,{b,b }}} + 80 {b,{b,{b,b }}} 7 {b,{b,{b,b }}} + 7 {b,{b,{b,b }}}+ 5 {b,{b,{b,b }}} {b,{b,{b,b }}} 5 {b,{b,{b,b }}}+ 0 {b,{b,{b,b }}} 88 {b,{b,{b,b }}} 6 {b,{b,{b,b }}} + 7 {b,{b,{b,b }}} + 6 {b,{b,{b,b }}} Fig. B.: The second part of α 5

26 + 7 {b,{b,{b,b }}} 7 {b,{b,{b,b }}} + 7 {b,{b,{b,b }}} + 7 {b,{b,{b,b }}} 7 {b,{b,{b,b }}} {b 7,{b,{b,b }}} 7 {b,{b,{b,b }}} 7 {b,{b,{b,b }}} + 7 {b,{b,{b,b }}} {b,{b,{b,b }}} 70 {b,{b,{b,b }}} 6 {b,{b,{b,b }}} 7 {b,{b,{b,b }}}. Fig. B.: The last part of α References [] D. Bar-Natan, On associators and the Grothendieck-Teichmueller group. I, Selecta Math. (N.S.), (998) 8 ; arxiv:q-alg/ [] R. Campos, BV Formality, Adv. Math. 06 (07) ; arxiv: [] V.A. Dolgushev, Stable formality quasi-isomorphisms for Hochschild cochains, arxiv: [] V.A. Dolgushev and C.L. Rogers, A version of the Goldman-Millson theorem for filtered L -algebras, J. Algebra 0 (05) [5] V.A. Dolgushev and C.L. Rogers, Notes on algebraic operads, graph complexes, and Willwacher s construction, Mathematical aspects of quantization, 5 5, Contemp. Math., 58, Amer. Math. Soc., Providence, RI, 0. [6] V.A. Dolgushev and G.E. Schneider, The software for computing a quasi-isomorphism from Ger to Br, [7] V.A. Dolgushev, G.E. Schneider, and B.L. Tsygan, The Cobar resolution of the operad governing calculus algebras, in preparation. [8] V.A. Dolgushev, D.E. Tamarkin, and B.L. Tsygan, Formality of the homotopy calculus algebra of Hochschild (co)chains, arxiv: [9] V.A. Dolgushev and T.H. Willwacher, A direct computation of the cohomology of the braces operad, Forum Math. 9, (07) 65 88; arxiv:.685. [0] V.A. Dolgushev and T.H. Willwacher, Operadic twisting with an application to Deligne s conjecture, J. Pure Appl. Algebra 9, 5 (05) 9 8; arxiv:

27 [] V.G. Drinfeld, On quasitriangular quasi-hopf algebras and on a group that is closely connected with Gal(Q/Q), (Russian) Algebra i Analiz, (990) 9 8; translation in Leningrad Math. J., (99) [] B. Fresse, Homotopy of Operads & Grothendieck-Teichmueller Groups, [] I. Galvez-Carrillo, A. Tonks, and B. Vallette, Homotopy Batalin-Vilkovisky Algebras, J. Noncommut. Geom. 6, (0) [] E. Getzler, Lie theory for nilpotent L -algebras, Ann. of Math. () 70, (009) 7 0. [5] F. Guillén Santos, V. Navarro, P. Pascual, A. Roig, Moduli spaces and formal operads, Duke Math. J. 9, (005) 9 5. [6] V. Hinich, Descent of Deligne groupoids, Internat. Math. Res. Notices 5 (997) 9. [7] M. Kontsevich, Operads and motives in deformation quantization, Lett. Math. Phys. 8, (999) 5 7. [8] M. Kontsevich and Y. Soibelman, Deformations of algebras over operads and the Deligne conjecture, Proceedings of the Moshé Flato Conference Math. Phys. Stud., 55 07, Kluwer Acad. Publ., Dordrecht, 000. [9] M. Kontsevich and Y. Soibelman, Notes on A-infinity algebras, A-infinity categories and non-commutative geometry, Homological mirror symmetry, 5 9, Lecture Notes in Phys., 757, Springer, Berlin, 009; math.ra/0606. [0] P. Lambrechts and I. Volić, Formality of the little N-disks operad, Mem. Amer. Math. Soc. 0 (0) no. 079, viii+6 pp. [] J.-L. Loday and B. Vallette, Algebraic operads, Grundlehren der Mathematischen Wissenschaften, 6. Springer, Heidelberg, 0. [] J. E. McClure and J. H. Smith, A solution of Deligne s Hochschild cohomology conjecture, Contemp. Math. 9 (00) 5 9, Amer. Math. Soc., Providence, RI; math.qa/9906. [] S. Merkulov and B. Vallette, Deformation theory of representations of prop(erad)s. II, J. Reine Angew. Math. 66 (009) 7. [] D. Tamarkin, Formality of chain operad of little discs, Lett. Math. Phys. 66, - (00) [5] B.C. Ward, Cyclic A structures and Deligne s conjecture, Algebr. Geom. Topol., (0) [6] T. Willwacher, The homotopy braces formality morphism, Duke Math. J. 65, 0(06)

28 Department of Mathematics, Temple University, Wachman Hall Rm N. Broad St., Philadelphia PA, 9 USA addresses: vald@temple.edu, geoffrey.schneider@temple.edu 8