Nef and Effective cones of some Quot Schemes

Titolo: Coni Nef ed Effettivi di Alcuni Schemi Quot

1. Il Problema e il Contesto

Il lavoro si concentra sullo studio della geometria birazionale degli schemi Quot associati a fibrati vettoriali su curve algebriche lisce proiettive. Nello specifico, gli autori analizzano lo schema $Q_L$, che parametrizza i quozienti di rango $k$ e grado $d$ del fibrato banale $O_C^{\oplus r}$ su una curva $C$ di genere $g(C)$, fissando il determinante del fascio quoziente a un fibrato lineare $L$ di grado $d$.

Mentre il caso della curva razionale ($C \cong \mathbb{P}^1$) è stato ampiamente studiato (con risultati noti sui coni nef, effettivi e mobili da Stromme, Jow, Venkatesh e Ito), il caso di genere $g \geq 2$ presenta sfide significative.
Il problema centrale è determinare la struttura dei coni di divisori (nef, effettivo, mobile) e la classe del divisore canonico per $Q_L$ quando il grado $d$ è sufficientemente grande ($d \gg 0$). In particolare, gli autori vogliono verificare se $Q_L$ è uno spazio di Mori Dream e stabilire condizioni necessarie e sufficienti affinché sia una varietà Fano.

2. Metodologia

Gli autori adottano un approccio che combina la teoria degli schemi Quot, la geometria dei moduli di fasci stabili e tecniche di coomologia e cambiamento di base.

• Ipotesi di Lavoro: Si assume $d \gg 0$. Si considerano due casi di genere e rango:

  • $g(C) \geq 3$ con $2 \leq k \leq r-2$.
  • $g(C) = 2$ con $3 \leq k \leq r-2$.
    In queste condizioni, $Q_L$ è noto (da lavori precedenti degli stessi autori in [GS24]) essere uno schema integro, normale, intersezione completa locale e localmente fattoriale, con rango di Picard pari a 2.

• Generazione del Gruppo di Picard: Viene dimostrato che il gruppo di Picard $\text{Pic}(Q_L)$ è generato da due fibrati lineari specifici, denotati come $\alpha$ e $\beta_{d+g-1}$.

  • $\alpha$: Deriva da una mappa naturale verso uno spazio proiettivo associato al duale del fascio kernel.
  • $\beta_{d+g-1}$: Deriva dal determinante del fascio diretto $p_{2*}(F \otimes M)$, dove $F$ è il fascio quoziente universale e $M$ è un fibrato lineare di grado $d+g-1$.

• Costruzione di Curve Test: Per calcolare i coni, gli autori costruiscono curve specifiche ($D_1, D_2, D_3, D_4$) all'interno di $Q_L$ (o in suoi aperti densi) per valutare l'intersezione con i generatori del gruppo di Picard.

  • Le curve $D_1$ e $D_2$ servono a determinare i bordi del cono nef.
  • Le curve $D_3$ e $D_4$ sono costruite utilizzando spazi di moduli di fasci stabili ($M^s_{k,L}$ e $M^s_{r-k,L}$) e servono a determinare i bordi del cono effettivo.

• Calcolo del Divisore Canonico: Utilizzando la sequenza universale e la formula di Grothendieck-Riemann-Roch (implicita nel calcolo dei determinanti dei fasci diretti), gli autori calcolano il divisore canonico $\omega_{Q_L}$ restringendolo alle curve test per risolvere il sistema lineare che esprime $\omega_{Q_L}$ in termini di $\alpha$ e $\beta$.

3. Risultati Chiave

A. Struttura del Gruppo di Picard e Cono Nef

Il gruppo di Picard è generato da $\alpha$ e $\beta_{d+g-1}$. Entrambi sono globalmente generati (quindi nef), ma non ampi.
Il cono nef è dato da:
$$\text{Nef}(Q_L) = \mathbb{R}_{\geq 0}\alpha + \mathbb{R}_{\geq 0}\beta_{d+g-1}$$
I bordi del cono delle curve effettive sono dati dalle classi delle curve $D_1$ e $D_2$.

B. Cono Effettivo e Mobile

Il cono effettivo $\text{Eff}(Q_L)$ è generato da due classi specifiche:
$$\text{Eff}(Q_L) = \mathbb{R}_{\geq 0}(d(k + 1)\alpha - k\beta_{d+g-1}) + \mathbb{R}_{\geq 0}(-d(r - k - 1)\alpha + (r - k)\beta_{d+g-1})$$
Un risultato fondamentale è che il cono mobile coincide con il cono effettivo:
$$\text{Mov}(Q_L) = \text{Eff}(Q_L)$$
Questo implica che non ci sono divisori mobili che non siano effettivi, una proprietà forte che suggerisce una struttura geometrica ben comportata.

C. Divisore Canonico e Condizione Fano

Il divisore canonico $\omega_{Q_L}$ è espresso come:
$$\omega_{Q_L} = [d(r - 2k - 2) + r(g - 1)]\alpha + (2k - r)\beta_{d+g-1}$$
Da questa formula, gli autori derivano una condizione necessaria e sufficiente affinché $Q_L$ sia una varietà Fano (cioè, il suo anticanonico $-\omega_{Q_L}$ sia ampio):
$$Q_L \text{ è Fano} \iff r = 2k + 1$$
Questa risposta risolve una domanda aperta sollevata da Pieter Belmans.

4. Contributi e Significato

1. Generalizzazione al Genere Alto: Il lavoro estende i risultati classici noti per $\mathbb{P}^1$ (Stromme, ecc.) a curve di genere arbitrario $g \geq 2$, fornendo una descrizione completa della geometria birazionale degli schemi Quot fissando il determinante.
2. Struttura dei Coni: La determinazione esplicita dei coni nef, effettivi e mobili fornisce una mappa completa della geometria dei divisori su queste varietà, permettendo di studiare le loro contrazioni e trasformazioni birazionali.
3. Spazi di Mori Dream: Il fatto che $\text{Mov}(Q_L) = \text{Eff}(Q_L)$ e la descrizione finita dei generatori suggeriscono fortemente che $Q_L$ sia uno spazio di Mori Dream (Mori Dream Space), una classe di varietà con una teoria di Mori ben comportata.
4. Classificazione Fano: La condizione $r = 2k + 1$ per la proprietà Fano è un risultato netto e sorprendente che collega direttamente i parametri topologici della varietà (rango del fibrato banale e rango del quoziente) alla sua curvatura.
5. Metodologia Robusta: L'uso combinato di schemi Quot, spazi di moduli di fasci stabili e tecniche di coomologia fornisce un modello metodologico per l'analisi di varietà di moduli complesse in dimensione superiore.

In sintesi, il paper fornisce una caratterizzazione completa della geometria dei divisori per una classe importante di schemi di moduli, colmando un divario significativo tra la teoria delle curve razionali e quelle di genere superiore.