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. Il Problema

Il lavoro si inserisce nel contesto della teoria di Brill-Noether per fasci vettoriali su curve algebriche complesse. Mentre la teoria per i fasci di rango 1 (fasci lineari) su curve con moduli generali è ben compresa (grazie ai risultati classici di Eisenbud, Harris, Gieseker, ecc.), la situazione per fasci di rango 2 è più complessa e presenta fenomeni non uniformi.

L'obiettivo specifico degli autori è classificare completamente le componenti irriducibili del luogo di Brill-Noether $B^k_d \cap U^s_C(d)$, che parametrizza fasci vettoriali stabili di rango 2, grado $d$ e specialità $i = h^1(F) = 2$, su una curva generale $\nu$-gonale $C$ di genere $g$.
Una curva $\nu$-gonale ammette un fascio lineare completo $g^1_\nu$ (un morfismo di grado $\nu$ su $\mathbb{P}^1$). Il caso di interesse è quando $3 \le \nu < \lfloor \frac{g+3}{2} \rfloor$, ovvero quando la curva ha una gonialità speciale (minore della gonialità generale).

Il range di grado considerato è $2g-2 \le d \le 4g-4$, dove il luogo di Brill-Noether è non banale. La dimensione attesa (numero di Brill-Noether di rango 2) è $\rho^k_d = 4g - 3 - k i$, dove $k = d - 2g + 2 + i$. Per $i=2$, si ha $k = d - 2g + 4$ e $\rho = 8g - 11 - 2d$.

2. Metodologia

Gli autori adottano un approccio geometrico basato sulla rappresentazione dei fasci vettoriali di rango 2 come estensioni di fasci lineari.

• Presentazioni come Estensioni: Utilizzando il teorema di Serre e la stabilità, ogni fascio stabile $F$ con specialità $i=2$ può essere rappresentato come un'estensione:
  $$0 \to N \to F \to L \to 0$$
  dove $L$ e $N$ sono fasci lineari su $C$. La specialità $h^1(F)=2$ impone vincoli sulle specialità di $L$ e $N$ e sul corank della mappa di cobordo $\partial: H^0(L) \to H^1(N)$.
• Tipi di Fasci: I fasci sono classificati in due tipi (Definizione 1.15):
  • Primo tipo: $h^1(L) = 2$ (e quindi $h^1(N)=0$ o simile, a seconda dei casi).
  • Secondo tipo: $h^1(L) = 1$ (e $h^1(N)=1$).
• Spazi di Estensione Universali: Costruiscono le componenti irriducibili studiando spazi di estensione $\text{Ext}^1(L, N)$ e le loro degenerazioni (luoghi di corank $\ge t$). Utilizzano mappe modulari razionali da spazi di estensione universali verso lo spazio di moduli $U^s_C(d)$.
• Teoria di Brill-Noether su Curve $\nu$-gonali: Sfruttano risultati recenti (in particolare di H. Larson) sulla teoria di Brill-Noether per fasci lineari su curve $\nu$-gonali. Analizzano i "splitting type vectors" del fascio diretto $f_*(L)$ rispetto al morfismo $f: C \to \mathbb{P}^1$ di grado $\nu$. Questo permette di determinare la struttura dei fasci $L$ e $N$ che appaiono nelle estensioni.
• Superfici Rigate: Interpretano geometricamente i fasci $F$ come superfici rigate (o scroll) $\mathbb{P}(F)$. Lo studio delle sezioni unisecanti (curve che intersecano ogni fibra in un punto) e della loro specialità permette di analizzare la stabilità e la rigidità delle presentazioni.
• Mappe di Petri: Per dimostrare la regolarità (liscietà generica e dimensione attesa) delle componenti, analizzano l'iniettività della mappa di Petri $\mu_F: H^0(F) \otimes H^0(\omega_C \otimes F^\vee) \to H^0(\omega_C \otimes F \otimes F^\vee)$.

3. Risultati Principali (Teorema 0.3)

Il risultato centrale è una classificazione completa delle componenti irriducibili di $B^k_d \cap U^s_C(d)$ in funzione del grado $d$ e della gonialità $\nu$. Si distinguono due tipi di componenti:

• $B_{reg,2}$: Componenti regolari (dimensione attesa $\rho$, lisce generiche).
• $B_{sup,2}$: Componenti superabondanti (dimensione maggiore di $\rho$).

La classificazione è la seguente:

