SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY arxiv:math/ v1 [math.qa] 29 Nov 2002

Transcription

1 1 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY rxiv:mth/ v1 [mth.qa] 29 Nov 2002 SWAPNEEL MAHAJAN Astrt. A theorem of Kontsevih reltes the homology of ertin infinite imensionl Lie lgers to grph homology. We formulte this theorem using the lnguge of reversile opers n mte speies. All ies re expline using pitoril lulus of uttings n mtings. The Lie lgers re onstrute s Hmiltonin funtions on sympleti oper mnifol. An grph omplexes re efine for ny mte speies. The generl formultion gives us mny exmples inluing grph homology for groups. We lso speulte on the role of eformtion theory for opers in this setting. 1. Introution This pper is my humle triute to the genius of Mxim Kontsevih. Neeless to sy, the reit for ny new ies tht our here goes to him, n not me. For how I got involve in this wonerful projet, see the historil note (1.3). In the ppers [22, 23], Kontsevih efine three Lie lgers n relte their homology with lssil invrints, inluing the homology of the group of outer utomorphisms of free group n mpping lss groups. He showe this y reuing the homology omputtion in eh se to three grph omplexes. His min theorem n e informlly stte s Theorem. H (Lie lger) = H (Grph omplex) = H (Group). In this pper, we onsier only the first prt of this theorem. The efinitions of the Lie lgers re motivte y lssil sympleti geometry. Kontsevih onsiere three worls - ommuttive, ssoitive n Lie. He evelope forml nlogues of lssil sympleti geometry (whih is the ommuttive se) for the ssoitive n Lie worls. Eh of the three Lie lgers ws then efine s Hmiltonin funtions on sympleti non-ommuttive mnifol with the rket eing the nlogue of the usul Poisson rket. The sympleti Lie lger sp(2n) ws Lie sulger of ll three Lie lgers. In the ommuttive se, Kontsevih efine hin omplex using grphs. The homology of this hin omplex is known s grph homology. He lso gve n nlogous efinition in the ssoitive se using rion grphs n in the Lie se using more omplite grphs, whih one my ll Lie grphs. The onnetion etween n lgeri or geometri ojet like Lie lger on one sie n omintoril ojet like grph on the other sie is the ontent of Kontsevih s theorem. The min tool in proving this onnetion is to use lssil invrint theory of sp(2n) Mthemtis Sujet Clssifition. Primry 18D50, 17B65, 05C15; Seonry 53D55. Key wors n phrses. speies; opers; sympleti geometry; ifferentil forms; grph (o)homology; eformtion theory. 1

2 2 SWAPNEEL MAHAJAN 1.1. The gol of this pper. From the unifie wy in whih Kontsevih trete the three ses, one expete them to e prt of more generl theory. In ft, in [22], Kontsevih me the following sttement. Our formlism oul e extene to the se of Koszul ul pirs of qurti opers (see [17]) inluing Poisson lgers n, proly, opertor lgers et. This pper rose in n ttempt to unerstn this sttement. In mthemtis, just s we hve the notion of theorem, proposition, orollry, et, so shoul we hve the notion of Kontsevih sentene, the ove eing lssi exmple. Erlier we use the term worl to stn for one of the three wors - ommuttive, ssoitive n Lie. A possile mthemtil sustitute for this term is the wor oper. It is not possile to evelop n nlogue of sympleti geometry for every oper. However, one n o so if the oper is reversile. The ommuttive, ssoitive n Lie opers re three exmples. The notion of reversile oper ws evelope inepenently y Getzler n Kprnov uner the nme of yli oper [14]. For some informtion on the history, see the isussion in (1.3). The gol of this pper is to formulte the first prt of Kontsevih s theorem in wht ppers to e its most nturl setting - the worl of reversile oper. To suh n oper P, we ssoite Lie lger QA n grph omplex (QG, E ) n then show tht they hve the sme homology. A preise sttement is given in Theorem 1 in Setion Orgnistion of the pper. We now explin the struture of the pper n give guie to how reers with ifferent interests n kgrouns n re it. The two wors tht ominte the pper re speies n opers. These notions re expline in Setion 2. In the sme setion we efine reversile opers. We give plenty of simple exmples with stress li on rwing pitures. More exmples re isusse in Setions 7 n 9. We hope tht the mount of etil given long with the exmples will e suffiient for the reer unfmilir with these onepts. In Setion 3, we onstrut Mting Funtor : {Reversile opers} {Speies}. Let P e reversile oper n Q its imge uner this funtor. Rememer tht our first gol is to ssoite Lie lger n grph omplex to P. The ft is tht the mting funtor is the min step in onstruting these two ojets, n the speies Q plys key role. So we ll these two ojets QA n (QG, E ) respetively, stressing the lose onnetion to the speies Q. The letters A n G stn for lger n grph respetively. The susript refers to the ft tht QA will e efine s iret limit of fmily of Lie lgers QA n. Setions 2 n 3, on whih we hve elorte so fr, form the si struture on whih the rest of the pper is uilt. It is goo ie to voi tehnil etils on first reing n just keep few onrete exmples in min. The rest of the pper n e split into three prts. Prt A is out the left hn sie of Theorem 1 (Lie lgers), Prt B is out the right hn sie (grph homology) n Prt C is out stting n proving the theorem. Prt A : Setions 4-7. This els with sympleti oper geometry. We strt with n overview in Setion 4. The gol of Setion 5 is to efine the Lie lger QA. This is one vi simple pitoril lulus of uttings n mtings. The Lie lger

3 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 3 homology H (QA ) hs the struture of Hopf lger, whih we then explin. This ompletes the efinition of the left hn sie of Theorem 1. In Setion 6, we explin Kontsevih s sympleti mini-theory. This is logilly not essentil to the rest of the pper. However, it is oneptully the most importnt setion in Prt A. It shows how the Lie struture on QA emerges nturlly from sympleti form. This llows us to think of QA s Hmiltonin funtions on sympleti oper mnifol. Prt B : Setions This els with grph homology. The reer, who is minly intereste in grph homology, n iretly strt with this prt even skipping Setions 2 n 3. We first efine generl grph omplex (G, E ) n then look t other relevnt (n smller) grph omplexes, (QG, E ) eing one of them. This ompletes the efinition of the right hn sie of Theorem 1. Setion 9 is optionl. It ontins n interesting exmple of the theory whih is se on groups. In Setion 10, we ontinue with grph homology n evelop some tools tht will e use in the proof of the min theorem. This involves efining ohin omplex (G,δ E ), i.e. grph ohomology. The homology n ohomology re relte y n interesting n highly non-trivil piring on grphs (10.2). Prt C : Setions This els with the onnetion etween sympleti geometry n grph homology. Setion 11 ontins preise formultion of the min theorem. To igest the sttement ompletely, the mteril on Lie lgers n grph homology in Setions 5 n 8 respetively is prerequisite. The next three setions el with the proof of the theorem. The min ies of the proof re lrey present in the ommuttive se. Sine the proof is quite involve, we suggest tht the reer speilise to this se on first reing. The Lie lger QA in this se is esy to efine iretly. So Setions 2-7 re not neessry. Thus the reer, who minly wnts to see the ies in the proof, my strt with Prt C iretly, skipping Prt A n referring k to Prt B s neessry. The proof of Theorem 1 is given in three prts (Setions 12,13 n 14). In eh of these setions, we stte n prove theorem of the form H (Lie lger) = H (Grph omplex), grully getting loser to our gol. As mentione erlier, the min tool in the proof is lssil invrint theory of sp(2n). This prt is one in Setion 12. The seon prt of the theorem given in Setion 13 els with the stility issue (n ) n mkes strong use of the ies of Setion 10. In Setion 14, we unerstn the spe of primitive elements of the Hopf lger H (QA ). This is lrgely mtter of unwining efinitions n there re no new ies here. Sine Hopf lgers ply minor role in this pper, the reer unfmilir with them my simply omit this setion without losing ny of the min ies. Appenix. We hve inlue two ppenies, whih explin how eformtion theory reltes to the ies of this pper. They re not logilly essentil to the unerstning of the min theorem. Appenix A speultes on the eformtion quntistion prolem for opers in this setting. In Appenix B, we show tht ertin Lie rket on grph homology efine in [7] is zero.

