arxiv: v1 [math.qa] 10 Oct 2011

Transcription

1 UNITAL ASSOCIAHEDRA arxiv:.959v [math.qa] Oct 2 FERNANDO MURO AND ANDREW TONKS Abstract. We construct a topological cellular operad such that the algebras over its cellular chains are the homotopy unital A -algebras of Fukaya Oh Ohta Ono. Contents Introduction. Operads 2 2. Trees 2 3. Associahedra 6 4. Associahedra with units 5. Cellular chains of unital associahedra 9 References 22 Introduction The associahedra are spaces introduced by Stasheff to parametrize natural multivariate operations on loop spaces [Sta63]. These natural operations characterize connected loop spaces. This algebraic setting originated the theory of operads and their algebras [May72]. As Milnor first discovered (unpublished), the associahedra can be realized as polytopes in such a way that the operad laws are inclusions of faces. Algebras over the differential graded (DG) operad obtained by taking cellular chains on associahedra are A -algebras, i.e. strongly homotopy associative algebras. These algebras are a good replacement for non-unital DG-algebras. Bringing coherent units into the picture turned out to be a more complicated task. The homotopy coherent notion of unital DG-algebra was recently introduced by Fukaya Oh Ohta Ono in their work on symplectic geometry in a purely algebraic way [FOOO9a, FOOO9b]. The same notion arises in Koszul duality theory for DG-operads with quadratic, linear and constant relations over a field of characteristic zero [HM]. 99 Mathematics Subject Classification. 8D5, 8G55. Key words and phrases. operad, monoid, associative algebra, unit, associahedra. The authors were partially supported by the Spanish Ministry of Education and Science under the MEC-FEDER grant MTM2-583 and by the Government of Catalonia under the grant SGR The first author was also partially supported by the Andalusian Ministry of Economy, Innovation and Science under the grant FQM-573.

2 2 FERNANDO MURO AND ANDREW TONKS In this paper we construct a topological cellular operad such that the algebras over its cellular chains over any commutative ring are the homotopy unital A - algebras of Fukaya Oh Ohta Ono. The cell complexes forming this operad are therefore called unital associahedra. These cell complexes are contractible, but unlike in the non-unital case, unital associahedra are not finite-dimensional and their skeleta cannot be realized as polytopes, see for instance Figure 4.. Operads A topological operad O is a sequence of topological spaces O(n), n, together with composition laws i : O(m) O(n) O(n+m ), i m, n, and an element u O() satisfying the following relations: () (a i b) j c = (a j c) i+n b if j < i and c O(n). (2) (a i b) j c = a i (b j i+ c) if b O(m) and i j < m+i. (3) u a = a. (4) a i u = a. Let k be a commutative ring. A graded operad is similarly defined, replacing spaces by graded k-modules and the cartesian product by the usual k-linear tensor product of graded k-modules k, which follows the Koszul sign rule. Therefore the first equation must be replaced with ( ) (a i b) j c = ( ) b c (a j c) i+n b if j < i and c O(n). The other three equations do not change. The unit must have degree. A differential graded operad is defined in the same way, endowing graded k-modules with differentials. The unit must be a cycle. Any differential graded operad has an underlying graded operad. If O is a topological operad made up from cell complexes in such a way that u O() is a vertex and the composition laws are cellular maps, then the cellular chain complexes with coefficients in k, C (O(n),k), form a differential graded operad C (O,k) in the obvious way. These structures often appear in the literature under the name non-symmetric operad. We omit the adjective since we will not use any other kind of operad in this paper. 2. Trees A planted tree with leaves is a contractible finite -dimensional simplicial complex T with a set ofverticesv(t), a non-empty set ofedges E(T), a distinguished vertex r(t) V(T) called root, and a set of distinguished vertices L(T) V(T)\{r(T)} called leaves. The root and the leaves must have degree. Recall that the degree of v V(T) is the number of edges containing v. The other degree one vertices are called corks. The level of a vertex v V(T) is the distance to the root, level(v) = d(v,r(t)), with respect to the usual metric d such that the distance between two adjacent vertices {u,v} E(T) is d(u,v) =. The height ht(t) of a planted tree with leaves T is ht(t) = max v V(T) level(v).

