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

1. Énoncé du problème et contexte

L'article traite d'un cas spécifique de la conjecture DK (nommée d'après Bondal, Orlov et Kawamata), qui postule que si deux variétés algébriques lisses $X_+$ et $X_-$ sont $K$-équivalentes (c'est-à-dire qu'il existe une résolution commune $\tilde{X}$ telle que les images réciproques de leurs diviseurs canoniques soient linéairement équivalentes), alors elles sont $D$-équivalentes (c'est-à-dire que leurs catégories dérivées bornées de faisceaux cohérents, $D^b(\text{coh } X_+)$ et $D^b(\text{coh } X_-)$, sont équivalentes en tant que catégories triangulées).

Bien que la conjecture soit connue pour les flops standards (comme le flop d'Atiyah) et certains cas homogènes, cet article se concentre sur un exemple exceptionnel et non homogène :

• L'objet : Un flop simple de type $G^\dagger_2$.
• La géométrie : Ce flop provient d'un « toit » (une variété $W$ admettant deux structures distinctes de fibré en $\mathbb{P}^2$) qui n'est pas une variété homogène rationnelle. Cela le distingue de tous les flops simples précédemment étudiés, qui étaient dérivés de toits homogènes.
• Le modèle local : Les variétés $X_+$ et $X_-$ sont des espaces totaux de fibrés vectoriels sur une quadrique de dimension 5, $Q_5$, spécifiquement $X_\pm = \text{Tot}_{Q_5}(G_\pm^\vee(-1))$, où $G_\pm$ sont des fibrés d'Ottaviani (fibrés stables de rang 3 avec classes de Chern $(2,2,2)$).
• Le défi : Construire une équivalence dérivée explicite $\Phi: D^b(\text{coh } X_+) \xrightarrow{\sim} D^b(\text{coh } X_-)$ qui respecte l'anneau de base $R = H^0(X_\pm, \mathcal{O}_{X_\pm})$ (c'est-à-dire une équivalence $R$-linéaire compatible avec les contractions de flop).

2. Méthodologie

L'auteur emploie la méthode des fibrés de torsion pour établir l'équivalence dérivée. La stratégie centrale implique :

1. Construction de fibrés de torsion : Trouver un fibré vectoriel $T_\pm$ de chaque côté ($X_+$ et $X_-$) satisfaisant les conditions de torsion (générant la catégorie dérivée et n'ayant pas d'extensions auto-élevées).
2. Isomorphisme d'anneaux d'endomorphismes : Prouver que les algèbres d'endomorphismes $\Lambda_+ = \text{End}_{X_+}(T_+)$ et $\Lambda_- = \text{End}_{X_-}(T_-)$ sont isomorphes en tant qu'algèbres $R$.
3. Diagramme d'échange : Utiliser la géométrie du « toit » $W$ (le diviseur exceptionnel du blow-up) pour relier les fibrés sur $X_+$ et $X_-$ via un « fibré clé » $E$ défini sur $W$.

Étapes techniques clés :

• Calculs de Borel–Bott–Weil : L'auteur effectue des calculs cohomologiques détaillés sur la quadrique de dimension 5 $Q_5$ (un espace homogène de type $B_3$) pour déterminer la nullité des groupes Ext pour divers fibrés, y compris les fibrés d'Ottaviani et les fibrés spinoriels.
• Modification du fibré de Kapranov : Un fibré de torsion standard sur $Q_5$ (dû à Kapranov) ne se relève pas en un fibré de torsion sur $X_\pm$ car il acquiert des $\text{Ext}^1$ non nuls. L'auteur résout cela en prenant une extension non triviale de certains facteurs directs pour annuler l'obstruction, créant ainsi un nouveau fibré de torsion $T_\pm$.
• Le diagramme d'échange : La preuve repose sur un fibré vectoriel spécifique $E$ sur le toit $W$. En tirant $E$ en arrière vers la résolution commune $\tilde{X}$ et en le poussant vers l'avant vers $X_\pm$, l'auteur montre que $E$ génère les fibrés d'extension spécifiques $P_\pm$ requis pour les fibrés de torsion des deux côtés.

