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

1. Il Problema di Ricerca

Il paper si inserisce nel contesto della Teoria di Brill-Noether per fasci vettoriali su curve algebriche. Mentre la teoria per fasci di rango 1 (fasci lineari) su curve generali è ben consolidata (grazie ai lavori di Eisenbud, Harris, Griffiths, Kempf, ecc.), la teoria per fasci di rango superiore rimane parzialmente aperta, anche nel caso di curve generali.

L'obiettivo specifico degli autori è studiare i luoghi di Brill-Noether per fasci vettoriali stabili di rango 2, grado $d$ e specialità 3 ($h^1(F)=3$) su una curva $C$ di genere $g$ che non è generale nel moduli $\mathcal{M}_g$, ma è una curva generale $\nu$-gonale (dove $\nu < \lfloor \frac{g+3}{2} \rfloor$).
In termini tecnici, si studia la struttura dei luoghi:
$$B^k_d := \{ [F] \in U^s_C(d) \mid h^0(F) \ge k \}$$
con $k = k_3 = d - 2g + 2 + 3$, dove $U^s_C(d)$ è lo spazio dei moduli dei fasci stabili di rango 2 e grado $d$.

Il problema centrale è determinare l'esistenza, la dimensione e la struttura delle componenti irriducibili di questi luoghi, classificandole come regolari (dimensione attesa $\rho$) o superabbondanti (dimensione maggiore dell'attesa), e descrivere la geometria dei fasci generici che le popolano.

2. Metodologia

Gli autori adottano un approccio geometrico che combina diverse tecniche avanzate:

• Spazi di Estensione Universali: Costruiscono spazi parametrici $W$ che parametrizzano triple $(N, L, F)$, dove $F$ è un fascio di rango 2 definito come estensione di fasci lineari:
  $$0 \to N \to F \to L \to 0$$
  I fasci $L$ e $N$ sono scelti da luoghi di Brill-Noether di rango 1 sulla curva $\nu$-gonale.
• Mappature Modulari: Definiscono mappe razionali $\pi: W \dashrightarrow U^s_C(d)$ che associano a una estensione il punto nello spazio dei moduli corrispondente al fascio $F$. L'immagine di queste mappe costituisce le componenti candidate.
• Classificazione dei Fasci: Utilizzano la classificazione basata sull'invariante di Segre e sulla specialità dei fasci di quoziente $L$ (o nucleo $N$). In particolare, distinguono tra:
  • Fasci di Primo Tipo: Dove $h^1(L) = 3$.
  • Fasci di Secondo Tipo: Dove $h^1(L) = 1$.
  • Fasci di Tipo Modificato: Ottenuti tramite modifiche naturali delle presentazioni sopra citate.
• Geometria delle Superfici Rigate: Sfruttano la corrispondenza tra fasci di rango 2 e sezioni di superfici rigate (ruled surfaces) $\mathbb{P}(F)$. La stabilità e la specialità sono analizzate attraverso lo studio delle unisecanti speciali e dei loro spazi di Hilbert.
• Mappe di Petri e Stabilità: Analizzano l'iniettività della mappa di Petri $\mu_F$ per determinare la regolarità delle componenti e utilizzano criteri di stabilità (invarianti di Segre, varietà secanti) per garantire che i fasci costruiti siano stabili.
• Teoria di Brill-Noether per Curve $\nu$-gonali: Si basano su risultati recenti riguardanti i luoghi di Brill-Noether per fasci lineari su curve $\nu$-gonali (lavori di Ciliberto, Flamini, Kim, ecc.) per caratterizzare i fasci $L$ e $N$ coinvolti nelle estensioni.

3. Risultati Principali (Teorema Principale)

Il Teorema Principale fornisce una classificazione completa delle componenti irriducibili di $B^{k_3}_d \cap U^s_C(d)$ in funzione del genere $g$, del grado $\nu$ e del grado del fascio $d$.

Le conclusioni si dividono in diversi casi:

