arxiv: v2 [math-ph] 23 May 2015

Transcription

1 DOUBLE POISSON VERTEX ALGEBRAS AND NON-COMMUTATIVE HAMILTONIAN EQUATIONS ALBERTO DE SOLE, VICTOR G. KAC, DANIELE VALERI arxv: v2 [math-ph] 23 May 2015 Abstract. We develop the formalsm of double Posson vertex algebras local and non-local) amed at the study of non-commutatve Hamltonan PDEs. Ths s a generalzaton of the theory of double Posson algebras, developed by Van den Bergh, whch s used n the study of Hamltonan ODEs. We apply our theory of double Posson vertex algebras to non-commutatve KP and Gelfand-Dckey herarches. We also construct the related non-commutatve de Rham and varatonal complexes. Contents 0. Introducton 2 1. Prelmnares and notaton for assocatve algebras Double lnear algebra Trace map and reducton V -module structures of V n Some further notaton n-fold dervatons n-fold brackets Double Posson algebras and non-commutatve Hamltonan ODEs Defnton of double Posson algebras The trace map and connecton to Le algebras Double Posson brackets on an algebra of non-commutatve) ordnary dfferental functons Evoluton ODE and Hamltonan ODE Lenard-Magr scheme for Hamltonan ODE Examples Basc de Rham complex over an algebra of ordnary dfferental functons Reduced de Rham complex Double Posson vertex algebras and non-commutatve Hamltonan PDEs Defnton of double Posson vertex algebra The trace map and connecton to Le conformal algebras Double Posson vertex algebra structure on an algebra of noncommutatve) dfferental functons Evoluton PDE and Hamltonan PDE over an algebra of dfferental functons de Rham complex over an algebra of dfferental functons Varatonal complex over an algebra of dfferental functons Posson vertex algebra structure on V m Examples: affne and AGD double PVA structures Non-local double Posson vertex algebras and ther Drac reducton Non-local double Posson vertex algebras 43 1

2 4.2. Drac reducton for non-local double Posson vertex algebras Adler-Gelfand-Dckey non-commutatve ntegrable herarches 52 References Introducton Frst, we recall the noton of a Posson vertex algebra. Gven a untal commutatve assocatve algebra V wth a dervaton, a λ-bracket on V s a lnear map V V V[λ], a b {a λ b}, satsfyng the followng axoms: { a λ b} = λ{a λ b}, {a λ b} = λ+ ){a λ b} sesqulnearty), 0.1) {a λ bc} = {a λ b}c+{a λ c}b left Lebnz rule), 0.2) {ab λ c} = {a λ+ c} b+{b λ+ c} a rght Lebnz rule). 0.3) The algebra V, endowed wth a λ-bracket satsfyng {a λ b} = {b λ a} skewsymmetry), 0.4) {a λ {b µ c}} {b µ {a λ c}} = {{a λ b} λ+µ c} Jacob dentty), 0.5) s called a Posson vertex algebra PVA). Of course, f = 0, then 0.2) 0.5) turn nto axoms of a Posson algebra f we let λ = µ = 0.) In the case when V s the algebra of functons on the space of jets of a fntedmensonal manfold, the noton of a PVA s equvalent to that of a local Posson bracket [BDSK09]. In order to accommodate non-local Posson brackets one needs to ntroduce the non-local PVA, for whch the λ-bracket takes values n Vλ 1 )), the formal Laurent seres n λ 1 nstead of polynomals n λ). The axoms 0.1) 0.4) can be easly nterpreted, but for the Jacob dentty 0.5) to make sense n the non-local case, one needs, n addton, the admssblty property of the λ-bracket: {a λ {b µ c}} V[[λ 1,µ 1,λ+µ) 1 ]][[λ,µ]], for all a,b,c V, 0.6) see [DSK13] for detals). Local and non-local Posson brackets play a fundamental role n the theory of ntegrable systems see e.g. [FT86]). In recent years there have been attempts to develop a theory of ntegrable systems on non-commutatve assocatve algebras see e.g. [DF92, OS98, Kup00, MS00, ORS13]). An mportant advance n ths drecton was made by Van den Bergh, who n [VdB08] ntroduced the noton of a double Posson algebra structure n a non-commutatve assocatve algebra V. Hs basc dea was to consder a 2-fold bracket {, } on V, wth values n V V. The Lebnz rules of a 2-fold bracket are almost dentcal to the usual Lebnz rules: {a,bc} = {a,b}c+b{a,c}, 0.7) {ab,c} = {a,c} 1 b+a 1 {b,c}, 0.8) where a 1 a 2 ) 1 a 3 = a 1 a 3 a 2, a 1 1 a 2 a 3 ) = a 2 a 1 a 3. The skewsymmetry axom s {a,b} = {b,a} σ, 0.9) where σ s the permutaton of factors n V V, and the Jacob dentty s {a, {b,c}} L {b, {a,c}} R = {{a,b},c} L, 0.10) where we denote {a 1,a 2 a 3 } L = {a 1,a 2 } a 3, {a 1,a 2 a 3 } R = a 2 {a 1,a 3 }, {a 1 a 2,a 3 } L = {a 1,a 3 } 1 a 2, and a b) 1 c = a c b. Formula 0.10) s slghtly dfferent from but equvalent to the Jacob dentty n [VdB08].) An assocatve algebra V, endowed wth a 2-fold bracket {, } satsfyng axoms 0.9) and 0.10), s called a double Posson algebra. 2

3 Gven a double Posson algebra V, Van den Bergh defnes the followng bracket on V wth values n V : {a,b} = m{a,b}, 0.11) where m : V V V s the multplcaton map. The bracket 0.11) stll satsfes the left Lebnz rule, but does not satsfy, n general, other axoms of a Posson bracket. However, ths bracket nduces well-defned lnear maps gven by V / [V,V] V V and V / [V,V] V / [V,V] V / [V,V], {tra), b} = {a, b} and {tra), trb)} = tr{a, b}, 0.12) where tr : V V / [V,V] s the quotent map and [V,V] s the lnear span of commutators ab ba. These maps have the followng propertes, mportant for the theory of non-commutatve Hamltonan ODEs: the vector space V / [V,V] s a Le algebra and one has ts representaton on V by dervatons, both defned by 0.12) see Proposton 2.5). Brackets 0.12) allow one to defne the basc notons of a Hamltonan theory. Gven a Hamltonan functon trh), h V, one defnes the assocated Hamltonan equaton dx = {trh),x}, x V. 0.13) dt Two Hamltonan functons trf) and trg) are sad to be n nvoluton f {trf),trg)} = ) In the case of V = R l, the algebra of non-commutatve polynomals n l varables x 1,...,x l, any 2-fold bracket can be wrtten n a tradtonal form f,g R l ): {f,g} = g H f) σ, 0.15) where f, the gradent of f, s the vector of 2-fold dervatves f x : R l R l R l, defned by f x x j ) = δ j 1 1) see [CBEG07]), H = H j ) l,j=1, where H j = {x j,x } V V, and denotes the multplcaton n V V op. Moreover, the 2- fold bracket 0.15) s skewsymmetrc f and only f skewsymmetry holds on any par of generators x,x j equvalently, f the matrx H s skewadjont: H t ) σ = H), and, provded that H s skewadjont, the Jacob dentty 0.10) holds f and only f t holds on any trple of generators x, x j, x k see Theorem 2.8). In the case of V = R l the Hamltonan equaton 0.13) becomes the followng evoluton ODE, where x = x ) l =1 : and the bracket {, } on R l / [Rl,R l ] becomes: dx dt = mh h)σ ), 0.16) {trf),trg)} = trm g H h) σ )). 0.17) Developng the deas of [MS00], we study n detal the Euler herarchy, obtaned va the Lenard-Magr scheme from the followng par of compatble double Posson brackets on R 2 = F x,y, where y s central for both 2-fold brackets: Lettng {x,x} 0 = 1 y y 1, {x,x} 1 = x y y x. 0.18) h 0 = 1 and h n = 1 n x+y)n for n 1, 0.19) t s easy to establsh the followng recurson relatons: {trh 0 ),x} 0 = 0 and {trh n ),x} 1 = {trh n+1 ),x} 0 for n Z +. 3