3 UNITAL ASSOCIAHEDRA 3 A planted planar tree with leaves is a planted tree with leaves T together with a total order on V(T), called path order, satisfying the following conditions. Given two vertices v,w V(T): If v lies on the (shortest) path from r(t) to w then v w. Otherwise, assume that the path from r(t) to v coincides with the path from r(t) to w up to level n, and let v and w be the level n+ vertices on these paths. If v w then v w. The set E(T) is ordered according to the top vertex of each edge. Our definition of planar structure is equivalent to giving a local ordering on the set of descendent edges at each vertex. However the global path order is essential in what follows. All trees in this paper will be planted planar trees with leaves. The geometric realization T of a tree is depicted drawing vertices with the same level on the same horizontal line, following from left to right the order induced by the path order (see Figure ). For most purposes, the heuristic picture we should have in mind of a tree T corresponds to the space T = T \({r(t)} L(T)). T = v 5 v 6 v 8 v 9 v 4 v v3 v 2 v 7 T = v 8 v 4 v3 v v = r(t) Figure. On the left, the geometric realization of a tree T with vertices ordered by the subscript. The set of leaves is L(T) = {v 2,v 5,v 6,v 7,v 9 }. On the right, the space T, where we can see the only cork v 8. An inner vertex is a vertex which is neither a leaf nor the root, that is, it has degree > or is a cork. An inner edge is an edge whose vertices are inner. Denote I(T) E(T) the set of inner edges. Abusing terminology, we say that a non-inner edge is the root or a leaf if it contains the root or a leaf vertex, respectively. If e I(T), the quotient T/e has the same root and leaves, and T/e is depicted contracting e and moving the vertices over e one level downwards (see Figure 2). The path order is the quotient order.

4 4 FERNANDO MURO AND ANDREW TONKS T = v 8 v 4 e v3 v natural projection v 8 [e] v = T/e Figure 2. The natural projection T T/e contracting the inner edge e = {v 3,v 4 }. Morphisms in the category of trees are generated by these natural projections T T/e and by the simplicial isomorphisms preserving the root, the leaves, and the path order. Notice that there are no non-trivial automorphisms in this category. From now on we consider a skeletal subcategory by choosing exactly one tree in each isomorphism class. Since natural projections at different inner edges commute, this is a poset. Given trees T and T with p and q leaves, respectively, and i p, the tree T i T is obtained by grafting the root edge of T onto the i th leaf edge of T. The path order in V(T i T ) is obtained by inserting V(T )\{r(t )} into V(T) in place of the i th leaf vertex. 2 = Figure 3. An example of grafting. The sets T(n) of trees with n leaves, with the composition given by grafting and unit T(), form a discrete operad T. In fact T is the free operad generated by the tree of height and cork, together with the trees of height 2 with no corks, also known as corollas. C =, C =, C 2 =, C 3 =,... Figure 4. The corollas C n, n.

5 UNITAL ASSOCIAHEDRA 5 In particular, let S = {j < < j m } [n+m], where we write [k] = {,...,k}. Then grafting C successively at the positions given by S defines a function T(n+m) T(n) T T S := ((T jm C ) jm C ) j C. We say that T S is obtained by adding corks to T in the leaves at places S. Let T be a binary tree, that is, a tree in which all vertices have degree or 3. If e = {u v} E(T) is an edge such that u has degree 3 and v has degree, we define the binary tree T\e in such a way that T\e is obtained by removing v and e and deleting u in order to join the other two edges e and e incident in u. T = e e 2 e 3, T \e =, T \e 2 =, T \e 3 =. Figure 5. For the tree T, we illustrate the operation T \e i for all edges e i whose top vertex has degree. The number ( of binary trees with n leaves and no corks is the Catalan number C n = 2n 2 n n ). Such a tree has n 2 inner edges. More generally, there are ( n+m ) Cn+m binarytreeswithnleavesandmcorks,andsuchatreehas2m+n 2 m inner edges. leaves Figure 6. Binary trees with up to four leaves and no corks.

