arxiv: v2 [math-ph] 6 Feb 2013

Transcription

1 THE VARIATIONAL POISSON COHOMOLOGY ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 arxv: v2 [math-ph] 6 Feb 2013 To the memory of Bors Kupershmdt 11/27/ /12/2010 Abstract. It s well nown that the valdty of the so called Lenard- Magr scheme of ntegrablty of a b-hamltonan PDE can be establshed f one has some precse nformaton on the correspondng 1st varatonal Posson cohomology for one of the two Hamltonan operators. In the frst part of the paper we explan how to ntroduce varous cohomology complexes, ncludng Le superalgebra and Posson cohomology complexes, and basc and reduced Le conformal algebra and Posson vertex algebra cohomology complexes, by mang use of the correspondng unversal Le superalgebra or Le conformal superalgebra. The most relevant are certan subcomplexes of the basc and reduced Posson vertex algebra cohomology complexes, whch we dentfy non-canoncally wth the generalzed de Rham complex and the generalzed varatonal complex. In the second part of the paper we compute the cohomology of the generalzed de Rham complex, and, va a detaled study of the long exact sequence, we compute the cohomology of the generalzed varatonal complex for any quasconstant coeffcent Hamltonan operator wth nvertble leadng coeffcent. For the latter we use some dfferental lnear algebra developed n the Appendx. 1. Dpartmento d Matematca, Unverstà d Roma La Sapenza, Roma, Italy desole@mat.unroma1.t. 2. Department of Mathematcs, M.I.T., Cambrdge, MA 02139, USA ac@math.mt.edu. A.D.S. was partally supported by PRIN and AST grants. V.K. was partally supported by an NSF grant, and an ERC advanced grant. Parts of ths wor were done whle A.D.S. was vstng the Department of Mathematcs of M.I.T., whle V.K. was vstng the newly created Center for Mathematcs and Theoretcal Physcs n Rome, and A.D.S and V.K. were vstng the MSC and the Department of Mathematcs of Tsnghua Unversty n Bejng. 1

2 2 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 Contents 1. Introducton 4 2. The unversal Le superalgebra WV for a vector superspace V, and Le superalgebra cohomology The unversal Le superalgebra WV The space WV,U as a reducton of WV U Prolongatons Le superalgebra structures Le superalgebra modules and cohomology complexes The unversal odd Posson superalgebra for a commutatve assocatve superalgebra A and Posson superalgebra cohomology The unversal odd Posson superalgebra ΠW as ΠA Posson superalgebra structures and Posson superalgebra cohomology complexes The unversal Posson superalgebra W as A and odd Posson superalgebra structures on A The Le superalgebra W V for an F[ ]-module V, and Le conformal superalgebra cohomology The Le superalgebra W V The space W V,U as a reducton of W V U Le conformal superalgebra structures Le conformal superalgebra modules and cohomology complexes The Le superalgebra W,as V for a commutatve assocatve dfferental superalgebra V and PVA cohomology Posson vertex superalgebra structures Odd Posson vertex superalgebra structures The unversal Le conformal superalgebra W V for an F[ ]- module V, and the basc Le conformal superalgebra cohomology complexes The unversal Le conformal superalgebra W V The basc Le conformal superalgebra cohomology complex Extenson to nfntely generated F[ ]-modules The unversal odd Posson vertex superalgebra for a dfferental superalgebra V and basc PVA cohomology The unversal odd PVA W,as ΠV The unversal PVA W,as V Algebras of dfferental functons and the varatonal complex Algebras of dfferental functons de Rham complex Ω V and varatonal complex Ω V Exactness of the varatonal complex The Le superalgebra of varatonal polyvector felds and PVA cohomology The Le superalgebra of varatonal polyvector felds W var ΠV 55

3 THE VARIATIONAL POISSON COHOMOLOGY PVA structures on an algebra of dfferental functons and cohomology complexes Identfcaton of W var ΠV wth Ω V The varatonal and Posson cohomology complexes n terms of local polydfferental operators Generalzed varatonal complexes The unversal odd PVA W var ΠV for an algebra of dfferental functons, and basc PVA cohomology The Le conformal algebra CVectV of conformal vector felds The unversal odd PVA W var ΠV PVA structures on an algebra of dfferental functons and basc cohomology complexes Identfcaton of W var ΠV wth Ω V Generalzed de Rham complexes Computaton of the varatonal Posson cohomology Formalty of the generalzed de Rham complex Cohomology of the generalzed varatonal complex Explct descrpton of H 0 Ω V,δ K and H 1 Ω V,δ K. 93 Appendx A. Systems of lnear dfferental equatons and polydfferental operators 95 A.1. Lemmas on dfferental operators 95 A.2. Lnear algebra over a dfferental feld 97 A.3. Lnearly closed dfferental felds 103 A.4. Man results 106 A.5. Generalzaton to polydfferental operators 111 References 131

4 4 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 1. Introducton The theory of Posson vertex algebras s a very convenent framewor for the theory of Hamltonan partal dfferental equatons [BDSK]. Frst, let us ntroduce some ey notons. Let V be a untal commutatve assocatve algebra wth a dervaton. The space g 1 = V/ V s called the space of Hamltonan functons, the mage of h V n g 1 beng denoted by h. The Le algebra g 0 of all dervatons of V, commutng wth, s called the Le algebra of evolutonary vector felds. Its acton on V descends to g 1. A λ-bracet on V s a lnear map V V F[λ] V, a b {a λ b}, satsfyng the followng three propertes a,b V: sesqulnearty { a λ b} = λ{a λ b}, {a λ b} = +λ{a λ b}, sewcommutatvty {b λ a} = {a λ b}, where s moved to the left, Lebnz rule {a λ bc} = {a λ b}c+b{a λ c}. Denote by g 1 the space of all λ-bracets on V. One of the basc constructons of the present paper s the Z-graded Le superalgebra 1.1 W,as ΠV = Πg 1 g 0 Πg 1..., where g 1, g 0 and g 1 are as above and Πg stands for the space g wth reversed party. For f, g Πg 1, X,Y g 0 and H Πg 1 the commutators are defned as follows: [ ] 1.2 f, g = 0, [ ] 1.3 X, f = Xf, [X,Y] = XY YX, [ {.λ.} H, f ] g = {f λ g} λ=0 H, {f λ g} [X,H] = X{f λ g} H {Xf λ g} H {f λ,xg} H. In Secton 5 we construct explctly the whole Le superalgebra W,as ΠV, but for applcatons to Hamltonan PDE one needs only the condton [H,K] = 0 for H,K Πg 1, whch s as follows f,g,h V: 1.7 {{f λ g} K λ+µ h} H {f λ {g µ h} K } H +{g µ {f λ h} K } H +H K = 0. A λ-bracet {. λ.} = {. λ.} H s called a Posson λ-bracet f [H,H] = 0,.e., one has Jacob dentty {f λ {g µ h}} {g µ {f λ h}} = {{f λ g} λ+µ h}.

