Hamiltonian actions on 0-shifted cosymplectic groupoids

Cet article introduit la notion de structure cosymplectique décalée de 0 sur les empilements différentiables, développe une théorie des applications moment pour les actions hamiltoniennes associées, et établit un procédé de réduction ainsi qu'une version du théorème de convexité de Kirwan.

L'essentiel

Imaginez que vous êtes un architecte chargé de concevoir des bâtiments pour des systèmes physiques complexes. En mathématiques, ces systèmes sont souvent décrits par des formes géométriques très précises.

Ce papier de recherche, écrit par Daniel López-García et Fabricio Valencia, propose une nouvelle façon de construire et de comprendre ces bâtiments, en particulier ceux qui ont une dimension "étrange" (impair) et qui évoluent dans le temps.

Voici une explication simple, imagée, de ce qu'ils ont découvert :

1. Le décor : La géométrie "Cosymplectique"

Pour comprendre leur travail, il faut d'abord imaginer deux types de géométries :

• La géométrie Symplectique : C'est comme un lac calme et parfait. Elle est utilisée pour décrire des systèmes qui ne changent pas avec le temps (comme une planète tournant autour du soleil dans un vide parfait).
• La géométrie Cosymplectique (le sujet du papier) : C'est comme un lac avec un courant. Elle permet de décrire des systèmes qui évoluent dans le temps (comme un pendule qui s'arrête à cause du frottement, ou un système avec une source d'énergie externe).

Les auteurs travaillent avec des objets un peu "abîmés" ou "imparfaits" qu'ils appellent des structures pré-cosymplectiques. Imaginez un tissu qui a des plis ou des zones où il est froissé. Au lieu de jeter ce tissu, ils disent : "Regardons comment ces plis se comportent". Ces plis forment des chemins naturels, comme des feuilles d'un livre empilées, qu'ils appellent des foliations.

2. L'outil magique : Les "Groupoïdes" et les "Empilements"

Le problème, c'est que quand on essaie de lisser ces tissus froissés pour voir la forme globale, on obtient souvent des espaces géométriques bizarres, avec des points singuliers (des trous, des pointes). C'est difficile à manipuler.

Pour résoudre ce problème, les auteurs utilisent un outil mathématique appelé un groupoïde.

• L'analogie : Imaginez que vous avez une carte d'un pays avec des routes très sinueuses. Au lieu de dessiner le pays sur une seule feuille de papier (ce qui déforme les distances), vous créez un "livre de voyage" où chaque page représente une petite partie du pays, et vous collez les pages ensemble avec des règles précises. Ce livre complet est le groupoïde.
• Le "Stack" (Empilement) : Quand on regarde ce livre de voyage d'en haut, on ne voit pas les pages individuelles, mais l'ensemble du paysage. C'est ce qu'ils appellent un "stack différentiable". C'est une façon intelligente de gérer les espaces "abîmés" sans perdre d'information.

Ils introduisent alors une nouvelle règle, la structure 0-décalée cosymplectique. C'est comme dire : "Nous allons définir les règles de la géométrie non pas sur le sol (les points), mais sur les routes qui relient les points (les flèches du groupoïde)." Cela rend la géométrie beaucoup plus robuste et flexible.

3. La danse des forces : Les actions Hamiltoniennes

Maintenant, imaginons qu'une force extérieure (comme un groupe de danseurs, ou un groupe de symétrie) vienne interagir avec ce système. En physique, on veut savoir : "Où va le système sous l'effet de cette force ?"

Les auteurs définissent une action hamiltonienne.

• L'analogie : Imaginez un manège (le système) et un groupe d'enfants qui poussent le manège (le groupe de symétrie). Les auteurs créent une "carte de l'énergie" appelée application moment (moment map).
• Cette carte indique exactement où l'énergie est concentrée. Si les enfants poussent d'un côté, la carte montre comment l'énergie se déplace.

Leur grande découverte est qu'ils peuvent maintenant définir cette carte même pour les systèmes "abîmés" (les groupoïdes) et qu'elle fonctionne parfaitement, même si le système est très complexe.

4. Le grand nettoyage : La réduction

C'est la partie la plus utile de leur travail. Souvent, on veut simplifier un système en retirant les parties qui ne changent rien (les symétries).

