arxiv: v1 [math.co] 1 Feb 2017

Transcription

1 OPERADS OF DECORATED CLIQUES SAMUELE GIRAUDO rxiv:7.7v [mth.co] Feb 7 ABSTRACT. The vector spce of ll polygons with configurtions of digonls is endowed with n operd structure. This is the consequence of functoril construction C introduced here, which tkes unitry mgms M s input nd produces operds. The obtined operds involve regulr polygons with configurtions of rcs lbeled on M, clled M-decorted cliques nd generlizing usul polygons with configurtions of digonls. We provide here complete study of the operds CM. By considering combintoril subfmilies of M-decorted cliques defined, for instnce, by limiting the mximl number of crossing digonls or the mximl degree of the vertices, we obtin suboperds nd quotients of CM. This leds to new hierrchy of operds contining, mong others, operds on noncrossing configurtions, Motzkin configurtions, forests, dissections of polygons, nd involutions. We show tht the suboperd of noncrossing configurtions is Koszul nd exhibit its presenttion by genertors nd reltions. Besides, the construction C leds to lterntive definitions of severl operds, like the operd of bicolored noncrossing configurtions nd the operds of simple nd double multi-tildes. CONTENTS Introduction. Elementry definitions nd tools 6.. Trees nd rewrite rules 7.. Operds nd Koszulity 8. From unitry mgms to operds.. Cliques, unitry mgms, nd operds.. Generl properties 6 3. Quotients nd suboperds Min substructures Secondry substructures Reltions between substructures Operds of noncrossing decorted cliques Generl properties Presenttion nd Koszulity Suboperds generted by bubbles Algebrs over the noncrossing clique operds Koszul dul Concrete constructions Rtionl functions nd relted operds Operd of bicolored noncrossing configurtions Operds from lnguge theory 7 Conclusion nd perspectives 75 References 75 Dte: October 8, 8. Mthemtics Subject Clssifiction. 5E99, 5C5, 5C76, 8D5. Key words nd phrses. Tringultion; Tree; Grph; Noncrossing configurtion; Rewrite rule; Operd; Koszul dulity.

2 SAMUELE GIRAUDO INTRODUCTION Regulr polygons endowed with configurtions of digonls re very clssicl combintoril objects. Up to some restrictions or enrichments, sets of these polygons cn be put in bijection with severl combintoril fmilies. For instnce, it is well-known tht tringultions [DLRS], forming prticulr subset of the set of ll polygons, re in one-to-one correspondence with binry trees, nd lot of structures nd opertions on binry trees trnslte nicely on tringultions. Indeed, mong others, the rottion opertion on binry trees [Knu98] is the covering reltion of the Tmri order [HT7] nd this opertion trnsltes s digonl flip in tringultions. Also, noncrossing configurtions [FN99] form n other interesting subfmily of such polygons. Nturl generliztions of noncrossing configurtions consist in llowing, with more or less restrictions, some crossing digonls. One of these fmilies is formed by the multi-tringultions [CP9], tht re polygons wherein the number of mutully crossing digonl is bounded. Besides, let us remrk tht the clss of combintoril objects in bijection with sets of polygons with configurtions of digonls is lrge enough in order to contin, mong others, dissections of polygons, noncrossing prtitions, permuttions, nd involutions. On the other hnd, coming historiclly from lgebric topology [My7,BV73], operds provide n bstrction of the notion of opertors (of ny rities) nd their compositions. In more concrete terms, operds re lgebric structures bstrcting the notion of plnr rooted trees nd their grfting opertions (see [LV] for complete exposition of the theory nd [Mén5] for n exposition focused on symmetric set-operds). The modern tretment of operds in lgebric combintorics consists in regrding combintoril objects like opertors endowed with gluing opertions mimicking the composition of opertors. In the lst yers, lot of combintoril sets nd combintoril spces hve been endowed fruitfully with structure of n operd (see for instnce [Ch8] for n exposition of known interctions between operds nd combintorics, focused on trees, [LMN3, GLMN6] where operds bstrcting opertions in lnguge theory re introduced, [CG4] for the study of n operd involving prticulr noncrossing configurtions, [Gir5] for generl construction of operds on mny combintoril sets, [Gir6] where operds re constructed from posets, nd [CHN6] where operds on vrious species of trees re introduced). In most of the cses, this pproch brings results bout enumertion, helps to discover new sttistics, nd leds to estblish new links (by morphisms) between different combintoril sets or spces. We cn observe tht most of the subfmilies of polygons endowed with configurtions of digonls discussed bove re stble for severl nturl composition opertions. Even better, some of these cn be described s the cloture with respect to these composition opertions of smll sets of polygons. For this reson, operds re very promising cndidtes, mong the modern lgebric structures, to study such objects under n lgebric nd combintoril flvor. The purpose of this work is twofold. First, we re concerned in endowing the liner spn of the polygons with configurtions of rcs with structure of n operd. This leds to see these objects under new light, stressing some of their combintoril nd lgebric properties. Second, we would provide generl construction of operds of polygons rich

