Quadratic one-forms on logarithmic Higgs moduli

Résumé Technique : Formes Quadratiques Logarithmiques sur les Modules de Higgs Logarithmiques

Énoncé du Problème
L'article étudie la géométrie des fibrés de Higgs $G$-logarithmiques sur une surface de Riemann compacte ponctuée $(C, D)$, où $G$ est un groupe complexe réductif connexe et $D$ est un diviseur réduit. Le point central de l'étude est le cas spécifique où les résidus du champ de Higgs $\Phi$ aux punctures sont nilpotents. L'auteur cherche à comprendre comment la nilpotenté de ces résidus affecte le comportement des polynômes invariants homogènes dans le champ de Higgs, plus précisément concernant leurs ordres de pôles. De plus, l'article vise à construire une forme quadratique logarithmique sur l'espace de Teichmüller pointé et à relier cette forme à la variation de l'énergie pour les fibrés harmoniques tamés de type nilpotent, étendant ainsi les résultats précédents de Hitchin pour les surfaces compactes au cadre logarithmique.

Méthodologie
Le travail emploie une combinaison de géométrie algébrique, de théorie des représentations et de techniques analytiques :

1. Construction Algébrique : L'auteur utilise le théorème de Jacobson-Morozov et les propriétés des polynômes invariants sur les algèbres de Lie pour analyser le comportement local du champ de Higgs au voisinage des punctures. En développant le champ de Higgs $\Phi$ en coordonnées locales sous la forme $\Phi = (\frac{N_i}{z} + A_i(z))dz$, où $N_i$ est le résidu nilpotent, l'article démontre comment l'annulation des polynômes invariants sur les éléments nilpotents réduit l'ordre des pôles de $p(\Phi)$.
2. Analyse de l'Espace de Modules : L'étude est menée sur le lieu stable lisse du espace de modules des fibrés de Higgs $G$-logarithmiques semi-stables à résidus nilpotents ($M^{\text{nil}}_{\text{Dol}}(G)$). L'auteur utilise la dualité de Serre pour identifier l'espace cotangent de l'espace de Teichmüller pointé $T_{g,r}$ avec l'espace des différentiels quadratiques méromorphes à pôles simples, $H^0(C, K_C^2(D))$.
3. Estimations Analytiques : Pour relier la construction algébrique à la variation de l'énergie, l'article analyse les fibrés harmoniques tamés de type nilpotent sur la courbe ponctuée $C^\circ = C \setminus D$. Il s'appuie sur les estimations asymptotiques de Simpson et Mochizuki concernant la croissance du champ de Higgs près des punctures. Un composant crucial est l'hypothèse de « décroissance positive » pour le terme de gauge complexe infinitésimal dans l'échelle de la cusp (cusp scale), ce qui permet de contrôler les termes de bord lors de l'intégration par parties.
4. Moyennage par l'Action du Cercle : L'article adapte la méthode de moyennage de Hitchin sur l'action du cercle $(P, \Phi) \mapsto (P, e^{i\theta}\Phi)$ pour dériver des identités de connexion moyennées sur le moduli space.

Contributions Clés et Résultats

• Réduction de l'Ordre de Pôle (Théorème 1.1 / Théorème 5.2) : Le principal résultat algébrique établit que pour tout polynôme invariant homogène $p$ de degré $d \ge 1$, si les résidus du champ de Higgs sont nilpotents, alors $p(\Phi)$ possède un pôle d'ordre au plus $d-1$ aux points marqués, plutôt que l'ordre générique $d$. Spécifiquement, $p(\Phi) \in H^0(C, K_C^d((d-1)D))$.

  • Caractère strict (Sharpness) : Pour $G=GL(n, \mathbb{C})$ et $p(X) = \text{tr}(X^k)$, l'article prouve que l'ordre de pôle $k-1$ est strict ; il existe des champs de Higgs locaux où le pôle est exactement de cet ordre.
  • Raffinement du Pfaffien : Pour $G=SO(2m, \mathbb{C})$, l'article montre que si le rang du résidu est suffisamment petit ($\le 2m-4$), l'ordre de pôle de l'invariant Pfaffien chute davantage à $m-2$.

• Construction de la Forme Quadratique Logarithmique : En utilisant la forme bilinéaire invariante $B$, l'auteur définit une forme quadratique $\phi_{G, \log}$ sur l'espace de Teichmüller pointé.

  • La forme est donnée par $\phi_{G, \log}(Y) = -\frac{1}{2} \langle B(\Phi, \Phi), Y \rangle$, où $Y$ est un vecteur tangent à l'espace de Teichmüller.
  • Grâce au résultat de réduction de l'ordre de pôle, $B(\Phi, \Phi)$ appartient à $H^0(C, K_C^2(D))$, qui est naturellement isomorphe à l'espace cotangent $T^*_{(C,D)} T_{g,r}$.
  • L'article fournit à la fois une représentation intégrale (utilisant un différentiel de Beltrami s'annulant près de $D$) et une représentation Čech-Dolbeault impliquant des résidus :
    $$\phi_{G, \log}(Y) = -\frac{1}{2} \left[ \int_{C^\circ} B(\Phi, \Phi)\mu + \sum_{i=1}^r \text{Res}_{p_i}(B(\Phi, \Phi)\xi_i) \right]$$

• Formule de Variation de l'Énergie (Théorème 7.4) : Sous l'hypothèse d'une représentation de Betti fixée et de classes de monodromie locale fixées, et en supposant que le terme de gauge complexe infinitésimal possède une décroissance positive, l'article prouve que la variation du fonctionnel d'énergie parabolique $f_{\text{par}}$ est la partie réelle de la forme quadratique logarithmique :
  $$Y(f_{\text{par}}) = \text{Re}(\phi_{G, \log}(Y))$$
  Ceci généralise le résultat de Hitchin pour les surfaces compactes au cas logarithmique avec des résidus nilpotents.

• Identités de Connexion Moyennée : L'article étend les identités de connexion moyennée au cadre logarithmique, montrant que la forme quadratique logarithmique satisfait $d_A \phi_{G, \log} = 0$, $\{\phi_{G, \log}, \phi_{G, \log}\} = 0$, et une équation de courbure modifiée impliquant le crochet de Poisson.

Signification et Revendications
L'article prétend fournir un cadre algébrique et analytique rigoureux pour comprendre la géométrie des fibrés de Higgs logarithmiques à résidus nilpotents. Sa signification réside dans :

1. Raffinement de la Base de Hitchin : Il démontre que la condition de résidu nilpotent force la application de Hitchin à factoriser à travers une base plus petite, spécifiquement en réduisant les ordres de pôles des différentiels invariants.
2. Quantification Géométrique de l'Énergie : Il établit un lien direct entre la structure algébrique de l'espace de modules (via la forme quadratique un) et la variation analytique de l'énergie pour les fibrés harmoniques, confirmant que le « terme de pôle dominant » de la variation de l'énergie est capturé par la forme quadratique logarithmique.
3. Extension de la Théorie de Hitchin : Il adapte avec succès la machinerie de la théorie de Hodge non-abélienne et de la variation d'énergie des surfaces Riemanniennes compactes aux courbes ponctuées, en traitant spécifiquement le comportement du champ de Higgs près des singularités.

L'auteur note que la construction algébrique de la forme un est indépendante de l'hypothèse de décroissance analytique ; la condition de décroissance est strictement requise uniquement pour assurer l'annulation des termes de bord dans la preuve de la variation de l'énergie. L'article laisse ouvert le problème analytique de prouver cette condition de décroissance positive à partir d'un théorème de tranche logarithmique pour l'équation de la métrique harmonique tamée linéarisée.