Abonnez-vous à Universalis pour 1 euro

POISSON ET NAMBU STRUCTURES DE

Le théorème de décomposition locale d'Alan Weinstein

Étant donné une structure de Poisson Π sur la variété M, on lui associe l'homomorphisme (21) ♯ : TM → TM, qui envoie tout covecteur α de TxM sur le vecteur ♯(α) de TxM défini par (22) Π(α, β) = ♯(α)(β), pour tout covecteur β dans TxM. On emploie la même notation ♯ pour désigner l'opérateur qui associe à toute 1-forme α le champ de vecteur ♯(α) défini par (♯(α))(x) = ♯(α(x)). Par exemple, si f est une fonction, alors ♯(df) = Xf est le champ hamiltonien de f.

La restriction de ♯ à TxM est notée ♯x. Dans un système de coordonnées (x1, ..., xn), on a (23) ♯

, où les Πij sont les composantes de Π.

Définition. Soit (M, Π) une variété de Poisson et x un point de M. L'espace Cx ≔ Im ♯x est appelé l'espace caractéristique de la structure de Poisson Π au point x. La dimension de Cx est appelée le rang de Π au point x. Si le rang de Π en x est égal à la dimension de la variété, on dit que la structure de Poisson est non dégénérée en x. Si le rang de Π est le même en chaque point de M, on dit que Π est une structure de Poisson régulière.

Les structures de Poisson qui sont non dégénérées en chaque point sont exactement celles qui proviennent d'une structure symplectique (cf. chap. 1, Vers la géométrie symplectique).

L'espace caractéristique Cx admet une forme bilinéaire antisymétrique non dégénérée, appelée la forme symplectique induite : si X et Y sont deux vecteurs de Cx, on prend (24) (X, Y) ≔ Π(α, β), où α et β sont deux éléments de TxM tels que X = ♯(α) et Y = ♯(β).

Un corollaire immédiat est que le rang en chaque point est pair.

Théorème de décomposition locale des variétés de Poisson (théorème de Weinstein). Soit x un point de rang 2s dans la variété de Poisson (M, Π), de dimension m. Soit N une sous-variété de M, passant par le point x, de dimension (m – 2s) et qui est transverse à l'espace caractéristique Cx en x (cela se traduit par TxM = Cx ⊕ TxN). Il existe alors un système de coordonnées locales (p1, ..., ps, q1, ..., qs, z1, ..., zm–2s) sur un voisinage de x, qui satisfait les conditions suivantes : – pi(Nx) = qi(Nx) = 0 où Nx est un petit voisinage de x dans N ; – {qi, qj} = {pi, pj} = 0 pour tous i, j ; {pi, qi} = 0 si i ≠ j et {pi, qi} = 1 pour tout i ; – {zi, pj} = {zi, qj} = 0 pour tous i, j ; – {zi, zj}(x) = 0 pour tous i, j.

Un système de coordonnées locales vérifiant les conditions du théorème précédent est appelé un système de coordonnées canoniques. Dans un tel système on a (25) {f, g} = {f, g}N + {f, g}S, où (26)

définit une structure de Poisson non dégénérée
sur la sous-variété S = {z1 = ... = zm–2s = 0}, et (27)
définit une structure de Poisson sur un voisinage de x dans N. Notons que, à cause de la relation {zi, pj} = {zi, qj} = 0 pour tous i, j, les fonctions {zi, zj} ne dépendent pas des variables (p1, ..., ps, q1, ..., qs). L'égalité {zi, zj}(x) = 0 pour tous i, j signifie que le tenseur de Poisson de { , }N est nul au point x.

On traduit la formule (25) en disant que la variété de Poisson (M, Π) est localement le produit de la variété symplectique

et de la variété de Poisson (Nx, { , }N) dont le tenseur de Poisson s'annule en x. C'est pour cela que le théorème ci-dessus est appelé le théorème de décomposition locale des variétés de Poisson : au voisinage de tout point fixé, on peut décomposer la structure de Poisson en deux parties – une partie symplectique et une partie singulière de rang nul au point considéré.

Notons que le lemme de Darboux (cf. chap. 1, Vers la géométrie symplectique) est[...]

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

  • : professeur à l'université Montpellier-II (département de mathématique)

Classification

Pour citer cet article

Jean Paul DUFOUR. POISSON ET NAMBU STRUCTURES DE [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )

Médias

Feuilletage symplectique d'une structure de Poisson linéaire - crédits : Encyclopædia Universalis France

Feuilletage symplectique d'une structure de Poisson linéaire

Feuilletage symplectique d'une structure de Poisson non linéaire - crédits : Encyclopædia Universalis France

Feuilletage symplectique d'une structure de Poisson non linéaire

Voir aussi