Arithmetic level raising for certain quaternionic unitary Shimura variety

Título: Elevación de nivel aritmética en ciertas variedades de Shimura unitarias cuaterniónicas
Autor: Haining Wang

1. Enunciado del problema y contexto

El artículo aborda el problema de establecer un teorema de elevación de nivel aritmética para el grupo simpléctico de grado cuatro, $GSp_4$, en el caso ramificado. Este trabajo se sitúa dentro del marco más amplio de la conjetura de Beilinson–Bloch–Kato (BBK) para motivos de Rankin–Selberg asociados a grupos ortogonales, específicamente en el contexto de la conjetura de Gan–Gross–Prasad (GGP).

Si bien los teoremas de elevación de nivel están bien comprendidos para $GL_2$ (mediante el trabajo de Ribet) y se han extendido a ciertas variedades de Shimura unitarias (por ejemplo, por Liu, Taylor y otros), extender estos resultados a grupos de rango superior como $GSp_4$ presenta desafíos geométricos y de teoría de representaciones significativos. Específicamente, el autor pretende demostrar que si una representación automórfica cuspidal $\pi$ de $GSp_4(\mathbb{A}_\mathbb{Q})$ satisface condiciones de congruencia específicas en un primo $p$ (la "condición de elevación de nivel"), se puede construir una nueva representación automórfica $\Pi$ de nivel superior (ramificada en $p$) que comparta la misma representación de Galois residual.

2. Metodología

La demostración se basa en una combinación de geometría aritmética, la teoría de variedades de Shimura y la correspondencia de Jacquet–Langlands. La metodología central implica:

• Configuración geométrica: El autor utiliza una variedad de Shimura unitaria cuaterniónica $Sh(B, K_{Pa})$ de dimensión 3, asociada a un álgebra de cuaterniones indefinida $B$ ramificada en $p$ y otro primo $q$. El modelo integral de esta variedad, $X_{Pa}(B)$, presenta singularidades cuadráticas ordinarias aisladas en su fibra especial.
• Análisis del lugar supersingular: Un paso crítico es la descripción detallada del lugar supersingular de la fibra especial. El autor emplea el teorema de uniformización de Rapoport–Zink para relacionar este lugar con un espacio de Rapoport–Zink. La estructura de este lugar se analiza utilizando la estratificación de Bruhat–Tits, mostrando que sus componentes irreducibles están parametrizados por conjuntos de Shimura (grupos unitarios cuaterniónicos definidos) y son isomorfos a variedades de Deligne–Lusztig.
• Monodromía y cohomología: La demostración utiliza intensivamente la fórmula de Picard–Lefschetz para calcular la acción de monodromía sobre la cohomología de la fibra especial. El autor refina esta fórmula para identificar los componentes graduados de la filtración de monodromía con grupos específicos de cohomología de intersección. Esto permite el cálculo de la acción del operador de monodromía $N$ sobre la cohomología de los ciclos cercanos.
• Matrices de elevación de nivel: El autor construye una matriz de elevación de nivel ($T_{lr}$) y una matriz supersingular ($T_{ss}$). Estas matrices relacionan la cohomología de la variedad de Shimura con la cohomología del lugar supersingular (que corresponde al conjunto de Shimura). Las entradas de estas matrices se calculan utilizando operadores de Hecke y números de intersección en las fibras singulares.
• Teoría de deformación de Galois: Para manejar problemas de torsión y establecer resultados de libertad, el artículo emplea técnicas de anillos de deformación de Galois (siguiendo el trabajo de Taylor–Wiles y avances recientes de LTXZZ). Esto se utiliza para demostrar que los grupos de cohomología relevantes son libres sobre anillos de deformación universales, lo cual es esencial para deducir la existencia de la forma elevada de nivel.

3. Contribuciones y resultados clave

A. Teorema de elevación de nivel aritmética para $GSp_4$ (Teoremas 1.4 y 9.4)
El resultado principal establece un isomorfismo entre un cociente singular de la cohomología de Galois de los ciclos cercanos de la variedad de Shimura y la cohomología de un conjunto de Shimura (las formas "antiguas"):
$$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}}$$
Aquí, $\mathfrak{m}$ es un ideal maximal correspondiente a una representación de Galois residual $\rho_{\pi, \lambda}$. Este isomorfismo sirve como un análogo del lema de Ihara para variedades de Shimura con reducción mala.

B. Elevación de nivel para representaciones automórficas (Teoremas 1.6 y 9.11)
Como aplicación directa, el artículo demuestra que si $\pi$ es una representación automórfica cuspidal de $GSp_4(\mathbb{A})$ de "tipo general" (no endoscópica, no CAP) que satisface la condición de elevación de nivel en $p$, existe una nueva representación automórfica $\Pi$ tal que:

1. $\Pi$ es también de tipo general.
2. El componente local $\Pi_p$ es de tipo IIa (una representación ramificada).
3. Las representaciones de Galois residuales son isomorfas: $\rho_{\pi, \lambda} \cong \rho_{\Pi, \lambda}$.

C. Resultados geométricos sobre lugares supersingulares

• El autor demuestra que la cohomología de intersección de la fibra especial, localizada en un ideal maximal genérico, está generada por ciclos de Tate provenientes del lugar supersingular (Teorema 1.5).
• El artículo establece la conjetura peso-monodromía para ciertos grupos de cohomología interior de la variedad de Shimura (Corolario 5.19).
• Se muestra que la cohomología de la fibra especial es libre de torsión después de la localización en un ideal maximal genérico (Corolarios 9.7, 9.8, 9.10), un resultado logrado adaptando métodos de la teoría de deformación de Galois.

D. Cálculos matriciales
El artículo proporciona cálculos explícitos de la matriz de elevación de nivel y la matriz supersingular en términos de operadores de Hecke ($T_{p,0}, T_{p,1}, T_{p,2}$) y sus determinantes. Estos cálculos son cruciales para verificar que los mapas relevantes son isomorfismos bajo las condiciones genéricas de elevación de nivel.

4. Significado y afirmaciones

El artículo afirma que este resultado es un paso clave hacia la conjetura de Beilinson–Bloch–Kato para ciertos motivos de Rankin–Selberg asociados a grupos ortogonales ($SO_4 \times SO_5$) dentro del marco GGP.

• Análogo del lema de Ihara: El teorema principal se presenta como un análogo de rango superior del lema de Ihara para curvas de Shimura ramificadas en $p$, extendiendo el alcance de las técnicas de elevación de nivel más allá de $GL_2$ y los grupos unitarios.
• Puente hacia BBK: El autor señala que en una secuela, este resultado se utilizará para demostrar que la no anulación de ciertas integrales de período implica la anulación de grupos de Selmer específicos de Bloch–Kato, estableciendo así una dirección de la conjetura BBK en los casos de rango 0 y rango 1.
• Descenso de nivel: Los resultados también están destinados a facilitar la demostración de teoremas de descenso de nivel para $GSp_4$ (como se referencia en el artículo complementario [Wang22b]), que es un componente necesario para la conjetura GGP aritmética completa.

El autor declara explícitamente que la restricción a $GSp_4$ sobre $\mathbb{Q}$ (en lugar de un cuerpo totalmente real) se debe a las limitaciones actuales del teorema de uniformización de Rapoport–Zink para las variedades de Shimura específicas estudiadas, aunque el autor cree que la descripción geométrica del lugar supersingular se generalizaría. El artículo no afirma resolver la conjetura BBK completa, sino que proporciona la maquinaria aritmética de elevación de nivel necesaria para atacar casos específicos.