3 OPERADS OF DECORATED CLIQUES 3 enough so tht it includes some lredy known operds. As consequence, we obtin lterntive definitions of existing operds nd new interprettions of these. For this im, we work here with M-decorted cliques (or M-cliques for short), tht re complete grphs whose rcs re lbeled on M, where M is unitry mgm. These objects re nturl generliztions of polygons with configurtions of rcs since the rcs of ny M-clique lbeled by the unit of M re considered s missing. The elements of M different from the unit llow moreover to hndle polygons with rcs of different colors. For instnce, ech usul noncrossing configurtion c cn be encoded by n N -clique p, where N is the cyclic dditive unitry mgm Z/ Z, wherein ech rc lbeled by N in p denotes the presence of the sme rc in c, nd ech rc lbeled by N in p denotes its bsence in c. Our construction is mterilized by functor C from the ctegory of unitry mgms to the ctegory of operds. It builds, from ny unitry mgm M, n operd CM on M-cliques. The prtil composition p i q of two M-cliques p nd q of CM consists in gluing the ith edge of p (with respect to precise indextion) nd specil rc of q, clled the bse, together to form new M-clique. The mgmtic opertion of M explins how to relbel the two overlpping rcs. This operd CM hs lot of properties, which cn be pprehended both under combintoril nd n lgebric point of view. First, mny fmilies of prticulr polygons with configurtions of rcs form quotients or suboperds of CM. We cn for instnce control the degrees of the vertices or the crossings between digonls to obtin new operds. We cn lso forbid ll digonls, or some lbels for the digonls or the edges, or ll inclusions of digonls, or even ll cycles formed by rcs. All these combintoril prticulrities nd restrictions on M-cliques behve well lgebriclly. Moreover, by using the fct tht the direct sum of two idels of n operd O is still n idel of O, these constructions cn be mixed to get even more operds. For instnce, it is well-known tht Motzkin configurtions, tht re polygons with disjoint noncrossing digonls, re enumerted by Motzkin numbers [Mot48]. Since Motzkin configurtion cn be encoded by n M-clique where ll vertices re of degrees t most nd no digonl crosses nother one, we obtin n operd MotM on colored Motzkin configurtions which is both quotient of Deg M, the quotient of CM consisting in ll M-cliques such tht ll vertices re of degrees t most, nd of NCM, the quotient (nd suboperd) of CM consisting in ll noncrossing M-cliques. We lso get quotients of CM involving, mong others, Schröder trees, forests of pths, forests of trees, dissections of polygons, Lucs configurtions, with colored versions for ech of these. This leds to new hierrchy of operds, wherein links between its components pper s surjective or injective operd morphisms. Tble lists the min operds constructed in this work nd gthers some informtion bout these. One of the most notble of these is built by considering the D -cliques tht hve vertices of degrees t most, where D is the multiplictive unitry mgm on {, }. This is in fct the quotient Deg D of CD nd involves involutions (or equivlently, stndrd Young tbleux by the Robinson-Schensted correspondence [Lot]). To the best of our knowledge, Deg D is the first nontrivil operd on these objects. As n importnt remrk t this stge, let us highlight tht when M is nontrivil, CM is not binry operd. Indeed, ll its miniml generting sets re infinite nd its genertors hve

4 4 SAMUELE GIRAUDO Operd Objects Sttus with respect to CM Plce CM M-cliques Section Lb B,E,D M M-cliques with restricted lbels Suboperd Section 3.. WhiM White M-cliques Suboperd Section 3.. Cro k M M-cliques of crossings t most k Suboperd nd quotient Section 3..3 BubM M-bubbles Quotient Section 3..4 Deg k M M-cliques of degrees t most k Quotient Section 3..5 InfM Inclusion-free M-cliques Quotient Section 3..6 AcyM Acyclic M-cliques Quotient Section 3..7 NCM noncrossing M-cliques Suboperd nd quotient Section 4 TABLE. The min operds defined in this pper. All these operds depend on unitry mgm M which hs, in some cses, to stisfy some precise conditions. Some of these operds depend lso on nonnegtive integer k or subsets B, E, nd D of M. rbitrry high rities. Nevertheless, the biggest binry suboperd of CM is the operd NCM of noncrossing configurtions nd this operd is qudrtic nd Koszul, regrdless of M. Furthermore, the construction C mintins some links with the operd RtFct of rtionl functions introduced by Lody [Lod]. In fct, provided tht M stisfies some conditions, ech M-clique encodes rtionl function. This defines n operd morphism from CM to RtFct. Moreover, the construction C llows to construct lredy known operds in originl wys. For instnce, for well-chosen unitry mgms M, the operds CM contin FF 4, suboperd of the operd of forml frctions FF [CHN6], BNC, the operd of bicolored noncrossing configurtions [CG4], nd MT nd DMT, two operds respectively defined in [LMN3] nd [GLMN6] tht involve multi-tildes nd double multitildes, opertors coming from forml lnguge theory [CCM]. This text is orgnized s follows. Section sets our nottions, generl definitions, nd tools bout nonsymmetric operds (since we del only with nonsymmetric operds here, we cll these simply operds). In Section, we introduce M-cliques nd some definitions bout these. Then, the construction C is described nd the fct tht C is functor from the ctegory of unitry mgms to the ctegory of set-operds (treted here s operds in the ctegory of vector spces) is estblished (Theorem..). We show tht the Hdmrd product of two operds obtined s imges of C is isomorphic to n operd in the imge of C (Proposition..). We then investigte the generl properties of the operds CM. We compute their dimensions (Proposition..), describe one of their miniml generting sets (Proposition..3), nd describe ll their ssocitive elements (Proposition..4). Notice tht the description of the ssocitive elements of CM relies on its liner structure. Indeed, even if CM is well-defined in the ctegory of sets, some of its ssocitive elements re nontrivil sums of M-cliques. We lso explicit some symmetries of CM (Proposition..5), show tht, s

5 OPERADS OF DECORATED CLIQUES 5 set-operd, CM is bsic [Vl7] if nd only if M is right cncellble (Proposition..6), nd show tht CM is cyclic operd [GK95] (Proposition..7). Next, two dditionl bses of CM re defined, the H-bsis nd the K-bsis, defined from two nturl prtil order reltions on M-cliques nd their Möbius functions. We give expressions for the prtil composition of CM over these two bses (Propositions..8 nd..9). This section ends by explining how ny M-clique p encodes rtionl function F θ (p) of K(U), U being commuttive lphbet, when M isz-grded. We show tht F θ is n operd morphism from CM to RtFct, the operd of rtionl functions [Lod] (Theorem..). This morphism is not injective but its imge contins ll Lurent polynomils on U (Proposition..). Then, Section 3 is devoted to define severl suboperds nd quotients of CM. All the quotients we consider re of the form CM/ R, whereris n operd idel of CM generted by fmily of M-cliques we wnt to discrd. For instnce, the quotient BubM of CM on M-bubbles (tht re M-cliques without digonls) is defined from the operd idel R Bub generted by ll the M-cliques hving t lest one digonl (Proposition 3..4). Some of the constructions presented here require tht M s no nontrivil unit divisors. This is the cse for instnce for the quotient AcyM involving cyclic M-cliques (Proposition 3..9). We lso construct nd briefly study the suboperd Lb B,E,D M involving M-cliques with restrictions for its lbels (Proposition 3..), the suboperd WhiM involving M-cliques with unlbeled edges, the quotient nd suboperd Cro k M involving M-cliques such tht ech digonl crosses t most k other digonls (Proposition 3..3), the quotient Deg k M involving M-cliques such tht ech vertex is of degree t most k (Proposition 3..5), nd InfM involving M-cliques without inclusions between rcs (Proposition 3..6). We focus next, in Section 4, on the study of the suboperd NCM of CM on the noncrossing M-cliques. We first show tht NCM inherits from lot of properties of CM, s the sme description for its ssocitive elements nd the fct tht it is cyclic operd (Proposition 4..). The operd NCM dmits n lterntive reliztion in terms of M-Schröder trees, tht re Schröder trees with edges lbeled on M stisfying some conditions. This is the consequence of the fct tht the set of ll noncrossing M-cliques of given rity is in one-to-one correspondence with set of trees whose internl nodes re lbeled by M-bubbles (Proposition 4..4). The prtil composition of NCM on M-Schröder trees is grfting of trees together with relbeling of edges or contrction of edges. To continue the study of NCM, we describe one of its miniml generting fmilies (Proposition 4..5), provide n lgebric eqution for its Hilbert series (Proposition 4..6), nd give formul for its dimensions involving Nryn numbers [Nr55] (Proposition 4..7). In order to compute the spce of the reltions of NCM, we use techniques of rewrite systems of trees [BN98]. Thus, we define convergent rewrite rule nd show tht the spce induced by is the spce of reltions of NCM, leding to presenttion by genertors nd reltions of NCM (Theorem 4..8). The existence of convergent orienttion of the spce of the reltions of NCM implies by [Hof] tht this operd is Koszul (Theorem 4..9). Then, we turn our ttention on suboperds of NCM generted by some finite fmilies of bubbles. Under some conditions on the considered sets of bubbles, we cn describe the Hilbert series of these suboperds of NCM by system of lgebric equtions (Proposition 4.3.). We give two exmples of suboperds of NCM generted by some subsets