4 Hence, by the Lenard-Magr scheme, all trh n ) are n nvoluton wth respect to both brackets, and we obtan, by 0.16), the followng compatble set of Hamltonan ODEs m Z + ): dx dt m = xx+y) m y yx+y) m x, dy dt m = 0, 0.20) for whch all h n, n Z +, are conserved denstes. Thus, by defnton n [MS00], the herarchy of Hamltonan ODEs 0.20) s ntegrable see Secton 2.6 for detals). We develop ths theory n the natural generalty of a non-commutatve) algebra of ordnary dfferental functons. Ths s a untal assocatve algebra V endowed wthlstrongly commutng2-fold dervatons x. We say that the2-fold dervatons D and E strongly commute f D L E = E R D, where D L a 1 a 2 ) = D L a 1 ) a 2 and D R a 1 a 2 ) = a 1 D R a 2 ) then D and E commute). Formula 0.15) defnes a 2-fold bracket on any algebra of ordnary dfferental functons V, and V s a double Posson algebra f and only f the matrx H s skewadjont and 0.10) holds on any trple of generators see Theorem 2.8 for detals). The assumpton of strong commutatvty of the x s used n the proof of the Jacob dentty for the 2-fold bracket 0.15) and the proof that d 2 = 0 for the de Rham complex ΩV), dscussed below. For an algebra of dfferental functons V we construct n Secton 2.7 the de Rham complex ΩV) as a free product of V and the algebra of non-commutatve polynomals n the ndetermnates dx 1,...,dx l. Ths s a superalgebra wth the Z + -gradng gven by degv) = 0, degdx ) = 1, compatble wth the party, and wth the de Rham dfferental d beng the odd dervaton such that ddx ) = 0 and df = ) l =1 m f x 1 dx for f Ω 0 V) = V. The relevant to the theory of non-commutatve evoluton ODEs s the reduced complex ΩV) = ΩV) / [ ΩV), ΩV)]. 0.21) In Secton 2.8 we gve an explct descrpton of the space of k-forms Ω k V). In partcular: Ω 0 V) = V / [V,V], Ω 1 V) = V l, Ω 2 V) = Mat l l V V)), where the subscrpt _ means that A j ) l,j=1 = Aσ j )l,j=1. Under these dentfcatons the formula for d becomes: dtrf) = m f) σ, df = 1 2 Jt F Jσ F ), 0.22) where for F = F ) l =1 V l we defne the 2-fold Jacoban matrx as J F = F x j ) l,j=1. We also prove that both complexes ΩR l ),d) and ΩR l ),d) are acyclc. The theory of double Posson algebras and non-commutatve Hamltonan ODEs, over an algebra of ordnary dfferental functons V, developed n Secton 2 sets the stage for the theory of double PVAs and non-commutatve Hamltonan PDEs over an algebra of dfferental functons V, whch we develop n Secton 3. In a nutshell a double PVA s a cross between a double Posson algebra and a PVA. Let V be untal assocatve algebra wth a dervaton. We defne a 2-fold λ-bracket on V as a map { λ } : V V V V)[λ], satsfyng sesqulnearty 3.5) and left and rght Lebnz rules 3.6), smlar to 0.1) and 0.2),0.3) for PVA. A double PVA s the algebra V, endowed wth a 2-fold λ-bracket satsfyng skewsymmetry 3.8) and Jacob dentty 3.9) = cross between 0.4) and 0.8), and between 0.5) and 0.10), respectvely). If = 0, the axoms of a double PVA turn nto the axoms of a double Posson algebra f we let λ = µ = 0. 4

5 A non-local double PVA s defned n the same way as a non-local PVA but the one cannot put λ = 0). For a local) double PVA V, we denote by the quotent map V V := V / [V,V]+ V). Smlarly to 0.11), defne the map { λ } : V V V[λ] by {a λ b} = m{a λ b}. 0.23) As for the local) PVA see [BDSK09]), 0.23) nduces well-defned maps gven by formulas, smlar to 0.12): V V V and V V V, { a,b} = {a λ b} λ=0 and { a, b} = {a λ b} λ= ) As before, these maps have propertes mportant for the theory of non-commutatve Hamltonan PDEs: V s a Le algebra and one has ts representaton on V by dervatons, both defned by 0.24) see Theorem 3.6). We have defntons of a Hamltonan functon h V, the correspondng Hamltonan equaton nv, smlar to 0.13), and nvolutveness, smlar to 0.14), where tr s replaced by. We defne an algebra of non-commutatve) dfferental functons as a untal assocatve algebra V wth a dervaton and strongly commutng 2-fold dervatons u n) [BDSK09]):, = 1,...,l, n Z +, such that the followng two propertes hold cf. for each f V, f u n) [ u n) = 0 for all but fntely many,n), 0.25), ] = u n 1). 0.26) The most mportant example of an algebra of non-commutatve dfferental functons s the algebra of non-commutatve dfferental polynomals R l n the ndetermnates u n), = 1,...,l, n Z +, wth the dervaton defned by u n) = u n+1). Frst, we prove a PVA analogue of Theorem 2.8. Namely, any 2-fold λ-bracket on R l has the form cf. 0.15)): {f λ g} = ) σ g λ+ ) n H j λ+ ) λ ) m f, 0.27),j I m,n Z + u n) j u m) where H j λ) = {u jλ u } R l R l )[λ]. Formula 0.27) defnes a 2-fold λ-bracket on any algebra of dfferental functons V. Ths 2-fold λ-bracket s skewsymmetrc f and only f H ) = H j )) l,j=1 s a skewadjont dfferental operator over V V and, provded that H ) s skewadjont, the Jacob dentty holds f and only f t holds on any trple of generators see Theorem 3.10). Next, the non-commutatve Hamltonan PDE, assocated to the matrx dfferental operator H ), defnng the 2-fold λ-bracket, and to the Hamltonan functonal h V s the followng evoluton PDE, where u = u ) l =1 cf. 0.16)): du dt = mh ) δh)σ ), 0.28) ) l δh where δh = δu V =1 V) l s the vector of 2-fold varatonal dervatves δh = δu u n) n Z + ) n h 5.

6 The bracket {, } on V s gven by a formula, smlar to 0.17): { f, g} = mδg H ) δf) σ ). 0.29) Furthermore the de Rham complex ΩV) over an algebra of dfferental functons V s defned n the same way as the de Rham complex ΩV) over an algebra of ordnary dfferental functons V. Moreover, the acton of on V naturally extends to an acton on ΩV), commutng wth the de Rham dfferental δ see Secton 3.5). Ths allows us to defne the varatonal complex ΩV) = ΩV) / ΩV)+[ ΩV), ΩV)]). In Secton 3.6 we gve an explct descrpton of the space of the varatonal k-forms Ω k V). In partcular, Ω 0 V) = V / V +[V,V]), Ω 1 V) = V l, Ω 2 V) = Mat l l V V)[λ]), where the subscrpt _ means that A j λ)) l,j=1 = A j λ ) σ ) l,j=1. Under these dentfcatons, the formula for δ s smlar to 0.22): δ f) = mδf) σ, δf) ) = 1 2 D F ) t D F ) σ ), 0.30) where D F )) j = n Z + F u n) j n s the 2-fold Frechet dervatve. We also prove that both complexes ΩR l ),δ) and ΩR l ),δ) are acyclc. Hence, n partcular, we obtan the descrpton of the kernel and the mage of the 2-fold varatonal dervatve δ. The man motvaton for ntroducng double Posson algebras was the observaton that, gven a untal fntely generated assocatve algebra V, each double Posson algebra structure on V assocates for each postve nteger m a Posson algebra structure on the algebra of polynomal functons V m on the affne algebrac varety of m-dmensonal representatons of the algebra V [VdB08]. Note that V m s somorphc to the commutatve assocatve algebra wth generators {a j a V,,j = 1,...,m}, subject to the relatons 3.51) n Secton 3.7. If V s a non-commutatve) dfferental assocatve algebra wth dervaton, then V m s a commutatve dfferental assocatve algebra wth dervaton defned on generators by a j ) = a) j. Smlarly to [VdB08], we show that, gven a double PVA structure on V, one can assocate for each postve nteger m a PVA structure on V m see Theorem 3.22). The smplest example of a double PVA s the followng famly of compatble double PVA structures on R 1 = F u,u,u,... : {u λ u} = 1 u u 1+c1 1)λ, where c F s a parameter. In ths case the assocated PVA structure on R 1 ) m = F[u n) j,j = 1,...,m,n Z + ] s just the affne PVA for gl m see Secton 3.8.1). The extenson of ths double PVA structure on R 1 to the double PVA structure on R 2 = F u,v,u,v,..., where v s central, produces the followng herarchy of non-commutatve Hamltonan PDE s n Z + ): du dt n = vu+v) n u uu+v) n v +c u+v) n+1, dv dt n = 0. Our next example s a compatble par of double PVA structures on the algebra R N resp. R ), assocated to the generc dfferental resp. pseudodfferental) operator wth coeffcents n R N resp. R ), smlar to the PVA structures n the commutatve case, consdered n [DSKV14a] see Secton 3.8.2). 6

