Explicit birational geometry of determinantal quartic 3-folds

Enunciato del Problema
Il saggio investiga la geometria birazionale esplicita delle quartiche tridimensionali determinanti lineari in $\mathbb{P}^4$. Mentre le quartiche cubiche lisce sono ben comprese tramite i loro Jacobiani intermedi e le associate curve piane, il Jacobiano intermedio di una quartica liscia è intricato. Per aggirare questa complessità, gli autori restringono lo studio alla famiglia $\mathcal{F}$ delle quartiche determinanti lineari. Un membro generico $Y \in \mathcal{F}$ è nodale (possiede 20 nodi), non-$\mathbb{Q}$-fattoriale e razionale. Il problema centrale è comprendere la geometria birazionale di queste quartiche e dei loro moduli analizzando la geometria estrinseca di una specifica curva $C \subset \mathbb{P}^3$ di grado 10 e genere 11, che governa la struttura della quartica tramite una risoluzione piccola.

Metodologia
Gli autori impiegano il Programma dei Modelli Minimi (MMP) sulla varietà $X = \text{Bl}_C \mathbb{P}^3$, il blow-up di $\mathbb{P}^3$ lungo una curva liscia $C$ di grado 10 e genere 11. La strategia si basa sulla corrispondenza tra la presentazione determinante di $Y$ e la geometria di $C$.

1. Classificazione delle Curve: Gli autori analizzano lo schema di Hilbert $\mathcal{H}_{10,11}$ delle curve di grado 10 e genere 11. Identificano un unico componente irriducibile il cui punto generico parametrizza curve lisce, irriducibili e aritmeticamente Cohen-Macauren (ACM). Identificano inoltre due divisori distinti all'interno di questo componente:

   • $D_1$: il locus delle curve semicanoniche (che soddisfano $\omega_C \cong \mathcal{O}_C(2)$).
   • $D_2$: il locus delle curve contenute in una superficie cubica liscia.
     Utilizzando il modulo di Hartshorne-Rao e la teoria del liaison, dimostrano che ogni curva irriducibile liscia in questo schema di Hilbert appartiene a una di queste tre classi (ACM, semicanonica o contenuta in una cubica).

2. Esecuzione dell'MMP: Per ogni classe di curve, gli autori eseguono l'MMP su $X$. Ciò comporta:

   • Determinare i coni nef, effettivi e mobili di $X$.
   • Calcolare la decomposizione del locus base stabile (SBLD) del cono effettivo.
   • Descrivere esplicitamente i modelli birazionali (flop, flip, contrazioni divisoriali) indotti dai divisori in queste camere.
   • Utilizzare la geometria estrinseca di $C$ (ad esempio, linee secanti, contenimento in superfici) per descrivere i loci eccezionali di queste mappe.

3. Costruzioni Esplicite: Il saggio utilizza Macaulay2 per verificare specifiche proprietà geometriche, come la regolarità dei divisori di ramificazione e la generazione di fasci ideali, per garantire che i membri generali delle famiglie si comportino come previsto.

Contributi Chiave e Risultati

• Descrizione Uniforme dei Modelli Birazionali: Il saggio stabilisce che la geometria birazionale di $X$ è governata dalla geometria estrinseca di $C$. Il cono effettivo di $X$ possiede generalmente quattro camere del locus base stabile, portando a una specifica sequenza di modelli birazionali.

  • Caso 1: Curve ACM Generiche ($C \in \mathcal{H}^\circ_{10,11}$):

    • La mappa anticanonica $f: X \to Y$ contrae esattamente venti linee 4-secanti di $C$ in 20 nodi, ottenendo una quartica determinante lineare $Y \subset \mathbb{P}^4$.
    • La varietà $X$ è uno spazio di Mori (Mori dream space).
    • L'MMP procede tramite un flop delle 20 linee 4-secanti, seguito da una contrazione divisoriale a $\mathbb{P}^3$. Questo forma un legame di Sarkisov che connette $X$ a $\mathbb{P}^3$ e $Y$.
    • Il cono effettivo è generato dal divisore eccezionale $E$ e da una classe di divisore rigido $40H - 11E$.

  • Caso 2: Curve Semicanoniche ($C \in D_1$):

    • La mappa anticanonica $f_0: X \to Y_0$ è un morfismo genericamente 2:1 su una tridimensionale quadrica $Y_0 \subset \mathbb{P}^4$.
    • Il divisore di ramificazione è una superficie di grado 8 con 20 nodi.
    • La geometria birazionale comporta un'involuzione galoisiana (Galois flip) piuttosto che uno standard flop, riflettendo la struttura di doppioamente copertura.
    • Questa specializzazione corrisponde a una doppia quadrica razionale non-$\mathbb{Q}$-fattoriale.

  • Caso 3: Curve in una Superficie Cubica ($C \in D_2$):

    • La geometria cambia significativamente: il divisore anticanonico non è più nef.
    • La curva $C$ possiede due linee 5-secanti (oltre alle linee 4-secanti).
    • L'MMP prevede un "flip inverso" delle due linee 5-secanti. Ciò porta a una tridimensionale terminale singolare $X^+$.
    • Una successiva contrazione divisoriale mappa $X^+$ in una quartica $Y_0 \subset \mathbb{P}^4$ che è $\mathbb{Q}$-fattoriale ma possiede una singolarità ellittica (formata dalla coalescenza di dieci nodi) e dieci punti doppi ordinari.

• Implicazioni sui Moduli: Gli autori mostrano che la famiglia $\mathcal{F}$ delle quartiche determinanti lineari contiene quartiche $\mathbb{Q}$-fattoriali razionali (tramite la specializzazione a $D_2$) e doppie quadriche non-$\mathbb{Q}$-fattoriali razionali (tramite la specializzazione a $D_1$). Argomentano che il Jacobiano intermedio di $X$ coincide con il Jacobiano di $C$, implicando che queste specializzazioni riflettono variazioni nei moduli della curva $C$ piuttosto che semplici degenerazioni estrinseche.

Significatività
Il saggio sostiene che il suo contributo primario sia fornire una descrizione dettagliata ed esplicita della geometria birazionale delle quartiche determinanti attraverso la geometria estrinseca della curva $C$ associata. Specificamente:

1. Generalizza il noto legame di Sarkisov per le curve ACM generiche ai casi in cui $C$ si specializza in curve semicanoniche o curve su una superficie cubica.
2. Identifica due divisori irriducibili nello spazio dei moduli di tali quartiche associati alle curve lisce non-ACM.
3. Dimostra come l'MMP possa essere utilizzato per descrivere esplicitamente la transizione da una quartica determinante generale a specializzazioni singolari (doppie quadriche e quartiche $\mathbb{Q}$-fattoriali con singolarità ellittiche).
4. Il lavoro suggerisce che lo spazio dei moduli di queste quartiche può essere studiato attraverso la geometria della curva $C$, offrendo un approccio innovativo per comprendere i moduli delle ipersuperfici determinanti, che sono altrimenti difficili da analizzare a causa della complessità dei loro Jacobiani intermedi.

Gli autori notano che, sebbene il caso generico (ACM) fosse precedentemente noto, la descrizione dettagliata dei casi non-ACM utilizzando lo schema di Hilbert e i moduli di Hartshorne-Rao è nuova. Essi dichiarano esplicitamente che un'analisi completa dello spazio dei moduli $M$ è rimandata a un lavoro futuro per mantenere la lunghezza del presente lavoro.