Resumo Técnico: Resoluções Categóricas e Geometria Biracional de Variedades Gushel–Mukai Nodais

Enunciado do Problema

O artigo investiga a geometria biracional e as categorias derivadas de variedades Gushel–Mukai (GM) ordinárias de dimensões $n \in \{3, 4, 5\}$ que possuem um único nó isolado (uma variedade GM de 1-nó). Enquanto as variedades GM suaves são bem compreendidas através de sua conexão com as sexticas de Eisenbud–Popescu–Walter (EPW) e variedades hiperkähler, o caso singular apresenta desafios. Especificamente, os autores visam:

1. Construir uma resolução categórica de singularidades para o componente de Kuznetsov de uma variedade GM nodal.
2. Fornecer uma interpretação geométrica desta resolução categórica, análoga aos resultados conhecidos para cubicas quatrofolds nodais.
3. Estender a "dualidade" entre variedades GM de diferentes dimensões (provada para casos suaves por Kuznetsov e Perry) para o cenário nodal.
4. Estabelecer um teorema de Torelli categórico para trêsfolds GM fatoriais de 1-nó, determinando se o componente de Kuznetsov caracteriza a classe biracional da variedade.

Metodologia

Os autores empregam uma combinação de geometria biracional, técnicas de categoria derivada e teoria de álgebras de Clifford.

1. Resolução Geométrica e Flops:

   • Os autores consideram o blowup $\tilde{X}_n$ de uma variedade GM nodal $X_n$ em seu ponto singular $p$.
   • Ao contrário do caso das cubicas quatrofolds nodais, onde a resolução admite uma segunda contração para uma variedade suave, a segunda contração de $\tilde{X}_n$ mapeia para uma variedade singular $T_n$.
   • Para resolver isso, os autores constroem um atypical Atiyah flop (um Grassmann flop generalizado) entre $\tilde{X}_n$ e uma fibração quádrica $R_n$ sobre $\mathbb{P}^2$. Esta aplicação é obtida resolvendo a projeção a partir do nó e realizando o blowup de um divisor singular.
   • Este flop induz uma equivalência derivada $D^b(\tilde{X}_n) \simeq D^b(R_n)$.

2. Decomposições Semiortogonais (SOD):

   • Os autores analisam a SOD de $D^b(\tilde{X}_n)$ usando a fórmula de blowup de Orlov e mutações. Eles isolam um subcategoria $\widetilde{Ku}(X_n)$, definida como a resolução categórica do componente de Kuznetsov $Ku(X_n)$.
   • Simultaneamente, eles utilizam a SOD conhecida da fibração quádrica $R_n$, que envolve a categoria derivada de módulos sobre a parte par da álgebra de Clifford, denotada por $D^b(\mathbb{P}^2, \mathcal{C}_n)$.
   • Ao comparar estas decomposições e aplicar uma sequência de mutações, eles estabelecem a equivalência entre $\widetilde{Ku}(X_n)$ e $D^b(\mathbb{P}^2, \mathcal{C}_n)$.

3. Redução Hiperbólica e Modificações de Spinor:

   • Os autores utilizam a redução hiperbólica para relacionar variedades GM de diferentes dimensões. Eles mostram que, sob condições específicas de codimensão dois nas quádricas definidoras, uma variedade GM cincofold nodal e uma variedade GM threefold nodal (ou uma quatrofold e uma superfície K3 suave) compartilham resoluções categóricas equivalentes via uma fibração quádrica de dimensão superior comum.
   • Eles também empregam modificações de spinor (uma ferramenta desenvolvida por Kuznetsov) para relacionar diferentes fibrados cônicos sobre $\mathbb{P}^2$ sem equivalência hiperbólica explícita, construindo novos modelos biracionais para as variedades.

Principais Contribuições e Resultados

1. Resolução Categórica de Variedades GM Nodais

O resultado primário (Teorema 1.1 / Teorema 3.7) identifica a resolução categórica do componente de Kuznetsov para uma GM $n$-fold de 1-nó ($3 \le n \le 5$):
$$\widetilde{Ku}(X_n) \simeq D^b(\mathbb{P}^2, \mathcal{C}_n)$$
onde $\mathcal{C}_n$ é a parte par da álgebra de Clifford associada à fibração quádrica $R_n$ sobre $\mathbb{P}^2$ de dimensão relativa $n-2$.

• Caso Específico ($n=4$): Para uma GM fourfold nodal, $\widetilde{Ku}(X_4) \simeq D^b(S, \alpha)$, onde $S$ é uma superfície K3 de grau 2 e $\alpha$ é uma classe de Brauer.
• Significância: Isso fornece uma interpretação "geométrica" da resolução categórica, análoga ao resultado para cubicas quatrofolds, confirmando que a singularidade é resolvida por uma categoria do tipo K3 (potencialmente torcida).