6 6 SAMUELE GIRAUDO of tringles, including one which is suboperd of NCD isomorphic to the operd Motz of Motzkin pths defined in [Gir5]. From the presenttion of NCM, we list the reltions between the opertions of the lgebrs over NCM. We describe the free lgebr over one genertor over NCM, nd generl wy to construct lgebrs over NCM from ssocitive lgebrs endowed with some liner mps (Theorem 4.4.). Moreover, when M is monoid, there is simple wy to endow the spce K M of ll noncommuttive polynomils on M with the structure of n lgebr over NCM (Proposition 4.4.). We ends this section by considering the Koszul dul NCM! of NCM (which is well-defined since NCM is binry nd qudrtic operd). We compute its presenttion (Proposition 4.5.), express n lgebric eqution for its Hilbert series (Proposition 4.5.3), give formul for its dimensions (Proposition 4.5.4), nd estblish combintoril reliztion of NCM! s grded spce involving dul M-cliques (Proposition 4.5.5), tht re M -cliques with some constrints for the lbels of their rcs. This works ends with Section 5, where we use the construction C to provide lterntive definitions of some known operds. We hence construct the operd NCP of bsed noncrossing trees [Ch7,Ler] (Proposition 5..), the suboperd FF 4 of the operd of forml frctions FF [CHN6] (Proposition 5..), nd the operd of bicolored noncrossing configurtions BNC [CG4] (Proposition 5..). For this reson, in prticulr, ll the suboperds of BNC cn be obtined from the construction C. This includes for exmple the dipterous operd [LR3,Zin]. We lso construct some versions of the operds MT of multi-tildes [CCM,LMN3] (Proposition 5.3.) nd DMT of double multi-tildes [GLMN6] (Proposition 5.3.) which re trivil in rity. Generl nottions nd conventions. All the lgebric structures of this rticle hve field of chrcteristic zero K s ground field. For ny set S, Vect(S) denotes the liner spn of the elements of S. For ny integers nd c, [, c] denotes the set {b N : b c} nd [n], the set [, n]. The crdinlity of finite set S is denoted by #S. For ny set A, A denotes the set of ll finite sequences, clled words, of elements of A. For ny n, A n (resp. A n ) is the set of ll words on A of length n (resp. t lest n). The word of length is the empty word denoted by ε. If u is word, its letters re indexed from left to right from to its length u. For ny i [ u ], u i is the letter of u t position i. If is letter nd n is nonnegtive integer, n denotes the word consisting in n occurrences of. For ny letter, u denotes the number of occurrences of in u.. ELEMENTARY DEFINITIONS AND TOOLS We set here our nottions nd recll some definitions bout operds nd the relted structures. The min purposes re to provide tools to compute presenttions nd prove Koszulity of operds. For this, it is importnt to hndle precise definitions bout free operds, trees, nd rewrite rules on trees. This is the strting point of this section.

7 OPERADS OF DECORATED CLIQUES 7.. Trees nd rewrite rules. Unless otherwise specified, we use in the sequel the stndrd terminology (i.e., node, edge, root, child, etc.) bout plnr rooted trees [Knu97]. For the ske of completeness, let us recll the most importnt definitions nd set our nottions.... Trees. Let t be plnr rooted tree. The rity of node of t is its number of children. An internl node (resp. lef) of t is node with nonzero (resp. null) rity. Internl nodes cn be lbeled, tht is, ech internl node of tree is ssocited with n element of certin set. Given n internl node x of t, due to the plnrity of t, the children of x re totlly ordered from left to right nd re thus indexed from to the rity l of x. For ny i [l], the ith subtree of t is the tree rooted t the ith child of t. Similrly, the leves of t re totlly ordered from left to right nd thus re indexed from to the number of its leves. A tree s is subtree of t if it possible to fit s t certin plce of t, by possibly superimposing leves of s nd internl nodes of t. In this cse, we sy tht t dmits n occurrence of (the pttern) s. Conversely, we sy tht t voids s if there is no occurrence of s in t. In our grphicl representtions, ech plnr rooted tree is depicted so tht its root is the uppermost node. Since we consider in the sequel only plnr rooted trees, we shll cll these simply trees.... Rewrite rules. Let S be set of trees. A rewrite rule on S is binry reltion on S such tht for ll trees s nd s of S, s s only if s nd s hve the sme number of leves. We sy tht tree t is rewritble in one step into t by if there exist two trees s nd s stisfying s s nd t hs subtree s such tht, by replcings by s in t, we obtin t. We denote by t t this property, so tht is binry reltion on S. When t = t or when there exists sequence of trees (t,...,t k ) with k such tht t t t k t, we sy tht t is rewritble by into t nd we denote this property by t t. In other words, is the reflexive nd trnsitive closure of. We denote by the reflexive nd trnsitive closure of nd by (resp. ) the reflexive, trnsitive, nd symmetric closure of (resp. ). The vector spce induced by is the subspce of the liner spn Vect(S) of ll trees of S generted by the fmily of ll t t such tht t t. For instnce, let S be the set of ll trees where internl nodes re lbeled on {, b, c} nd consider the rewrite rule on S stisfying b, (..) c c. (..b) We then hve the following steps of rewritings by : b c b c c b c c c b c c. (..)

