Cubic fourfolds containing highly singular hyperplane sections

Sintesi Tecnica: Quatrifolde Cubiche Contenenti Sezioni Iperpiane Altamente Singolari

Problema
Il saggio affronta la classificazione dei divisori all'interno dello spazio di moduli $\mathcal{C}$ delle quatrifolde cubiche lisce complesse. Un tema centrale nello studio di $\mathcal{C}$ è la distinzione tra quatrifolde cubiche "speciali" (quelle che contengono una superficie non omologa a una intersezione completa, parametrizzata dai divisori di Hassett) e quelle "non speciali". Mentre i divisori di Hassett sono ben compresi e legati a costruzioni di razionalità, vi è una scarsità di equazioni esplicite note per i divisori non-Hassett. Gli autori mirano a costruire nuovi divisori irriducibili in $\mathcal{C}$ che parametrizzano quatrifolde cubiche lisce contenenti sezioni iperpiane con specifiche configurazioni altamente singolari (nello specifico, singolarità con numero di Tjurina totale 6) e dimostrano che questi divisori non sono divisori di Hassett. Ciò contribuisce all'obiettivo più ampio di identificare esempi espliciti di quatrifolde cubiche irrazionali, come garantito dalla teoria degli atomi di Hodge per le quatrifolde non speciali.

Metodologia
Gli autori impiegano una combinazione di geometria algebrica, teoria delle singolarità e teoria dei numeri computazionale:

1. Costruzione Geometrica e Teoria della Deformazione:

   • Gli autori definiscono i loci $D_K \subset \mathcal{C}$ che parametrizzano quatrifolde cubiche contenenti una sezione iperplanica $Y$ con un tipo di singolarità specifico $K$ (dove $K$ rappresenta combinazioni di singolarità ADE o la singolarità $T_{333}$).
   • Utilizzano la classificazione delle singolarità delle cubiche tridimensionali (sezioni iperpiane) per identificare combinazioni con numero di Tjurina totale $\tau(Y) = 6$.
   • Per dimostrare che questi loci sono divisori (codimensione 1), analizzano la teoria della deformazione della sezione iperplanica singolare $Y$ all'interno della quatrifolde ambiente $X$. Nello specifico, esaminano la mappa globale-locale $\phi: H^0(Y, \mathcal{O}(1)) \to \bigoplus_{p \in \text{Sing}(Y)} T^1_{Y_p}$.
   • Utilizzando esempi espliciti costruiti tramite il sistema algebrico computazionale MAGMA, dimostrano che per membri generici di questi loci la mappa $\phi$ è iniettiva. Questa iniettività implica che una quatrifolde cubica generica in questi loci contiene solo un numero finito di tali sezioni iperpiane, confermando che i loci sono effettivamente divisori (o codimensione 2 per il caso $T_{333}$).

2. Verifica Computazionale della Non-Specialità (Metodo Addington–Auel):

   • Per dimostrare che i costruiti divisori non sono divisori di Hassett (ovvero le quatrifolde non sono speciali), gli autori applicano il metodo computazionale sviluppato da Addington e Auel.
   • Questo metodo si basa sul lavoro di van Luijk per le superfici K3. Esso comporta la selezione di una specifica quatrifolde cubica $X$ definita su $\mathbb{Q}$ all'interno del divisore, la riduzione modulo un primo (specificamente $p=2$) e il conteggio dei punti su campi finiti $\mathbb{F}_{2^m}$.
   • Utilizzando la formula del traccia di Lefschetz, calcolano il polinomio caratteristico $\chi(t)$ dell'azione di Frobenius sulla coomologia étale primitiva $H^4_{\text{ét, prim}}$.
   • Secondo il Corollario 4.3, se $\chi(t)$ è irriducibile su $\mathbb{Q}$ e non tutti i suoi coefficienti sono interi, la quatrifolde cubica è non speciale. Gli autori implementano questo processo utilizzando la libreria CubicLib.m per verificare questa condizione per rappresentanti espliciti di ciascun divisore.

Contributi Chiave e Risultati

• Costruzione di Nuovi Divisori: Il saggio costruisce cinque divisori irriducibili in $\mathcal{C}$:
  • $D_{E6}$ e $D_{D6}$: Parametrizzano quatrifolde con sezioni iperpiane aventi singolarità $E_6$ e $D_6$, rispettivamente.
  • $D_{D5+A1}$ e $D_{D4+A2}$: Parametrizzano quatrifolde con sezioni iperpiane aventi $D_5+A_1$ e $D_4+A_2$ singolarità.
  • $D_{D4+2A1}$: Questo locus si scinde in due componenti irriducibili, $D^0_{D4+2A1}$ e $D^1_{D4+2A1}$, distinte dal difetto $\sigma(Y)$ della sezione iperplanica singolare.
• Risultati sulla Codimensione: Il locus $D_{T333}$ (che parametrizza quatrifolde con una singolarità $T_{333}$, una singolarità unimodulare di corank 3 e numero di Tjurina 8) è dimostrato essere una varietà irriducibile di codimensione 2 in $\mathcal{C}$.
• Classificazione Non-Hassett:
  • Gli autori dimostrano che $D_{E6}, D_{D6}, D_{D5+A1}, D_{D4+A2}$ e $D^0_{D4+2A1}$ non sono divisori di Hassett.
  • Mostrano che $D^1_{D4+2A1}$ coincide con il noto divisore di Hassett $C_8$ (parametrizzante quatrifolde contenenti un piano).
  • Il locus di codimensione 2 $D_{T333}$ è mostrato non essere contenuto in alcun divisore di Hassett.
• Equazioni Esplicite: Il saggio fornisce equazioni polinomiali esplicite per i rappresentanti di ciascun divisore, che possono essere utilizzate per generare esempi di quatrifolde cubiche irrazionali.

Significatività
Il saggio rivendica significatività principalmente nell'espandere il panorama noto dei divisori non-Hassett nello spazio di moduli delle quatrifolde cubiche. Prima di questo lavoro, solo pochi divisori non-Hassett erano esplicitamente noti (ad esempio, quelli costruiti da Ranestad–Voisin, Addington–Auel e Costa–Harvey–Kedlaya). Identificando cinque nuovi divisori irriducibili e provando la loro non-specialità tramite metodi computazionali, gli autori forniscono nuove fonti esplicite di quatrifolde cubiche irrazionali.

Inoltre, i risultati hanno implicazioni per lo studio delle compattificazioni compatte del jacobiano intermedio. Gli autori notano che il lavoro recente di Druel e Mauri [DM26] estende la costruzione delle compattificazioni iper-Kähler a quatrifolde cubiche "molto buone"—ovvero quelle che non contengono un piano, uno scroll cubico o una sezione iperplanica con una singolarità di corank 3. I risultati degli autori implicano che qualsiasi quatrifolde cubica in $\mathcal{C} \setminus (C_8 \cup C_{12} \cup D_{T333})$ è "molto buona", garantendo così l'esistenza di una varietà iper-Kähler liscia proiettiva di tipo OG10 con una fibrata lagrangiana per queste quatrifolde. Il saggio non specula su applicazioni future oltre a queste immediate conseguenze geometriche.