Some moduli spaces of $\alpha$-stable coherent systems on algebraic surfaces

1. Problématique et Contexte

L'article s'intéresse à l'étude des systèmes cohérents sur une surface algébrique projective lisse et irréductible $X$. Un système cohérent est défini comme une paire $(E, V)$, où $E$ est un faisceau cohérent sans torsion de rang $n$, et $V$ est un sous-espace vectoriel de dimension $k$ de l'espace des sections globales $H^0(X, E)$.

Le problème central réside dans la compréhension de la géométrie des espaces de modules de ces systèmes, notés $G_L(n; c_1, c_2, k)$, lorsque le paramètre de stabilité $\alpha$ (un polynôme à coefficients rationnels) est suffisamment grand.

Contrairement aux courbes, où la théorie des systèmes cohérents est bien établie, le passage aux surfaces introduit des défis conceptuels et techniques majeurs :

• La dépendance de la stabilité vis-à-vis d'un diviseur ample $H$.
• La complexité accrue de la construction des fibrés stables de rang supérieur.
• La richesse du comportement de « traversée de murs » (wall-crossing) entre différents espaces de modules.

L'objectif est de décrire la structure topologique et géométrique de l'espace de modules pour $\alpha$ proche d'une borne supérieure critique, en particulier dans le cas où $k < n$.

2. Méthodologie

La stratégie adoptée par les auteurs repose sur l'établissement d'une correspondance biunivoque (ou quasi-bijective) entre les systèmes cohérents $\alpha$-stables pour $\alpha$ grand et des extensions de fibrés spécifiques.

La démarche se décompose en plusieurs étapes clés :

1. Établissement d'une borne supérieure pour $\alpha$ :
   Les auteurs démontrent que pour qu'un système cohérent $(E, V)$ de type $(n; c_1, c_2, k)$ avec $k < n$ soit $\alpha$-semi-stable, le paramètre $\alpha$ doit être borné supérieurement par :
   $$\alpha \leq \frac{1}{n-k} \left( c_1 H m + \chi(E) - n\chi(\mathcal{O}_X) \right)$$
   Cette borne est cruciale pour définir la région de stabilité étudiée.

2. Analyse de la structure des systèmes pour $\alpha$ grand :
   Pour des valeurs de $\alpha$ proches de cette borne (c'est-à-dire $\alpha = \text{Borne} - \epsilon$ avec $\epsilon > 0$ petit), les auteurs prouvent que le morphisme d'évaluation $V \otimes \mathcal{O}_X \to E$ est injectif.
   Cela permet d'associer à tout système $\alpha$-stable une suite exacte canonique :
   $$0 \to \mathcal{O}_X^{\oplus k} \to E \to F \to 0$$
   où $F$ est un faisceau sans torsion de rang $n-k$.

3. Lien avec la stabilité de Mumford-Takemoto :
   Le résultat central de cette étape est la démonstration que, pour $\alpha$ suffisamment grand, le faisceau quotient $F$ dans la suite exacte ci-dessus est nécessairement $H$-semi-stable (au sens de Mumford-Takemoto). Inversement, toute extension d'un faisceau $H$-stable $F$ par un fibré trivial $\mathcal{O}_X^{\oplus k}$, définie par une classe d'extension générique dans $H^1(F^*)^k$, donne naissance à un système cohérent $\alpha$-stable.

4. Construction géométrique de l'espace de modules :
   En utilisant la théorie des familles de faisceaux et les foncteurs dérivés (notamment $\text{Ext}^1$), les auteurs construisent l'espace de modules des systèmes cohérents comme un fibré de Grassmann au-dessus de l'espace de modules des faisceaux stables $M_H(n-k; c_1, c_2)$.

3. Résultats Principaux

Les résultats principaux sont synthétisés dans les théorèmes 3.15 et 3.17 de l'article :

• Structure de Fibré de Grassmann :
  Sous l'hypothèse que $((n-k)K_X + c_1)H \leq 0$ et pour $c_2$ suffisamment grand, l'espace de modules $G^s_L(n; c_1, c_2, k)$ (correspondant aux systèmes dont le quotient est $H$-stable) est isomorphe à un fibré de Grassmann :
  $$G^s_L(n; c_1, c_2, k) \cong \text{Gr}(k, \mathcal{E})$$
  où $\mathcal{E}$ est un fibré vectoriel sur l'espace de modules $M_H(n-k; c_1, c_2)$ des faisceaux $H$-stables de rang $n-k$. La fibre au-dessus d'un point $[F]$ est l'ouvert de $\text{Gr}(k, H^1(F^*))$ correspondant aux classes d'extension linéairement indépendantes.

• Dimension et Irréductibilité :
  L'espace de modules est irréductible. Sa dimension est donnée par la formule explicite :
  $$\dim G^s_L = (2n-k)c_2 + (1-n(n-k))\chi(\mathcal{O}_X) - k^2 - k\left(\frac{c_1 K_X}{2} + \frac{c_1^2}{2}\right) - (n-k-1)c_1^2$$
  Cette formule est obtenue en combinant la dimension de l'espace de modules des faisceaux stables $M_H$ et la dimension du fibré de Grassmann.

• Lissité Générique :
  L'article fournit des exemples (notamment sur le plan projectif $\mathbb{P}^2$ avec des fibrés de Steiner) où l'espace de modules est lisse de manière générique. Cela est démontré en prouvant que le groupe d'obstruction $\text{Ext}^2((E, V), (E, V))$ s'annule pour un point générique.

• Bornes sur les sections :
  Un corollaire (Corollaire 3.12) établit une borne supérieure pour le nombre de sections globales $h^0(E)$ d'un système $\alpha$-semi-stable, analogue au théorème de Clifford pour les courbes.

4. Contributions et Signification

• Généralisation à la dimension supérieure : Ce travail comble un vide important en étendant la théorie des systèmes cohérents, bien développée pour les courbes, aux surfaces algébriques. Il montre que malgré la complexité des surfaces, une description géométrique élégante est possible dans le régime de stabilité « grand $\alpha$ ».
• Outils pour la géométrie birationnelle : La description de l'espace de modules comme un fibré de Grassmann sur un espace de modules de faisceaux stables offre un outil puissant pour étudier la géométrie birationnelle de ces espaces (flips, contractions) et comprendre comment ils se déforment lorsque $\alpha$ varie.
• Nouveaux exemples de variétés de modules : L'article fournit des formules précises pour la dimension et des conditions de lissité, enrichissant le catalogue des espaces de modules connus en géométrie algébrique.
• Lien avec la théorie de Brill-Noether : En intégrant les conditions de stabilité dans l'analyse des espaces de sections, ce travail affine la théorie classique de Brill-Noether pour les surfaces, offrant un cadre unifié pour étudier l'existence de diviseurs spéciaux et de fibrés de syzygies.

En résumé, cet article établit que pour $\alpha$ suffisamment grand, la géométrie des systèmes cohérents sur les surfaces est entièrement contrôlée par la géométrie des faisceaux stables sous-jacents, permettant une description complète de leurs espaces de modules en termes de fibrés vectoriels classiques.