6 6 FERNANDO MURO AND ANDREW TONKS leaves 2 3 corks 2 3 Figure 7. Binary trees such that the number of leaves plus the number of corks does not exceed three. 3. Associahedra We present here the classical associahedra, following first the Boardman Vogt cubical construction [BV73], and then describing the polytope cellular structure.

7 UNITAL ASSOCIAHEDRA 7 Recallthatthepositiveandnegativefaces ofthehypercube[,] n are, i n, i : [,]n [,] n, (x,...,x n ) (x,...,x i,,x i,...,x n ), + i : [,]n [,] n, The degeneracies are, i n, The connections are, i < n, (x,...,x n ) (x,...,x i,,x i,...,x n ). π i : [,] n [,] n, (x,...,x n ) (x,...,x i,x i+,...,x n ). γ i : [,] n [,] n, (x,...,x n ) (x,...,x i,max(x i,x i+ ),x i+2,...,x n ). Given s,t and i s+ we denote: (3.) σ i : [,] s [,] t = [,] s+t, (x,...,x s,y,...,y t ) (x,...,x i,y,...,y t,x i,...,x s ). Now for any binary tree T with n leaves and no corks, consider the (n 2)-cube H T = [,] n 2. We regard (x,...,x n 2 ) H T as a labeling of T with the i th inner edge labeled by x i : T = x 2, x = (x,x 2 ) H T. The associahedron K n is then defined as the cell complex / H T. binary trees T with n leaves and no corks Here is defined as follows. Given two binary trees T and T with n leaves and no corks, if T/e i = T /e j, where e i (resp. e i ) denotes the ith inner edge of T (resp. T ), then identify the i th negative face of H T with the j th negative face of H T, (3.2). Heuristically, the label indicates the length of the edge, so a length zero edge should be collapsed to a point, hence the identification.

8 8 FERNANDO MURO AND ANDREW TONKS K =, K =, K 2 =, K 3 =, K 4 =. Figure 8. The first five associahedra with the cellular structure given by binary trees with no corks. On common faces we depict the non-binary tree which yields the identification. The topological A-infinity operad A is given by the associahedra A (n) = K n, n. One defines the composition law i : K p K q K p+q, i p, on cells H T H T (where T and T have p and q leaves, respectively, and no corks) by H T H T = [,] p 2 [,] q 2 σ j [,] p+q 4 + j [,] p+q 3 = H T it if the identification of the root edge of T with the i th leaf edge of T is the j th inner edge of T i T. We can illustrate the composition graphically: y 2 x x y y y = = (x,,y,y 2,x 2 ). x x 2 Thus composition is grafting of trees, taking labels into account, and labeling by the newly created inner edge. If one forgets the cubical subdivision, the associahedron K n can be represented asan (n 2)-dimensionalconvexpolytope. The poset offaces ofk n under inclusion may be identified with the category of planted planar trees with n leaves, no corks and no degree 2 vertices. Inclusion of faces corresponds to collapse maps T T/e. We may write K T for the codimension r face of K n corresponding to a tree T with n leaves and r inner edges. The unique (n 2)-cell of K n is the corolla C n, the codimensionfacesk p i K q arethetreeswithauniqueinternaledgee = {v,v i+ }, and more generally K T i K T = K T it.

