Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$

Resumo Técnico: Desvanecimento Estratificado Uniforme e Equidistribuição em $\mathbb{G}_m^d$

Enunciado do Problema
O artigo aborda o problema de estabelecer limites uniformes para os loci "ruins" de somas de caracteres associadas a feixes perversos no toro fendido de dimensão $d$, $\mathbb{G}_m^d$, sobre corpos finitos. Especificamente, busca-se provar um teorema de desvanecimento genérico estratificado uniforme onde os limites dependem apenas da dimensão $d$ e da complexidade do feixe (no sentido de Sawin), em vez de depender do caractere específico do corpo ou do primo $\ell$.

Estes teoremas de desvanecimento descrevem o locus de caracteres $\chi$ para os quais o morfismo de esquecimento de suportes $R\Gamma_c(\mathbb{G}_m^d, M_\chi) \to R\Gamma(\mathbb{G}_m^d, M_\chi)$ falha em ser um isomorfismo. Embora o desvanecimento genérico tenha sido estabelecido anteriormente por Gabber–Loeser (condicionado à resolução de singularidades) e, mais tarde, incondicionalmente por Forey–Fresán–Kowalski (FFK), esses resultados não forneciam limites quantitativos uniformes sobre o número de caracteres de corpos finitos nesses loci ruins.

Os autores visam estender os teoremas de equidistribuição para estas somas de caracteres para sequências arbitrárias de corpos finitos com cardinalidade crescente, permitindo que o caractere varie. Resultados anteriores por Katz (para $d=1$) e FFK (para grupos comutativos conexos) foram ou restritos a objetos fixos sobre extensões variáveis ou condicionais a limites uniformes para toros de dimensão superior ($d \ge 2$).

Metodologia
A estratégia de prova baseia-se em três componentes principais: uma estimativa de Mellin de uma coordenada uniforme, indução sobre a dimensão do toro e uma dedução Tannakiana para equidistribuição.

1. Estimativa de Mellin de Uma Coordenada Uniforme:
   A principal inovação técnica é um limite quantitativo para o conjunto de caracteres "excepcionais" para uma única variável multiplicativa. Ao decompor $\mathbb{G}_m^d = \mathbb{G}_m \times \mathbb{G}_m^{d-1}$, os autores analisam as imagens diretas relativas de um feixe perverso torcido por um caractere do primeiro fator.

• Eles utilizam o triângulo de localização para relacionar a falha do morfismo de esquecimento de suportes aos estojos (stalks) na fronteira em $0$e$\infty$.
• Estes estojos de fronteira são identificados com a cohomologia de inércia contínua de complexos de ciclos próximos relativos.
• Utilizando o desvanecimento primo-a-$\ell$ da cohomologia de inércia (Apêndice B) e a injetividade do mapa $\lambda \mapsto \lambda_x(\tau_x)$ (onde $\tau_x$ é um gerador topológico da inércia tame), eles mostram que os caracteres excepcionais correspondem a autovalores de monodromia nestes complexos de ciclos próximos.
• Crucialmente, eles limitam o número de tais autovalores apenas em termos da complexidade $cu(A)$ e da dimensão $d$, evitando o uso de alterações de de Jong ou resolução de singularidades, que de outra forma introduziriam constantes não uniformes.

2. Indução sobre a Dimensão:
   Os autores provam os teoremas principais por indução sobre $d$.

• Teorema 1.1 (Contagem de Pontos Uniforme): Para um complexo $K$, o tamanho do suporte $\Delta(K)$ do cone do morfismo de comparação de Mellin é limitado por $O(q^{n(d-1)})$. O passo indutivo utiliza a transformada de Mellin relativa para reduzir o problema de dimensão $d$ para $d-1$. Para caracteres não-excepcionais, o problema reduz-se ao caso de dimensão inferior; para caracteres excepcionais, o limite é trivial, mas controlado pela complexidade.
• Teorema 1.2 (Contagem de Pontos Estratificada): Este refina o resultado para graus cohomológicos específicos $i$. Os autores utilizam a sequência espectral perversa para relacionar saltos de cohomologia em grau $i$ em $\mathbb{G}_m^d$ a saltos nos graus $i$ e $i-1$ para os feixes de cohomologia perversa das imagens diretas relativas em $\mathbb{G}_m^{d-1}$. Isso permite que o limite indutivo $O(q^{n(d-i)})$ seja preservado.

