On the meagerness of the set of irregular bundles on Hopf surfaces

1. Énoncé du problème et motivation

L'article traite de la structure de l'espace de modules des fibrés vectoriels stables sur les surfaces de Hopf, qui sont des surfaces complexes non kählériennes difféomorphes à $S^3 \times S^1$. Plus précisément, les auteurs étudient les propriétés des fibrés irréguliers au sein de ces espaces de modules.

• Contexte : La recherche est motivée par des questions ouvertes concernant les espaces de modules des instantons sur $S^3 \times S^1$, telles que décrites par Edward Witten. Un objectif spécifique est de résoudre la question de la connexité de l'espace de modules des instantons $SU(2)$.
• La question centrale : En géométrie algébrique (surfaces projectives), les fibrés stables présentent souvent un « bon » comportement (par exemple, être filtrables). Cependant, sur les surfaces non kählériennes comme les surfaces de Hopf, le comportement est moins bien compris. Les auteurs visent à déterminer si les fibrés « irréguliers » (ceux présentant des sauts ou des dégénérescences structurelles spécifiques) constituent une part significative de l'espace de modules ou s'ils sont négligeables.
• Définitions :
  • Surface de Hopf ($X$) : Une surface de Hopf classique fibrée elliptiquement sur $\mathbb{P}^1$ avec des fibres isomorphes à une courbe elliptique $T$.
  • Espace de modules ($M_{r,c}$) : L'espace des fibrés vectoriels stables de rang $r$ avec deuxième classe de Chern $c > 0$ et déterminant trivial.
  • Saut : Un fibré $E$ présente un saut si sa restriction à une fibre $T_x$ n'est pas semi-stable.
  • Fibré irrégulier : Un fibré $E$ est irrégulier si sa restriction à une certaine fibre $T_x$ est un fibré irrégulier sur la courbe elliptique (défini comme ayant des facteurs indécomposables qui ne sont pas deux à deux distincts dans $\text{Pic}(T)$).
  • Ensemble mégre : Un ensemble est mégre s'il est une union dénombrable de sous-ensembles nulle part denses. En topologie, un ensemble mégre est « petit » (son complémentaire est dense).

2. Méthodologie et approche technique

Les auteurs emploient une combinaison de la théorie des déformations, de l'analyse cohomologique et de la classification des fibrés vectoriels sur les courbes elliptiques.

A. Contraste avec le cas algébrique

L'article commence par souligner pourquoi les arguments algébriques standards échouent dans ce cadre non kählérien :

1. Filtrabilité : Sur les surfaces projectives, les fibrés sont souvent filtrables (extensions de fibrés en droites). Sur les surfaces de Hopf, les fibrés filtrables doivent présenter des sauts. Par conséquent, l'ouvert dense des fibrés stables sans sauts est entièrement composé de fibrés non filtrables.
2. Composantes instables : Dans les variétés de type général, les espaces de modules peuvent avoir de grandes composantes constituées uniquement de fibrés instables. Les auteurs investiguent si de telles composantes « grandes » de fibrés irréguliers existent sur les surfaces de Hopf et prouvent qu'elles n'existent pas.

B. Analyse cohomologique (Lemme 3)

Le moteur technique central de la preuve est le Lemme 3, qui analyse l'espace des endomorphismes des fibrés vectoriels sur une courbe elliptique $T$.

• Prémisse : Soit $F$ un fibré semi-stable de rang $r \ge 2$ sur $T$ avec $\det(F) \cong \mathcal{O}_T$.
• Résultat :
  • Si $F$ est régulier (les facteurs indécomposables sont distincts), $\dim H^0(T, \text{End}(F)) = r$.
  • Si $F$ est irrégulier (facteurs répétés dans la décomposition), $\dim H^0(T, \text{End}(F)) \ge r + 2$.
• Signification : Ce saut dans la dimension de l'espace des endomorphismes (de $r$ à au moins $r+2$) implique que les fibrés irréguliers possèdent un degré plus élevé de symétrie (automorphismes), ce qui correspond géométriquement à un lieu « plus mince » dans l'espace de modules.

