Semiorthogonal decompositions for stacks

Resumo Técnico: Decomposições Semiortogonais para Pilhas

Enunciado do Problema
O artigo aborda a construção de decomposições semiortogonais (SODs) sistemáticas para as categorias derivadas de feixes coerentes, $\text{Coh}(X)$, em pilhas algébricas derivadas quasi-suaves $X$ sobre $\mathbb{C}$. Embora SODs para pilhas quocientes lineares e espaços de módulos específicos (como os de representações de quivers ou fibrados vetoriais em curvas) tenham sido estabelecidos em trabalhos anteriores de Ballard–Favero–Katzarkov, Halpern-Leistner, Špenko–Van den Bergh e Pădurariu–Toda, essas construções frequentemente dependiam de estruturas lineares específicas ou exigiam condições de estabilidade restritivas. O desafio reside em generalizar essas decomposições para uma ampla classe de pilhas não lineares e quasi-suaves que surgem na teoria de Donaldson–Thomas (DT) intrínseca, incluindo pilhas de módulos de $G$-fibrados, fibrados de Higgs, conexões e sistemas locais para grupos redutivos gerais $G$ (não limitados ao tipo $A$).

Metodologia
Os autores empregam o arcabouço da teoria de Donaldson–Thomas intrínseca (desenvolvida em [17–19]) para definir uma estrutura combinatória chamada retículo de componentes, denotado $\text{CL}_\mathbb{Q}(X)$. Este retículo codifica os co-caracteres e os grupos de Weyl dos grupos de automorfismo dos pontos em $X$.

A metodologia procede através das seguintes etapas:

1. Retículo de Componentes e Pontos Gradados: A decomposição é indexada pelo retículo de componentes racionalizado $|\text{CL}_\mathbb{Q}(X)| = \pi_0 \text{Map}(\ast/\mathbb{G}_m, X)$. Cada elemento $\lambda$ corresponde a uma pilha de pontos gradados $X_\lambda$ e a uma pilha de pontos filtrados $X^+_\lambda$.
2. Indução de Hall: Os autores utilizam o functor de indução de Hall $\star_\lambda: \text{Coh}(X_\lambda) \to \text{Coh}(X)$, definido via a correspondência $X_\lambda \xleftarrow{\text{gr}_\lambda} X^+_\lambda \xrightarrow{\text{ev}_\lambda} X$. Este functor generaliza o functor de indução parabólica.
3. Subcategorias de Janela: Para cada $\lambda$, uma "subcategoria de janela" $W_{X_\lambda}(\delta_\lambda) \subset \text{Coh}(X_\lambda)$ é definida. Estas são subcategorias plenas determinadas por condições de peso relativas à ação de $\mathbb{G}_m$ em $X_\lambda$, centradas por uma função linear $\delta: \text{CL}_\mathbb{Q}(X) \to \mathbb{Q}$ e uma norma quadrática $q$ no retículo.
4. Argumento Local-Global:
   • Caso Linear: A decomposição é primeiramente estabelecida para pilhas quocientes lineares $V/G$ onde $V$ é uma representação quasi-simétrica (Teorema 2.1.6).
   • Caso Suave: Usando o fato de que pilhas suaves com bons espaços de módulos são localmente ételas modeladas por quocientes lineares, o resultado é globalizado via argumentos de descida (Teorema 3.2.3).
   • Caso Quasi-Suave: Para pilhas quasi-suaves (que são modelos locais para pilhas simpléticas deslocadas em $(-1)$), os autores utilizam a dualidade de Koszul para relacionar $\text{Coh}(X)$ a categorias de fatorações de matrizes $\text{MF}(Y, f)$ em pilhas suaves. A decomposição para fatorações de matrizes (Teorema 3.5.4) é então transferida de volta para o cenário quasi-suave (Teorema 4.1.3).
5. Suportes Singulares: A construção é refinada para incluir subcategorias de objetos com suporte singular contido em um subconjunto fechado saturado $Z \subset |T^*[-1]X|$ (Teorema 4.3.3).

Principais Contribuições e Resultados
O artigo fornece uma construção unificada de SODs para uma ampla gama de pilhas de módulos. Os principais resultados são:

