Théorie d'Iwasawa des motifs d'Artin et des formes modulaires de poids 1

Resumen Técnico de "Iwasawa Theory of Artin Motifs and Weight 1 Modular Forms" de Alexandre Makoud

Planteamiento del Problema
El artículo aborda la teoría de Iwasawa de los motivos de Artin sobre $\mathbb{Q}$, centrándose específicamente en la estructura de los grupos de Selmer de Greenberg asociados a representaciones de Artin irreducibles $\rho$ con coeficientes en un cuerpo numérico $E$. Un desafío central en este dominio es la formulación de una Conjetura Principal de la teoría de Iwasawa para tales motivos. Mientras que el caso de los motivos asociados a representaciones de cuerpos totalmente reales está bien comprendido (vía los resultados de Wiles), el caso general presenta dificultades: los motivos de Artin no poseen necesariamente valores críticos, y la construcción clásica de la función $L$ $p$-ádica de Deligne-Ribet no es directamente aplicable.

El autor investiga la estructura del grupo de Selmer de la torre ciclotómica $X_\infty(\rho, \rho^+)$ asociado a un motivo de Artin $p$-estabilizado. Los objetivos primordiales son:

1. Establecer que este grupo de Selmer es un módulo de torsión sobre el álgebra de Iwasawa $\Lambda = \mathcal{O}[[\Gamma]]$, un prerrequisito para definir una función $L$ $p$-ádica algebraica.
2. Analizar el fenómeno de los "ceros triviales", relacionando el orden de anulación de la función $L$ algebraica en $T=0$ con la dimensión de los invariantes locales.
3. Especializar estos resultados a los motivos de Artin que surgen de formas modulares clásicas de peso 1, donde las representaciones automórficas asociadas no son cohomológicas, lo que complica la construcción de funciones $L$ $p$-ádicas analíticas.

Metodología
El artículo emplea una combinación de cohomología de Galois, teoría de clases y la teoría de familias de Hida.

• Estructura Algebraica: El autor define el grupo de Selmer $X_\infty(\rho, \rho^+)$ como el dual de Pontryagin del núcleo del mapa de restricción global-a-local en la cohomología de Galois. La prueba de la torsión se basa en analizar la finitud de los grupos de Selmer en niveles finitos $X_n$ vía la secuencia de inflación-restricción. Esto reduce el problema al estudio del grupo de Galois de la extensión abeliana pro-$p$ máxima de $H_n$ (donde $H$ es el cuerpo cortado por $\rho$) no ramificada fuera de $p$.
• Reguladores y Trascendencia: La finitud de los grupos de Selmer y la no anulación de la función $L$ algebraica están vinculadas a la no anulación de un regulador $p$-ádico $R_p(\rho, \rho^+)$. Este regulador se define vía el logaritmo $p$-ádico de las unidades globales. El autor invoca la conjetura débil de Schanuel $p$-ádica (o el caso donde la dimensión del subespacio ordinario $d^+=1$) para asegurar la independencia lineal de los logaritmos $p$-ádicos, probando así que el regulador es no nulo.
• Especialización de Peso 1: Para las formas modulares de peso 1, el autor utiliza familias de Hida. Dado que las construcciones analíticas directas de funciones $L$ $p$-ádicas para formas de peso 1 no son estándar (debido a su naturaleza no cohomológica), el artículo construye una función $L$ $p$-ádica analítica $L_p^{an}(f_\alpha; T)$ especializando una función $L$ $p$-ádica de dos variables definida en una familia de Hida $f$ que se especializa en la forma de peso 1 $f_\alpha$. Esto se apoya en la suavidad de la curva propia (eigencurve) en puntos de peso 1 (Bellaïche-Dimitrov).
• Divisibilidad vía Límites: Para relacionar las funciones $L$ analíticas y algebraicas, el autor emplea un argumento de límite. Considera una secuencia de formas clásicas de peso $k \ge 2$, $g_n$, en la familia de Hida que convergen $p$-ádicamente a $f_\alpha$. Utilizando el teorema de Kato sobre la divisibilidad de las funciones $L$ para formas de peso $k \ge 2$, establece una relación de divisibilidad en el límite, probando que la función $L$ algebraica divide a la analítica.

Contribuciones Clave y Resultados

1. Torsión de los Grupos de Selmer (Teorema A):
   Bajo la suposición de que $d^+=1$ o que se cumple la conjetura débil de Schanuel $p$-ádica, el autor demuestra que $X_\infty(\rho, \rho^+)$ es un módulo de torsión $\Lambda$. Además, si la intersección del cuerpo $H$ y la torre ciclotómica es trivial, la función $L_p^{alg}(\rho, \rho^+; T)$ no se anula en las raíces de la unidad $\zeta-1$ (para $\zeta \neq 1$).

2. Ceros Triviales y Reguladores (Teorema B):
   El artículo identifica un fenómeno de "cero trivial". Se muestra que el orden de anulación de $L_p^{alg}$ en $T=0$ es al menos $e(\rho, \rho^+) = \dim_L H^0(\mathbb{Q}_p, V_p^-)$. Bajo hipótesis específicas (no ramificado en $p$, $p$ no divide el orden de la imagen o la dimensión), si $e(\rho, \rho^+) = 0$, el término constante de la función $L$ algebraica viene dado explícitamente por:
   $$L_p^{alg}(\rho, \rho^+; 0) \doteq R_p(\rho, \rho^+) \cdot \frac{p}{\#(Cl_p(H)^\rho)}$$
   donde $R_p$ es el regulador $p$-ádico y $Cl_p(H)^\rho$ es la componente isotípica $\rho$ del grupo de clases $p$.

3. Conjetura Principal para Formas de Peso 1 (Teorema C):
   Para una forma modular clásica $f$ de peso 1, el autor formula una Conjetura Principal que establece que la función $L_p^{alg}(f_\alpha; T)$ y la función $L_p^{an}(f_\alpha; T)$ (construida vía familias de Hida) difieren solo por una unidad en $\Lambda$.

• Resultado: El artículo demuestra una divisibilidad: $L_p^{alg}(f_\alpha; T)$ divide a $L_p^{an}(f_\alpha; T)$ en $\Lambda \otimes \mathbb{Q}_p$.
• Equivalencia Condicional: El artículo muestra que si la Conjetura Principal se cumple para formas de peso $k \ge 2$ en la familia de Hida, entonces se cumple para la especialización de peso 1.

Significancia
El artículo proporciona un marco algebraico riguroso para la teoría de Iwasawa de los motivos de Artin generales, llenando un vacío donde los valores críticos están ausentes. Logra extender con éxito la teoría de los ceros triviales y las fórmulas de reguladores a este entorno, supeditado a conjeturas estándar en la teoría de la trascendencia.

Crucialmente, el trabajo tiende un puente entre la teoría de Iwasawa algebraica y la analítica para las formas modulares de peso 1. Al aprovechar la geometría de las familias de Hida y la suavidad de la curva propia en puntos de peso 1, el autor construye una función $L$ $p$-ádica bien definida y establece la divisibilidad fundamental predicha por la Conjetura Principal. Este resultado es significativo porque trata las formas de peso 1, que quedan fuera del alcance de las construcciones cohomológicas clásicas, utilizando métodos puramente algebraicos y de deformación. El artículo no pretende demostrar la Conjetura Principal de forma incondicional, sino establecer las propiedades estructurales necesarias y la dirección clave de la divisibilidad, reduciendo la conjetura completa a los casos conocidos de pesos superiores.