On the Fano dimension of an Enriques surface

Sintesi Tecnica: Sulla Dimensione Fano di una Superficie di Enriques

Enunciato del Problema
Il saggio affronta il "problema del visitatore Fano" (Fano-visitor problem), una questione di geometria algebrica e categorie derivate posta da Bondal (2011). Il problema chiede se, per ogni varietà proiettiva liscia $X$, esista una varietà Fano liscia $Y$ e un funtore pieno e fedele $D(X) \hookrightarrow D(Y)$, dove $D(X)$ denota la categoria derivata limitata dei fasci coerenti. Se tale $Y$ esiste, $X$ è definita un "visitatore Fano" e $Y$ un "ospite Fano". La "dimensione Fano" di $X$ è definita come la dimensione minima di tali ospiti Fano.

Prima di questo lavoro, Kuznetsov ([Kuz18]) ha stabilito che una superficie di Enriques generale $S$ è un visitatore Fano per un ospite Fano di dimensione sei, mentre le superfici di Enriques nodali ammettono un ospite di dimensione quattro. Il saggio mira ad abbassare il limite della dimensione Fano di una superficie di Enriques generale da sei a quattro.

Metodologia
L'autore impiega la teoria dei loci di degenerazione di morfismi tra fasci vettoriali e la geometria di fasci Grassmanniani stratificati. Gli strumenti tecnici centrali includono:

1. Loci di Degenerazione e Fasci Vettoriali: La costruzione si basa su un morfismo generale $\phi: E \to F$ di fasci vettoriali su una varietà liscia $X$, dove $E^\vee \otimes F$ è globalmente generato. Il saggio utilizza la relazione tra il locus di degenerazione $D_r(\phi)$ e i loci degli zeri di sezioni associate su fasci proiettivi.
2. Fasci Proiettivi Stratificati: Un lemma chiave (Lemma 2.3) stabilisce che per un morfismo generale $\phi: E \to F$ con ranghi $e > f$, il locus degli zeri $Y = V(\phi_E)$ all'interno del fascio proiettivo $\mathbb{P}_X(E)$ è birazionale a $X$. Crucialmente, se $f = e-1$, $Y$ è isomorfo al blow-up di $X$ lungo il locus di degenerazione $D_{f-1}(\phi)$.
3. Embedding di Categorie Derivate: Il saggio applica la formula del blow-up di Orlov e i risultati sulle decomposizioni semiortotogonali (specificamente [Kuz07, Teorema 8.8]) per stabilire gli embedding di categorie derivate. Se $Y$ è un blow-up di $X$ lungo un centro $Z$, e $Y$ è Fano, allora $D(Y)$ contiene $D(Z)$ come componente semiortotogonale.
4. Proposizione 2.4: L'autore dimostra un risultato generale affermando che, sotto specifiche condizioni (vanimento dei loci di degenerazione inferiori e una condizione di anti-ampiezza su un particolare fascio lineare), il locus degli zeri $Y$ di una sezione su un fascio proiettivo è un ospite Fano per il locus di degenerazione $Z$.

Contributi Chiave e Risultati

• Costruzione di un Ospite Fano Quadrimensionale: Il risultato primario (Teorema 3.1) costruisce una specifica quadrifold Fano $Y$ che funge da ospite per una superficie di Enriques generale $S$.

  • Realizzazione Geometrica: Sia $X = \mathbb{P}^2 \times \mathbb{P}^2$. L'autore considera i fasci vettoriali $E = \mathcal{O}_X \otimes W_3$ e $F = \mathcal{O}_X(2,0) \oplus \mathcal{O}_X(0,2)$. Un morfismo generale $\phi: E \to F$ definisce una superficie di Enriques generale $S$ come il primo locus di degenerazione $D_1(\phi)$.
  • La Varietà Ospite: La varietà $Y$ è definita come il locus degli zeri di una sezione del fascio $\mathcal{O}(1,0,2) \oplus \mathcal{O}(1,2,0)$ all'interno di $\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2$.
  • Isomorfismo: Il saggio dimostra che $Y \cong \text{Bl}_S(\mathbb{P}^2 \times \mathbb{P}^2)$, ovvero il blow-up di $\mathbb{P}^2 \times \mathbb{P}^2$ lungo la superficie di Enriques $S$.
  • Proprietà Fano: Utilizzando la formula di adjunction, si dimostra che $Y$ è una varietà Fano (il suo fascio anti-canonico è ampio).

• Decomposizione della Categoria Derivata: Il Corollario 3.3 stabilisce la decomposizione semiortotogonale della categoria derivata di $Y$:
  $$D(Y) = \langle D(S), E_1, \dots, E_9 \rangle$$
  dove $E_1, \dots, E_9$ sono fasci eccezionali derivanti dalla collezione eccezionale di $\mathbb{P}^2 \times \mathbb{P}^2$. Ciò conferma che $S$ è un visitatore Fano per $Y$.

• Invarianti e Torsione:

  • Il diamante di Hodge di $Y$ è diagonale.
  • La coomologia integrale $H^4(Y, \mathbb{Z})$ contiene un sommando isomorfo al reticolo di rango dieci $\Lambda$ della superficie di Enriques più una componente di torsione $\mathbb{Z}/2\mathbb{Z}$.
  • Di conseguenza, $K_0(Y)$ contiene una classe di 2-torsione, il che implica che $D(Y)$ non ammette una collezione eccezionale completa.

• Argomento sul Limite Inferiore: Il saggio sostiene che la dimensione Fano di una superficie di Enriques generale è esattamente 4. Poiché $S$ non può essere immersa in una curva o superficie Fano (a causa delle restrizioni dimensionali e dei vincoli della teoria di Hodge), l'autore esclude le trifold Fano. Se una trifold Fano $Y'$ fosse un ospite, il suo rango di Picard dovrebbe essere almeno 5 per accomodare le dimensioni dell'omologia di Hochschild. Tuttavia, tutte le note trifold Fano con rango di Picard $\ge 5$ ammettono collezioni eccezionali complete, il che implica che i loro gruppi di Grothendieck sono privi di torsione, contraddicendo la presenza di 2-torsione indotta da $S$.

Significatività
Il saggio sostiene di migliorare il limite noto per la dimensione Fano di una superficie di Enriques generale da 6 a 4. Costruendo esplicitamente una quadrifold Fano $Y$ contenente $D(S)$ come componente semiortotogonale, il lavoro fornisce una soluzione concreta al problema del visitatore Fano per questa classe di superfici. La costruzione evidenzia il profondo intercorso tra loci di degenerazione, blow-up di prodotti di spazi proiettivi e categorie derivate. Il risultato rinforza inoltre la connessione tra la torsione nel gruppo di Grothendieck dell'ospite e l'esistenza di collezioni eccezionali complete.