Some reducible and irreducible Brill-Noether loci

Titolo: Alcuni Luoghi di Brill–Noether Riducibili e Irreducibili

1. Il Problema e il Contesto

Il lavoro si inserisce nella teoria di Brill–Noether, che studia lo spazio dei fasci lineari di grado $d$ e dimensione $r$ (indicati come $g^r_d$) su curve algebriche lisce di genere $g$.

• Il numero di Brill–Noether: La dimensione attesa dello spazio dei fasci lineari è data da $\rho(g, r, d) = g - (r+1)(g - d + r)$.
• Il caso $\rho \ge 0$: È noto che per una curva generica, lo spazio è non vuoto e irriducibile.
• Il caso $\rho < 0$: Per una curva generica, non esistono fasci lineari. Tuttavia, esiste un sottinsieme proprio $M^r_{g,d} \subset \mathcal{M}_g$ (il luogo di Brill–Noether) costituito dalle curve che ammettono tali fasci. La dimensione attesa di questo luogo è $3g - 3 + \rho(g, r, d)$.
• La questione della riducibilità: Un problema aperto riguarda la struttura di questi luoghi quando $\rho < 0$. Mentre per certi casi (es. $\rho = -1$ o per $r=2$ con $d$ sufficientemente grande) la irriducibilità è stata dimostrata, non è chiaro se esistano componenti multiple, specialmente per valori piccoli di $d$ e $r \ge 3$. Inoltre, la riducibilità dei luoghi di Brill–Noether ha implicazioni dirette sulla riducibilità degli schemi di Hilbert delle curve nello spazio proiettivo.

2. Metodologia

Gli autori adottano un approccio basato sulle serie lineari limite su catene di curve ellittiche.

• Catene di curve ellittiche: Si considera una curva di tipo compatto formata da $g$ curve ellittiche $C_1, \dots, C_g$ incollate in punti nodali ($Q_i \sim P_{i+1}$).
• Corrispondenza con i tableaux di Young: Le serie lineari limite su tali catene corrispondono biunivocamente a riempimenti admissibili di un rettangolo di dimensioni $(r+1) \times (g-d+r)$ con numeri interi da $1$a$g$, che soddisfano condizioni di ordine crescente e condizioni di torsione sui nodi.
• Condizioni di torsione: La presenza di indici ripetuti nel riempimento impone condizioni di torsione sui punti di incollamento delle curve ellittiche (es. $O(k(P-Q)) = 0$).
• Strategia di costruzione: Gli autori costruiscono riempimenti specifici (simmetrici e asimmetrici) per generare diverse famiglie di curve limite. Dimostrano poi che queste serie limite si "smussano" (smooth) in serie lineari su curve lisce vicine, garantendo l'esistenza di componenti nel luogo di Brill–Noether.
• Modifiche alla catena: Per evitare problemi di admissibilità in certi riempimenti "naif", gli autori sostituiscono coppie di curve ellittiche con una curva di genere 2 avente punti di Weierstrass come nodi, permettendo di soddisfare condizioni di torsione più complesse necessarie per le caratteristiche theta.

3. Contributi Chiave e Risultati Principali

A. Esistenza di caratteristiche theta con sezioni (Dimostrazione di una congettura di Farkas)

• Teorema 1: Se $g \ge \binom{r+2}{2}$, il luogo $T^r_g$ (curve di genere $g$ con una caratteristica theta di dimensione $r$, ovvero un fascio lineare $L$ tale che $L^{\otimes 2} \cong \omega_C$ e $h^0(L) \ge r+1$) è non vuoto e possiede una componente di codimensione attesa $\binom{r+1}{2}$ in $\mathcal{M}_g$.
• Metodo: Forniscono una nuova dimostrazione semplice della congettura di Farkas, evitando criteri di smoothing complessi per curve immerse nello spazio proiettivo, utilizzando invece la struttura esplicita delle catene ellittiche.
• Risultato aggiuntivo: Per un punto generico su questa componente, il nucleo della mappa di Petri ha dimensione esattamente $\binom{r+1}{2}$.

