Semiprojectivity of the moduli of principal $G$-bundles with $λ$-connections

1. Problématique et Contexte

L'article s'intéresse à l'étude géométrique des espaces de modules de fibrés principaux sur une surface de Riemann compacte et connexe $X$ de genre $g \geq 2$. Plus précisément, les auteurs examinent deux types d'objets :

• Les fibrés de Higgs $G$-principaux semistables ($M^d_{\text{Higgs}}(G)$).
• Les fibrés $G$-principaux avec $\lambda$-connexions (incluant les connexions holomorphes et les fibrés de Higgs comme cas limites), formant l'espace de modules de Hodge $M^d_{\text{Hod}}(G)$.

Ici, $G$ est un groupe algébrique affine réductif connexe sur $\mathbb{C}$, et $d \in \pi_1(G)$ représente le type topologique fixé.

Le problème central est de déterminer la nature géométrique de ces espaces de modules. Bien que ces espaces soient généralement singuliers, ils possèdent une structure riche lorsqu'on considère la sous-variété des éléments « régulièrement stables » (où le groupe d'automorphismes coïncide avec le centre de $G$). Les auteurs cherchent à établir que ces espaces sont semiprojectifs, une propriété forte qui permet d'appliquer des outils puissants de la géométrie algébrique, notamment la théorie de la décomposition de Bia lynicki-Birula.

2. Méthodologie

La démonstration repose sur l'analyse de l'action naturelle du groupe multiplicatif $\mathbb{C}^*$ sur ces espaces de modules et l'utilisation de la propriété de propreté de l'application de Hitchin.

• Action $\mathbb{C}^*$ :

  • Sur l'espace de Higgs $M^d_{\text{Higgs}}(G)$, l'action est définie par $t \cdot (E_G, \phi) = (E_G, t\phi)$, où $\phi$ est le champ de Higgs.
  • Sur l'espace de Hodge $M^d_{\text{Hod}}(G)$ (fibrés avec $\lambda$-connexions), l'action est $t \cdot (E_G, \lambda, \nabla) = (E_G, t\lambda, t\nabla)$.

• L'application de Hitchin :
  Les auteurs utilisent l'application de Hitchin $h : M^d_{\text{Higgs}}(G) \to H$, où $H = \bigoplus H^0(X, K_X^{d_i})$ est l'espace de base de Hitchin. Cette application est $\mathbb{C}^*$-équivariante et propre.

• Critère de semiprojectivité :
  Pour prouver qu'une variété quasi-projective $V$ est semiprojective, il faut vérifier deux conditions :

  1. Pour tout point $v \in V$, la limite $\lim_{t \to 0} (t \cdot v)$ existe dans $V$.
  2. Le sous-ensemble des points fixes $V^{\mathbb{C}^*}$ est propre (compact) dans $V$.

Les auteurs démontrent ces deux conditions en exploitant la correspondance entre les limites d'orbites et la fibre nulle de l'application de Hitchin.

3. Contributions Clés et Résultats Principaux

A. Semiprojectivité de l'espace de Higgs (Théorème 2.4)

Les auteurs prouvent que l'espace de modules $M^d_{\text{Higgs}}(G)$ est une variété semiprojective.

• Existence de la limite : En utilisant le critère valuatif de propreté de l'application de Hitchin, ils montrent que pour tout fibré de Higgs semistable $(E_G, \phi)$, la limite $\lim_{t \to 0} (E_G, t\phi)$ existe dans l'espace de modules. Cette limite correspond à un fibré de Higgs dont le champ de Higgs est nilpotent (ou plus précisément, se trouve dans la fibre $h^{-1}(0)$).
• Propreté des points fixes : Ils établissent que les points fixes de l'action $\mathbb{C}^*$ sont contenus dans la fibre $h^{-1}(0)$. Puisque $h$ est propre et que l'origine est le seul point fixe dans la base de Hitchin, le lieu des points fixes est propre.

