Complete classification of irreducible components of the Brill-Noether locus of rank-$2$ vector bundles of degree $d$ and speciality $2$ on a general $ν$-gonal curve

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie de Brill-Noether, un domaine fondamental de la géométrie algébrique étudiant les fibrés vectoriels sur les courbes projectives lisses.

• Objet d'étude : Les lieux de Brill-Noether $B^k_d$ paramétrant les classes d'isomorphisme de fibrés vectoriels stables de rang 2, de degré $d$ et de spécialité $i = h^1(C, F) = 2$ sur une courbe $C$.
• Cadre géométrique : La courbe $C$ est une courbe $\nu$-gonale générale de genre $g$. Cela signifie que $C$ possède un morphisme de degré $\nu$ vers $\mathbb{P}^1$ ($f: C \to \mathbb{P}^1$) et que $C$ correspond à un point général de l'image de l'application modulaire du schéma de Hurwitz $H_{g,\nu}$ vers l'espace de modules $\mathcal{M}_g$. On suppose $3 \le \nu < \lfloor \frac{g+3}{2} \rfloor$.
• Plage d'intérêt : Les auteurs se concentrent sur la plage de degrés $2g-2 \le d \le 4g-4$, où les lieux de Brill-Noether non triviaux existent.
• Défi : Contrairement au cas des fibrés de rang 1 (fibrés en droites) ou au cas des courbes de modules généraux, la théorie pour les fibrés de rang 2 sur des courbes spéciales (comme les courbes $\nu$-gonales) est beaucoup plus complexe. Les invariants discrets $(g, r, d)$ ne suffisent pas à décrire la géométrie ; la structure de la courbe (ici, le gonie $\nu$) joue un rôle crucial. L'objectif est de classifier complètement les composantes irréductibles de ces lieux et d'analyser leur géométrie birationnelle et locale.

2. Méthodologie

L'approche des auteurs repose sur une combinaison de techniques de déformation, de géométrie des surfaces réglées et de la théorie de Brill-Noether pour les fibrés en droites sur les courbes $\nu$-gonales.

• Représentation par extensions : Tout fibré stable $F$ de spécialité 2 peut être représenté comme une extension de fibrés en droites :
  $$0 \to N \to F \to L \to 0$$
  où $L$ et $N$ sont des fibrés en droites sur $C$. La stabilité et la spécialité de $F$ imposent des contraintes fortes sur les degrés et les spécialités de $L$ et $N$.
• Espaces d'extension universels : Les auteurs construisent des composantes irréductibles en considérant des espaces d'extensions universels paramétrant les triplets $(N, L, F)$. Ils étudient les applications modulaires rationnelles de ces espaces vers l'espace de modules $\mathcal{U}^s_C(d)$.
• Utilisation de la théorie $\nu$-gonale (Rank 1) : Un apport clé est l'utilisation des résultats récents de H. Larson et d'autres sur la théorie de Brill-Noether pour les fibrés en droites sur les courbes $\nu$-gonales. Ils utilisent les types de scission (splitting types) du fibré $f_*(L)$ sur $\mathbb{P}^1$ pour caractériser les fibrés $L$ et $N$.
• Analyse des applications de Petri : Pour déterminer la régularité (lissité générique et dimension attendue) des composantes, les auteurs analysent l'injectivité de l'application de Petri $\mu_F : H^0(F) \otimes H^0(\omega_C \otimes F^\vee) \to H^0(\omega_C \otimes F \otimes F^\vee)$.
• Stratification : Ils distinguent deux types de présentations pour les fibrés $F$ (selon la spécialité du fibré quotient $L$) :
  • Type 1 : $h^1(L) = 2$ (généralement associé aux composantes superabondantes).
  • Type 2 : $h^1(L) = 1$ (généralement associé aux composantes régulières).

3. Résultats Principaux (Théorème 0.3)

Le résultat central est une classification complète des composantes irréductibles de $B^k_2 \cap \mathcal{U}^s_C(d)$ selon les valeurs de $d$ et $\nu$.

A. Régions de vide et d'irréductibilité