7 We apply for the latter example the theory of Drac reducton for non-local) double PVA developed n Secton 4.2, smlar to that for non-local) PVA, developed n [DSKV14b]. As a result, we obtan compatble non-local double Posson vertex algebra structures on V = R N and R, such that the correspondng non-local PVA structures on V m concde wth those n [DSKV14a] see Example 4.11). Fnally, n Secton 5 we apply the Lenard-Magr scheme to the double PVA constructed n Secton to prove ntegrablty of the non-commutatve KP herarchy and of non-commutatve Gelfand-Dckey herarches. In partcular, we prove ntegrablty of the non-commutatve KdV and Boussnesq herarches. Throughout the paper we letfbe a feld of characterstc0, and, unless otherwse specfed, we consder all vector spaces, tensor products, etc., over the feld F. Acknowledgments. We are grateful to Vladmr Sokolov for ntroducng us to the fascnatng subject of non-commutatve ntegrable equatons. Part of the work was completed durng the vsts of the second and thrd author to the Unversty of Rome La Sapenza, durng the vst of the frst author to SISSA n Treste, and durng the vsts of all three authors to IHES, France. We thank all these nsttutons for ther knd hosptalty. The frst author s supported by the natonal FIRB grant RBFR12RA9W Perspectves n Le Theory, and the natonal PRIN grant number 2012KNL88Y_001. The second author s supported by a natonal NSF grant. The thrd author was supported by the ERC grant FroM-PDE: Frobenus Manfolds and Hamltonan Partal Dfferental Equatons. 1. Prelmnares and notaton for assocatve algebras Throughout ths and the next secton, we let V be an assocatve algebra over the feld F Double lnear algebra. Consder the assocatve product on V V gven, n Sweedler s notaton, by the formula A B = A B B A. 1.1) It s the product n V V op.) The endomorphsm σ of V V obtaned by exchangng the two factors: a b) σ = b a, 1.2) s an antautomorphsm of the -product: A B) σ = B σ A σ. 1.3) We defne an nner product ) on the vector space V V) l wth values n the algebra V V, lettng for F = F ) l =1 and G = G ) l =1 F,G V V): F G) = F G σ. 1.4) =1 By 1.3), t satsfes the followng symmetry property: G F) σ = F G). 1.5) Let H = H j ) l,j=1 Mat l lv V). We defne ts acton on V V) l by the followng formula: HF) = H j Fj σ )σ. 1.6) j=1 In Sweedler s notaton, t s HF) = l j=1 F j H j H j F j. The adjont of the matrx H s defned by H ) j = H j ) σ. 1.7) 7

8 It s adjont wth respect to the nner product 1.4) n the usual sense: F HG) = H F G), F,G V V) l. 1.8) 1.2. Trace map and reducton. Denote by m : V V V or, n general, m : V n V ) the multplcaton map: ma b) = ab. We defne the followng reducton map V V) l V l by F mf σ ) = ) mf σ )) l. 1.9) =1 Furthermore, let [V, V] be the subspace of V spanned by commutators ab ba, for a,b V, and denote by tr : V V / [V,V] 1.10) the canoncal quotent map. The nner product 1.4) nduces a well defned nner product ) : V l V l V / [V,V] so that the followng dagram s commutatve: V V) l V V) l ) V V It s gven explctly by m σ tr m V l V l ) V / [V,V] F G) = trf G ), F,G V l. 1.11) =1 Ths blnear form s obvously symmetrc. Furthermore, the acton 1.6) of the matrx H Mat l l V V) nduces an acton on V l va the commutatve dagram V V) l H V V) l m σ V l H V l Explctly, t s gven, n Sweedler s notaton, by HF) = H jf j H j, F V l. 1.12) j= V -module structures of V n. The space V n has the followng outer V - bmodule structure: m σ ab 1 b n )c = ab 1 ) b 2 b n 1 b n c). 1.13) More generally, for every = 0,...,n 1, we defne the -th left and rght V -module structures of V n by a b 1 b n ) = b 1 b ab +1 b n, a 1 a n ) b = a 1 a n b a n. 1.14) The ndex denotes the number of jumps.) In partcular, the bmodule structure 1.13) s gven by abc = a 0 B 0 c. 8

9 We use a smlar notaton for -product of an element of V and an element of V n : a b 1 b n ) = b 1 b a b +1 b n, 1.15) a 1 a n ) b = a 1 a n b a n. For example, the acton 1.12) of H Mat l l V V) on V l can be rewrtten, usng ths notaton, as HF) = l j=1 mh j 1 F j ) = l j=1 mf j 1 H j ) = l j=1 mh j 1 F j ) = l j=1 mf j 1 H j ) ). Note that, for f V and A,B V 2, we have fa) B = fa B), Af) B = A B)f, A f 1 B) = f 1 A B), A B 1 f) = A B) 1 f. 1.16) We also wll be usng the multplcaton map V m V n V m+n 1), gven by a 1 a m )b 1 b n ) = a 1 a m 1 a m b 1 ) b 2 b n. 1.17) 1.4. Some further notaton. We defne three possble left and rght actons of the algebra V 2 on V 3, denoted by, = 1,2,3, as follows here the subscrpt ndcates the place where no multplcaton occurs) a b) 1 x y z) = x ay zb, x y z) 1 a b) = x ya bz, a b) 2 x y z) = ax y zb, x y z) 2 a b) = xa y bz, a b) 3 x y z) = ax yb z, x y z) 3 a b) = xa by z. 1.18) Lemma 1.1. a) The left and rght) actons of V 2 on V 3 are ndeed actons,.e. they are assocatve wth respect to the -product of V 2 : A B X) = A B) X and X A) B = X A B), for every A,B V 2 and X V 3. b) The left and the rght j actons commute for every,j = 1,2,3: A X j B) = A X) j B for every A,B V 2 and X V 3. c) The 1 and 3 left resp. rght) actons of V 2 on V 3 commute: A 1 B 3 X) = B 3 A 1 X) and X 1 A) 3 B = X 3 B) 1 A, for every A,B V 2 and X V 3. In general, the and j left resp. rght) actons do NOT commute f j = 1.) Proof. Straghtforward. Lemma 1.2. For every A V 2 and X V 3 we have A 1 X) σ = X σ 2 A σ, A 2 X) σ = X σ 3 A σ, A 3 X) σ = A 1 X σ, A 1 X) σ2 = A 3 X σ2, A 2 X) σ2 = X σ2 1 A σ, A 3 X) σ2 = X σ2 2 A σ, X 1 A) σ = A σ 2 X σ, X 2 A) σ = A σ 3 X σ, X 3 A) σ = X σ 1 A, X 1 A) σ2 = X σ2 3 A, X 2 A) σ2 = A σ 1 X σ2, X 3 A) σ2 = A σ 2 X σ2. Proof. Straghtforward )