B. Semiprojectivité de l'espace de Hodge (Théorème 2.7)

De manière analogue, ils démontrent que l'espace de modules principal de Hodge $M^d_{\text{Hod}}(G)$ (contenant les $\lambda$-connexions) est également semiprojectif.

• Ils montrent que la limite $\lim_{t \to 0} (E_G, t\lambda, t\nabla)$ existe dans la fibre $\pi^{-1}(0)$, qui est isomorphe à l'espace de Higgs $M^d_{\text{Higgs}}(G)$.
• Cela généralise les résultats connus pour les fibrés vectoriels au cas des fibrés principaux.

C. Conséquences Cohomologiques et Motives (Section 3)

En supposant que l'espace de modules est lisse (ce qui est le cas, par exemple, si $G=GL_n(\mathbb{C})$ et que le rang et le degré sont premiers entre eux), les auteurs appliquent la théorie de Bia lynicki-Birula.

1. Décomposition de Bia lynicki-Birula :
   L'espace $M^d_{\text{Higgs}}(G)$ se décompose en une union disjointe d'ensembles attracteurs $S_i$ indexés par les composantes connexes $F_i$ du lieu des points fixes :
   $$M^d_{\text{Higgs}}(G) = \bigsqcup_{i \in I} S_i$$
   Chaque $S_i$ est un fibré vectoriel algébrique au-dessus de $F_i$ de rang $n_i$.

2. Conséquence Cohomologique (Théorème 3.1) :
   La cohomologie à support compact de l'espace de modules se décompose additivement en fonction de la cohomologie des composantes fixes, avec un décalage de degré :
   $$H^k_c(M^d_{\text{Higgs}}(G), \mathbb{C}) \cong \bigoplus_{i \in I} H^{k-2n_i}_c(F_i, \mathbb{C})$$
   Cela signifie que la topologie globale de l'espace est entièrement déterminée par la géométrie de son lieu fixe et les dimensions des cellules attractrices.

3. Conséquence Motive (Théorème 3.2) :
   Dans l'anneau de Grothendieck des variétés $K(\text{Var}_{\mathbb{C}})$, la classe de l'espace de modules s'exprime comme une somme finie de puissances du motif de Lefschetz $\mathbb{L} = [\mathbb{A}^1]$ multipliées par les classes des composantes fixes :
   $$[M^d_{\text{Higgs}}(G)] = \sum_{i \in I} \mathbb{L}^{n_i} [F_i]$$
   Cela fournit une description combinatoire et motivique précise de l'espace.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Généralisation : Il étend les résultats de semiprojectivité, connus pour les fibrés vectoriels, au cadre plus général des fibrés principaux pour un groupe réductif quelconque $G$.
• Unification : Il traite simultanément les fibrés de Higgs et les connexions holomorphes (via l'espace de Hodge), montrant que leur structure géométrique sous-jacente (semiprojectivité) est identique.
• Outils puissants : En établissant la semiprojectivité, les auteurs ouvrent la voie à l'utilisation de la décomposition de Bia lynicki-Birula. Cela transforme un problème géométrique complexe (l'étude d'un espace de modules de grande dimension et potentiellement singulier) en un problème plus maniable : l'étude de son lieu fixe (qui est souvent plus simple, par exemple des espaces de modules de sous-fibrés ou de systèmes de Higgs réduits) et la combinatoire des cellules.
• Calculs effectifs : Les résultats cohomologiques et motiviques permettent de calculer les invariants topologiques et les classes de motifs de ces espaces de modules à partir de leurs composantes fixes, ce qui est crucial pour la théorie des représentations et la géométrie arithmétique.

En résumé, l'article établit que la structure semiprojective est une propriété fondamentale qui régit à la fois la topologie et la théorie des motifs des espaces de modules de fibrés de Higgs et de connexions $\lambda$-principaux, offrant un cadre unifié pour leur analyse.