On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

Resumo Técnico: Sobre a Conjectura de Harris–Viehmann para Dados Locais de Shimura Redutíveis Hodge–Newton de Tipo Abeliano

Enunciação do Problema
O artigo aborda um caso específico da conjectura de Harris–Viehmann, que concerne à cohomologia $\ell$-ádica de variedades de Shimura locais associadas a dados locais de Shimura não-básicos. A conjectura postula uma fórmula de indução parabólica para esses grupos de cohomologia. Especificamente, afirma que, para um dado local de Shimura não-básico $(G, [b], \{\mu\})$ que é redutível Hodge–Newton em relação a um subgrupo parabólico $P$ e um fator de Levi $L$, a cohomologia do espaço Rapoport–Zink (RZ) associado $RZ_G$ é induzida a partir da cohomologia do espaço RZ $RZ_L$ associado ao subgrupo de Levi. Uma consequência crítica desta conjectura é que todas as representações supercuspidais que aparecem na cohomologia das variedades de Shimura estão concentradas ao longo do locus básico. Embora a conjectura tenha sido estabelecida para dados do tipo PEL (Mantovan), dados do tipo Hodge (Hong) e casos específicos como $GL_n$ (Hansen), uma prova geral para dados locais de Shimura não-ramificados de tipo abeliano sob redutibilidade Hodge–Newton permanecia em aberto.

Metodologia
As autoras, Sandra Nair e Xinyu Zhou, estendem a prova da conjectura de Harris–Viehmann para o contexto de tipo abeliano, aproveitando a construção de Shen de espaços Rapoport–Zink de tipo abeliano. Sua metodologia envolve as seguintes etapas-chave:

1. Redução ao Tipo Hodge: As autoras utilizam a definição de dados de tipo abeliano, que requer um isomorfismo entre o dado local de Shimura adjunto de $G$ e o de um dado auxiliar do tipo Hodge $(H, [b_H], \{\mu_H\})$. Elas estabelecem que, se $(G, [b_G], \{\mu_G\})$ é redutível Hodge–Newton, existe um dado do tipo Hodge associado que também é redutível Hodge–Newton (Lema 7.1).
2. Correspondência Geométrica: A estratégia central envolve relacionar a geometria do espaço RZ de tipo abeliano $RZ_G$ ao espaço RZ de tipo Hodge $RZ_H$. As autoras constroem um diagrama de correspondência envolvendo os espaços RZ do parabólico $P$ e do Levi $L$ para ambos os casos, abeliano e Hodge.
3. Dados de Descida de Weil: Um componente técnico significativo é a construção rigorosa do dado de descida de Weil para espaços RZ de tipo abeliano. As autoras definem um dado de descida $\Phi_{Shen}$ relativo a uma extensão finita $E_{opt}$ do corpo de reflexão, garantindo compatibilidade com os dados de descida conhecidos para o tipo Hodge (via construção de Kim) e com o módulo dos shtukas locais $p$-ádicos (via Pappas–Rapoport). Elas provam que essas construções coincidem (Teorema 6.3, Corolário 6.5).
4. Functorialidade e Quocientes: As autoras analisam a functorialidade dos espaços RZ sob morfismos de dados locais de Shimura. Elas tratam cuidadosamente a passagem do dado do tipo Hodge $H$ para o dado de tipo abeliano $G$ via o quociente adjunto $Gad$. Isso envolve gerenciar os núcleos dos mapas nos grupos fundamentais ($\pi_1$) e estabelecer isomorfismos entre os esquemas formais $RZ_G$, $RZ_{Gad}$ e seus correspondentes do tipo Hodge módulo ações de grupos específicas (Lema 5.1, Lema 10.4).
5. Comparação Cohomológica: Ao estabelecer isomorfismos entre a cohomologia dos componentes "mais" ($RZ^+$) dos espaços abeliano e Hodge, e utilizando os resultados conhecidos para o caso Hodge (especificamente o trabalho de Hong e Mantovan), as autoras transferem a propriedade de indução parabólica do contexto Hodge para o contexto abeliano.

Contribuições e Resultados Principais

• Teorema Principal (Teorema 1.1): O artigo prova que, para um dado local de Shimura não-ramificado $(G, [b], \{\mu\})$ de tipo abeliano que é redutível Hodge–Newton em relação a um parabólico $P$ e um Levi $L$, e para qualquer representação $\ell$-ádica admissível $\rho$ de $J_b(\mathbb{Q}_p)$, a seguinte igualdade vale como representações virtuais de $G(\mathbb{Q}_p) \times W_{E_{opt}}$:
  $$H^\bullet(RZ^\infty_G)_\rho = \text{Ind}_{P(\mathbb{Q}_p)}^{G(\mathbb{Q}_p)} H^\bullet(RZ^\infty_L)_\rho$$
  Aqui, $E_{opt}$ é uma extensão finita específica do corpo de reflexão construída no Teorema 6.3.
• Construção de Descida de Weil: As autoras fornecem uma construção completa e autossuficiente do dado de descida de Weil para espaços RZ de tipo abeliano, resolvendo ambiguidades potenciais relativas à dependência de dados auxiliares do tipo Hodge (Lema 6.4).
• Functorialidade dos Espaços RZ: O artigo estabelece que a formação de espaços RZ de tipo abeliano respeita produtos e mergulhos fechados de dados locais de Shimura (Proposição 8.2), generalizando resultados anteriores conhecidos para o tipo Hodge.
• Redução ao Caso Adjoint: A prova reduz efetivamente o problema para dados de tipo abeliano ao caso adjunto, utilizando a sobrejetividade do mapa $\pi_1(H)^\Gamma \to \pi_1(H^{ad})^\Gamma$ (uma condição satisfeita por grupos de similitude como $GL_n$ e $GSp_{2n}$).

Significado
O artigo afirma estender a validade da conjectura de Harris–Viehmann a uma classe mais ampla de dados locais de Shimura, especificamente dados não-ramificados de tipo abeliano, que contêm estritamente a classe de dados do tipo Hodge. Ao confirmar a fórmula de indução parabólica neste contexto, o trabalho reforça a compreensão estrutural da cohomologia das variedades de Shimura. Como notado na introdução, este resultado apoia a expectativa mais ampla no programa de Langlands de que as representações supercuspidais estão concentradas ao longo do locus básico. As autoras não afirmam resolver a conjectura para todos os dados locais de Shimura (por exemplo, casos não-redutíveis ou não-ramificados), mas visam especificamente o caso redutível Hodge–Newton para tipos abelianos, construindo sobre o trabalho fundamental de Mantovan, Hong e Shen.