4 4 SWAPNEEL MAHAJAN 1.3. A historil note. This work grew out of seminr orgnise y Kren Vogtmnn, evote to unerstning Kontsevih s work (Fll 2000). Other prtiipnts inlue D. Ciuotru, F. Gerlits, D. Brown, J. Connt, M. Hork, F. Shwrtz, M. Cohen n J. West. My unerstning of Kontsevih s ies, prtiulrly the proof of the ommuttive se, is ue to them. The mteril in ( ) n ( ) is se on the seminr notes. Connt n Vogtmnn re writing n exposition tht hs some overlp with this. The notion of reversile oper n its role in sympleti oper geometry ws one in July 2001 (Setions 2-7). The rest of the pper, nmely, efining grph homology for mte speies n Theorem 1, ws then reltively esy. The result in Appenix B ws prove lter in Novemer These ies, in some form or the other, h lrey ppere in the works of Getzler n Kprnov [14, 15], Ginzurg [16] n Mrkl [29]. Being ignornt of the oper literture t tht time, this ws grul isovery for me. In this pper, I give my own viewpoint of the sujet, whih ws forme y reing Kontsevih. In [14], Getzler n Kprnov introue the notion of yli opers in orer to exten the formlism of yli homology for ssoitive lgers [27] to oper lgers. This notion oinies with wht we ll reversile oper. For suh n oper P, they introue funtor λ(p, ) : {P-lgers} {Vetor spes}. In our nottion (see Setions 4 n 5), λ(p,pa) = QA, n eqution (3) in (5.1) n e tken s the efinition of λ. The mting funtor is similr in spirit to λ, exept tht we el with opers n speies rther thn lgers n vetor spes. In [16], Ginzurg expline Kontsevih s sympleti mini-theory for yli Koszul oper. He enote the funtor λ y the letter R. Sine Koszul oper is qurti, the reltions in eqution (3) tke the simpler form = n µ(,) = µ(,) for µ P[2]. These re preisely the reltions tht Kontsevih wrote in [22]. Elements of ssoitive n Lie lulus h ppere erlier in the works of Kroui [20] n Drinfel [8]. However, s we show, to o sympleti geometry, it is suffiient to ssume tht P is reversile, not neessrily Koszul or qurti. In ft, ll the exmples in Setion 7 n some erlier ones too re non-qurti. We isovere reversiility y requiring tht the notion of prtil erivtive mke sense (Proposition 1). So in this sense, it is lso neessry onition to o sympleti geometry. In [29], Mrkl onsiere grph omplexes ssoite to yli opers. An for this, he referre k to the Feynmn trnsform onstrution of Getzler n Kprnov [15]. We onlue the introution with two remrks. Koszul opers will ply n importnt role in the seon prt of Kontsevih s theorem, whih we o not onsier here. Ifweswith fromlie tolieniz lgers[26] then wewill en up with nother vtr of grph homology. Now verties of grphs will hve honest lels, unlike in usul grph homology, where verties re lelle only upto orienttion.

5 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 5 2. Speies, opers n reversile opers Inthissetion, wegiveriefintroutiontospeiesnopersnthenefine reversile opers. An exellent exposition on speies n e foun in the ook y Bergeron, Lelle n Leroux [3]. The notes y Voronov [38] ontin goo review on opers. A more omprehensive referene is the seminl work of Ginzurg n Kprnov [17]. For some reent evelopments on opers, see [13, 14, 15, 28, 25]. For erlier literture, see [19, 30, 35, 24], where the onepts of speies n opers first originte Speies. A speies Q is funtor from the tegory of (Finite sets, ijetions) to the tegory of (Sets, mps). We enote the imge of set I y Q[I] n sy tht Q[I] is the set of Q-strutures on the set I. The set Q[φ] will lwys e empty. Speies Q Piture of n element of Q[I] for I = {,,,} = = = t tt We now give some exmples of speies. The pitures tht go long with the exmples re shown in the tle. [I] = {I}, tht is, there is extly one -struture on the set I. There re vriety of wys to show this vi pitures. [I] = the set of liner orers on the set I. We hve shown two pitures for it. [I] = the set of yli orers on the set I if I 2 n empty otherwise. t[i] = the set of roote trees with leves lelle y elements of the set I. tt[i] = the set of trees with leves lelle y elements of the set I if I 2 n empty otherwise. An element of Q[I] n e shemtilly rwn s

6 6 SWAPNEEL MAHAJAN Q[I] for I = {,,,}. Note tht the piture for the speies fits in with this representtion perfetly. An the remining exmples n lso e me to fit in without iffiulty. For exmple, the speies n e rwn s n so on for the others too. A speies n e equivlently efine s sequene Q[0],Q[1],Q[2],..., where Q[n] is Σ n set, where Σ n is the symmetri group on n letters. Here we hve revite our nottion so tht Q[n] stns for Q[{1,2,...,n}]. In the pitures, the group Σ n ts y permuting the n letters. It is lso useful to use more generl efinition of speies where the trget tegory is reple y the tegory of vetor spes. In this se, speies is sequene s ove with Q[n] eing liner representtion of Σ n. It is ler tht using vetor spes s the trget tegory is more generl euse one n go from sets to vetor spes y linerising the representtion. Remrk. Throughout this pper, we use only sets n vetor spes s the trget tegories. However, this restrition is minly for simpliity. For exmple, one my onsier speies in the tegory of topologil spes. It woul e sequene X[0],X[1],X[2],... of topologil spes with n tion of Σ n on X[n] Opers. Note tht for eh of the exmples,,t, we suggeste piture with n rrow rwn in it. This is possile euse these speies hve the itionl struture of n oper. We egin with n informl isussion on opers. An oper P is speies in whih there is sustitution rule. It n e shown shemtilly s, P[I] for I = {,,,}. One thinks of,,, s four inputs n the rrow s n output. The sustitution rule llows us to fee the output of one ojet p 2 into the input of nother ojet p 1. We write this s p 2 p 1 or p 1 p 2. This n e shown s p 2 y x z p 1 = If we wish to e more speifi, we will write p 2 y p 1. This mens tht we fee p 2 to tht input of p 1 whose lel is y. x z.