9 UNITAL ASSOCIAHEDRA 9 K =, K =, K 2 =, K 3 =, K 4 =. Figure 9. The first five associahedra K n as polytopes. We depict the faces K T simply by T. The topological strictly unital A-infinity operad sua is given by sua () = and sua (n) = A (n) = K n if n. The composition law i : sua (p) sua (q) sua (p+q ) is defined as in A except when q =. If p > 2 and q =, the map, (3.3) i : K p K p, i p, also called associahedral degeneracy, is defined on cells as follows. Suppose T is a binary tree with p leaves and no corks, e is its i th leaf edge, and e e are the two edges adjacent to e. As illustrated in Figure, we distinguish three cases: If e is the j th inner edge and e is also inner, then i is defined on the cell H T via the connection γ j H T HT\e. In the following two cases: e is the root and e is j th inner edge, j =, e is a leaf and e is j th inner edge, the map i is defined on H T via the degeneracy π j H T HT\e. e e e e e e e e e Figure. The three possible cases in the definition of the degeneracy (3.3) on cells, up to symmetries.

10 FERNANDO MURO AND ANDREW TONKS 3 Figure. The associahedral degeneracy 3 : K 4 K 3. The colour gradient represents the fibers. 4. Associahedra with units We now introduce the unital associahedra, starting with a cubical structure and then with a smaller number of cells generalizing the polytope structure of the classical non-unital associahedra. The unital associahedron K u n is the cell complex defined as follows. For any binary tree T with n leaves and m corks take the (2m+n 2)-cube H T = [,] 2m+n 2 with the convention H T = if the exponent is negative, i.e. if T =. We regard (x,...,x 2m+n 2 ) H T as a labeling of T with the i th inner edge labeled by x i, T =, x 3 x 2 x = (x,x 2,x 3 ) H T. The cell complex Kn u is the quotient of the disjoint union binary trees T with n leaves by the equivalence relation generated by the following relations: Consider two binary trees T and T with n leaves and m corks. Denote e i (resp. e i ) the ith inner edge of T (resp. T ). (R) If e i and e j do not contain corks and T/e i = T /e j, then identifies the ith negative face of H T with the j th negative face of H T, i.e. i (x) j (x) for all x [,] 2m+n 3. See (3.2) for an illustration. (R2) If e i contains a cork, then identifies each point in the i th negative face of H T with a point in H T\ei, i H T H T = [,] 2m+n 2 [,] 2m+n 3 ε H T\ei,

11 UNITAL ASSOCIAHEDRA i.e. i (x) ε(x) for all x [,]2m+n 3, where ε is defined according to the local structure of T around e i. There are eight possible cases: T T e i e i e i+ i (x) R2a γ i (x) e i e j e j+ i (x) R2b γ j (x) e i e i i (x) R2c π i (x) e i e i i (x) R2d π i (x) e i=e e 2 R2e (x) π (x) e e i=e 2m+n 2 2m+n 2 R2f (x) π (x) e i=e R2g (x) e H i=e (x) R2h H These relations can be illustrated as follows: b a R2a max(a,b) R2b b a a R2c R2d a a R2e R2f a R2g R2h Proposition 4.. For p and q there are maps j : K u p K u q K u p+q

12 2 FERNANDO MURO AND ANDREW TONKS defined on cells by maps c j (T,T ): H T H T H T jt where T and T are binary trees with p and q leaves and s and t corks, respectively. If the identification of the root edge of T with the j th leaf edge of T is the k th inner edge of T j T then the map c j (T,T ) is given by H T H T = [,] α [,] β σ k [,] α+β + k [,] α+β+ = H T jt. Here α = 2s+p 2 and β = 2t+q 2 are the numbers of inner edges of T and T, respectively. If T = or T = then c j (T,T ) is the identity. With ourgraphicalnotation, the compositionlaw j canbe illustratedasfollows: y 3 x 2 x 4 y 3 y 2 x x y 2 3 y y = x 2 x 4 = (x,x 2,,y,y 2,y 3,x 3,x 4 ). x x 3 Proof of Proposition 4.. We must check the compatibility with the nine relations generating. Given x H T and x H T2 satisfying x x we must show that c j (T,T )(x,y) c j (T 2,T )(x,y) for any y H T. Similarly, if y H T and y H T 2 satisfy y y we must show that c j (T,T )(x,y) c j(t,t 2 )(x,y ) for any x H T. In the first (resp. second) case the compatibility condition is obvious when T (resp. T) is. We exclude these cases from now on. If x x or y y by (R) then the compatibility conditions are illustrated by the following diagrams, which show (R) relations between faces of H T jt and H, T2 jt and H T jt and H T jt 2, derived from the former relations. T T T T 2 T T T 2 T The same can be done for relations (R2a) and (R2b). Also for (R2c) and (R2d) unless e i is adjacent to the j th leaf and x x because of one of these relations. In these cases the compatibility relations follow from (R2a) and (R2b) respectively, as illustrated by the following diagrams. T a R2a T max(a,)= R2b T a