5 THE VARIATIONAL POISSON COHOMOLOGY 5 The dfferental algebra V, endowed wth a Posson λ-bracet, s called a Posson vertex algebra PVA [DSK1]. Two Posson λ-bracets {. λ.} H and {. λ.} K on V are called compatble f 1.7 holds, whch means that ther sum s a Posson λ-bracet as well. One of the ey propertes of a PVA V s that the vector space V/ V carres a well-defned Le algebra structure, gven by { } 1.8 f, g = {fλ g} λ=0, f,g V. Moreover, V saleftmoduleover thelealgebrav/ V wththewell-defned acton 1.9 { f,g} = {f λ g} λ=0, f,g V, by dervatons, commutng wth, of the assocatve product n V and of the λ-bracet. In partcular, all the dervatons X f = { f,.} of V are evolutonary; they are called Hamltonan vector felds. Two Hamltonan functons f and g are sad to be n nvoluton f { } 1.10 f, g = 0. Gven ahamltonan functon h V/ V andaposson λ-bracet on V, the correspondng Hamltonan equaton s defned by the Hamltonan vector feld X h : du 1.11 dt = { h,u }, u V. The equaton 1.11 s called ntegrable f h s contaned n an nfntedmensonal abelan subalgebra of the Le algebra V/ V wth bracet 1.8. Pcng a bass h 0 = h, h 1 h2,... of ths abelan subalgebra, we obtan a herarchy of ntegrable Hamltonan equatons 1.12 du dt n = { h n,u }, n Z +, whch are compatble snce the correspondng Hamltonan vector felds X hn commute. The basc devce for provng ntegrablty of a Hamltonan equaton s the so-called Lenard-Magr scheme, whch s the followng smple observaton, frst mentoned n [GGKM] and [Lax]; a survey of related results up to the early 90 s can be found n [Dor]. Suppose that the dfferental algebra V s endowed wth two λ-bracets {. λ.} H and {. λ.} K and assume that: { 1.13 hn,u } H = { h n+1,u } K, n Z +, u V, for some Hamltonan functons h n V/ V. Then all these Hamltonan functons are n nvoluton wth respect to both bracets {. λ.} H and {. λ.} K on V/ V. Note that we do not need to assume that the λ-bracets are Posson nor that they are compatble. These assumptons enter when we try to prove the exstence of the sequence, h n, satsfyng 1.13, as we explan below.

6 6 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 Indeed, let H,K Πg 1 be two compatble Posson λ-bracets on V. Snce [K,K] = 0, t follows that adk 2 = 0, hence we may consder the varatonal cohomology complex W,as ΠV = j= 1 W j,adk, where W 1 = Πg 1, W 0 = g 0, W 1 = Πg 1,... By defnton, X W 0 s closed f, n vew of 1.6, t s a dervaton of the λ-bracet {. λ.} K, and t s exact f, n vew of 1.5, X = {h λ } λ=0 K for some h W 1. Now we can fnd a soluton to 1.13, by nducton on n as follows. By Jacob dentty n W,as ΠV we have [K,[H,h n ]] = [H,[K,h n ]], whch, by nductve assumpton, equals [H,[H,h n 1 ]] = 0, snce [H,H] = 0 and H W 1 s odd. Thus, the element [H,h n 1 ] W 0 s closed. If ths closed element s exact,.e., t equals [K,h n ] for some h n W 1, we complete the n th step of nducton. In general we have 1.14 [H,h n 1 ] = [K,h n ]+a n, wherea n s a representatve of the correspondngcohomology class. Loong at 1.14 more carefully, one often can prove that one can tae a n = 0, so the Lenard-Magr scheme stll wors. The cohomologcal approach to the Lenard-Magr scheme was proposed long ago n [Kra] and [Ol1]. However, no machnery has been developed n order to compute ths cohomology. In the present paper we develop such a machnery by ntroducng a coverng complex W,as,adK of the complex W,as,adK, whose cohomology s much easer to compute, and then study n detal the correspondng long exact sequence. What does ths have to do wth the classcal Hamltonan PDE, le the KdV equaton? In order to explan ths, consder the algebra of dfferental polynomals R l = F[u n = 1,...,l; n Z+ ] wth the dervaton, defned on generators by u n = u n+1. Here one should thn of the u as functons, dependng on a parameter t tme, n one ndependent varable x, whch s a coordnate on a 1-dmensonal manfold M, and of as the dervatve by x, so that u n s the n th dervatve of u. Furthermore, one should thn of h R l / R l as M hdx snce R l/ R l provdes the unversal space n whch ntegraton by parts holds. It s straghtforward to chec that equaton 1.11 can be wrtten n the followng equvalent, but more famlar, form: 1.15 where δh δu 1.16 du dt = H δh δu, s the vector of varatonal dervatves δh = n h δu n Z + u n andh = H j l,j=1 s thel lmatrx dfferental operator wth entres H j = {u j u }. Here the arrow means that should be moved to the rght. It s not dffcult to show that the sewcommutatvty of the λ-bracet,

7 THE VARIATIONAL POISSON COHOMOLOGY 7 s equvalent to sewadjontness of the dfferental operator H, and, n addton, the valdty of the Jacob dentty of the λ-bracet s, by defnton, equvalent to H beng a Hamltonan operator. Furthermore, the bracet 1.8 on R l / R l taes the famlar form 1.17 { f, g} = δg δu H δf, δu and one can show that ths s a Le algebra bracet f and only f H s a Hamltonan operator [BDSK]. Gven λ-bracets {u λ u j } = {u j λ u } R l [λ]ofanyparofgenerators u,u j, one can extend them unquely to a λ-bracet on R l, whch s gven by the followng explct formula [DSK1] 1.18 {f λ g} = g 1,j l m,n Z + u n j +λ n {u +λ u j } λ m f u m Ths λ-bracet defnes a PVA structure on R l f and only f the Jacob dentty holds for any trple of generators u, u j, u [BDSK]. The smplest example of a Hamltonan operator s the Gardner-Faddeev- Zaharov GFZ operator K =. It s the observaton n [Gar] that the KdV equaton du 1.19 dt = 3uu +cu, c F, can be wrtten n a Hamltonan form du 1.20 dt = Dδh 1 δu, where h 1 = 1 2 u3 +cuu, and t s the subsequent proof n [FZ] that KdV s a completely ntegrable Hamltonan equaton, that trggered the theory of Hamltonan PDE. The correspondngλ-bracet onr 1 s, ofcourse, gven bytheformula{u λ u} = λ, extended to R 1 R 1 F[λ] R 1 by In a subsequent paper [Mag], Magr showed that the operator H = u + 2u +c 3 s Hamltonan for all c F, that t s compatble wth the GFZ operator, and that the KdV equaton can be wrtten n a dfferent Hamltonan form du 1.21 dt = u +2u +c 3 δh 1 δu, where h 1 = 1 2 u2. Moreover, he explaned how to use ths to prove the valdty of the Lenard- Magr scheme 1, whch gave a new proof of ntegrablty of KdV and some other equatons. 1 Snce n the lterature the names Lenard and Magr scheme are alternatvely used, we decded to call t the Lenard-Magr scheme. The hstory of Lenard s contrbuton s colorfully descrbed n [PS], where one can also fnd an extensve lst of subsequent publcatons on the subject..

