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

1. Declaração do Problema e Contexto

O artigo aborda um caso específico da Conjectura DK (nomeada em homenagem a Bondal e Orlov, e Kawamata), que postula que, se duas variedades algébricas suaves $X_+$ e $X_-$ são $K$-equivalentes (isto é, existe uma resolução comum $\tilde{X}$ tal que os pullbacks de seus divisores canônicos são linearmente equivalentes), então elas são $D$-equivalentes (isto é, suas categorias derivadas limitadas de feixes coerentes, $D^b(\text{coh } X_+)$ e $D^b(\text{coh } X_-)$, são equivalentes como categorias trianguladas).

Embora a conjectura seja conhecida para flops padrão (como o flop de Atiyah) e certos casos homogêneos, este artigo foca em um exemplo excepcional e não homogêneo:

• O Objeto: Um flop simples do tipo $G^\dagger_2$.
• A Geometria: Este flop surge de um "telhado" (uma variedade $W$ admitindo duas estruturas distintas de fibrado $\mathbb{P}^2$) que não é uma variedade homogênea racional. Isso o distingue de todos os flops simples estudados anteriormente, que eram derivados de telhados homogêneos.
• O Modelo Local: As variedades $X_+$ e $X_-$ são espaços totais de fibrados vetoriais sobre uma quadrica 5-dimensional $Q_5$, especificamente $X_\pm = \text{Tot}_{Q_5}(G_\pm^\vee(-1))$, onde $G_\pm$ são fibrados de Ottaviani (fibrados estáveis de posto 3 com classes de Chern $(2,2,2)$).
• O Desafio: Construir uma equivalência derivada explícita $\Phi: D^b(\text{coh } X_+) \xrightarrow{\sim} D^b(\text{coh } X_-)$ que respeite o anel base $R = H^0(X_\pm, \mathcal{O}_{X_\pm})$ (isto é, uma equivalência $R$-linear compatível com as contrações de flop).

2. Metodologia

O autor emprega o método de feixes de tilting para estabelecer a equivalência derivada. A estratégia central envolve:

1. Construção de Feixes de Tilting: Encontrar um fibrado vetorial $T_\pm$ em cada lado ($X_+$ e $X_-$) que satisfaça as condições de tilting (gerando a categoria derivada e não tendo extensões próprias superiores).
2. Isomorfismo de Anéis de Endomorfismos: Provar que as álgebras de endomorfismos $\Lambda_+ = \text{End}_{X_+}(T_+)$ e $\Lambda_- = \text{End}_{X_-}(T_-)$ são isomorfas como álgebras $R$.
3. Diagrama de Troca: Utilizar a geometria do "telhado" $W$ (o divisor excepcional da explosão) para relacionar os fibrados em $X_+$ e $X_-$ através de um "fibrado chave" $E$ definido sobre $W$.

Passos Técnicos Chave:

• Cálculos de Borel–Bott–Weil: O autor realiza cálculos cohomológicos detalhados na quadrica 5-dimensional $Q_5$ (um espaço homogêneo do tipo $B_3$) para determinar o desaparecimento de grupos Ext para vários fibrados, incluindo fibrados de Ottaviani e fibrados espinoriais.
• Modificação do Fibrado de Kapranov: Um fibrado de tilting padrão em $Q_5$ (devido a Kapranov) não se puxa para um fibrado de tilting em $X_\pm$ porque adquire $\text{Ext}^1$ não nulo. O autor resolve isso tomando uma extensão não trivial de sumandos específicos para cancelar a obstrução, criando um novo fibrado de tilting $T_\pm$.
• O Diagrama de Troca: A prova depende de um fibrado vetorial específico $E$ sobre o telhado $W$. Ao puxar $E$ de volta para a resolução comum $\tilde{X}$ e empurrá-lo para frente em $X_\pm$, o autor mostra que $E$ gera os fibrados de extensão específicos $P_\pm$ necessários para os fibrados de tilting em ambos os lados.

3. Contribuições e Resultados Principais

A. Construção de Feixes de Tilting