1. Non-esistenza: Per certi intervalli di $d$ (es. $4g-6 \le d \le 4g-4$ o intervalli superiori dipendenti da $\nu$), il luogo è vuoto.
2. Componenti di Primo Tipo:
   • Esiste una componente unica $B_{3, (1-a)}$ quando $2g-6+2\nu \le d \le 4g-5-4\nu$.
   • Questa componente è uniruled (coperta da rette) e genericamente liscia.
   • È superabbondante se $d \ge 2g-5+2\nu$ e regolare solo nel caso limite $d = 2g-6+2\nu$.
   • I fasci generici sono estensioni del tipo $0 \to N \to F \to K_C - 2A \to 0$, dove $A$ è il fascio lineare unico che definisce la $\nu$-gonalità.
3. Componenti di Tipo Modificato (da fasci di secondo tipo):
   • Vengono costruite componenti $B_{sup, 3, (2-b)-mod}$ e $B_{3, (2-b)-mod}$ tramite modifiche di fasci di secondo tipo.
   • Queste componenti sono spesso superabbondanti e hanno dimensione $8g - 11 - 2\nu - 2d$.
   • I fasci generici ammettono presentazioni come $0 \to \omega_C(-D_s) \to F \to \omega_C \otimes A^\vee \to 0$.
4. Componenti di Secondo Tipo (Regolari):
   • Per $2g-2 \le d \le 3g-7$, esiste una componente regolare $B_{reg, 3}$ generata da fasci che si inseriscono in $0 \to N \to F \to \omega_C \to 0$ con $N$ generale.
   • Per $3g-6 \le d \le \frac{10}{3}g-6$, esiste un'altra componente regolare $B_{reg, 3}$ costruita usando fasci lineari $g^2_t$ birazionalmente molto ampi.
5. Coesistenza: Un risultato notevole è la dimostrazione che, per certi gradi $d$, possono coesistere multiple componenti superabbondanti insieme a una componente regolare.

4. Contributi Chiave e Nuove Scoperte

• Stratificazione e Geometria Birazionale: Gli autori non si limitano a contare le componenti, ma ne descrivono la struttura birazionale (uniruledness) e la struttura locale (liscietà generica).
• Stratificazione in Schemi Localmente Chiusi: Utilizzando tecniche di specializzazione, rivelano una stratificazione all'interno delle componenti, mostrando come certi fasci "degenerino" in altri, fornendo intuizioni sulla struttura locale dei luoghi di Brill-Noether.
• Conseguenze per Fasci a Determinante Fisso: Come corollario, il lavoro stabilisce risultati per i luoghi di Brill-Noether con determinante fissato $M$. In particolare, dimostrano che certi luoghi con dimensione attesa negativa (che teoricamente dovrebbero essere vuoti) sono in realtà non vuoti e contengono componenti irriducibili, sfidando le aspettative numeriche standard.
• Classificazione Completa: Forniscono una mappa dettagliata di quali tipi di componenti (regolari, superabbondanti, di primo/secondo tipo) esistono in funzione dei parametri $(g, \nu, d)$, chiudendo molte lacune nella teoria per curve con moduli speciali.

5. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

• Avanzamento della Teoria di Brill-Noether di Rango Superiore: Estende la comprensione dai fasci lineari (rango 1) ai fasci di rango 2 su curve che non sono generali nel moduli, un caso molto più complesso e meno studiato.
• Metodologia Innovativa: L'uso combinato di spazi di estensione universali, mappe modulari e la teoria delle unisecanti su superfici rigate offre un potente strumento per analizzare la geometria dei moduli di fasci stabili.
• Controesempi alle Aspettative: La dimostrazione dell'esistenza di componenti superabbondanti e di luoghi non vuoti anche quando la dimensione attesa è negativa mette in luce la ricchezza e la complessità della geometria dei fasci su curve speciali.
• Applicazioni: I risultati hanno implicazioni per la geometria birazionale, gli schemi di Hilbert di curve e superfici, e la stabilità di Bridgeland, aree in cui la conoscenza della struttura dei fasci stabili è fondamentale.

In sintesi, il paper offre una descrizione completa e rigorosa della geometria dei fasci stabili di rango 2 su curve $\nu$-gonali, risolvendo problemi aperti sulla struttura delle componenti dei loro luoghi di Brill-Noether e fornendo nuovi strumenti per l'analisi di varietà di moduli in contesti non generali.