Derived equivalence for the simple flop of type $G_2^{\dagger}$ via tilting bundles

1. Enunciato del Problema e Contesto

Il lavoro affronta un caso specifico della congettura DK (intitolata a Bondal e Orlov, nonché Kawamata), la quale postula che se due varietà algebriche lisce $X_+$ e $X_-$ sono $K$-equivalenti (ovvero esiste una risoluzione comune $\tilde{X}$ tale che i pullback dei loro divisori canonici sono linearmente equivalenti), allora sono $D$-equivalenti (ovvero le loro categorie derivate limitate di fasci coerenti, $D^b(\text{coh } X_+)$ e $D^b(\text{coh } X_-)$, sono equivalenti come categorie triangolate).

Mentre la congettura è nota per i flop standard (come il flop di Atiyah) e per certi casi omogenei, questo lavoro si concentra su un esempio eccezionale e non omogeneo:

• L'Oggetto: Un flop semplice di tipo $G^\dagger_2$.
• La Geometria: Questo flop nasce da un "tetto" (una varietà $W$ che ammette due distinte strutture di fibrato in $\mathbb{P}^2$) che non è una varietà omogenea razionale. Ciò lo distingue da tutti i flop semplici studiati in precedenza, che erano derivati da tetti omogenei.
• Il Modello Locale: Le varietà $X_+$ e $X_-$ sono spazi totali di fibrati vettoriali su una quadrica 5-dimensionale $Q_5$, specificamente $X_\pm = \text{Tot}_{Q_5}(G_\pm^\vee(-1))$, dove $G_\pm$ sono fibrati di Ottaviani (fibrati stabili di rango 3 con classi di Chern $(2,2,2)$).
• La Sfida: Costruire un'equivalenza derivata esplicita $\Phi: D^b(\text{coh } X_+) \xrightarrow{\sim} D^b(\text{coh } X_-)$ che rispetti l'anello base $R = H^0(X_\pm, \mathcal{O}_{X_\pm})$ (ovvero un'equivalenza $R$-lineare compatibile con le contrazioni di flop).

2. Metodologia

L'autore impiega il metodo dei fasci di tilting per stabilire l'equivalenza derivata. La strategia fondamentale coinvolge:

1. Costruzione di Fasci di Tilting: Trovare un fibrato vettoriale $T_\pm$ su ciascun lato ($X_+$ e $X_-$) che soddisfi le condizioni di tilting (generare la categoria derivata e non avere estensioni proprie superiori).
2. Isomorfismo degli Anelli di Endomorfismo: Dimostrare che le algebre di endomorfismo $\Lambda_+ = \text{End}_{X_+}(T_+)$ e $\Lambda_- = \text{End}_{X_-}(T_-)$ sono isomorfe come algebre su $R$.
3. Diagramma di Scambio: Utilizzare la geometria del "tetto" $W$ (il divisore eccezionale del blow-up) per relazionare i fibrati su $X_+$ e $X_-$ tramite un "fascio chiave" $E$ definito su $W$.

Passaggi Tecnici Chiave:

• Calcoli di Borel–Bott–Weil: L'autore esegue calcoli coomologici dettagliati sulla quadrica 5-dimensionale $Q_5$ (uno spazio omogeneo di tipo $B_3$) per determinare la nullità dei gruppi Ext per vari fibrati, inclusi i fibrati di Ottaviani e i fibrati spinoriali.
• Modifica del Fascio di Kapranov: Un fascio di tilting standard su $Q_5$ (dovuto a Kapranov) non si solleva a un fascio di tilting su $X_\pm$ perché acquisisce $\text{Ext}^1$ non nullo. L'autore risolve questo problema prendendo un'estensione non banale di specifici summandi per annullare l'ostacolo, creando un nuovo fascio di tilting $T_\pm$.
• Il Diagramma di Scambio: La dimostrazione si basa su un particolare fibrato vettoriale $E$ sul tetto $W$. Tirando indietro $E$ alla risoluzione comune $\tilde{X}$ e spingendolo in avanti su $X_\pm$, l'autore mostra che $E$ genera i specifici fasci di estensione $P_\pm$ richiesti per i fasci di tilting su entrambi i lati.

3. Contributi e Risultati Chiave

A. Costruzione dei Fasci di Tilting

Il lavoro costruisce esplicitamente i fasci di tilting $T_\pm$ su $X_\pm$. Sia $S_\pm$ il fibrato spinoriale su $Q_5$ e $P_\pm$ l'unica estensione non banale definita da:
$$0 \to \mathcal{O}_{X_\pm}(-2) \to P_\pm \to S_{X_\pm}^\vee \to 0$$
Il fascio di tilting è dato da:
$$T_\pm = \mathcal{O}_{X_\pm}(-2) \oplus \mathcal{O}_{X_\pm}(-1) \oplus \mathcal{O}_{X_\pm} \oplus \mathcal{O}_{X_\pm}(1) \oplus \mathcal{O}_{X_\pm}(2) \oplus P_\pm$$
L'autore dimostra (Teorema 3.5) che $T_\pm$ genera $D^b(\text{coh } X_\pm)$ e soddisfa $\text{Ext}^i(T_\pm, T_\pm) = 0$ per $i > 0$.

B. Il Teorema Principale (Equivalenza Derivata)

Teorema 1.2: Esiste un'equivalenza esatta di categorie triangolate $R$-lineari:
$$\Phi: D^b(\text{coh } X_+) \xrightarrow{\sim} D^b(\text{coh } X_-)$$
tale che $Rf_{+*} \simeq Rf_{-*} \circ \Phi$.

• Significato: Ciò conferma la congettura DK per il primo flop semplice non omogeneo noto.
• Meccanismo: L'equivalenza è indotta dall'isomorfismo degli anelli di endomorfismo $\Lambda \cong \text{End}_{X_+}(T_+) \cong \text{End}_{X_-}(T_-)$.

C. Risoluzioni Crepanti Non Commutative (NCCR)

Corollario 3.9: L'algebra $\Lambda$ costruita sopra è una Risoluzione Crepante Non Commutativa (NCCR) della singolarità $\text{Spec } R$.

• Ciò fornisce un esempio concreto in cui uno schema affine singolare ammette un NCCR che è derivatamente equivalente a entrambe le sue risoluzioni crepanti proiettive ($X_+$ e $X_-$).
• Si dimostra che i moduli $f_{+\ast}T_+$ e $f_{-\ast}T_-$ sono Cohen-Macaulay, soddisfacendo i criteri per le NCCR.

D. Intuizioni Geometriche

• Il Tetto $W$: Il lavoro chiarisce la geometria del tetto $W$ (un'intersezione liscia di divisori in $OGr(3,8)$), identificandolo come l'unico tetto non omogeneo noto.
• Superfici K3: Il flop induce un'equivalenza derivata tra due superfici K3 non isomorfe di grado 12 (luoghi di zeri di sezioni dei fibrati di Ottaviani twistati), offrendo una nuova prospettiva sulla loro D-equivalenza.

4. Significato e Impatto

1. Superare l'Omogeneità: Prima di questo lavoro, le equivalenze derivate per i flop semplici erano in gran parte limitate a casi in cui il divisore eccezionale (il tetto) era una varietà omogenea razionale. Questo lavoro dimostra la congettura DK per un tetto non omogeneo, espandendo significativamente la portata delle $D$-equivalenze note nella geometria birazionale.
2. Avanzamento Metodologico: La tecnica di modificare un fascio di tilting noto prendendo una specifica estensione non banale (per eliminare $\text{Ext}^1$) fornisce un modello robusto per costruire fasci di tilting in contesti più complessi e non omogenei.
3. Costruzione di NCCR: La costruzione esplicita dell'NCCR $\Lambda$ per la singolarità $G^\dagger_2$ contribuisce al problema di tipo "Craw–Ishii", collegando risoluzioni geometriche agli spazi dei moduli di moduli su algebre non commutative.
4. Alternativa alla Mutazione: Mentre altri lavori (ad esempio di Kanemitsu o Toda) utilizzano mutazioni di decomposizioni semi-ortogonali (SOD) per dimostrare tali equivalenze, questo lavoro utilizza fasci di tilting. Questo approccio produce una descrizione più esplicita dell'equivalenza e garantisce la $R$-linearità (compatibilità con la contrazione del flop) in modo più diretto, aspetto che può essere difficile da verificare con i metodi di mutazione.

In sintesi, il lavoro di Wahei Hara risolve con successo l'equivalenza derivata per l'eccezionale flop semplice $G^\dagger_2$ costruendo fasci di tilting espliciti e identificando la relativa risoluzione crepante non commutativa, colmando così un divario tra la geometria birazionale omogenea e non omogenea.