13.07.2015 Views

Strutture di Poisson - Caressa.it

Strutture di Poisson - Caressa.it

Strutture di Poisson - Caressa.it

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Strutture</strong> <strong>di</strong> <strong>Poisson</strong> 33possiamo riscrivere le parentesi <strong>di</strong> <strong>Poisson</strong> su G in termini della base {∂ i }come{f,g}(x) = η x ((∇f) x ∧(∇g) x )ove η è il pull-back del tensore <strong>di</strong> <strong>Poisson</strong> π <strong>di</strong> G nel punto e ∈ G ident<strong>it</strong>à delgruppo <strong>di</strong> Lie:η : G → g∧gx ↦→ dL x −1π xavendo esteso la traslazione a sinistra alle potenze tensoriali <strong>di</strong> g condL x (X 1 ⊗···⊗X n ) := dL x X 1 ⊗···⊗dL x X ned identificato T e G con g.Verifichiamo quello che abbiamo scr<strong>it</strong>to:{f,g}(x) = π x ((df) x ∧(dg) x ) = dL x −1π x ((∇f) x ∧(∇g) x )= η x ((∇f) x ∧(∇g) x )Osserviamo che avremmo potuto dare una definizione analoga in termini <strong>di</strong>campi invarianti a destra.Il tensore η gioca il ruolo <strong>di</strong> tensore <strong>di</strong> <strong>Poisson</strong> invariante a sinistra; datochesappiamo come<strong>it</strong>ensori <strong>di</strong><strong>Poisson</strong>sonolegatiaglioperatorihamiltoniani,possiamo definire un operatore hamiltoniano invariante a sinistra K associatoalla struttura <strong>di</strong> gruppo <strong>di</strong> Lie–<strong>Poisson</strong> <strong>di</strong> G come〈K x ω 1 |ω 2 〉 = η x (ω 1 ∧ω 2 )Le seguenti con<strong>di</strong>zioni sono delle caratterizzazioni estremamente utili delladefinizione <strong>di</strong> gruppo <strong>di</strong> Lie–<strong>Poisson</strong>, e sono dovute a Drinfeld:Proposizione 4.2 Se G è un gruppo <strong>di</strong> Lie ed è una varietà <strong>di</strong> <strong>Poisson</strong>rispetto a certe parentesi {}, allora le seguenti con<strong>di</strong>zioni sono equivalenti:(1) (G,·,{}) è un gruppo <strong>di</strong> Lie–<strong>Poisson</strong>.(2) ∀x,y ∈ G π xy = dL x π y +dR y π x .(3) ∀x,y ∈ G H xy = dL x H ∗ yL x +dR y H x R ∗ y.(4) ∀x,y ∈ G η xy = Ad y −1η x +η y .(5) ∀x,y ∈ G K xy = Ad y −1K x Ad ∗ y +K y .

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

Saved successfully!

Ooh no, something went wrong!