2. Extensão da Dualidade de Kuznetsov–Perry

O artigo estende o teorema de dualidade para o caso suave (onde $Ku(X_n) \simeq Ku(X_{n-2})$) para o caso nodal (Teorema 1.3 / Teoremas 4.4, 4.5):

• Dimensão 5 para 3: Para uma GM fivefold nodal geral $X_5$, existe uma GM threefold nodal $X_3$ tal que $\widetilde{Ku}(X_5) \simeq \widetilde{Ku}(X_3)$.
• Dimensão 4 para 2: Para uma GM fourfold nodal geral $X_4$ satisfazendo condições específicas, existe uma superfície K3 suave de grau 2 $\tilde{X}_2$ (o blowup de uma superfície GM) tal que $D^b(\tilde{X}_2) \simeq \widetilde{Ku}(X_4)$.
• Racionalidade: Os autores observam que as quatrofolds específicas que satisfazem estas condições são racionais, o que explica o desaparecimento da classe de Brauer na resolução categórica, fornecendo evidência para a conjectura de racionalidade de Kuznetsov no cenário singular.

3. Relação com Variedades Verra

Os autores estabelecem uma conexão entre variedades GM nodais e variedades Verra (variedades de Fano definidas por duplas fibrações quádricas):

• Proposição 1.2 / Corolário 4.8: Para $n=3, 4$, a resolução categórica $\widetilde{Ku}(X_n)$ é equivalente ao componente de Kuznetsov $Ku(V_n)$ de uma variedade Verra $n$-fold $V_n$.
• Esta equivalência é derivada via equivalência hiperbólica, mostrando que tanto a variedade GM (via seu flop para $R_n$) quanto a variedade Verra são reduções hiperbólicas de uma fibração quádrica comum de dimensão superior.

4. Teorema de Torelli Categórico

O artigo prova um teorema de Torelli categórico para trêsfolds GM fatoriais de 1-nó (Teorema 1.4 / Teorema 5.1):

• Resultado: Se duas GM threefolds fatoriais de 1-nó gerais $X_3$ e $X'_3$ possuem resoluções categóricas equivalentes ($\widetilde{Ku}(X_3) \simeq \widetilde{Ku}(X'_3)$), então elas são biracionalmente equivalentes ($X_3 \sim X'_3$).
• Método: A prova utiliza a construção do jacobiano intermediário para categorias derivadas. A equivalência implica um isomorfismo dos jacobianos intermediários dos fibrados cônicos associados, o que, via o teorema de Prym-Torelli para a curva séxtica de discriminante, implica a equivalência biracional dos fibrados cônicos e, consequentemente, das variedades originais.

5. Modificações de Spinor e Novos Modelos Biracionais

Na Seção 6, os autores constroem um novo modelo biracional para a resolução de uma GM threefold nodal usando modificações de spinor:

• Eles definem um bundle de spinor abstrato no fibrado cônico $R_3$ e constroem um novo fibrado cônico $U$ sobre $\mathbb{P}^2$ (uma modificação de spinor de $R_3$).
• Eles mostram que $U$ compartilha o mesmo componente de Kuznetsov (até autoequivalência) que $R_3$ e $X_3$.
• Eles também aplicam esta técnica a variedades Verra, mostrando que a modificação de spinor de uma variedade Verra pode ser trivial (um isomorfismo), sugerindo uma rigidez nos bundles de spinor canônicos destas variedades.

Significância e Alegações

O artigo afirma fornecer um arcabouço abrangente para entender as singularidades das variedades GM através da lente das categorias derivadas.

• Interpretação Geométrica: Consegue generalizar com sucesso a interpretação geométrica das resoluções categóricas de cubicas quatrofolds para variedades GM, ligando a resolução de singularidades a álgebras de Clifford e superfícies K3.
• Conjectura de Racionalidade: Os resultados oferecem evidência para uma versão da conjectura de racionalidade de Kuznetsov para GM fourfolds singulares: uma GM fourfold singular é racional se, e somente se, seu componente de Kuznetsov admite uma resolução categórica por uma superfície K3 real (sem um torcimento de Brauer).
• Propriedade de Torelli: Confirma que os dados categóricos (especificamente a resolução categórica) são suficientes para recuperar a classe biracional de GM threefolds fatoriais nodais, estendendo resultados conhecidos anteriormente para variedades suaves e variedades nodais não fatoriais.
• Unificação: Ao ligar variedades GM, variedades Verra e fibrados quádricos através de equivalência hiperbólica e modificações de spinor, o artigo unifica a geometria biracional e categórica destas variedades de Fano.

Os autores declaram explicitamente que sua abordagem depende de construções geométricas específicas (flops, reduções hiperbólicas) e que a generalização para variedades GM especiais (duplas coberturas) permanece um problema aberto devido ao aumento da complexidade no quadro da categoria derivada.