Variété symplectique

En mathématiques, une variété symplectique est une variété différentielle munie d'une forme différentielle de degré 2 fermée et non dégénérée, appelée forme symplectique. L'étude des variétés symplectiques relève de la géométrie symplectique. Les variétés symplectiques apparaissent dans les reformulations analytiques abstraites de la mécanique classique utilisant la notion de fibré cotangent d'une variété, notamment dans la reformulation hamiltonnienne, où les configurations d'un système forment une variété dont le fibré cotangent décrit l'espace des phases du système.

Toute fonction à valeurs réelles sur une variété symplectique définit un champ de vecteurs hamiltonien, dont les courbes intégrales sont solutions des équations de Hamilton-Jacobi. Le champ de vecteurs hamiltonien décrit un difféomorphisme hamiltonien sur la variété symplectique. Par le théorème de Liouville, ce flot hamiltonien préserve la forme volume.

Historique

La notion de variété symplectique, et donc de géométrie symplectique, reviendrait à Jean-Marie Souriau en 1953Modèle:,Modèle:,. Suivant Souriau, la forme symplectique s'appellerait historiquement la forme de Lagrange, ou encore les crochets de Lagrange. Plus précisément, le crochet de Poisson de deux fonctions définies sur l'espace des phases peut s'écrire comme $\{f_1,f_2\}=\sum _{i,j}{\sigma }^{ij}({\partial }_i{f}_1)({\partial }_j{f}_2)$ où ${\sigma }^{ij}$ est le tenseur contravariant de Poisson. Son tenseur inverse est le tenseur covariant de Lagrange, ce qui correspond aux composantes du crochet de Lagrange (i.e. aux composantes de la forme symplectique).

Définition

Soit $M$, une variété différentielle de dimension finie. Une forme symplectique sur $M$ est une 2-forme différentielle $\omega \in {\mathrm{\Omega }}^2(M)$ qui est fermée (i.e. $\mathrm{d}\omega =0$) et non dégénérée (i.e. si $v\in TM$ est non nul, alors $\omega (v,\cdot )$ est non nul). Une variété symplectique $(M,\omega )$ est une variété différentielle $M$ munie d'une forme symplectique $\omega$.

Proposition : Toute variété symplectique est de dimension réelle paire. Modèle:Démonstration

Fibre par fibre, la forme symplectique $\omega$ d'une variété symplectique $(M,\omega )$ induit une application linéaire bémol :

$\mathrm{♭}:T_{x}M\to T_x^{*}M;v\mapsto v^{\mathrm{♭}}:={\omega }_x(v,\cdot )$

La propriété de non dégénérescence des formes symplectiques est équivalente à ce que cette dernière application linéaire soit injective. En dimension finie, puisque les fibres du tangent $TM$ ont la même dimension que celles du cotangent $T^{*}M$, l'application bémol est non seulement injective mais surjective, ce qui en fait un isomorphisme musical symplectique dont l'inverse est l'isomorphisme musical dièse symplectique

$\mathrm{♯}:T_x^{*}M\to T_{x}M;\alpha \mapsto {\alpha }^{\mathrm{♯}}$

Remarque : il est aussi possible de définir la notion de variété symplectique de dimension infinie (e.g. les espaces de connexions sur une surface lisse fermée orientée). Il faut toutefois distinguer les formes symplectiques faibles (i.e. celles où $\mathrm{♭}$ est injective) de celles fortes (i.e. celles où $\mathrm{♭}$ est un isomorphisme).

Le théorème de Darboux

Tout comme il y a un espace vectoriel symplectique standard $({ℝ}^{2n},\omega )$, il y a une variété symplectique standard, aussi dénoté $({ℝ}^{2n},\omega )$. Soit $\{e_i,f_i{\}}_{i=1,...,n}$ la base canonique de ${ℝ}^{2n}$. Il lui correspond une base duale canonique $\{e_i^{*},f_i^{*}{\}}_{i=1,...,n}$ définie par les relations

$e_i^{*}(e_j)={\delta }_{i,j}{e}_i^{*}(f_j)=0f_i^{*}(e_j)=0f_i^{*}(f_j)={\delta }_{i,j}$

Cette base duale canonique induit un système de coordonnées (globales) tout aussi canonique $\{x_i,y_i{\}}_{i=1,...,n}$ définie en chaque $x\in {ℝ}^{2n}$ par :

$x_i(x):=e_i^{*}(x)$

