# 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\}+\{f,h\}g$ (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 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$.