7 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 7 Now we show how the sustitution rule works in eh of the exmples,,t. x x y =. y x z z = For the speies t, we grft the root of the first tree into the speifie lef of the seon tree. x x y =. z z Note tht there is nother wy possile. One oul ontrt the ege t whih the grfting took ple. This is wht hppene for the speies. There re numerous other vritions one n o on this exmple; for instne, one oul use roote inry trees. To give forml efinition, n oper P is speies with sustitution rule whih is ssoitive, n omptile with the morphisms in the soure tegory. The first onition sys tht if we perform two sustitutions, one fter the other, then the orer in whih we o them oes not mtter. The seon onition sys tht sustitution ommutes with relelling of the inputs. For more etil on these onitions, see the referenes ite erlier. For onveniene of ookkeeping, it is useful to lel the output s well. This ie n e formlise s follows. For ny oper P, efine i-funtor P : (Sets, ijetions) (Singleton sets, ijetions) (Vetor spes, mps) y setting P[I,U] = P[I], where U is singleton set. One thinks of n element of P[I,U] s n element of P[I] whose output is lelle y the element of U. For the sustitution rule in this sitution, we emn tht the output lel of p 2 mth y the input lel of p 1. So the nottion p 2 p 1 now mens tht the lel of the output of p 2 is y n it is fe to n input of p 1 whose lel is gin y. Just s for speies, we n efine n oper s sequene P[n] of Σ n moules equippe with sustitution rule tht is ssoitive n Σ n invrint. A unit element of P is n element of P[1] whih when sustitute into n input of ny p P[n] gives k p. We ssume tht our opers hve units n ll the unit element u. In the seon nottion, we woul write P[n,1] inste of P[n] n the unit element woul lie in P[1,1] Exmples. We now orgnise together si set of exmples. These inlue the ones shown in the tle (2.1). The motivtion for orgnising them in this mnner will eome ler when we isuss the mting funtor (3.1). We mke two quik remrks. All exmples here re se on sets. Furthermore, the ones tht x z z.

8 8 SWAPNEEL MAHAJAN re opers hve unit elements n stisfy P[1] = Q, i.e. P[1] is just the spn of the unit element u of P The unit oper u n speies uu. Define u[i] = {I} if I is singleton n empty otherwise. An similrly, put uu[i] = {I} if I = 2 n empty otherwise. These two exmples ply funmentl role in this pper euse of their onnetion to the sympleti Lie lger sp(2n), see (5.4). u The ommuttive oper n speies. Define [I] = {I}, tht is, there is extly one -struture on the set I. Also efine [I] = {I} if I 2 n empty otherwise. Though this is lso n oper (without unit), we ll it the ommuttive speies. As fr s pitures go, we will use the one with rrow for n the one without it for The ssoitive oper n speies. Let [I] = the set of liner orers on the set I. Also let [I] = the set of yli orers on the set I if I 2 n empty otherwise The tree oper t n speies tt. Let t[i] = the set of roote trees with leves lelle y elements of the set I. For the tree speies tt, we rop the wor roote. In other wors, tt[i] = the set of trees with leves lelle y elements of the set I if I 2 n empty otherwise. Sine there is no root, one nnot efine sustitution rule The hor oper k n speies kk. The hor speies kk[i] is the set of hor igrms on the set I. Tht is, n element of kk[i] speifies wy to pir off the elements of I. Clerly, this is non-empty only when the rinlity of I is even. Define the hor oper k[i] in the sme wy, exept tht one of the hors is left hnging t one en. Hene this is non-empty only when the rinlity of I is o. The sustitution rule shoul e ler. The speies,tt,kk hve no nturl sustitution rule; so they re not opers. We will give some more exmples lter (Setions 7 n 9) Reversile opers. An oper P is reversile if there is rule tht llows us to swith the output with ny given input. One represents this pitorilly s r x,y x y PSfrg replements = x y. To give forml efinition, for eh set I n x I, there exist reversl mps uu r x,y : P[I,{y}] P[I \{x} {y},{x}], whih re sujet to two onitions. 1. We require r y,x r x,y = ientity n r x,y r y,z = r x,z. It follows from these two reltions tht the omposite of sequene of reversls is either the ientity mp or single reversl.

