Generalized K-theoretic invariants and wall-crossing via non-abelian localization

Resumo Técnico: Invariantes Generalizados de K-Teoria e Wall-Crossing via Localização Não-Abeliana

1. O Problema

A geometria enumerativa moderna busca entender invariantes derivados de espaços de módulos de objetos em categorias abelianas (como feixes coerentes em variedades projetivas ou representações de quivers). Um desafio central é compreender como esses invariantes mudam quando se altera a condição de estabilidade (fenômeno conhecido como wall-crossing ou cruzamento de paredes).

Existem três contextos principais para esses invariantes:

1. Motívico: Desenvolvido por Joyce, Kontsevich-Soibelman, etc., onde se usam polinômios de Poincaré virtual.
2. Cohomológico: Desenvolvido por Joyce e Liu, usando números de interseção.
3. K-teórico: O foco deste artigo.

A Limitação Atual:
No contexto cohomológico e K-teórico, a definição de "invariantes generalizados" (necessários quando existem objetos estritamente semiestáveis) tradicionalmente depende de uma functor de enquadramento (framing functor). Este functor permite construir espaços de módulos de pares (estados de Joyce-Song) que não possuem objetos estritamente semiestáveis, facilitando a definição dos invariantes.

• O Problema: Para muitas condições de estabilidade modernas e importantes (como a estabilidade de Bridgeland em superfícies ou 3-foldes de Fano, ou estabilidade de tilt), não se sabe se tais functores de enquadramento existem. Isso deixava as fórmulas de wall-crossing nesses contextos apenas como conjecturas.

2. Metodologia

Os autores desenvolvem uma abordagem completamente nova que dispensa a necessidade de um functor de enquadramento. A metodologia baseia-se em três pilares principais:

1. Álgebra de Hall-K (K-Hall Algebra):

   • Os autores definem uma estrutura de álgebra associativa na K-homologia do stack (pilha) de objetos de uma categoria abeliana, denotada por $K(A)$.
   • Esta álgebra é construída usando o teorema de localização não-abeliana virtual de Halpern-Leistner. O produto na álgebra é definido via uma fórmula de "push-pull" envolvendo o complexo de Ext e uma classe específica $\Gamma_-$ (relacionada à classe de Euler inversa do fibrado normal da soma direta).
   • Diferente da álgebra de Hall motivica, esta estrutura opera diretamente na K-teoria de complexos perfeitos.

2. Definição de Invariantes ($\delta$ e $\epsilon$):

   • Invariantes $\delta$: Definidos diretamente a partir dos stacks de objetos semiestáveis ($\mathcal{M}^\mu_\alpha$). Eles representam a "classe fundamental" virtual no contexto K-teórico.
   • Invariantes $\epsilon$: Definidos como o "logaritmo formal" dos invariantes $\delta$ dentro da Álgebra de Hall-K.
   • A relação é dada por:
     $$\epsilon^\mu_\alpha = \sum_{k \ge 1} \frac{(-1)^{k-1}}{k} \sum_{\alpha_1 + \dots + \alpha_k = \alpha} \delta^\mu_{\alpha_1} * \dots * \delta^\mu_{\alpha_k}$$
   • Essa construção análoga à abordagem motivica (onde se usa o logaritmo na álgebra de Hall motivica para remover polos) garante que os invariantes $\epsilon$ sejam bem-comportados, mesmo na presença de objetos estritamente semiestáveis.

3. Localização Não-Abeliana:

   • A prova das fórmulas de wall-crossing utiliza o teorema de localização não-abeliana virtual de Halpern-Leistner.
   • O teorema decompõe o stack de objetos em uma estratificação $\Theta$ (generalizando a estratificação de Harder-Narasimhan).
   • A fórmula de wall-crossing surge da comparação entre as contribuições do locus semiestável e das estratas instáveis (centros da estratificação) sob uma mudança de estabilidade.

3. Principais Contribuições e Resultados

• Generalização sem Functor de Enquadramento:
  O resultado mais significativo é a prova de fórmulas de wall-crossing para invariantes K-teóricos generalizados sem assumir a existência de um functor de enquadramento. Isso permite aplicar a teoria a:

  • Condições de estabilidade de Bridgeland (fracas).
  • Corações não-padron de $D^b(X)$ (como estabilidade de tilt em superfícies e 3-foldes de Fano).
  • Situações onde a existência de functores de enquadramento é desconhecida ou provável que não exista.

• Fórmulas de Wall-Crossing:
  Os autores provam que os invariantes $\delta$ e $\epsilon$ satisfazem fórmulas de wall-crossing explícitas.

  • Para $\delta$: A fórmula envolve coeficientes combinatórios $S(\dots)$ e o produto na álgebra de Hall-K.
  • Para $\epsilon$: A fórmula é expressa inteiramente em termos de comutadores na álgebra de Hall-K (estrutura de álgebra de Lie), análoga às fórmulas de Joyce no contexto motivico e cohomológico.
  • Teorema B: Estabelece a fórmula geral para qualquer caminho contínuo entre condições de estabilidade que cruza um número finito de paredes.

• Comparação com Joyce-Liu:

  • Os autores demonstram que, quando um functor de enquadramento existe, seus invariantes $\epsilon$ coincidem exatamente com os invariantes definidos por Liu (que são baseados na álgebra de vértice de Liu).
  • Eles estabelecem que a álgebra de Lie de Liu (induzida por uma álgebra de vértice multiplicativa) é um homomorfismo de álgebras de Lie para a álgebra de Hall-K definida pelos autores.

• Conexão com Cohomologia:
  O artigo introduz o conceito de "levantamento homológico" (homological lift). Eles mostram que, se os invariantes K-teóricos $\epsilon$ admitirem um levantamento homológico (o que é provado no caso com functor de enquadramento), então as fórmulas de wall-crossing cohomológicas de Joyce são consequências diretas das fórmulas K-teóricas. Isso fornece uma nova via para provar resultados cohomológicos a partir da K-teoria.

• Exemplo de Vetores (Vect):
  Os autores calculam explicitamente os invariantes para a categoria de espaços vetoriais, mostrando que $\epsilon_n = 0$ para $n > 1$, um resultado não trivial que valida a consistência da teoria.

4. Significado e Impacto

• Unificação Teórica: O trabalho unifica a abordagem motivica (que lida diretamente com stacks de objetos semiestáveis) com a abordagem cohomológica/K-teórica (que historicamente exigia espaços de pares via framing). Isso simplifica a teoria, tornando-a mais conceitual e menos dependente de construções auxiliares artificiais.
• Aplicações Práticas: Ao remover a barreira da necessidade de functores de enquadramento, o artigo abre a porta para a aplicação de técnicas de wall-crossing em problemas enumerativos avançados, como:
  • A conjectura de racionalidade de Pandharipande-Thomas (PT) para 3-foldes de Fano.
  • O programa de Feyzbakhsh-Thomas para 3-foldes de Fano.
  • Contagem de objetos estáveis em categorias derivadas de superfícies e 3-foldes.
• Extensibilidade: A estrutura desenvolvida (Álgebra de Hall-K e uso de localização não-abeliana) é robusta e pode ser adaptada para outras invariantes aditivas (como homologia de Hochschild ou K-teoria topológica), conforme discutido no Apêndice A.

Em resumo, Karpov e Moreira fornecem uma ferramenta poderosa e mais geral para calcular invariantes enumerativos em geometria algébrica, superando limitações técnicas anteriores e estabelecendo uma ponte sólida entre a K-teoria, a cohomologia e a teoria motivica através da localização não-abeliana.