Strutture di Poisson - Caressa.it

48 Paolo Caressadi Lie, nel verso che abbiamo considerato, vale anche nel caso di dimensioneinfinita).Possiamo descrivere esplicitamente l’1-cociclo δ : g → g∧g in termini digeneratori canonici (nella usuale notazione, ad esempio quella del libro di KacInfinite dimensional Lie Algebras): se E i , F i , α ∗ i sono i generatori di g (oveE i , F i ∈ [b ± ,b ± ] ed α ∗ i è l’immagine della radice semplice α i ∈ h ∗ tramitel’isomorfismo h ∗ → h) alloraδ(α ∗ i) = 0 δ(E i ) = 1 2 E i ∧α ∗ i δ(F i ) = 1 2 F i ∧α ∗ iQuesta classe di esempi di bialgebre di Lie ha notevoli applicazioni in fisica,e fornisce possibili esempi di gruppi di Lie–Poisson di dimensione infinita (adesempio le r-matrici classiche sull’algebra di Virasoro inducono strutture diPoisson sul gruppo dei diffeomorfismi della circonferenza).Concludiamo questa panoramica osservando che, nel 1994 è stato dimostratoche ogni gruppo di Lie è in modo non banale un gruppo di Lie–Poisson,utilizzando la decomposizione di Levi ed i risultati sui gruppi semisemplici erisolubili.Tuttavia le strutture di Poisson sui gruppi di Lie che hanno interessesostanziale sembrano essere essenzialmente le orbite coaggiunte delle algebredi Lie e le strutture associate alle equazioni di Yang–Baxter: ad esempio, ilcaso abeliano non presenta grande interesse al di là delle strutture di Lie–Poisson. Infatti, considerando un esempio di gruppo di Lie abeliano che nonsia uno spazio vettoriale, come il toro ad n dimensioni T n ci rendiamo contoche non possono esistere su di esso strutture di gruppo di Lie–Poisson nonbanali: infatti se esistessero, allora sarebbero quozienti di strutture di Poissonlineari, cioè di strutture di Lie–Poisson, ma, le componenti del tensore diPoisson di una struttura di Lie–Poisson sono della formaπ ij (x 1 ,...,x n ) = ∑ kc k ij x ke quindi, se fossero periodiche di periodo t avremmoπ ij (x 1 +t,...,x n +t) = π ij (x 1 ,...,x n )i.e. ∑c k ij x k = ∑ c k ij x k + ∑ c k ij tk k kda cui t = 0. Quindi il tensore di Poisson non può essere definito da funzioniperiodiche, il che implica che la struttura di gruppo di Lie–Poisson non passaal quoziente su T n .L’interesse sostanziale di questi gruppi resta quindi legato al caso semisemplice,che è poi quello di maggior rilevanza applicativa.