Birational Geometry of Quot Schemes on smooth projective curves via Stable Pairs

1. Il Problema di Ricerca

Lo studio si concentra sulla geometria birazionale degli schemi di Quot su curve proiettive lisce $C$ di genere $g \ge 2$.
Sia $E_0$ un fibrato vettoriale su $C$ di rango $r$ e grado $e$. Lo schema di Quot $Q = \text{Quot}_C(E_0, k, n)$ parametrizza i quozienti di $E_0$ di rango $k$ e grado $n$.
Il problema principale è comprendere la struttura birazionale di questo spazio, in particolare per gradi $n$ sufficientemente grandi ($n \gg 0$). Mentre il caso della retta proiettiva ($\mathbb{P}^1$) è ben compreso (dove lo schema è una varietà liscia e uno "Mori dream space"), per curve di genere $g \ge 2$ la situazione è più complessa: lo schema può essere riducibile o non ridotto. Tuttavia, per $n \gg 0$, è noto che lo schema è irriducibile e genericamente liscio.

L'obiettivo specifico è analizzare la fibra $Q_L$ del morfismo determinante $\det: Q \to \text{Pic}^n(C)$, che associa a un quoziente il suo determinante (un fascio lineare). La domanda centrale è: $Q_L$ è uno "Mori dream space"? Inoltre, il morfismo determinante è un "Mori dream morphism"?

2. Metodologia

Gli autori adottano un approccio innovativo basato sulla teoria dei coppie stabili (stable pairs) per studiare la geometria degli schemi di Quot.

• Strumento Principale: Utilizzano lo spazio dei moduli delle coppie $\delta$-semistabili $M_{C,\delta}(E_0, s, d)$, dove una coppia è $(E, \alpha)$ con $E$ un fibrato vettoriale di rango $s$ e grado $d$, e $\alpha: E_0 \to E$ un omomorfismo non nullo. La stabilità dipende da un parametro reale $\delta > 0$.
• Isomorfismo Chiave: Per $\delta$ sufficientemente grande, esiste un isomorfismo tra lo schema di Quot e lo spazio delle coppie:
  $$\text{Quot}_C(E_0, k, n) \cong M_{C,\delta}(E_0, r-k, n-e)$$
  (dove $s = r-k$ e $d = n-e$). Questo permette di studiare lo schema di Quot attraverso le variazioni di stabilità delle coppie al variare di $\delta$.
• Variazioni di Stabilità (Wall-Crossing): Al variare di $\delta$, lo spazio dei moduli subisce modifiche birazionali note come Small Q-factorial Modifications (SQM). Queste modifiche avvengono attraverso "muri" (walls) definiti da valori critici di $\delta$ ($\delta_i$).
• Analisi dei Coni: Gli autori calcolano esplicitamente i coni nef, movable ed effective per ogni fase della variazione di stabilità. Utilizzano strumenti di teoria dei moduli, coomologia di fasci e proprietà degli spazi di Quot per stimare le dimensioni e la regolarità degli spazi.

3. Contributi Chiave e Risultati Principali

A. Struttura degli Spazi di Moduli

Gli autori dimostrano che per $n \gg 0$ (o equivalentemente $d \gg 0$), gli spazi $M_{C,\delta}(E_0, s, d)$ e le loro fibre $M_{C,\delta}(E_0, s, d)_L$ sono:

• Irriducibili, ridotti, normali e localmente complete intersezioni.
• Localmente fattoriali (quindi $\mathbb{Q}$-fattoriali).
• Collegati tra loro da una sequenza di SQM al variare di $\delta$.

B. Risultato Principale: Mori Dream Spaces

Il teorema centrale (Teorema 1.2 e Teorema 9.1) stabilisce che:

1. La fibra $Q_L$ dello schema di Quot è uno Mori dream space.
2. Il morfismo determinante $\det: \text{Quot}_C(E_0, k, n) \to \text{Pic}^n(C)$ è un Mori dream morphism (la versione relativa del concetto di Mori dream space).

Ciò significa che:

• Il gruppo di Picard relativo è generato da un numero finito di divisori.
• Il cono nef è generato da un numero finito di fasci lineari semiampoli.
• Esiste una decomposizione finita dello spazio in fasi birazionali (SQM) che coprono l'intero cono movibile.

C. Descrizione Esplicita dei Coni

Il lavoro fornisce una descrizione esplicita dei coni geometrici in termini di una base $\{\lambda, \mu\}$ di $N^1(Q_L)_\mathbb{R} \cong \mathbb{R}^2$:

• Cono Nef: È generato da due fasci lineari semiampoli, le cui classi dipendono dai valori critici $\delta_i$.
• Cono Movibile: È l'unione dei coni nef di tutte le fasi birazionali (SQM) ottenute variando $\delta$.
• Cono Effective: Viene determinato in base al rango $s$ e al genere $g$. In particolare, per certi casi ($k=0,1$ o $k \ge 2$), il cono effective coincide con il cono movibile o ha una struttura specifica definita da classi $\theta_0$ e $\theta'_0$.

D. Analisi dei Casi Speciali

Gli autori trattano distintamente i casi in base al rapporto tra il rango del quoziente $k$ (o $s=r-k$) e il rango $r$ di $E_0$:

• Caso $1 \le s \le r$: Le modifiche birazionali sono guidate dai valori critici $\delta_i$ derivanti dalla stabilità dei fibrati.
• Caso $s > r$: Vengono analizzati i casi in cui il rango della coppia supera quello del fibrato originale, mostrando che per $\delta$ sufficientemente grande lo spazio è vuoto o isomorfo a spazi di moduli di fibrati, mentre per $\delta$ intermedi si ottengono strutture ricche di SQM.
• Casi $s=r$ e $s=r+1$: Vengono analizzati casi limite dove si verificano contrazioni divisoriali specifiche, portando a spazi proiettivi o bundle proiettivi.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Generalizzazione: Estende i risultati noti per $\mathbb{P}^1$ (dove gli schemi di Quot sono ben compresi) a curve di genere arbitrario $g \ge 2$, un contesto geometrico molto più complesso.
2. Strumento Unificante: Dimostra che la teoria delle coppie stabili (introdotta da Bradlow e sviluppata da Thaddeus, Wang, Lin, ecc.) è uno strumento potente non solo per la teoria dei moduli, ma anche per la geometria birazionale degli schemi di Quot.
3. Classificazione Completa: Fornisce una classificazione completa della struttura birazionale degli schemi di Quot per $n \gg 0$, descrivendo esattamente come lo spazio si deforma attraverso le pareti di stabilità.
4. Programma di Mori: Conferma che questi spazi naturali in geometria algebrica rientrano nella categoria degli "Mori dream spaces", permettendo l'applicazione di potenti tecniche del Programma di Modello Minimo (MMP) per studiarne le proprietà.

In sintesi, il paper risolve il problema della geometria birazionale degli schemi di Quot su curve di genere alto, dimostrando che possiedono una struttura "Mori dream" ben definita e fornendo una mappa esplicita delle loro fasi birazionali attraverso lo studio degli spazi di moduli delle coppie stabili.