1. Regione vuota ($4g-6 \le d \le 4g-4$): Il luogo è vuoto.
2. Regione di unicità e regolarità ($4g-4-2\nu \le d \le 4g-7$):
   • Esiste una sola componente irriducibile $B_{reg,2}$.
   • È regolare, uniruled (coperta da rette razionali).
   • I fasci generali sono di secondo tipo, con presentazione $0 \to \omega_C(-D) \to F \to \omega_C(-p) \to 0$ (o varianti con $N$ generale a seconda di $\nu$ e $d$).
3. Regione di riducibilità ($3g-5 \le d \le 4g-5-2\nu$):
   • Esistono due componenti: $B_{reg,2}$ (regolare) e $B_{sup,2}$ (superabondante).
   • $B_{sup,2}$ ha dimensione $6g - 6 - d - 2\nu > \rho$.
   • I fasci in $B_{sup,2}$ sono di primo tipo, con presentazione $0 \to N \to F \to \omega_C \otimes A^\vee \to 0$, dove $A$ è il fascio unico $g^1_\nu$.
4. Regione intermedia ($2g-4+2\nu \le d \le 3g-6$):
   • Due componenti: $B_{reg,2}$ e $B_{sup,2}$.
   • La descrizione dei fasci generali è analoga ai casi precedenti, ma con intervalli di grado diversi.
5. Caso limite ($d = 2g-5+2\nu$):
   • Due componenti, entrambe regolari (la superabondanza scompare perché le dimensioni coincidono).
6. Regione di unicità inferiore ($2g-2 \le d \le 2g-6+2\nu$):
   • Esiste una sola componente $B_{reg,2}$, regolare e uniruled.
   • La componente $B_{sup,2}$ esiste ma è contenuta come sottinsieme chiuso proprio in $B_{reg,2}$ (quindi non è una componente irriducibile separata).

4. Contributi Chiave

• Classificazione Completa: Estende i risultati precedenti (che coprivano solo parti del range di $d$ o curve con moduli generali) a tutto l'intervallo $2g-2 \le d \le 4g-4$ per curve $\nu$-gonali generali.
• Correzione di Errori: Corregge un errore nella letteratura precedente ([13, Theorem 3.12-(ii)]) riguardante la non ridotta di $B_{sup,2}$ per certi valori di $d$; gli autori dimostrano che queste componenti sono in realtà lisce generiche (regolari o superabondanti ma ridotte).
• Struttura Birazionale: Fornisce una descrizione dettagliata della struttura birazionale delle componenti (uniruledness) e della presentazione esplicita dei fasci generali come estensioni di fasci lineari specifici.
• Geometria delle Presentazioni: Dimostra che per i fasci generali in $B_{reg,2}$ la presentazione è "rigidamente speciale" (rsp) solo dopo aver rimosso punti base, mentre per $B_{sup,2}$ la presentazione è rigidamente presentata (rp) tramite il fascio canonico modificato.
• Conseguenze per Fasci a Determinante Fisso: Come corollario (Corollario 0.5), estendono i risultati ai luoghi di Brill-Noether con determinante fissato $M$, mostrando che questi possono essere non vuoti anche quando la dimensione attesa è negativa, a causa della presenza di componenti superabondanti.

5. Significato

Questo lavoro rappresenta un passo fondamentale nella comprensione della geometria dei fasci vettoriali su curve con moduli speciali.

• Rottura dell'Uniformità: Dimostra che, a differenza del caso di moduli generali, la teoria di Brill-Noether per rango 2 su curve $\nu$-gonali dipende fortemente dalla gonialità $\nu$ e dal grado $d$, portando a fenomeni di riducibilità e superabondanza che non si verificano nel caso generale.
• Strumenti Nuovi: L'uso combinato della teoria di Brill-Noether per fasci lineari su curve $\nu$-gonali (splitting types) e della geometria delle superfici rigate fornisce un potente strumento per analizzare fasci di rango superiore.
• Impatto sulla Geometria Birazionale: La descrizione delle componenti e la loro struttura (uniruledness) hanno implicazioni per lo studio della geometria birazionale degli spazi di moduli dei fasci vettoriali e degli schemi di Hilbert di curve e scroll.

In sintesi, il paper risolve un problema aperto di classificazione, fornendo una mappa completa e precisa della struttura dei luoghi di Brill-Noether di rango 2 su una classe importante di curve speciali, correggendo errori precedenti e offrendo nuove prospettive geometriche.