$y_i(x):=f_i^{*}(x)$

La forme symplectique canonique $\omega$ sur ${ℝ}^{2n}$ s'écrit alors explicitement et globalement comme :

$\omega =\sum _{i=1}^n\mathrm{d}{x}_i\wedge \mathrm{d}{y}_i$

Le théorème de Darboux montre que tout point $x\in M$ d'une variété symplectique $(M,\omega )$ admet un voisinage ouvert $U$ muni d'un système de coordonnées locales $\{x_i,y_i{\}}_{i=1,...,n}$ tel que

$\omega {|}_U=\sum _{i=1}^n\mathrm{d}{x}_i\wedge \mathrm{d}{y}_i$

Deux preuves différentes du théorème de Darboux se retrouvent en et en .

Le théorème de Darboux implique que, contrairement à la géométrie riemannienne où la courbure d'une métrique riemannienne $g$ est un invariant local, il n'y a pas d'invariant local en géométrie symplectique.

Fibrés cotangents

Un autre exemple typique de variété symplectique est le fibré cotangent d'une variété différentiable. Soit $Q$ une variété différentiable. Soit $\pi :T^{*}Q\to Q$ son fibré cotangent. Il existe une 1-forme différentielle $\lambda$, dite 1-forme canonique de Liouville, sur $T^{*}Q$ définie en tout point $p\in T^{*}Q$ et sur tout vecteur $v\in T_p(T^{*}Q)$ par :

$\lambda {|}_p(v):=p({\pi }_{*}v)$

La différentielle extérieure $\omega :=\mathrm{d}\lambda$ est une forme symplectique, dite forme symplectique canonique, sur $M:=T^{*}Q$. En particulier, un système de coordonnées locales $\{x^i{\}}_{i=1,...,n}$ sur un ouvert $U$ de $Q$ induit un système de coordonnées locales $\{p_i,q^i{\}}_{i=1,...,n}$ sur ${\pi }^{-1}(U)$ défini en tout point $p\in {\pi }^{-1}(U)$ par :

$p_i(p):=p\left(\frac{\partial }{\partial x^i}\right)$

$q^i(p):=x^i(\pi (p))$

Il est alors possible de démontrer que

$\omega {|}_{{\pi }^{-1}(U)}=\sum _{i=1}^n\mathrm{d}{p}_i\wedge \mathrm{d}{q}^i$

Ainsi, localement, la forme symplectique canonique sur un fibré cotangent s'écrit de manière naturelle en coordonnées de Darboux.

Remarques : En physique, la variété $Q$ joue le rôle d'espace de configuration et son cotangent $M=T^{*}Q$ celui d'espace des phases.

Forme volume

Plus haut il a été démontré que tout variété symplectique $(M,\omega )$ est de dimension paire $2n$. En considérant $n$ fois le produit extérieur de la 2-forme symplectique $\omega$, la variété $M$ est alors munie d'une $2n$-forme différentielle ${\omega }^{\wedge n}$. Il est alors possible de démontrer, soit en utilisant la définition de $\omega$ soit en utilisant le théorème de Darboux, que cette dernière $2n$-forme différentielle ${\omega }^{\wedge n}$ est une forme volume sur $M$. Ce faisant, toute variété symplectique est canoniquement orientée et reçoit une mesure canonique ${\omega }^{\wedge n}/n!$ appelée mesure de Liouville.

Remarque : la mesure de Liouville est utilisée :

• en mécanique statistique, à fonction multiplicative près, en tant que mesure de probabilité ;
• en préquantification géométrique pour définir un espace de Hilbert.

Champ vectoriel hamiltonien et flot hamiltonien

