Generic vanishing on homogeneous spaces in arbitrary characteristic

Resumo Técnico: Desvanecimento Genérico em Espaços Homogêneos em Característica Arbitrária

Enunciado do Problema
O artigo aborda o problema de estabelecer um teorema de "desvanecimento genérico" para a interseção de subvariedades afins suaves localmente fechadas dentro de um espaço homogêneo próprio $X$, sobre o qual age um grupo algébrico conexo $G$. Especificamente, os autores buscam provar que, para um translate genérico $gW$ de uma subvariedade $W$ por um elemento $g \in G$, a interseção $gW \cap Z$ satisfaz uma desigualdade de sinal específica relativa à sua característica de Euler.

Enquanto Schürmann–Simpson–Wang [SSW25] provaram este resultado em característica zero, os autores visam estender este teorema para um corpo algebricamente fechado arbitrário, incluindo característica positiva. O desafio central reside em adaptar os argumentos geométricos e cohomológicos utilizados em característica zero para contextos onde ferramentas padrão (como a teoria de Hodge ou teoremas de desvanecimento específicos que dependem da característica zero) podem não se aplicar diretamente.

Metodologia
Os autores empregam o arcabouço de feixes construtíveis $\ell$-ádicos e a teoria de feixes perversos. Sua abordagem baseia-se nas seguintes etapas metodológicas-chave:

1. Correspondência de Radon: Em vez de visualizar a família de interseções meramente como uma família parametrizada, os autores modelam a situação como uma correspondência de Radon sobre o grupo $G$. Eles definem um funtor transformada de Radon $R_W! : D^b_c(X) \to D^b_c(G)$ associado à correspondência de incidência $\Gamma_W \subset G \times X$.
2. Mudança de Base e Fórmula de Künneth: Uma observação técnica crítica é que, após um pullback suave ao longo de um mapa de órbita $\mu_x: G \to X$, a correspondência universal torna-se um produto. Esta redução permite aos autores utilizar a fórmula de Künneth, que vale incondicionalmente na categoria derivada de feixes construtíveis com dimensão tor-finita ($D^b_c$).
3. $t$-Exatidão: Os autores provam que a composição da transformada de Radon com o pushforward de um morfismo $f: Z \to X$ é $t$-exata em relação à estrutura $t$ perversa. Isso é alcançado analisando as propriedades dos morfismos envolvidos (suavidade, afinidade, quasi-finitude) e aplicando o desvanecimento de Artin e teoremas padrão de mudança de base.
4. Limites de Suporte: Ao estabelecer a $t$-exatidão, eles deduzem limites de suporte para o feixe perverso resultante em $G$. Esses limites implicam que os grupos de cohomologia das interseções desvanecem genericamente fora de um grau específico.
5. Descida Aritmética: Para o caso em que o corpo base é o fecho algébrico de um corpo finito $\mathbb{F}_q$, os autores descem os resultados geométricos ao nível do corpo finito. Eles utilizam o teorema de mudança de base genérica de Deligne e a estimativa de Lang–Weil para analisar as funções de traço e o tamanho do lugar "ruim" (onde o desvanecimento genérico falha).

Contribuições e Resultados Principais

• Teorema Principal (Desvanecimento Genérico): O artigo prova que, para um feixe perverso $K$ em uma subvariedade $Z$, existe um subconjunto aberto denso $U \subset G$ tal que, para todo $g \in U(k)$, os grupos de cohomologia com suporte compacto $H^i_c(gW, g f_Z^* g \phi_Z^* K)$ desvanecem para $i \neq \dim W - \dim X$.
• Desigualdade de Sinal: Como consequência, os autores estabelecem a desigualdade de sinal:
  $$(-1)^{\dim X - \dim W + \dim Z} \chi(gW \cap Z) \geq 0$$
  para $g$ genérico em $G$, onde $\chi$ denota a característica de Euler. Este resultado vale sobre qualquer corpo algebricamente fechado, estendendo o resultado de característica zero de Schürmann–Simpson–Wang.
• Resolução de Conjecturas: O resultado confirma a conjectura de sinal de Kumar para interseções triplos de células de Schubert em característica arbitrária, uma conjectura anteriormente conhecida apenas em característica zero em casos específicos ou em plena generalidade via [SSW25].
• Consequências Aritméticas:
  • Identidade de Função de Traço: Sobre corpos finitos, a função de traço da transformada de Radon em um subconjunto aberto denso de $G$ é identificada com o traço de Frobenius em um único grupo de cohomologia do meio.
  • Estimativas de Lang–Weil: O artigo fornece uma estimativa para o número de pontos no lugar não genérico (o complemento do subconjunto aberto denso), mostrando que é limitado por $O(q^{n(\dim G - 1)})$.
  • Limites de Weil: Sob suposições adicionais (especificamente, que o feixe não tem contribuição de fronteira no infinito), os autores derivam um limite de Weil para as "somas exponenciais" resultantes nas interseções.

Significado e Afirmações
Os autores posicionam este trabalho como uma extensão natural da tradição do desvanecimento genérico, que historicamente tratou famílias de caracteres ou sistemas locais em suportes fixos (por exemplo, Green–Lazarsfeld, Gabber–Loeser, Schnell, Weissauer). Em contraste, este artigo trata de um feixe fixo com um suporte que varia por translação.

O artigo afirma significado em duas áreas principais:

1. Independência da Característica: Remove a restrição à característica zero para teoremas de desvanecimento genérico em espaços homogêneos, utilizando a robustez da transformada de Radon e da teoria de feixes perversos em característica arbitrária.
2. Aplicações Aritméticas: Demonstra que o teorema de $t$-exatidão geométrica produz consequências aritméticas concretas, incluindo identidades de traço precisas e limites sobre somas exponenciais sobre corpos finitos, sem exigir que os dados sejam definidos sobre característica zero.

Os autores permanecem modestos quanto ao escopo, observando que os métodos dependem da estrutura específica dos espaços homogêneos e da suavidade dos mapas de órbita, e não propõem novas aplicações experimentais ou direções futuras além dos refinamentos aritméticos imediatos discutidos na Seção 4.