Una varietà di Poisson è una varietà differenziabile dotata di una struttura aggiuntiva che generalizza quella presente nelle varietà simplettiche e quindi anche la struttura simplettica canonica di un fibrato cotangente tramite cui si formalizza la meccanica hamiltoniana.
Le varietà di Poisson sono caratterizzate dalla presenza di un'operazione sulle funzioni che soddisfa le proprietà essenziali delle classiche parentesi di Poisson definite su un fibrato cotangente; tramite questa operazione è possibile associare ad ogni funzione un campo hamiltoniano che generalizza le usuali equazioni di Hamilton. Molte delle definizioni e dei risultati del formalismo hamiltoniano possono essere estese a questo contesto più ampio.
Una varietà di Poisson è una varietà differenziabile
sulla cui algebra delle funzioni
è definita un'operazione bilineare
che soddisfa le seguenti proprietà:
- antisimmetria:
;
- regola di Leibniz:
;
- identità di Jacobi:
.
L'operazione
viene chiamata parentesi di Poisson, quando la parentesi di due funzioni è nulla queste sono dette in involuzione. L'insieme
delle funzioni con le operazioni date dal prodotto ordinario e dalla parentesi di Poisson forma un'algebra di Poisson.
La regola di Leibniz permette di associare alla parentesi di Poisson un tensore (due volte controvariante)
attraverso l'identità
![{\displaystyle P(\mathrm {d} f,\mathrm {d} g)=\{f,g\}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b28904e8da1297b0625d6fd59aeb4de6602234bf)
detto il tensore di Poisson della varietà. D'altra parte l'identità di Jacobi ha come immediata conseguenza che se due funzioni
e
sono in involuzione con una terza funzione
, allora anche
è in involuzione con
. Data una funzione
su una varietà di Poisson il campo vettoriale hamiltoniano ad essa associato è definito dalla relazione (soggetta anche ad altre convenzioni di segno):
![{\displaystyle X_{h}(f)={\dot {f}}=\{h,f\}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/639f82e3cabb21e9d0cb98a153f5b6acbedec7a8)
Se il tensore di Poisson
è non degenere, allora le uniche funzioni in involuzione con tutte le altre sono le funzioni costanti; se invece è degenere possono esistere delle funzioni non costanti in involuzione con tutte le altre, esse prendono il nome di funzioni di Casimir. Il campo hamiltoniano associato a una funzione di Casimir è nullo. La possibilità di avere tensori di Poisson degeneri è ciò che rende il concetto di varietà di Poisson più generale di quello di varietà simplettica.
- Ogni fibrato cotangente di una varietà differenziabile (con coordinate canoniche
,
) è una varietà di Poisson con la parentesi di Poisson canonica espressa (utilizzando la convenzione di Einstein) come
![{\displaystyle \{f,g\}={\frac {\partial f}{\partial p_{\lambda }}}{\frac {\partial g}{\partial q^{\lambda }}}-{\frac {\partial g}{\partial p_{\lambda }}}{\frac {\partial f}{\partial q^{\lambda }}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/41de791b6e0321cfb4a47443571df00307a8647e)
- Ogni varietà simplettica è una varietà di Poisson prendendo come tensore di Poisson l'inverso della forma simplettica; viceversa se un tensore di Poisson è invertibile il suo inverso è una 2-forma chiusa e quindi definisce una varietà simplettica.
- Come caso particolare del precedente ogni varietà di Kähler è una varietà di Poisson.
- Se
è un'algebra di Lie (di dimensione finita), allora il suo spazio duale
è una varietà di Poisson con la parentesi di Lie-Poisson
![{\displaystyle \{f,g\}(\mu )=\langle \mu ,[df,dg]\rangle ,}](//wikimedia.org/api/rest_v1/media/math/render/svg/7f52cfd05c95c36a2e1fa70ace44a8b06e3df035)
- dove
e
sono funzioni su
e quindi i loro differenziali
e
appartengono al biduale
, il simbolo
indica la forma bilineare tra
e il suo duale. Viceversa ogni parentesi di Poisson lineare su uno spazio vettoriale di dimensione finita definisce una struttura di algebra di Lie sul suo duale.
- Infine se su un'algebra di Lie
è definito un prodotto scalare
tale che
![{\displaystyle (A,[B,C])=(B,[C,A]),\quad \forall A,B,C\in {\mathfrak {g}},}](//wikimedia.org/api/rest_v1/media/math/render/svg/e36ca6e2750222c97cb12b3ec88d2af67da47906)
- è possibile definire una struttura di Poisson non solo sul duale ma direttamente sull'algebra tramite
![{\displaystyle \{f,g\}(M)=(M,[\nabla f,\nabla g]),}](//wikimedia.org/api/rest_v1/media/math/render/svg/ad20a44e9afdd5b7f20ae2b1d2107afcb79060f7)
- dove il gradiente
è definito tramite
.
- A. Lichnerowicz, Les variétès de Poisson et leurs algèbres de Lie associées, J. Diff. Geom. 12 (1977), 253-300.
- A. A. Kirillov, Local Lie algebras, Russ. Math. Surv. 31 (1976), 55-75.
- V. Guillemin, S. Sternberg, Symplectic Techniques in Physics, Cambridge University Press 1984.
- P. Liberman, C.-M. Marle, Symplectic geometry and analytical mechanics, Reidel 1987.
- K. H. Bhaskara, K. Viswanath, Poisson algebras and Poisson manifolds, Longman 1988, ISBN 0582019893.
- I. Vaisman, Lectures on the Geometry of Poisson Manifolds, Birkhäuser 1994.