B. Riducibilità dei luoghi di Brill–Noether ($r \ge 3$)

• Teorema 2: Per $r \ge 3$ e $g = \binom{r+2}{2}$, il luogo $M^r_{g, g-1}$ è riducibile. Possiede almeno due componenti distinte:
  1. Una componente $ET^r_g$ costituita da curve che ammettono una caratteristica theta di dimensione $r$ (il fascio è "half-canonical").
  2. Una componente $N^r_{g, g-1}$ costituita da curve generiche che non ammettono una tale caratteristica theta (il riempimento associato è asimmetrico).
• Implicazione sugli Schemi di Hilbert: Poiché le proprietà di deformazione delle serie "half-canonical" differiscono da quelle delle serie non canoniche, questo risultato dimostra l'esistenza di schemi di Hilbert riducibili per curve di grado $d = g-1$ e $r \ge 3$.

C. Presenza di una terza componente

• Teorema 3: Per certi valori di $r$ ($r=3, 5, 7$ o $r \ge 8$) e $g = \binom{r+2}{2}$, il luogo $M^r_{g, g-1}$ ha almeno tre componenti.
  • Oltre alle due componenti sopra citate ($ET^r_g$ e $N^r_{g, g-1}$), esiste una terza componente contenente curve $k$-gonali (curve che ammettono una mappa di grado $k$ su $\mathbb{P}^1$).
  • La distinzione è garantita analizzando il gonialità delle curve nelle diverse componenti: le curve in $ET^r_g$ e $N^r_{g, g-1}$ hanno gonialità superiore a quella delle curve nella terza componente.

D. Irriducibilità per $r=2$ e limiti ottimali

• Proposizione 5.2: Per $r=2$, il luogo $M^2_{g,d}$ è irriducibile (contenente curve con fasci privi di punti base) se $d > \frac{g+4}{2}$ (con alcune eccezioni per $d$ pari/dispari).
• Ottimalità del limite: Gli autori mostrano che questo limite è ottimale fornendo esempi di riducibilità per gradi inferiori:
  • $M^2_{11,7}$, $M^2_{12,8}$ e $M^2_{12,7}$ sono tutti riducibili.
  • In questi casi, una componente deriva dalla varietà di Severi (curve piane), mentre un'altra deriva da curve che ammettono una mappa non birazionale su una curva di genere inferiore o curve $k$-gonali ($M^1_{g,k} \subset M^2_{g,d}$).

4. Significato e Impatto

• Nuovi controesempi alla "congettura" di irriducibilità: Il lavoro confuta l'idea intuitiva che gli schemi di Hilbert e i luoghi di Brill–Noether siano sempre ben comportati (irriducibili) quando $\rho < 0$, mostrando esplicitamente casi di riducibilità per gradi relativamente bassi e $r \ge 3$.
• Connessione tra Teoria di Brill–Noether e Schemi di Hilbert: Dimostrano che la riducibilità dei luoghi di Brill–Noether si traduce direttamente nella riducibilità degli schemi di Hilbert di curve lisce in $\mathbb{P}^r$, fornendo nuovi esempi di schemi di Hilbert con più componenti.
• Metodologia Potente: L'uso delle catene di curve ellittiche e dei riempimenti di tableaux si rivela uno strumento efficace non solo per dimostrare l'esistenza, ma anche per distinguere componenti geometricamente diverse (basate su proprietà come la presenza di caratteristiche theta o il gonialità).
• Conferma di Congetture: La dimostrazione della congettura di Farkas sull'esistenza di caratteristiche theta con sezioni per $g$ sufficientemente grande fornisce un risultato fondamentale sulla geometria delle curve spin.

In sintesi, il paper offre una mappa dettagliata della struttura di riducibilità dei luoghi di Brill–Noether, stabilendo confini precisi tra casi irriducibili e riducibili e fornendo una classificazione geometrica delle diverse componenti attraverso l'analisi delle serie lineari limite.