10 1.5. n-fold dervatons. Defnton 1.3. An n-fold dervaton of V s a lnear map D : V V n such that Dab) = Da)b+aDb), a,b V, 1.20) where, n the RHS, we use the bmodule structure 1.13). We can extend the n-fold dervaton D : V V n to a map D : V m V m+n 1) for every m Z +, by Da 1 a m ) = a 1 Da ) a m, 1.21) =1 where, n the RHS, we use the concatenaton product n the tensor algebra over V. We can also extend the n-fold dervaton D to a map V m V m+n 1 by applyng D to only the -th factor, and we denote the correspondng map by D ) : D ) a 1 a m ) = a 1 Da ) a m. 1.22) We wll use the specal notaton for the dervaton on the leftmost and the rghtmost factors: D L := D 1) and D R := D m). 1.23) The symmetrc group S n acts on V n n the usual way: for τ S n, we have a 1 a n ) τ = a τ 1 1) a τ 1 n). 1.24) For every n, we shall denote by σ the cyclc permutaton 1,...,n), so that a 1 a n ) σ = a n a 1 a n ) For convenence, we wrte here the formulas for the acton of the whole cyclc group C n on A n s = 1,...,n): a 1 a n ) σs = a n+1 s a n a 1 a n s, 1.26) and on an n-tuple of ndces 1,..., n ) {1,...,l} n : σ s 1),..., σ s n)) = n+1 s,..., n, 1,..., n s ). 1.27) Lemma 1.4. Let D : V V n be an n-fold dervaton of V. For A V m, we have D ) A) σ = D +1) A σ ) for 1 m 1, 1.28) D m) A) σn = D 1) A σ ). Proof. Straghtforward. Lemma 1.5. If D : V V n s an n-fold dervaton of V, then, for every A V h and B V k h,k Z + ), we have DAB) = DA)B +ADB), 1.29) where, n the RHS, we use the multplcaton map 1.17). Proof. Straghtforward. Gven an m-fold dervaton D 1 : V V m and an n-fold dervaton D 2 : V V n, we can compose them, usng ther extenson 1.21), to get a map D 1 D 2 : V V m+n 1, D 1 D 2 )a) = D 1 D 2 a). 1.30) Proposton 1.6. Let D 1 and D 2 be respectvely an m-fold and an n-fold dervaton of V. Then: a) The commutator [D 1,D 2 ] = D 1 D 2 D 2 D 1 s an m+n 1-fold dervaton of V. 10

11 b) D 1 ) L D 2 D 2 ) R D 1 s an m+n 1-fold dervaton of V. Proof. Part a) follows from Lemma 1.5. Usng the fact that D 2 s an n-fold dervaton, and by the defnton 1.23) of D 1 ) L, we have a,b V ) D 1 ) L D 2 )ab) = D 1 ) L D 2 a)b)+d 1 ) L ad 2 b)) = D 1 ) L D 2 a))b+d 1 a)d 2 b)+ad 1 ) L D 2 b)), 1.31) where n the second term we are usng the multplcaton n the tensor algebra gven by 1.17). Smlarly we get D 2 ) R D 1 )ab) = D 2 ) R D 1 a))b+d 1 a)d 2 b)+ad 2 ) R D 1 b)). 1.32) Combnng equatons 1.31) and 1.32) we get part b). Remark 1.7. Suppose that the algebra V s countal wth county ǫ V ), so that F s an A-bmodule usng the count). Then, by Proposton 1.6, we have a Z-graded Le algebra g = n= 1 g n, where g n s the space of n+1-fold dervatons of V n-fold brackets. Defnton 1.8. An n-fold bracket on V s a lnear map {,, } : A n A n satsfyng the followng Lebnz rules usng the notaton 1.14)): {a 1,...,bc,...,a n } = b {a 1,...,c,...,a n }+ {a 1,...,b,...,a n } n c, 1.33) for all = 1...,n n the frst term of the RHS we let n = 0 ). Note that, f {,, } s an n-fold bracket, then, for every a 1,...,a n 1 V, the map {a 1,...,a n 1, } : V V n s an n-fold dervaton of V. Then, accordng to the notaton 1.23), we let, for a 1,...,a n 1,b 1,...,b m V, {a 1,...,a n 1,b 1 b m } L = {a 1,...,a n 1,b 1 } b 2 b m, {a 1,...,a n 1,b 1 b m } R = b 1 b m 1 {a 1,...,a n 1,b m }. 1.34) As a specal case of Lemma 1.4, we get the followng result, whch wll be used later Corollary 1.9. Gven a 2-fold bracket {, } on V, we have {a, {b,c}} R = {a, {b,c} σ } σ L. 1.35) Proof. Equaton 1.35) s a specal case of equaton 1.28) for D = {a, } : V V 2. The followng result wll be used later as well. Lemma Let {, } be a 2-fold bracket on the assocatve algebra V. For every a V and B,C V 2, we have {a,b C} L = B 2 {a,c} L + {a,b} L 1 C, where n the LHS we use the product 1.1) whle n the RHS we use notaton 1.18). Proof. Straghtforward. 11

12 2. Double Posson algebras and non-commutatve Hamltonan ODEs 2.1. Defnton of double Posson algebras. Defnton 2.1 [VdB08]). A double Posson algebra s an assocatve algebra V endowed wth a 2-fold bracket {, } : V V V V satsfyng the followng axoms: ) skewsymmetry: {a,b} = {b,a} σ, ) Jacob dentty: {a, {b,c}} L + {b, {c,a}} σ L + {c, {a,b}}σ2 L = ) Here we are usng notaton 1.34),.e. we let {a,b c} L = {a,b} c V V V.) We can wrte explctly the Lebnz rules for a double Posson algebra bracket: equaton 1.33) wth = 2 and 1 reads, respectvely, and {a,bc} = {a,b}c+b{a,c}, 2.2) {ab,c} = {a,c} 1 b+a 1 {b,c}. 2.3) Note that equaton 2.3) follows from 2.2) and the skewsymmetry axom. Remark 2.2. We can wrte the Jacob dentty 2.1) n an alternatve way, analogous to the usual representaton theoretc form of the Jacob dentty for Le algebras. For ths we extend the notaton 1.34) of {, } L and {, } R to the case when we have an element of V V n the frst entry. We do ths n analogy to the two terms n the RHS of 2.3): usng notaton 1.15), we let {a b,c} L := {a,c} 1 b, {a b,c} R := a 1 {b,c}. 2.4) Wth ths notaton, t s not hard to check, usng skewsymmetry, that the Jacob dentty 2.1) can be equvalently wrtten as follows: {a, {b,c}} L {b, {a,c}} R = {{a,b},c} L. 2.5) Lemma 2.3 [VdB08]). If {, } : V V 2 s a 2-fold bracket satsfyng the skewsymmetry axom, then the LHS of the Jacob dentty 2.1) s a 3-fold bracket on V. {a,b,c} := {a, {b,c}} L + {b, {c,a}} σ L + {c, {a,b}}σ2 L 2.6) Proof. Usng the Lebnz rules for the 2-fold bracket {, }, we have {a, {b,cd}} L = {a, {b,c}d} L + {a,c{b,d}} L = {a, {b,c}} L d+ {a,c}{b,d}+c{a, {b,d}} L, {b, {cd,a}} σ L = ) σ {b,c 1 {d,a}} L + {b, {c,a} 1 d} L = c 2 {b, {d,a}} L + {b, {c,a}} L 1 d+ {c,a} {b,d}{c,a} ) σ 2.7) 2.8) = c{b, {d,a}} σ L+ {b, {c,a}} σ Ld+ {c,a} σ {b,d}. Hereafter we use Sweedler s notaton: for A V 2, we let A = A A omttng the sgn of summaton). Smlarly, {cd, {a,b}} σ2 L = c 1 {d, {a,b}} L + {c, {a,b}} L 2 d ) σ 2 = c{d, {a,b}} σ2 L + {c, {a,b}} σ2 L d )

