Perfect generation for regular algebraic stacks

Resumo Técnico: Geração Perfeita para Pilhas Algébricas Regulares

1. O Problema

O artigo aborda a estrutura da categoria derivada de complexos com cohomologia quasi-coerente, denotada por $D_{qc}(X)$, sobre uma pilha algébrica $X$.

• Contexto: Para esquemas quasi-compactos e quasi-separados, é um resultado clássico que $D_{qc}(X)$ é gerada por um único objeto compacto (Teorema de Bondal-Van den Bergh).
• Desafio: Para pilhas algébricas, a situação é mais complexa. Os complexos perfeitos ($Perf(X)$) nem sempre são objetos compactos em $D_{qc}(X)$. Embora existam resultados anteriores sobre geração compacta para certas classes de pilhas (como pilhas de Deligne-Mumford ou pilhas com diagonal separada), a questão de saber se $D_{qc}(X)$ é gerada por um único objeto (single object generation) permanecia aberta para pilhas regulares mais gerais, especialmente sem assumir que a diagonal é separada ou que a pilha é "concentrada".
• Objetivo Específico: Estabelecer a existência de um único complexo perfeito $P \in Perf(X)$ que gera $D_{qc}(X)$ para pilhas algébricas regulares, quasi-compactas e quasi-separadas com diagonal quasi-finita, sem exigir que $X$ seja concentrado ou que a diagonal seja separada.

2. Metodologia

A prova do resultado principal combina técnicas avançadas de teoria de categorias trianguladas com geometria algébrica de pilhas. Os pilares metodológicos incluem:

• Recollement (Recolhimento): O autor utiliza a estrutura de recollement para categorias trianguladas. Dada uma imersão aberta $j: U \hookrightarrow X$ e seu complemento fechado $Z$, existe um diagrama de recollemente relacionando $D_{qc}(U)$, $D_{qc}(X)$ e $D_{qc, Z}(X)$. O artigo demonstra como "colar" geradores dessas subcategorias para construir um gerador global.
• Sequências de Divisão Monomórfica (Monomorphic Splitting Sequences): Baseando-se no trabalho de Hall e Rydh ([HR18]), o autor utiliza apresentações de pilhas algébricas com estabilizadores finitos. A prova procede por indução na comprimento de uma sequência de imersões abertas que "divide" a pilha em partes onde a cobertura de Nisnevich admite seções monomórficas.
• Dualidade e Funções Adjuntas: O uso de pares adjuntos $(Rf_*, f^\times)$ para morfismos finitos e planos é crucial. O autor emprega um "truque de dualidade" para mostrar que certas subcategorias de suporte fechado são geradas por um único objeto, explorando a regularidade da pilha.
• Condição de Thomason: O artigo verifica a condição de Thomason ($\beta$-Thomason), que garante que a categoria derivada é gerada compactamente e que existe um complexo perfeito para cada subconjunto fechado com complemento quasi-compacto.

3. Contribuições Chave e Resultados Principais

Teorema Principal (Teorema 1.1):
Seja $X$ uma pilha algébrica regular, quasi-compacta e quasi-separada com diagonal quasi-finita. Então, existe um complexo perfeito $P \in Perf(X)$ que gera $D_{qc}(X)$.

• Nota: A geração aqui é definida no sentido de que para qualquer objeto não nulo $E$, existe um $n \in \mathbb{Z}$ tal que $Hom(P[n], E) \neq 0$.
• Inovação: O resultado não assume que a diagonal é separada nem que $X$ é concentrado. Isso gera novos casos, inclusive para pilhas de Deligne-Mumford em característica arbitrária (desde que regulares).

Corolário 1.2 (Geração Compacta Singula):
Se $X$ é uma pilha algébrica regular concentrada com diagonal quasi-finita, então $D_{qc}(X)$ é singly compactly generated (gerada por um único objeto compacto).

• Este resultado melhora trabalhos anteriores (como [Hal22]) ao remover a restrição de dimensão de Krull finita e garantir a geração por um único objeto.

Lemas e Proposições Auxiliares:

• Proposição 3.1 e 3.7: Estabelecem como colar geradores ao longo de um recollemente. Se $T$ e $D$ são gerados por coleções $G$ e $G'$, então a coleção $G \oplus Q_\lambda(G')$ gera $K$.
• Lema 4.1 e 4.4: Demonstram que a propriedade de ser gerada por um único objeto (ou satisfazer a condição de Thomason) é preservada sob morfismos finitos planos sobrejetivos e imersões quasi-affines injetivas.
• Corolário 4.7: Para pilhas regulares, subcategorias de suporte fechado $D_{qc, Z}(X)$ são geradas por um único complexo perfeito.

4. Significado e Impacto

1. Generalização de Resultados Clássicos: O trabalho estende o teorema de Bondal-Van den Bergh (sobre esquemas) para uma classe muito mais ampla de pilhas algébricas, incluindo aquelas com estabilizadores não triviais e diagonais não separadas.
2. Novos Casos de Geração Compacta: O artigo identifica casos onde a geração por um único objeto é possível mesmo quando os objetos compactos não coincidem com os complexos perfeitos (no caso não concentrado), e prova a coincidência no caso concentrado.
3. Ferramentas Independentes: A aplicação de técnicas de recollement para colar geradores em pilhas algébricas é apresentada como um resultado de interesse independente, oferecendo uma nova ferramenta para a análise de categorias derivadas em geometria algébrica.
4. Aplicações Potenciais: A existência de um gerador único é fundamental para a teoria de representabilidade de funtores, a construção de modelos de categorias derivadas e a aplicação de técnicas de homologia algébrica em contextos de pilhas, como na teoria de campos de módulos e na geometria aritmética.

Em suma, Pat Lank resolve uma questão aberta sobre a estrutura geradora de categorias derivadas em pilhas regulares, unificando técnicas de topologia algébrica e teoria de pilhas para estabelecer a existência de geradores únicos sob condições de regularidade e quasi-finitude da diagonal.