An analogue of Kida's formula for Mazur-Tate elements

Resumen Técnico: Un Análogo de la Fórmula de Kida para Elementos de Mazur–Tate

Planteamiento del Problema
El artículo aborda el problema de establecer un análogo de la fórmula de Kida para los invariantes de Iwasawa ($\mu$ y $\lambda$) asociados a los elementos de Mazur–Tate vinculados a curvas elípticas sobre $\mathbb{Q}$. Mientras que la fórmula clásica de Kida relaciona el crecimiento de los números de clase en extensiones $p$-primarias de campos numéricos con datos de ramificación, y trabajos subsecuentes de Hachimori–Matsuno y Matsuno lo extendieron a grupos de Selmer y funciones $L$ $p$-ádicas respectivamente, no se había establecido plenamente una fórmula unificada para los elementos de Mazur–Tate —análogos de nivel finito de las funciones $L$ $p$-ádicas— para curvas elípticas con tipos de reducción arbitrarios en $p$. Específicamente, los autores pretenden determinar cómo se comportan la anulación del invariante $\mu$ y el valor del invariante $\lambda$ al pasar de un campo abeliano $K$ a una extensión $p$-primaria $L$, sin imponer hipótesis restrictivas sobre el comportamiento local de la curva elíptica en $p$ (por ejemplo, excluyendo la reducción aditiva).

Metodología
Los autores emplean una combinación de teoría de Iwasawa, símbolos modulares y la aritmética de los elementos de Mazur–Tate. La metodología central involucra:

1. Elementos de Mazur–Tate sobre Extensiones Abelianas: Los autores definen los elementos de Mazur–Tate $\Theta_n(E/K)$ para una curva elíptica $E$ sobre una extensión abeliana $K/\mathbb{Q}$ en niveles finitos $n$ de la extensión cíclica $\mathbb{Z}_p$. Estos elementos se construyen mediante símbolos modulares asociados a la nueva forma de peso 2 $f$ correspondiente a $E$ (vía el Teorema de la Modularidad).
2. Propiedades de Interpolación: Utilizando el Lema de Birch y las propiedades de los símbolos modulares, el artículo establece que estos elementos interpolan valores especiales de funciones $L$ retorcidas $L(f/K, \chi, 1)$.
3. Análisis Local de Factores de Euler: Un paso técnico crítico implica analizar la compatibilidad de los elementos de Mazur–Tate bajo mapas de proyección entre diferentes niveles de la torre cíclica. Los autores definen un invariante local $g_{\psi, n}(\ell)$ que mide la contribución de un primo $\ell$ al cambio en el invariante $\lambda$. Este se deriva examinando los factores de Euler de la teoría de Iwasawa $h_\ell(\psi, T)$ asociados a los operadores de Hecke.
4. Sumatoria de Caracteres: Para la transición del campo base $K$ a la extensión $L$, los autores suman las contribuciones locales $g_{\psi, n}(\ell)$ sobre todos los caracteres del grupo de Galois $\text{Gal}(K/\mathbb{Q})$. Esta sumatoria se basa en resultados de conteo de caracteres para extensiones abelianas para relacionar el comportamiento local de la curva sobre $K$ con los índices de ramificación en $L$.
5. Tipos de Reducción: El análisis distingue entre reducción multiplicativa partida, reducción buena con torsión local en $p$ y reducción aditiva. Para la reducción aditiva, los autores se apoyan en la condición de "potencialmente buena ordinaria" (hipótesis de Delbourgo) para relacionar los elementos de Mazur–Tate con funciones $L$ $p$-ádicas acotadas.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.3): El artículo prueba una fórmula de tipo Kida para los invariantes de Iwasawa de los elementos de Mazur–Tate. Sea $L/K$ una extensión de Galois de campos numéricos abelianos con un grupo de Galois $p$-primario. Si el invariante $\mu$ del elemento de Mazur–Tate sobre $K$ se anula ($\mu(\Theta_{n+n_L-n_K}(E/K)) = 0$), entonces el invariante $\mu$ sobre $L$ también se anula. Además, los invariantes $\lambda$ satisfacen:
  $$\lambda(\Theta_n(E/L)) = [L_\infty : K_\infty] \lambda(\Theta_{n+n_L-n_K}(E/K)) + \sum_{w \in P_1} f(w)(e(w)-1) + 2 \sum_{w \in P_2} f(w)(e(w)-1)$$
  donde $P_1$ es el conjunto de primos donde $E$ tiene reducción multiplicativa partida, $P_2$ es el conjunto de primos donde $E$ tiene reducción buena y torsión no trivial en $p$, $e(w)$ es el índice de ramificación y $f(w)$ es el grado inercial.

• Generalización a Formas Modulares: El resultado se generaliza a formas cúspides propias de Hecke (Teorema 3.7), eliminando la necesidad de que la curva esté definida estrictamente sobre $\mathbb{Q}$, siempre que los tipos de reducción estén definidos localmente.

• Aplicaciones a Funciones $L$ $p$-ádicas:

  • Reducción Semiestable: Los autores muestran que su fórmula recupera el resultado de Matsuno para curvas elípticas $p$-ordinarias y extiende esto al caso de reducción supersingular buena (donde $a_p(E)=0$), proporcionando una fórmula de tipo Kida para las funciones $L$ $p$-ádicas con signo construidas por Pollack (Teorema 4.2).
  • Reducción Aditiva: Bajo la hipótesis de potencialmente buena ordinaria de Delbourgo, los autores derivan una fórmula de tipo Kida para las funciones $L$ $p$-ádicas construidas por Delbourgo para curvas elípticas con reducción aditiva (Teorema 4.5).

Significancia y Reivindicaciones
El artículo afirma que sus resultados unifican casos previamente dispares de la fórmula de Kida para invariantes de Iwasawa analíticos. Al trabajar directamente con los elementos de Mazur–Tate, que aproximan las funciones $L$ $p$-ádicas en el límite, los autores proporcionan un marco que se aplica a curvas elípticas con cualquier tipo de reducción en $p$ (incluyendo la reducción aditiva) bajo hipótesis moderadas.

Los autores sostienen que este trabajo es paralelo a los resultados algebraicos de Hachimori–Matsuno sobre grupos de Selmer, pero opera en el lado analítico. Una significancia primaria es la capacidad de manejar casos donde la existencia de una función $L$ $p$-ádica acotada era previamente desconocida o requería condiciones específicas (como la condición de potencialmente buena ordinaria). El artículo afirma que estas fórmulas se alinean con la filosofía de las conjeturas principales refinadas, sugiriendo que un análogo algebraico implicaría conjeturas refinadas para los campos base que son extensiones abelianas de $\mathbb{Q}$. Los autores señalan explícitamente que sus resultados no inventan nuevas aplicaciones, sino que proporcionan la base teórica para obtener fórmulas de crecimiento para los grupos de Tate–Shafarevich en extensiones $p$-primarias de campos numéricos abelianos, supeditado a la validez de la Conjetura Principal.