Symplectic leaves of meromorphic Hitchin systems

Résumé Technique : Feuilles Symplectiques des Systèmes de Hitchin Méromorphes

Énoncé du Problème
Le papier traite de la structure géométrique de l'espace de modules des fibrés de Higgs méromorphes stables, noté $\text{Higgss}(C, D)$, où $C$ est une courbe projective lisse et $D$ est un diviseur effectif réduit. Bien que cet espace soit muni d'une structure de Poisson holomorphe (établie par Bottacin et Markman), il ne possède pas de structure symplectique holomorphe globale. Un problème fondamental en géométrie de Poisson est l'identification et la compréhension de ses feuilles symplectiques.

Dans le contexte des fibrés de Higgs méromorphes, le résidu du champ de Higgs aux points marqués $D$ fournit le modèle local. Les auteurs étudient les loci $\text{Higgs}_{\mathcal{O},s}(C, D)$ définis par la fixation du résidu du champ de Higgs dans un produit spécifique d'orbites adjointes $\mathcal{O} = \prod \mathcal{O}_i$. Les questions centrales sont :

1. Ces loci $\text{Higgs}_{\mathcal{O},s}(C, D)$ sont-ils effectivement des feuilles symplectiques de la variété de Poisson ambiante ?
2. La application de Hitchin, lorsqu'elle est restreinte à ces feuilles, peut-elle être partiellement compactifiée pour former un système complètement intégrable algébriquement (ACIS), particulièrement lorsque les orbites ne sont pas de rang maximal (conduisant à des courbes spectrales singulières) ou lorsque les feuilles ne sont pas fermées ?

Méthodologie
Les auteurs emploient une combinaison de théorie de la déformation, de géométrie algébrique et de correspondance spectrale pour résoudre ces questions.

