Arithmetic level raising for certain quaternionic unitary Shimura variety

Título: Elevação de Nível Aritmética em Certas Variedades de Shimura Unitárias Quaternionicas
Autor: Haining Wang

1. Formulação do Problema e Contexto

O artigo aborda o problema de estabelecer um teorema de elevação de nível aritmética para o grupo simplético de grau quatro, $GSp_4$, no caso ramificado. Este trabalho situa-se no quadro mais amplo da conjectura de Beilinson–Bloch–Kato (BBK) para motivos de Rankin–Selberg associados a grupos ortogonais, especificamente no contexto da conjectura de Gan–Gross–Prasad (GGP).

Embora os teoremas de elevação de nível sejam bem compreendidos para $GL_2$ (através do trabalho de Ribet) e tenham sido estendidos a certas variedades de Shimura unitárias (por exemplo, por Liu, Taylor e outros), estender esses resultados para grupos de posto superior como $GSp_4$ apresenta desafios geométricos e de teoria das representações significativos. Especificamente, o autor visa provar que, se uma representação automorfa cuspidal $\pi$ de $GSp_4(\mathbb{A}_\mathbb{Q})$ satisfizer condições de congruência específicas em um primo $p$ (a "condição de elevação de nível"), é possível construir uma nova representação automorfa $\Pi$ de nível superior (ramificada em $p$) que compartilha a mesma representação de Galois residual.

2. Metodologia

A prova baseia-se numa combinação de geometria aritmética, teoria das variedades de Shimura e a correspondência de Jacquet–Langlands. A metodologia central envolve:

• Configuração Geométrica: O autor utiliza uma variedade de Shimura unitária quaternionica $Sh(B, K_{Pa})$ de dimensão 3, associada a uma álgebra de quaterniões indefinida $B$ ramificada em $p$ e em outro primo $q$. O modelo integral desta variedade, $X_{Pa}(B)$, possui singularidades quadráticas ordinárias isoladas em sua fibra especial.
• Análise do Lugar Supersingular: Um passo crítico é a descrição detalhada do lugar supersingular da fibra especial. O autor emprega o teorema de uniformização de Rapoport–Zink para relacionar este lugar a um espaço de Rapoport–Zink. A estrutura deste lugar é analisada usando a estratificação de Bruhat–Tits, mostrando que suas componentes irredutíveis são parametrizadas por conjuntos de Shimura (grupos unitários quaternionicos definidos) e são isomórficas a variedades de Deligne–Lusztig.
• Monodromia e Cohomologia: A prova utiliza intensamente a fórmula de Picard–Lefschetz para calcular a ação de monodromia na cohomologia da fibra especial. O autor refina esta fórmula para identificar as peças graduadas da filtração de monodromia com grupos específicos de cohomologia de interseção. Isso permite o cálculo da ação do operador de monodromia $N$ na cohomologia dos ciclos próximos.
• Matrizes de Elevação de Nível: O autor constrói uma matriz de elevação de nível ($T_{lr}$) e uma matriz supersingular ($T_{ss}$). Estas matrizes relacionam a cohomologia da variedade de Shimura com a cohomologia do lugar supersingular (que corresponde ao conjunto de Shimura). As entradas destas matrizes são calculadas usando operadores de Hecke e números de interseção nas fibras singulares.
• Teoria de Deformação de Galois: Para lidar com questões de torção e estabelecer resultados de liberdade, o artigo emprega técnicas de anéis de deformação de Galois (seguindo o trabalho de Taylor–Wiles e avanços recentes de LTXZZ). Isso é usado para provar que os grupos de cohomologia relevantes são livres sobre anéis de deformação universais, o que é essencial para deduzir a existência da forma elevada de nível.

3. Contribuições e Resultados Chave