13 UNITAL ASSOCIAHEDRA 3 We can also proceed in the simple way if x x by (R2e) or (R2f). If y y by (R2e) or (R2f) then the compatibility condition follows from a T R2a max(a,)= T R2b a T The compatibility conditions for (R2g) and (R2h) are illustrated below. T R2e T T R2f T R2c R2d T T Once we have checked that the composition maps given by grafting of labeled trees are well defined, it is straightforward to see that they define an operad. Theorem 4.2. Unital associahedra form a topological operad, called ua, with the composition laws in Proposition 4. and unit u = H K u. Remark 4.3. One canactuallyshowthatua maybe obtainedby applyinganonsymmetric Boardman Vogt construction to the operad Ass for topological monoids, Ass(n) =, n. Therefore ua is a cofibrant operad in the model category of topological operads [BM3, BM6, Mur]. Our goal now is to endow unital associahedra with a new smaller cellular structure generalizing the polytope cellular structure of non-unital associahedra. Notice that Kn u admits a filtration by finite-dimensional subcomplexes Kn u = m= K u n,m where Kn,m u is the quotient of the disjoint union binary trees T with n leaves and m corks by the restriction of the equivalence relation generated by (R, R2). For m = we obtain the associahedra K u n, = K n. H T

14 4 FERNANDO MURO AND ANDREW TONKS The following proposition shows that passing from one stage in the filtration to the next consists of adjoining cells K n+m [,] m. S [n+m] S =m Given a set S [n+m], S = m, and a binary tree T with n leaves and no corks, the shuffle permutation of coordinates H T [,] m = H T S puts the last m coordinates in the positions of the new m inner edges in T S formed by adding corks to T. We consider also the negative cubical boundary, m, ([,] m ) = m i ([,]m ) i= incl. [,] m. Proposition 4.4. For n and m, (n,m) (,), there is a push-out diagram K n+m ([,] m id incl. ) K n+m [,] m S [n+m] S =m (f S) S K u n,m push inclusion S [n+m] S =m K u n,m ( f S) S such that, if S = {j < < j m } and T is a binary tree with n+m leaves and no corks: () The restriction of fs to the product cell H T [,] m maps it to the cell H T S by the shuffle permutation of coordinates H T [,] m = H T S. (2) For i m, the restriction of f S to the product cell H T i ([,]m ) is given by a shuffle permutation of coordinates followed by a projection, H T [,] m = H T (S\{j i }) = [,] 2m+n 3 ε H T S \e, if the cork specified by j i S forms the inner edge e of T S and the map ε is defined in (R2) according the local structure of T S around e. Proof. The shuffle permutation of coordinates gives a homeomorphism K n+m [,] m = S [n+m] S =m binary trees T with n leaves and m corks H T /(R) under which the i th negative face of [,] m corresponds to the k th negative face of H T, if the edge e defined in (2) is the k th inner edge of T S. Thus the relations imposed by the pushout are exactly the relations (R2).

15 UNITAL ASSOCIAHEDRA 5 Figure 2. A 2-cellof K2, u depicting edges identified by (R) and degenerate by (R2), cf. Figure 3. An edge with a white cork has length, as do the other edges so labeled. Thus we have a cork filtration K u n, K u n, K u n,2 K u n formed by attaching cells obtained from products of associahedra with hypercubes, K n+m [,] m. Corollary 4.5. Unital associahedra are contractible. After the classical associahedron K u n, = K n, the next stage in the cork filtration also has a straightforward description: Corollary 4.6. For n the space Kn, u is the mapping cylinder of ( i ) i : n+ K n+ K n, where i : K n+ K n are the associahedral degeneracy maps (3.3). i= K u, =, K u, =, K u 2, =,K u 3, =. Figure 3. The first four K u n,.