8 8 SAMUELE GIRAUDO We shll use the stndrd terminology (terminting, norml form, confluent, convergent, etc.) bout rewrite rules [BN98]. Let us recll the most importnt definitions. Let be rewrite rule on set S of trees. We sy tht is terminting if there is no infinite chin t t t. In this cse, ny tree t of S tht cnnot be rewritten by is norml form for. We sy tht is confluent if for ny trees t, r, nd r such tht t r nd t r, there exists tree t such tht r t nd r t. When is both terminting nd confluent, is convergent... Operds nd Koszulity. We dopt most of nottions nd conventions of [LV] bout operds. For the ske of completeness, we recll here the elementry notions bout operds employed therefter.... Nonsymmetric operds. A nonsymmetric operd in the ctegory of vector spces, or nonsymmetric operd for short, is grded vector spce O := n O(n) (..) together with liner mps i : O(n) O(m) O(n + m ), n, m, i [n], (..) clled prtil compositions, nd distinguished element O(), the unit of O. This dt hs to stisfy the three reltions (x i y) i+j z = x i (y j z), x O(n), y O(m), z O(k), i [n], j [m], (..3) (x i y) j+m z = (x j z) i y, x O(n), y O(m), z O(k), i < j [n], (..3b) x = x = x i, x O(n), i [n]. (..3c) Since we consider in this pper only nonsymmetric operds, we shll cll these simply operds. Moreover, in this work, we shll only consider operds O for which O() hs dimension. When O is such tht ll O(n) hve finite dimensions for ll n, the Hilbert series of O is the series H O (t) defined by H O (t) := n dim O(n) t n. (..4) If x is n element of O such tht x O(n) for n, we sy tht n is the rity of x nd we denote it by x. The complete composition mp of O is the liner mp : O(n) O(m ) O(m n ) O(m + + m n ), (..5) defined, for ny x O(n) nd y,..., y n O, by x [y,..., y n ] := (... ((x n y n ) n y n )... ) y. (..6) If O nd O re two operds, liner mp φ : O O is n operd morphism if it respects rities, sends the unit of O to the unit of O, nd commutes with prtil composition mps. We sy tht O is suboperd of O if O is grded subspce of O, O nd O hve the

