Some vanishing results for the rational completed cohomology of Shimura varieties

1. Problema e Contexto

O artigo investiga a cohomologia completada (completed cohomology) de variedades de Shimura, um objeto introduzido por Matthew Emerton que serve como um substituto para espaços de formas automórficas $p$-ádicas. Especificamente, os autores focam no comportamento da cohomologia completada racional (com coeficientes em $\mathbb{Q}_p$) em graus inferiores à dimensão complexa da variedade ($i < d$).

O problema central é entender quais caracteres infinitesimais da ação da álgebra de Lie $\mathfrak{g} = \text{Lie}(G(\mathbb{C}))$ podem aparecer na cohomologia localmente analítica $\tilde{H}^{i, la}_{\mathbb{C}}$ para $i < d$. A conjectura e resultados anteriores sugerem que a cohomologia é "rica" apenas no grau médio ($i=d$) e que graus inferiores deveriam desaparecer sob certas condições de regularidade nos pesos infinitesimais. O objetivo deste trabalho é provar que, para pesos suficientemente regulares, a cohomologia em graus estritamente menores que a dimensão se anula.

2. Metodologia

A prova combina técnicas profundas de geometria aritmética $p$-ádica, teoria de representações de grupos de Lie e geometria algébrica. A estratégia pode ser dividida nos seguintes pilares:

• Teorema de Vanishing de Kodaira em Característica Mista:
  Os autores utilizam um resultado fundamental de Bhargav Bhatt sobre um teorema de anulação do tipo Kodaira em bases de característica mista. Eles aplicam este teorema à cohomologia de feixes construtíveis em variedades de Shimura, demonstrando que certas cohomologias de feixes torcidos por potências negativas de fibrados de linha amplos desaparecem em graus baixos.

• Teoria de Sen Geométrica e o Mapa de Período Hodge-Tate:
  O trabalho faz uso intensivo da teoria de Sen geométrica desenvolvida por Juan Esteban Rodríguez Camargo. Eles consideram a torre de variedades de Shimura em nível infinito em $p$. O mapa de período Hodge-Tate ($\pi_{HT}$) mapeia esta torre para uma variedade de bandeiras parcial ($\mathcal{F}\ell$).
  A chave é que as funções localmente analíticas na torre infinita satisfazem equações diferenciais governadas pelos operadores de Sen. Especificamente, a ação da álgebra de Lie $\mathfrak{n}$ (o radical unipotent do parabolic associado) sobre o feixe de funções localmente analíticas é nula. Isso permite interpretar a cohomologia completada como a cohomologia de um feixe $\mathcal{O}_{la}$ no espaço de bandeiras $\mathcal{F}\ell$.

• Funções de Tradução (Translation Functors) e Localização:
  Inspirados pela localização de Beilinson-Bernstein, os autores utilizam funtores de tradução para "desdobrar" (untwist) os fibrados de linha envolvidos. Eles demonstram que, ao tensorar com representações de dimensão finita adequadas, podem isolar as partes da cohomologia associadas a caracteres infinitesimais específicos.
  A condição de "suficiente regularidade" ($\mu_h$-sufficient regularity) é definida de forma a garantir que certos pesos não apareçam na cohomologia de graus baixos após a aplicação desses funtores.

• Redução ao Caso Conectado e Simplesmente Conectado:
  Para lidar com variedades de Shimura gerais (onde o grupo derivado pode não ser simplesmente conectado), os autores reduzem o problema ao caso de uma variedade de Shimura associada à cobertura simplesmente conectada do grupo derivado ($G_{sc}$). Eles utilizam isogenias centrais e propriedades de compactificações toroidais para transferir os resultados de vanishing do caso "bom" (onde as condições técnicas são mais fáceis) para o caso geral.

3. Contribuições e Resultados Principais

O resultado central é o Teorema 1.1.2 (e sua versão refinada, Teorema 6.1.3):

• Anulação da Cohomologia: Seja $d$ a dimensão complexa da variedade de Shimura. Existe um inteiro $n > 0$ tal que a potência $I^n$ do ideal $I \subset Z(U(\mathfrak{g}))$ (definido pelos caracteres não suficientemente regulares) anula a cohomologia completada localmente analítica em graus $i < d$:
  $$I^n \cdot \tilde{H}^{i, la}_{\mathbb{C}} = 0 \quad \text{para } i < d.$$
  Em particular, se um caractere infinitesimal $[\lambda]$ é "suficientemente regular" (definido em relação ao co-caractere de Hodge $\mu_h$), então a parte isotípica correspondente na cohomologia de grau $i < d$ é zero.

• Definição de Regularidade Suficiente: Os autores introduzem uma noção refinada de regularidade ($\mu_h$-sufficient regularity) que depende da escolha de um isomorfismo $\iota: \mathbb{C} \xrightarrow{\sim} \mathbb{C}$ e do co-caractere de Hodge. Esta condição é mais fraca que a regularidade clássica em certos casos (como variedades de Shimura de curvas), permitindo resultados mais fortes.

• Generalização para Sistemas Locais "Grandes": Diferente de trabalhos anteriores que tratavam apenas de sistemas locais de dimensão finita, este método funciona para sistemas locais de dimensão infinita (representações de Banach $p$-ádicas localmente analíticas), conforme mostrado no Corolário 6.1.7.

• Reprovação de Resultados Anteriores: O método permite reprovar resultados de anulação obtidos anteriormente por Lan (2016) para sistemas locais de dimensão finita, mas com uma abordagem que unifica a perspectiva racional e $p$-ádica.

4. Significado e Impacto

• Suporte à Conjectura de Calegari-Emerton: O resultado fornece suporte forte à crença de que a cohomologia de variedades de Shimura é concentrada no grau médio ($i=d$) quando se considera a ação do centro da álgebra de envelopante universal.
• Diferenciação de Trabalhos Existentes: O artigo destaca duas diferenças cruciais em relação a resultados de vanishing recentes (como os de Caraiani-Scholze, Klosin, etc.):
  1. Este trabalho é completamente racional (coeficientes em $\mathbb{Q}_p$), enquanto outros frequentemente lidam com coeficientes integrais ou torção.
  2. As condições de genericidade aqui surgem do estudo de representações $p$-ádicas de $G(\mathbb{Q}_p)$, ao contrário de trabalhos que usam representações em lugares $l \neq p$.
• Ferramentas para Teoria de Números: A técnica de combinar o teorema de vanishing de Bhatt com a teoria de Sen geométrica e funtores de tradução abre novas portas para estudar a estrutura da cohomologia de variedades de Shimura e, por extensão, a correspondência de Langlands $p$-ádica.
• Extensões Futuras: Os autores mencionam que, em um trabalho subsequente (Pan, 2025), esta metodologia é estendida para variedades modulares de Hilbert, produzindo ideais de toda a álgebra de envelopante $U(\mathfrak{g})$ (não apenas do centro) que anulam a cohomologia, sugerindo que resultados similares devem valer para variedades de Shimura mais gerais.

Em resumo, o artigo estabelece uma fronteira rigorosa para a existência de cohomologia em graus baixos para variedades de Shimura, utilizando uma síntese sofisticada de geometria $p$-ádica moderna e teoria de representações.