Categorical absorptions of cone singularities

Resumo Técnico: Absorções Categóricas de Singularidades de Cone

Enunciado do Problema
As categorias derivadas de variedades algébricas suaves são bem compreendidas, frequentemente admitindo sequências excepcionais completas (por exemplo, a construção de Beilinson em espaço projetivo). No entanto, para variedades singulares, particularmente aquelas que surgem na programação do modelo mínimo e na física teórica, sequências excepcionais completas geralmente não existem. O estudo de suas categorias derivadas tem sido limitado. Embora decomposições semiortogonais do tipo Kawamata (KSODs) tenham sido desenvolvidas para generalizar sequências excepcivas para o caso singular, exemplos explícitos têm sido escassos. Antes deste trabalho, os exemplos conhecidos de KSODs em dimensões $d \geq 3$ estavam restritos a variedades nodais e espaços projetivos ponderados específicos. O problema central abordado é a construção e a descrição explícita de absorções categóricas para uma classe mais ampla de singularidades, especificamente singularidades de cone sobre variedades Fano, e a determinação das álgebras de dimensão finita que absorvem a informação singular.

Metodologia
Os autores empregam uma combinação de técnicas de categoria derivada, teoria da representação e resolução geométrica de singularidades. A metodologia central envolve:

1. Resoluções Crépantes e Adesão: Os autores analisam variedades projetivas $X$ com uma singularidade isolada única $s$ que admite uma resolução crépante $\pi: Y \to X$. Eles utilizam o conceito de "adesão" (generalizando a definição de Kuznetsov-Shinder) entre uma coleção excepcional $\mathbb{E}$ em $D^b(Y)$ e um autoequivalente $T$ (frequentemente uma composição de torções esféricas). Esta adesão garante que o núcleo do funtor de pushforward $\pi_*$ seja gerado por objetos esféricos associados à coleção excepcional.
2. Decomposições Semiortogonais (SODs): Ao estabelecer a adesão, os autores constroem SODs da forma $D^b(X) = \langle D^b(A), \mathcal{C} \rangle$, onde $\mathcal{C}$ é uma subcategoria de complexos perfeitos e $D^b(A)$ é a categoria derivada de uma álgebra de dimensão finita $A$ (ou uma álgebra dg $A^\bullet$). Este $D^b(A)$ serve como a "absorção categórica" da singularidade.
3. Descrições Algébricas Explícitas: Para descrever a álgebra $A$, os autores relacionam-na à álgebra de endomorfismos $E = \text{End}(\bigoplus E_i)$ da coleção excepcional. Eles mostram que $A$ se encaixa em uma sequência exata curta $0 \to I \to A \to E \to 0$ onde $I^2=0$.
   • Caso Particionado (Split Case): Em configurações geométricas específicas (por exemplo, cones projetivos anticanônicos sobre variedades Fano "muito fortes"), a sequência se parte. Aqui, $A$ é identificada como uma truncagem de uma completação Calabi-Yau de $E, no sentido de Keller. Especificamente, $A \cong \Pi_{d-1}(E) / (I \otimes_E I)$, onde $\Pi_{d-1}(E)$ é a álgebra pré-projetiva $(d-1)$.
   • Caso Não Particionado (Non-Split Case): Em geral, $A$ é uma deformação do caso particionado. Os autores usam cohomologia de Hochschild para descrever essas deformações, observando que a estrutura da álgebra é determinada por um cociclo em $HH^2(E, I)$.
4. Sequências Excepcionais Geométricas: A construção depende fortemente da existência de sequências excepcionais "geométricas" (no sentido de Bridgeland & Stern) na resolução $Y$ ou no divisor excepcional. Os autores definem variedades Fano "fortes" e "muito fortes" que admitem tais sequências, permitindo o cálculo explícito das álgebras resultantes.

Principais Contribuições e Resultados

• Generalização de KSODs: O artigo constrói novos exemplos de KSODs para singularidades de cone em dimensões arbitrárias, estendendo significativamente os casos conhecidos além das trêsvariedades nodais e $\mathbb{P}(1,1,1,3)$.
• Descrições Algébricas Explícitas:
  • Para o "caso particionado" (ocorrendo para cones anticanônicos sobre muitas variedades Fano como espaços projetivos, quadricas suaves, superfícies de del Pezzo de grau $>4$, e trêsvariedades de del Pezzo de grau 5), os autores fornecem descrições explícitas das álgebras de absorção $A$.
  • Estas álgebras são mostradas como truncações de complementações Calabi-Yau. Por exemplo, para cones sobre $\mathbb{P}^1$, $A \cong k[x]/(x^2)$; para cones sobre $\mathbb{P}^2$, $A$ é descrita via um quiver com relações derivadas de um potencial.
  • O artigo fornece um método sistemático para derivar estas álgebras a partir de um único polinômio não comutativo (potencial) via derivadas parciais.
• A Distinção entre Particionado e Não Particionado: Os autores provam que para dimensões $d \leq 3$ ou para cones sobre variedades Fano "muito fortes" com coleções excepcionais de feixes coerentes, o homomorfismo de álgebra $\phi: A \to E$ se parte. Nestes casos, $A$ é isomórfica à extensão partida. No caso geral, $A$ é uma deformação desta álgebra partida.
• Categorias de Singularidade e K-Teoria: Combinando seus resultados com o trabalho de Orlov, os autores estabelecem equivalências triangulares entre a categoria de singularidade $D_{sg}(X)$ da singularidade de cone e a categoria de singularidade $D_{sg}(A)$ da álgebra de dimensão finita $A$. Como consequência, eles deduzem o desaparecimento do primeiro grupo K-negativo, $K_{-1}(X) = 0$, para estas variedades.
• Apêndice sobre Espaços Projetivos Ponderados: Em um apêndice conjunto com Yujiro Kawamata, os autores fornecem uma descrição explícita de objetos de tilting para espaços projetivos ponderados $\mathbb{P}(1^d, m)$, o que serve como um exemplo fundamental para os teoremas principais.

Significância e Alegações
O artigo afirma fornecer um quadro conceitual para entender as categorias derivadas de singularidades de cone ao ligá-las à teoria da representação via complementações Calabi-Yau e álgebras pré-projetivas.

• Insight Conceitual: Os autores enfatizam que evitam quase todos os cálculos geométicos explícitos ao interpretar as álgebras de absorção como "truncações" de complementações Calabi-Yau. Isso permite descrições comprimidas de álgebras complexas usando potenciais.
• Escopo: Os resultados aplicam-se a uma ampla classe de singularidades, incluindo cones projetivos anticanônicos sobre produtos de variedades Fano.
• Limitações e Questões Abertas: Os autores notam modestamente que, embora descrevam explicitamente as álgebras "particionadas", eles não sabem se as deformações não partidas (onde a álgebra $A$ não é isomórfica à extensão partida $A_0$) são realizadas em exemplos geométicos. Eles afirmam que determinar se tais exemplos geométicos existem é um assunto para investigação futura. Eles também observam que nem todos os hélices geométicos surgem de sequências de blocos excepcionais, destacando a complexidade da geometria subjacente.

Em resumo, o artigo estabelece um vínculo robusto entre a geometria das singularidades de cone sobre variedades Fano e a teoria da representação de álgebras de dimensão finita, fornecendo ferramentas explícitas para computar as absorções categóricas que substituem as sequências excepcionais ausentes no cenário singular.