$p$-adic Waldspurger Formula for Non-split Primes and Converse of Gross--Zagier and Kolyvagin Theorem

Aquí presento un resumen técnico detallado del artículo "p-adic Waldspurger Formula for Non-split Primes and Converse of Gross–Zagier and Kolyvagin Theorem" de Yangyu Fan y Xin Wan, estructurado en los aspectos solicitados.

1. El Problema y el Contexto

El artículo aborda uno de los problemas centrales en la teoría de números: la relación profunda entre los valores especiales de las funciones $L$ y los objetos aritméticos (como el rango de los grupos de Selmer). Específicamente, se centran en la conjetura de Bloch-Kato y su caso especial para curvas elípticas sobre $\mathbb{Q}$: la conversión del teorema de Gross-Zagier y Kolyvagin.

• El objetivo: Demostrar que si el rango de Selmer $p$-ádico de una representación de Galois (asociada a un carácter de Hecke auto-dual $\psi$ sobre un cuerpo cuadrático imaginario $K$) es 1, entonces el orden de anulación de la función $L$ asociada $L(\psi, s)$ en $s=1$ es también exactamente 1.
• La dificultad principal: Los resultados previos (Skinner, Zhang, Castella-Wan) funcionaban bien cuando la prima $p$ se descompone (split) en $K$ o bajo ciertas condiciones de reducción ordinaria. Sin embargo, el caso en que $p$ es no descompuesto (inerte o ramificada) en $K$, especialmente cuando la representación automórfica es de serie principal en $p$, presentaba obstáculos geométricos y analíticos significativos.
  • La construcción de funciones $L$ $p$-ádicas anticyclotómicas en el caso no descompuesto (trabajo previo de Andreatta-Iovita) estaba limitada a primas $p > 2$, ramificaciones específicas y requería estimaciones explícitas de radios de convergencia difíciles de controlar.
  • La teoría de Iwasawa local $\pm$ (introducida por Rubin para el caso supersingular) necesitaba una generalización que cubriera todos los tipos de ramificación de $p$ (descompuesto, inerte, ramificado) y el caso $p=2$.

2. Metodología y Nuevas Ideas

Los autores desarrollan una estrategia que combina la teoría de formas modulares $p$-ádicas, la teoría de representaciones locales y la teoría de Iwasawa. Sus contribuciones metodológicas clave son:

A. Generalización de la Fórmula de Waldspurger $p$-ádica

Construyen una función $L$ $p$-ádica anticyclotómica y establecen una fórmula de Waldspurger $p$-ádica para pares de Rankin generales $(f, \chi/K)$, bajo la única suposición de que la representación automórfica $\sigma(f)$ es de serie principal en $p$.

• Nuevos ingredientes:
  • Formas modulares cuaterniónicas casi sobrecorregidas (nearly overconvergent): Utilizan la teoría de haces vectoriales con secciones marcadas y divisiones marcadas (VBMSS) para definir el espacio de estas formas. Esto permite iterar las conexiones de Gauss-Manin de manera analítica local para todos los caracteres en el espacio de pesos.
  • Vectores de prueba locales y traslaciones: Para superar las dificultades de convergencia en el caso no descompuesto, introducen un elemento de torsión $g_{\ell,n} \in GL_2(\mathbb{Q}_p)$. Esto traslada los puntos CM al "lugar semicanónico" (half-canonical locus) de la curva de Shimura, donde la invariante de Hasse es arbitrariamente pequeña, garantizando la convergencia de la conexión de Gauss-Manin y asegurando que la integral torica local sea no nula mediante la teoría de vectores de prueba.
  • Formalismo sintómico: Utilizan el formalismo sintómico con coeficientes (Andreatta-Bertolini-Seveso-Venerucci) para manejar la reducción semiestable, evitando la necesidad de modelos semiestables explícitos de variedades de Kuga-Sato que no se conocen en generalidad.

B. Nueva Teoría de Iwasawa Local $\pm$

Desarrollan una nueva teoría de Iwasawa local $\pm$ válida para todos los tipos de ramificación de $p$ en $K$ (descompuesto, inerte, ramificado) y para $p=2$.

• Diferencia con la teoría de Rubin: En lugar de dividir los puntos aritméticos según el conductor en $p$, dividen el espacio de pesos en dos conjuntos ($X_1$ y $X_2$) basados en los tipos de Archimedes (pesos).
• Definición de submódulos: Definen los submódulos $H^1_+$ y $H^1_-$ como los subespacios de la cohomología de Galois local cuyos especializaciones en los puntos aritméticos de $X_1$ (resp. $X_2$) caen en el núcleo del mapa exponencial dual ($H^1_f$).
• Dos enfoques: Presentan dos versiones de esta teoría: una sobre un disco pequeño de funciones analíticas (más flexible, incluye $p=2$) y otra sobre una localización del álgebra de Iwasawa (usa familias de Heegner acotadas).

