Igusa Stack for some exceptional Shimura Varieties

1. Problema e Contexto

O artigo aborda um problema central na teoria das variedades de Shimura: a construção e compreensão de modelos integrais "bons" (suaves sobre o anel de inteiros) em nível hiperspecial, especialmente para variedades que não são de tipo abeliano.

• Limitações das abordagens tradicionais: O método clássico de imersão em variedades modulares de Siegel e fechamento funciona para variedades de tipo de Hodge e abeliano, mas falha para variedades de tipos mais gerais (como certos tipos excepcionais) e fornece pouca informação direta sobre a geometria $p$-ádica dos modelos resultantes.
• A Conjectura do Produto Fibrado de Scholze: Scholze propôs uma descrição alternativa baseada em Shtukas e Stacks de Igusa. A conjectura postula que a variedade de Shimura (vista como um diamante) pode ser recuperada como um produto fibrado sobre o stack de feixes $G$-bundles na curva de Fargues-Fontaine ($Bun_G$), separando a geometria local $p$-ádica da estrutura global.
• O Caso Específico: Enquanto a conjectura foi provada para variedades de tipo de Hodge (por Zhang, Daniels, Van Hoften, Kim, Zhang), este artigo foca nas variedades de Shimura meta-unitárias, introduzidas por Bültel (2008). Estas variedades não são necessariamente de tipo abeliano, mas possuem modelos integrais construídos por Bültel que antecipam a filosofia de Scholze, utilizando displays $(G, \mu)$.

2. Metodologia

O autor reformula a construção original de Bültel na linguagem moderna da geometria $p$-ádica desenvolvida por Scholze, Fargues e outros. A metodologia envolve:

• Reformulação via Shtukas: Traduzir a construção de Bültel (baseada em displays e produtos fibrados de feixes) para a linguagem de Shtukas e Stacks de Igusa sobre a curva de Fargues-Fontaine.
• Uso de Imersões em Tipos PEL: Aproveitar a existência de imersões fechadas de variedades meta-unitárias em variedades de Shimura de tipo PEL (unitárias), permitindo o uso de resultados conhecidos para o tipo PEL e estendê-los via functorialidade.
• Correspondência de Langlands Local Categorical: Aplicar a correspondência de Langlands local categórica unipotente (desenvolvida por H. Zhu e Y. Yang) para analisar a cohomologia.
• Geometria do Fibra Especial: Utilizar a estrutura do fibra especial (Stack de Igusa) para controlar a deformação para a fibra genérica, estabelecendo a fórmula do produto fibrado.

3. Principais Contribuições e Resultados

A. Prova da Conjectura do Produto Fibrado para Meta-Unitárias

O resultado central é a Teorema 1.2, que prova a conjectura de Scholze para variedades de Shimura meta-unitárias.

• Construção do Stack de Igusa ($Igs_{K_p, G, \mu}$): O autor constrói um stack de Igusa que descreve a fibra especial do modelo integral.
• Diagrama de Produto Fibrado: Demonstra-se que a variedade de Shimura (no nível $p^\infty$) é isomorfa ao produto fibrado do Stack de Igusa e da célula de Schubert do Grassmanniano afim sobre o stack $Bun_G$:
  $$Sh_{K_p}(G, \mu)^\diamond \cong Igs_{K_p, G, \mu} \times_{Bun_G} Gr_{G, \mu^{-1}}$$
• Propriedades do Stack: O stack de Igusa é mostrado como um stack de Artin $v$-pequeno, $\ell$-cohomologicamente suave de dimensão 0, satisfazendo todas as propriedades previstas na conjectura (ação de Hecke, compatibilidade com compactificações mínimas, etc.).

B. Consequências Cohomológicas e Mantovan

O artigo deriva consequências imediatas da fórmula do produto fibrado:

• Fórmula de Mantovan Geométrica: Estabelece uma decomposição da cohomologia da variedade de Shimura em termos da cohomologia do Stack de Igusa e das variedades locais de Shimura (Teorema 1.6 e Corolário 1.5).
  $$gr_{[b]} R\Gamma(Sh) \simeq R\Gamma(Igs_b) \otimes_{H(G_b)} R\Gamma_c(Mint_{G,b,\mu})$$
• Compatibilidade Local-Global (Teorema 1.4): Prova-se a compatibilidade entre a cohomologia étale das variedades meta-unitárias e a correspondência de Langlands local de Fargues-Scholze. As representações de Weil que aparecem na cohomologia correspondem aos parâmetros de Langlands associados.

C. Teorema de Vanishing para a Parte Genérica

Adaptando a estratégia de Zhu e Yang, o autor prova um teorema de anulação para a parte "genérica" da cohomologia (Teorema 1.6 e Teorema 10.9):

• Sob condições de genericidade no parâmetro de Langlands e para $p$ suficientemente grande, a cohomologia étale da variedade de Shimura meta-unitária é concentrada em uma única dimensão (a dimensão da variedade).
• Isso generaliza resultados anteriores conhecidos apenas para tipos abelianos e de Hodge.

4. Significado e Impacto

• Generalização de Resultados Fundamentais: Este trabalho estende a validade da conjectura de Scholze e das ferramentas de cohomologia de Shtukas para uma classe de variedades de Shimura não-abelianas (meta-unitárias), preenchendo uma lacuna importante na teoria.
• Validação da Abordagem de Bültel: Confirma que a construção de modelos integrais de Bültel (2008) é, de fato, consistente e equivalente à estrutura moderna proposta por Scholze, validando a intuição geométrica de Bültel através da lente da geometria $p$-ádica moderna.
• Aplicabilidade a Tipos Excepcionais: O método sugere que a abordagem pode ser estendida para outros tipos excepcionais (como $E_7$), oferecendo um caminho para entender a cohomologia e a redução modular $p$ de variedades que não possuem modelos de Shimura clássicos de tipo abeliano.
• Ferramentas para Langlands: Ao estabelecer a compatibilidade local-global e o teorema de vanishing, o artigo fornece ferramentas robustas para investigar a correspondência de Langlands para grupos reductivos mais gerais, utilizando a geometria das variedades de Shimura como ponte.

Em resumo, o artigo consolida a teoria de modelos integrais para variedades meta-unitárias, prova a conjectura fundamental de Scholze para este caso e utiliza essa estrutura geométrica para obter resultados profundos sobre a cohomologia e a correspondência de Langlands.