3. Contributions et résultats clés

A. Construction de fibrés de torsion

L'article construit explicitement les fibrés de torsion $T_\pm$ sur $X_\pm$. Soit $S_\pm$ le fibré spinoriel sur $Q_5$ et $P_\pm$ l'unique extension non triviale définie par :
$$0 \to \mathcal{O}_{X_\pm}(-2) \to P_\pm \to S_{X_\pm}^\vee \to 0$$
Le fibré de torsion est donné par :
$$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'auteur prouve (Théorème 3.5) que $T_\pm$ génère $D^b(\text{coh } X_\pm)$ et satisfait $\text{Ext}^i(T_\pm, T_\pm) = 0$ pour $i > 0$.

B. Le théorème principal (Équivalence dérivée)

Théorème 1.2 : Il existe une équivalence exacte de catégories triangulées $R$-linéaires :
$$\Phi: D^b(\text{coh } X_+) \xrightarrow{\sim} D^b(\text{coh } X_-)$$
telle que $Rf_{+*} \simeq Rf_{-*} \circ \Phi$.

• Signification : Cela confirme la conjecture DK pour le premier flop simple non homogène connu.
• Mécanisme : L'équivalence est induite par l'isomorphisme des anneaux d'endomorphismes $\Lambda \cong \text{End}_{X_+}(T_+) \cong \text{End}_{X_-}(T_-)$.

C. Résolutions crépantes non commutatives (NCCR)

Corollaire 3.9 : L'algèbre $\Lambda$ construite ci-dessus est une Résolution Crépante Non Commutative (NCCR) de la singularité $\text{Spec } R$.

• Cela fournit un exemple concret où un schéma affine singulier admet une NCCR qui est dérivée-équivalente à ses deux résolutions crépantes projectives ($X_+$ et $X_-$).
• Les modules $f_{+\ast}T_+$ et $f_{-\ast}T_-$ sont montrés comme étant Cohen-Macaulay, satisfaisant les critères pour les NCCR.

D. Insights géométriques

• Le toit $W$ : L'article clarifie la géométrie du toit $W$ (une intersection lisse de diviseurs dans $OGr(3,8)$), l'identifiant comme le seul toit non homogène connu.
• Surfaces K3 : Le flop induit une équivalence dérivée entre deux surfaces K3 non isomorphes de degré 12 (lieux zéro de sections des fibrés d'Ottaviani tordus), offrant une nouvelle perspective sur leur D-équivalence.

4. Signification et impact

1. Rupture de l'homogénéité : Avant ce travail, les équivalences dérivées pour les flops simples étaient largement restreintes aux cas où le diviseur exceptionnel (le toit) était une variété homogène rationnelle. Cet article prouve la conjecture DK pour un toit non homogène, élargissant considérablement le champ des équivalences $D$ connues en géométrie birationnelle.
2. Avancement méthodologique : La technique de modification d'un fibré de torsion connu en prenant une extension non triviale spécifique (pour éliminer $\text{Ext}^1$) fournit un modèle robuste pour construire des fibrés de torsion dans des contextes plus complexes et non homogènes.
3. Construction de NCCR : La construction explicite de la NCCR $\Lambda$ pour la singularité $G^\dagger_2$ contribue au problème de type « Craw–Ishii », reliant les résolutions géométriques aux espaces de modules de modules sur des algèbres non commutatives.
4. Alternative à la mutation : Alors que d'autres travaux (par exemple, de Kanemitsu ou Toda) utilisent des mutations de décompositions semi-orthogonales (SOD) pour prouver de telles équivalences, cet article utilise des fibrés de torsion. Cette approche produit une description plus explicite de l'équivalence et assure la $R$-linéarité (compatibilité avec la contraction de flop) plus directement, ce qui peut être difficile à vérifier avec les méthodes de mutation.

En résumé, l'article de Wahei Hara résout avec succès l'équivalence dérivée pour le flop simple exceptionnel $G^\dagger_2$ en construisant des fibrés de torsion explicites et en identifiant la résolution crépante non commutative associée, comblant ainsi un fossé entre la géométrie birationnelle homogène et non homogène.