Adjoint $L$-functions, congruence ideals, and Selmer groups over $\mathrm{GL}_n$

Resumen Técnico: Funciones L Adjuntas, Ideales de Congruencia y Grupos de Selmer sobre $\text{GL}_n$

Problema y Motivación
Este artículo investiga la relación entre los valores especiales de las funciones $L$ adjuntas, $L(1, \pi, \text{Ad}^\circ)$, e ideales de congruencia asociados a representaciones automórficas cuspidales cohomológicas $\pi$ de $\text{GL}_n$ sobre un campo numérico arbitrario $F$. El tema central en la teoría de números moderna es que los valores especiales de las funciones $L$ codifican información aritmética profunda, manifestándose frecuentemente como congruencias entre formas automórficas. Si bien tales relaciones fueron establecidas para $\text{GL}_2$ sobre campos específicos (por ejemplo, en trabajos de Taylor, Wiles y otros), este artículo busca generalizar estos resultados a $\text{GL}_n$ sobre cualquier campo numérico. Específicamente, el autor busca relacionar el ideal de congruencia de una representación automórfica con el valor de su función $L$ adjunta en $s=1$ y deducir consecuencias para la existencia de representaciones automórficas congruentes y cotas inferiores para los grupos de Selmer.

Metodología
La estrategia procede en tres etapas principales, moviéndose desde las realizaciones cohomológicas hacia propiedades algebraicas abstractas, y finalmente hacia aplicaciones aritméticas:

1. Realización Cohomológica y Emparejamientos:
   El artículo realiza las representaciones automórficas cuspidales algebraicas regulares en la cohomología de espacios simétricos locales $X_U$ asociados con $\text{GL}_n$. Utilizando resultados de Borel y Franke, el autor establece que tales representaciones contribuyen a los grupos de cohomología $H^*(X_U, M_\mu)$. Un paso crucial consiste en utilizar la dualidad de Poincaré para construir un emparejamiento perfecto entre la cohomología singular y la cohomología de soporte compacto (específicamente sobre la cohomología interna $H^*_!$) con coeficientes en $\mathbb{Z}_p$. Este emparejamiento, compatible con la acción de la álgebra de Hecke, se identifica con el producto interno de Petersson de las formas automórficas.

2. Ideales de Congruencia Abstractos:
   El autor desarrolla un marco algebraico abstracto para los ideales de congruencia. Para un $\mathcal{O}$-álgebra local finita plana reducida $T$ y un homomorfismo $\lambda: T \to \mathcal{O}$, el ideal de congruencia $\eta_\lambda$ se define como el ideal de Fitting del módulo de congruencia $C^0_\lambda(M) = M^\lambda / M_\lambda$, donde $M$ es un $\mathcal{O}$-módulo libre. Un lema clave (Lema 3.5) establece que si existe un emparejamiento perfecto entre dos módulos compatible con los idempotentes asociados a $\lambda$, los ideales de congruencia de los módulos son iguales y están generados por el valor del emparejamiento sobre los generadores. Este lema es adaptado al emparejamiento del producto de la copa en la cohomología, el cual satisface las condiciones necesarias sin requerir la involución específica de Atkin-Lehner utilizada en los entornos de $\text{GL}_2$.

3. Rankin-Selberg y Valores de $L$:
   Al aplicar el método de Rankin-Selberg, el producto interno de Petersson (y, por tanto, el emparejamiento en la cohomología) se expresa en términos de la función $L$ adjunta $L(1, \pi, \text{Ad}^\circ)$. Esto permite al autor calcular explícitamente el generador del ideal de congruencia en términos del valor algebraico normalizado $L_{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon)$.

4. Teoría de Deformación de Galois:
   Para el caso donde $F$ es un campo CM, el artículo invoca resultados de compatibilidad local-global para representaciones de Galois (de [ACC+23]) y técnicas estándar de la teoría de deformación de Galois. Esto conecta los ideales de congruencia del álgebra de Hecke con la estructura de los grupos de Selmer asociados a la representación de Galois adjunta de la representación de Galois residual.

Contribuciones Clave y Resultados

• Teorema 4.14 (Teorema Principal): Bajo supuestos adecuados (incluyendo que la cohomología de frontera es libre de $p$-torsión en un ideal maximal específico), el artículo demuestra que el ideal de congruencia cohomológico $\eta_{\pi, b, \epsilon}$ está generado por el valor de la función $L$ adjunta normalizada:
  $$\eta_{\pi, b, \epsilon} = (L_{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon))$$
  Esto generaliza resultados previos conocidos para $\text{GL}_2$ sobre campos totalmente reales e imaginarios cuadráticos a $\text{GL}_n$ sobre campos numéricos arbitrarios.

• Criterios de Congruencia (Corolarios 4.17 y 4.20): El artículo deriva criterios para la existencia de representaciones automórficas congruentes. Muestra que si la valoración $p$-ádica de $L(1, \pi, \text{Ad}^\circ, \epsilon)$ es positiva (es decir, el valor de $L$ no es una unidad $p$-ádica), entonces existe una representación automórfica discreta $\pi' \not\cong \pi$ cuyo sistema de Hecke es congruente con el de $\pi$. Si el módulo de cohomología relevante es libre sobre el álgebra de Hecke, el recíproco también se cumple.

• Cotas Inferiores de Grupos de Selmer (Teorema 4.26): Cuando $F$ es un campo CM y el ideal maximal no es Eisenstein, el artículo establece una cota inferior para la cardinalidad de un grupo de Selmer específico en términos del valor $L$ adjunto:
  $$\#H^1_S(\text{Ad } \rho \otimes_\mathcal{O} E/\mathcal{O}) \geq \#(\mathcal{O} / L_{\text{alg}}(1, \pi, \text{Ad}^\circ))$$
  Este resultado se presenta como un progreso parcial hacia la conjetura de Bloch-Kato.

Significado y Reivindicaciones
El autor afirma que este trabajo proporciona una generalización unificada de la relación entre los valores de las funciones $L$ adjuntas y los ideales de congruencia de $\text{GL}_2$ a $\text{GL}_n$ sobre cualquier campo numérico. El artículo enfatiza que evita la necesidad de involuciones específicas (como Atkin-Lehner) al trabajar directamente con el emparejamiento del producto de la copa.

La significancia es doble:

1. Unificación Teórica: Extiende la filosofía de "Taylor-Wiles" de relacionar anillos de deformación con álgebras de Hecke vía ideales de congruencia a grupos de rango superior ($\text{GL}_n$) y campos numéricos generales, apoyándose en las propiedades cohomológicas de los espacios simétricos locales.
2. Aplicaciones Aritméticas: Proporciona un mecanismo concreto para detectar congruencias entre formas automórficas mediante valores de $L$ y ofrece una cota inferior para los grupos de Selmer, vinculando datos analíticos (valores de $L$) con invariantes algebraicos (grupos de Selmer) en el contexto de la conjetura de Bloch-Kato.

El artículo se mantiene modesto respecto a la dirección recíproca de los criterios de congruencia, señalando que demostrar la libertad del módulo de cohomología (requerida para el recíproco) requiere actualmente supuestos adicionales y conjeturas sobre representaciones de Galois (como la anulación de la cohomología no cuspidal y la existencia de representaciones de Galois con propiedades específicas). Del mismo modo, aunque la cota del grupo de Selmer está establecida, el artículo reconoce que relacionar este grupo de Selmer específico con el grupo de Selmer clásico de Bloch-Kato requiere pasos adicionales que involucran números Tamagawa locales, tal como se describe en la literatura.