Universal extension spaces and modular maps: unveiling irreducible components of Brill-Noether loci of stable bundles on a general $ν$-gonal curve

1. Problématique et Contexte

L'article se situe dans le cadre de la théorie de Brill-Noether pour les fibrés vectoriels stables de rang 2 sur une courbe algébrique complexe projective lisse $C$ de genre $g$.

• Contexte général : Pour une courbe générale (moduli génériques), la géométrie des lieux de Brill-Noether $B^k_d$ (sous-ensembles du module des fibrés stables ayant au moins $k$ sections globales) est bien comprise pour les fibrés de rang 1 (faisceaux inversibles). Cependant, pour le rang $n=2$, le comportement est plus complexe et peut différer de l'attente dimensionnelle, même pour une courbe générale.
• Spécificité de l'étude : Les auteurs étudient le cas où la courbe $C$ n'est pas de moduli génériques, mais est une courbe $\nu$-gonale générale (avec $\nu < \lfloor \frac{g+3}{2} \rfloor$). Cela signifie que $C$ admet un morphisme de degré $\nu$ vers $\mathbb{P}^1$, ce qui la place dans une strate spéciale de l'espace de modules $\mathcal{M}_g$.
• Objectif principal : Déterminer l'existence, la dimension et la structure des composantes irréductibles du lieu de Brill-Noether $B^{k_3}_d \cap U^s_C(d)$ pour des fibrés stables de rang 2, de degré $d$, et de spécialité 3 (c'est-à-dire $h^1(F) = 3$, ce qui implique $k_3 = d - 2g + 5$).

2. Méthodologie

L'approche repose sur une combinaison de techniques géométriques avancées et de la théorie des extensions de fibrés :

1. Représentation par extensions : Tout fibré stable $F$ de rang 2 et de spécialité $i \ge 2$ peut être décrit comme une extension non triviale de deux fibrés inversibles (faisceaux de rang 1) :
   $$0 \to N \to F \to L \to 0$$
   où $L$ et $N$ sont choisis dans des lieux de Brill-Noether de rang 1 sur la courbe $\nu$-gonale.
2. Classification des types : Les auteurs classent les fibrés en fonction de la spécialité du quotient $L$ (ou du noyau $N$) :
   • Type 1 : $h^1(L) = 3$.
   • Type 2 : $h^1(L) = 1$.
   • Type modifié : Des présentations obtenues par des modifications naturelles des types ci-dessus (par exemple, en introduisant des diviseurs effectifs ou en changeant la structure du noyau).
3. Espaces d'extension universels : Construction d'espaces paramétriques $W$ (espaces d'extension universels) qui paramètrent les triplets $(N, L, F)$. L'étude de la stabilité de $F$ est liée à la position de la classe d'extension $u$ par rapport aux variétés sécantes de la courbe image dans un espace projectif (via l'invariant de Segre).
4. Applications modulaires : Définition d'applications rationnelles $\pi : W \dashrightarrow U^s_C(d)$ envoyant les triplets sur la classe d'isomorphisme du fibré $[F]$. L'image de ces applications permet de construire des composantes irréductibles.
5. Analyse de la régularité : Utilisation de la carte de Petri $\mu_F$ pour déterminer si une composante est régulière (lisse génériquement, de dimension attendue $\rho$) ou surabondante (dimension supérieure à $\rho$).

3. Contributions Clés et Résultats Principaux

Le Théorème Principal établit une classification complète des composantes irréductibles de $B^{k_3}_d \cap U^s_C(d)$ en fonction du genre $g$, du nombre de gonality $\nu$ et du degré $d$.

A. Non-existence et Obstructions

• Pour des degrés élevés ($4g-6 \le d \le 4g-4$), le lieu est vide.
• Pour certaines plages de $d$ et $\nu$ (notamment $4g-4-2\nu \le d \le 4g-7$ sous certaines conditions sur $\nu$), le lieu est également vide.
• Des obstructions spécifiques éliminent certaines configurations de type (1-c) et (1-b) pour des degrés élevés, montrant que toutes les combinaisons possibles ne donnent pas lieu à des composantes.

