Variété de Poisson

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Les informations figurant dans cet article ou cette section doivent être reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » (juin 2019).

Vous pouvez améliorer la vérifiabilité en associant ces informations à des références à l'aide d'appels de notes.

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^{\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{def}}{=}}\{f,\cdot \}:{C^{\infty }}(M)\to {C^{\infty }}(M)$ est un champ de vecteurs pour toute fonction lisse $f$ , appelé champ de vecteurs hamiltonien associé à $f$ .

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

\{\cdot ,\cdot \}:{C^{\infty }}(M)\times {C^{\infty }}(M)\to {C^{\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^{\infty }}(M)$ , tandis que le troisième assure que pour tout fonction $f\in {C^{\infty }}(M)$ , son adjoint $\{f,\cdot \}\colon {C^{\infty }}(M)\to {C^{\infty }}(M)$ est une dérivation de ${C^{\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 \Gamma {\Big (}\bigwedge ^{2}TM{\Big )}$ 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 ${\mathfrak {g}}^{*}$ d'une algèbre de Lie $({\mathfrak {g}},[\cdot ,\cdot ])$ est une variété de Poisson. Une description globale du crochet est la suivante: ${\mathfrak {g}}$ est en bijection naturelle avec les fonctions linéaires sur ${\mathfrak {g}}^{*}$ , 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^{\infty }}({\mathfrak {g^{*}}})$ et $x\in {\mathfrak {g}}^{*}$ .

Morphisme de Poisson

Si $(M,\{\cdot ,\cdot \}_{M})$ et $(M',\{\cdot ,\cdot \}_{M'})$ sont deux variétés de Poisson, une application lisse $\varphi :M\to M'$ 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^{\infty }}(M')$ , on a:

{\{f,g\}_{M'}}(\varphi (x))={\{f\circ \varphi ,g\circ \varphi \}_{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'}$ par $\varphi$ .

Les variétés de Poisson forme les objets d'une catégorie ${\mathfrak {Poiss}}$ , dont les morphismes de Poisson sont les flèches.

Références

K. H. Bhaskara et K. Viswanath, Poisson algebras and Poisson manifolds, Longman, 1988 (ISBN 0-582-01989-3)
Ana Cannas da Silva et Alan Weinstein, Geometric models for noncommutative algebras, AMS Berkeley Mathematics Lecture Notes, 10, 1999
Marius Crainic et R.L. Fernandes, « Integrability of Poisson Brackets », Journal of Differential Geometry, vol. 66, n^o 1,‎ 2004, p. 71–137
Marius Crainic et Ioan Marcut, « On the existence of symplectic realizations », Journal of Symplectic Geometry, vol. 9, n^o 4,‎ 2011, p. 435–444
J.-P. Dufour et N.T. Zung, Poisson Structures and Their Normal Forms, vol. 242, Birkhäuser Progress in Mathematics, 2005
R.L. Fernandes et Ioan Marcut, Lectures on Poisson Geometry, Yet unpublished lecture notes, 2014
Victor Guillemin et Shlomo Sternberg, Symplectic Techniques in Physics, New York, Cambridge University Press, 1984 (ISBN 0-521-24866-3)
M. Karasev, « Analogues of objects of Lie group theory for nonlinear Poisson brackets », Math. USSR Izv., vol. 28,‎ 1987, p. 497–527
Alexandre A. Kirillov, « Local Lie algebras », Russ. Math. Surv., vol. 31, n^o 4,‎ 1976, p. 55–75 (DOI 10.1070/RM1976v031n04ABEH001556)
Paulette Libermann et C.-M. Marle, Symplectic geometry and analytical mechanics, Dordrecht, Reidel, 1987 (ISBN 90-277-2438-5)
André Lichnerowicz, « Les variétés de Poisson et leurs algèbres de Lie associées », Journal of Differential Geometry, vol. 12, n^o 2,‎ 1977, p. 253–300 (DOI 10.4310/jdg/1214433987, MR 0501133)
I. Marcut, Normal forms in Poisson geometry, PhD Thesis, Utrecht University, 2013 Available at thesis
Izu Vaisman, Lectures on the Geometry of Poisson Manifolds, Birkhäuser, 1994 See also the review by Ping Xu in the Bulletin of the AMS.
Alan Weinstein, « The local structure of Poisson manifolds », Journal of Differential Geometry, vol. 18, n^o 3,‎ 1983, p. 523–557
Alan Weinstein, « Poisson geometry », Differential Geometry and its Applications, vol. 9, n^os 1-2,‎ 1998, p. 213–238

Portail des mathématiques

Related Articles