Algèbre de Poisson

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

Une algèbre de Poisson est une algèbre munie d'une application bilinéaire $(f,g)\mapsto {\{f,g}\}$ de $A\times A$ dans $A$ vérifiant les relations, $\forall f,g,h\in A$ :

$\{f,g\}=-\{g,f\}$ (antisymétrie)

$\{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}=0$ ) (identité de Jacobi)

$\{fg,h\}=f\{g,h\}+g\{f,h\}$ (règle de Leibniz)

Sous-structures et morphismes

Une sous-algèbre de Poisson de $A$ est une sous-algèbre de l'algèbre associative $A$ qui est stable pour le crochet de Poisson.

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

$\forall f\in A,$ $\forall i\in I,$ ${\{i,f)}\}\in I$

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

$\forall f,g\in A,\ \phi (\{f,g\})={\{\phi (f),\phi (g)}\}$

Remarques

Une algèbre de Poisson n'est pas nécessairement commutative.
Toute algèbre $A$ peut être trivialement munie d'une structure de Poisson en posant $\{f,g\}=0$ , $\forall f,g\in A$

Propriétés

Si $A$ est unitaire, $\forall f\in A,$ ${\{f,1}\}=0$
Le noyau d'un morphisme d'algèbres de Poisson est un idéal.
Un endomorphisme de $A$ est dit canonique s'il est simultanément une dérivation pour le produit d'algèbre associative de $A$ et pour son crochet de Poisson. Pour toute $f\in {\mathcal {C}}^{\infty }(M;\mathbb {R} )$ , l'endomorphisme $X_{f}$ défini par $X_{f}(g)={\{f,g}\}$ est un endomorphisme canonique. Un endomorphisme de la forme $X_{f}$ est appelé canonique. On note $H(A)$ l'ensemble de endomorphismes hamiltoniens, $Can(A)$ celui des endomorphismes canoniques et $Der(A)$ celui des dérivations. On a alors : $H(A)\subseteq Can(A)\subseteq Der(A)$ .
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.

Exemples

Variétés symplectiques

L'exemple premier exemple d'algèbre de Poisson est l'algèbre ${\mathcal {C}}^{\infty }(M;\mathbb {R} )$ des fonctions lisses à valeurs réelles sur une variété symplectique $(M,\omega )$ . La non dégénérescence de la 2-forme $\omega$ permet d'identifier le fibré tangent et le fibré cotangent de la variété et ainsi d'associer à $f\in {\mathcal {C}}^{\infty }(M;\mathbb {R} )$ le champ de vecteurs hamiltonien par la formule : $\omega (X_{f},\cdot )=-\mathrm {d} f$ . Il est alors aisé de vérifier que $\{f,g\}={-\omega }(X_{f},X_{g})$ définit un crochet de Poisson sur ${\mathcal {C}}^{\infty }(M;\mathbb {R} )$ .

Algèbres associatives

Toute algèbre associative $A$ est canoniquement une algèbre de Lie pour le crochet $[a,b]=ab-ba$ , $\forall a,b\in A$ . 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 $A$ d'une structure de Poisson. Dans le cas où $A$ est commutative,la structure de Lie (et donc de Poisson) est triviale.

Algèbres de Lie

L'algèbre tensorielle d'un module $V$ sur un anneau commutatif $R$ est associative. Dans le cas ou le module est muni une algèbre de Lie $A$ , on vérifie que le crochet de lie se relève à l'algèbre tensorielle $T(A)$ 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 $A$ .

Références

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. Landsman, Poisson algebras and Poisson manifolds, Longman, 1988, 128 p. (ISBN 978-0-582-01989-8)
(en) Mathematical Topics Between Classical and Quantum Mechanics, Springer, 1998, 529 p. (ISBN 978-0-387-98318-9)

Portail de l’algèbre

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.