B. Existence de Composantes de Type 1

• Une composante unique, notée $B_{3, (1-a)}$, existe pour $2g-6+2\nu \le d \le 4g-5-4\nu$.
• Géométrie : Les fibrés génériques sont des extensions de la forme $0 \to N \to F \to K_C - 2A \to 0$, où $A$ est le fibré unique définissant le pinceau $\nu$-gonal ($|A|=g^1_\nu$).
• Comportement :
  • Si $d = 2g-6+2\nu$, la composante est régulière.
  • Si $d > 2g-6+2\nu$, elle est surabondante (dimension $6g-6-4\nu-d > \rho$).

C. Composantes de Type Modifié (Modifications de Type 2)

• Les auteurs découvrent des composantes obtenues par modification de fibrés de type 2.
• Composante surabondante ($B_{sup, 3, (2-b)-mod}$) : Existe pour $3g-5 \le d \le 4g-5-2\nu$. Les fibrés s'écrivent $0 \to K_C(-D_s) \to F \to K_C \otimes A^\vee \to 0$.
• Composante mixte ($B_{3, (2-b)-mod}$) : Existe pour des degrés plus faibles ($2g-7+2\nu \le d \le 3g-4-\nu$).
  • Elle est régulière si $d = 2g-7+2\nu$.
  • Elle est surabondante pour $d \ge 2g-6+2\nu$.
• Ces résultats montrent la coexistence de plusieurs composantes (parfois une régulière et plusieurs surabondantes) pour un même degré $d$.

D. Composantes Régulières de Type 2

• Pour des degrés plus faibles ($2g-2 \le d \le 3g-7$ et $3g-6 \le d \le \frac{10}{3}g-6$), il existe une composante régulière $B_{reg, 3}$.
• Les fibrés génériques sont de la forme $0 \to N \to F \to K_C \to 0$ (ou avec des modifications impliquant des systèmes linéaires $g^2_t$).
• La régularité est prouvée par l'injectivité de la carte de Petri.

E. Conséquences pour les fibrés à déterminant fixé

• Le Corollaire Principal déduit des résultats sur les lieux à déterminant fixe $M$.
• Il est démontré que pour certains degrés où la dimension attendue $\rho_M$ est négative, le lieu $B^{k_3}_M$ peut néanmoins être non vide (phénomène de surabondance extrême), contredisant les attentes numériques simples.

4. Signification et Impact

• Complexité de la géométrie birationnelle : L'article révèle que la géométrie des lieux de Brill-Noether pour les fibrés de rang 2 sur les courbes $\nu$-gonales est beaucoup plus riche et complexe que sur les courbes générales. La présence de composantes surabondantes et leur coexistence avec des composantes régulières est un phénomène nouveau et significatif.
• Outils nouveaux : L'utilisation systématique des espaces d'extension universels et des applications modulaires pour classifier les composantes offre une méthode robuste applicable à d'autres problèmes de théorie de Brill-Noether de rang supérieur.
• Précision des bornes : Le papier fournit des bornes précises (en fonction de $g, \nu, d$) pour l'existence et la nature (régulière/surabondante) de ces composantes, comblant des lacunes dans la littérature existante qui se concentrait principalement sur les courbes générales ou les cas de spécialité 1 et 2.
• Géométrie des surfaces réglées : L'analyse repose fortement sur l'étude des sections unisécantes sur les surfaces réglées associées aux fibrés, reliant la théorie des fibrés vectoriels à la géométrie des surfaces.

En résumé, cet article fournit une description complète et explicite de la structure des lieux de Brill-Noether pour les fibrés stables de rang 2 et de spécialité 3 sur les courbes $\nu$-gonales, mettant en lumière des comportements géométriques surprenants et établissant de nouveaux critères d'existence et de régularité.