1. Analyse Infinitésimale : Les auteurs utilisent la théorie de la déformation des fibrés de Higgs méromorphes avec des conditions de résidus fixées. Ils construisent le complexe tangent $C^\bullet_{\mathcal{O},E}$ et son dual de Serre pour identifier explicitement l'espace tangent de $\text{Higgs}_{\mathcal{O},s}(C, D)$ avec la distribution caractéristique de la structure de Poisson de Bottacin–Markman. Cela confirme que le locus est tangent à la structure de Poisson.
2. Résolution Parabolique : Pour traiter les singularités découlant des fermetures d'orbites et du manque de compacité de l'application de Hitchin restreinte, les auteurs introduisent les fibrés de Higgs $\vec{\xi}$-paraboliques. Il s'agit de triples $(E, E^\bullet_D, \Phi)$ où le champ de Higgs $\Phi$ possède des résidus dans $\mathcal{O}$, mais où le fibré $E$ est muni d'une structure de drapeau $E^\bullet_D$ aux points marqués compatible avec les valeurs propres du résidu $\vec{\xi}$.
3. Correspondance Spectrale : S'appuyant sur des travaux antérieurs ([LL24], [LL25]), les auteurs utilisent une correspondance spectrale pour les fibrés de Higgs $\vec{\xi}$-paraboliques. Cela relie l'espace de modules à un espace de modules de faisceaux purement unidimensionnels sur une surface spécifique $Z_{\vec{\xi}}$ (construite via des soufflements itérés d'une surface ruleée). Cette correspondance permet de décrire les fibres de l'application de Hitchin comme des jacobiens compactifiés de courbes spectrales.
4. Morphisme d'Oubli : Un outil technique clé est la construction d'une application d'oubli $F: \text{Higgs}^{\vec{\xi}\text{-par}}_{\vec{\alpha}}(C, D, \vec{m}, \vec{\alpha}) \to \text{Higgs}_{\mathcal{O},ss}(C, D)$, qui évacue les drapeaux paraboliques. Les auteurs analysent les conditions de stabilité (en utilisant des poids paraboliques $\vec{\alpha}$ suffisamment petits) pour garantir que cette application est bien définie, projective, et un isomorphisme sur le locus stable.

Contributions Clés et Résultats

• Identification des Feuilles Symplectiques :
  Le papier prouve que pour un produit de classes de conjugaison $\mathcal{O}$ satisfaisant la condition de trace, le locus $\text{Higgs}_{\mathcal{O},s}(C, D)$ est une feuille symplectique irréductible de $\text{Higgss}(C, D)$. Sa fermeture dans l'espace de modules est $\text{Higgs}_{\mathcal{O},s}(C, D)$ (Théorème 1.3, Théorème 3.12, Théorème 3.13). Cela résout le problème de connexité et confirme la nature symplectique de ces strates.

• Partialisation de la Compactification en ACIS :
  Les auteurs démontrent que l'espace de modules des fibrés de Higgs $\vec{\xi}$-paraboliques, $\text{Higgs}^{\vec{\xi}\text{-par}}(C, D, \vec{m}, \vec{\alpha})$, fournit une compactification partielle de l'application de Hitchin restreinte.

  • L'application de Hitchin restreinte $h^{(\vec{m})}_{\vec{\xi}}: \text{Higgs}^{\vec{\xi}\text{-par}} \to \mathcal{B}^{(\vec{m})}_{\vec{\xi}}$ est montrée comme étant une fibration lagrangienne, propre et plate, dont les fibres génériques sont des variétés abéliennes (Théorème 1.7, Théorème 5.4).
  • Cela établit que le système restreint est un système complètement intégrable algébriquement, même lorsque les courbes spectrales sous-jacentes sont singulières ou que la feuille originale n'est pas fermée.

• Résolution Symplectique :
  L'application d'oubli $F$ est montrée comme étant une résolution symplectique de la normalisation de la fermeture $\text{Higgs}_{\mathcal{O},ss}(C, D)$ (Théorème 1.9, Théorème 5.11). Plus précisément, la normalisation de la fermeture de la feuille méromorphe possède des singularités symplectiques, et l'espace de modules lisse des fibrés de Higgs $\vec{\xi}$-paraboliques résout ces singularités tout en préservant la structure symplectique.

• Connexité des Espaces de Modules de Betti :
  Via la correspondance non-abélienne de Hodge tame de Simpson, les résultats de connexité du côté Dolbeault (fibrés de Higgs paraboliques) sont transférés au côté Betti.

  • Le papier prouve que l'espace de modules stable des systèmes locaux filtrés avec diagrammes de résidus prescrits est connexe (Théorème 1.10, Théorème 6.6).
  • Une application significative concerne les variétés de caractères $\chi(C^\circ, \mathcal{C})$ avec des classes de monodromie locale prescrites $\mathcal{C}$. Sous l'hypothèse que les valeurs propres des matrices de monodromie partagent un argument commun (une condition assurant la compatibilité avec les résidus gradués scalaires), le locus irréductible $\chi(C^\circ, \mathcal{C})^{\text{irr}}$ est montré comme étant connexe dès lors qu'il est non vide (Théorème 1.11, Théorème 6.7). Cela étend les résultats de connexité précédents à des classes de monodromie non génériques.

Signification
Le papier affirme sa signification en fournissant une image géométrique complète des feuilles symplectiques des systèmes de Hitchin méromorphes, qui étaient auparavant comprises principalement dans le cas du rang maximal (feuille fermée). En introduisant les fibrés de Higgs $\vec{\xi}$-paraboliques, les auteurs :

1. Résolvent les singularités des fermetures d'orbites dans l'espace de modules des fibrés de Higgs méromorphes.
2. Étendent la théorie des systèmes complètement intégrables algébriquement à des feuilles symplectiques de rang arbitraire, abordant ainsi le "projet Lax" pour les cas de rang non maximal.
3. Établissent de nouveaux résultats de connexité pour les variétés de caractères avec une monodromie locale non générique, comblant le fossé entre les côtés Dolbeault et Betti de la théorie de Hodge non-abélienne pour les strates singulières.

Le travail repose sur les contributions indépendantes de Bottacin et Markman concernant la structure de Poisson et s'appuie sur les résultats de correspondance spectrale des auteurs pour les fibrés de Higgs paraboliques. Il ne propose pas de nouvelles applications expérimentales mais approfondit la compréhension théorique des espaces de modules de fibrés de Higgs et de leur relation avec la théorie des représentations.