9 OPERADS OF DECORATED CLIQUES 9 sme unit, nd the prtil compositions of O re the ones of O restricted on O. For ny subset G of O, the operd generted by G is the smllest suboperd O G of O contining G. When O G = O nd G is miniml with respect to the inclusion mong the subsets of G stisfying this property, G is miniml generting set of O nd its elements re genertors of O. An operd idel of O is grded subspce I of O such tht, for ny x O nd y I, x i y nd y j x re in I for ll vlid integers i nd j. Given n operd idel I of O, one cn define the quotient operd O/ I of O by I in the usul wy. Let us recll nd set some more definitions bout operds. The Hdmrd product between the two operds O nd O is the operd O O stisfying (O O )(n) = O (n) O (n), nd its prtil composition is defined component-wise from the prtil compositions of O nd O. An element x of O() is ssocitive if x x = x x. A symmetry of O is either n utomorphism or n ntiutomorphism of O. The set of ll symmetries of O forms group for the mp composition, clled the group of symmetries of O. A bsis B := n B(n) of O is set-operd bsis if ll prtil compositions of elements of B belong to B. In this cse, we sy tht O is set-operd with respect to the bsis B. Moreover, when ll the mps y i : B(n) B(n + m ), n, m, i [n], y B(m), (..7) defined by y i (x) = x i y, x B(n), (..8) re injective, we sy tht B is bsic set-operd bsis of O. This notion is slightly modified version of the originl notion of bsic set-operds introduced by Vllette [Vl7]. Finlly, O is cyclic (see [GK95]) if there is mp stisfying, for ll x O(n), y O(m), nd i [n], ρ(x i y) = We cll such mp ρ rottion mp. ρ : O(n) O(n), n, (..9) ρ() =, ρ n+ (x) = x, { ρ(y) m ρ(x) if i =, ρ(x) i y otherwise. (..) (..b) (..c)... Syntx trees nd free operds. Let G := n G(n) be grded set. The rity of n element x of G is n provided tht x G(n). A syntx tree on G is plnr rooted tree such tht its internl nodes of rity n re lbeled by elements of rity n of G. The degree (resp. rity) of syntx tree is its number of internl nodes (resp. leves). For instnce, if G := G() G(3) with G() := {, c} nd G(3) := {b}, c b b (..) is syntx tree on G of degree 5 nd rity 8. Its root is lbeled by b nd hs rity 3.

10 SAMUELE GIRAUDO Let G := n G(n) be grded vector spce. In prticulr, G is grded set so tht we cn consider syntx trees on G. The free operd over G is the operd Free(G) wherein for ny n, Free(G)(n) is the liner spn of the syntx trees on G of rity n. The lbeling of the internl nodes of the trees of Free(G) is liner in the sense tht if t is syntx tree on G hving n internl node lbeled by x + λy G, λ K, then, in Free(G), we hve t = t x + λt y, where t x (resp. t y ) is the tree obtined by lbeling by x (resp. y) the considered node lbeled by x + λy in t. The prtil composition s i t of Free(G) of two syntx trees s nd t on G consists in grfting the root of t on the ith lef of s. The unit of Free(G) is the tree consisting in one lef. For instnce, by setting G := Vect(G) where G is the grded set defined in the previous exmple, one hs in Free(G), b 3 c + c = c b + c c b. (..) We denote by c : G Free(G) the inclusion mp, sending ny x of G to the coroll lbeled by x, tht is the syntx tree consisting in single internl node lbeled by x ttched to required number of leves. In the sequel, if required by the context, we shll implicitly see ny element x of G s the coroll c(x) of Free(G). For instnce, when x nd y re two elements of G, we shll simply denote by x i y the syntx tree c(x) i c(y) for ll vlid integers i...3. Evlutions nd treelike expressions. For ny operd O, by seeing O s grded vector spce, Free(O) is by definition the free operd on O. The evlution mp of O is the mp ev : Free(O) O, (..3) defined linerly by induction, for ny syntx tree t on O, by { O if t =, ev(t) := x [ev (t ),..., ev (t k )] otherwise, (..4) where x is the lbel of the root of t nd t,..., t k re, from left to right, the subtrees of t. This mp is the unique surjective operd morphism from Free(O) to O stisfying ev(c(x)) = x for ll x O. If S is subspce of O, treelike expression on S of x O is tree t of Free(O) such tht ev(t) = x nd ll internl nodes of t re lbeled on S...4. Presenttions by genertors nd reltions. A presenttion of n operd O consists in pir (G,R) such tht G := n G(n) is grded set, R is subspce of Free(G), where G := Vect(G), nd O is isomorphic to Free(G)/ R, where R is the operd idel of Free(G) generted by R. We cll G the spce of genertors nd R the spce of reltions of O. We sy tht O is qudrtic if there is presenttion (G,R) of O such tht R is homogeneous subspce of Free(G) consisting in syntx trees of degree. Besides, we sy tht O is binry if there is presenttion (G,R) of O such tht G is concentrted in rity. Furthermore,

11 OPERADS OF DECORATED CLIQUES if O dmits presenttion (G,R) nd is rewrite rule on Free(G) such tht the spce induced by is R, we sy tht is n orienttion of R...5. Koszul dulity nd Koszulity. In [GK94], Ginzburg nd Kprnov extended the notion of Koszul dulity of qudrtic ssocitive lgebrs to qudrtic operds. Strting with n operd O dmitting binry nd qudrtic presenttion (G,R) where G is finite, the Koszul dul of O is the operd O!, isomorphic to the operd dmitting the presenttion ( G,R ) where R is the nnihiltor of R in Free(G), G being the spce Vect(G), with respect to the sclr product, : Free(G)(3) Free(G)(3) K (..5) linerly defined, for ll x, x, y, y G(), by if x = x, y = y, nd i = i =, x i y, x i y := if x = x, y = y, nd i = i =, otherwise. (..6) Then, with knowledge of presenttion of O, one cn compute presenttion of O!. Recll tht qudrtic operd O is Koszul if its Koszul complex is cyclic [GK94, LV]. Furthermore, when O is Koszul nd dmits n Hilbert series, the Hilbert series of O nd of its Koszul dul O! re relted [GK94] by H O ( H O!( t)) = t. (..7) Reltion (..7) cn be used either to prove tht n operd is not Koszul (it is the cse when the coefficients of the hypotheticl Hilbert series of the Koszul dul dmits coefficients tht re not negtive integers) or to compute the Hilbert series of the Koszul dul of Koszul operd. In this work, to prove the Koszulity of n operd O, we shll mke use of tool introduced by Dotsenko nd Khoroshkin [DK] in the context of Gröbner bses for operds, which reformultes in our context, by using rewrite rules on syntx trees, in the following wy. Lemm... Let O be n operd dmitting qudrtic presenttion (G, R). If there exists n orienttion of R such tht is convergent rewrite rule, then O is Koszul. When stisfies the conditions contined in the sttement of Lemm.., the set of the norml forms of forms bsis of O, clled Poincré-Birkhoff-Witt bsis. These bses rise from the work of Hoffbeck [Hof] (see lso [LV]).

12 SAMUELE GIRAUDO..6. Algebrs over operds. Any operd O encodes ctegory of lgebrs whose objects re clled O-lgebrs. An O-lgebr A O is vector spce endowed with liner left ction : O(n) A n O A O, n, (..8) stisfying the reltions imposed by the structure of O, tht re (x i y) ( n+m ) = x ( i y ( i i+m ) i+m n+m ), (..9) for ll x O(n), y O(m), i [n], nd n+m A n+m O. Notice tht, by (..9), if G is generting set of O, it is enough to define the ction of ech x G on A x O to wholly define. In other words, ny element x of O of rity n plys the role of liner opertion x : A n O A O, (..) tking n elements of A O s inputs nd computing n element of A O. By slight but convenient buse of nottion, for ny x O(n), we shll denote by x(,..., n ), or by x if x hs rity, the element x ( n ) of A O, for ny n A n O. Observe tht by (..9), ny ssocitive element of O gives rise to n ssocitive opertion on A O.. FROM UNITARY MAGMAS TO OPERADS We describe in this section our construction from unitry mgms to operds nd study its min lgebric nd combintoril properties... Cliques, unitry mgms, nd operds. We present here our min combintoril objects, the decorted cliques. The construction C, which tkes unitry mgm s input nd produces n operd, is defined.... Cliques. A clique of size n is complete grph p on the set of vertices [n + ]. An rc of p is pir of integers (x, y) with x < y n +, digonl is n rc (x, y) different from (x, x + ) nd (, n + ), nd n edge is n rc of the form (x, x + ) nd different from (, n + ). We denote by A p (resp. D p, E p ) the set of ll rcs (resp. digonls, edges) of p. For ny i [n], the ith edge of p is the edge (i, i + ), nd the rc (, n + ) is the bse of p. In our grphicl representtions, ech clique is depicted so tht its bse is the bottommost segment, vertices re implicitly numbered from to n + in the clockwise direction, nd the digonls re not drwn. For exmple, 4 p := (..) 7

13 OPERADS OF DECORATED CLIQUES 3 is clique of size 6. Its set of ll digonls stisfies D p = {(, 3), (, 4), (, 5), (, 6), (, 4), (, 5), (, 6), (, 7), (3, 5), (3, 6), (3, 7), (4, 6), (4, 7), (5, 7)}, (..) its set of ll edges stisfies nd its set of ll rcs stisfies E p = {(, ), (, 3), (3, 4), (4, 5), (5, 6), (6, 7)}, (..3) A p = D p E p {(, 7)}. (..4)... Unitry mgms nd decorted cliques. Recll first tht unitry mgm is set endowed with binry opertion dmitting left nd right unit M. For convenience, we denote by M the set M \ { M }. To explore some exmples in this rticle, we shll mostly consider four sorts of unitry mgms: the dditive unitry mgm on ll integers denoted by Z, the cyclic dditive unitry mgm on Z/ lz denoted by N l, the unitry mgm D l := {,, d,..., d l } (..5) where is the unit of D l, is bsorbing, nd d i d j = for ll i, j [l], nd the unitry mgm E l := {, e,..., e l } (..6) where is the unit of E l nd e i e j = for ll i, j [l]. Observe tht since e (e e ) = e = e e = e = (e e ) e, (..7) ll unitry mgms E l, l, re not monoids. An M-decorted clique (or n M-clique for short) is clique p endowed with mp φ p : A p M. (..8) For convenience, for ny rc (x, y) of p, we shll denote by p(x, y) the vlue φ p ((x, y)). Moreover, we sy tht the rc (x, y) is lbeled by p(x, y). When the rc (x, y) is lbeled by n element different from M, we sy tht the rc (x, y) is solid. Agin for convenience, we denote by p the lbel p(, n + ) of the bse of p, where n is the size of p. Moreover, we denote by p i, i [n], the lbel p(i, i + ) of the ith edge of p. By convention, we require tht the M-clique of size hving its bse lbeled by M is the only such object of size. The set of ll M-cliques is denoted by C M. In our grphicl representtions, we shll represent ny M-clique p by drwing clique of the sme size s the one ofpfollowing the conventions explined before, nd by lbeling some of its rcs in the following wy. If (x, y) is solid rc of p, we represent it by line decorted by p(x, y). If (x, y) is not solid nd is n edge or the bse of p, we represent it

14 4 SAMUELE GIRAUDO s dshed line. In the remining cse, when (x, y) is digonl of p nd is not solid, we do not drw it. For instnce, p := 3 (..9) is Z-clique such tht, mong others p(, ) =, p(, 5) =, p(3, 7) =, p(5, 7) =, p(, 3) = (becuse is the unit of Z), nd p(, 6) = (for the sme reson). Let us now provide some definitions nd sttistics on M-cliques. Let p be n M-clique of size n. The skeleton of p is the undirected grph skel(p) on the set of vertices [n + ] nd such tht for ny x < y [n + ], there is n rc {x, y} in skel(p) if (x, y) is solid rc of p. The degree of vertex x of p is the number of solid rcs djcent to x. The degree degr(p) of p is the mximl degree mong its vertices. Two (non-necessrily solid) digonls (x, y) nd (x, y ) of p re crossing if x < x < y < y or x < x < y < y. The crossing of solid digonl (x, y) of p is the number of solid digonls (x, y ) such tht (x, y) nd (x, y ) re crossing. The crossing cros(p) of p is the mximl crossing mong its solid digonls. When cros(p) =, there re no crossing digonls in p nd in this cse, p is noncrossing. A (non-necessrily solid) rc (x, y) includes (non-necessrily solid) rc (x, y ) of p if x x < y y. We sy tht p is inclusion-free if for ny solid rcs (x, y) nd (x, y ) of p such tht (x, y) includes (x, y ), (x, y) = (x, y ). Besides, p is cyclic if the subgrph of p consisting in ll its solid rcs is cyclic. When p hs no solid edges nor solid bse, p is white. The border of p is the word bor(p) of length n such tht for ny i [n], bor(p) i = p i. If p hs no solid digonls, p is n M-bubble. An M-bubble is hence specified by pir (b, u) where b is the lbel of its bse nd u is its border. Obviously, ll M-bubbles re noncrossing M-cliques. The set of ll M-bubbles is denoted by B M. We denote by T M the set of ll M-tringles, tht re M-cliques of size. Notice tht ny M-tringle is lso n M-bubble...3. Prtil composition of M-cliques. From now, the rity of n M-clique p is its size nd is denoted by p. For ny unitry mgm M, we define the vector spce CM := n CM(n), (..) where CM(n) is the liner spn of ll M-cliques of rity n, n. The set C M forms hence bsis of CM clled fundmentl bsis. Observe tht the spce CM() hs dimension since it is the liner spn of the M-clique. We endow CM with prtil composition mps i : CM(n) CM(m) CM(n + m ), n, m, i [n], (..) defined linerly, in the fundmentl bsis, in the following wy. Let p nd q be two M- cliques of respective rities n nd m, nd i [n] be n integer. We set p i q s the M-clique

15 OPERADS OF DECORATED CLIQUES 5 of rity n + m such tht, for ny rc (x, y) where x < y n + m, p(x, y) if y i, p(x, y m + ) if x i < i + m y nd (x, y) (i, i + m), p(x m +, y m + ) if i + m x, (p i q)(x, y) := q(x i +, y i + ) if i x < y i + m nd (x, y) (i, i + m), p i q if (x, y) = (i, i + m), M otherwise. (..) We recll tht denotes the opertion of M nd M its unit. In geometric wy, p i q is obtined by gluing the bse of q onto the ith edge of p, by relbeling the common rcs between p nd q, respectively the rcs (i, i + ) nd (, m + ), by p i q, nd by dding ll required non solid digonls on the grph thus obtined to become clique (see Figure ). For exmple, in CZ, one hs the two prtil compositions i p i i+ q p i q = i q p i i+ q p = i p i q i+m FIGURE. The prtil composition of CM, described in geometric terms. Here, p nd q re two M-cliques. The rity of q is m nd i is n integer between nd p. = 3, (..3) =. (..3b)..4. Functoril construction from unitry mgms to operds. If M nd M re two unitry mgms nd θ : M M is unitry mgm morphism, we define Cθ : CM CM (..4) s the liner mp sending ny M -clique p of rity n to the M -clique (Cθ)(p) of the sme rity such tht, for ny rc (x, y) where x < y n +, ((Cθ)(p))(x, y) := θ(p(x, y)). (..5)

16 6 SAMUELE GIRAUDO In geometric wy, (Cθ)(p) is the M -clique obtined by relbeling ech rc of p by the imge of its lbel by θ. Theorem... The construction C is functor from the ctegory of unitry mgms to the ctegory of operds. Moreover, C respects injections nd surjections. Proof. Let M be unitry mgm. The fct tht CM endowed with the prtil composition (..) is n operd cn be estblished by showing tht the two ssocitivity reltions (..3) nd (..3b) of operds re stisfied. This is technicl but simple verifiction. Since CM() contins nd this element is the unit for this prtil composition, (..3c) holds. Moreover, let M nd M be two unitry mgms nd θ : M M be unitry mgm morphism. The fct tht the mp Cθ defined in (..5) is n operd morphism is strightforwrd checking. All this imply tht C is functor. Finlly, the fct tht C respects injections nd surjections is lso strightforwrd verifiction. We nme the construction C s the clique construction nd CM s the M-clique operd. Observe tht the fundmentl bsis of CM is set-operd bsis of CM. Besides, when M is the trivil unitry mgm { M }, CM is the liner spn of ll decorted cliques hving only non-solid rcs. Thus, ech spce CM(n), n, is of dimension nd it follows from the definition of the prtil composition of CM tht this operd is isomorphic to the ssocitive operd As. The next result shows tht the clique construction is comptible with the Crtesin product of unitry mgms. Proposition... Let M nd M be two unitry mgms. Then, the operds (CM ) (CM ) nd C(M M ) re isomorphic. Proof. Let φ : (CM ) (CM ) C(M M ) be the mp defined linerly s follows. For ny M -clique p of CM nd ny M -clique q of CM both of rity n, φ(p q) is the M M -clique defined, for ny x < y n +, by (φ(p q)) (x, y) := (p(x, y),q(x, y)). (..6) Let the mp ψ : C(M M ) (CM ) (CM ) defined linerly, for ny M M -clique r of C(M M ) of rity n, s follows. The M -clique p nd the M -clique q of rity n of the tensor p q := ψ(r) re defined, for ny x < y n +, by p(x, y) := nd q(x, y) := b where (, b) = r(x, y). Since we observe immeditely tht ψ is the inverse of φ, φ is bijection. Moreover, it follows from the definition of the prtil composition of clique operds tht φ is n operd morphism. The sttement of the proposition follows... Generl properties. We investigte here some properties of clique operds, s their dimensions, their miniml generting sets, the fct tht they dmit cyclic operd structure, nd describe their prtil compositions over two lterntive bses.

17 OPERADS OF DECORATED CLIQUES 7... Binry reltions. Let us strt by remrking tht, depending on the crdinlity m of M, the set of ll M-cliques cn be interpreted s prticulr binry reltions. When m 4, let us set M = { M,, b, c,... } so tht, b, nd c re distinguished pirwise distinct elements of M different from M. Given n M-clique p of rity n, we build binry reltion R on [n + ] stisfying, for ll x < y [n + ], xr y if p(x, y) =, yr x if p(x, y) = b, xr y nd yr x if p(x, y) = c. (..) In prticulr, when m = (resp. m = 3, m = 4), M = {, c} (resp. M = {,, b}, M = {,, b, c}) nd the set of ll M-cliques of rities n is in one-to-one correspondence with the set of ll irreflexive nd symmetric (resp. irreflexive nd ntisymmetric, irreflexive) binry reltions on [n + ]. Therefore, the operds CM cn be interpreted s operds involving binry reltions with more or less properties.... Dimensions nd miniml generting set. Proposition... Let M be finite unitry mgm. For ll n, where m := #M. dim CM(n) = m (n+ ), (..) Proof. By definition of the clique construction nd of M-cliques, the dimension of CM(n) is the number of mps from the set { (x, y) [n + ] : x < y } to M. Therefore, when n, this implies (..). From Proposition.., the first dimensions of CM depending on m := #M re,,,,,,,, m =, (..3), 8, 64, 4, 3768, 975, , , m =, (..3b), 7, 79, 5949, , , , , m = 3, (..3c), 64, 496, 48576, , , , , m = 4. (..3d) Except for the first terms, the second one forms Sequence A65, the third one forms Sequence A47656, nd the lst one forms Sequence A53763 of [Slo]. Lemm... Let M be unitry mgm, p be n M-clique of rity n, nd (x, y) be digonl of p. Then, the following two ssertions re equivlent: (i) the crossing of (x, y) is ; (ii) the M-clique p expresses s p = q x r, where q is n M-clique of rity n + x y + nd r is n M-clique or rity y x.

18 8 SAMUELE GIRAUDO Proof. Assume first tht (i) holds. Set q s the M-clique of rity n + x y + defined, for ny rc (z, t) where z < t n + x y +, by p(z, t) if t x, q(z, t) := p(z, t + y x ) if x + t, (..4) p(z + y x, t + y x ) otherwise, nd r s the M-clique of rity y x defined, for ny rc (z, t) where z < t y x +, by { p(z + x, t + x ) if (z, t) (, y x + ), r(z, t) := (..5) M otherwise. By following the definition of the prtil composition of CM, one obtins p = q x r, whence (ii) holds. Assume conversely tht (ii) holds. By definition of the prtil composition of CM, the fct tht p = q x r implies tht p(x, y ) = M for ny rc (x, y ) such tht (x, y) nd (x, y ) re crossing. Therefore, (i) holds. Let P M be the set of ll M-cliques p or rity n tht do not stisfy the property of the sttement of Lemm... In other words, P M is the set of ll M-cliques such tht, for ny (non-necessrily solid) digonl (x, y) of p, there is t lest one solid digonl (x, y ) of p such tht (x, y) nd (x, y ) re crossing. We cll P M the set of ll prime M-cliques. Observe tht, ccording to this description, ll M-tringles re prime. Proposition..3. Let M be unitry mgm. The set P M is miniml generting set of CM. Proof. We show by induction on the rity tht P M is generting set of CM. Let p be n M-clique. If p is of rity, p = nd hence p trivilly belongs to (CM) P M. Let us ssume tht p is of rity n. First, if p P M, then p (CM) P M. Otherwise, p is n M-clique which stisfies the description of the sttement of Lemm... Therefore, by this lemm, there re two M-cliques q nd r nd n integer x [ p ] such tht q < p, r < p, nd p = q x r. By induction hypothesis, q nd r belong to (CM) P M nd hence, p lso belongs to (CM) P M. Finlly, by Lemm.., ifpis prime M-clique, p cnnot be expressed s prtil composition of prime M-cliques. Moreover, since the spce CM() is trivil, these rguments imply tht P M is miniml generting set of CM...3. Associtive elements. Proposition..4. Let M be unitry mgm nd f be n element of CM() of the form f := p T M λ p p, (..6)

19 OPERADS OF DECORATED CLIQUES 9 where the λ p, p T M, re coefficients of K. Then, f is ssocitive if nd only if λ =, p,p,q,q M, δ M, (..7) q q q λ p,q M δ=p q λ p p,q M p p q = M p λ p p p q q q λ p p,q M p δ=p q p λ λ p q p λ q p q =, p,p,q,q M, (..7b) q q q =, p,p,q,q M, δ M. (..7c) Proof. The element f defined in (..6) is ssocitive if nd only if f f f f =. Therefore, this property is equivlent to the fct tht f f f f = q λ p λ q q δ p p,q T M p δ:=p q M = q λ p λ q p δ q p,q T M p δ:=p q M p,p,q,q M δ M + =, p,p,q,q M p,p,q,q M δ M λ p,q M δ=p q + p p p λ p,q M p q = M λ p,q M δ=p q λ p p p p p p q λ p λ q q p p,q T M p p q = M q q q λ λ q λ p λ q p q p,q T M p p q = M q q q q q q q q δ p p λ p q p q p δ q p λ p q q nd hence, is equivlent to the fct tht (..7), (..7b), nd (..7c) hold. q q p p (..8) For instnce, by Proposition..4, the binry elements, (..9) + + of CN re ssocitive, nd the binry elements + (..9b), (..)

20 SAMUELE GIRAUDO of CD re ssocitive. + (..b)..4. Symmetries. Let ret : CM CM be the liner mp sending ny M-clique p of rity n to the M-clique ret(p) of the sme rity such tht, for ny rc (x, y) where x < y n +, (ret(p)) (x, y) := p(n y +, n x + ). (..) In geometric wy, ret(p) is the M-clique obtined by pplying on p reflection trough the verticl line pssing by its bse. For instnce, one hs in CZ, ret =. (..) Proposition..5. Let M be unitry mgm. Then, the group of symmetries of CM contins the mp ret nd ll the mps Cθ where θ re unitry mgm utomorphisms of M. Proof. When θ is unitry mgm utomorphism of M, since by Theorem.. C is functor respecting bijections, Cθ is n operd utomorphism of CM. Hence, Cθ belongs to the group of symmetries of CM. Moreover, the fct tht ret belongs to the group of symmetries of CM cn be estblished by showing tht this mp is n ntiutomorphism of CM, directly from the definition of the prtil composition of CM nd tht of ret...5. Bsic set-operd bsis. A unitry mgm M is right cncellble is for ny x, y, z M, y x = z x implies y = z. Proposition..6. Let M be unitry mgm. The fundmentl bsis of CM is bsic set-operd bsis if nd only if M is right cncellble. Proof. Assume first tht M is right cncellble. Let n, i [n], nd p, p, nd q be three M-cliques such tht p nd p re of rity n. If q i (p) = q i (p ), we hve p i q = p i q. By definition of the prtil composition mp of CM, ny sme rc of p nd p hve the sme lbel, unless possibly the edge (i, i + ). Moreover, we hve p i q = p i q. Since M is right cncellble, this implies tht p i = p i, nd hence, p = p. This shows tht the mps q i re injective nd thus, tht the fundmentl bsis of CM is bsic set-operd bsis. Conversely, ssume tht the fundmentl bsis of CM is bsic set-operd bsis. Then, in prticulr, for ll n nd ll M-cliques p, p, nd q such tht p nd p re of rity n, q (p) = q (p ) implies p = p. This is equivlent to stte tht p q = p q implies p = p. This mount exctly to stte tht M is right cncellble.

21 OPERADS OF DECORATED CLIQUES..6. Cyclic operd structure. Let ρ : CM CM be the liner mp sending ny M- clique p of rity n to the M-clique ρ(p) of the sme rity such tht, for ny rc (x, y) where x < y n +, { p(x +, y + ) if y n, (ρ(p))(x, y) := (..3) p(, x + ) otherwise (y = n + ). In geometric wy, ρ(p) is the M-clique obtined by pplying rottion of one step of p in the counterclockwise direction. For instnce, one hs in CZ, ρ =. (..4) Proposition..7. Let M be unitry mgm. The mp ρ is rottion mp of CM, endowing this operd with cyclic operd structure. Proof. The fct tht ρ is rottion mp for CM follows from technicl but strightforwrd verifiction of the fct tht Reltions (..), (..b), nd (..c) hold...7. Alterntive bses. If p nd q re two M-cliques of the sme rity, the Hmming distnce h(p,q) between p nd q is the number of rcs (x, y) such tht p(x, y) q(x, y). Let be be the prtil order reltion on the set of ll M-cliques, where, for ny M-cliques p nd q, one hs p be q if q cn be obtined from p by replcing some lbels M of its edges or its bse by other lbels of M. In the sme wy, let d be the prtil order on the sme set where p d q if q cn be obtined from p by replcing some lbels M of its digonls by other lbels of M. For ll M-cliques p, let the elements of CM defined by H p := p, (..5) nd For instnce, in CZ, p C M p be p K p := ( ) h(p,p) p. p C M p d p (..5b) H = + + +, (..6) K = +. (..6b)

22 SAMUELE GIRAUDO Since by Möbius inversion, one hs for ny M-clique p, ( ) h(p,p) H p = p = K p, (..7) p C M p be p p C M p d p by tringulrity, the fmily of ll the H p (resp. K p ) forms bsis of CM clled the H-bsis (resp. the K-bsis). If p is n M-clique, d (p) (resp. d i (p)) is the M-clique obtined by replcing the lbel of the bse (resp. ith edge) of p by M. Proposition..8. Let M be unitry mgm. The prtil composition of CM expresses over the H-bsis, for ny M-cliques p nd q different from nd ny vlid integer i, s H p i q + H di (p) i q + H p i d (q) + H di (p) i d (q) if p i M nd q M, H p i q + H di (p) H p i H q = i q if p i M, (..8) H p i q + H p i d (q) if q M, otherwise. H p i q Proof. From the definition of the H-bsis, we hve H p i H q = p i q p,q C M p be p q be q = p i q + p i q + p i q + p i q. (..9) p,q C M p be p q be q p i M q M p,q C M p be p q be q p i M q = M p,q C M p be p q be q p i = M q M p,q C M p be p q be q p i = M q = M Let s (resp. s, s 3, s 4 ) be the first (resp. second, third, fourth) summnd of the lst member of (..9). There re four cses to explore depending on whether the ith edge of p nd the bse of q re solid or not. From the definition of the H-bsis nd of the prtil order reltion be, we hve tht () when p i M nd q M, s = H p i q, s = H p i d (q), s 3 = H di (p) i q, nd s 4 = H di (p) i d (q); (b) when p i M nd q = M, s =, s = H p i q, s 3 =, nd s 4 = H di (p) i q; (c) when p i = M nd q M, s =, s =, s 3 = H p i q, nd s 4 = H p i d (q); (d) nd when p i = M nd q = M, s =, s =, s 3 =, nd s 4 = H p i q. By ssembling these cses together, we retrieve the stted result. Proposition..9. Let M be unitry mgm. The prtil composition of CM expresses over the K-bsis, for ny M-cliques p nd q different from nd ny vlid integer i, s K p i q if p i q = M, K p i K q = (..) K p i q + K di (p) i d (q) otherwise.

23 OPERADS OF DECORATED CLIQUES 3 Proof. Let m be the rity of q. From the definition of the K-bsis nd of the prtil order reltion d, we hve K p i K q = ( ) h(p,p)+h(q,q) p i q = = p,q C M p d p q d q p,q C M p i q d p i q p i =p i q =q ( ) h(p,p)+h(q,q) p i q ( ) h(r,p iq) r. (..) r C M r d p i q r(i,i+m )=p i q When p i q = M, (..) is equl to K p i q. Otherwise, when p i q M, we hve ( ) h(r,p iq) r = ( ) h(r,p iq) r ( ) h(r,p iq) r r C M r d p i q r(i,i+m )=p i q r C M r d p i q = K p i q = K p i q r C M r d d i (p) i d (q) r C M r d p i q r(i,i+m ) p i q ( ) h(r,p iq) r ( ) +h(r,d i(p) i d (q)) r (..) r C M r d d i (p) i d (q) = K p i q + K di (p) i d (q). This proves the climed formul for the prtil composition of CM over the K-bsis. For instnce, in CZ, H H = H + H + H, (..3) K K = K + K, (..3b) H 3 H = H + H + H + H, (..3c) 3 K 3 K = K + K. (..3d) 3 H H = H + H + H, (..3e)