A categorical Torelli theorem for quartic del Pezzo surfaces

1. Il Problema: Il Problema di Torelli Categorical

Il lavoro affronta il problema di Torelli categorico per le superfici di Del Pezzo di grado 4.
Il problema classico di Torelli chiede se una varietà algebrica $X$ è determinata univocamente dai suoi invarianti geometrici classici (come il periodo). La versione "categorica" riformula questa domanda nel contesto della teoria delle categorie derivate:

• Domanda: Se due varietà $X$ e $Y$ hanno categorie derivate equivalenti ($D^b(X) \cong D^b(Y)$), sono isomorfe? In generale, la risposta è no (esistono varietà non isomorfe con categorie derivate equivalenti).
• Raffinamento: Se invece si considera un sotto-categorico ammissibile specifico, chiamato componente di Kuznetsov ($A_X$), definito come l'ortogonale destro del fascio strutturale $\mathcal{O}_X$ nella categoria derivata ($A_X = \mathcal{O}_X^\perp \subset D^b(X)$), l'equivalenza $A_X \cong A_Y$ implica che $X \cong Y$?

Per le superfici di Del Pezzo di grado 4, la componente di Kuznetsov è l'oggetto di studio centrale. L'obiettivo è dimostrare che $A_X$ contiene abbastanza informazioni geometriche per ricostruire canonicamente la superficie $X$.

2. Metodologia e Strumenti Teorici

L'autore utilizza una combinazione di geometria algebrica, teoria delle categorie triangolate e teoria dei gruppi. I punti chiave metodologici sono:

• Equivalenza con Curve Pesate: Si sfrutta il risultato noto (Bondal-Orlov, Kuznetsov) che per una superficie di Del Pezzo di grado 4 $X$, la componente di Kuznetsov è equivalente alla categoria derivata di fasci coerenti su una retta progettuale pesata $P_X$ di tipo $(2,2,2,2,2)$.
  $$A_X \cong D^b(\text{coh } P_X)$$
  La retta $P_X$ è associata al fascio di quadriche contenente l'immagine anticanonica di $X$ in $\mathbb{P}^4$. I 5 punti pesati corrispondono alle quadriche degeneri del fascio.

• Ricostruzione Canonica e Funzioni "Heavily Separable":
  Il contributo metodologico principale è l'uso della nozione di funzione pesantemente separabile (heavily separable functor). Una funzione $\Phi: \mathcal{C} \to \mathcal{D}$ è pesantemente separabile se ammette un'inversa sinistra a livello di morfismi che è compatibile con la composizione.
  L'autore dimostra che il funtore che associa a una superficie $X$ la sua componente $A_X$ è pesantemente separabile. Questo implica che qualsiasi equivalenza tra le componenti $A_X$ e $A_Y$ induce un isomorfismo canonico tra le superfici $X$ e $Y$.

• Analisi dei Gruppi di Automorfismo:
  Per provare la separabilità, si analizzano i gruppi di automorfismi:

  1. Il gruppo di automorfismi della superficie $\text{Aut}(X)$.
  2. Il gruppo di autoequivalenze della componente $\text{Aut}(A_X)$.
     Si dimostra che l'omomorfismo naturale $\text{Aut}(X) \to \text{Aut}(A_X)$ si spezza (ammette una sezione sinistra). Questo si ottiene studiando l'azione di questi gruppi su:
  • La retta progettuale pesata $P_X$.
  • L'insieme delle classi di divisori $H_X$ (classi di fibre di fasci di coniche).
  • L'insieme delle quadriche degeneri $Q_X$.
    Si utilizza la teoria dei gruppi di Coxeter di tipo $B_5$ e $D_5$ per descrivere le permutazioni di queste strutture.

• Discesa di Galois:
  Per estendere i risultati da campi algebricamente chiusi a campi perfetti arbitrari, si utilizza la discesa di Galois, trattando le superfici come oggetti con azione del gruppo di Galois.