A. Teorema de Elevação de Nível Aritmética para $GSp_4$ (Teoremas 1.4 & 9.4)
O resultado principal estabelece um isomorfismo entre um quociente singular da cohomologia de Galois dos ciclos próximos da variedade de Shimura e a cohomologia de um conjunto de Shimura (as formas "antigas"):
$$H^1_{sing}(\mathbb{Q}_{p^2}, H^3_c(Sh(B, K_{Pa}), \mathcal{O}_\lambda/\lambda^m(2))_{\mathfrak{m}}) \xrightarrow{\sim} \mathcal{O}_\lambda/\lambda^m[Sh(B, K_H)]_{\mathfrak{m}}$$
Aqui, $\mathfrak{m}$ é um ideal maximal correspondente a uma representação de Galois residual $\rho_{\pi, \lambda}$. Este isomorfismo serve como um análogo do lema de Ihara para variedades de Shimura com má redução.

B. Elevação de Nível para Representações Automorfas (Teoremas 1.6 & 9.11)
Como aplicação direta, o artigo prova que, se $\pi$ é uma representação automorfa cuspidal de $GSp_4(\mathbb{A})$ de "tipo geral" (não endoscópica, não CAP) satisfazendo a condição de elevação de nível em $p$, existe uma nova representação automorfa $\Pi$ tal que:

1. $\Pi$ é também de tipo geral.
2. A componente local $\Pi_p$ é de tipo IIa (uma representação ramificada).
3. As representações de Galois residuais são isomórficas: $\rho_{\pi, \lambda} \cong \rho_{\Pi, \lambda}$.

C. Resultados Geométricos sobre Lugares Supersingulares

• O autor prova que a cohomologia de interseção da fibra especial, localizada em um ideal maximal genérico, é gerada por ciclos de Tate provenientes do lugar supersingular (Teorema 1.5).
• O artigo estabelece a conjectura peso-monodromia para certos grupos de cohomologia interior da variedade de Shimura (Corolário 5.19).
• Mostra-se que a cohomologia da fibra especial é livre de torção após localização em um ideal maximal genérico (Corolários 9.7, 9.8, 9.10), um resultado alcançado adaptando métodos da teoria de deformação de Galois.

D. Cálculos Matriciais
O artigo fornece cálculos explícitos da matriz de elevação de nível e da matriz supersingular em termos de operadores de Hecke ($T_{p,0}, T_{p,1}, T_{p,2}$) e seus determinantes. Estes cálculos são cruciais para verificar que os mapas relevantes são isomorfismos sob condições genéricas de elevação de nível.

4. Significado e Alegações

O artigo alega que este resultado é um passo fundamental em direção à conjectura de Beilinson–Bloch–Kato para certos motivos de Rankin–Selberg associados a grupos ortogonais ($SO_4 \times SO_5$) dentro do quadro GGP.

• Análogo do Lema de Ihara: O teorema principal é apresentado como um análogo de posto superior do lema de Ihara para curvas de Shimura ramificadas em $p$, expandindo o escopo das técnicas de elevação de nível além de $GL_2$ e grupos unitários.
• Ponte para BBK: O autor observa que, em uma sequência, este resultado será usado para mostrar que a não anulação de certos integrais de período implica a anulação de grupos específicos de Selmer de Bloch–Kato, estabelecendo assim uma direção da conjectura BBK nos casos de posto 0 e posto 1.
• Redução de Nível: Os resultados também visam facilitar a prova de teoremas de redução de nível para $GSp_4$ (conforme referido no artigo companheiro [Wang22b]), que é um componente necessário para a conjectura aritmética completa de GGP.

O autor declara explicitamente que a restrição a $GSp_4$ sobre $\mathbb{Q}$ (em vez de um corpo totalmente real) deve-se às limitações atuais do teorema de uniformização de Rapoport–Zink para as variedades de Shimura específicas estudadas, embora o autor acredite que a descrição geométrica do lugar supersingular se generalizaria. O artigo não alega resolver a conjectura BBK completa, mas fornece a maquinaria de elevação de nível aritmética necessária para atacar casos específicos.