C. Familias de Heegner y el Principio de Cocientes

Para conectar la teoría de Iwasawa con los puntos de Heegner:

• Familia Virtual de Heegner: En lugar de construir una familia de Heegner clásica (que requiere condiciones de no ramificación difíciles de cumplir), construyen una "familia virtual" $\kappa^{virt}$ en el módulo de cohomología global.
• Principio de cocientes: Dado que no tienen un mapa regulador explícito en el caso no descompuesto, utilizan la relación entre las familias de unidades elípticas (o puntos de Heegner) para el carácter $\psi$ y caracteres auxiliares. Esto permite probar relaciones entre ellos sin conocer la fórmula de interpolación exacta de una base abstracta.
• Anulación de componentes: Un hallazgo crucial es que, cuando $f$ tiene CM, una de las dos funciones $L$ $p$-ádicas de Rankin-Selberg asociadas es idénticamente cero debido a los signos globales de raíz. Esto permite aislar la componente deseada mediante combinaciones lineales.

3. Resultados Principales

Teorema Principal (Conversación del Teorema de Gross-Zagier-Kolyvagin)

Teorema 1.1: Sea $\psi$ un carácter de Hecke de $K$ con tipo de Archimedes $(-1, 0)$ tal que su restricción a $\mathbb{A}_{\mathbb{Q}}^\times$ es $|\cdot|^{-1}\chi_K$. Si el rango del grupo de Selmer para $\psi$ es 1, entonces el orden de anulación de $L(\psi, s)$ en $s=1$ es también 1.

Este resultado es incondicional (no asume la finitud del grupo de Tate-Shafarevich) y cubre todos los casos de ramificación de $p$, incluyendo $p=2$.

Aplicaciones Concretas

1. Conjetura de Sylvester (1879): Demuestran que todo primo $p \equiv 4, 7, 8 \pmod 9$ se puede escribir como suma de dos cubos racionales ($x^3 + y^3 = p$).
   • Argumento: La curva elíptica $E_p: x^3 + y^3 = p$ tiene CM por $\mathbb{Q}(\sqrt{-3})$. El número de raíz global es $-1$. Usando resultados previos sobre rangos de Selmer 3-ádicos y el Teorema 1.1, prueban que el rango analítico es 1, lo que implica (vía Gross-Zagier-Kolyvagin) que el rango de Mordell-Weil es 1, garantizando infinitas soluciones racionales.
2. Conjetura de Goldfeld para Curvas CM: Bajo el trabajo reciente de Alexander Smith sobre rangos de Selmer 2-ádicos en familias de toros cuadráticos, demuestran que la conjetura de Goldfeld es cierta para curvas elípticas con CM sobre $\mathbb{Q}$: el 50% tiene rango analítico 0 y el 50% tiene rango analítico 1.

4. Significado e Impacto

• Superación de barreras técnicas: El trabajo elimina las restricciones geométricas y de convergencia que limitaban las construcciones anteriores de funciones $L$ $p$-ádicas en el caso no descompuesto. La introducción de la traslación $g_{\ell,n}$ y el uso de la teoría VBMSS son avances metodológicos significativos.
• Unificación de casos: Proporciona una teoría de Iwasawa local $\pm$ unificada que funciona para primas descompuestas, inertes y ramificadas, e incluye el caso $p=2$, cerrando una brecha importante en la teoría de Iwasawa anticyclotómica.
• Resolución de conjeturas clásicas: La demostración de la conjetura de Sylvester y el avance hacia la conjetura de Goldfeld para curvas CM son aplicaciones directas y poderosas de sus resultados teóricos, conectando la teoría de Iwasawa moderna con problemas de teoría de números clásicos.
• Herramienta para la Conjetura BSD: Al establecer la conexión entre el rango de Selmer y el orden de anulación de la función $L$ en el caso de rango 1 para caracteres CM, el artículo proporciona un paso crucial hacia la verificación de la parte de rango de la Conjetura de Birch y Swinnerton-Dyer en contextos más generales.

En resumen, este artículo representa un avance fundamental en la teoría de Iwasawa $p$-ádica y las fórmulas de Waldspurger, permitiendo tratar casos previamente inaccesibles (no descompuestos, $p=2$) y resolviendo problemas abiertos de larga data sobre sumas de cubos y distribuciones de rangos en familias de curvas elípticas.