• Decomposição Geral (Teorema 4.1.3): Para uma pilha derivada qca, quasi-simétrica e quasi-suave $X$ com um bom espaço de módulos, existe uma SOD:
  $$\text{Coh}(X) = \left\langle \star_\lambda W_{X_\lambda}(\delta_\lambda) \mid \lambda \in |\text{CL}_\mathbb{Q}(X)| \right\rangle$$
  Os somandos são indexados pelo retículo de componentes, ordenados pela norma $q$ de $\lambda$. Os functores $\star_\lambda$ são plenamente fiéis, e as imagens são admissíveis e $\text{Perf}(X)$-lineares.

• Decomposição de Suporte Singular (Teorema 4.3.3): Uma decomposição paralela existe para $\text{Coh}_Z(X)$, a subcategoria de feixes coerentes com suporte singular em um subconjunto saturado $Z$. Isto é particularmente relevante para o cone nilpotente.

• Fatorações de Matrizes (Teorema 3.5.4): Uma SOD é construída para a categoria de fatorações de matrizes $\text{MF}(X, f)$ em uma pilha suave, que serve como um modelo local para categorias críticas na teoria de DT.

• Aplicações Concretas: A teoria é aplicada para obter SODs explícitas para:

  • Pilhas de módulos de $G$-fibrados semiestáveis ($\text{Bun}^{ss}_G$), fibrados de Higgs $G$ ($\text{Higgs}^{ss}_G$) e conexões $G$ ($\text{Conn}_G$) em curvas.
  • Pilhas de módulos de sistemas locais $G$ ($\text{Loc}_G$) em 2-variedades.
  • Pilhas de módulos de representações semiestáveis de quivers e álgebras pré-projetivas.
  • Pilhas de módulos de feixes coerentes semiestáveis em superfícies.

Nestes exemplos, os somandos são indexados por subgrupos de Levi $L \subset G$ e parâmetros de peso específicos, generalizando resultados anteriores que frequentemente se restringiam a $GL(n)$ ou exigiam condições de ordenação complexas.

Significado e Afirmações
O artigo afirma fornecer uma construção sistemática e geral que remove restrições anteriores sobre o tipo de grupo redutivo (permitindo grupos não do tipo $A$) e a natureza da pilha (movendo-se de categorias lineares para pilhas de DT intrínsecas).

• Simplificação da Ordenação: Os autores observam que sua abordagem produz uma descrição muito mais simples da ordenação dos somandos em comparação com trabalhos anteriores (ex. [64; 68; 71]). A ordem é determinada pela norma $q$ dos elementos do retículo, enquanto métodos anteriores frequentemente exigiam refinamentos intrincados de estabilidade ou desigualdades complicadas.
• Teoria Categorical de DT: As decomposições são apresentadas como análogos categóricos da integralidade cohomológica. Os somandos, referidos como categorias quasi-BPS, destinam-se a categorificar os invariantes BPS. O artigo observa que, embora invariantes aditivos (como homologia cíclica periódica) não recuperem diretamente a decomposição de integralidade cohomológica, a estrutura dessas categorias é esperada ser fundamental para entender a teoria de DT categórica e estruturas BPS.
• Langlands Geométrico: As decomposições para pilhas como $\text{Conn}_G$ e $\text{Loc}_G$ estão ligadas ao programa de Langlands geométrico. Os autores formulam uma versão refinada da conjectura de Langlands geométrica de Dolbeault e uma conjectura similar para o cenário de de Rham (Conjectura 4.4.9), sugerindo que as subcategorias de janela correspondem a categorias microlocais específicas de módulos-D sob a equivalência de Langlands.
• Limitações: Os autores afirmam modestamente que não provam a equivalência dessas decomposições categóricas com a decomposição de cohomologia BPS via invariantes aditivos, nem caracterizam plenamente a estrutura das categorias quasi-BPS (por exemplo, se são resoluções não comutativas). Estas são identificadas como direções para trabalhos futuros.

Em resumo, o artigo estabelece um arcabouço combinatório robusto para decompor categorias derivadas de feixes coerentes em pilhas quasi-suaves, unificando vários resultados conhecidos e estendendo-os para um contexto geométrico mais amplo central na geometria enumerativa moderna e na teoria de representações.