A $p$-Converse theorem for Real Quadratic Fields

Resumen Técnico: Un Teorema de la $p$-conversa para Campos Cuadráticos Reales

Planteamiento del Problema
El artículo aborda el problema de la "$p$-conversa" para curvas elípticas definidas sobre campos cuadráticos reales ($F$). Específicamente, busca establecer la conversa del teorema de Gross-Zagier y Kolyvagin en el contexto del rango 1. Mientras que el teorema clásico establece que si el rango analítico es 1, entonces el rango algebraico es 1 y el grupo de Tate-Shafarevich es finito, la conversa pregunta: si el rango algebraico es 1 y la parte $p$ del grupo de Tate-Shafarevich es finita, ¿se sigue que el rango analítico es 1?

Antes de este trabajo, tales resultados de la conversa se establecieron mayoritariamente para curvas elípticas sobre $\mathbb{Q}$ (por ejemplo, por Skinner, Zhang y Venerucci) o para tipos de reducción específicos. Este artículo extiende estos resultados al entorno de los campos cuadráticos reales, donde $p > 5$ es un primo racional inerte en $F$, y la curva elíptica $E/F$ tiene reducción multiplicativa partida en el primo $\mathfrak{p}$ que subyace sobre $p$.

Metodología
Los autores emplean una síntesis sofisticada de la teoría de Hida, la teoría de Iwasawa y la teoría de complejos de Selmer para cerrar la brecha entre los rangos algebraicos y analíticos. La estrategia de la prueba se apoya en los siguientes componentes clave:

1. Familias de Hida y Grandes Representaciones de Galois: La curva elíptica $E$ está asociada con una forma modular de Hilbert de peso 2 paralelo. Los autores utilizan la familia de Hida $\mathbf{f}$ que pasa por $f$ y la gran representación de Galois $T_f$. Trabajan dentro de una familia de Hida localizada sobre un anillo de valoración discreta $I_P$.
2. Conjetura Principal de Iwasawa (Teorema de Wan): La prueba depende fuertemente de la Conjetura Principal de Iwasawa para formas modulares de Hilbert sobre una extensión cuadrática totalmente imaginaria $K/F$ (donde $p$ se divide en $K$), tal como fue establecida por Wan [Wan15]. Esto proporciona una inclusión del ideal característico del grupo de Selmer dentro del ideal generado por una función $L$ $p$-ádica.
3. Funciones $L$ $p$-ádicas de tres y cuatro variables: Los autores construyen y utilizan funciones $L$ $p$-ádicas críticamente centrales. Relacionan el orden de anulación de una función $L$ $p$-ádica críticamente central $L^{cc}_p(\mathbf{f}_\infty/K, k)$ en $k=2$ con la longitud del dual de Pontryagin de un grupo de Selmer específico.
4. Complejos de Selmer de Nekovář: Para analizar la estructura de los grupos de Selmer, los autores utilizan la teoría de complejos de Selmer de Nekovář. Esto permite la definición de un emparejamiento de peso $p$-ádico en la cohomología de estos complejos.
5. Teoremas de Control y Cálculos de Emparejamiento: Un paso crucial consiste en demostrar un teorema de control que relaciona el grupo de Selmer sobre la extensión infinita con el grupo de Selmer estricto sobre el campo base. Al calcular el emparejamiento de peso $p$-ádico (específicamente relacionado con los logaritmos $p$-ádicos de puntos en la curva elíptica), los autores determinan la longitud exacta del módulo de Selmer.

Contribuciones Clave y Resultados
El artículo establece el siguiente teorema principal (Teorema 1.3 / Teorema 9.2):

• Teorema Principal: Sea $F$ un campo cuadrático real y $p > 5$ un primo inerte en $F$. Sea $E/F$ una curva elíptica con reducción multiplicativa partida en el primo $\mathfrak{p} | p$. Asumiendo que la representación residual es absolutamente irreducible (irred) y que existe un levantamiento modular mínimo (MML), si:

  1. $\text{rank}_{\mathbb{Z}} E(F) = 1$, y
  2. La parte $p$ del grupo de Tate-Shafarevich $\text{Ш}(E/F)_{p^\infty}$ es finita,
     Entonces el rango analítico es 1: $\text{ord}_{s=1} L(E/F, s) = 1$.

• Equivalencia: Combinando esto con la generalización de Zhang del teorema de Gross-Zagier, los autores establecen una equivalencia para el caso de rango 1:
  $$\text{rank}_{\mathbb{Z}} E(F) = 1 \text{ y } \#\text{Ш}(E/F) < \infty \iff \text{ord}_{s=1} L(E/F, s) = 1$$

• Aplicación a $\mathbb{Q}$: Como consecuencia, los autores demuestran un teorema de $p$-conversa fortalecido para curvas elípticas sobre $\mathbb{Q}$ (Teorema 1.5). Eliminan una hipótesis técnica (la existencia de un primo $q$ específico con ciertas propiedades) requerida en el trabajo anterior de Venerucci [Ven16], siempre que $p > 5$ y $E$ tiene reducción multiplicativa partida en $p$.

Significancia y Reivindicaciones
El artículo afirma ser el primero en establecer un teorema de $p$-conversa de rango 1 para curvas elípticas sobre un campo cuadrático real. La significancia radica en:

• Extensión del Alcance: Ir más allá del campo racional $\mathbb{Q}$ hacia los campos cuadráticos reales, lo cual presenta complejidades adicionales debido a la naturaleza de las formas modulares de Hilbert y el comportamiento de los primos en las extensiones cuadráticas.
• Refinamiento de Resultados Existentes: La aplicación a $\mathbb{Q}$ demuestra que la estrategia desarrollada para los campos cuadráticos reales puede simplificar y fortalecer los resultados existentes sobre $\mathbb{Q}$ al eliminar hipótesis restrictivas.
• Síntesis Metodológica: El trabajo integra con éxito la Conjetura Principal de Iwasawa de Wan con los complejos de Selmer de Nekovář y los emparejamientos de peso $p$-ádicos para manejar el caso de reducción multiplicativa partida en un entorno sin CM sobre un campo totalmente real.

Los autores señalan que sus resultados se mantienen para $p=5$ si se excluye un caso excepcional específico respecto a la imagen proyectiva de la representación de Galois, una limitación impuesta por la dependencia de los resultados de Fujiwara utilizados en el teorema de Wan. El artículo concluye sugiriendo que estas técnicas podrían potencialmente extenderse a campos numéricos totalmente reales generales donde se cumple la conjetura de Leopoldt, aunque reconoce que el caso CM probablemente requeriría métodos diferentes.