8 8 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 Of course, the λ-bracet correspondng to the Magr operator s gven by 1.22 {u λ u} = +2λu+cλ 3, whch defnes va 1.18 a PVA structure on R 1 for all values of c F. The reader can fnd a detaled exposton of the applcatons of PVA to Hamltonan PDE n the paper [BDSK], where, n partcular, some suffcent condtons for the valdty of the Lenard-Magr scheme and ts generalzatons are found and appled to the proof of ntegrablty of many mportant equatons. However many Hamltonan equatons reman out of reach of the methods of [BDSK], but we thn that the cohomologcal approach s more powerful though less elementary and we are plannng to demonstrate ths n a subsequent paper. In order to mae our deas clearer or, perhaps, more confusng we begn the paper wth a long dgresson, whch goes from Secton 2 through Secton 10, to a general approach to varous cohomology theores n fact, the reader, nterested only n applcatons to the theory of ntegrable Hamltonan PDE, can, wthout much dffculty, jump to Secton 11. In Secton 2, gven a vector superspace V, we consder the unversal Z- graded Le superalgebra WV = j 1 W j V wth W 1 V = V. Unversalty here s understood n the sense that, gven any other Z-graded Le superalgebra g = j 1 g j wth g 1 = V, there exsts a unque, gradng preservng homomorphsm g WV, dentcal on V. It s easy to show that W j V = HomS j+1 V,V for all j 1, and one can wrte down explctly the Le superalgebra bracet. In partcular, W 0 V = EndV and W 1 V = HomS 2 V,V, so that any even element of the vector superspace W 1 V defnes a commutatve superalgebra structure on V and ths correspondence s bjectve. On the other hand, as observed n [CK], any odd element X of the vector superspace W 1 ΠV defnes an sewcommutatve superalgebra structure on V by the formula 1.23 [a,b] = 1 pa Xa b, a,b V, where p s the party on V. Moreover, ths s a Le superalgebra structure f and only f [X,X] = 0 n WΠV. Thus, gven a Le superalgebra structure on V, consderng the correspondng element X W 1 ΠV, we obtan a cohomology complex C = j Z C j,adx, where C j = W j+1 ΠV, and t turns out that C = C V,V concdes wth the cohomology complex of the Le superalgebra V wth coeffcents n the adjont representaton. More generally, gven a module M over the Le superalgebra V, one consders, nstead of V, the Le superalgebra V M wth M an abelan deal, and by a smple reducton procedure constructs the cohomology of the Le superalgebra V wth coeffcents n M. Ths constructon for V purely even goes bac to the paper [NR] on deformaton theory. In Secton 3, assumng that V carres a structure of a commutatve assocatve superalgebra, we let W 1 as ΠV = ΠV, Was 0 ΠV = DerV, the

9 THE VARIATIONAL POISSON COHOMOLOGY 9 subalgebra of all dervatons of the superalgebra V n the superalgebra End ΠV = End V the superscrpt as stands for assocatve. Let W as ΠV = j 1 Wj as ΠV be the full prolongaton n the Le superalgebra WΠV, defned nductvely for j 1 by { } Wj as ΠV = a W j ΠV [a,w 1 ΠV] Wj 1 as ΠV. Then odd elements X n W1 as ΠV, such that [X,X] = 0, bjectvely correspond to Posson algebra structures on V wth the gven commutatve assocatve superalgebrastructure. Inths case thecomplex W as ΠV,adX s the Posson cohomology complex of the Posson superalgebra V ntroduced n [Lc]. Incdentally, one can ntroduce a commutatve assocatve product on W as ΠV, mang t along wth the Le superalgebra bracet an odd Posson = Gerstenhaber superalgebra. Here we observe a remarable dualty when passng from ΠV to V: W as V s an even Posson superalgebra, whereas the odd elements of W1 as V correspond to odd Posson superalgebra structures on V. Next, n Secton 4 we consder the case when V carres a structure of an F[ ] -module. Here and throughout the paper F[ ], as usual, denotes the algebra of polynomals n an even ndetermnate. Motvated by the constructon of the unversal Le superalgebra WΠV, we construct a Z- graded Le superalgebraw ΠV = = 1 W ΠV, whch, to some extent, plays the same role n the theory of Le conformal algebra as WΠV plays n the theory of Le algebras explaned above. Recall that a Le conformal algebra s an F[ ]-module, endowed wth the λ-bracet, satsfyng sesqulnearty, sewcommutatvty and Jacob dentty ntroduced above. In other words, a Le conformal algebra s an analogue of a Le algebra n the same way as a Posson vertex algebra s an analogue of a Posson algebra. We let W 1 ΠV = ΠV/ V and W 0 ΠV = End F[ ]V, and construct W ΠV as a prolongaton n WΠV/ V not necessarly full, so that odd elements X W1 ΠV parameterze sesqulnear sewcommutatve λ- bracets on V, and the λ-bracet satsfes the Jacob dentty.e., defnes on V a Le conformal algebra structure f and only f [X,X] = 0. In the same way as n the Le algebra case, we obtan a cohomology complex W ΠV,adX, provded that [X,X] = 0 for an odd element X W1 ΠV, andthscomplexaftertheshftby1, stheleconformalalgebra cohomology complex wth coeffcents n the adjont representaton. In the same way, by a reducton, we recover the Le conformal algebra cohomology complex wth coeffcents n any representaton, studed n [BKV], [BDAK], [DSK2]. Next, n Secton 5 we consder the case when V carres both, a structure of an F[ ]-module, and a compatble wth t commutatve algebra structure, n other words, V s a dfferental algebra. Then n the same way as above,

10 10 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 we construct the Le superalgebra W,as ΠV cf. 1.1 as a Z-graded subalgebra of W ΠV, for whch W,as 1 ΠV = W 1 ΠV = ΠV/ V, W,as 0 ΠV = Der F[ ] V W0 ΠV = End F[ ]V, and W,as 1 ΠV s such that ts odd elements X parameterze all λ-bracets on the dfferental algebra V, so that those satsfyng [X,X] = 0 correspond to PVA structures on V. Ths explans the strange notaton 1.1 of ths Le superalgebra. InSecton6weconstructtheunversalLeconformalsuperalgebra W V for a fntely generated F[ ]-supermodule V, and n Secton 7 we construct the unversal odd Posson vertex algebra W,as ΠV for a fntely generated dfferental superalgebra V. These constructons are very smlar n sprt to the constructons of the unversal Le superalgebras W V and W,as V, from Sectons 4 and 5 respectvely. The fntely generated assumpton s needed n order for the correspondng λ-bracets to be polynomal n λ. Note that n the defnton of the Le algebra bracet on V/ V, and ts representaton on V, as well n the dscusson of the Lenard-Magr scheme, we needed only that V s a Le conformal algebra. However, for practcal applcatons one usually uses PVA s, and, n fact some specal nd of PVA s, whch are dfferental algebra extensons of R l wth the λ-bracet gven by formula For such a PVA V we construct, n Sectons 9 a subalgebra of the Le algebra W,as ΠV W var ΠV = j 1 W var j, where W 1 var = W,as 1, but Wvar j for j 0 may be smaller. For example W0 var conssts of dervatons of the form 1 j l, commutng wth, and P j,n n Z u n + j t s these dervatons that are called n varatonal calculus evolutonary vector felds. Next, W1 var conssts of all λ-bracets of the form 1.18, etc. We call elements of W var the varatonal -vector felds. There has been an extensve dscusson of varatonal poly-vector felds n the lterature. The earlest reference we now of s [Kup], see also the boo [Ol2]. One of the later references s [IVV]; the dea to use Cartan s prolongaton comes from ths paper. In order to solve the Lenard-Magr scheme 1.13 over a dfferental functon extenson V of R l wth the λ-bracets {.,.} H and {.,.} K of the form as n 1.18, one has to compute the cohomology of the complex W var ΠV,adK, where K W1 var s such that [K,K] = 0, as we explaned above. In order to compute ths varatonal Posson cohomology, we construct, n Secton 10 a Z + -graded Le conformal superalgebra whch s actually a subalgebra of the odd PVA W,as ΠV W var ΠV = j 1 Wvar j wth W 1 var = V, for whch the assocated Le superalgebra s Wvar ΠV. Snce the Le superalgebra W var ΠV acts on the Le conformal superalgebra