16 6 FERNANDO MURO AND ANDREW TONKS We now show that operadic composition maps respect the new cell structure. Consider the sets C(n) T(n) of trees of height 2 with n leaves. Then C has an operad structure given by grafting trees and then contracting the new inner edge. There is another set operad P, isomorphic to C, where P(n) = {(S,n+m) : m, S [n+m], S = m}. A pair (S,n + m) corresponds to the tree obtained from the corolla C n+m by replacing m leaf vertices by corks, at the positions indicated by the subset S. Thus the operad structure of P has unit (,) and if S = {j < < j s } [p + s], S 2 = {k < < k t } [q +t], and i p then Here the set S i S 2 is (S,p+s) i (S 2,q +t) = (S i S 2,p+s+q +t ). {j,...,j r, k +i+r 2,...,k t +i+r 2, j r +q +t,...,j s +q +t } if the i th element of the complement of S lies between j r and j r. Proposition 4.7. The composition structure given in Proposition 4. respects the cork filtration K u p,s i K u q,t Ku p+q,s+t. Moreover, given S [p+s], S 2 [q +t], and r as in the previous paragraph, the following diagram commutes for (q,t) (,) (4.8) K p+s [,] s K q+t [,] t fs f S2 Kp,s u Ku q,t id swap id K p+s K q+t [,] s [,] t i i+r σ r and in the case (q,t) = (,) then K s+t+p+q [,] s+t fs i S 2 K u p+q,s+t (4.9) K p+s [,] s ( f S,) K u p,s Ku, id + r K p+s [,] s+ fs i {} i K u p,s+ This result is easily checked by inspection. We may describe the new cellular structure of unital associahedra in terms of trees with black and white corks, as we have seen depicted in Figures 2 and 3 above. Let T be a tree of height h, with n leaves, and m corks, of which m b are black and m w are white. We exclude trees with any degree two vertices, and also the case h = m b =. () If h = 2 and m w = then we have a cell K u T = f S (K n+m [,] m ) where S [n+m] indicates which level 2 vertices are corks.

17 (2) If h = and m w =, i.e. T = UNITAL ASSOCIAHEDRA 7, K u T = K u, = {}. (3) If T = T i T we define inductively K u T = K u T i K u T. Wemaygiveanon-inductivedefinitionasfollows. ConsiderthetreeT obtained removing all corks from T, replacing them by leaves. Then the characteristic map of K u T is K T [,] m b incl. + w K n+m [,] m f S K u n,m Ku n where S indicates which leaves of T are corks in T and + w = + j mw + j 2 + j where {j < j 2 < < j mw } [m] indicates the positions of the white corks in the set of corks. Figure 4. K,2 u with the new cellular structure. It has two vertices, two edges, and one 2-cell. Remark 4.. The CW-complex K u,2 is a cellular decomposition of three 3-balls such that the first and second 3-balls share a common edge, as well as the second and third 3-balls. These two edges have a common vertex which is the intersection of the first and third 3-balls, as in the following picture The common edges and common vertex form the subcomplex K u, Ku,2, see Figure 3. For the sake of simplicity, we have drawn the 3-balls as tetrahedra.

18 8 FERNANDO MURO AND ANDREW TONKS Each of these 3-balls in K,2 u is filled in with a 3-cell, which correspond to the following trees, respectively: Let us examine more explicitly all the cells of K,2 u, corresponding to trees with one leaf and at most two black or white corks. The cellular structure of the first 3-ball is. It has four vertices, six edges, four 2-cells, and one 3-cell. The four vertices correspond to the following trees. The top 2-cell, the two middle triangles, and the bottom disk, together with their six edges, can be represented as follows, Observe that the top 2-cell is doubly-incident with one of its edges, which contains the vertex corresponding to the trivial tree T =. It is also along this edge that the first and second 3-balls are identified. The cellular structure of the third 3-ball is the same, and its cells correspond to symmetric versions of the trees above. The second 3-ball looks different. We give two different perspectives:

