On the Fitting ideals of anticyclotomic Selmer groups of elliptic curves with good ordinary reduction

Resumen Técnico: Sobre los ideales de ajuste de los grupos de Selmer anticíclicos de curvas elípticas con reducción ordinaria buena

Planteamiento del problema
El artículo aborda el análogo anticíclico de la conjetura principal "fuerte" de Kurihara respecto a los ideales de ajuste de los grupos de Selmer para curvas elípticas. Específicamente, busca determinar el ideal de ajuste inicial de los grupos de Selmer duales de una curva elíptica $E$ sobre extensiones finitas $K_n$ de la extensión $\mathbb{Z}_p$-anticíclica $K_\infty$ de un campo cuadrático imaginario $K$. El objetivo es expresar estos ideales de forma explícita en términos de los elementos $\theta$ de Bertolini–Darmon, refinando la conjetura principal "débil" de Mazur y Tate. El estudio opera bajo la suposición de que $E$ tiene reducción ordinaria buena en un primo $p \ge 5$ y satisface condiciones específicas relativas a la suryectividad de la representación de Galois mod $p$ y al comportamiento de ramificación en los primos que dividen el conductor $N$.

Metodología
La estrategia de la prueba sintetiza la teoría de Iwasawa refinada, la teoría de sistemas de Euler bipartitos y las propiedades de las funciones $L$ $p$-ádicas. La metodología procede a través de las siguientes etapas clave:

1. Construcción de los elementos $\theta$: El autor utiliza puntos de Gross de conductor $p^n$ para construir los elementos $\theta$ de Bertolini–Darmon $\theta(E/K_n)$. Estos elementos interpolan las raíces cuadradas de los valores $L$ de Rankin–Selberg retorcidos. El artículo establece una "relación de tres términos" que conecta los elementos $\theta$ a través de las diferentes capas de la extensión y define un elemento $\theta$ $p$-estabilizado $\theta(f_\alpha/K_n)$ asociado a la forma modular $p$-estabilizada $f_\alpha$.
2. Comparación de ideales mediante $p$-desestabilización: Un componente técnico crucial implica comparar el ideal generado por los elementos $\theta$ de $E$ con el de la forma $p$-estabilizada. Utilizando la suposición de que $a_p(E) \not\equiv 1 \pmod p$ (Condición Na), el autor demuestra que el ideal generado por $\theta(E/K_n)$ y su imagen de norma descendente es igual al ideal generado por $\theta(f_\alpha/K_n)$. Este paso se apoya en un proceso de "$p$-desestabilización" discutido en el Lema 2.2.
3. Comparación de grupos de Selmer: El artículo compara rigurosamente varias definiciones de grupos de Selmer: el grupo de Selmer $N^-$-ordinario, el grupo de Selmer mínimo y el grupo de Selmer de Greenberg. Bajo las hipótesis de que la representación mod $p$ es suryectiva (Im) y ramificada en todos los primos que dividen $N$ (Ram), el autor demuestra que estos grupos son isomorfos (Corolario 3.3). Esta isomorfía es vital para transferir los resultados del contexto de los sistemas de Euler (donde se usan grupos $N^-$-ordinarios) al contexto clásico de los grupos de Selmer.
4. Aplicación de la Conjetura Principal: La prueba aprovecha la conjetura principal anticíclica establecida (Teorema 4.1), la cual afirma la igualdad entre el ideal característico del grupo de Selmer dual y el ideal generado por la función $L$ $p$-ádica anticíclica $L_p(E/K_\infty)$. La función $L$ $p$-ádica se define como el límite inverso de productos de elementos $\theta$ y sus involuciones.
5. Teorema de Control y Cambio de Base: Finalmente, el autor aplica un teorema de control para relacionar los grupos de Selmer sobre la extensión infinita $K_\infty$ con aquellos sobre las capas finitas $K_n$. Al utilizar la compatibilidad de los ideales de ajuste con el cambio de base y la ecuación funcional de los elementos $\theta$, el resultado se desciende desde el nivel infinito hacia el nivel finito.

Contribuciones y Resultados Clave
El resultado principal es el Teorema 1.1, que establece la siguiente igualdad de ideales en el álgebra de Iwasawa finita $\Lambda_n = \mathbb{Z}_p[\text{Gal}(K_n/K)]$:

$$(\theta(E/K_n), \nu_{n-1,n}(\theta(E/K_{n-1})))^2 = \text{Fitt}_{\Lambda_n}(\text{Sel}(K_n, E[p^\infty])^\vee)$$

Los logros técnicos clave que sustentan este resultado incluyen:

• Determinación completa de los ideales de ajuste iniciales: El artículo proporciona un generador explícito para el ideal de ajuste inicial del grupo de Selmer dual sobre extensiones finitas, expresado enteramente en términos de elementos $\theta$.
• Propiedad de Ideal Principal: Se demuestra que el ideal generado por los elementos $\theta$ (y sus normas) es principal bajo las hipótesis establecidas, un hecho no trivial en la teoría de Iwasasa.
• Refinamiento de la Conjetura Principal: El resultado refina la conjetura principal "débil" de Mazur y Tate al pasar de ideales característicos a ideales de ajuste y al proporcionar una descripción algebraica concreta del generador.
• Lema 2.2 ($p$-desestabilización): La prueba de la igualdad entre el ideal del elemento $\theta$ de $E$ y el de la forma $p$-estabilizada se presenta como una contribución técnica distinta, aclarando la relación entre ambos mediante la condición $a_p \not\equiv 1 \pmod p$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una "prueba corta" del análogo anticíclico de la conjetura principal fuerte de Kurihara. Su significancia radica en:

• Unificación: Conecta la estructura algebraica de los grupos de Selmer (vía ideales de ajuste) directamente con los objetos analíticos (elementos $\theta$) sin depender de la maquinaria más compleja de la conjetura principal completa sobre la extensión infinita como el único paso intermedio, aunque sí utiliza la conjetura principal conocida para el caso infinito.
• Explicitud: Al determinar el ideal de ajuste inicial de forma explícita, el artículo ofrece una comprensión más precisa de la estructura de los grupos de Selmer que los resultados previos que solo establecían ideales característicos.
• Claridad Metodológica: El autor destaca la utilidad del proceso de "$p$-desestabilización" y la comparación de diferentes definiciones de grupos de Selmer, ofreciendo un enfoque simplificado para problemas en la teoría de Iwasawa anticíclica.

El artículo establece explícitamente que la estrategia sigue el marco establecido en [KK21], pero añade los detalles necesarios respecto a la comparación de los grupos de Selmer y las manipulaciones algebraicas específicas requeridas para el entorno anticíclico. No pretende resolver el caso general sin las hipótesis específicas (como la suryectividad de la representación de Galois o la naturaleza libre de cuadrados de $N^-$), ni propone nuevas aplicaciones experimentales.