Categorical characterizations of regularity for algebraic stacks

Resumo Técnico: Caracterizações Categóricas da Regularidade para Pilhas Algébricas

1. Problema e Contexto

O artigo aborda a extensão de resultados fundamentais sobre a regularidade de esquemas para o contexto mais geral de pilhas algébricas (algebraic stacks).

• Contexto Esquemático: Recentemente, Neeman estabeleceu que, para um esquema noetheriano $X$ de dimensão de Krull finita, a regularidade de $X$ é caracterizada puramente por propriedades da categoria derivada de complexos perfeitos, $\text{Perf}(X)$. Especificamente:
  1. $X$ é regular se, e somente se, $\text{Perf}(X)$ admite um gerador forte (strong generator).
  2. $X$ é regular se, e somente se, $\text{Perf}(X)$ admite uma estrutura t limitada (bounded t-structure).
• O Desafio: A generalização desses resultados para pilhas algébricas não é trivial. Diferentemente dos esquemas, em pilhas gerais, os complexos perfeitos não coincidem necessariamente com os objetos compactos da categoria derivada não limitada de feixes quasi-coerentes, $D_{qc}(X)$. Além disso, a estrutura das pilhas (com estabilizadores não triviais) introduz complicações técnicas na definição de geradores e na existência de estruturas t adequadas.

2. Metodologia

Os autores desenvolvem uma abordagem que combina teoria de categorias trianguladas, geometria algébrica de pilhas e técnicas de indução. A metodologia baseia-se nos seguintes pilares:

• Distinção entre Perfeitos e Compactos: O trabalho lida cuidadosamente com a diferença entre $\text{Perf}(X)$ e os objetos compactos $D_{qc}(X)^c$. Eles introduzem a hipótese de pilhas concentradas (onde $\text{Perf}(X) = D_{qc}(X)^c$) para garantir que as caracterizações categóricas funcionem corretamente.
• Caracterização Homológica da Regularidade: Estabelecem que, para pilhas decentes e localmente noetherianas, a regularidade é equivalente à igualdade $\text{Perf}(X) = D^b_{coh}(X)$. Isso serve como alicerce para conectar a geometria (regularidade) com a álgebra homológica (categorias derivadas).
• Princípio de Indução para Pilhas: Utilizam o princípio de indução de Hall e Rydh ([HR18]) para estender propriedades de sub-pilhas abertas e fechadas para a pilha inteira. Isso permite reduzir problemas globais a casos locais ou a esquemas.
• Recollements e Estruturas t: Empregam a teoria de recollements (recolhas) de categorias trianguladas para "colar" estruturas t em pilhas a partir de coberturas abertas e fechadas. Um ponto crucial é a definição de uma classe de equivalência preferida de estruturas t, geradas por objetos compactos, e a verificação de que a estrutura t padrão em certas subcategorias coincide com essa classe.

3. Contribuições e Resultados Principais

O artigo apresenta três resultados principais (Teoremas e Proposições) que generalizam os teoremas de Neeman para pilhas:

A. Caracterização via Geradores Fortes (Teorema 1.1)

• Enunciado: Seja $X$ uma pilha algébrica noetheriana separada, concentrada, com diagonal afim e de dimensão de Krull finita. Então, $X$ é regular se, e somente se, a categoria $\text{Perf}(X)$ admite um gerador forte.
• Significado: Estende o teorema de Neeman ([Nee21]) para uma classe ampla de pilhas. A condição de ser "concentrada" é necessária para garantir que os objetos perfeitos capturem a compacidade necessária para a geração.

B. Caracterização via Estruturas t Limitadas (Teorema 1.2)

• Enunciado: Seja $X$ uma pilha algébrica noetheriana concentrada de dimensão de Krull finita, que satisfaça uma das seguintes condições:
  1. Tem diagonal separada e quasi-finita; ou
  2. É uma pilha de Deligne–Mumford de característica zero.
     Para qualquer subconjunto fechado $Z \subseteq |X|$, tem-se que $Z \subseteq \text{reg}(X)$ (o lugar regular) se, e somente se, a categoria $\text{Perf}_Z(X)$ (complexos perfeitos suportados em $Z$) admite uma estrutura t limitada.
• Inovação Técnica: A prova requer mostrar que a estrutura t padrão em $D_{qc, Z}(X)$ pertence à classe de equivalência preferida. Isso é feito provando que pilhas com diagonal quasi-finita ou pilhas de Deligne–Mumford de característica zero satisfazem uma "Hipótese Estrela" (Hypothesis ★), garantindo a compatibilidade das estruturas t.

C. Igualdade entre Perfeitos e Coerentes Limitados (Proposição 1.3)

• Enunciado: Seja $X$ uma pilha algébrica decente, quasi-compacta e localmente noetheriana. Então, $X$ é regular se, e somente se, $\text{Perf}(X) = D^b_{coh}(X)$.
• Importância: Este é um resultado intermediário crucial. Enquanto a implicação direta é conhecida, a recíproca para pilhas é sutil devido à não coincidência geral entre perfeitos e compactos. Os autores provam que, sob as condições de "decent" e "quasi-compact", a igualdade das categorias implica a regularidade pontual.

D. Existência de Geradores Clássicos (Proposição 1.5)

• O trabalho fornece um critério para a existência de geradores clássicos para $D^b_{coh}(Z)$ em sub-pilhas fechadas, generalizando resultados de Iyengar-Takahashi e Dey-Lank para esquemas. A condição necessária e suficiente é que o lugar regular seja aberto em todas as sub-pilhas integrais fechadas.

4. Obstáculos Técnicos e Soluções

• Objetos Compactos vs. Perfeitos: Em pilhas como o classificador $B\mathbb{G}_a$ em característica $p$, não há objetos compactos não nulos em $D_{qc}$, mas $\text{Perf}$ e $D^b_{coh}$ são não triviais. O artigo evita depender apenas de objetos compactos para caracterizar a regularidade, focando na igualdade $\text{Perf} = D^b_{coh}$.
• Classe de Equivalência Preferida: Para o Teorema 1.2, é vital que a estrutura t padrão seja "boa" (na classe preferida). O artigo mostra que isso falha para pilhas com estabilizadores infinitos (como $B\mathbb{G}_m$), mas é garantido para pilhas com diagonal quasi-finita ou Deligne–Mumford em característica zero.
• Aproximação por Compactos: O uso de "aproximação por compactos" (approximation by compacts) é essencial para conectar geradores fortes em $D_{qc}$ com a estrutura de $\text{Perf}$.

5. Significado e Impacto

Este trabalho é fundamental para a geometria algébrica moderna e a teoria de categorias derivadas porque:

1. Unificação: Estabelece uma ponte robusta entre propriedades geométricas (regularidade) e propriedades puramente categóricas (geração e estruturas t) no contexto de pilhas, que são centrais na teoria de moduli e geometria não comutativa.
2. Generalização: Resolve a questão de como os teoremas de Neeman se comportam fora do mundo dos esquemas, identificando exatamente quais condições técnicas (concentração, tipo de diagonal, característica) são necessárias.
3. Ferramentas Novas: Introduz e valida o uso de princípios de indução e recollements para manipular estruturas t em pilhas, oferecendo um roteiro para futuras investigações sobre a estrutura de categorias derivadas em geometria algébrica superior.

Em suma, o artigo demonstra que a regularidade de pilhas algébricas, embora geometricamente complexa, pode ser capturada elegantemente através da estrutura da sua categoria de complexos perfeitos, desde que se respeitem as nuances da teoria de pilhas (como a natureza dos objetos compactos e a topologia do lugar regular).