• $4g-6 \le d \le 4g-4$ : Le lieu est vide.
• $4g-4-2\nu \le d \le 4g-7$ : Le lieu est irréductible. Il ne contient qu'une seule composante, notée $B_{reg,2}$, qui est régulière (lisse génériquement, dimension attendue $\rho^k_2 = 8g-11-2d$) et uniréglée.
  • Structure : Les fibrés généraux sont des extensions de la forme $0 \to \omega_C(-D) \to F \to \omega_C(-p) \to 0$ (ou variantes selon $\nu$ et $d$).

B. Régions de réductibilité (Composantes multiples)

Pour certaines plages de $d$ (notamment $3g-5 \le d \le 4g-5-2\nu$ et $2g-4+2\nu \le d \le 3g-6$), le lieu est réductible et contient deux composantes :

1. Composante Régulière ($B_{reg,2}$) :
   • Dimension attendue $\rho^k_2$.
   • Lisse génériquement, uniréglée.
   • Les fibrés généraux sont de "Type 2" ($h^1(L)=1$).
2. Composante Superabondante ($B_{sup,2}$) :
   • Dimension stricte supérieure à l'attendue : $\dim(B_{sup,2}) = 6g-6-d-2\nu > \rho^k_2$.
   • Lisse génériquement, régie (ruled).
   • Les fibrés généraux sont de "Type 1" ($h^1(L)=2$). Ils s'obtiennent via une extension $0 \to N \to F \to \omega_C \otimes A^\vee \to 0$, où $A$ est le fibré unique définissant le pinceau $g^1_\nu$ de la courbe.

C. Cas particuliers et transitions

• Pour $d = 2g-5+2\nu$, les deux composantes existent et sont toutes deux régulières (leurs dimensions coïncident avec l'attendu).
• Pour $2g-2 \le d \le 2g-6+2\nu$, le lieu est irréductible et ne contient que $B_{reg,2}$. La composante $B_{sup,2}$, si elle existe en tant que schéma, est contenue dans $B_{reg,2}$ comme sous-schéma fermé propre.

4. Contributions Techniques et Corrections

• Classification complète : C'est la première classification exhaustive pour l'ensemble de la plage $2g-2 \le d \le 4g-4$ sur les courbes $\nu$-gonales générales.
• Géométrie des composantes : Description précise de la structure birationnelle (uniréglée, régie) et de la présentation géométrique des fibrés généraux (via des extensions explicites).
• Correction d'erreurs antérieures : Les auteurs corrigent des résultats de travaux précédents (notamment [13, Theorem 3.12-(ii)]), où l'on pensait à tort que la composante superabondante était non-réduite pour certaines valeurs de $d$. Ils démontrent qu'elle est en fait lisse (génériquement).
• Conséquences pour les fibrés à déterminant fixe : En tant que corollaire, ils obtiennent des résultats sur les lieux de Brill-Noether $B^k_M$ (fibrés de rang 2 avec déterminant fixe $M$), montrant que ces lieux peuvent être non vides même lorsque leur dimension attendue est négative (phénomène de surabondance).

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Au-delà des modules généraux : Il démontre que la théorie de Brill-Noether pour les fibrés de rang 2 sur des courbes spéciales (ici $\nu$-gonales) présente une richesse structurelle (réductibilité, composantes superabondantes) absente dans le cas des courbes de modules généraux.
2. Outils pour la géométrie birationnelle : La description des composantes (uniréglées, régies) et des fibrés généraux fournit des outils puissants pour l'étude de la géométrie birationnelle des espaces de modules de fibrés vectoriels et des schémas de Hilbert de courbes.
3. Méthodologie robuste : L'intégration de la théorie de Brill-Noether de rang 1 sur les courbes $\nu$-gonales (types de scission) avec la théorie des extensions de rang 2 offre un modèle méthodologique applicable à d'autres problèmes de classification sur des courbes spéciales.
4. Précision des bornes : La détermination exacte des plages de $d$ et $\nu$ où la réductibilité apparaît permet de mieux comprendre la transition entre les comportements "génériques" et "spéciaux" en géométrie algébrique.

En résumé, cet article fournit une carte complète et rigoureuse de la géométrie des fibrés vectoriels stables de rang 2 de spécialité 2 sur les courbes $\nu$-gonales, comblant un vide important dans la littérature et corrigeant des résultats antérieurs.