Remarks on diagonal dimension for algebraic stacks

Resumo Técnico: Observações sobre a Dimensão Diagonal para Pilhas Algébricas

Enunciado do Problema
O artigo aborda a complexidade da categoria derivada limitada de complexos coerentes, denotada por $D^b_{\text{coh}}(X)$, para uma pilha algébrica noetheriana $X$. Um desafio central neste campo é determinar a existência de "geradores fortes" (objetos $G$ tais que $D^b_{\text{coh}}(X) = \langle G \rangle_{n+1}$ para algum $n$ finito) e estabelecer limites superiores explícitos e computáveis para a dimensão de Rouquier (o menor $n$ tal). Enquanto essas questões são bem compreendidas para esquemas, elas permanecem sutis para pilhas algébricas, onde limites efetivos são escassos e construções explícitas são raras. Os autores visam refinar a compreensão dessa complexidade utilizando a noção de dimensão diagonal.

Metodologia
Os autores empregam o arcabouço das categorias trianguladas e da geometria algébrica derivada, focando especificamente na dimensão diagonal de um morfismo $f: Y \to X$. Definida como o menor inteiro $n$ tal que o pushforward do feixe estrutural da diagonal, $R\Delta_* \mathcal{O}_Y$, reside na subcategoria gerada por produtos tensoriais externos de objetos de $D^b_{\text{coh}}(Y)$, este invariante serve como um proxy tratável para a dimensão de Rouquier.

A metodologia envolve:

1. Redução a Geradores Únicos: Provar que a dimensão diagonal pode ser computada usando um único objeto $G$ em vez de um par, simplificando a condição de geração.
2. Análise de Sequências Espectrais: Utilizar sequências espectrais que relacionam cohomologia local e grupos Ext para limitar a dimensão cohomológica de pilhas algébricas regulares.
3. Fórmulas de Mudança de Base e Projeção: Aproveitar propriedades de morfismos concentrados, suaves e próprios para transferir propriedades de geração entre produtos fibrados e seus fatores.
4. Resolução de Singularidades: Aplicar resultados sobre resoluções de singularidades e bons espaços de módulos para relacionar a dimensão diagonal de variedades singulares à de coberturas suaves.

Principais Contribuições e Resultados

• Limites Superiores Explícitos para Morfismos Suaves (Teorema 1.2):
  Os autores estabelecem um limite superior explícito e computável para a dimensão diagonal de um morfismo $f: Y \to \text{Spec}(R)$ concentrado, separado, suave, de apresentação finita e quasi-DM, onde $R$ é um esquema afim regular. Se $U \to Y$ é um morfismo suave e sobrejetor a partir de um esquema, o limite é dado por:
  $$\dim_\Delta(f) \leq (\dim R + 1)(2 \max\{\dim U, \text{cd}(Y)\} + 1) - 1$$
  Este resultado generaliza limites conhecidos para variedades suaves, espaços algébricos e pilhas de Deligne–Mumford para um contexto mais amplo, incluindo pilhas sobre DVRs e aquelas com estabilizadores afins.

• Geradores para Produtos Fibrados (Proposição 1.3):
  O artigo identifica geradores fortes para a categoria derivada de um produto fibrado $Y_1 \times_S Y_2$ em termos de geradores para os fatores $Y_1$ e $Y_2$. Especificamente, se $G_i$ são geradores clássicos para $D^b_{\text{coh}}(Y_i)$, então o produto tensorial externo de seus pullbacks gera $D^b_{\text{coh}}(Y_1 \times_S Y_2)$. Este resultado recupera um teorema de Elagin–Lunts–Schnürer para variedades sobre corpos perfeitos, mas estende-o a pilhas algébricas sem exigir separação ou dimensão de Krull finita na base, e, crucialmente, fornece uma prova que evita métodos dg.

• Comparação de Dimensões Diagonais (Teorema 1.4):
  Um teorema de comparação é provado para morfismos $f_i: Y_i \to S$ onde existe um morfismo $S$-morfismo $f: Y_2 \to Y_1$ tal que a unidade $\mathcal{O}_{Y_1} \to Rf_* \mathcal{O}_{Y_2}$ é um isomorfismo. Sob essas condições, $\dim_\Delta(f_1) \leq \dim_\Delta(f_2)$. Isso permite a transferência de limites de dimensão de um espaço "melhor" para um "pior".

• Limites para Variedades com Singularidades Leves (Corolário 1.5):
  Aplicando o teorema de comparação, os autores mostram que, para um esquema integral separado $X$ sobre um corpo $k$:

  • Se $X$ possui singularidades racionais (característica zero), $\dim_\Delta(f) \leq 2 \dim X$.
  • Se $X$ possui singularidades linearmente redutivas (característica arbitrária), $\dim_\Delta(f) \leq 2 \dim X$.
    Estes resultados fornecem um novo limite geral para variedades com singularidades leves, estendendo-se além do caso torico, onde a dimensão diagonal é frequentemente conhecida por ser igual à dimensão de Krull.

Significado e Afirmações
O artigo afirma fornecer uma ferramenta refinada (dimensão diagonal) para estimar a dimensão de Rouquier de pilhas algébricas, um problema onde limites explícitos são tipicamente elusivos. Ao estabelecer limites superiores computáveis para morfismos suaves e demonstrar como esses limites se comportam sob produtos fibrados e morfismos com pushforwards de feixes estruturais isomórficos, o trabalho preenche a lacuna entre o caso bem compreendido dos esquemas e o caso mais complexo das pilhas.

Os autores destacam que seus resultados se aplicam com maior generalidade que a literatura anterior, cobrindo pilhas sobre bases de característica mista e aquelas com condições específicas de estabilizadores. Além disso, a identificação de geradores para produtos fibrados oferece uma visão estrutural sobre as categorias derivadas de produtos fibrados de pilhas, sem depender de técnicas de grupos diferenciais (dg). Finalmente, o limite de $2 \dim X$ para variedades com singularidades racionais ou linearmente redutivas representa um passo significativo na compreensão da complexidade das categorias derivadas na presença de singularidades, particularmente em característica positiva.