O artigo construi explicitamente os fibrados de tilting $T_\pm$ em $X_\pm$. Seja $S_\pm$ o fibrado espinorial em $Q_5$ e $P_\pm$ a única extensão não trivial definida por:
$$0 \to \mathcal{O}_{X_\pm}(-2) \to P_\pm \to S_{X_\pm}^\vee \to 0$$
O fibrado de tilting é dado por:
$$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$$
O autor prova (Teorema 3.5) que $T_\pm$ gera $D^b(\text{coh } X_\pm)$ e satisfaz $\text{Ext}^i(T_\pm, T_\pm) = 0$ para $i > 0$.

B. O Teorema Principal (Equivalência Derivada)

Teorema 1.2: Existe uma equivalência exata de categorias trianguladas $R$-lineares:
$$\Phi: D^b(\text{coh } X_+) \xrightarrow{\sim} D^b(\text{coh } X_-)$$
tal que $Rf_{+*} \simeq Rf_{-*} \circ \Phi$.

• Significado: Isso confirma a conjectura DK para o primeiro flop simples não homogêneo conhecido.
• Mecanismo: A equivalência é induzida pelo isomorfismo dos anéis de endomorfismos $\Lambda \cong \text{End}_{X_+}(T_+) \cong \text{End}_{X_-}(T_-)$.

C. Resoluções Criptas Não Comutativas (NCCR)

Corolário 3.9: A álgebra $\Lambda$ construída acima é uma Resolução Cripta Não Comutativa (NCCR) da singularidade $\text{Spec } R$.

• Isso fornece um exemplo concreto onde um esquema afim singular admite uma NCCR que é derivadamente equivalente a ambas as suas resoluções criptas projetivas ($X_+$ e $X_-$).
• Os módulos $f_{+\ast}T_+$ e $f_{-\ast}T_-$ são mostrados como sendo Cohen-Macaulay, satisfazendo os critérios para NCCRs.

D. Insights Geométricos

• O Telhado $W$: O artigo esclarece a geometria do telhado $W$ (uma interseção suave de divisores em $OGr(3,8)$), identificando-o como o único telhado não homogêneo conhecido.
• Superfícies K3: O flop induz uma equivalência derivada entre duas superfícies K3 não isomórficas de grau 12 (locos nulos de seções dos fibrados de Ottaviani torcidos), oferecendo uma nova perspectiva sobre sua D-equivalência.

4. Significado e Impacto

1. Quebra da Homogeneidade: Antes deste trabalho, equivalências derivadas para flops simples eram amplamente restritas a casos onde o divisor excepcional (o telhado) era uma variedade homogênea racional. Este artigo prova a conjectura DK para um telhado não homogêneo, expandindo significativamente o escopo das conhecidas $D$-equivalências na geometria biracional.
2. Avance Metodológico: A técnica de modificar um fibrado de tilting conhecido tomando uma extensão não trivial específica (para eliminar $\text{Ext}^1$) fornece um modelo robusto para a construção de fibrados de tilting em configurações mais complexas e não homogêneas.
3. Construção de NCCR: A construção explícita da NCCR $\Lambda$ para a singularidade $G^\dagger_2$ contribui para o problema do tipo "Craw–Ishii", ligando resoluções geométricas a espaços de módulos de módulos sobre álgebras não comutativas.
4. Alternativa à Mutação: Enquanto outros trabalhos (por exemplo, de Kanemitsu ou Toda) usam mutações de decomposições semi-ortogonais (SODs) para provar tais equivalências, este artigo usa fibrados de tilting. Essa abordagem produz uma descrição mais explícita da equivalência e garante a $R$-linearidade (compatibilidade com a contração do flop) de forma mais direta, o que pode ser difícil de verificar com métodos de mutação.

Em resumo, o artigo de Wahei Hara resolve com sucesso a equivalência derivada para o flop simples excepcional $G^\dagger_2$ construindo fibrados de tilting explícitos e identificando a resolução cripta não comutativa associada, preenchendo assim uma lacuna entre a geometria biracional homogênea e não homogênea.