• L'analogie : Imaginez que vous avez un grand gâteau décoré de centaines de bougies. Vous voulez manger le gâteau, mais vous ne voulez pas les bougies. La "réduction" est le processus qui consiste à retirer les bougies (les symétries) pour ne garder que le gâteau propre.
• Les auteurs montrent comment faire ce "nettoyage" mathématique pour leurs systèmes complexes. Ils prouvent que même après avoir retiré les symétries, le gâteau restant (l'espace réduit) garde une structure géométrique valide et belle.

5. Les résultats concrets : Des formes et des montagnes

Grâce à leur méthode, ils peuvent prouver deux choses importantes :

1. Le théorème de convexité (Kirwan) : Si vous tracez la carte de l'énergie de votre système, la forme que vous obtenez est toujours un polyèdre convexe (comme un diamant ou un cube, sans trous ni creux). C'est comme si la nature aimait les formes simples et régulières, même dans des systèmes compliqués.
2. Les fonctions Morse-Bott : Ils montrent que les "pics" et les "creux" de leur carte d'énergie sont très bien organisés. Imaginez une chaîne de montagnes où chaque sommet est parfaitement lisse et entouré de vallées régulières. Cela permet aux mathématiciens de prédire le comportement du système avec une grande précision.

En résumé

Daniel et Fabricio ont inventé un nouveau langage pour décrire des systèmes physiques qui bougent dans le temps et qui sont géométriquement "irréguliers".

• Ils utilisent des groupoïdes (des livres de voyage) pour gérer les irrégularités.
• Ils définissent des cartes d'énergie (applications moments) pour ces systèmes.
• Ils montrent comment nettoyer ces systèmes (réduction) pour obtenir des formes simples et prévisibles (convexes).

C'est comme passer d'une vision floue et chaotique d'un système physique à une vision claire, structurée et prévisible, ouvrant la porte à de nouvelles classifications de ces objets mathématiques, un peu comme classer les cristaux par leur forme.

Résumé technique

Voici un résumé technique détaillé de l'article "HAMILTONIAN ACTIONS ON 0-SHIFTED COSYMPLECTIC GROUPOIDS" de Daniel López-García et Fabricio Valencia, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie différentielle et de la théorie des champs, visant à généraliser la géométrie cosymplectique (la version "impaire" de la géométrie symplectique) aux structures de haut niveau (stacks différentiables et groupoïdes de Lie).

• Contexte : La géométrie cosymplectique classique, définie par une paire $(M, \omega, \eta)$ où $\omega$ est une 2-forme fermée et $\eta$ une 1-forme fermée non nulle, est un outil puissant pour étudier les systèmes hamiltoniens dépendants du temps. Cependant, lorsque la condition de cosymplecticité stricte ($\ker(\omega) \oplus \ker(\eta) = TM$) est relâchée, on obtient des structures précosymplectiques. Dans ce cas, l'intersection $\ker(\omega) \cap \ker(\eta)$ définit une distribution régulière qui induit un feuilletage $\mathcal{F}_{(\omega,\eta)}$ sur $M$.
• Le problème : L'espace des feuilles $M/\mathcal{F}_{(\omega,\eta)}$ est souvent un espace singulier. Pour traiter ces singularités et définir une théorie globale, il est nécessaire de passer du cadre des variétés à celui des groupoïdes de Lie (et des stacks différentiables) qui intègrent ces feuilletages.
• Objectif : Les auteurs introduisent la notion de structure cosymplectique décalée de 0 (0-shifted) sur les groupoïdes de Lie, développent une théorie des actions hamiltoniennes correspondantes, et établissent des résultats fondamentaux tels que la réduction de Marsden-Weinstein-Meyer, un théorème de convexité de Kirwan et des propriétés de Morse-Bott.

2. Méthodologie

La méthodologie repose sur une combinaison de géométrie différentielle, de théorie des groupoïdes et de la théorie des stacks, en s'appuyant sur des travaux récents concernant les structures symplectiques décalées (notamment [15, 20, 22]).

1. Généralisation aux structures précosymplectiques : Les auteurs commencent par analyser les variétés précosymplectiques $(M, \omega, \eta)$ où $\ker(\omega) \cap \ker(\eta)$ est une distribution régulière. Ils définissent l'application de Lichnerowicz $\flat: TM \to T^*M$ et montrent que son noyau correspond à la distribution du feuilletage.
2. Intégration par des groupoïdes : Au lieu de travailler sur l'espace des feuilles singulier, ils considèrent un groupoïde de Lie $G \rightrightarrows M$ intégrant le feuilletage (par exemple, le groupoïde d'holonomie ou de monodromie).
3. Définition de la structure 0-shifted : Une structure cosymplectique 0-shifted est définie par une paire de formes différentielles basiques fermées $(\omega, \eta)$ sur le groupoïde $G$, telles que l'application de Lichnerowicz induise un quasi-isomorphisme entre les complexes de cochaines associés aux fibrés tangents et cotangents. Cette définition est invariante de Morita, permettant de définir la structure sur le stack différentiable $[M/G]$.
4. Actions de Lie 2-groupes : Pour définir les actions hamiltoniennes dans ce cadre, les auteurs utilisent la théorie des Lie 2-groupes (groupes internes à la catégorie des groupoïdes de Lie). L'action est définie via un morphisme de groupoïdes (moment map) vers le dual de l'algèbre de Lie quotient.