11 THE VARIATIONAL POISSON COHOMOLOGY 11 W var ΠV, n partcular, K acts, provdng t wth a dfferental d K, commutng wth the acton of. We thus have an exact sequence of complexes: W var V,d K W var V,d K W var V,adK 0, so that we can study the correspondng cohomology long exact sequence. To actually perform calculatons, we dentfy non-canoncally the space W var ΠV wth the space Ω V of the de Rham complex, and the space W var ΠV wth the space of the reduced de Rham complex = varatonal complex Ω V. We thus get the generalzed de Rham complex Ω V,d K and the generalzed varatonal complex Ω V,adK. The ordnary de Rham and varatonal complexes are not, strctly speang, specal cases, snce they correspond to K = I, whch s not a sewadjont operator. However, n the case when the dfferental operator K s quasconstant,.e., u n K = 0 for all,n, the constructon of these complexes s stll vald. In Secton 11 we completely solve the problem of computaton of cohomology of the generalzed de Rham complex Ω V,d K n the case when V s a normal algebra of dfferental functons and K s a quasconstant matrx dfferental operator wth nvertble leadng coeffcent. For that we use local homotopy operators, smlar to those ntroduced n [BDSK] for the de Rham complex. After that, as n [BDSK], we study the cohomology long exact sequence correspondng to the short exact sequence As a result we get a complete descrpton of the cohomology of the generalzed varatonal complex for an arbtrary quasconstant l l matrx dfferental operator K of order N wth nvertble leadng coeffcent. In fact, we fnd smple explct formulas for representatves of cohomology classes, and we prove that dmh Ω V,adK = Nl +1 provded that quasconstants form a lnearly closed dfferental feld. These results lead to further progress n the applcaton of the Lenard-Magr scheme wor n progress. In the specal case when K s a constant coeffcent order 1 sewadjont matrx dfferental operator, t s proved n [Get] that the varatonal Posson cohomology complex s formal. Our explct descrpton of the long exact sequence n terms of polydfferental operators leads to some problems on systems of lnear dfferental equatons of arbtrary order n the same number of unnowns. In the Appendx we develop some dfferental lnear algebra n order to solve these problems. All vector spaces are consdered over a feld F of characterstc zero. Tensor products, drect sums, and Hom s are consdered over F, unless otherwse specfed.,

12 12 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 We wsh to than A. Kselev for drawng our attenton to the cohomologcal approach to the Lenard-Magr scheme, I. Kraslshch for correspondence, and A. Maffe for useful dscussons. 2. The unversal Le superalgebra WV for a vector superspace V, and Le superalgebra cohomology Recall that a vector superspace s a Z/2Z-graded vector space U = U 0 U 1. If a U α, where α Z/2Z = { 0, 1}, one says that a has party pa = α. In ths case we say that the superspace U has party p. By a superalgebra structure on U we always mean a party preservng product U U U, a b ab, whch s called commutatve resp. sewcommutatve f ba = 1 papb ab resp. ba = 1 papb ab. An endomorphsm of U s called even resp. odd f t preserves resp. reverses the party. The superspace EndU of all endomorphsms of U s endowed wth a Le superalgebra structure by the formula: [A,B] = A B 1 papb B A. One denotes by ΠU the superspace obtaned from U by reversng the party, namely ΠU = U as a vector space, wth party pa = pa+ 1. One defnes a structure of a vector superspace on the tensor algebra T U over U by addtvty. The symmetrc, respectvely exteror superalgebra SU resp. U s defned as the quotent of the tensor superalgebra T U by the relatons u v 1 pupv v u resp. u v + 1 pupv v u. Note that SΠU s the same as U as a vector space, but not as a vector superspace The unversal Le superalgebra WV. Let V be a vector superspacewthparty pthereasonforthsnotatonwllbeclearlater. Werecall the constructon of the unversal Le superalgebra WV assocated to V. Let W V = HomS +1 V,V, the superspace of +1-lnear supersymmetrc functons on V wth values n V, and let WV = = 1 W V. Agan, we denote ts party by p. We endow ths vector superspace wth a structure of a Z-graded Le superalgebra as follows. If X W h V, Y W h V, wth h 1, h 1, we defne X Y to be the followng element n W V: 2.1 X Yv 0,...,v = ǫ v 0,..., XYv,...,v,v,...,v. 0 h h+1 0 < < h h+1 < < Here ǫ v 0,..., = 0 f two ndexes are equal, and, for 0,..., dstnct, ǫ v 0,..., = 1 N, where N s the number of nterchanges of ndexes of odd v s n the permutaton. For example, f V s purely even, then ǫ v 0,..., = 1 for every permutaton, whle, f V s purely odd, then ǫ v 0,..., s the sgn of the permutaton σ S +1 gven by σl = l. The above formula, for h = 1 gves zero, whle for = h 1 gves

13 THE VARIATIONAL POISSON COHOMOLOGY 13 XY,v 0,...,v. Clearly, X Y s a supersymmetrc map f both X and Y are, hence X Y s a well-defned element of W V. We then defne the bracet [, ] : W h V W h V W V by the followng formula: 2.2 [X,Y] = X Y 1 px py Y X. Proposton 2.1. The bracet 2.2 defnes a Le superalgebra structure on WV. Proof. The bracet 2.2 s sewcommutatve by constructon. Moreover, t s easy to see that the operaton s rght symmetrc,.e., X,Y,Z = 1 py pz X,Z,Y, where X,Y,Z = X Y Z X Y Z. The rght symmetry of mples the Jacob dentty for bracet 2.2. Accordng to the above defntons, W 1 V = V, W 0 V = EndV, and the bracet between W 0 V and W 1 V s gven by the acton of EndV on V. Moreover, for X W V and Y W 1 V = V, we have 2.3 [X,Y]v 1,...,v = XY,v 1,...,v, v 1,...,v V, whle for X W 0 V and Y W V, 1, we have [X,Y]v 0,...,v = X Yv 0,...,v px py =0 Here and further we let, for j, 1 px s 0, 1 Yv 0,...Xv...,v. 2.5 s,j = pv + + pv j. Fnally, f X W 1 V and Y W 1 V, 0, we have [X,Y] = X Y 1 px py Y X, where X Yv 0,...,v = 1 pv py+ s 0, 1 X v,yv 0,...,v ˇ, 2.6 =0 Y Xv 0,...,v = 1 pv s 0, 1 + pv j s 0,j 1 + pv Y j Xv,v j,v 0,... ˇ...,v ˇ. 0 <j In partcular, f both X and Y are n W 1 V, we get 2.7 X Yv 0,v 1,v 2 = X Yv 0,v 1,v py pv 0 X v 0,Yv 1,v pv 0+ py pv 1 X v 1,Yv 0,v 2. Remar 2.2. It follows from 2.3 that we have the followng unversalty property of the Le superalgebra WV: for any Z-graded Le superalgebra g = = 1 g wthg 1 = V theresacanoncal homomorphsmof Z-graded Le superalgebras φ : g WV, extendng the dentty map on V, gven by φav 0,...,v = [...[[a,v 0 ],v 1 ],...,v ], f 0.

14 14 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 Ths map s an embeddng f and only f g has no deals n 0 g. Remar 2.3. If V s a fnte dmensonal vector superspace, then WV concdes wth the Le superalgebra of all polynomal vector felds on V ths explans the letter W, for Wtt. Remar 2.4. If V s purely odd, then WV concdes wth the so called Njenhus-Rchardson algebra, whch plays an mportant role n deformaton theory [NR] The space WV,U as a reducton of WV U. Let V and U be vector superspaces wth party p. We defne the Z + -graded vector superspace wth party stll denoted by p WV,U = Z + W V,U, where W V,U = HomS +1 V,U. It can beobtaned as a reducton of the unversal Le superalgebrawv U as follows. We consder the subspace 2.8 HomS +1 V U,U W V U, defned by the canoncal drect sum decomposton W V U = HomS +1 V U,U HomS +1 V U,V. The ernel of the restrcton map X X S +1 V s the subspace 2.9 { X HomS +1 V U,U XS +1 V = 0 } W V U. Hence we get an nduced somorphsm of superspaces 2.10 HomS +1 V U,U /{ X XS +1 V = 0 } W V,U. Proposton 2.5. Let X W h V U. Then the adjont acton of X on WV U leaves the subspaces 2.8 and 2.9 nvarant provded that Xw 0,...,w h U f at least one of the arguments w les n U, Xv 0,...,v h V f all the arguments v le n V. In ths case adx nduces a well-defned map on the reducton WV,U, va the somorphsm Proof. The proof s mmedate from the defnton of the Le bracet 2.2 on WV U. Remar 2.6. An element X W 1 V U defnes a commutatve not necessarly assocatve product on the superspace V U. In ths case, condtons and n Proposton 2.5 exactly mean that V V V and that V U U U. Moreover, the nduced acton of adx on WV,U s ndependent of the product on U.

15 THE VARIATIONAL POISSON COHOMOLOGY Prolongatons. Let V be a vector superspace, and let g 0 be a subalgebra of the Le superalgebra EndV. A prolongaton of g 0 s a Z- graded subalgebra g = = 1 g of the Z-graded Le superalgebra WV = = 1 W V, such that g 1 = W 1 V = V and g 0 concdes wth the gven Le superalgebra. Thefull prolongaton W g 0 V = = 1 Wg 0 Vofg 0 sdefnedbylettng W g 0 1 V = V, Wg 0 0 V = g 0 and, nductvely, for 1, W g 0 V = { X W V [X,W 1 V] W g 0 1 V}. It s mmedate to chec, by the Jacob dentty, that the above formula defnes a maxmal prolongaton of the Le superalgebra WV Le superalgebra structures. By defnton, the even elements X W 1 V are exactly the commutatve not necessary assocatve superalgebrastructuresonv: forx W 1 V 0 weget acommutatve productonv by lettng uv = Xu, v. Smlarly, the sewcommutatve superalgebra structures on a superspace L wth party p are n bjectve correspondence wth the odd elements of W 1 ΠL: for X W 1 ΠL 1, we get a sewcommutatve product on L by lettng 2.11 [a,b] = 1 pa Xa,b, a,b L, and vce-versa [CK]. Furthermore, let X W 1 ΠL 1, and consder the correspondng sewcommutatve product 2.11 on L. The Le bracet of X wth tself then becomes, by 2.7, [X,X]a,b,c{ = 2X Xa,b,c } = 1 pb 2 [a,[b,c]] 1 papb [b,[a,c]] [[a,b],c]. Hence, the Le superalgebra structures on L are n bjectve correspondence, va 2.11, wth the set { } 2.12 X W1 ΠL 1 [X,X] = 0. Therefore, for any Le superalgebra L, we have a dfferental d X = adx, where X n 2.12 s assocated to the Le superalgebra structure on L, on thesuperspacewπl. Thsconcdes, uptoasgn ntheformulaof thedfferental, wth the usual Le superalgebra cohomology complex C L,L,d for the Le superalgebra L wth coeffcents n ts adjont representaton n equaton 2.15 below we gve an explct formula for the dfferental d X for an arbtrary representaton M. Thus the complex C L,L has a canoncal Le superalgebra structure for whch the dfferental d X but not d s a dervaton. In the next secton we construct, by reducton, the Le superalgebra cohomology complex C L,M,d for the Le superalgebra L wth coeffcents n an arbtrary L-module M.

16 16 ALBERTO DE SOLE 1 AND VICTOR G. KAC Le superalgebra modules and cohomology complexes. Let L and M be vector superspaces wth party p, and consder the reduced superspace WΠL,ΠM = = 1 HomS+1 ΠL,ΠM ntroduced n Secton 2.2, wth party denoted by p. Suppose now that L s a Le superalgebra and M s an L-module. Ths s equvalent to say that we have a Le superalgebra structure on the superspace L M extendng the Le bracet on L, such that M s an abelan deal, the bracet between a L and m M beng am. Accordng to the above observatons, such a structure corresponds, bjectvely, to an element X of the followng set: 2.13 { X W 1 ΠL ΠM 1 [X,X] = 0,XL,L L, XL,M M, XM,M = 0 }. Explctly, to X n 2.13 we assocate the correspondng Le superalgebra bracet on L gven by 2.11, and the correspondng L-module structure on M gven by 2.14 am = 1 pa Xa,m, a L, m M. Note that every element X n the set 2.13 satsfes condtons and n Proposton 2.5. Hence adx nduces a well-defned endomorphsm d X of WΠL,ΠM such that d 2 X = 0, thus mang WΠL,ΠM,d X a complex. The explct formula for the dfferental d X follows from equatons 2.6 and from the dentfcatons 2.11 and For Y W 1 ΠL,ΠM, we have 2.15 d X Ya 0,...,a = + 0 <j 1 α a Ya0,...,a ˇ =0 ˇ j ˇ 1 α j Y[a,a j ],a 0,...,a, where, 2.16 α = 1+pa +1 py+s 0, 1 ++1, α,j = py+pa +1s 0, pa j +1s 0,j 1 +j +pa +1, and, recallng 2.5, we let, for j, 2.17 s,j = pa + +pa j. Note that, n the specal case when M = L s the adjont representaton, the complex WΠL,ΠM,d X concdes wth the complex WΠL,d X dscussed n Secton 2.4. In the specal case when L s a purely even Le algebra and M s a purely even L-module, we have py mod 2, and

