Distribution of Selmer ranks in prime cyclic extensions

Resumen Técnico: Distribución de los Rangos de Selmer en Extensiones Cíclicas Primas

Planteamiento del Problema
Este artículo investiga la distribución estadística de los rangos de Selmer dentro de familias de giros (twists) de módulos de Galois sobre cuerpos numéricos. Específicamente, aborda la distribución de los rangos de Selmer-$p$ para un primo $p$ en extensiones cíclicas, ordenadas por el producto de los primos ramificados (el radical del discriminante relativo), en lugar del orden basado en la "estructura de abanico" (fan structure) utilizado en el trabajo fundacional previo de Klagsbrun, Mazur y Rubin (KMR). Los autores pretenden determinar la probabilidad de que una curva elíptica, superelíptica o hiperelíptica fija gane rango tras la extensión de base a estos cuerpos cíclicos. Un desafío central es establecer estas distribuciones bajo la Hipótesis del Riemann Extendida (ERH) sin depender de modelos heurísticos o restricciones de ordenamiento específicas que anteriormente limitaban el alcance de tales resultados.

Metodología
Los autores emplean una síntesis de estadística aritmética, teoría analítica de números y teoría de la probabilidad, adaptando y modificando el marco establecido por Klagsbrun, Mazur y Rubin [KMR13, KMR14] y Yu [Yu19].

1. Estructuras de Selmer y Giros (Twisting): El artículo define estructuras de Selmer asociadas con giros de módulos de Galois $T$ que satisfacen ciertas condiciones técnicas (irreducibilidad, pares no degenerados, etc.). Estas estructuras modelan los grupos de Selmer-$p$ de variedades abelianas asociadas con las curvas (por ejemplo, $A_{\chi}$ para curvas elípticas y $Jac(C_d)[1-\zeta_p]$ para curvas superelípticas).
2. Estructuras de Abanico y Ordenamiento: La innovación metodológica central consiste en construir una nueva "estructura de abanico" de ideales libres de cuadrados. A diferencia de la estructura de abanico original de KMR, que dependía de teoremas de densidad de Chebotarev efectivos con términos de error complejos, los autores definen un nuevo orden basado en el radical del ideal (el producto de los factores primos distintos).
   • Utilizan la Hipótesis del Riemann Extendida (ERH) para invocar una forma efectiva del Teorema de Densidad de Chebotarev (Teorema 3.5). Esto permite un control preciso sobre la distribución de los elementos de Frobenius, permitiendo a los autores reordenar la secuencia de los giros de los ideales primos.
   • Al demostrar que esta nueva estructura de abanico constituye un subconjunto de densidad 1 de todos los ideales libres de cuadrados (Proposición 4.1), justifican que las estadísticas derivadas sobre este subconjunto se aplican al conjunto general de extensiones ordenadas por el producto de los primos ramificados.
3. Procesos de Markov y Ergodicidad Geométrica: La distribución de los rangos de Selmer se modela como la distribución estacionaria de un proceso de Markov irreducible y aperiódico que actúa sobre el espacio de estados de los enteros no negativos.
   • Los autores utilizan teoremas de ergodicidad geométrica para operadores de Markov (Teorema 4.12) para demostrar que la distribución converge a un estado estacionario independientemente de las condiciones iniciales, siempre que el número de giros (factores primos) crezca lo suficiente.
   • Un paso técnico clave consiste en mostrar que el orden en el que se aplican los ideales primos para girar la estructura de Selmer no altera la distribución asintótica, un resultado que es posible gracias a la independencia de las normas de los ideales primos en la estructura de abanico construida y la ERH.
4. Curvas Hiperelípticas y la Condición UDRL: Para las curvas hiperelípticas, el artículo aborda la distribución de los grupos de Selmer-2. Resultados previos (por ejemplo, Yu [Yu19]) a menudo requerían la condición "UDRL" (Distribución No Ramificada de los Mapas Kummer Locales). Los autores demuestran que, asumiendo la ERH, pueden eludir esta suposición heurística, derivando la distribución de Poonen-Rains directamente del teorema de densidad de Chebotarev.