3. Dedução Tannakiana:
   O resultado de equidistribuição (Corolário 1.4) é derivado usando o formalismo Tannakiano de FFK.

• Os autores estabelecem que o locus não-ramificado $X(M_0)$ é genérico (Teorema 1.3) ao relacioná-lo ao suporte $\Delta(L)$ de um objeto específico $L = M \oplus M^\vee$.
• Usando o critério de Weyl, eles mostram que as classes de conjugação de Frobenius equidistribuem no subgrupo compacto maximal do grupo Tannakiano. Os limites uniformes dos Teoremas 1.2 e 1.3 garantem que os caracteres "ruins" (onde a cohomologia é não-zero em graus não-zero ou onde ocorre ramificação) são desprezíveis em número comparados ao total de caracteres conforme o tamanho do corpo finito tende ao infinito.

Principais Contribuições e Resultados

• Teorema 1.1 (Desvanecimento Genérico Estratificado Uniforme): Prova que para qualquer $d \ge 1$, existe uma função $\Phi_d^\Delta$ tal que para qualquer corpo finito $k$, qualquer primo $\ell \neq \text{char}(k)$, e qualquer complexo $K$ de complexidade limitada $C$, o número de caracteres $\chi \in \widehat{\mathbb{G}_m^d}(k_n)$ onde o morfismo de esquecimento de suportes não é um isomorfismo é limitado por $\Phi_d^\Delta(C) q^{n(d-1)}$.
• Teorema 1.2 (Contagem de Pontos de Complexidade Limitada): Prova que para um feixe perverso $A$ de complexidade $C$, o número de caracteres onde a cohomologia $H^i_c$ ou $H^i$ é não-zero é limitado por $\Psi_d(C) q^{n(d-i)}$. Isso fornece os limites uniformes necessários para os loci de desvanecimento estratificado.
• Teorema 1.3 (Contagem de Pontos Não-Ramificados): Estabelece que o complemento do locus não-ramificado para um objeto aritmeticamente semissimples é limitado por $O(q^{n(d-1)})$, uniformemente no caractere e em $\ell$.
• Corolário 1.4 (Equidistribuição): Prova um teorema de equidistribuição para sequências de feixes perversos de complexidade limitada com um grupo de monodromia Tannakiana comum. À medida que a cardinalidade dos corpos finitos tende ao infinito, as classes de conjugação de Frobenius anexadas aos caracteres multiplicativos equidistribuem no espaço das classes de conjugação de um subgrupo compacto maximal do grupo Tannakiano.

Significância
O artigo afirma resolver o caso aberto de equidistribuição horizontal para toros de dimensão $d \ge 2$ deixado por Forey–Fresán–Kowelsk. Embora FFK tenha estabelecido a estrutura dos loci ruins incondicionalmente, seu teorema de equidistribuição para $d \ge 2$ permaneceu condicionado a limites uniformes para esses loci. Este artigo fornece esses limites, tornando o teorema de equidistribuição incondicional para $\mathbb{G}_m^d$.

Além disso, os resultados generalizam o teorema de equidistribuição de Katz (originalmente para $d=1$) para sequências arbitrárias de corpos finitos, incluindo aqueles onde o caractere varia. As constantes nos limites dependem apenas da dimensão e da complexidade do feixe (no sentido de Sawin), garantindo uniformidade através de variados caracteres e primos $\ell$. Esta uniformidade é alcançada sem depender de alterações de de Jong ou resolução de singularidades, que tipicamente geram constantes dependentes da geometria específica da variedade, em vez de apenas sua complexidade.

O trabalho assim unifica a teoria do desvanecimento genérico e da equidistribuição para toros, fornecendo um arcabouço robusto para analisar somas exponenciais e somas de caracteres em famílias sobre corpos finitos variáveis.