Varietà di Poisson

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.

Definizione formale

modifica

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à

 

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):

 

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
 
  • 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
 
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
 
è possibile definire una struttura di Poisson non solo sul duale ma direttamente sull'algebra tramite
 
dove il gradiente   è definito tramite  .

Bibliografia

modifica
  • 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.

Collegamenti esterni

modifica
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica