On the Identification of Elliptic Curves That Admit Infinitely Many Twists Satisfying the Birch-Swinnerton-Dyer Conjecture

Resumen Técnico: Identificación de Curvas Elípticas que Admiten Infinitos Giros que Satisfacen la Conjetura de BSD

Planteamiento del Problema
La conjetura de Birch y Swinnerton-Dyer (BSD) sigue siendo uno de los problemas abiertos centrales en la teoría de números. Si bien se han logrado avances probabilísticos significativos respecto al rango promedio de las curvas elípticas (estableciendo que al menos el 66% satisfacen la parte del rango de la conjetura), estos resultados no identifican curvas específicas donde se cumpla la conjetura completa. Históricamente, las familias infinitas explícitas de curvas que satisfacen la conjetura completa de BSD se conocían principalmente para curvas con Multiplicación Compleja (CM). Para curvas no-CM, el panorama fue ampliado por el trabajo de Burungale–Skinner–Tian–Wan, quienes demostraron la existencia de familias infinitas de giros cuadráticos de curvas elípticas no-CM que satisfacen la conjetura completa de BSD. Sin embargo, su trabajo proporcionó solo una lista explícita limitada (conductor hasta 150) y no detalló el procedimiento algorítmico explícito o la implementación requerida para verificar las condiciones locales necesarias para identificar tales curvas.

Metodología
Los autores cierran la brecha entre la existencia teórica y la computación explícita traduciendo las condiciones teóricas establecidas por Burungale–Skinner–Tian–Wan en algoritmos ejecutables. La metodología procede en dos etapas principales:

1. Filtrado Algorítmico (Algoritmo 1): Los autores codifican las hipótesis requeridas para que la parte-$p$ de la conjetura de BSD se cumpla para giros cuadráticos de rango 0.

   • Primos Impares ($p > 2$): Utilizan resultados de Skinner–Urban, Zhang y Burungale–Skinner–Tian–Wan para verificar la parte-$p$. Esto implica verificar las condiciones sobre la representación de Galois $\rho_{E,p}$, la existencia de primos ramificados específicos y el comportamiento de la curva en primos supersingulares.
   • El Primo 2: Sintetizan resultados de [5] y [22] para establecer las condiciones para la parte-2 de la conjetura de BSD. Esto requiere verificar que el rango es 0, comprobar la constante de Manin y analizar la estructura de 2-torsión $E(\mathbb{Q})[2]$ y el signo del discriminante. Se comprueban condiciones específicas para los casos donde $E(\mathbb{Q})[2] \cong \mathbb{Z}/2\mathbb{Z}$ frente a $E(\mathbb{Q})[2] = 0$.
   • Implementación: Estos controles se implementan en SageMath y se aplican a toda la base de datos LMFDB de curvas elípticas con conductor $N < 500,000$.

2. Verificación de Giros (Algoritmo 2): Para las curvas que pasan el filtro inicial, los autores implementan un segundo algoritmo para identificar giros cuadráticos específicos $E_d$ (dentro de un rango $[-1000, 1000]$) que satisfacen la conjetura completa de BSD. Esto implica verificar las condiciones locales sobre el parámetro de giro $d$, tales como la ausencia de factores cuadrados, condiciones de congruencia módulo 4 o 8, y el comportamiento de división de primos en campos numéricos específicos.

Contribuciones Clave

• Realización Algorítmica Explícita: La contribución principal es la traducción de las pruebas de existencia no constructivas de Burungale–Skinner–Tian–Wan en algoritmos explícitos y ejecutables (Algoritmo 1 y Algoritmo 2).
• Identificación Extensa de Base de Datos: Aplicando estos algoritmos al LMFDB, los autores identifican 36,687 curvas elípticas con conductor $N < 500,000$ que admiten incondicionalmente infinitos giros cuadráticos que satisfacen la fuerte conjetura de BSD. Esto representa aproximadamente el 0.1% de todas las curvas en ese rango.
• Refinamiento de Listas Existentes: Los autores aclaran y refinan la lista de curvas hasta el conductor 150 presentada en [4, Ejemplo 1]. Demuestran que cuatro curvas previamente listadas (62a1, 66b1, 105a1, 141c1) no cumplen actualmente con los criterios incondicionales debido a la ausencia de teoremas aplicables para sus estructuras específicas de 2-torsión y la inaplicabilidad de los resultados de [5] (debido al orden de anulación del valor-$L$).
• Análisis Estadístico del Grupo de Shafarevich–Tate: Utilizando el nuevo conjunto de datos donde $|\text{Ш}(E_d)|$ es conocido incondicionalmente, los autores prueban la conjetura de Radziwiłł y Soundararajan respecto a la distribución gaussiana de $\log(|\text{Ш}(E_d)|/\sqrt{|d|})$.

Resultos

• Generación de Conjunto de Datos: Los autores produjeron un conjunto de datos de curvas elípticas y sus giros específicos donde la conjetura completa de BSD se cumple incondicionalmente. Este conjunto de datos es único porque el orden del grupo de Shafarevich–Tate se deriva sin asumir la conjetura de BSD (ya que la conjetura está probada para estas familias específicas).
• Verificación de Radziwiłł–Soundararajan (Caso Genérico): Para giros genéricos de una curva representativa (46a1) con número de raíz +1, la distribución de los valores normalizados converge a una distribución gaussiana estándar $N(0,1)$, consistente con la conjetura, aunque se observa una asimetría de muestra finita.
• Observación de Sesgo Sistemático (Subfamilia que Satisface BSD): Al restringir el análisis a la subfamilia específica de giros que satisfacen la conjetura completa de BSD (denotada como $D_{BSD}$), la distribución se desvía significativamente de la predicción genérica. Los autores observan un sesgo positivo sistemático y un desplazamiento hacia una forma bimodal.
  • Causa del Sesgo: Esta desviación se atribuye a las rígidas restricciones aritméticas que definen $D_{BSD}$ (por ejemplo, $d$ debe ser positivo, $d \equiv 1 \pmod 8$, y los factores primos deben dividirse en campos numéricos específicos). Estas restricciones obligan a los giros a residir en campos cuadráticos reales con comportamientos de división específicos, alterando la densidad de los primos y el modelo probabilístico subyacente en comparación con el caso genérico.

Significancia y Reivindicaciones
El artículo afirma proporcionar la primera identificación a gran escala e incondicional de curvas elípticas no-CM que admiten familias infinitas de giros que satisfacen la conjetura de BSD. Al pasar de la existencia probabilística a la enumeración explícita, los autores crean un conjunto de datos único para estudiar el grupo de Shafarevich–Tate.

La significancia de los hallazgos estadísticos radica en la observación de que, si bien la conjetura de Radziwiłł–Soundararajan se cumple para familias genéricas, requiere una modificación (específicamente respecto a la media y la varianza) cuando se aplica a familias definidas por condiciones aritméticas locales estrictas. Los autores señalan que esto no invalida la conjetura, sino que resalta su sensibilidad a las restricciones de la subfamilia. Sugieren que, con más datos, la distribución para la familia restringida aún podría aproximarse a una forma gaussiana, aunque con parámetros diferentes, lo que justifica una mayor investigación.

El trabajo está respaldado por un repositorio de código público construido sobre la infraestructura del LMFDB, lo que permite la reproducción de la identificación de estas curvas y la verificación de las afirmaciones estadísticas.