19 UNITAL ASSOCIAHEDRA 9 It has five vertices, seven edges, four 2-cells, and one 3-cell. The vertices correspond to the following trees. The four 2-cells occur in 2 symmetric pairs of (curved) squares and triangles. We can represent them, and their seven edges, as follows: Again we see the extreme left (or right) edges and their common vertex form the subcomplex K,. u One of these edges is attached to the first 3-ball and the other to the third 3-ball. The common vertex is the subcomplex K, u ; it is the only cell shared by all three 3-balls. 5. Cellular chains of unital associahedra Let us fix a commutative ring k for the whole section. In this section we always consider associahedra with the polytope cell structure, and unital associahedra with the new cell structure with cells obtained from products of associahedra and hypercubes as described in Proposition 4.4. Associahedra admit orientations such that the DG-operad C (A,k) obtained by taking cellular chains on A is freely generated as a graded operad by the fundamental classes µ n = [K n ] C n 2 (K n,k), n 2, and the differential is (5.) d(µ n ) = ( ) qp+(q )(i ) µ p i µ q. p+q =n i p

20 2 FERNANDO MURO AND ANDREW TONKS ThisistheoperadforA -algebras,cf.[sei8, Proposition2.3]and[MS6, 3]. Our slightly different sign conventions only indicate that we may be choosing different orientations on some associahedra. Denote O the DG-operad whose underlying graded operad is freely generated by the operations µ S n+m of degree O(n), n,m, S [n+m], S = m, (n,m) (,),(,), µ S n+m = 2m+n 2. The differential is defined as follows, (n,m) (,): (5.2) d(µ S n+m) = ( ) (q+t)p+(q+t )(i+r )+t(r ) µ S p+s i µ S2 q+t, p+q =n s+t=m i p S is 2=S d(µ {i} + ) = µ 2+ i µ {} + u, i {,2}. Here r is such that the i th element of the complement ofs lies between the (r ) st and r th elements of S. We may also describe a k-linear basis {µ T } T of O indexed by trees T with black and white corks. Let T be a tree of height h, with n leaves, and m corks, of which m b are black and m w are white. We exclude trees with any degree two vertices, and also the case h = m b =. () If h = 2 and m w = then we have µ T = µ S n+m where S [n+m] indicates which level 2 vertices are corks. (2) If h = and m w =, i.e. T =, µ T = µ {} +. (3) If T = T i T we define inductively µ T = µ T i µ T. We observe that µ T is an element of degree 2m+n 2 cardi(t)+m b in O(n). Over a field of characteristic zero, this operad O, as pointed out in [HM], is the operad for homotopy unital A -algebras in the sense of Fukaya Oh Ohta Ono [FOOO9a, FOOO9b]. In the next theorem we show that O is just the chains on the topological operad ua formed by the unital associahedra; this construction works over any commutative ring. Theorem 5.3. There is an isomorphism of differential graded operads O = C (ua,k), µ {} + [Ku,], µ S n+m ( )m(m )/2 [ f S ], (n,m) (,). Proof. Since O is free as a graded operad, the underlying graded operad morphism is well defined. The descriptions above for the k-basis of O and for the cellular structure of unital associahedra show that it is a graded isomorphism. In order

