A canonical generator for congruence ideals of Hida families

Planteamiento del Problema
El artículo aborda la construcción y el estudio aritmético de las funciones $L$ $p$-ádicas de adjunto canónicas asociadas a familias de Hida de formas modulares. Si bien las funciones $L$ $p$-ádicas para la elevación adjunta de una forma modular fueron construidas previamente por Schmidt y Hida, estas construcciones no se alineaban plenamente con el marco de Coates-Perrin-Riou para los motivos. La normalización de los periodos en las construcciones existentes dependía de la norma de Petersson $\langle f, f \rangle$, mientras que las consideraciones motivicas sugieren que el periodo correcto debería involucrar el producto de los periodos de Shimura $p$-normalizados, $\Omega^+_f \Omega^-_f$. La discrepancia implica que las funciones $L$ $p$-ádicas existentes son cocientes de funciones $L$ $p$-ádicas motivicas "genuinas". El problema central es construir un generador canónico para el ideal de congruencia de una familia de Hida, denotado como $L_p(\text{ad } F)$, que interpole el cociente entre el valor $L$ adjunto y el producto de los periodos de Shimura, y relacionar este generador con el ideal característico del grupo de Selmer adjunto.

Metodología
El autor emplea un enfoque cohomológico basado en la teoría de las familias de Hida y el emparejamiento de Ohta. La metodología avanza a través de varios pasos clave:

1. Configuración Cohomológica y Emparejamiento de Ohta: La construcción utiliza la cohomología anti-ordinaria de la torre de curvas modulares, $e^*H^1(Np^\infty)$. El autor utiliza un emparejamiento $\Lambda$-ádico perfecto construido por Ohta sobre este espacio, el cual interpola las normas de Petersson de las autofórmas anti-ordinarias. Dado que las familias de Hida contribuyen a la cohomología ordinaria, se utiliza la involución de Atkin-Lehner para transportar estructuras integrales entre la cohomología ordinaria y la anti-ordinaria, permitiendo la aplicación del emparejamiento de Ohta al entorno ordinario.
2. Periodos Canónicos y Definición de la Función $L$: Al fijar una base para los módulos cohomológicos relevantes (que son libres de rango 1 sobre el álgebra de Hecke local bajo condiciones específicas de irreducibilidad), el autor define la función $L$ $p$-ádica adjunta $L_p(\text{ad } F)$ como el valor del emparejamiento de Ohta sobre estos elementos de la base. Esta definición asegura que la función $L$ sea un generador canónico del ideal de congruencia.
3. Interpolación y Factores de Euler: El artículo analiza la especialización de esta función $L$ en puntos aritméticos (formas modulares clásicas). Demuestra que estas especializaciones interpolan el cociente entre el valor $L$ adjunto y el producto de los periodos de Shimura, salvo por factores de Euler explícitos y potencias de $p$. El autor también construye un elemento universal $L_\Sigma(\text{ad } \rho)$ en una gran álgebra de Hecke que se especializa en las funciones $L$ de diversas familias de Hida que comparten la misma representación de Galois residual, contabilizando los cambios en el nivel tame mediante factores de Euler.
4. Relación con los Grupos de Selmer: El artículo relaciona el objeto analítico ($L_p(\text{ad } F)$) con el objeto algebraico (el grupo de Selmer adjunto $\text{Sel}(\text{ad } F)$). Utiliza la teoría de deformaciones de Galois (específicamente el isomorfismo entre el anillo de deformación universal y el anillo de Hecke establecido por Wiles, Taylor-Wiles y Diamond) y el módulo de diferenciales de Kähler continuas. Al analizar las condiciones locales en un conjunto finito de primos $\Sigma$, el autor establece una conexión entre el ideal característico del grupo de Selmer y la función $L$ $p$-ádica, ajustando por los primos excepcionales donde la representación automórfica local es supercuspidal.

Contribuciones Clave y Resultados

• Teorema A (Construcción de $L_p(\text{ad } F)$): Suponiendo que la representación de Galois residual $\rho_F$ es absolutamente irreducible y $p$-distinguida, el autor construye un generador $L_p(\text{ad } F)$ del ideal de congruencia de la familia de Hida $F$. La especialización de este elemento en una nueva forma clásica $f$ viene dada explícitamente por:
  $$L_p(\text{ad } f) = p^{r-1}\alpha^r w(f^\circ) E_p(\text{ad } f^\circ) \cdot \frac{(-2i)^k \langle f^\circ, f^\circ \rangle}{\Omega^+_{f^\circ} \Omega^-_{f^\circ}}$$
  Esto confirma que la función $L$ construida genera el ideal de congruencia e interpola el cociente de periodos motivicos correcto.

• Teorema B (Elemento Universal en la Gran Álgebra de Hecke): El artículo construye un elemento regular $L_\Sigma(\text{ad } \rho)$ en el producto tensorial de la álgebra de Hecke ordinaria universal y el anillo de coeficientes. Este elemento se especializa en la función $L$ $p$-ádica adjunta de cualquier familia de Hida primitiva con representación residual $\rho$, salvo por los factores de Euler asociados a un conjunto finito de primos $\Sigma$. Este resultado interpreta la existencia de congruencias entre las normas de Petersson de diferentes nuevas formas $p$-ordinarias que comparten la misma representación residual.

• Teoremo C (Conjetura Principal para Grupos de Selmer Adjuntos): Bajo la hipótesis más fuerte de que la representación residual es absolutamente irreducible sobre $\mathbb{Q}(\mu_p)$, el artículo demuestra que el dual de Pontryagin del grupo de Selmer adjunto primitivo es un módulo de torsión. Para una familia de Hida de nivel mínimo de giro (twist-minimal), el ideal característico de este grupo de Selmer es igual al ideal generado por la función $L$ $p$-ádica, ajustado por un producto de factores locales en los primos excepcionales $\Sigma_e$:
  $$\text{char}_I \text{Sel}(\text{ad } F)^\vee = \left( \prod_{\ell \in \Sigma_e} (1 + \ell^{-1})^{-1} \right) L_p(\text{ad } F) \cdot I$$

Significado
El artículo afirma proporcionar una construcción rigurosa de las funciones $L$ $p$-ádicas adjuntas motivicas "genuinas" que encajan naturalmente en el marco de los ideales de congruencia y los grupos de Selmer. Al utilizar el emparejamiento de Ohta y la involución de Atkin-Lehner, el autor resuelve los problemas de normalización presentes en construcciones anteriores (Schmidt-Hida), asegurando que las funciones $L$ capturen invariantes algebraicos profundos como el tamaño de los grupos de Selmer de Bloch-Kato. Los resultados establecen una igualdad precisa entre la función $L$ $p$-ádica analítica y el ideal característico algebraico del grupo de Selmer adjunto, generalizando resultados previos de Hida que estaban restringidos a casos de ramificación mínima. El trabajo también clarifica el comportamiento de estas funciones $L$ bajo giros (twisting) y cambios en el nivel tame, proporcionando un marco unificado para estudiar las congruencias entre las normas de Petersson.