13 Combnng equatons 2.7), 2.8) and 2.9), and usng the skewsymmetry assumpton on {, }, we get {a,b,cd} = c{a,b,d}+ {a,b,c}d, 2.10).e. the Lebnz rule holds on the thrd entry. The Lebnz rules 1.33) on the frst and second entry follow from 2.10) and the followng obvous denttes a,b,c V ) {a,b,c} = {b,c,a} σ = {c,a,b} σ ) 2.2. The trace map and connecton to Le algebras. Let {, } be a 2-fold bracket on the assocatve algebra V. By composng t wth the multplcaton map m : V V V, we obtan the correspondng map {, } : V V V : {a,b} = m{a,b}. 2.12) It s mmedate to check that ths bracket satsfes the Lebnz rule on the second entry: {a,bc} = b{a,c}+{a,b}c. 2.13) Whle, n general, t does not satsfes the Lebnz rule on the frst entry.) Hence, for every a V, the map {a, } : V V s a 1-fold) dervaton, and we extend t to a map {a, } : V n V n, for every n Z +, va 1.21). Lemma 2.4 [VdB08]). If {, } s a skewsymmetrc 2-fold bracket on V, then the followng dentty holds n V 2 a,b,c V ) {a, {b,c}} {{a,b},c} {b,{a,c}}= m 1){a,b,c} 1 m){b,a,c}, 2.14) where {a,b,c} s as n 2.6). Proof. Let us compute the three terms appearng n the LHS of equaton 2.14). Usng the Lebnz rules we get, after a straghtforward computaton, {a, {b,c}}=m 1){a, {b,c}} L +1 m){a, {b,c}} R = m 1){a, {b,c}} L 1 m){a, {c,b}} σ L. 2.15) For the last equalty we used Corollary 1.9 and the skewsymmetry assumpton. Wth smlar computatons, we get and {b,{a,c}}=1 m){b, {a,c}} L m 1){b, {c,a}} σ L, 2.16) {{a,b},c}= {c,{a,b}} σ = m 1){c, {a,b}} σ2 L +1 m){c, {b,a}} σ2 L. 2.17) Combnng equatons 2.15), 2.17) and 2.16), and usng the defnton 2.6) of {a,b,c}, equaton 2.14) follows, thus concludng the proof. Proposton 2.5 [VdB08]). a) If {, } s a 2-fold bracket on V, then the assocated bracket {, } defned n 2.12) nduces well defned maps whch we denote by the same symbol) {, } : V / [V,V] V V, gven by recallng 1.10)) {tra), b} := {a, b} 2.18) and {, } : V / [V,V] V / [V,V] V / [V,V], gven by {tra),trb)} := tr{a,b}. 2.19) b) If V s a double Posson algebra, then V / [V,V] s a Le algebra wth the bracket defned by 2.19), and 2.18) defnes a representaton of ths Le algebra by dervatons of V. 13

14 Proof. Frst, we have, usng Sweedler s notaton, Moreover, by 2.13), we have {ab,c} = {a,c} b{a,c} + {b,c} a{b,c} = {ba,c}. 2.20) {a,bc} {a,cb} = [{a,b},c]+[b,{a,c}] [V,V]. 2.21) Equatons 2.20) and 2.21) mply that both brackets 2.18) and 2.19) are well defned, provng a). The skewsymmetry for the bracket {, } on V / [V,V] follows mmedately by the skewsymmetry axom for the 2-fold bracket {, }. By the Jacob dentty axom n Defnton 2.1), the RHS of equaton 2.14) s dentcally zero. Applyng the multplcaton map m to ts LHS, we obtan the Jacob dentty for the bracket {, } of V / [V,V], and, at the same tme, the clam that 2.18) defnes a representaton of the Le algebra V / [V,V] on V. Fnally, ths Le algebra acton s by dervatons of the assocatve algebra V, thanks to equaton 2.13) Double Posson brackets on an algebra of non-commutatve) ordnary dfferental functons. Consder the algebra of non-commutatve polynomals R l = F x 1,...,x l,.e. the free untal assocatve algebra n the ndetermnates x 1,...,x l. Let x : R l R l R l, = 1,...,l, be the lnear maps defned on monomals by x x 1...x s ) = s δ k,x 1...x k 1 x k+1...x s. 2.22) k=1 The partal dervatves x are clearly 2-fold dervatons of R l. Furthermore, by [ ] Proposton 1.6, x, x j s a 3-fold dervaton. Snce t s zero on generators x k, k = 1,...,l, we obtan =. 2.23) x x j x j x Lemma 2.6. We have the followng equalty of maps R l R 3 l,j Z + ): ) ) =. 2.24) x x j x j x Proof. By Proposton 1.6b) t follows that ) ) x x j x j L L R R x s a 3-fold dervaton. The clam follows snce ths 3-fold dervaton s obvously zero on the generators x k, k = 1,...,l. Note that equaton 2.24) mples 2.23), by the defnton 1.30) of the composton of 2-fold dervatons. Hence, we wll say that the 2-fold dervatons x and x j strongly commute. Defnton 2.7. An algebra of ordnary dfferental functons s a untal assocatve algebrav, endowed wth l strongly commutng 2-fold dervatons x : V V V,.e. satsfyng 2.24). An example s the algebra R l = F x 1,...,x l of non-commutatve polynomals n the varables x 1,...,x l, endowed wth the 2-fold dervatons 2.22). Other examples can be obtaned as extensons of R l by localzaton by one or more non-zero elements. 14

15 Theorem 2.8. a) Any 2-fold bracket on R l has the followng form f,g V ) g f ) σ, {f,g} = {x,x j } 2.25) x j x,j=1 where s as n 1.1). b) Let V be an algebra of ordnary dfferental functons, and let H be an l l matrx wth entres n V V. Denotng ts entres by H j = {x,x j },,j = 1,..., l, formula 2.25) defnes a 2-fold bracket on V. c) Equaton 2.25) defnes a structure of double Posson algebra on V f and only f the skewsymmetry axom ) and the Jacob dentty ) hold on the x s, namely, for all,j,k = 1,...,l, we have ) {x,x j } = {x j,x } σ equvalently, recallng 1.7), H = H, 2.26) and {x, {x j,x k }} L + {x j, {x k,x }} σ L + {x k, {x,x j }} σ2 L = 0, 2.27) where each term s understood, n terms of the matrx H, va 2.25), for example ) ) {x, {x j,x k }} L = x H kj 3 H h. 2.28) h L h=1 Proof. We prove that the RHS of 2.25) satsfes the Lebnz rules 2.2) and 2.3). Usng the fact that partal dervatves are 2-fold dervatons, the LHS of 2.2) s g ) ) σ f h {x,x j } + g h ) ) σ f {x,x j }. 2.29) x j x x j x,j=1,j=1 By 1.16) we have that 2.29) s the same as RHS of 2.2). The Lebnz rule 2.3) s proved n the same way usng agan 1.16). Snce any 2-fold bracket s extended unquely from the generators to R l va the Lebnz rules, ths concludes the proof of a) and b). The fact that the bracket gven by equaton 2.25) satsfes the skewsymmetry axom s mmedate from 1.3) and the assumpton that {x,x j } = {x j,x } σ for every,j = 1,...,l. To conclude the proof of part c) we are left to prove Jacob dentty 2.1). Frst, for f V and G V 2 we have, by 2.25) and the defnton of the actons, {f,g} L =,j=1 ) ) f ) σ ) x G 3 {x,x j }. 2.30) j L x Then, by equaton 2.25), Lemma 1.10, and equaton 2.30), we get {f, {g,h}} L ) = x h + +,j,h,k=1,j,k=1,j,h,k=1 L h x k ) σ ) σ ) f g ) 3 {x,x h } ) 1 {x j,x k } x x j 2.31) ) σ ) σ h f g 2 {x, {x j,x k }} L ) x k x x j ) ) ) σ ) σ ) h g f {x j,x k } 2 3 {x,x h }. x k x h L x j x 2.33) 15