9 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 9 2. Reversl must e omptile with sustitution. Tht is, { y y p r x,z (p 2 p 1 ) = 2 r x,z (p 1 ) if x is n input of p 1, y r x,y (p 2 ) r y,z (p 1 ) if x is n input of p 2. Here y lels one of the inputs of p 1 s well s the output of p 2 n z lels the output of p 1. The exmples of opers (P = u,,,t,k) tht we gvein (2.3) re ll reversile. For eh of these exmples, there is piture of the oper tht fits in with the shemti one. The reversl mp in ll ses then works extly s shown ove in the shemti piture. We give some intuitive mening to the onitions on the reversl mps. Conition 1 sys tht reversl is n externl opertion. The internl t of the oper remins unhnge. Conition 2 sys tht oper sustitution ommutes with oper reversl. This will eome lerer from the exmples of non-reversile opers given in (2.5). Remrk. The reversl rules my not e unique. For exmple, in (7.2), we give two istint wys to reverse the grph oper Non-exmples. We now give two exmples of opers tht re not reversile. So they ply no role in the rest of the pper. Let Perm[I] = I n Dis[I] = the set of liner orers with istinguishe element on the set I. Perm[I], Dis[I]. The pitures show exmples for I = {,,,}. We explin the sustitution rule for the oper Dis. There re two ses epening on whether the input into whih the sustitution ours is irle or not. y x z = The piture illustrtes the seon se. The first se works s follows. If the input y were irle inste of x then the result woul e irle on the input. The sustitution rule for Perm is similr. Oserve tht Perm n Dis re losely relte to the ommuttive (2.3.2) n ssoitive (2.3.3) opers respetively. They re inry qurti n were introue y Loy n his ollortors with motivtion from lgeri K-theory[25]. For other exmples of non-reversile opers, see [14]. 3. The mting funtor In this setion, we introue the mting funtor, whih llows us to onstrut mte speies from reversile oper. We then explin the onept of prtil erivtive for mte speies (Proposition 1). This is the most ruil prt of the theory n shows extly how the onitions on the reversl mp given in (2.4) rise. x z.

10 10 SWAPNEEL MAHAJAN 3.1. The mting funtor. Define speies Q strting with reversile oper P s follows. For ny finite set K, let Q[K] = P[I,U] P[J,U], I J=K sujet to the two reltions: (R1) p 2 p 1 = p 1 p 2, n (R2) p 3 p 2 p 1 = p 3 r(p 2 ) p 1. The set U is ny singleton, ll hoies eing onsiere equivlent. We interpret the tensor sign s mting, n sy tht p 2 p 1 is mting of p 2 n p 1. We show it s p p2 p1. For simpliity of nottion, we re suppressing the lels. The symmetry of reltion (R1) is thus uilt into the piture. If either of p 2 or p 1 is the unit element u then we sy tht the mting p 2 p 1 is trivil. We show it s p u p2. In nontrivil mting, we will ll the segment joining p 2 n p 1 n iel ege. It hs two opposing rrowhes in the entre. Remrk. Iel eges will ply n importnt role lter in the efinition of grph ohomology (10.1). The seon reltion (R2) is written s uner p 3 p 2 p 1 = p 3 p 2 p 1. The nottion p 2 stns for r(p 2 ). Sine we ssume tht the oper P hs unit, we n use reltion (R2) to express ny mting p 2 p 1 s trivil mting s follows. Write p 1 = p 1 u, where u is the unit element of P. Then (1) p 2 p 1 = p 2 p 1 u = p 2 r(p 1 ) u. This llows us to think of mting p 2 p 1 roughly s reversl of p 1 followe y sustitution of p 2 into p 1 or vie-vers. We will refer to speies otine from reversile oper y the ove proeure s mte speies. For ovious resons, Q[K] is non-empty only if K How elements of reversile oper mte. In exmples, sustitutions n reversls usully hve pitoril esription. An hene so o mtings. We now show the mting in the ssoitive se. x x x x y = y = y = y. z z z z The piture shows tht the mting funtor mps the ssoitive oper to the ssoitive speies. For the ommuttive se, mting ours s follows. x x =. z z Thus the ommuttive oper mps to the ommuttive speies.

11 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 11 Similrly, one sees tht n oper P mps to the speies Q = PP when P = u,t,k, see (2.3). The letter repetition is use to inite tht the speies is otine s mting. A more orret nottion woul e to write Q = P, ut we will not other with tht The speil role of u n uu. In llexmplessofr(2.3), wehvep[1] = Q. In other wors, it is just the spn of the unit element u of P. Hene Q[2] = Q is the spn of the element otine y mting the unit element of P with itself, whih is uu. An so [2] = [2] = tt[2] = kk[2]. For exmple, there is only one yli orer or unroote tree or hor igrm on 2 letters. Thus if we ignore the piees of egree > 1 in P n > 2 in Q then we re left preisely with the unit oper u n speies uu. In generl, we lwys ssume tht P hs unit. Hene u n uu re lwys prt of P n Q respetively. For onveniene, we use the letter u for oth the unit oper n the unit element in n oper. Similrly for uu The prtil erivtive. Now we introue the notion of prtil erivtive for mte speies. Proposition 1. Let P e reversile oper with unit u n Q e its mte speies. For K n q Q[K], there is unique element p = q P[K \] suh tht q = q u. In terms of pitures, q = Proof. There re two prts to the proposition. The first one is the existene of q. This is sme s sying tht q n e written s trivil mting (t speifie input). We hve lrey erive this in eqution (1) s simple onsequene of reltion (R2), see (3.1). Theseonprtistoshowtheuniquenessof q. Supposethtq = p 1 u = p 2 u. This mens tht one n otin p 2 u from p 1 u y suessive pplitions of reltion (R2). Now the reution lemm elow sys tht this n e one in one step. This implies tht p 1 = p 2. To omplete the proof of the ove proposition, we prove reution lemm tht nlyses the reltion (R2) in the efinition of mte speies (3.1). The proof of the lemm will use the two onitions impose on the reversl mps in the efinition of reversile oper (2.4). Lol nottion. We will follow the onvention tht susripts inrese from right to left. If p = p 2 p 1 then we sy tht p 2 p 1 is splitting of p. Similrly, p = p 3 (p 2 p 1 ) = (p 3 p 2 ) p 1 is splitting of p into three prts. Sine oper sustitution is ssoitive, we my lso write p = p 3 p 2 p 1. For simpliity of nottion, we re suppressing lels. Reution lemm. Let P e reversile oper with reversl rule r n unit u. The result otine y two suessive pplitions of reltion (R2) to p u n, in ft, e otine y single pplition of (R2). p u. P

12 12 SWAPNEEL MAHAJAN Proof. We my ssume tht the first pplition of reltion (R2) to p u involves splitting p. If we split u then nothing hnges n the lemm is prove iretly. Hene sy p = p 2 p 1 n pplying (R2), we otin p u = p 2 p 1 u (R2) p 2 r(p 1 ) u = p 2 p 1, where p 1 = r(p 1) u. For the seon pplition, we pply reltion (R2) to p 2 p 1. This involves two ses. 1. We split p 2 s sy p 2 = p 3 p We split p 1. Let us look t the first se. We hve p 2 p 1 = p 3 p 2 p 1 (R2) p 3 r(p 2 ) p 1. Sustituting p 1 = r(p 1 ) u n using the ssoitivity of sustitution n the omptiility of reversl with sustitution, we get p 3 r(p 2 ) p 1 = p 3 r(p 2 ) (r(p 1 ) u) = p 3 r(p 2 p 1 ) u. Hene the net effet of two pplitions of reltion (R2) hs een p u p 3 r(p 2 p 1 ) u, where p = p 2 p 1 = (p 3 p 2 ) p 1 = p 3 (p 2 p 1 ). It is ler tht the sme effet is hieve y p u = p 3 (p 2 p 1 ) u (R2) p 3 r(p 2 p 1 ) u, whih is just one pplition of reltion (R2) to p u. This ompletes the nlysis for the first se. For the seon se, we just point out simple suse n leve the rest out. If we split p 1 s p 1 = r(p 1 ) u n pply reltion (R2) then we just reverse the first step n get k p u. An here we use the reltion r y,x r x,y = ientity. 4. Overview of sympleti oper geometry In this setion, we explin some of the philosophy of sympleti oper geometry. The reer n just glne through it on first reing. Complete etils re given in Setions 5-7. The reer more intereste in grph homology my iretly go to Setions Wht is n oper mnifol? An orinry mnifol X is ommuttive ojet in the following sense. Funtions on X form ommuttive lger, the prout eing pointwise multiplition. To go little further, ifferentil forms on X form gre or superommuttive lger with the usul wege prout. Mny geometri notions ssoite to X n e pture y these ommuttive lgers. For exmple, vetor fiels on X re erivtions of the lger of funtions on X. Amongllmnifols, R n plysspeilrole. An thespeofpolynomilfuntions on R n is the free ommuttive lger on n genertors. Now for generl oper P, there is notion of P-lger, P-superlger, free P-lger, et. For exmple, for the ssoitive oper, one hs ssoitive lgers; for the Lie oper, one hs Lie lgers n so on. We woul like to think of P-lger s the lger of funtions on P-mnifol, n of the

13 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 13 free P-lger on n genertors s the lger of funtions on the n imensionl P-mnifol whih is the nlogue of R n. We emphsise tht P-mnifol s geometri ojet oes not mke ny sense. However, thinking of P-lger in this mnner is useful euse it llows us to mke nlogies with the ommuttive se. In this pper, we will only el with free P-lgers Wht is sympleti oper geometry? Let us strt with the ommuttive se. For n introution to lssil sympleti topology, see the ook y MDuff n Slmon [32]. A sympleti mnifol (X,ω) is mnifol X with lose non-egenerte 2 form ω. The existene of suh 2 form implies tht X is even imensionl. Further, the lger of smooth funtions C (X) hs the struture of Lie lger. The stnr exmple of sympleti mnifol is (R 2n,ω 0 ). Here ω 0 is the stnr sympleti form p i q i, where p 1,...,p n,q 1,...,q n re oorintes on R 2n. The Lie lger struture on C (R 2n ) is given y the usul Poisson rket (2) {F,H} = n i=1 F H F H for F,H C (R 2n ). p i q i q i p i Inste of smooth funtions, it is esier to el with polynomil funtions n heneforth we will lwys o so The generl se. We wnt to o something similr for generl oper P. Let X e P-mnifol. As expline in (4.1), this simply mens tht we hve P-lger. An sine we re only going to el with the free se, we further ssume tht we hve free P-lger. Cll it PA. Sine one thinks of PA s polynomil funtions on X, one woul expet Lie lger struture on PA, in nlogy with the ommuttive se. However, this is not true. It turns out tht one nees to onsier nother lgeri ojet QA (Setion 5). An this ojet n e onstrute only if P is reversile. Then if PA is free on n even numer of genertors, it is true tht QA is Lie lger. The two importnt opertions re x i : QA PA n {, } : QA QA QA. The Poisson rket {, } equips QA with the struture of Lie lger. It is given y formul tht is lmost ientil to eqution (2), see eqution (4) in (5.3). Just s PA is relte to the oper P, the spe QA is relte to n ojet Q. The ojet Q is not n oper ut simpler ojet lle speies. To give n nlogy, opers re like lgers n speies re like vetor spes. The speies Q is the imge of P uner the mting funtor onstrute in Setion 3. The spe QA n e iretly efine in terms of Q. So fr, we hve not tlke out ny sympleti form in the generl se. The point is tht the Lie struture on QA emerges nturlly from sympleti form. This is expline in Setion 6. A sympleti P-mnifol must e P-mnifol whih hs sympleti form. The only exmple we give is tht of free P-lger on n even numer of genertors, for P reversile. When speilise to the ommuttive se, this sys tht we re only onsiering the sympleti mnifols (R 2n,ω 0 ).

14 14 SWAPNEEL MAHAJAN Bk to the lssil se. We now explin how the generl isussion ove speilises to the ommuttive sitution. Tht is, P is the ommuttive oper, see (2.3.2). For P =, we hve the free (non-unitl) P-lger PA = polynomil funtions with no onstnt terms on the sympleti mnifol (R 2n,ω 0 ). The mte speies Q in this se, whih is, is lmost the sme. Hene the orresponing lgeri ojet QA is lso similr. We hve QA = polynomil funtions in 2n vriles with no onstnt or liner terms. In this se, the prtil erivtive hs the usul mening n the Poisson rket on QA is given y the formul in eqution (2). Thus the ontent of the generl isussion in quite simple in this se. We now give pitoril esription of this lulus. If F QA is monomil, x sy F = x 2 1 x 2 x 1 2x 3, then we represent it s F = x 1 x 3. An if F is polynomil rther thn monomil then we represent it s forml sum of pitures. Though PA is lmost the sme s QA, we will represent its elements slightly ifferently. x Nmely, if x 2 1 x 2 x 1 2x 3 PA then we write it s F = x 1. We explin how the prtil erivtive x i : QA PA works y n exmple. ( ) x 2 x 1 x 2 x 2 x 1 = x 1 x 1 x 3 + x 1 x 3 In other wors, ut ll inputs with lel x 1, one t time. The ove pitoril eqution just sys tht x 1 (x 2 1 x 2x 3 ) = 2x 1 x 2 x 3. Now we illustrte the Poisson rket on QA y n exmple. { p 2 p 1 q 1 p 2, q 1 q 2 p 1 = q 1 p 2 } x 3 x 3. p 2 = p 2 p 1 q 1 p 2. In usul terms, this sys tht {p 1 q 1 p 2,p 2 q 2 } = p 1 q 1 p 2. So to ompute {F,H}, ut p i from F, n q i from H (or vie-vers), o mting n then sum over ll possiilities. Compre the piture ove with the mting suggeste for the ommuttive oper in (3.2). The pitoril lulus my look silly ut the point is tht it generlises very niely to reversile opers (Setion 5). The pitoril wy of thinking n lso e extene to the omputtion of the homology of the Lie lger QA. This involves the uiling of hin omplex of grphs, whih les to grph homology. This onnetion is me in the first prt of the proof of the min theorem (Setion 12). We now reor these ies in nutshell s follows. Pitoril Forml Cutting of vertex Prtil erivtive Mting two ut verties Poisson rket Builing grph Homology 5. Cuttings n Mtings The gol of this setion is to efine the Lie lger QA tht ours in the left hn sie of the min theorem. Let V e the vetor spe with sis x 1,...,x n. Lter to o sympleti theory, we will use the sis p 1,...,p n,q 1,...,q n. If we wnt to show the epenene of n expliitly, we will write V n for V.

15 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 15 Let P e reversile oper n Q its mte speies otine y pplying the mting funtor (Setion 3). We will first efine the lgeri ojets QA n PA. Using lulus of uttings n mtings, we will give QA Lie lger struture. The exmple of the ommuttive oper (P = ) ws isusse in (4.2.2). A trivil looking ut importnt exmple is the unit oper (P = u). The Lie lger in this se is the usul sympleti Lie lger sp(2n). This is expline in (5.4). As in the se of the unerlying vetor spe V, we will sometimes write QA n n PA n, to show the epenene of n expliitly. The Lie lger QA will e efine s iret limit lim QA n. After this, we will riefly explin the Hopf n lger struture on H (QA ) The free lgers. We now efine the free lger QA of speies Q on genertors x 1,...,x n. This lso inlues the se of PA, sine every oper is speies. Oper P An element of PA Speies Q An element of QA x 2 x 1 x 2 x 1 x 1 x 3 x 1 x 3 x2 x2 x1 x1 x3 x1 x1 x3 t x 2 x 1 x 3 tt x 1 x2 x1 x1 x3 To get n element of QA, tke ny element of Q[I], for some finite non-empty set I n reple eh element of I y one of the genertors x 1,...,x n. Cll suh n element monomil. To get generl element of QA, tke liner omintions of monomils. Q[I] PSfrg replements x 1 x 4 x 2 x 1 QA 4. We my lso write this s QA = j 2 (Q[j] V j ) Σj, where Σ j ts on Q[j] y permuting letters n on V j y permuting the tensor ftors. Stritly speking, the gring strts in egree 1. But sine we re minly intereste in mte speies, we strte the gring in egree 2. We will sometimes write QA j for the egree j piee. Though we ll QA the free lger of Q, it only hs the struture of gre vetor spe. IfthespeiesQhsthe strutureofnoperp then weemphsiseityrwing inste P[I] x1 x 1 x 4 PA 4. x 2

16 16 SWAPNEEL MAHAJAN Just s for speies, we get PA = j 1 (P[j] V j ) Σj. However, the sitution for opers is more interesting. The sustitution rule for opers llows us to efine inry (n higher) prouts on PA. Hene PA looks more like the lgers tht we re use to. For exmple, A = free non-unitl ommuttive lger n A = free non-unitl ssoitive lger on the genertors x 1,...,x n. As this isussion suggests, it is possile to give more strt efinition of PA. To every oper P, one n ssoite tegoryofp-lgers(4.1); the ojet PA is then the free ojet, with respet to V, in this tegory. Remrk. Rell tht, roughly speking, the mte speies Q ws efine s quotient of P P, see (3.1). In the sme wy, one n efine QA s PA PA sujet to the two reltions: (3) = n = r(). Exmples. Refer to the tle in (5.1). In the ommuttive se, the pitures for n ontin the sme mount of informtion, they represent monomil in the ommuttive vriles x 1,x 2,...,x n. In the ssoitive se, the pitures for n re ifferent. They represent liner n yli orers respetively in nonommuttive vriles x 1,x 2,...,x n. In the tree se, the ojets PA n QA re est esrie using pitures rther thn wors. Following the nlogy with the ommuttive se isusse in (4.2.2), we now isuss the lulus of uttings n mtings in the generl se. The reer my keep the ove exmples in min Cutting. We efine x i : QA PAyshowinghowitworksonshemti exmple. x 1 x 4 x 2 x 1 x 1 x 2 x 4 + x 1 x 1 x 2 x 4. Nmely, to efine x 1, ut ll inputs with lel x i, one t time. The justifition for suh efinition is given y Proposition 1 n the ove remrk. As n exmple, in the ssoitive se, the erivtive with respet to x 1 of the yli wor x 1 x 4 x 1 x 2 is the sum of two liner wors, x 4 x 1 x 2 n x 2 x 1 x Mting. In orer to perform mtings, one requires n even numer of hrters. So ssume tht V is even imensionl n hs sis p 1,...,p n,q 1,...,q n. Define the Poisson rket {, } : QA QA QA using the formul (4) {F,H} = n i=1 F p i H q i F q i H p i. In (3.2), we expline how the tensor sign n e interprete s mting. The only ifferene now is tht the ojets eing mte, inste of eing lelle y elements of set I, re lelle y elements of vetor spe V. So one n ontinue with the sme interprettion. p 2 p 3 q 3 q 1, p 1 q 2 p 2 q 1 p 3 = p 2 q 3 p 2 q 1.

17 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 17 In the ove exmple, there is only one mting possile. So there is only one term on the right hn sie. The minus sign reflets the ft tht the q ws ut from the first term n the p from the seon term. Proposition 2. The rket {, } equips QA with the struture of Lie lger. This n e verifie iretly. It will lso follow from the sympleti oper theory tht we will present in Setion 6. So we ssume this result for the moment. Note tht the Lie lger QA is gre n the rket {, } is mp of egree 2. Remrk. Ifthe reversileoperp isseonsetsthenqalsohslieolger struture efine using rekups(rther thn mtings). This prllels the efinition of the oounry opertor on grphs (10.1) Connetion to the sympleti Lie lger sp(2n). We now look t n importnt exmple tht is lrey present in the lssil theory. This is the simplest se, i.e., P = u n Q = uu, see (3.3). It is esy to see tht ua n = V, the unerlying vetor spe n uua n = homogeneous polynomils of egree 2 in the vriles p 1,...,p n,q 1,...,q n. In this se, {, } is the usul Poisson rket with the tensor sign in eqution (4) eing orinry multiplition. Going to the generl se, note tht uua is lwys sulger of QA tht sits insie QA 2, the piee of egree 2. This is euse uu is suspeies of Q, see (3.3). Moreover, sine the rket {, } hs egree 2, it restrits to mp QA j uua QA j. Hene eh gre piee QA j is right uua moule. As n exmple, p 2 p 1, q 2 q 1 p 2 q 1 p 1 q 2 = p 1 p 1 p 2 q 1 q 2 p 2 p 1. q 1 q2 Oserve tht the tion only involves hnging lels. It oes not hnge the internl struture of the vertex. This is euse the mtings re ll trivil. The sympleti Lie lger sp(2n) is efine s the spe of liner mps on V tht kill the sympleti form p i q i (the tion is s erivtion); the rket eing the usul ommuttor. Note tht QA j = (Q[j] V j ) Σj is left sp(2n) moule with the tion inue y the left tion on V n the trivil tion on Q[j]. We now explin the reltion etween the Lie lgers uua n n sp(2n). Proposition 3. There is Lie lger nti-isomorphism uua n sp(2n) given y H ξ H, where ξ H (p i ) = H q i n ξ H (q i ) = H p i. Agin this n e heke iretly ut will e onsequene of the generl theory (Setion 6). The efinition of the moule strutures on QA together with the ove proposition gives us the following. Corollry. The right uua n n the left sp(2n) moule strutures on QA j re omptile vi the ove nti-isomorphism uua n sp(2n). In other wors, {F,H} = ξ H F for F QA j n H uua n The Lie lger QA. We hve the unerlying vetor spe V n V n+1, with the sis of V n+1 extening the sis on V n to p 1,...,p n+1,q 1,...,q n+1. This gives us sequene of Lie lger inlusions QA 1... QA n QA n+1...

18 18 SWAPNEEL MAHAJAN We enote the iret limit y QA. A Hopf lger is vetor spe whih hs omptile lger n olger strutures n n inverse whih is lle the ntipoe. For si informtion on Hopf lgers, see [36, 21]. The gre vetor spe H (QA ) hs the struture of Hopf lger, whih we now explin. To esrie the prout on H (QA ), we strt with morphism of Lie lgers QA n QA m QA n+m, efine y (F,H) F +H, where we shift up the inies of H y n. In other wors, we think of QA n n QA m s isjoint Lie sulgers of QA n+m. This efines mp H (QA n ) H (QA m ) H (QA n+m ). Tking iret limits, we get prout on H (QA ). We point out tht the igrm QA n QA m QA n+m QA n+1 QA m QA n+m+1 ommutes only upto inex shifting. However, this nnot e etete on the homology level. The oprout is reltively strightforwr to efine. We strt with the igonl mp QA QA QA, whih is morphism of Lie lgers. This inues oommuttive oprout on H (QA ). 6. Sympleti oper theory In this setion, we give self-ontine tretment of Kontsevih s sympleti mini-theory. But in orer to ppreite it, it is importnt to e fmilir with lssil sympleti theory. This involves the priniples of Hmiltonin mehnis [32] n si notions of ifferentil topology suh s vetor fiels, ifferentil forms, Lie erivtives n ontrtion opertors [5, 34]. For some reent ies n pplitions in the ssoitive se, see the ppers of Ginzurg [16] n Boklnt n Le Bruyn [4]. For etile exposition, see Chpter 7 of Le Bruyn s ook Non-ommuttive geometry, whih is ville on his homepge. The si ojets of interest re summrise in the tle. We hve lrey seen PA n QA efore. The remining ones will e efine in this setion. Geometri ojets Algeri ojets X PA QA X(X) Der(P A) Der(QA) ΠT X Ω(P A) Ω(QA) X(ΠT X) Der(Ω(P A)) Der(Ω(QA)) Intuition. The geometri ojets in the first olumn o not exist exept in the ommuttivese(p = )inwhihsex = R n. Onemysythttheyreefine vi their lgeri ounterprts. It is useful to hve the following itionry: X = oper mnifol, X(X) = vetor fiels on X, ΠTX = totl spe of the o tngent unle to X, X(ΠTX) = vetor fiels on ΠTX. Let X e n oper mnifol with the free P-lger PA s its lger of funtions (4.1). Strting with this purely lgeri t, we wnt to onstrut

19 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 19 n lger of ifferentil forms on X, whih is efine s some ifferentil P- superlger Ω(PA). One woul guess tht the sympleti form ω shoul e suitle element of Ω 2 (PA). However, this is not true. It turns out tht one nees to onsier Ω(QA), whih is the orresponing ojet for QA. An the sympleti form ω will lie in Ω 2 (QA). So in this sense, it is QA n Ω(QA), whih shoul e regre s funtions n forms on X Algeri ojets for n oper. We first look more generlly t oper mnifols (4.1). To every oper P, one n ssoite tegory of P- lgers. Similrly, one n onsier the gre version, whih is the tegory of P-superlgers. An one n tlk of erivtions of P-lgers or supererivtions of P-superlgers [17]. In wht follows, we will freely use this lnguge. For exmple, PA is the free ojet in the tegory of P-lgers. However, just s we i for PA, we will lso give expliit esriptions of ll the ojets we el with. This shoul help the reer who is unfmilir with the ove lnguge. We lso reommen tht the reer keep onrete se, sy ommuttive or ssoitive, in min. Definition 1. Let Der(PA) e the spe of erivtions of PA. It is Lie lger with the rket eing the ommuttor. x 1 x 2 ξ ξ(x 1 ) x 2 + x 1 ξ(x 2 ) A erivtion ξ Der(PA) is n opertor on PA. It is uniquely etermine y its vlues ξ(x 1 ),...,ξ(x n ) PA on the genertors x 1,...,x n. An exmple of how this works is shown ove; for eh input, we reple the vlue x i on it y ξ(x i ). In the first term on the right, ξ(x 1 ) is written on one input. This is to e unerstoo s sustitution of ξ(x 1 ) into tht input. Definition 2. The lger of forms Ω(P A) is the free ifferentil superlger on the genertors x 1,...,x n. The term ifferentil mens tht there is supererivtion : Ω(PA) Ω(PA) of o egree suh tht 2 = 0. The lger of forms Ω(PA) is freely generte s P-superlger y the symols x 1,...,x n,x 1,...,x n. Hene supererivtion on Ω(PA) is uniquely etermine y its vlues on these genertors. Note tht the ifferentil is speifie y (x i ) = x i n (x i ) = 0. Just sforpa, onen given expliitesription ofω(pa). To getmonomil in Ω(PA), tke ny element of P[I], for some finite non-empty set I n reple eh element of I y one of the genertors x 1,...,x n,x 1,...,x n. Sine we re now eling with super-ojet, we nee to e more reful. We orer the inputs with ifferentil symols in the sense of orienttion s follows. (5) x 1 x 1 x = x 2 x 3 x 1 x 1 x x 2 In other wors, n even permuttion of the orer leves n element unhnge while n o permuttion gives its negtive. We now explin how the ifferentil x 3.

20 20 SWAPNEEL MAHAJAN works on this exmple. x 1 x 2 x 2 x 1 1 x 3 2 x 1 x 1 x x 2 x 3 x 1 x 2 x x 2 1 x 3 In generl, we reple eh x i y x i, one t time. An the input t whih the replement ours is given lel 1 n the remining lels re shifte up y 1. It is ler tht Ω(PA) is in ft Z gre with the gring given y the numer of ifferentil symols n Ω 0 (PA) = PA. Definition 3. Let Der(Ω(PA)) e the spe of supererivtions of Ω(PA). It is Lie superlger with the rket eing the superommuttor. To t y supererivtion L on n element of Ω(PA), one reples the vlue v t eh input y L(v), one t time. If v = x i then we shift the lels y eg(l). If v = x i then we first reorer suh tht the x i eing sustitute into hs lel 1 n then shift the remining lels y eg(l). The speil se when L is the ifferentil ws shown ove. Definition 4. For ny erivtion ξ Der(PA), we efine the Lie erivtive L ξ Der(Ω(PA)) n the ontrtion opertor i ξ Der(Ω(PA)) y speifying them on the genertors s uner L ξ (x i ) = ξ(x i ), L ξ (x i ) = ξ(x i ) n i ξ (x i ) = 0, i ξ (x i ) = ξ(x i ). They hve egrees 0 n 1 respetively. Lemm 1. For erivtions ξ,η Der(PA), the supererivtions L ξ,i ξ, stisfy the following reltions. (1) [i ξ,] = L ξ (Crtn s formul). (2) [i ξ,i η ] = 0. (3) [L ξ,i η ] = i [ξ,η]. (4) [L ξ,l η ] = L [ξ,η]. Proof. As mentione erlier, supererivtions re preserve y the superommuttor. Hene in ll ses, oth sies re supererivtions, so we nee to hek (1) (4) only on the genertors x 1,...,x n,x 1,...,x n. This is strightforwr hek tht is inepenent of the oper P. Lemm 2. The lger of forms Ω(PA) is ext. Proof. Consier the Euler vetor fiel e Der(PA), efine y e(x i ) = x i for ll i. Then L e (x i ) = x i n L e (x i ) = x i n hene L e mps every monomil to non-zero multiple of itself. Therefore it is invertile on Ω(PA). So it inues n isomorphism on ohomology. On the other hn, Crtn s formul (item (1) in Lemm 1) shows tht it inues the zero mp on ohomology. So we onlue tht Ω(PA) is ext. For the oper P =, the lemm just sys tht the lger of polynomil forms on R n, tht vnish t the origin, is ext..

21 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY Algeri ojets for speies. Now ssume tht the oper P is reversile; so we n tlk of its mte speies Q. Anlogues for Q of the ojets in (6.1) n e efine without iffiulty. As fr s pitures re onerne, we rw the sme ones s for opers exept tht the output rrow is now omitte. We hve seen tht QA n e written s quotient of PA PA (eqution (3)). Similrly, one n efine Ω(QA) s quotient of Ω(PA) Ω(PA) sujet to the super-reltions: (6) = ( 1) n = r(). Just like Ω(PA), we see tht Ω(QA) is Z gre n Ω 0 (QA) = QA. We lso efine Der(QA), Der(Ω(QA)) n for ξ Der(PA), the opertors L ξ,i ξ Der(Ω(QA)). The reltions in Lemm 1 ontinue to hol. Hene it follows tht Ω(QA) is lso ext. Note tht ny element of Ω 1 (QA) n e uniquely written s n i=1 f i x i, with f i PA. An for H QA, we get H = n i=1 H x i x i. These fts re gin onsequene of Proposition 1 n will e ruil in wht follows The sympleti form ω. Sine P hs unit element u, its mte speies Q hsthespeilelementuuinegree2,see(3.3). Itllowsustoefinethesympleti form ω = p i q i Ω 2 (QA). For piture, we my rw p 1 2 i q i. Note tht if we swith the orer of the ftors, we pik minus sign (eqution (6)). This n lso e seen from the piture n the nlogue of eqution (5) for speies. Also w = 0 n hene the form is lose. This gives us sympleti oper mnifol X. We think of Der(PA) s vetor fiels on X tht vnish t point n Ω(QA) s ifferentil forms on X with no onstnt or liner terms, with the 0-forms QA eing Hmiltonin funtions on X. Lemm 3. The mp Der(PA) Ω 1 (QA) whih sens ξ to i ξ w is n isomorphism. Proof. We hve the hin of equlities n i ξ w = i ξ (p i q i ) = i=1 n ξ(p i ) q i ξ(q i ) p i. i=1 This shows tht i ξ w is etermine y ξ(p i ) n ξ(q i ), whih lso etermine ξ. Sine one n represent ny element of Ω 1 (QA) uniquely y sum of the form n i=1 ( ) p i +( ) q i, the mp in the lemm is n isomorphism. Definition 5. Let Der(PA,w) = {ξ Der(PA) L ξ w = 0}. In nlogy with the lssil se, we ll these the sympleti vetor fiels. It follows from Crtn s formul (Lemm 1) tht ξ Der(PA,w) (i ξ w) = 0. Hene uner the isomorphism of Lemm 3, one sees tht sympleti vetor fiels orrespon to lose 1 forms. Define Hmiltonin vetor fiels to e the ones tht orrespon to ext 1 forms. However, sine Ω(QA) is ext, the Hmiltonin n sympleti vetor fiels oinie in this se. An there is n isomorphism QA Ω 1 (QA) lose. Putting ll ftstogether, thereis n isomorphismξ : QA = Der(PA,w), where H ξ H is efine y the eqution H = i ξh (w). Writing oth

22 22 SWAPNEEL MAHAJAN sies in the unique form n i=1 ( ) p i + ( ) q i, we erive the Hmiltonin equtions (7) ξ H (p i ) = H q i n ξ H (q i ) = H p i. We now erive the isomorphism etween Hmiltonin funtions n Hmiltonin vetor fiels. By Kontsevih kimy, the proof is sme s in the lssil se; we give it here for ompleteness. Proposition 4. The mp QA Der(PA,w) efine ove is n nti-isomorphism of Lie lgers, with the rket on QAeing the Poisson rket n on Der(PA,w) eing the usul ommuttor. Proof. First note tht Der(P A, w) is lose uner tking ommuttors (item (4) in Lemm 1). This gives it Lie lger struture. So to prove the proposition, we tre through the isomorphism QA = Der(PA,w), ompute the inue Lie strutureonqanseethtuptominussignitoinieswiththepoissonrket (5.3). We o the omputtion in two steps. Clim 1. i [ξf,ξ H]w = (i ξf (H)). i [ξf,ξ H]w = [L ξf,i ξh ]w (item (3) in Lemm 1) = L ξf (i ξh w) (L ξf w = 0 sine ξ F is sympleti) = L ξf (H) = [i ξf,](h) (item (1) in Lemm 1) = (i ξh (H)). Clim 2. i ξf (H) = {F,H}. i ξf (H) = i ξf ( n i=1 H p i p i + H q i q i ) = n i=1 H p i ξ F (p i )+ H q i ξ F (q i ) = n i=1 H p i F q i H q i F p i (eqution (7)) = {F,H}. (eqution (4)) The proposition now follows from the two lims. As orollry, we otin Proposition 2. Also, if we speilise to P = u n Q = uu, we otin Proposition Exmples motivte y PROPS We hve, so fr, only efine the notion of erivtive. If one wnts to efine higher orer erivtives then one shoul onsier more generl struture, nmely, PROP. For some motivtion for PROPs from the viewpoint of homotopy theory, see [1] PROP. We enote PROP y Pr. It onsists roughly of ojets with mny inputs n mny outputs. For preise efinition, see the notes y Voronov [38]. We write Pr[I,J] for the set of Pr-strutures on the set I J tht hve I inputs

23 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY 23 n J outputs. There is lso omposition lw whih llows to fee the outputs of one ojet to the inputs of nother. =. It is useful to think of speies n opers s prts of PROP orresponing to no output (J empty) n single output (J singleton) respetively. We sw tht prtil erivtive (Proposition 1) sens speies element to n oper element. Stteifferently, it just onvertsninput to noutput. Ifthis is toe the mening of erivtive then to efine higher erivtives one is fore to onsier ojets with mny outputs. Thus one sees tht PROPs provie nturl frmework to tlk of higher erivtives. To mke the theory of higher mtings work, one woul nee reversile PROP. We o not mke these ies preise. Inste, we look t some exmples tht fit this pttern. They my e of inepenent interest The grph oper g n speies gg. Let g[i] = set of grphs with speifie soure n sink vertex n irete eges lelle y elements of the set I. The figure shows n element of g[{,,,}]. soure We inite the soure (resp. sink) vertex y hlf-ege with n rrow going in (resp. out). We regr the two hlf-eges together s onstituting the output ege of the oper. Sustitution works s uner. p 2 y x z soure p 1 sink sink x soure sink z y p 2 p 1. In other wors, to otin p 2 y p 1, we ientify the soure (resp. sink) vertex of p 2 with the initil (resp. terminl) vertex of the ege y in p Su-exmples. The ommuttive, ssoitive, hor (2.3) n mny other opers n e otine s speil ses y simply restriting the type of grphs llowe. There is seemingly no en to thepsfrg numer replementsof interesting exmples one n otin in this wy. We illustrte the ommuttive n ssoitive ses. x zsoure ommuttive sink x z soure ssoitive Thus to get the ommuttive oper, we only llow grphs with two verties(soure n sink) n ll eges re irete from the soure to the sink. For the ssoitive oper, we llow grphs whose eges form irete pth from the soure to the sink. sink