Resumo Técnico: Cohomologia de Interseção de Stacks de Igusa

1. Enunciado do Problema

O artigo aborda o estudo da cohomologia de interseção de variedades de Shimura minimamente compactificadas de tipo PEL (especificamente de tipo AC) dentro do arcabouço do programa de Langlands. Embora exista uma literatura significativa sobre a cohomologia $L^2$ e a cohomologia de interseção dessas variedades (notadamente via a conjectura de Zucker e o trabalho de Morel), avanços recentes no programa de Langlands local categórico (Fargues–Scholze, Zhu) têm sido aplicados primordialmente à cohomologia usual ou de suporte compacto das variedades de Shimura.

O problema central é estender esses métodos categóricos para a cohomologia de interseção. Especificamente, os autores visam:

1. Construir um objeto geométrico no stack de módulos de $G$-bundles sobre a curva de Fargues–Fontaine ($\text{Bun}_G$) que recupere a cohomologia de interseção das variedades de Shimura.
2. Estabelecer que este objeto possui propriedades desejáveis (como a autodualidade de Verdier e a perversidade) análogas ao complexo de interseção na geometria algébrica clássica.
3. Derivar aplicações como uma fórmula de produto de Mantovan, resultados de desaparecimento de torção e relações de Eichler–Shimura para a cohomologia de interseção, que eram anteriormente difíceis de acessar usando as ferramentas existentes.

2. Metodologia

Os autores empregam a teoria dos stacks de Igusa, recentemente introduzida nos trabalhos de Zhang, Diamond, Hamann, Koshikawa e Zhu, para fazer a ponte entre as variedades de Shimura e o programa de Langlands local categórico.

Configuração Geométrica

• Stacks de Igusa: Os autores trabalham com o stack de Igusa minimamente compactificado, denotado por $\text{Igs}^*$, associado a um dado de Shimura (PEL do tipo AC).
• O Diagrama Cartesiano: Eles utilizam um diagrama cartesiano chave de $v$-stacks sobre $\text{Spd } \mathbb{F}_p$:
  $$\begin{array}{ccc} S^*_{K_p} & \xrightarrow{\pi_{HT}} & \text{F}_{\ell} \\ \downarrow{\tilde{h}} & & \downarrow{h} \\ \text{Igs}^* & \xrightarrow{\pi_{HT}} & \text{Bun}_G \end{array}$$
  Aqui, $S^*_{K_p}$ é a compactificação mínima da variedade de Shimura no nível infinito, $\text{F}_{\ell}$ é a analitificação de uma variedade de flag, e $\text{Bun}_G$ é o stack de módulos de $G$-bundles na curva de Fargues–Fontaine.
• Estratificação: Os autores investigam a interação entre a estratificação de Newton (estratificação de Harder–Narasimhan) em $\text{Bun}_G$ e a estratificação de Baily–Borel (estratificação de fronteira) na variedade de Shimura e no stack de Igusa. Eles provam que a estratificação de Baily–Borel na variedade de Shimura é puxada para uma estratificação compatível no stack de Igusa.

Construção Teórica de Sheaves

• Complexo de Interseção em Stacks de Igusa: Eles definem um complexo de interseção $\text{IC}_{\text{Igs}^*}$ no stack de Igusa, tomando a extensão intermediária do sheaf constante ao longo da imersão aberta da fibra genérica. Isso requer a definição de uma $t$-estrutura perversa em o $v$-stack estratificado $\text{Igs}^*$ através da colagem de $t$-estruturas padrão nos estratos com os devidos deslocamentos de grau.
• Cohomologia de Interseção Relativa: O principal objeto de estudo é o complexo $\text{FIC}_{\Lambda} := R\pi_{HT*}(\text{IC}_{\text{Igs}^*})$ em $\text{Bun}_G$.
• Ferramentas Técnicas: A construção depende fortemente de:
  • Funtores de analitificação para esquemas perfeitos e esquemas de característica mista.
  • Um critério para Aclicidade Local Universal (ULA) em quotients de stacks, inspirado pela correspondência entre sheaves ULA e representações admissíveis.
  • A identificação das fibras do morfismo de período de Hodge–Tate $\pi_{HT}$ com quotients de variedades de Igusa parcialmente minimamente compactificadas $[\text{Igb}_{*,\diamond}/J_b]$.

3. Principais Contribuições e Resultados

O Teorema Principal (Teorema 1.2)

Os autores constroem um complexo $\text{FIC}_{\Lambda} \in D_{\text{ét}}(\text{Bun}_{G, \mu^{-1}}, \Lambda)$ que satisfaz:

