13.07.2015 Views

Strutture di Poisson - Caressa.it

Strutture di Poisson - Caressa.it

Strutture di Poisson - Caressa.it

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Strutture</strong> <strong>di</strong> <strong>Poisson</strong> 25e cioè le {a k ij } sono costanti <strong>di</strong> struttura <strong>di</strong> un’algebra <strong>di</strong> Lie g: le parentesi <strong>di</strong><strong>Poisson</strong> così ottenute non sono altro che le parentesi <strong>di</strong> Lie–<strong>Poisson</strong> dell’algebra<strong>di</strong> Lie g e quin<strong>di</strong> una varietà <strong>di</strong> <strong>Poisson</strong> lineare è sempre lo spazio delleorb<strong>it</strong>e coaggiunte <strong>di</strong> un’algebra <strong>di</strong> Lie.Lo stu<strong>di</strong>o della parentesi <strong>di</strong> <strong>Poisson</strong> quadratiche è molto più complicato,ed è stato effettuato da Karasev e Maslov con risultati notevoli(cfr. [10]). Ingenerale sembra impensabile classificare le varietà <strong>di</strong> <strong>Poisson</strong> basandosi sull’espressionelocale del tensore <strong>di</strong> <strong>Poisson</strong>, come si è fatto nel caso lineare: sarebbeun po’ come voler classificare le algebre <strong>di</strong> Lie stu<strong>di</strong>ando la combinatoriadelle costanti <strong>di</strong> struttura...Come abbiamo osservato, si può definire una varietà <strong>di</strong> <strong>Poisson</strong> come unacoppia (P,π) ove π è il tensore <strong>di</strong> <strong>Poisson</strong> associato alle {}; questo sembrain qualche modo analogo al modo in cui sono defin<strong>it</strong>e le varietà simplettiche,ed osserviamo che in realtà è l’inverso: infatti se il tensore <strong>di</strong> <strong>Poisson</strong> harango massimo, cioè nell’intorno <strong>di</strong> ogni punto si esprime come una matriceantisimmetrica invertibile, allora il suo tensore inverso è un tensore covarianteantisimmetrico che definisce una forma simplettica: è infatti non degenere(essendo invertibile) e le con<strong>di</strong>zioni <strong>di</strong> Sophus Lie si trasformano nella con<strong>di</strong>zione<strong>di</strong> cociclo dω = 0 come un semplice calcolo, utilizzando la formula delladerivata della matrice inversa, permette <strong>di</strong> verificare.Quello che vogliamo ora <strong>di</strong>scutere è quanto questa s<strong>it</strong>uazione possa generalizzarsinel caso <strong>di</strong> una varietà <strong>di</strong> <strong>Poisson</strong> qualsiasi. Intanto osserviamo cheun esempio fondamentale è quello delle varietà <strong>di</strong> <strong>Poisson</strong> lineari, e cioè delleorb<strong>it</strong>e coaggiunte <strong>di</strong> un’algebra <strong>di</strong> Lie g: in quel caso la varietà si decomponein modo naturale in sottovarietà simplettiche. Infatti abbiamo menzionato ilfatto che le orb<strong>it</strong>e coaggiunte nelle quali P = g ∗ si spezza sono varietà simplettichee le parentesi <strong>di</strong> <strong>Poisson</strong> indotte da queste strutture simplettichesono proprio le restrizioni ad esse delle parentesi <strong>di</strong> P.Una generalizzazione <strong>di</strong> questo fatto al caso <strong>di</strong> varietà <strong>di</strong> <strong>Poisson</strong> qualsiasiè possibile, il che consente, in un certo senso, <strong>di</strong> vedere la teoria delle varietà<strong>di</strong> <strong>Poisson</strong> come una versione “non lineare” del metodo delle orb<strong>it</strong>e.Osserviamo innanz<strong>it</strong>utto che è defin<strong>it</strong>o il concetto <strong>di</strong> rango <strong>di</strong> un tensore<strong>di</strong> <strong>Poisson</strong> su una varietà: il rango sarà un concetto locale, ed anzi puntuale,nel senso che si tratta <strong>di</strong> una funzione ρ defin<strong>it</strong>a su P ed a valori interi che,nel punto x ∈ P, è defin<strong>it</strong>a come il rango della matrice π(x). Evidentementeil rango sarà una funzione che in generale non potremo pretendere esserecostante: osserviamo ad esempio che una varietà <strong>di</strong> <strong>Poisson</strong> <strong>di</strong> rango costanteed ovunque massimo è simplettica, perché il tensore <strong>di</strong> <strong>Poisson</strong> riulta intale caso globalmente invertibile dando luogo in questo modo ad una formasimplettica.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!