Variété de Poisson

En géométrie, une structure de Poisson sur une variété différentielle $M$ est un crochet de Lie $\{\cdot ,\cdot \}$ (appelé crochet de Poisson dans ce cas) sur l'algèbre $C^{\mathrm{\infty }}(M)$ des fonctions lisses de $M$ à valeurs réelles, vérifiant formule de Leibniz

$\{f,gh\}=\{f,g\}h+g\{f,h\}$.

En d'autres termes, une structure de Poisson est structure d'algèbre de Lie sur l'espace vectoriel des fonctions lisses sur $M$ de sorte que $X_f\stackrel{\text{df}}{=}\{f,\cdot \}:C^{\mathrm{\infty }}(M)\to C^{\mathrm{\infty }}(M)$ est un champ de vecteurs pour toute fonction lisse $f$, appelé champ de vecteurs hamiltonien associé à $f$.

Definition

Soit $M$ une variété différentielle. Soit $C^{\mathrm{\infty }}(M)$ l'algèbre des fonctions de classe $C^{\mathrm{\infty }}$ de $M$ à valeurs réelles, où la multiplication est définie point par point. Un crochet de Poisson sur $M$ est une application $ℝ$-bilinéaire

$\{\cdot ,\cdot \}:C^{\mathrm{\infty }}(M)\times C^{\mathrm{\infty }}(M)\to C^{\mathrm{\infty }}(M)$

vérifiant les trois axiomes:

• Antisymétrie: $\{f,g\}=-\{g,f\}$.
• Relation de Jacobi: $\{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}=0$.
• Formule de Leibniz: $\{fg,h\}=f\{g,h\}+g\{f,h\}$.

Les deux premiers axiomes assurent que $\{\cdot ,\cdot \}$ définit une structure d'algèbre de Lie sur $C^{\mathrm{\infty }}(M)$, tandis que le troisième assure que pour tout fonction $f\in C^{\mathrm{\infty }}(M)$, son adjoint $\{f,\cdot \}:C^{\mathrm{\infty }}(M)\to C^{\mathrm{\infty }}(M)$ est une dérivation de $C^{\mathrm{\infty }}(M)$, c'est-à-dire qu'il constitue un champ de vecteurs $X_f$. Il s'ensuit que le crochet $\{f,g\}$ des fonctions $f$ et $g$ est de la forme

$\{f,g\}=\pi (df\wedge dg)$,

où $\pi \in \mathrm{\Gamma }\left({\bigwedge }^{2}TM\right)$ est un champ de bivecteurs lisse, appelé tenseur de Poisson.

Réciproquement, étant donné un champ de bivecteurs lisse $\pi$ sur $M$, la formule $\{f,g\}=\pi (df\wedge dg)$ définit un crochet bilinéaire antisymétrique $\{\cdot ,\cdot \}$ qui vérifie automatiquement la règle de Leibniz.

Exemples

• Toute variété peut être munie d'une structure de Poisson triviale par la formule $\{f,g\}=0$.
• Toute variété symplectique $(M,\omega )$ dispose naturellement d'une structure de Poisson, dont le tenseur $\pi$ est défini comme l'inverse de la forme symplectique $\omega$. On peut noter qu'avec une telle définition, la fermeture de la forme symplectique est équivalente à l'identité de Jacobi pour le crochet de Poisson associé.
• Le dual ${𝔤}^{*}$ d'une algèbre de Lie $(𝔤,[\cdot ,\cdot ])$ est une variété de Poisson. Une description globale du crochet est la suivante: $𝔤$ est en bijection naturelle avec les fonctions linéaires sur ${𝔤}^{*}$, on définit alors $\{f,g\}(x)\stackrel{\text{def}}{=}<x,[{\text{d}}_{x}f,{\text{d}}_{x}g]>$ pour tous $f,g\in C^{\mathrm{\infty }}({𝔤}^{\mathfrak{*}})$ et $x\in {𝔤}^{*}$.

Morphisme de Poisson

Si $(M,\{\cdot ,\cdot {\}}_M)$ et $(M^{\prime },\{\cdot ,\cdot {\}}_{M^{\prime }})$ sont deux variétés de Poisson, une application lisse $\phi :M\to M^{\prime }$ est un morphisme de Poisson s'il respecte la structure de Poisson, c'est-à-dire que pour tout $x\in M$ et toute fonction $f,g\in C^{\mathrm{\infty }}(M^{\prime })$, on a:

$\{f,g{\}}_{M^{\prime }}(\phi (x))=\{f\circ \phi ,g\circ \phi {\}}_M(x).$

En termes de tenseurs de Poisson, cette condition revient à dire que ${\pi }_M$ n'est autre que le tiré en arrière de ${\pi }_{M^{\prime }}$ par $\phi$.

Les variétés de Poisson forme les objets d'une catégorie $𝔓𝔬𝔦𝔰𝔰$, dont les morphismes de Poisson sont les flèches.

Références

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage[1]
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage Available at thesis
• Modèle:Ouvrage See also the review by Ping Xu in the Bulletin of the AMS.
• Modèle:Article
• Modèle:Article