Meromorphic Group Actions and the Support Theorem for Lagrangian Fibrations

Résumé technique : Actions de groupes méromorphes et le théorème de support pour les fibrations lagrangiennes

Énoncé du problème
L'article traite de la structure géométrique et cohomologique des fibrations lagrangiennes $f: X \to B$ sur des espaces complexes symplectiques holomorphes. Bien que le théorème de Liouville–Arnold décrive la dynamique de tels systèmes sur le lieu régulier (où les fibres sont des tores compacts), le comportement au-dessus des fibres singulières et sur l'ensemble de la base $B$ demeure complexe. Plus précisément, les auteurs cherchent à savoir si une famille de groupes de Lie commutatifs peut être construite pour agir fidèlement sur l'espace total $X$ sur l'ensemble de la base $B$, y compris les fibres singulières, et comment cette action de groupe régit la topologie de la fibration.

Un objectif central est de prouver un « Théorème de support » pour le Théorème de Décomposition du complexe de l'image directe $Rf_* \mathbb{R}_X[\dim X]$ (ou $Rf_* IC_X$ dans le cas singulier). Ce théorème relie les supports possibles (sous-variétés irréductibles $Z \subseteq B$) apparaissant dans la décomposition à la géométrie des fibres de la famille de groupes, plus précisément à leurs quotients par des tores compacts maximaux.

Méthodologie
Les auteurs emploient une synthèse de géométrie analytique complexe, de théorie de Hodge et de la théorie des algèbres de Hopf. La méthodologie procède en trois étapes principales :

1. Construction d'actions de groupes méromorphes :

   • En partant du théorème de Liouville–Arnold, les auteurs intègrent les champs de vecteurs hamiltoniens verticaux pour définir une action holomorphe de l'espace cotangent $T^*B$ sur le lieu régulier.
   • Ils étendent cela à l'espace entier $X$ en utilisant l'espace de Douady relatif de $X \times_B X$. En analysant la composante irréductible contenant l'image du morphisme de classification, ils construisent une famille de groupes méromorphes $G \to B$ (au sens de Fujiki).
   • Une réussite technique clé est de prouver que cette construction produit une famille lisse de groupes de Lie commutatifs agissant méromorphe sur $X$, même lorsque $X$ est singulier ou non compact, à condition que $X$ soit Kähler et $B$ un espace complexe. Cela élimine la dépendance aux hypothèses algébriques antérieures ou aux conditions sur le lieu critique.

2. Liberté cohomologique via les modules de Hopf :

   • Les auteurs établissent un « Théorème de liberté » pour la cohomologie des fibres. Ils utilisent la structure des groupes méromorphes, qui admettent une décomposition $1 \to L \to G \to T \to 1$ (où $L$ est un groupe algébrique linéaire et $T$ un tore compact).
   • En utilisant la théorie de Hodge mixte, ils montrent que la cohomologie $H^*(X_b)$ d'une fibre est un comodule libre sur l'algèbre de Hopf $H^*(T_b)$.
   • De manière cruciale, ils adaptent la construction de séparation de Deligne pour le théorème de décomposition afin de montrer que la filtration perverse sur la cohomologie des fibres est compatible avec la structure de comodule. Cela permet de traiter la cohomologie de l'image directe comme un module libre sur la cohomologie du quotient par le tore compact maximal.

3. Preuve du Théorème de support :

   • En combinant la liberté des modules de cohomologie avec la condition de $\delta$-régularité (une borne sur la dimension de la partie linéaire du groupe sur la base), les auteurs contraignent les supports possibles dans le Théorème de Décomposition.
   • Ils démontrent que si $Z \subseteq B$ est un support, sa codimension est déterminée par la dimension du quotient par le tore compact maximal $T_b$ du groupe sur un point général de $Z$.

Contributions clés et résultats

• Théorème A (Existence de l'action de groupe) : Pour une fibration lagrangienne $f: X \to B$ avec $X$ Kähler (potentiellement singulier) et $B$ lisse, il existe une famille lisse $G \to B$ de groupes de Lie commutatifs agissant fidèlement et méromorphe sur $X$. Ceci généralise les résultats précédents qui nécessitaient des cadres algébriques ou des conditions spécifiques sur le lieu critique.
• Théorème B (Théorème de liberté) : La cohomologie singulière $H^*(X_b, \mathbb{R})$ d'une fibre est un module libre sur l'algèbre de cohomologie $H^*(T_b, \mathbb{R})$, où $T_b$ est le quotient par le tore compact maximal de la composante identité du groupe. Ce résultat s'applique aux complexes constructibles sous l'action du groupe, y compris le complexe d'intersection $IC_X$ pour $X$ singulier.
• Théorème C (Théorème de support) : Si $Z \subseteq B$ est un support dans le Théorème de Décomposition pour $Rf_* IC_X$, alors $\dim Z = \dim T_b$ pour un $b \in Z$ général. De plus, la somme directe des faisceaux pervers simples supportés sur $Z$ est construite à partir de la cohomologie des quotients par les tores compacts et d'un système local à monodromie finie.
• Généralisation aux espaces singuliers : Les résultats sont étendus aux espaces symplectiques holomorphes singuliers (au sens de Beauville) en utilisant la géométrie de Poisson et des résolutions de singularités fonctorelles, prouvant que les propriétés d'équidimensionnalité et de platitude nécessaires à la preuve sont maintenues dans ce contexte plus large.

Signification et affirmations
L'article prétend fournir une description complète et intrinsèque des supports dans le Théorème de Décomposition pour les fibrations lagrangiennes, unifiant les cadres algébriques et Kähler.

• Élimination des conditions : Les auteurs soulignent que leur construction de l'action de groupe élimine la nécessité de la « condition (1) » (surjectivité du lieu non critique) utilisée dans les travaux antérieurs, et qu'elle ne nécessite pas que la fibration soit algébrique.
• Compatibilité avec la théorie de Hodge : L'utilisation de coefficients réels est motivée par la nécessité que la structure de module soit canonique et compatible avec les structures de Hodge mixtes. Les auteurs notent que bien que les résultats soient valables sur $\mathbb{Q}$, la structure de module n'est pas canonique dans ce cadre.
• Interprétation géométrique : Le Théorème de support fournit une caractérisation géométrique de la décomposition : la « taille » des supports est directement gouvernée par la « taille » des quotients par les tores compacts du groupe agissant. Cela lie la topologie du complexe de l'image directe directement à la géométrie de l'action de groupe construite via le mécanisme de Liouville–Arnold.
• Applicabilité : Le cadre s'applique aux fibrations lagrangiennes lisses et singulières, incluant celles issues des systèmes de Hitchin et des espaces de modules, offrant un outil robuste pour analyser la topologie de ces espaces sans dépendre de modèles algébriques spécifiques.

Les auteurs positionnent leur travail comme une étape significative dans la compréhension de la structure globale des systèmes intégrables en géométrie complexe, comblant le fossé entre l'image locale de Liouville–Arnold et le comportement global singulier de la fibration.