Aller au contenu

Algèbre de Poisson

Un article de Wikipédia, l'encyclopédie libre.

Une algèbre de Poisson est une algèbre associative sur laquelle est défini un crochet de Lie qui satisfait la règle de Leibniz. L'exemple le plus important en est donné par l'algèbre des fonctions lisses sur une variété de Poisson ou, plus particulièrement, sur une variété symplectique. Ces algèbres ont été nommées algèbres de Poisson en l'honneur de Siméon Denis Poisson.

Définition

[modifier | modifier le code]

Une algèbre de Poisson est une algèbre munie d'une application bilinéaire de dans vérifiant les relations,  :

  • (antisymétrie)


  • ) (identité de Jacobi)


  • (règle de Leibniz)

Sous-structures et morphismes

[modifier | modifier le code]
  • Une sous-algèbre de Poisson de est une sous-algèbre de l'algèbre associative qui est stable pour le crochet de Poisson.


  • Un idéal de Poisson est un idéal pour le produit associatif, tel que :


  • Un morphisme d'algèbres de Poisson est un morphisme d'algèbres associatives qui respecte le crochet de Poisson, c'est-à-dire tel que :

  • Une algèbre de Poisson n'est pas nécessairement commutative.
  • Toute algèbre peut être trivialement munie d'une structure de Poisson en posant ,

Propriétés

[modifier | modifier le code]
  • Si est unitaire,
  • Le noyau d'un morphisme d'algèbres de Poisson est un idéal.
  • Un endomorphisme de est dit canonique s'il est simultanément une dérivation pour le produit d'algèbre associative de et pour son crochet de Poisson. Pour toute , l'endomorphisme défini par est un endomorphisme canonique. Un endomorphisme de la forme est appelé canonique. On note l'ensemble de endomorphismes hamiltoniens, celui des endomorphismes canoniques et celui des dérivations. On a alors : .
  • La catégorie opposée de celle des algèbres de Poisson réelles (commutatives) peut être identifiée avec la catégorie des systèmes mécaniques classiques.

Variétés symplectiques

[modifier | modifier le code]

L'exemple premier exemple d'algèbre de Poisson est l'algèbre des fonctions lisses à valeurs réelles sur une variété symplectique . La non dégénérescence de la 2-forme permet d'identifier le fibré tangent et le fibré cotangent de la variété et ainsi d'associer à le champ de vecteurs hamiltonien par la formule :. Il est alors aisé de vérifier que définit un crochet de Poisson sur .

Algèbres associatives

[modifier | modifier le code]

Toute algèbre associative est canoniquement une algèbre de Lie pour le crochet , . C'est un exercice facile de vérifier que ce crochet satisfait la règle de Leibniz et l'identité de Jacobi et munit donc d'une structure de Poisson. Dans le cas où est commutative,la structure de Lie (et donc de Poisson) est triviale.

Algèbres de Lie

[modifier | modifier le code]

L'algèbre tensorielle d'un module sur un anneau commutatif est associative. Dans le cas ou le module est une algèbre de Lie , on vérifie que le crochet de lie se relève à l'algèbre tensorielle et satisfait la règle de Leibniz et l'identité de Jacobi. On obtient ainsi naturellement une structure de Poisson sur l'algèbre tensorielle de .

Références

[modifier | modifier le code]
  • André Lichnerowicz, Les variétés de Poisson et leurs algèbres de Lie associées, J. Diff. Geom. 12 (1977) 253-300.
  • J. Braconnier, Algèbres de Poisson, C.R. Acad. Sci. Paris A284 (1977), 1345-1348.
  • (en) K.H. Bhaskara et K. Viswanath, Poisson algebras and Poisson manifolds, Longman, , 128 p. (ISBN 978-0-582-01989-8)
  • (en) N.P. Landsman, Mathematical Topics Between Classical and Quantum Mechanics, Springer, , 529 p. (ISBN 978-0-387-98318-9)