17 the above formula reduces to 2.18 THE VARIATIONAL POISSON COHOMOLOGY 17 d X Ya 0,...,a = 1 1 a Ya0,...,a ˇ + 0 <j =0 1 +j j Y[a,a j ],a 0,... ˇ...,a ˇ, whch, up to the overall sgn factor 1, s the usual formula for the Le algebra cohomology dfferental see e.g. [Bou]. Inconcluson, thecohomologycomplexc L,M = Z + C L,M,d of a Le superalgebra L wth coeffcents n an L-module M can be defned by lettng C L,M = W 1 ΠL,ΠM and d = d X. Remar 2.7. We have a canoncal representaton of a Le superalgebra L on each W ΠL,ΠM = HomS +1 ΠL,ΠM, that we denote by a L a, a L the Le dervatve. It s easy to chec that L a = ad[a,x]. Hence, defnng the contracton operators ι a = ada, we have Cartan s formula L a = [ι a,d X ]. Ths,together wththeobservatonthat, whenm = Lstheadjont representaton, d X s a dervaton of the Le bracet n WΠL, leads us to beleve that our choce of sgns for the dfferental, contractons and Le dervatves n the Le superalgebra cohomology complex s the most natural one. In fact, one checs that the most general choce of sgns whch eeps Cartan s formula vald up to a sgn s the followng: d X Y = ǫ py[x,y], ι a Y = δpaǫ py+ 1[a,Y], where ǫ and δ are arbtrary functons: Z/2Z {±1}. In ths case Cartan s formulahas theform L a = δpa[ι a,d X ]. Ourchoce of sgns s ǫ = δ = +1. The usual choce, see e.g. [Bou], n the case when L and M are purely even, s δ = +1 and ǫ = 1, whch corresponds to ι a0 Ya 1,...,a = Ya 0,a 1,...,a. But ths choce cannot be extended to the super case, f we requre Cartan s formula to hold up to a sgn. 3. The unversal odd Posson superalgebra for a commutatve assocatve superalgebra A and Posson superalgebra cohomology Recall that a Posson resp. odd Posson =Gerstenhaber superalgebra P, wth party p, s a commutatve assocatve superalgebra endowed wth a bracet [, ] whch maes P resp. ΠP a Le superalgebra, satsfyng the followng Lebnz rule: [a,bc] [a,b]c = 1 papb b[a,c] resp. = 1 pa+ 1pb b[a,c]. Usually the commutatve assocatve product on P s denoted by n the Posson superalgebra case, and by n the odd Posson superalgebra case. For example, f A, g s a Le superalgebrod over a commutatve assocatve algebra A, then S A g has a natural structureof a Posson superalgebra, and

18 18 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 S A Πg has a natural structure of an odd Posson superalgebra, wth the bracet on g extended by the Lebnz rule. Remar 3.1. If P s a Posson resp. odd Posson algebra, we can consder the opposte Posson resp. odd Posson algebra P op, wth the reversed product, and the opposte bracet, [a,b] op = [b,a] The unversal odd Posson superalgebra ΠW as ΠA. Throughout ths secton, we let A be a commutatve assocatve superalgebra wth party p,andletderabethelesuperalgebraofdervatonsofa,.e., lnearmaps X : A A satsfyng the Lebnz rule Xab = Xab+ 1 papb Xba. Consder the unversal Le superalgebra WΠA = = 1 W ΠA assocated to the vector superspace ΠA, wth party denoted by p. The Le superalgebra DerA s a subalgebra of W 0 ΠA = EndΠA, so we can consder ts full prolongaton, as defned n Secton 2.3, whch we denote by W as ΠA = = 1 W as ΠA WΠA. Proposton 3.2. For 1, the superspace W as ΠA conssts of lnear maps X : S +1 ΠA ΠA satsfyng the followng Lebnz rule for a 0,...,a 1,b,c A, 0: 3.1 Xa 0,...,a 1,bc = Xa 0,...,a 1,bc+ 1 pbpc Xa 0,...,a 1,cb. Proof. It follows by an easy nducton on 0. Remar 3.3. Equaton 3.1 and the symmetry relatons mply the followng more general formula, for every = 0,...,: 3.2 Xa 0,...,b c,...,a = 1 pc s +1, + Xa 0,...,b,...,a c + 1 pb px+s 0, 1 + b Xa 0,...,c,...,a, where s j s defned n We next defne a structure of commutatve assocatve superalgebra on the superspace ΠW as ΠA, mang t an odd Posson superalgebra. Let X ΠWh 1 as ΠA and Y ΠWas h 1 ΠA, for h 0, h 0, and denote by px and py ther partes n these spaces. We defne ther concatenaton product X Y ΠW 1 as ΠA as the followng map: 3.3 py pa X Ya 1,...,a = ǫ a 1,..., pa h 1 < < h h+1 < < Xa 1,...,a h Ya h+1,...,a, where ǫ a 1,..., s as n 2.1 for the elements a 1,...,a ΠA.

19 THE VARIATIONAL POISSON COHOMOLOGY 19 Proposton 3.4. The Z + -graded superspace GA = =0 G A, where G A = ΠW 1 as ΠA, wth party denoted by p, together wth the concatenaton product : G h A G h A G A gven by 3.3, and wth the Le superalgebra bracet on ΠGA = W as ΠA, s a Z + -graded odd Posson superalgebra. Proof. Frst, we prove that X Y n 3.3 s an element of ΠW as ΠA, namely, t s a map S ΠA ΠA and t satsfes the Lebnz rule 3.1. For the frst asserton, t s convenent to rewrte equaton 3.3 as a sum over all permutatons: 1 X Ya 1,...,a = ǫ a σ1,...,σ h! h! σ S 1 py pa σ1+ + pa σh Xa σ1,...,a σh Ya σh+1,...,a σ. Here we used the symmetry relatons for X and Y. Usng ths, t s then mmedate to chec that X Ya τ1,...,a τ = ǫ a τ1,...,τx Ya 1,...,a, for all permutatons τ S, namely, X Ya 1,...,a s supersymmetrc n the varables a 1,...,a ΠA, as we wanted. Next, we show that X Y satsfes the Lebnz rule 3.1. We have 3.4 X Ya 1,...,a 1,bc = ǫ a1,...,a 1,bc 1,..., 1 < < h < h+1 < < = 1 py pa pa h Xa 1,...,a h Ya h+1,...,a 1,bc + ǫ a1,...,a 1,bc 1,..., 1 py pa pa h 1 + pbc 1 < < h = h+1 < < < Xa 1,...,a h 1,bcYa h+1,...,a. In the frst term of the RHS of 3.4, we have, snce =, 3.5 ǫ a1,...,a 1,bc 1,..., = ǫ a1,...,a 1,b 1,..., = ǫ a1,...,a 1,c 1,...,, and we can use the Lebnz rule for Y to get: Ya h+1,...,a 1,bc = Ya h+1,...,a 1,bc + 1 pbpc Ya h+1,...,a 1,cb. On the other hand, n the second term of the RHS of 3.4, we have, snce h =, 3.6 ǫ a1,...,a 1,bc 1,..., = ǫ a1,...,a 1,b 1,..., 1 pc pa h pa = ǫ a1,...,a 1,c 1,..., 1 pb pa h pa,