16 Note that n the RHS above we avoded usng unnecessary parentheses, n vew of Lemma 1.1. From the above equaton, permutng f,g and h, applyng the permutaton σ, and usng Lemma 1.2 several tmes, we get {g, {h,f }} σ L = + +,j,h,k=1,j,k=1,j,h,k=1 h x k {x k,x } σ ) ) )) σ ) σ ) f g 2 1 {x j,x h } x h L x x j 2.34) ) σ ) σ h g f 2 {x j, {x k,x }} σ L x ) k x j x and, smlarly, x h {h, {f,g}} σ2 L = + +,j,h,k=1,j,k=1,j,h,k=1 ) h L x k h x k {x k,x h } σ ) σ ) σ ) σ ) σ ) g f 1 {x j,x h } ) 3 {x k,x } σ. x j x 2.36) ) ) )) σ 2 ) σ ) g f 2 3 {x,x j } x h L x j x 2.37) ) σ ) σ h f g 2 {x k, {x,x j }} σ2 L ) x k x x j ) ) ) σ ) σ ) σ ) h f g {x k,x h } σ {x,x j } σ. x k x h L x x j 2.39) Snce, by assumpton, the Jacob dentty 2.1) holds on generators, we have that 2.32), 2.35) and 2.38) sum up to zero. Note that here we are usng the fact that the 1 and 3 actons commute, by Lemma 1.1c). Furthermore, by Lemma 1.4 and assumpton 2.24), we have ) ) σ ) σ ) ) ) ) h h h = =. x k x h x k x h x h x k L It follows that 2.31) and 2.36) are opposte to each other by the skewsymmetry on generators. Smlarly, 2.33) and 2.37) respectvely 2.34) and 2.39)) are opposte to each other. Ths concludes the proof. Defnton 2.9. The matrxh = H j ) l,j=1 Mat l lv V) satsfyng 2.26) and 2.27) s called a Posson structure on the algebra of ordnary dfferental functons V. Remark Formula 2.25) for the 2-fold bracket of f, g V can be wrtten n a tradtonal form as {f,g} = g H f), 2.40) ) l where f = f x V V) l, H = H j ) l,j=1 Mat l lv V) s the matrx =1 wth entres H j = {x,x j }, ts acton on V V) l s defned by 1.6), and ) s the nner product 1.4). 16 R L

17 Remark One can defne a double Le algebra as a vector space g endowed wth a double bracket {, } : g g g g satsfyng the skewsymmetry and Jacob dentty axoms from Defnton 2.1. Then, by Theorem 2.8 the tensor algebra T g) s a double Posson algebra, wth the 2-fold bracket gven by 2.25) Evoluton ODE and Hamltonan ODE. Let V be an algebra of ordnary dfferental functons. An evoluton ODE over V s an equaton of the form dx dt = P V, = 1,...,l. 2.41) By the chan rule, a functon f V evolves, n vrtue of 2.41), accordng to the equaton df dt = f ) m P ) x =1 It s mmedate to check that the tme dervatve d dt : V V as gven by 2.42) s a dervaton of V. In partcular, t nduces a well defned map on V / [V,V]. An ntegral of moton for equaton 2.41) s an element trh) V / [V,V] constant n tme,.e. such that dtrh h ) = tr m P 1 = ) dt x =1 Gven P V l, we defne the correspondng evolutonary vector feld X P as the dervaton of V gven by the RHS of 2.42): X P f) = =1 f ) m P ) x Evolutonary vector felds form the Le algebra VectV), wth commutator gven by the usual formula: [X P,X Q ] = X [P,Q], where [P,Q] = X P Q ) X Q P ), = 1,...,l. 2.45) Ths can be easly checked usng condton 2.24) on V. Equaton 2.41) s called compatble wth another evoluton ODE dx dτ = Q, = 1,...,l, f the correspondng evolutonary vector felds commute: [X P,X Q ] = 0. A Hamltonan ODE on an arbtrary double Posson algebra V, assocated to the Hamltonan functon trh V / [V,V] s an equaton of the form du dt = {trh,u}, u V. 2.46) An ntegral of moton for the Hamltonan ODE 2.46) s an element trf V / [V,V] such that {trh,trf} = 0. In ths case, by Proposton 2.5, the dervatons X h = {trh, } and X f = {trf, } called Hamltonan vector felds) commute, and equatons du dt = {trf,u} and 2.46) are compatble. In the specal case when V s an algebra of ordnary dfferental functons and the 2-fold bracket {, } s gven by a Posson structure H on V va 2.25), where {x,x j } = H j, the Hamltonan ODE 2.46) becomes the followng evoluton ODE dx h ) σ. dt = m H j 2.47) x j j=1 17

18 Furthermore the Le algebra bracket {, } on V / [V,V] assocated to the double Posson bracket 2.25), defned by Proposton 2.5, s: ) σ) g f {trf),trg)} = tr m H j, f,g V. 2.48) x j x,j=1 In ths case the notons of compatblty and of ntegrals of moton are consstent wth those for general evoluton ODEs, due to Theorem 2.8c). Remark Recallng the defnton 1.12) of the acton of the matrx H Mat l l V V) on V l formula 2.47) can be wrtten n the tradtonal form dx = Hdh, 2.49) dt and smlarly formula 2.48) can be wrtten as see 2.40)) {trf),trg)} = dg Hdf), 2.50) where ) s the nner product 1.11) on V l, and df = m f) σ cf. 1.9)). The latter notaton s compatble wth the theory of the reduced de Rham complex, cf. 2.70) Lenard-Magr scheme for Hamltonan ODE. Let H Mat l l V V). We defne a blnear form assocated to H,, H : V l V l V / [V,V] as follows F,G H = F HG), F,G V l. 2.51) Here we are usng notaton 1.11) and 1.12). Recallng 1.8), we obtan that the form 2.51) s symmetrc resp. skewsymmetrc) f H s selfadjont resp. skewadjont) see 1.7)). Lemma Let H 0, H 1 Mat l l V V) be skewadjont, and let {F n } N n=0 V l be such that H 0 F n+1 = H 1 F n for n = 0,...,N 1. Then, the followng orthogonalty relatons hold: F n,f m H0 = F n,f m H1 = 0 for n,m = 0,...,N. Proof. Same proof as n [Mag78] or Lemma 2.6 n [BDSK09]. Corollary Let {, } 0 and {, } 1 be two skewsymmetrc 2-fold brackets on an algebra of ordnary dfferental functons V gven by the equaton 2.25) for H 0,H 1 Mat l l V V) respectvely. Let {h n } N n=0 V be such that Then we have {trh n ),u} 0 = {trh n+1 ),u} 1 for u V,n = 0,...,N ) {trh n ),trh m )} 0 = {trh n ),trh m )} 1 = 0 for n,m = 0,...,N. See 2.12), 2.18) and 2.19) for notaton). Proof. It follows from Lemma 2.13 and equaton 2.50). Remark The analogues of Propostons 2.9 and 2.10 n [BDSK09] stll hold n the present setup wth the same proof. Theorem Let V = R l be the algebra of non-commutatve polyomals n l varables. Let H 0,H 1 be compatble Posson structures on V, and assume that K s a non-degenerate matrx. Let h 0,h 1 V and F V l be such that H 1 dh 0 = H 0 dh 1, H 1 dh 1 = H 0 F, 2.53) 18