3. Risultati Principali

Il paper presenta quattro teoremi fondamentali:

• Teorema A (Caso di campo algebricamente chiuso):
  Sia $k$ un campo algebricamente chiuso di caratteristica $\neq 2$. Il funtore che associa a una superficie di Del Pezzo di grado 4 (con azione di un gruppo $G$) la sua componente di Kuznetsov è pesantemente separabile.

  • Conseguenza: Se $A_X \cong A_Y$ (come categorie $G$-equivarianti), allora $X \cong Y$ (come superfici $G$-isomorfe). La ricostruzione è canonica.

• Teorema B (Campo perfetto arbitrario):
  Sia $k$ un campo perfetto di caratteristica $\neq 2$. Se due superfici di Del Pezzo di grado 4 $X$ e $Y$ su $k$ hanno componenti di Kuznetsov equivalenti tramite un'equivalenza di tipo Fourier-Mukai, allora $X$ e $Y$ sono isomorfe su $k$.

  • Nota: La restrizione al tipo Fourier-Mukai è tecnica per garantire la compatibilità con la discesa di Galois, ma è soddisfatta dalle equivalenze naturali costruite.

• Teorema C (Applicazione alla Birazionalità):
  Per superfici di Del Pezzo di grado 4 minime (cioè con rango del gruppo di Picard $\text{Pic}(X)^G = 1$) su un campo perfetto:
  $$X \cong Y \iff X \text{ è birazionale a } Y \iff A_X \cong A_Y$$
  Questo conferma la congettura che due superfici razionali geometriche sono birazionali se e solo se hanno lo stesso "atomo" non banale (la componente di Kuznetsov).

• Teorema D (Indecomponibilità):
  La componente ortogonale $A_X$ di una superficie di Del Pezzo di grado 4 minima è semi-ortogonalmente indecomponibile.

  • Questo conferma la congettura di Auel e Bernardara [AB18] e giustifica la terminologia "atomo" usata in lavori recenti [ESS25].
  • Il risultato si estende anche ai fasci di coniche minimi di grado $\le 4$.

4. Significato e Impatto

1. Risoluzione del Problema di Torelli: Il lavoro risolve positivamente il problema di Torelli categorico per le superfici di Del Pezzo di grado 4, una classe di varietà che non era stata trattata in modo completo in precedenza rispetto ai casi di grado $\ge 5$ (dove la componente non è ben definita) o grado 3 (cubi).
2. Ricostruzione Canonica: A differenza di molti risultati precedenti che stabiliscono solo l'esistenza di un isomorfismo, questo lavoro dimostra che la ricostruzione è canonica e naturale, fornendo un meccanismo esplicito per passare dall'equivalenza categoriale all'isomorfismo geometrico.
3. Validità su Campi Arbitrari: L'estensione dei risultati a campi perfetti arbitrari (non solo algebricamente chiusi) è cruciale per la geometria aritmetica e per lo studio delle forme minime di queste superfici.
4. Connessione tra Geometria e Teoria delle Categorie: Il paper rafforza il legame tra la struttura geometrica (fasci di quadriche, classi di divisori) e la struttura categoriale (autoequivalenze, decomposizioni semi-ortogonali), mostrando come le simmetrie combinatorie dei gruppi di Coxeter governino la rigidità della categoria derivata.
5. Conferma di Congetture: Il lavoro conferma congetture aperte riguardanti l'indecomponibilità delle componenti di Kuznetsov per superfici minime e la relazione tra birazionalità e equivalenza categoriale per le superfici razionali minime.

In sintesi, Elagin dimostra che la componente di Kuznetsov è un invariante completo e robusto per le superfici di Del Pezzo di grado 4, permettendo di ricostruire la varietà geometrica a partire dai dati puramente categoriali, anche in contesti equivarianti e su campi non algebricamente chiusi.