20 20 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 and we can use the Lebnz rule for X and the commutatvty of the product on A, to get Xa 1,...,a h 1,bcYa h+1,...,a = 1 pcpy + pa h pa Xa 1,...,a h 1,bYa h+1,...,a c + 1 pbpc+py + pa h pa Xa 1,...,a h 1,cYa h+1,...,a b. Furthermore, we have 3.7 pbc = pb+pc = pb+ pc n Z/2Z. Puttng the above formulas n equaton 3.4, we get the desred Lebnz rule for X Y. We now prove that formula 3.3 for X Y defnesaproducton the superspace ΠW as ΠA whch s both commutatve and assocatve. Recall that wearedenotngtheparty on W as ΠA by pandonπw as ΠA byp. Hence, gven a 1,...,a h ΠA and X Wh asπa HomSh ΠA,ΠA, the element Xa 1,...,a h ΠA has party px + pa pa h. It follows that Xa 1,...,a h Ya h+1,...,a hasparty 1+pX+pY+ pa pa as an element of ΠA. Hence, X Y has party 1+pX+pY as an elementofw as ΠA, or, equvalently, thaspartypx+pyasanelement of ΠW as ΠA. Ths shows that ΠW as ΠA, endowed wth the wedge product 3.3, s a superalgebra. Snce A s a commutatve superalgebra, we have Xa 1,...,a h Ya h+1,...,a = ±Ya h+1,...,a Xa 1,...,a h, where ± = 1 px+ pa pa h py + pa h pa. Thsmmedately mples the commutatvty of the wedge product 3.3. Moreover, gven X ΠWh 1 as ΠA, Y ΠWas h 1 ΠA, Z ΠWas l 1 ΠA, and a 1,...,a l ΠA, we have, usng assocatvty of A, that both X Y Za 1,...,a l and X Y Za 1,...,a l are equal to ǫ a 1,..., l 1 py pa pa h +pz pa pa 1 < < h h+1 < < +1 < < l Xa 1,...,a h Ya h+1,...,a Za +1,...,a l, provng assocatvty of the wedge product. To complete the proof of the proposton, we are left to prove that the Le bracet on W as ΠA satsfes the odd Lebnz rule, 3.8 [X,Y Z] = [X,Y] Z + 1 pxpy Y [X,Z], thus mang ΠW as ΠA an odd Posson superalgebra. Ths follows mmedately from the followng lemma. Lemma 3.5. The left and rght Lebnz formulas for the box product 2.1 of W as ΠA hold: 3.9 X Y Z = X Y Z + 1 pxpy Y Z X, X Y Z = X Y Z+ 1 py pz X Z Y.

21 THE VARIATIONAL POISSON COHOMOLOGY 21 Proof. The frst formula n 3.9 s obtaned, by a straghtforward computaton, usng the defntons 2.1 and 3.3 of the box product and of the wedge product, and the Lebnz rule 3.2 for X : S h+1 ΠA ΠA. The second formula n 3.9 s also obtaned by a straghtforward computaton, usng 2.1 and 3.3. Remar 3.6. Assumng that A s a purely even commutatve assocatve algebra, we may consder the Le algebrod A, DerA, the assocated odd Posson superalgebra of polyvector felds S A ΠDerA, and also the opposte odd Posson superalgebra S A ΠDerA op, defned n Remar 3.1. Then, we have a homomorphsm of Z + -graded odd Posson superalgebras φ : S A ΠDerA op GA = ΠW as ΠA, gven by φx 1 X a 1,...,a = detx a j,j=1. Indeed, t s easy to chec that the map φ s a homomorphsm of assocatve superalgebras. Moreover, snce t s the dentty on A ΠDerA, t s automatcally a Le superalgebra homomorphsm, due to the Lebnz rule. In fact, the map φ s an somorphsm provded that DerA s a free module over A of fnte ran, for example when A s the algebra of polynomals n fntely many varables. In general, though, ths map s nether njectve nor surjectve Posson superalgebra structures and Posson superalgebra cohomology complexes. Proposton 3.7. The Posson superalgebra structures on a commutatve assocatve superalgebra A are n bjectve correspondence, va 2.11, wth the set { } 3.10 X W as 1 ΠA 1 [X,X] = 0. Proof. By the results n Secton 2.4 the elements X W 1 ΠA 1 such that [X,X] = 0 correspond, va 2.11, to the Le superalgebra structures on A. Moreover, to say that X les n W1 as ΠA means that the correspondng Le bracet satsfes the Lebnz rule, hence A s a Posson superalgebra. It follows from the above Proposton that, for any Posson superalgebra structure on A, we have a dfferental d X = adx on the superspace W as ΠA, where X n 3.10 s assocated to the Le superalgebra structure on A. Ths dfferental s obvously an odd dervaton of the Le bracet on W as ΠA, and an odd dervaton of the concatenaton product on ΠW as ΠA. We thus get a cohomology complex GA,d X. Remar 3.8. If A s a purely even Posson algebra, then the odd Posson superalgebra S A ΠDerA of polyvector felds on A s the usual Posson cohomology complex, wth the dfferental d = adx, where X s the bvector feld defnng the Posson algebra structure on A [Lc]. In ths case,

22 22 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 the odd Posson superalgebra homomorphsm φ defned n Remar 3.6 s a homomorphsm of cohomology complexes The unversal Posson superalgebra W as A and odd Posson superalgebra structures on A. As n the prevous secton, let A be a commutatve assocatve superalgebra, wth party p and let DerA be the LesuperalgebraofdervatonsofA. InsteadofWΠA, wemayconsderthe unversal Le superalgebra WA = = 1 W A, wth party stll denoted by p. As we shall see below, we arrve at a dual pcture: W as A WA defned below has a natural structure of a Posson superalgebra, whle elements X W 1 A 1 such that [X,X] = 0 correspond to the odd Posson superalgebra structures on A. The Le superalgebra DerA s a subalgebra of W 0 A = EndA, so we can consder ts full prolongaton, whch we denote by W as A = = 1 W as A WA. Proposton 3.9. For 1, the superspace W as A conssts of lnear maps X : S +1 A A satsfyng the followng Lebnz rule for a 0,...,a 1,b,c A: 3.11 Xa 0,...,a 1,bc = Xa 0,...,a 1,bc+ 1 pbpc Xa 0,...,a 1,cb. Proof. It follows by an easy nducton on 0. We next defne a structure of commutatve assocatve superalgebra on the superspace W as A, mang t a Posson superalgebra. Gven X Wh 1 as A and Y W h 1 as A, for h 0, h 0, we let ther concatenaton product X Y W 1 as A be the followng map: 3.12 py pa X Ya 1,...,a = ǫ a 1,..., pa h 1 < < h h+1 < < Xa 1,...,a h Ya h+1,...,a. Note that ǫ a 1,..., n 3.12 s not the same as n 3.3, snce here we consder a 1,...,a as elements of A, not of ΠA. Proposton The Z + -graded superspace PA = =0 P A, where P A = W 1 as A, together wth the concatenaton product : P ha P h P A gven by 3.12, and wth the Le superalgebra bracet on PA = W as A, s a Posson superalgebra. Proof. Frst, we prove, n the same way as n Proposton 3.4, that X Y n 3.12 s an element of W asa, namely, t s a map S A A and t satsfes the Lebnz rule Moreover, t s mmedate to chec that 3.12 maes W as A a commutatve assocatve superalgebra, usng commutatvty and assocatvty of the product on A. To complete the