1. Autodualidade de Verdier: $\text{FIC}_{\Lambda}$ é autodual com relação à dualidade de Verdier em $\text{Bun}_{G, \mu^{-1}}$. Se $\Lambda$ é um anel regular, ele é universalmente localmente áclico (ULA).
2. Perversidade: $\text{FIC}_{\Lambda}$ é um sheaf perverso com relação à $t$-estrutura perversa natural em $\text{Bun}_{G, \mu^{-1}}$.
3. Recuperação da Cohomologia de Interseção: Aplicar o operador de Hecke $T_\mu$ associado ao co-caráter de Hodge $\mu$ e restringir ao estrato neutro (via $i_1^*$) recupera o complexo de cohomologia de interseção da variedade de Shimura:
   $$i_1^* T_\mu \text{FIC}_{\Lambda} \simeq \text{IC}(G, X)_{K_p, \Lambda}$$
4. Stalks: Os stalks de $\text{FIC}_{\Lambda}$ em um ponto $b \in B(G, \mu^{-1})$ são isomórficos à cohomologia de interseção da variedade de Igusa parcialmente minimamente compactificada $\text{Igb}_{*,\diamond}$ (deslocados pelo dimensão).

Aplicações

A. Fórmula de Produto de Mantovan (Teorema 1.5)

Os autores estabelecem uma versão da fórmula de produto de Mantovan para a cohomologia de interseção. Eles mostram que $\text{IC}(G, X)_{K_p, \Lambda}$ admite uma filtração indexada por estratos de Newton $b \in B(G, \mu^{-1})$, com peças graduadas isomórficas a:
$$R\Gamma_c(G, b, \mu, \Lambda(d_b))[d] \otimes_{H(J_b)} V_{\text{IC}, \Lambda, b}[d_b]$$
onde $R\Gamma_c$ é a cohomologia do espaço local de Shimura (espaço de Rapoport–Zink) e $V_{\text{IC}}$ é a cohomologia de interseção da variedade de Igusa. Isso fornece um método geométrico para computar a cohomologia de interseção em lugares de má redução.

B. Desaparecimento de Torção (Teorema 1.7)

Combinando a perversidade de $\text{FIC}_{\Lambda}$ com as propriedades dos operadores de Hecke, os autores provam que para ideais maximais genéricos $\mathfrak{m}$ na álgebra de Hecke esférica (e sob condições específicas em $G$, $\ell$ e $p$), a cohomologia de interseção localizada está concentrada no grau 0. Isso apoia as conjecturas de Koshikawa e Shin a respeito da amplitude cohomológica da cohomologia de interseção com coeficientes de torção.

C. Relações de Eichler–Shimura (Teorema 1.13)

O artigo prova a conjectura de Blasius–Rogawski para a cohomologia de interseção em níveis de Iwahori. Especificamente, a ação do subgrupo de inércia é unipotente, e a ação do Frobenius aritmético satisfaz a relação do polinômio de Hecke $H_\mu(\sigma_E) = 0$. Isso estende resultados anteriores conhecidos para a cohomologia usual para o cenário da cohomologia de interseção.

4. Significância e Escopo

O artigo afirma que sua principal significância reside em fornecer um arcabouço para estudar a cohomologia de interseção de variedades de Shimura usando o programa de Langlands local categórico.

• Conectando o Local e o Global: Ele conecta a geometria global das variedades de Shimura (via stacks de Igusa) com a geometria local de $\text{Bun}_G$, permitindo a aplicação de ferramentas locais poderosas (como a ação espectral e operadores de Hecke) a problemas globais de cohomologia de interseção.
• Novas Ferramentas para Má Redução: A fórmula de produto de Mantovan derivada aqui oferece uma rota potencial para entender a ação de Galois na cohomologia de interseção em lugares de má redução, complementando o método de Langlands–Kottwitz, que é mais eficaz em lugares de boa redução.
• Fundamentação para Conjecturas Futuras: Os autores sugerem que o sheaf perverso $\text{FIC}_{\Lambda}$ é o avatar geométrico correto para a "conjectura do eigensheaf" relacionada à classificação de Arthur. Eles postulam que $\text{FIC}_{\Lambda}$ deve se decompor em eigensheaves generalizados correspondentes a parâmetros de Arthur locais, espelhando a decomposição da cohomologia $L^2$ em representações automórficas discretas. Essa conexão é emoldurada como uma realização da visão de Fargues de compatibilidade local-global.

Limitações e Suposições:
Os resultados são atualmente estabelecidos sob a Suposição 1.1, que restringe o dado de Shimura para ser do tipo PEL com sistema de raízes absoluto do tipo AC, o grupo $G_{\mathbb{Q}_p}$ ser não ramificado, e a fronteira da compactificação mínima ter codimensão pelo menos 2. Os autores observam que, embora as construções geométricas sejam esperadas para se generalizar, a existência do stack de Igusa minimamente compactificado para variedades de Shimura mais gerais (ex: tipo Hodge) é um pré-requisito para estender esses resultados, o que é atualmente uma área de pesquisa ativa (citando Mao, 2025).

Em resumo, o artigo constrói com sucesso um sheaf perverso em $\text{Bun}_G$ que codifica a cohomologia de interseção de variedades de Shimura, provando suas propriedades fundamentais e derivando consequências aritméticas importantes, abrindo assim um novo caminho para a aplicação de técnicas de Langlands local categórico à cohomologia de interseção.