19 where, as before, dh = m h) σ, and we are usng the notaton 1.12). Then, there exsts h 2 V such that F = dh 2. Proof. Frst, one checks that the Jacoban of F 2 defned after equaton 0.22)), s self-adjont,.e. J F = J F. The proof of ths clam s long but straghtforward, and the argument s the same as n the commutatve case, cf. e.g. [Olv93, Lemma 7.25]. The proof uses non-degeneracy of the blnear form 1.11), whch follows from the well-known property of the algebrav = R l that for a V, tr av = 0 mples a = 0. Then, one uses the exactness of the reduced de Rham complex, proved n Theorem 2.18 below, to conclude that the 1-form F s exact. Usng ths theorem and Remark 2.15, one shows that the Lenard-Magr scheme works for V = R l,.e. the Lenard-Magr recursve relaton n Corollary 2.14 for N = 1 can be extended to N =, provded that the orthogonalty condton, smlar to that n [BDSK09, Proposton 2.9], holds Examples. It s clamed n [VdB08] that the only non-zero double Posson brackets on R 1 = F[x] up to automorphsms of R 1 ) are gven by {x,x} = x 1 1 x and {x,x} = x 2 x x x 2. The correspondng Le algebra brackets on R 1 / [R1,R 1 ] gven by 2.48) are trval. Hence, we do not get non-trval Hamltonan equatons. The smplest double Posson bracket on R 2 = F x,y has the followng form: {x,x} = p q q p where p,q R 2, {x,y} = {y,y} = ) The double Posson bracket gven by 2.25) and 2.54) s obvously skewsymmetrc and t satsfes Jacob dentty f and only f equaton 2.27) holds for x = x j = x k = x see Theorem 2.8). Usng equaton 2.28), ths condton can be rewrtten as follows usng Sweedler s notaton) ) ) ) ) p p p p p q q q p q x ) x x x ) q q + q p p+cyclc permutatons = 0. x x We found the followng three types of solutons: a) p = py), q = qy); b) p = x, q = qy); c) p = x, q = xfy)x. ) q p q x ) q p x 2.55) In fact, one can show that, up to automorphsms of R 2, these are all solutons. Replacng x by x + 1 n b) we get the followng compatble double Posson structures where y s central for both structures): Let {x,x} 0 = 1 y y 1 and {x,x} 1 = x y y x. h 0 = 1 and h n = 1 n x+y)n for every nteger n ) We have the followng recurson relatons {trh 0 ),x} 0 = 0 and {trh n ),x} 1 = {trh n+1 ),x} 0, n Z ) whch can be proved usng equaton 2.48) and the fact that for n 1 h n x = 1 n 1 x+y) k x+y) n 1 k. n k=0 19

20 Hence, by Corollary 2.14, we get that all trh n ) are n nvoluton wth respect to both brackets {, } 0,1 on R 2 / [R2,R 2 ], gven by equaton 2.48). Furthermore all the trh n ) are ntegrals of moton for the correspondng compatble Hamltonan ODEs, whch are computed usng 2.47): dx dt n = xx+y) n y yx+y) n x, dy dt n = 0, n Z ) Note that the algebra R 2 s Z 2 + -graded n the obvous way. The homogeneous components of the h n s are stll n nvoluton wth respect to both brackets and the correspondng Hamltonan vector felds stll commute. Thus, for n Z +, equaton 2.58) produces n+1 compatble Hamltonan ODEs, and they are compatble for all n. For example, for n = 0, equaton 2.58) s dx dt 0 = xy yx, dy dt 0 = 0. The homogeneous components of equaton 2.58) for n = 1 produce the followng two Hamltonan ODEs: dx = x 2 y yx 2 dy, = 0, dt 1 dt 1 dx = xy 2 y 2 dy x, = 0. dt 1 As explaned n [MS00] the frst of the above equatons s a hgher symmetry of the Euler equaton and they fnd nfntely many ts conserved denstes. For n = 2, the homogeneous 2, 2)-component of equaton 2.58) produces the followng equaton whch also was found n [MS00]: dt 1 dx dt 0 = x 2 y 2 +xyxy yxyx y 2 x 2, dy dt 0 = 0. Furthermore, let us consder on R 2 the followng double Posson structure of type c)): Let h 0 = 1 and {x,x} = x xyx xyx x, {x,y} = {y,y} = 0. h n = xn n, h n = x n y, h n = xyx) n for every nteger n ) Usng the fact that h n x = 1 n 1 x k x n 1 k, n k=0 h n x = 1 yx)n + n 1 h n x = x k x n 1 k y, k=0 n 1 xyx) k y yx) n 1 k. k=0 and equaton 2.48), t s straghtforward to show that {trx n ),try m )} = 0 for every ntegers n,m 1, where X and Y can be h, h or h. Hence, we get the followng ntegrable herarchy of Hamltonan ODEs: dx = x n+1 yx xyx n+1 dy, = 0, n 1, dt n dt n ñ 2 dx = dtñ xñ k yx k+1 yx xyx k+1 dy yxñ k, = 0, ñ 1, 2.60) dtñ k=0 dx = xxy) n+1 x xyx) n+1 dy x, = 0, n 1. dt n dt n 20

21 The frst equaton of the herarchy, correspondng to n = 1 and the Hamltonan densty h 1 = x), s dx = x 2 yx xyx 2 dy, = 0. dt 1 dt 1 Ths equaton already appeared n [MS00], where ts hgher symmetres of degree n+2 n the varable x and degree 1 n the varable y were found whch correspond to the frst lne n equaton 2.60)) Basc de Rham complex over an algebra of ordnary dfferental functons. Let V be an algebra of ordnary dfferental functons. We defne the basc de Rham complex ΩV) as the free product of the algebra V and the algebra F dx 1,...,dx l of non-commutatve polynomals n l varables dx 1,...,dx l. It s a Z + -graded untal assocatve algebra, where f V has degree 0 and the dx s have degree 1. We consder t as a superalgebra, wth superstructure compatble wth the Z + -gradng. The subspace Ω n V) of degree n conssts of lnear combnatons of elements of the form ω = f 1 dx 1 f 2 dx 2...f n dx n f n+1, where f 1,...,f n+1 V. 2.61) In partcular, Ω 0 V) = V and Ω 1 V) l =1 Vdx V. Defne the de Rham dfferental d on ΩV) as the odd dervaton of degree 1 on the superalgebra ΩV) by lettng df = =1 f x ) dx f x ) Ω1 V) for f Ω 0 V), ddx ) = ) In order to check that d s a dfferental on ΩV),.e. d 2 = 0, t suffces to check that d 2 f = 0 for f V. Usng Sweedler s notaton and equaton 2.62) we have d 2 f = =,j=1,j=1,j=1,j=1 x j f x ) ) dxj x j f x ) ) dx f x ) f x ) dx x j f x ) ) dxj x j f x ) ) f )) ) m dx j 1 1 dx x j )L x f )) ) m dx 1 1 dx j = 0. x j )R x The last equalty follows by condton 2.24) on V. So we can consder the correspondng cohomology complex ΩV),d). Gven an evolutonary vector feld X P VectV) cf. 2.44)), we defne the correspondng Le dervatve L P : ΩV) ΩV) as the even dervaton of degree 0 extendng X P from V, and such that L P dx ) = dp, = 1,...,l. In other words, f ω s as n 2.61), then, recallng 2.62), we have n+1 L P ω) = f 1 dx 1 f 2...dx s 1 X P f s )dx s...dx n f n+1 + n s=1 =1 s=1 f 1 dx 1 f 2...f s Ps x ) dx Ps x ) fs+1...dx n f n ) Next, we defne the correspondng contracton operator ι P : ΩV) ΩV) as the odd dervaton of degree 1 defned on generators by ι P f) = 0, for f V, and 21