3. Contributions Clés et Résultats Principaux

A. Définition de la Structure Cosymplectique 0-Shifted

Les auteurs définissent rigoureusement une structure cosymplectique 0-shifted sur un groupoïde de Lie $G \rightrightarrows M$ par une paire $(\omega, \eta)$ de formes basiques fermées.

• Propriété fondamentale : L'application de Lichnerowicz $\flat$ induit un quasi-isomorphisme. Cela implique que le groupoïde est un "foliation groupoid" et que la structure est bien définie sur le stack associé.
• Invariance de Morita : La notion est invariante sous les équivalences de Morita, ce qui permet de parler de structures cosymplectiques sur des stacks différentiables.

B. Actions Hamiltoniennes et Moment Maps

• Actions précosymplectiques : Une action d'un groupe de Lie $K$ sur une variété précosymplectique est dite hamiltonienne s'il existe une application moment $\mu: M \to \mathfrak{k}^*$ satisfaisant des conditions d'invariance et de différentielle ($d\mu_\xi = \iota_{\xi_M}\omega$).
• Extension aux Lie 2-groupes : Les auteurs généralisent cela aux actions de Lie 2-groupes foliaires sur des groupoïdes 0-shifted. Le moment map est un morphisme de groupoïdes $\mu: G \to (\mathfrak{k}/\mathfrak{n})^*$, où $\mathfrak{n}$ est l'idéal des éléments agissant trivialement sur les feuilles.
• Propriétés de descente : Le moment map descend aux espaces de feuilles $M/\mathcal{F}_\flat$ et $M/\mathcal{F}_\omega$.

C. Procédure de Réduction (Marsden-Weinstein-Meyer)

Les auteurs établissent une procédure de réduction pour les structures 0-shifted :

• Si $0$est une valeur régulière du moment map, le sous-groupoïde$\mu^{-1}(0)$ hérite d'une action du 2-groupe.
• En quotientant par l'action du sous-groupe normal $N$ (lié à l'idéal $\mathfrak{n}$), on obtient un nouveau groupoïde $(K \times_N R_1 \rightrightarrows R_0)$ muni d'une structure cosymplectique 0-shifted réduite $(\omega_{red}, \eta_{red})$.
• Résultat Corollaire 4.4 : Dans le cas classique (action d'un groupe de Lie ordinaire sur une variété cosymplectique), la réduction $\mu^{-1}(0)/K$ donne naissance à un stack cosymplectique. Si l'action est propre et libre, on obtient une variété cosymplectique ; si elle est propre, un orbifold cosymplectique.

D. Théorème de Convexité de Kirwan

En adaptant les résultats de la géométrie symplectique décalée, les auteurs prouvent une version du théorème de Kirwan pour les actions hamiltoniennes de Lie 2-groupes compacts :

• L'image du moment map, intersectée avec une chambre de Weyl fermée, forme un polyèdre convexe fermé.
• Ce résultat s'applique aux "stacks cosymplectiques toriques", permettant potentiellement une classification de Delzant pour ces objets.

E. Propriétés Morse-Bott

Les auteurs démontrent que, sous des hypothèses de propreté et de "clean action" (action propre), les composantes du morphisme moment $\mu_\xi$ sont des fonctions Morse-Bott sur le groupoïde.

• L'ensemble des points critiques est saturé par les orbites du groupoïde.
• L'indice de chaque composante non dégénérée de l'ensemble critique est pair.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Unification des géométries : Il comble un vide théorique en étendant la géométrie cosymplectique (souvent utilisée pour les systèmes dépendants du temps) au cadre des stacks et des structures singulières via les groupoïdes de Lie.
2. Gestion des singularités : En utilisant la théorie des stacks et les groupoïdes, l'article fournit un cadre robuste pour traiter les quotients singuliers qui apparaissent naturellement dans la réduction des systèmes précosymplectiques, là où la géométrie classique échoue.
3. Nouveaux exemples et classifications : La procédure de réduction génère de nouveaux exemples de morphismes de groupoïdes de type Morse-Bott. De plus, la possibilité d'une classification de Delzant pour les "stacks cosymplectiques toriques" ouvre la voie à une compréhension combinatoire de ces objets géométriques complexes.
4. Généralisation des résultats symplectiques : L'article montre comment les résultats profonds de la géométrie symplectique décalée (Kirwan, réduction) peuvent être adaptés au contexte cosymplectique, enrichissant ainsi les deux domaines.

En résumé, López-García et Valencia posent les fondations d'une géométrie cosymplectique décalée, offrant des outils puissants pour l'analyse des systèmes hamiltoniens singuliers et dépendants du temps dans un cadre géométrique global et moderne.