Soit $(M,\omega )$ une variété symplectique. Soit $H\in {𝒞}^{\mathrm{\infty }}(M;ℝ)$ une fonction lisse (qu'on nommera hamiltonien). À $H$ est associé un champ vectoriel hamiltonien $X_H\in 𝔛(M)$ défini implicitement par :

$\omega (X_H,\cdot )=-\mathrm{d}H$

ou encore, en termes de musicalité dièse symplectique, par :

$X_H:=-{\left(\mathrm{d}H\right)}^{\mathrm{♯}}$

Si $X_H$ est un champ vectoriel complet, il lui est associé un groupe à 1-paramètre de difféomorphismes ${\varphi }_H^t$, i.e. un homomorphisme de groupes ${\varphi }_H:(ℝ,+)\to \mathrm{D}\mathrm{i}\mathrm{f}\mathrm{f}(M)$, nommé flot hamiltonien de $H$.

Remarques :

• il est aussi possible de définir le champ vectoriel hamiltonien et le flot hamiltonien d'un hamiltonien $H\in {𝒞}^{\mathrm{\infty }}(M\times ℝ)$ non autonome (i.e. qui dépend du temps) ;
• par le théorème de Liouville, la forme volume est préservée par le flot hamiltonien. Mais ce n'est pas tout ! Le flot hamiltonien préserve non seulement la forme volume symplectique ${\omega }^{\wedge n}$ mais aussi la forme symplectique $\omega$. Le flot hamiltonien agit donc sur $(M,\omega )$ par symplectomorphismes.
• La définition ci-haut du champ vectoriel hamiltonien nous permet de définir le crochet de Poisson de deux observables classiques $f,g\in {𝒞}^{\mathrm{\infty }}(M;ℝ)$ comme :

$\{f,g\}:=X_f(g)$

On obtient alors une relation entre le crochet de Poisson de deux observables classiques et la forme symplectique :

$\{f,g\}=\omega (X_f,X_g)$

Cette équation est équivalente, à signe près, avec le fait que le crochet de Lagrange est le tenseur inverse du crochet de Poisson. En utilisant la fermeture de la forme symplectique, un calcul direct montre que le crochet de Poisson satisfait l'identité de Jacobi :

$0=\{f,\{g,h\}\}+\{h,\{f,g\}\}+\{g,\{h,f\}\}$

En utilisant l'identité de Jacobi du crochet de Poisson, on obtient une relation entre le crochet de Lie de champs vectoriels hamiltoniens et la forme symplectique :

$X_{\{f,g\}}=[X_f,X_g]$

Autrement dit, le crochet de Poisson de l'algèbre de Poisson des fonctions lisses sur une variété symplectique concorde avec le crochet de Lie de champs vectoriels.

• En coordonnées locales de Darboux $(p_i,q^i{)}_{i=1,...,n}$, on a explicitement :

$\omega =\sum _{i}d{p}_i\wedge d{q}^i$

$X_f=\sum _i\frac{\partial f}{\partial p_i}\frac{\partial }{\partial q^i}-\frac{\partial f}{\partial q_i}\frac{\partial }{\partial p^i}$

$\{f,g\}=\sum _i\frac{\partial f}{\partial p_i}\frac{\partial g}{\partial q^i}-\frac{\partial f}{\partial q_i}\frac{\partial g}{\partial p^i}$

$X_{p_i}=\frac{\partial }{\partial q^i}$

$X_{q^i}=-\frac{\partial }{\partial p_i}$

$\{p_i,q^j\}={\delta }_i^j$

Sous-variétés lagrangiennes et autres

Une sous-variété différentielle $N$ d'une variété symplectique $(M,\omega )$ est dit être une :

• sous-variété symplectique si chaque fibre $T_{x}N$ est un sous-espace vectoriel symplectique de $(T_{x}M,{\omega }_x)$ ;
• sous-variété isotrope si chaque fibre $T_{x}N$ est un sous-espace vectoriel isotrope de $(T_{x}M,{\omega }_x)$ ;
• sous-variété coïsotrope si chaque fibre $T_{x}N$ est un sous-espace vectoriel coïsotrope de $(T_{x}M,{\omega }_x)$ ;
• sous-variété lagrangienne si chaque fibre $T_{x}N$ est un sous-espace vectoriel lagrangien de $(T_{x}M,{\omega }_x)$.

Une sous-variété lagrangienne $N$ d'une variété symplectique $(M,\omega )$ est toujours de dimension la moitié celle de $M$.

Cas particuliers et généralisations

• Une variété symplectique munie d'un tenseur métrique compatible avec la forme symplectique est appelée variété kählérienne.
• Les variétés symplectiques sont des cas particuliers des variétés de Poisson.

Voir aussi

• Groupe symplectique
• Matrice symplectique
• Symplectomorphisme

Liens externes

• Modèle:En McDuff et D. Salamon, Modèle:Langue (1998), Modèle:Langue, Modèle:ISBN.
• Modèle:En Abraham et Jarrold E. Marsden, Modèle:Langue (1978), Benjamin-Cummings, Modèle:Langue, Modèle:ISBN
• Modèle:En Alan Weinstein, « Modèle:Langue », Adv. Math. 6 (1971), 329–346