23 THE VARIATIONAL POISSON COHOMOLOGY 23 proof of the proposton, we are left to prove that the Le bracet on W as A satsfes the usual Lebnz rule, 3.13 [X,Y Z] = [X,Y] Z + 1 pxpy Y [X,Z], thus mang W as A a Posson superalgebra. Ths follows mmedately from the followng lemma. Lemma The left and rght Lebnz formulas for the box product 2.1 of W as A hold: 3.14 X Y Z = X Y Z + 1 pxpy Y Z X, X Y Z = X Y Z+ 1 pypz X Z Y. Proof. The proof s the same as that of Lemma 3.5. Remar Assumng that A s a purely even commutatve assocatve algebra, we may consder the assocated Posson algebra S A DerA. Then, we have a homomorphsm of Z + -graded Posson algebras φ : S A DerA PA = W as A, gven by φx 1,...,X a 1,...,a = σ S X 1 a σ1...x a σ. Indeed, t s easy to chec that the map φ s a homomorphsm of assocatve algebras. Moreover, snce t s the dentty on A DerA, t s automatcally a Le algebra homomorphsm, due to the Lebnz rule. Proposton The odd Posson superalgebra structures on A are n bjectve correspondence, va 2.11, wth the set { } 3.15 X W as 1 A 1 [X,X] = 0. Proof. The proof s smlar to that of Proposton 3.7. It follows from the above Proposton that, for any odd Posson superalgebra A, we have a dfferental d X = adx on the superspace W as A, where X n 3.15 s assocated to the Le superalgebra structure on ΠA. Ths dfferental s obvously an odd dervaton of the Le bracet on W as A, and an odd dervaton of the concatenaton product on W as A. We thus get a cohomology complex PA,d X. 4. The Le superalgebra W V for an F[ ]-module V, and Le conformal superalgebra cohomology In ths secton we repeat the dscusson of Secton 2 n the case of conformal superalgebras. Recall that a conformal superalgebra s a vector superspace R endowed wth a structure of an F[ ]-module compatble wth party, and wth aλ-product,.e., alnear map R R F[λ] R, a b a λ b, satsfyng the sesqulnearty relatons: 4.1 a λ b = λa λ b, a λ b = λ+ a λ b.

24 24 ALBERTO DE SOLE 1 AND VICTOR G. KAC 2 A conformal superalgebra s called commutatve resp. sewcommutatve f 4.2 b λ a = 1 papb a λ b resp. = 1 papb a λ b, where s moved to the left. In the sewcommutatve case the λ-product s usually called λ-bracet and t s denoted by [a λ b]. If n addton to sewcommutatvty the λ-bracet satsfes the Jacob dentty, 4.3 [a λ [b µ c]] 1 papb [b µ [a λ c]] = [[a λ b] λ+µ c], R s called a Le conformal superalgebra [K]. For an F[ ]-module R, one usually denotes by the canoncal map R R/ R. Recall that, f R s a Le conformal superalgebra, then the vector superspace R/ R has a well-defned structure of a Le superalgebra, gven by [ a, b] = [a λ b] λ=0, a,b R. Moreover, R s a left module over the Le superalgebra R/ R, wth the well-defned acton a b = [a λ b] λ=0, a,b R, by dervatons of the Le conformal superalgebra R The Le superalgebra W V. Let V be a vector superspace wth party p, endowed wth a structure of an F[ ]-module, compatble wth the party. Motvated by the constructon of WV ntroduced n Secton 2.1, we construct n ths secton the Z-graded Le superalgebra W V = = 1 W V, whch, to some extent, plays the same role n the theory of Le conformal algebras as WV plays n the theory of Le algebras. For 1, we let W V be the superspace of +1-λ-bracets on V, as defned n [DSK2], namely, 4.4 W V = Homsym V +1,F F[ ] +1 [λ 0,...,λ ] F[ ] V, wththeparty pnducedbythepartyonv. HereandfurtherF [λ 0,...,λ ] denotes the space of polynomals n the +1 varables λ 0,...,λ, endowed wth a structure of F[ ] +1 -module, by lettng P 0 P act as P 0 λ 0...P λ. Usng the embeddng F[ ] F[ ] +1 gven by the standard comultplcaton, we get the correspondng F[ ]-module structure onf [λ 0,...,λ ], namely acts by multplcaton by λ 0 + +λ. Thus, W V conssts of all lnear maps X : V +1 F [λ 0,...,λ ] F[ ] V, v 0 v X λ0,...,λ v 0,...,v, satsfyng the followng condtons: sesqulnearty X λ0,...,λ v 0,..., v,...,v = λ X λ0,...,λ v 0,...,v, symmetry X λ0,...,λ v 0,...,v = ǫ v 0,..., X λ0,...,λ v 0,...,v, for all permutatons 0,..., of 0,...,. Here ǫ v 0,..., s the same as n 2.1. For example, W 1 V = V/ V. Furthermore, W 0 V = End F[ ]V, namely the map X λ : V F [λ] F[ ] V s dentfed wth the F[ ]-module

25 THE VARIATIONAL POISSON COHOMOLOGY 25 endomorphsm X : V V gven by Xv = X v, wth moved to the left. For 0, wecandentfy, nanon-canoncalway, F [λ 0,...,λ ] F[ ] V = F [λ 0,...,λ 1 ] V, by lettng λ = λ 0 λ 1. For example, W1 V s dentfed wth the space of λ-bracets { λ } : V V V[λ], u v {u λ v}, satsfyng: sesqulnearty { u λ v} = λ{u λ v}, {u λ v} = λ+ {u λ v}, commutatvty {v λ u} = 1 pu pv {u λ v}. Keepng n mnd the constructon n Secton 2.1, we next endow W V wth a structure of a Z-graded Le superalgebra as follows. If X Wh V, Y W h V, wth h 1, h 1, we defne X Y to be the followng element of W V: 4.5 X Y λ 0 v,...,λ 0,...,v = ǫ v 0,..., 0 < < h h+1 < < X λ0 + +λ h,λ h+1,...,λ Y λ0,...,λ h v 0,...,v h,v h+1,...,v. The above formula, for h = 1 gves zero, whle for = h 1 gves X 0,λ0,...,λ Y,v 0,...,v, whchswelldefnedfory V/ V bythesesqulnearty condton on X. We observethat theboxproduct4.5 s well defned, namely t preserves the defnng relatons of F [λ 0,...,λ ] F[ ] V. Indeed, f X λ0,...,λ h v 0,...,v h = λ 0 + +λ h + Fλ 0,...,λ h ;v 0,...,v h, for some polynomal F n λ 0,...,λ h wth coeffcents n V, then X Y λ 0,...,λ v 0,...,v = λ 0 + +λ + ±F..., whchszeronf [λ 0,...,λ ] F[ ] V. Smlarly, fy λ0,...,λ h v 0,...,v h = λ 0 + +λ h + Gλ 0,...,λ h ;v 0,...,v h, for some polynomal G n λ 0,...,λ h wth coeffcents n V, then X Y λ 0 v,...,λ 0,...,v = 0, by the sesqulnearty condton for X. Moreover, t s straghtforward to chec that X Y satsfes both the sesqulnearty and the symmetry condtons, f X and Y do. Hence, s a well-defned map Wh V W h V W V. We then defne the bracet [, ] : Wh V W h V W V by the same formula as before: 4.6 [X,Y] = X Y 1 px py Y X. Proposton 4.1. a The bracet 4.6 defnes a Le superalgebra structure on W V. b We have the followng canoncal homomorphsm of Z-graded Le superalgebras: 4.7 W V WV/ V, X λ0,...,λ X 0,...,0, where, as usual, for v V, v denotes ts mage n V/ V.