21 UNITAL ASSOCIAHEDRA 2 to show that it also commutes with the differentials we choose the orientations I C ([,],k) with d(i) = [] [], and and observe that d([k n+m [,] m ]) = + [K n+m [,] m ] = [K n+m ] I m ; α+β =n+m α,β 2 κ α ( ) βα+(β )κ ([K α ] κ [K β ]) I m m ( ) n+m+λ [K n+m ] I (λ ) ([] []) I (m λ). λ= The image under ( f S ) (we denote morphisms induced by cellular maps on cellular chains in this way) of the first summation may be identified with ( ) (q+t)(p+s)+(q+t )(i+r )+t(s r+)+s(q+t) [ f S ] i [ f S2 ] p+q =n s+t=m (q,t) (,) i p S is 2=S by the commutativity of (4.8) in Proposition 4.7. Here α = p + s, β = q + t, κ = i+r, and furthermore ( ) t(s r+) and ( ) s(q+t) are the signs associated to the maps σ r (3.) and the swap in (4.8). This sign differs from that in (5.2) by precisely ( ) st = ( ) m(m )/2 ( ) s(s )/2 ( ) t(t )/2. In the second summation, if (n,m) (,) the terms containing [] vanish on applying( f S ) byproposition4.4, sincethepushoutidentifiesk n+m λ ([,]m ) with lower dimensional cells. If (n,m) = (,) the image of the term containing [] is u, see K, u in Figure 3. The image of the terms containing [] are identified with ( ) p+s+r [ f S ] i [K,] u i p S i{}=s using the diagram (4.9) in Proposition 4.7. Here p = n, s+ = m and r = λ. This sign differs from that in (5.2) for (q,t) = (,) by precisely ( ) s = ( ) s2 = ( ) m(m )/2 ( ) s(s )/2 ( ) t(t )/2. This finishes the proof that the isomorphism commutes with the differential structure. The following result is a consequence of this theorem and Corollary 4.5, since DG-operads with free underlying graded operad are cofibrant. Corollary 5.4. For any commutative ring k, the operad O = C (ua,k) is a cofibrant resolution of the DG-operad for unital DG-algebras. Lyubashenko sketches a purely algebraic proof of this result in [Lyu,.].

22 22 FERNANDO MURO AND ANDREW TONKS References [BM3] C. Berger and I. Moerdijk, Axiomatic homotopy theory for operads, Comment. Math. Helv. 78 (23), no. 4, [BM6], The Boardman-Vogt resolution of operads in monoidal model categories, Topology 45 (26), no. 5, MR (28e:86) [BV73] J. M. Boardman and R. M. Vogt, Homotopy invariant algebraic structures on topological spaces, vol. 347, Springer-Verlag, Berlin, 973, Lecture Notes in Mathematics. [FOOO9a] K. Fukaya, Y.-G. Oh, H. Ohta, and K. Ono, Lagrangian intersection Floer theory: anomaly and obstruction. Part I, AMS/IP Studies in Advanced Mathematics, vol. 46, American Mathematical Society, Providence, RI, 29. [FOOO9b], Lagrangian intersection Floer theory: anomaly and obstruction. Part II, AMS/IP Studies in Advanced Mathematics, vol. 46, American Mathematical Society, Providence, RI, 29. [HM] J. Hirsh and J. Millès, Curved Koszul duality theory, arxiv:8.5368v [math.kt], 2. [Lyu] V. Lyubashenko, Homotopy unital A -algebras, J. Algebra 329 (2), [May72] J. P. May, The geometry of iterated loop spaces, Springer-Verlag, Berlin, 972, Lecture Notes in Mathematics, Vol. 27. [MS6] M. Markl and S. Shnider, Associahedra, cellular W-construction and products of A -algebras, Trans. Amer. Math. Soc. 358 (26), no. 6, (electronic). [Mur] F. Muro, Homotopy theory of non-symmetric operads, Algebr. Geom. Topol. (2), [Sei8] P. Seidel, Fukaya categories and Picard-Lefschetz theory, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich, 28. [Sta63] J. D. Stasheff, Homotopy associativity of H-spaces. I, II, Trans. Amer. Math. Soc. 8 (963), ; ibid. 8 (963), Universidad de Sevilla, Facultad de Matemáticas, Departamento de Álgebra, Avda. Reina Mercedes s/n, 42 Sevilla, Spain address: fmuro@us.es Faculty of Computing, London Metropolitan University, Holloway Road, London N7 8DB, United Kingdom address: a.tonks@londonmet.ac.uk