Voir la source de Géométrie symplectique

{{Sources à lier|date=juin 2024}}
La '''géométrie symplectique''' est un domaine de la [[recherche mathématique]], s'intéressant à l'origine à une formulation mathématique naturelle de la [[mécanique classique]] et développé avec une notion d'entrelacement entre la [[géométrie différentielle]] et les [[systèmes dynamiques]], avec des applications en [[géométrie algébrique]], en [[géométrie riemannienne]] et en [[géométrie de contact]].

Formellement, elle consiste en l'étude des [[Forme différentielle|2 formes différentielles]] [[Forme différentielle fermée|fermées]] [[Forme bilinéaire#Définitions associées au cas où E est égal à F|non dégénérées]] — appelées [[Forme symplectique|formes symplectiques]] — sur les [[Variété différentielle|variétés différentielles]]<ref>{{Mcduff Salamon}}.</ref>.

== Histoire ==
=== Étymologie ===
L'adjectif '''symplectique''' fut introduit par [[Hermann Weyl]] <small>(1885 – 1955)</small> pour désigner le groupe symplectique <math>Sp(2n)</math>, le groupe des [[automorphisme]]s linéaires réels de <math>C^n</math> conjuguant la multiplication par ''i'' à elle-même. Ce groupe était appelé « groupe du linéaire complexe » et une confusion était possible avec le groupe des automorphismes linéaires complexes. Hermann Weyl justifie son choix :
{{Citation bloc|
''The name “complex group” formerly advocated by me in allusion to line complexes, as these are defined by the vanishing of antisymmetric bilinear forms, has become more and more embarrassing through collision with the word “complex” in the connotation of complex number. I therefore propose to replace it by the corresponding Greek adjective “symplectic”.''

Le nom de « groupe complexe » que j'avais précédemment proposé, par allusion aux complexes de droites (car ils sont définis par l'annulation de formes bilinéaires antisymétriques), est devenu de plus en plus embarrassant à cause des confusions possibles avec l'usage de « complexe » dans l'expression « nombre complexe ». Je propose donc de le remplacer par l'adjectif grec correspondant « symplectique ».|Hermann Weyl|The classical Groups. Their Invariants and Representations}}

Plus exactement, l'adjectif « symplectique » est fondé sur la racine grecque {{grec ancien|συµπλεκτικoς}}, équivalent de la racine latine de ''complexus''. La racine latine a donné le nom de complexité d'où dérive « [[nombre complexe]] », ce nom latin traduit l'idée d'entrelacement. En [[histoire naturelle]], l'adjectif symplectique désigne « être entrelacé avec un autre corps ».

Par extension, l'adjectif symplectique a été utilisé dans l'appellation de ''formes symplectiques'' et de ''variétés symplectiques''.

=== Histoire du concept de structure symplectique ===
Le concept de structure symplectique est bien antérieur à l'introduction de la terminologie actuelle. Il émerge dans les années 1808 à 1810 dans les travaux de [[Joseph-Louis Lagrange]] et de son élève [[Siméon Denis Poisson]] sur la trajectoire des planètes<ref>[[Charles-Michel Marle]], ''Géométrie symplectique et géométrie de Poisson'' (2018), Calvage & Mounet {{ISBN|978-2-916352-70-1}}, préface</ref>. Ils entreprennent d'expliquer la variation lente des [[orbite#Paramètres orbitaux|paramètres orbitaux]] des planètes du [[système solaire]] en tenant compte des interactions mutuelles de ces corps. En utilisant la terminologie actuelle, ils introduisent à cette occasion la forme symplectique associée à la [[variété (géométrie)|variété]] décrivant les états du système et une opération fondamentale sur les fonctions : le [[crochet de Poisson]].

== Motivations ==
=== Mécanique classique et formalisme hamiltonien ===
Le cadre de la géométrie symplectique a permis de porter un nouveau regard sur la [[mécanique classique]]. Elle permet l'étude du comportement global d'un système mécanique, en traitant les symétries et les conséquences, et aborde des questions qualitatives associées comme l'existence de trajectoires périodiques ou le caractère [[Théorie du chaos|chaotique]] ou stable d'une évolution.

En [[Mécanique newtonienne|mécanique]], la position d'un ensemble de points matériels ou plus généralement d'un objet en mouvement est traditionnellement repérée par un certain nombre de coordonnées curvilignes <math>q=(q_1,\dots, q_n)</math>. Le nombre <math>n</math> est appelé ''nombre de degrés de liberté'' du système. Par exemple, un pendule astreint à rester dans un plan est repéré par un seul paramètre <math>q_1</math>, à savoir l'angle que fait sa tige avec la verticale définie par le champ de gravité. Les positions occupées par deux masses ponctuelles en interaction (par exemple une planète et une étoile) sont repérées par six paramètres, trois pour chaque masse. L'ensemble des différentes valeurs <math>(q_1,\dots, q_n)</math> que les coordonnées peuvent prendre dans toutes les positions possibles du système est appelé ''espace de configuration''. Les [[lois de Newton]] de la mécanique affirment (entre autres choses) qu'un système mécanique évolue d'une façon déterministe qui peut être prévue si on connait la position et la vitesse d'un point à l'instant initial.
 
[[Fichier:PenduleEspaceDesPhases.png|vignette|Espace des phases du pendule simple.]]
Pour prendre en compte les vitesses, il est nécessaire d'ajouter aux coordonnées de position <math>n</math> de nouvelles variables <math>p=(p_1,\dots, p_n)</math>. Dans le premier exemple, <math>p_1</math> serait la [[vitesse angulaire]] du pendule et dans le deuxième, on aurait les composantes de la vitesse des deux planètes. L'ensemble des valeurs <math>(q_1,p_1,\dots, q_n, p_n)</math> que peuvent prendre les différents paramètres est appelé ''[[espace des phases]]'' du système. Les trajectoires du système se tracent dans cet espace.

Bien sûr, il n'est en général pas possible de calculer toutes les trajectoires possibles et même un tel calcul ne donne pas forcément une bonne idée globale du comportement du système. Pour comprendre ce comportement, on peut essayer de suivre le déplacement d'un sous-ensemble de l'espace des phases ; on a alors accès à des informations globales et qualitatives.

Dans toute la suite, on suppose que le système évolue en suivant les lois de la [[Mécanique newtonienne|mécanique de Newton]] pour des forces dérivant d'un potentiel (ce qui signifie en simplifiant qu'il n'y a pas de frottements).

On peut se demander quel type de géométrie est adapté à cette étude des trajectoires dans l'espace des phases. La géométrie euclidienne est la plus familière mais elle n'est pas adaptée car les droites ne sont pas conservées lors de l'évolution d'un système mécanique. Ainsi, dans l'exemple du [[pendule simple]], on constate que si l'on part de configurations alignées, cette propriété se perd. Pire, un segment de droite n'est même pas envoyé sur une courbe de même longueur.

=== Théorème de Liouville ===
Le [[Théorème de Liouville (système dynamique)|théorème de Liouville]] affirme que lorsqu'un système mécanique évolue, le volume de toute partie de l'espace des phases est préservé. Voici comment on définit le volume d'une partie de l'espace des phases qui est de dimension <math>2n</math>. Si la partie est définie par les conditions :
:<math>q_1^0\leq q_1 \leq q_1^1, p_1^0\leq p_1 \leq p_1^1,\dots, q_n^0\leq q_n \leq q_n^1, p_n^0\leq p_n \leq p_n^1</math>
alors le volume est
:<math>(q_1^1-q_1^0)(p_1^1-p_1^0)\dots(q_n^1-q_n^0)(p_n^1-p_n^0).</math>
Dans le cas où <math>n=1</math> on retrouve la définition de l'aire d'un rectangle. Si la partie dont on veut calculer le volume est plus compliquée, on la découpe en un très grand nombre de parties telles que plus haut et on fait la somme des volumes. Lorsque le nombre de rectangle tend vers l'infini et que leur réunion tend vers la partie initiale on trouve le volume.

Ainsi dans le cas du [[pendule simple]], on a conservation de l'aire de toute partie de l'espace des phases que l'on suit lors de l'évolution du système.

Le théorème de Liouville affirme que l'évolution d'un système mécanique préserve le volume dans l'espace des phases.

On peut donc penser que la structure géométrique de l'espace des phases est celle du volume des objets mais on va voir dans le paragraphe suivant qu'il existe une géométrie plus subtile.

=== Théorème de Poincaré ===
Le [[Théorème de Poincaré-Bendixson|théorème]] de [[Henri Poincaré|Poincaré]] est un raffinement du théorème de Liouville. Pour l'énoncer il faut introduire quelques notations.
Pour tout <math>i</math> compris entre 1 et <math>n</math>, on note <math>\pi_i</math> la projection de l'espace des phases sur le plan des <math>(q_i,p_i)</math>. C'est donc la fonction qui à <math>(q_1,p_1,\dots, q_n, p_n)</math> associe <math>(q_i,p_i)</math>.

Le théorème de Poincaré affirme que pour toute surface <math>S</math> dans l'espace des phases, la somme des aires des projections <math>\pi_i(S)</math> est conservée par l'évolution du système.
<!--Todo dessin de la projection d'une surface-->

Une structure symplectique sur un ensemble est un mécanisme d'attribution d'un nombre à toute surface dans l'ensemble et qui vérifie certaines conditions sur lesquelles on reviendra plus loin. Le fait d'associer à chaque surface <math>S</math> de l'espace des phases la somme des aires de ses projections <math>\pi_i(S)</math> est un exemple de telle structure qu'on appelle structure symplectique canonique de l'espace des phases.

Le théorème de Poincaré affirme donc que l'évolution d'un système mécanique préserve la structure symplectique canonique de l'espace des phases.

On peut montrer que le théorème de Poincaré implique celui de Liouville.

=== Théorème de non-plongement de Gromov ===
{{Article détaillé|Théorème de non-plongement de Gromov}}
Pendant très longtemps, personne n'a su si le théorème de Poincaré permettait d'avoir vraiment plus d'informations sur l'évolution des formes dans l'espace des phases que le théorème de Liouville. Enfin, en 1985, [[Mikhaïl Gromov]] a démontré le théorème suivant : pour tout système mécanique à <math>n</math> degrés de liberté, la boule : <math>B=\{(q_1,p_1,\dots, q_n, p_n); q_1^2+p_1^2+\cdots +q_n^2+p_n^2\leqslant 1\}</math> ne peut jamais évoluer en un ensemble dont tous les points vérifient : <math>q_i^2+p_i^2\leqslant r^2</math> pour un <math>r</math> strictement plus petit que 1.

Or une telle évolution serait possible si seul le théorème de Liouville était vrai et pas le théorème de Poincaré. Ce théorème de Gromov est un théorème difficile et qui a de nombreuses conséquences, il a révolutionné le domaine de la géométrie symplectique.

== Symétries en mécanique ==
Le deuxième argument confortant l'idée que la géométrie symplectique est la géométrie naturelle des espaces de phases est la facilité avec laquelle elle permet d'intégrer les questions de symétrie et leurs conséquences.

=== Théorème de Noether ===
La présence de symétries dans un système mécanique a toujours pour conséquence la conservation de certaines quantités calculées à partir des positions et vitesses des objets étudiés. Ainsi lorsqu'un système est invariant par translation dans une direction, la quantité de mouvement dans cette direction est conservée. Lorsque le système est invariant par rotation autour d'un axe, le moment cinétique par rapport à cet axe est conservé.

Dans la formulation newtonienne de la mécanique classique, il semble impossible d'énoncer un théorème général qui engloberait les exemples cités ainsi que des situations possédant des symétries plus compliquées.

Le [[Théorème de Noether (physique)|théorème de Noether]] affirme que dès que l'on a un [[Sous-groupe à un paramètre|groupe à un paramètre de transformations]] qui préserve un système mécanique il existe une quantité conservée lors de l'évolution de ce système.
En fait l'énoncé complet donne une formule pour cette quantité en fonction des transformations et du système considérés.

Dans la formulation lagrangienne de la mécanique, on peut démontrer ce théorème en une dizaine de lignes. Dans la formulation hamiltonienne en termes de géométrie symplectique, la démonstration ne fait qu'une ligne et l'énoncé se généralise au cas de groupes de transformations à un nombre quelconque de paramètres qui ne commutent pas nécessairement entre elles. Le nombre de quantités conservées est alors égal au nombre de paramètres du groupe de transformations.

=== Systèmes hamiltoniens intégrables ===
Une des conséquences de l'existence de quantités conservées est qu'elle contraint le système mécanique dans certaines régions de l'espace des phases définies par les conditions initiales.

Lorsqu'on a autant de quantités conservées que de degrés de liberté, le système mécanique est dit [[Système intégrable|intégrable]] et la situation devient très simple, c'est ce qu'affirme le théorème d'Arnold-Liouville : pour presque toute énergie de départ, il existe des coordonnées <math>(I_1,\dots,I_n,\theta_1,\dots,\theta_n)</math> et des nombres <math>\omega_i(I_1,\dots,I_n)</math> tels que
<center>
<math> \theta_i(t) \ = \ \omega_i(I_1,\dots,I_n) \ t \ + \ \theta_i(0).</math>
</center>

=== Systèmes presque intégrables ===
Bien sûr la plupart des systèmes mécaniques ne sont pas intégrables, mais certains le sont presque. On peut alors essayer de comprendre dans quelle mesure, c'est l'objet de la [[théorie des perturbations]] qui fait elle aussi un grand usage de la structure symplectique des espaces de phases.

La géométrie symplectique partage de nombreux points avec la [[variété riemannienne|géométrie de Riemann]], qui étudie les variétés différentielles dotées de tenseurs bilinéaires non dégénérés symétriques. Par contre, les variétés symplectiques n'ont pas d'invariants locaux telle que la courbure. C'est une conséquence du [[théorème de Darboux (géométrie)|théorème de Darboux]] qui établit que deux variétés symplectiques de même dimension sont localement isomorphes. La question de savoir quelles variétés admettent des structures symplectiques n'est pas encore complètement résolue.

Chaque variété de Kähler est également une variété symplectique. Au cours des années 1970, les experts du domaine étaient incertains quant à la question de savoir si des variétés symplectiques compactes autres que celles de Kähler existaient, mais, depuis, plusieurs exemples ont pu être construits (le premier est dû à [[William Thurston]]).

La plupart des variétés symplectiques ne sont pas de Kähler et n'ont donc pas de structure complexe intégrable compatible avec la forme symplectique. [[Mikhaïl Gromov]] a remarqué cependant que les variétés symplectiques possèdent de nombreuses structures quasi-complexes qui vérifient tous les axiomes d'une variété complexe ''à l'exception'' du fait que les fonctions de transition n'y sont pas holomorphes.

Gromov développa le fait qu'il existe de telles structures pour fonder une théorie des courbes pseudoholomorphes, qui permit de grandes avancées dans la recherche en géométrique symplectique, et notamment la découverte d'une classe d'invariants connus sous le nom d'invariants de Gromov-Witten, en coopération avec [[Edward Witten]], qui jouent un rôle clé dans la [[théorie des cordes]].

== Présentation générale ==
=== Géométrie symplectique linéaire ===
La [[géométrie euclidienne]] concerne les [[espace euclidien|espaces affines euclidiens]] ''E'' : à ces derniers sont associées une [[distance (mathématiques)|distance]] naturelle, appelée [[distance euclidienne]], unique [[invariant]] pour l'[[Action de groupe (mathématiques)|action]] diagonale du groupe des isométries affines de ''E'' sur ''E''{{exp|2}}, et une notion d'[[angle]]. Les distances et angles définis par un ensemble de points de ''E'' sont préservés sous l'action d'une isométrie.

En oubliant la notion de distance, il est loisible de s'intéresser uniquement au [[produit mixte|volume euclidien]]. Un isomorphisme linéaire affine préservant le volume est de déterminant +1 ou -1. Malheureusement, en dimension ''n'', on perd ainsi toute information sur les configurations d'au plus ''n''-1 points.

La '''géométrie symplectique linéaire''' apparaît comme une géométrie intermédiaire, dans laquelle on perd la notion de distance, tout en conservant une ''notion d'aire orientée'', et donc un invariant associé à 3 points. À trois points ''A'', ''B'' et ''C'' d'un [[espace vectoriel]] réel ''E'' doit être associée une aire ''a''(''ABC''). Pour des raisons d'additivité et de monotonicité des aires, cette quantité doit s'écrire :
:<math>a(ABC)=\omega(AB,AC)</math>,
où <math>\omega:E^2\rightarrow E</math> est une [[forme bilinéaire]]. Comme une transposition sur les points ''A'', ''B'', ''C'' change l'[[orientation (mathématiques)|orientation]] du triangle ''ABC'', la forme <math>\omega</math> doit être [[Forme bilinéaire#Définitions associées au cas où E est égal à F|antisymétrique]] au sens où, pour tous vecteurs ''u'' et ''v'' :
:<math>\omega(u,v)=-\omega(v,u)</math>.
Cette forme est dite [[Forme bilinéaire non dégénérée|non dégénérée]] lorsque, pour tout vecteur <math>u\neq 0</math>, il existe un vecteur ''v'' vérifiant : <math>\omega(u,v)\neq 0</math>. Par définition, une [[forme symplectique]] sur ''E'' désigne une forme bilinéaire antisymétrique non dégénérée. Une telle forme est unique à isomorphisme linéaire près ; et son existence implique que la dimension de ''E'' soit paire, disons 2''n''. Le modèle standard est l'espace '''C'''<sup>''n''</sup> regardé comme espace vectoriel réel, avec comme forme symplectique la [[partie imaginaire]] de la [[espace hermitien|métrique hermitienne]] standard.

Un isomorphisme linéaire ou affine de ''E'' est dit symplectique lorsqu'il préserve la forme symplectique <math>\omega</math>. L'ensemble des isomorphismes linéaires symplectiques de '''C'''<sup>''n''</sup> forme un groupe, appelé le [[groupe symplectique]], noté Sp(''n'') ou Sp(2''n'') suivant les auteurs. C'est un [[groupe de Lie classique]] connexe non compact de dimension ''n''(''n''-1)/2. Il contient le [[groupe unitaire]] U(''n'') comme [[Rétract par déformation|rétract fort par déformation]] : ces deux groupes ont donc le même [[type d'homotopie]].

La classification des ellipsoïdes dans un espace euclidien de dimension 2''n'' modulo les isométries est donnée par 2''n'' invariants, qui sont leurs diamètres respectifs. Par opposition, comme observé par [[Helmut Hofer|Hofer]] et [[Eduard Zehnder|Zehnder]]<ref>{{Hofer-Zehnder}}.</ref>, la classification des ellipsoïdes d'un espace symplectique modulo les applications affines symplectiques est donné par ''n'' invariants.

=== Géométrie symplectique ===
Les variétés différentielles s'obtiennent par des recollements d'ouverts d'espaces vectoriels réels de dimension finie suivant des difféomorphismes. Un intérêt porté sur des structures particulières peut conduire à imposer des restrictions sur la nature de ces recollements.

L'objet d'étude de la géométrie symplectique est les 2-formes différentielles fermées non dégénérées. Une telle forme différentielle est appelée ''[[forme symplectique]]''. Sur une [[variété différentielle]] ''M'', on se donne une forme antilinéaire non dégénérée <math>\omega_x</math>, et on demande que la collection <math>\omega=\{\omega_x\}_{x\in M}</math> ait une certaine régularité en ''x''. L'application <math>\omega:x\mapsto\omega_x</math> est un exemple de 2-forme différentielle, qu'on exige fermée : tous champs de vecteurs ''X'', ''Y'', et ''Z'' vérifient :
:<math>X\cdot\omega(Y,Z)+Y\cdot \omega(Z,X)+Z\cdot \omega(X,Y)=\omega([X,Y],Z)+\omega([Y,Z],X)+\omega([Z,X],Y)</math>.

[[Fichier:Darboux.jpeg|vignette|Gaston Darboux.]]
Une variété munie d'une forme symplectique est appelée '''[[variété symplectique]]'''. Une fois les objets d'étude définis, on a coutume de s'intéresser aux relations qu'ils peuvent entretenir. Un difféomorphisme <math>f:M\rightarrow N</math> s'appelle [[difféomorphisme]] symplectique lorsque ''f'' préserve les formes symplectiques <math>\omega</math>. De manière plus explicite, la différentielle <math>df(x):(T_xM,\omega_x)\rightarrow (T_xN,\eta_x)</math> est un isomorphisme linéaire symplectique.

L'ensemble des difféomorphismes symplectiques de <math>(M,\omega)</math> forme un groupe, appelé [[Symplectomorphisme#Groupe des symplectomorphismes|groupe des symplectomorphismes]], et noté <math>Symp(M,\omega)</math>. Son étude a un intérêt de premier plan.

L'un des principaux résultats  de la géométrie symplectique est le [[théorème de Darboux (géométrie)|théorème de Darboux]] : localement, deux variétés symplectiques de même dimension sont [[isomorphisme|isomorphes]]. Dit autrement, aucun invariant local n'existe. Sur ce point, et pas le moindre, la géométrie symplectique s'oppose complètement à la géométrie riemannienne :
* En [[géométrie riemannienne]], l'existence d'invariants de classe C{{exp|2}} se traduit par un groupe d'isométries de dimension finie et une quantité infinie de classes d'équivalence de métriques riemanniennes ;
* En géométrie symplectique, l'inexistence d'invariants locaux au contraire donne un groupe de dimension infinie de difféomorphismes symplectiques et un ensemble « discret » de classes d'équivalence de formes symplectiques.

Cette dichotomie résume bien l'opposition entre la ''souplesse'' de la géométrie riemannienne contre la [[Rigidité (mathématiques)|rigidité]] de la géométrie symplectique. Cette rigidité se retrouve à bien d'autres niveaux ([[rigidité des symplectomorphismes]], [[théorème de rigidité de Gromov]]…).

=== Variétés symplectiques ===
Les espaces de phases étudiés jusqu'à maintenant étaient assez simples car nous étions partis d'espaces de configurations assez simples. Cependant, dans l'exemple du pendule simple, il eut été plus logique de considérer que la variable <math>q_1</math> vivait dans un cercle et pas dans une droite. Plus généralement, on peut imaginer des espaces de configuration arbitrairement compliqués, par exemple si un point est astreint à se déplacer sur une surface ayant une forme sophistiquée.

Quelle que soit la complexité de l'espace de configuration, on peut toujours lui associer un espace des phases appelé fibré cotangent de l'espace de configuration et qui est toujours muni d'une structure symplectique canonique. Les théorèmes de Liouville, Poincaré, Noether et Liouville-Arnold restent vrais et on peut donner des analogues du théorème de Gromov dans ce cadre plus général.

=== Définition et théorème de Darboux ===
On peut vouloir aller plus loin dans la généralisation et étudier tous les espaces munis d'une structure symplectique. Pour cela il faut revenir un peu plus en détail sur la définition d'une structure symplectique. À partir de maintenant on considère une variété <math>M</math> de dimension <math>2n</math>, c'est-à-dire un ensemble qui peut localement être paramétré par <math>2n</math> nombres. Comme expliqué plus
haut, une structure symplectique sur <math>M</math> est une application qui, à toute surface dans <math>M</math>, associe un nombre et qui vérifie en
plus deux propriétés. La première est que cette structure doit permettre d'associer un volume à toute partie de dimension <math>2n</math>
de <math>M</math> en procédant comme expliqué dans le paragraphe sur le théorème de Poincaré. La deuxième condition est que le nombre associé à toute surface sans bord est nul.

Le passage des espaces de phases aux variétés symplectiques générales est une grande généralisation mais on peut montrer qu'une variété symplectique ressemble toujours localement à un espace de phases. C'est le [[Théorème de Darboux (géométrie)|théorème de Darboux]] : au voisinage de n'importe quel point, toute variété symplectique peut être paramétré par un espace de phase de sorte que toute surface assez petite se voit attribuer le même nombre par la structure symplectique donnée et par la structure symplectique de l'espace des phases.

=== Existence et classification ===
La question de savoir quels ensembles admettent au moins une structure symplectique est difficile. On connaît de nombreux exemples, des conditions nécessaires, d'autres qui sont suffisantes mais aucune caractérisation complète.

De même, une fois l'existence acquise, on ne sait que très rarement combien de structures symplectiques réellement différentes cohabitent sur un même ensemble.

=== Symplectomorphismes ===
L'étude de la géométrie symplectique est née du constat que l'évolution d'un système mécanique préserve la structure symplectique canonique de l'espace des phases. Plus généralement on peut chercher à comprendre l'ensemble des transformations qui préservent une structure symplectique donnée. De telles transformations sont appelées symplectomorphismes et sont toujours très nombreuses, elles forment un ensemble de dimension infinie appelé [[Symplectomorphisme#Groupe des symplectomorphismes|groupe des symplectomorphismes]]. Pour comprendre la forme de cet ensemble, on cherche à le comparer à des ensembles plus petits que l'on comprend mieux. Les premiers résultats significatifs dans ce domaine sont dus à Gromov dans la foulée de son théorème de non tassement.

=== Interactions ===
* [[Géométrie complexe]] : de nombreux exemples de structures symplectiques et de nombreuses questions viennent de la géométrie complexe. Ainsi pour (presque) toute équation polynomiale en plusieurs variables complexes, l'ensemble des solutions est muni d'une structure symplectique. L'étude de ces équations et des structures symplectiques s'éclairent l'une l'autre et c'est en transposant au cas symplectique général des idées nées dans le contexte de la géométrie complexe que Gromov a obtenu son théorème de non tassement et de nombreux autres résultats révolutionnaires.
* [[Géométrie de contact]] : la géométrie de contact est une autre branche de recherche en géométrie qui entretient des liens tellement étroits que certains auteurs présentent la géométrie de contact comme un analogue en dimension impaire de la géométrie symplectique. Sous des circonstances favorables, le bord éventuel d'une variété symplectique hérite d'une structure de contact (la variété symplectique est alors appelée ''remplissage de la variété de contact'') ; de nombreux problèmes se posent, comme l'existence d'un tel remplissage ou l'existence de caractéristiques fermées (lire à ce sujet [[Conjecture de Weinstein]]).
* [[Systèmes dynamiques]] (différentiables) : les développements en géométrie symplectique ont été motivés par les conjectures d'Arnold concernant l'estimation du nombre minimal de points fixes d'un symplectomorphisme sur une variété symplectique compacte (voir [[#Histoire]]). En retour, l'intégration de [[Champ de vecteurs|champs de vecteurs]] spécifiques dépendant du temps sur des variétés symplectiques donnent lieu à une classe particulière de symplectomorphismes, appelés « difféomorphismes hamiltoniens ». Les appellations ''dynamique hamiltonienne'' et ''système hamiltonien'' sont d'usage courant.
* [[Ergodicité]] : la ''n''-ième puissance d'une forme symplectique sur une variété de dimension 2''n'' est une [[forme volume]], préservée par les symplectomorphismes. Des travaux de [[Leonid Polterovich]] portent sur les propriétés ergodiques de ces difféomorphismes, et en particulier donnent des estimations de leurs entropies métriques.
* [[Géométrie riemannienne]] : une famille importante de variétés symplectiques est donnée par les variétés cotangentes.
* [[Géométrie algébrique]] : à la suite des travaux de Gromov, un certain nombre de concepts de géométrie complexe s'adaptent en géométrie symplectique : courbes holomorphes, invariants de Gromov-Witten, etc.

== Histoire ==
La géométrie symplectique est née de la [[mécanique hamiltonienne|formalisation hamiltonienne]] des lois de la [[mécanique classique]]. Cette formulation est née par la somme successive des travaux de [[Isaac Newton|Newton]], de [[Joseph-Louis Lagrange|Lagrange]], et de [[William Rowan Hamilton|Hamilton]], du {{s mini-|XVII|e}} au {{s-|XIX}}. Mais ce n'est que dans les années 1960 que les outils de la géométrie symplectique ont pu être formalisés, sous l'impulsion de [[Vladimir Arnold]], et avec la participation active de [[Mikhaïl Gromov]] et [[Jean-Marie Souriau]].

=== Genèse de la géométrie symplectique ===
En 1687, [[Isaac Newton|Newton]] énonce la [[loi de l'attraction universelle]]. Cette loi permet de déduire le mouvement relatif d'une planète autour de son étoile, [[Johannes Kepler|Kepler]] ayant décrit le mouvement elliptique des planètes dès 1611.
Encore aujourd'hui, malgré l'avènement de la [[relativité générale]], cette loi de la gravitation universelle est toujours utilisée dans la détection des [[exoplanète]]s. Une planète, à l'instar de la Terre, subit la force attractive du Soleil, et son évolution est décrite par l'équation différentielle :
:<math>\frac{\mathrm d^2\vec{r}}{\mathrm dt^2}=-\alpha\frac \vec{r}{r^3}.</math>
Le problème du mouvement relatif de deux corps en interaction mutuelle est devenu un exercice classique incontournable du premier cycle universitaire. Newton lui-même en a donné une solution correcte dans les propositions 57 à 65 de [[Philosophiae Naturalis Principia Mathematica|ses ''Principia'']]. La planète décrit par rapport à l'étoile un mouvement elliptique dont l'étoile est l'un des foyers. Six constantes sont nécessaires pour décrire ce mouvement :
* deux constantes {{math|''t, u''}} pour paramétrer le plan dans lequel le mouvement s'effectue ;
* deux constantes {{math|''v, w''}} pour décrire la position du second foyer ''dans ce plan'' ;
* une constante {{math|''e''}}, appelée l'excentricité, pour décrire l'ellipse ;
* et une constante {{math|''θ''}} pour décrire la position initiale de la planète.

[[Fichier:Joseph Louis Lagrange.jpg|vignette|Joseph-Louis Lagrange.]]
Toutefois, cette description néglige la présence d'autres planètes. Le problème à {{math|''n''}} corps ({{math|''n'' ≥ 3}}) est autrement ardu. Il résiste toujours depuis trois siècles. Aucune solution analytique n'est connue, excepté pour le problème à trois corps, pour lequel on sait déterminer certaines solutions dites « homographiques ».

De 1808 à 1811, Joseph-Louis Lagrange, professeur de mathématiques à l'[[École polytechnique (France)|École polytechnique]], s'intéresse au problème de la stabilité des planètes du système solaire. Compte tenu du nombre de corps considérés, le problème est de taille ; il s'est depuis complexifié au fur et à mesure des avancées astronomiques.

Grossièrement, la méthode de Lagrange consiste à effectuer des petites perturbations sur le mouvement d'une planète, autrement dit, sur les six constantes d'intégration. Cette perturbation varie dans le temps suivant une loi moyennant les forces subies :

:<math>(t_0,u_0,v_0,w_0,e_0,\theta_0)\mapsto (t_0+t(t),u_0+u(t),v_0+v(t),w_0+w(t),e_0+e(t),\theta_0+\theta(t))</math>

Les calculs n'étaient pas justifiés. Poincaré montre la divergence des séries utilisées par les astronomes dans ''Méthodes nouvelles de la mécanique céleste''. Il faut attendre la seconde moitié du {{s-|XX|e}} pour que les outils nécessaires soient disponibles. La véritable révolution apportée par Lagrange est d'avoir introduit une fonctionnelle d'énergie, aujourd'hui notée ''L'' et appelée Lagrangien, dont les points critiques sont les trajectoires du mouvement.

=== Histoire de la géométrie symplectique ===
L'intérêt croissant vis-a-vis des structures symplectiques durant les dernières décennies s'explique par les besoins de la physique du {{s-|XX}}. Le passage de la mécanique classique à la [[mécanique quantique]] reste mal compris. La question de fonder de sérieuses bases mathématiques est un défi qui a conduit les mathématiciens à s'interroger à nouveau sur la dynamique hamiltonienne (la mécanique classique, des systèmes dynamiques de points matériels à l'[[optique géométrique]]). Le regard porté sur la lumière de la géométrie différentielle ne pouvait être que nouveau.

Dans la continuation des travaux de Lagrange et de Hamilton, pour établir l'existence d'orbites périodiques dans le problème des trois corps, Henri Poincaré le ramène à l'étude d'une application préservant l'aire sur un anneau <math>S^1\times [-1,1]</math>. Cette application s'est avérée par la suite d'une grande utilité dans l'étude des flots de champs de vecteurs. Elle est connue sous le nom d'application de retour de Poincaré.

Les résultats énoncés par Poincaré furent démontrés {{refsou|date=septembre 2011|dans les années 1920 par [[George David Birkhoff]]}} ; ils sont considérés comme les premiers travaux sur la géométrie symplectique - s'ils peuvent être considérés comme tels. Le [[théorème de Poincaré-Birkhoff]] affirme l'existence de points fixes pour un difféomorphisme de l'anneau <math>S^1\times [-1,1]</math>, qui préserve la mesure de Lebesgue, et qui fait tourner <math>S^1\times {1}</math> dans le sens positif et <math>S^1\times {-1}</math> dans le sens négatif. En réalité, ces résultats portaient davantage sur la préservation du volume. Mais en dimension 2, une mesure est essentiellement une [[forme d'aire]], donc une [[forme symplectique]]. La dimension 2 reflète mal les particularités de la géométrie symplectique.

Le théorème de Poincaré-Birkhoff préfigure la [[conjecture d'Arnold]], énoncée au début des années 1960. Cette conjecture s'efforce de trouver un minorant du nombre d'orbites périodiques pour un difféomorphisme symplectique sur une variété symplectique compacte. En 1983 [[Charles Conley|Conley]] et [[Eduard Zehnder|Zehnder]] démontrent la conjecture pour le tore par une étude variationnelle. Inspiré de ces travaux, [[Andreas Floer]] démontre en partie la conjecture pour une large classe de variétés symplectiques compactes, étendue par la suite par [[Alan Weinstein]]. Les méthodes utilisées ont contribué à la mise en place de l'[[homologie de Floer]]. Brièvement, et du moins sous certaines hypothèses, l'homologie de Floer consiste à compter des orbites périodiques d'une isotopie hamiltonienne et, modulo translation, des cylindres reliant ces orbites répondant à une EDP elliptique.

Le [[théorème KAM]] figure parmi les résultats les plus cités en dynamique hamiltonienne. Il étudie la stabilité des systèmes mécaniques complètement intégrables. Le nom du théorème est l'abréviation des trois mathématiciens qui ont contribué à sa démonstration : [[Andreï Kolmogorov|Kolmogorov]], [[Vladimir Arnold|Arnold]] et [[Jürgen K. Moser|Moser]]. Il justifie dans le langage des mathématiques les résultats de Lagrange.

Une autre investigation importante concerne l'introduction des capacités symplectiques. Ce sont des invariants symplectiques vérifiant de bonnes conditions de normalisation et d'homogénéité. Leur classification reste totalement incomprise à ce jour. Il existe un grand nombre de capacités introduites<ref>{{Article|lang=en|auteur=K. Cieliebak, H. Hofer, L. Latschev et F. Schlenk|titre=Quantitative symplectic geometry|année=2007|pages=1-44|périodique=Recent Progress in Dynamics|éditeur=MSRI Publ.|volume=54}}. {{arxiv|math/0506191}} (prépublication de juin 2005)</ref> : le rayon de Gromov, lié au théorème de non-plongement de Gromov ; les capacités d'Ekeland-Hofer et de Hofer-Zehnder, utilisant des études variationnelles sur la dynamique hamiltonienne ; ou encore un grand nombre de capacités dites spectrales dont l'introduction a été initiée par [[Claude Viterbo]]. L'utilisation de ces capacités a permis une preuve partielle de la conjecture de Weinstein (évoquée plus haut), et une preuve du théorème de rigidité de Gromov.

L'usage d'une généralisation des courbes holomorphes a apporté de grands développements en géométrie symplectique.

La géométrie symplectique s'est constituée comme domaine d'étude dès la fin des années 1960. Ce nouveau souffle dans la recherche mathématique a introduit ''parallèlement'' d'autres disciplines, la [[quantification géométrique]] et la {{Lien|langue=en|trad=Floer homology#Symplectic field theory (SFT)|fr=théorie symplectique des champs}}. Des avancées significatives ont été réalisées par [[Jean-Claude Sikorav]] et [[Claude Viterbo]] : il a été montré que si <math>X</math> est une variété fermée, alors toute [[sous-variété lagrangienne]] de <math>T \star X</math> isotope à la section nulle <math>\{ (x;0) | x \in X \}</math> admet une fonction génératrice quadratique à l'infini, et que de plus, toutes les fonctions génératrices quadratiques à l'infini d’une telle sous-variété sont équivalentes. Ce théorème a par la suite été étendu par Yu Chenakov, qui a montré que l'existence de cette classe de fonctions génératrices s'étendait aux variétés non compactes, pour les sous-variétés legendriennes.

== Notes et références ==
{{Traduction/Référence|en|Symplectic geometry|45423196}}
{{Références}}

== Voir aussi ==
{{Autres projets 
  | wikiversity = Géométrie symplectique
}}
=== Bibliographie ===
* {{ouvrage |auteur=[[Jean-Marie Souriau]] |titre=Structure des systèmes dynamique |éditeur=[[Éditions Dunod|Dunod]] |année=1970}}
* {{ouvrage |langue=en |auteur=[[Anatoli Fomenko]] |titre=Symplectic Geometry |éditeur=Gordon and Breach Publishers |numéro édition=2 |année=1995 |isbn=978-2-88124-901-3}}
* {{Weinstein1}}
* {{Arnold1}}
* {{article |langue=en |auteur1=Jaume Amorós |auteur2=Fedor Bogomolov |lien auteur2=Fiodor Alekseïevitch Bogomolov |auteur3=[[Ludmil Katzarkov]] |auteur4=Tony Pantev |titre=Symplectic Lefschetz fibrations with arbitrary fundamental groups |périodique=J. Differential Geom. |volume=54 |numéro=3 |date=2003 |passage=489-545}}
* {{ouvrage |auteur=[[Charles-Michel Marle]] |titre=Géométrie symplectique et géométrie de Poisson |année=2018 |éditeur=Calvage & Mounet |isbn=978-2-916352-70-1}}

=== Article connexe ===
* [[Lexique de la géométrie symplectique]]

=== Liens externes ===
* {{en}} [[Yakov Eliashberg]], [ftp://math.stanford.edu/pub/papers/eliash/surv90.ps « ''Symplectic topology in the nineties'' »], ''[[Differential Geometry and its Applications]]'', Volume 9, Issues 1-2, August 1998, Pages 59–88.
*: Article listant les principaux articles de géométrie symplectique publiés avant 1998.
* Patrick Iglesias-Zemmour, ''[http://www.umpa.ens-lyon.fr/JME/Vol1Num3/IglesiasJME3/IglesiasJME3.pdf Les origines du calcul symplectique chez Lagrange]''
*: Article sur la méthode des variations des constantes de Lagrange, amplement argumentés, abordable par le grand public.
* Patrick Iglesias-Zemmour, [http://math.huji.ac.il/~piz/documents/AOGS-MSH.pdf ''Aperçu des origines de la géométrie symplectique'']
*: Article sur l'histoire de la géométrie symplectique avec la correction d'idées faussement communément admises.
* [[Michèle Audin]] et Patrick Iglesias, ''[http://math.huji.ac.il/~piz/documents/DMGS.pdf De la mécanique à la géométrie symplectique]''
*: Exposé sur le mérite de Lagrange et rapide résumé de l'histoire des mathématiques qui a conduit à la formulation de la géométrie symplectique.

{{Palette|Géométrie}}

{{Portail|géométrie}}

[[Catégorie:Géométrie symplectique| ]]
[[Catégorie:Topologie différentielle|Geometrie symplectique]]