22 ι P dx ) = P. In other words, f ω s as n 2.61), then n ι X ω) = 1) s+1 f 1 dx 1 f 2...dx s 1 f s P s f s+1 dx s+1 f s+2...dx n f n ) s=1 Proposton The Le dervatves 2.63) and the contracton operators 2.64) defne a structure of a VectV)-complex on ΩV). In other words the followng relatons hold for P,Q V l recallng 2.45)): a) [ι P,ι Q ] = 0; b) [L P,ι Q ] = ι [P,Q] ; c) [L P,L Q ] = L [P,Q] ; d) L P = [ι P,d]= ι P d+dι P ) Cartan s formula). Proof. Both sdes n each formula are dervatons of the superalgebra ΩV), and they are obvously equal on generators dx and f V. Theorem The complex ΩR l ),d) s acyclc,.e. H n ΩR l ),d) = δ n,0 F. Proof. Let = x ) l =1 Rl l t corresponds to the degree dervaton X of R l ). Then L s a dagonalzable operator on ΩR l ), wth egenvalues gven by the total degree n the x s and the dx s. Moreover, h = ι s a homotopy operator for the complex ΩR l ),d): by Cartan s formula we have hd ω) + dh ω) = k ω, for every ω ΩR l ) of total degree k. In partcular, f k 0 and d ω = 0, then ω = 1 k dh ω) d ΩR l ). The clam follows. Remark Let = δ j x ) l j=1 V l. Consder the fltraton V 0 V 1 V l = V, where { V = f V f } = 0 for all j >, x j and extend t to a fltraton of ΩV), lettng Ω n V) contan elements of the form 2.61), wth f 1,...,f n+1 V and 1,..., n. Then, L preserves the space Ω k V), and ι Ω k k 1 V)) Ω V). Assume that L : Ωk V) Ω k V) s surjectve and ts kernel s Ω k 1 V). Ths s true, for example, for the algebra R l of non-commutatve polynomals n l varables. Then, t s easy to check that the operator h = L 1 k 1 k 1 ι : Ωk V) Ω V), defned up to elements of Ω 1 V), s a local homotopy operator, n the sense that d h +h d) ω) ω Ω k 1V) for every ω Ω k V). As a consequence, under the above assumptons the basc de Rham complex s acyclc Reduced de Rham complex. Obvously the subspace[ ΩV), ΩV)] ΩV) s compatble wth thez + -gradng and t s s preserved byd. Hence, we can consder the reduced de Rham complex ΩV) = ΩV) / [ ΩV), ΩV)] = n Z+ Ω n V), 2.65) wth the nduced acton of d. Snce Le dervatvesl P and contracton operatorsι P, forp V l, are dervatons of the superalgebra ΩV), they preserve the commutator subspace [ ΩV), ΩV)]. Hence, they nduce well defned maps on the reduced de Rham complex ΩV) satsfyng all relatons of Proposton It follows by the same argument as n the proof of Theorem 2.18 that the complex ΩR l ),d) s acyclc as well: H n ΩR l ),d) = δ n,0 F. 2.66) 22

23 We obvously have Ω 0 V) = V / [V,V]. Elements of Ω 1 V) can be understood as 1-forms ω = l =1 f dx, and elements of Ω n V) as sort of cyclcally skewsymmetrc products of 1-forms. We provde now an alternatve explct descrpton of the spaces Ω n V) for n 1 as follows. We dentfy the space Ω n V) wth the space Σ n V) of arrays ) l A 1... n wth entres A 1,..., n= n V n, satsfyng the followng skewsymmetry condton: A 1... n = 1) n A 2... n 1 ) σ for all 1,..., n {1,...,l}, 2.67) where σ denotes the acton of the cyclc permutaton on V n as n 1.25). To prove the somorphsm Ω n V) Σ n V) we wrte explctly the maps n both drectons. Gven the coset ω = [ ω] Ω n V), wth ω as n 2.61), we map t to the array recall 1.26) and 1.27)) A 1... n ) l 1,..., n=1 Σn V), wth entres A j1...j n = 0, unless j 1,...,j n ) s a cyclc permutaton of 1,..., n ), and A j1...j n = 1 n 1)sn s) a s+1 a n a n+1 a 1 a 2 a s, 2.68) for j 1,...,j s ) = σs 1),..., σs n)), The nverse map Σ n V) Ω n V) s gven by n Sweedler s notaton): A1... n ) l 1,..., n=1 1,..., n=1 [A 1... n dx 1 A 1... n dx 2...A n dx n ]. 2.69) It s easy to check that the maps 2.68) and 2.69) are well defned, and that they are nverse to each other, thus provng that the space Ω n V) and the space of arrays Σ n V) can be dentfed usng these maps. It s also not hard to fnd the formula for the dfferental d : Σ n V) Σ n+1 V) correspondng to the dfferental d of the reduced complex ΩV) under ths dentfcaton. For n = 0, we have recallng 1.10)) dtrf)) = m f x ) σ ) l = ) For A = ) l A 1... n Σn 1,..., n=1 V), where n 1, we have, usng notaton 1.22) and recallng 1.26) and 1.27), da) 1... n+1 = 1 n+1 n ) σ s 1) sn+t 1 )t)a, 2.71) n+1 x σ s σ s t) 1)...σ tˇ s n+1) s=1 t=1 where... tˇ means that we skp the ndex σ s t). Thanks to Lemma 1.4, we can rewrte formula 2.71) as follows da) 1... n+1 = n n 1) s 1 n+1 x s=1 s )s) A + 1) 1...n+1 sˇ k ) ) σ n) x A 1... n. n+1 1) 2.72) In partcular, for n = 1, we have, for F = ) l F j j=1 V l = Σ 1 V), df) j = 1 Fj F ) σ ). 2.73) 2 x x j For n = 2, let A = ) l A j,j=1 Σ2 V), namely A j V V and A j ) σ = A j. We have da) jk = 2 ) ) ) ) σ 2) 3 x A jk L x A k + j R x A j. 2.74) k L 23

24 As an applcaton of 2.66), we get the followng Corollary a) A 0-form trf) Ω 0 R l ) s closed f and only f f F + [R l,r l ]. b) A 1-form F = ) l F =1 R l l = Σ 1 R l ) s closed f and only f there exsts / ) σ trf) R l [Rl,R l ] such that F = m f x for every = 1,...,l. c) A 2-form α = ) l A j,j=1 Σ2 R l ) s closed f and only f there exsts F = ) l F =1 R l l such that A j = 1 Fj F ) σ ), 2 x x j for every,j = 1,...,l. Remark For F V l = Σ 1 V), defne the Jacoban ) l F J F = Mat l l V V). x j Then equaton 2.73) becomes:,j=1 df = 1 2 J t F JF σ ). Here, t stands for transpose.) Therefore, recallng 1.7), we see that df = 0 f and only f J F = J F. 3. Double Posson vertex algebras and non-commutatve Hamltonan PDEs 3.1. Defnton of double Posson vertex algebra. By a dfferental algebra we mean a untal assocatve not necessarly commutatve) algebra V over the feld F, endowed wth a dervaton DerV. Defnton 3.1. An n-fold λ-bracket on V s a lnear map { λ1 λn 1 } : V n V n [λ 1,...,λ n 1 ] whch satsfes the followng sesqulnearty condtons {a 1λ1 λ 1 a ) λ a n 1λn 1 a n } = λ {a 1λ1 a n 1λn 1 a n }, 3.1) for all = 1,...,n 1, and {a 1λ1 a n 1λn 1 a n )} = λ 1 +λ n 1 + ){a 1λ1 a n 1λn 1 a n }, 3.2) and the followng Lebnz rules: {a 1λ1 bc λ...a n 1λn 1 a n } = e λ b ) {a 1λ1 c λ...a n 1λn 1 a n } + {a 1λ1 b λ+...a n 1λn 1 a n } n c, 3.3) for all = 1,...,n, where n = 0. The notaton on the RHS of 3.3) needs some explanatons. The -products were ntroduced n 1.34). Gven a polynomal Pλ 1,...,λ n 1 ) = a 1 a n λ k1 1...λkn 1 V n [λ 1,...,λ n 1 ], we denote ) e λf Pλ 1,...,λ,...,λ n 1 ) = ) k k a 1...a j f)a +1 a n λ k1 j j= λk j...λ kn 1 n 1,