Strutture di Poisson - Caressa.it

Strutture di Poisson 21Questo invariante è stato definito (in un modo differente) da Krasilščik e Vinogradove consente di formulare alcune estensioni della Meccanica Analiticasulle algebre di Lie (cfr. [10]).Osserviamo che se π è il tensore di Poisson, allora è una cocatena delcomplesso di Poisson (precisamente una 2-cocatena: π ∈ Der 2 (A)), ma inrealtà è un 2-cociclo, cioè dà luogo ad una classe di coomologia [π]. Infatti〈δπ|da∧db∧dc〉 = χ a 〈π|db∧dc〉−χ b 〈π|da∧db〉+χ c 〈π|da∧db〉+−〈π|{da,db}∧dc〉+〈π|{da,dc}∧db〉−〈π|{db,dc}∧da〉= χ a {b,c}−χ b {a,c}+χ c {a,b}+−〈π|d{a,b}∧dc〉+〈π|d{a,c}∧db〉−〈π|d{b,c}∧da〉= 2({a,{b,c}}+{b,{c,a}}+{c,{a,b}})= 0(si osservi che il calcolo mostra che δπ = [π,π] s , ed infatti vale in generaleper un qualsiasi tensore controvariante ρ che δρ = [π,ρ] s ).Abbiamo dunque dimostrato che π è un cociclo e quindi dà luogo ad unaclasse di coomologia; se questa classe è zero, cioè se π è un cobordo, e quindiesiste una derivazione X tale che π = δX, allora la struttura di Poisson sidice esatta o potenziale. Menzioniamo che, analogamente a quanto avvienesulle varietà simplettiche, la classe di coomologia del tensore di Poisson è unaostruzione alla quantizzazione geometrica dell’algebra di Poisson A.È possibile definire anche una omologia per le algebre di Poisson, generalizzandol’omologia canonica che Brylinski ha definito sulle varietà di Poisson(cfr. ad esempio [15]). Qui ci limiteremo a menzionarla, ricordando che in unacerta misura è duale alla coomologia di Poisson, e può essere utilizzata perdefinire successioni spettrali e complessi doppi simili a quelli che Connes hadefinito in Geometria Non–Commutativa.Ilseguente èunageneralizzazionediunteoremadiLichenrowicz nelnostrocontesto algebrico generale:Teorema (Lichnerowicz–Krasilščik) 2.9 SeAèun’algebradi Poissonnondegenere, cioè tale che l’operatore H è un isomorfismo, allora per ogni n ≥ 0:H n dR(A) ∼ = H n Pos(A)Dimostrazione: Dato che H ◦ d = χ e H è un isomorfismo, si ha che lerappresentazioni dell’algebra di Lie Der(A) ∼ = Ω 1 (A) (isomorfismo di algebredi Lie per ipotesi):ι : Der(A) → gl(A) e H : Ω 1 (A) → gl(A)