Contribuciones Clave

• Nuevo Esquema de Ordenamiento: El artículo transfiere con éxito los resultados de distribución de los rangos de Selmer de la estructura de ordenamiento de "abanico" al ordenamiento por el producto de los primos ramificados (radical del discriminante), un ordenamiento más natural para la estadística aritmética.
• Eliminación de Suposiciones Heurísticas: Para las curvas hiperelípticas, los autores eliminan la necesidad de la suposición heurística UDRL mediante el uso de la ERH para controlar los mapas Kummer locales.
• Generalización a Diversas Curvas: El marco se aplica a tres casos distintos:
  1. Crecimiento de rango de curvas elípticas en extensiones $p$-cíclicas.
  2. Tamaño promedio de los puntos racionales en curvas superelípticas en extensiones $p$-cíclicas.
  3. Crecimiento de rango de los jacobianos de curvas hiperelípticas en extensiones cuadráticas.

Resultos Principales

• Teorema 1.1 (Curvas Elípticas): Asumiendo la ERH, el artículo proporciona límites inferiores y superiores explícitos para la probabilidad de que una curva elíptica $E/K$ (con $Gal(K(E[p])/K) \supseteq SL_2(\mathbb{F}_p)$) tenga un crecimiento de rango específico en extensiones $p$-cíclicas ordenadas por el producto de los primos ramificados. Se muestra que la distribución es una combinación lineal de dos distribuciones estacionarias ($E_+$ y $E_-$) determinadas por la paridad de la estructura de Selmer inicial.
• Teorema 1.2 (Curvas Superelípticas): Para curvas superelípticas $C: y^p = F(x)$ con campos de división de Galois específicos, el artículo establece una conjetura de Mordell-Lang efectiva. Demuestra que el tamaño promedio del conjunto de puntos racionales sobre la familia de giros está acotado por una constante explícita $B(p, K)$.
• Teorema 1.3 (Curvas Hiperelípticas): Asumiendo la ERH, el artículo determina la distribución de los rangos de Selmer-2 para giros cuadráticos de curvas hiperelípticas. El resultado confirma que la distribución converge a la distribución de Poonen-Rains (específicamente, el tamaño promedio converge a 3 o 6 dependiendo del tamaño del componente de la conjetura de Tate-Shafarevich $X^1$), consistente con los resultados de Smith pero derivado sin la heurística UDRL.

Significado y Reivindicaciones
El artículo afirma proporcionar un marco riguroso y condicional (sobre la ERH) para comprender la distribución de los rangos de Selmer en extensiones cíclicas primas ordenadas por el producto de los primos ramificados. Al modificar la maquinaria de KMR para acomodar este ordenamiento, los autores cierran la brecha entre los modelos abstractos de procesos de Markov y la estadística aritmética concreta.

Los autores declaran explícitamente que su trabajo:

• Verifica la conjetura de Poonen-Rains para curvas hiperelípticas condicional a la ERH, sin asumir la condición UDRL.
• Generaliza los resultados de Alex Smith sobre la distribución de los grupos de Selmer-2 a una clase más amplia de curvas hiperelípticas (incluyendo aquellas que no son "impares").
• Proporciona límites para el tamaño promedio de los puntos racionales en curvas superelípticas, ofreciendo una versión efectiva de la conjetura de Mordell-Lang para estas familias.
• Demuestra que la tasa de convergencia hacia la distribución estacionaria puede mejorarse a $O(1/(\log X)^c)$ bajo la ERH, lo que representa una mejora significativa respecto a los términos de error exponenciales previos.

El artículo concluye señalando que estas técnicas son adaptables a cuerpos globales de funciones y que trabajos futuros explorarán los crecimientos de rango para variedades abelianas principalmente polarizadas sobre extensiones cíclicas primas de cuerpos globales.