C. Théorie des déformations et surjectivité (Théorème 4)

Les auteurs utilisent la suite exacte de faisceaux pour relier l'espace de déformation du fibré sur la surface à l'espace de déformation sur la fibre :
$$0 \to \text{End}(E)(-T_x) \to \text{End}(E) \to \text{End}(F) \to 0$$

• Surjectivité : En analysant les groupes de cohomologie (spécifiquement $H^1$), ils montrent que l'application de restriction $\rho: H^1(X, \text{End}(E)) \to H^1(T_x, \text{End}(F))$ est surjective.
• Argument de codimension : Puisque l'espace des fibrés irréguliers sur la fibre $T_x$ a une codimension plus élevée (en raison de l'augmentation de la dimension de $H^0(\text{End}(F))$), et que l'application $\rho$ est surjective, le lieu des fibrés $E$ dans l'espace de modules $M_{r,c}$ qui se restreignent en fibrés irréguliers sur $T_x$ doit avoir une codimension d'au moins 2 dans l'espace de modules.
• Mégrité : Puisque la base de la fibration est $\mathbb{P}^1$ (dimension 1), l'union de ces lieux sur tous les $x$ reste mégre (une union dénombrable d'ensembles de codimension $\ge 2$).

3. Contributions et résultats clés

Théorème principal

Théorème 4 : Soit $U$ une composante connexe de l'espace de modules $M_{r,c}$. L'ensemble de tous les fibrés $E \in U$ qui ne sont pas réguliers (c'est-à-dire ceux avec des sauts ou ceux qui sont irréguliers sur les fibres) est mégre dans $U$.

• Implication : L'ensemble des fibrés réguliers est dense dans tout sous-ensemble ouvert de l'espace de modules. Les fibrés réguliers constituent le cas « générique ».

Corollaire : Connexité des espaces de modules

Corollaire 5 : Pour le rang $r=2$, la variété complexe $M_{2,c}$ est connexe.

• Logique de la preuve :
  1. Par le Théorème principal, il suffit de prouver la connexité de l'ensemble des fibrés réguliers.
  2. Les fibrés réguliers correspondent à des courbes spectrales $C_E$ qui sont des courbes lisses et connexes de genre $2n-1$.
  3. L'ensemble des graphes associés à ces fibrés forme un ouvert de Zariski irréductible.
  4. Les fibres de l'application des fibrés vers les courbes spectrales sont les jacobiennes de ces courbes lisses, qui sont connexes.
  5. Par conséquent, l'ensemble de l'espace de modules est connexe.

4. Signification et impact

1. Résolution de la question de Witten : L'article fournit une réponse affirmative à la question posée par Edward Witten concernant la connexité de l'espace de modules des instantons $SU(2)$ sur $S^3 \times S^1$.
2. Géométrie non kählérienne : Il établit que, malgré l'absence de métriques kählériennes et l'échec des propriétés algébriques standards (comme la filtrabilité), les espaces de modules des fibrés stables sur les surfaces de Hopf possèdent toujours une structure « générique » dominée par les fibrés réguliers.
3. Nouveauté technique : L'article démontre que le « mauvais » comportement (irrégularité) dans les cadres non kählériens ne conduit pas nécessairement à de grandes composantes déconnectées de l'espace de modules, contrairement à ce que pourraient suggérer les analogies avec les variétés de type général.
4. Définitions fondamentales : Il définit et distingue rigoureusement les « sauts » et l'« irrégularité » dans le contexte des surfaces de Hopf, clarifiant le paysage géométrique pour les recherches futures en théorie de jauge non kählérienne.

En résumé, l'article prouve que les fibrés irréguliers sont topologiquement négligeables (mégres) au sein des espaces de modules des surfaces de Hopf, établissant ainsi la densité des fibrés réguliers et confirmant la connexité de l'espace de modules de rang 2.