🔢 mathematics

Elliptic curves with rank one and nontrivial 2-part of Tate Shafarevich groups over the $\mathbb{Z}_2$ -extension of $\mathbb{Q}$

Este artículo construye una curva elíptica definida sobre $\mathbb{Q}$ y una familia de sus torceduras cuadráticas que poseen rango uno analítico y algebraico sobre la extensión $\mathbb{Z}_2$ -ciclotómica de $\mathbb{Q}$ , mientras que sus grupos de Tate-Shafarevich son infinitos en dicha extensión, utilizando propiedades de congruencia de puntos de Heegner y un teorema de Coates-Wiles equivariante.

Autores originales: Li-Tong Deng, Yong-Xiong Li

Publicado 2026-03-17

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Li-Tong Deng, Yong-Xiong Li

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que las matemáticas son como un vasto océano y los números primos son las islas que flotan en él. Los matemáticos pasan la vida intentando entender cómo se conectan estas islas entre sí.

En este artículo, dos investigadores (Li-Tong Deng y Yong-Xiong Li) han construido un puente muy especial entre dos conceptos que parecen no tener nada que ver: las curvas elípticas (que son como formas geométricas complejas definidas por ecuaciones) y los grupos de Shafarevich-Tate (que son como "fantasmas" o errores ocultos que aparecen cuando intentamos resolver problemas con estas curvas).

Aquí tienes la explicación de su descubrimiento, usando analogías sencillas:

1. El Personaje Principal: La Curva Elíptica

Imagina una curva elíptica como una montaña rusa perfecta y suave. Los matemáticos quieren saber cuántos "puntos de parada" (soluciones enteras) tiene esta montaña rusa.

Rank (Rango): Es como medir cuántos "motores" independientes tiene la montaña rusa para moverse. Si el rango es 0, está quieta. Si es 1, tiene un motor que la hace moverse en una dirección específica.
El problema: A veces, la montaña rusa parece tener un motor (rango 1), pero hay un "fantasma" invisible que la está frenando o confundiendo. Ese fantasma es el Grupo de Shafarevich-Tate. Si este grupo es "no trivial" (es decir, no es cero), significa que hay un misterio oculto que impide entender completamente la curva.

2. El Viaje Infinito: La Extensión $\mathbb{Z}_2$

Los autores no se quedan en un solo lugar. Imagina que toman su montaña rusa y la envían a un viaje infinito a través de una serie de "puentes" o campos de números que se hacen cada vez más grandes y complejos.

Llamamos a este viaje $Q_\infty$ . Es como subir una escalera infinita donde cada escalón ( $Q_n$ ) es un mundo más grande que el anterior.
La pregunta que se hacen es: ¿Qué le pasa a nuestra montaña rusa (la curva) y a sus "fantasmas" (el grupo de Shafarevich) mientras subimos esta escalera infinita?

3. La Magia: Los "Giros Cuadráticos"

Para hacer el viaje interesante, los autores no usan la montaña rusa original. La "doblan" o la "giro" (como si le cambiaras el color o la inclinación) usando números primos especiales. A esto le llaman giros cuadráticos.

Piensa en esto como tomar una bicicleta y cambiarle las ruedas por otras de diferentes tamaños para ver cómo cambia su velocidad.
Ellos buscan una combinación específica de ruedas (números primos $p$ y $q$ ) que haga que la bicicleta tenga exactamente un motor (rango 1) y, lo más importante, que tenga un fantasma gigante (el grupo de Shafarevich es infinito).

4. ¿Qué descubrieron? (El Resultado)

Antes de este trabajo, era muy difícil encontrar una curva que tuviera rango 1 (un motor) y fantasmas infinitos al mismo tiempo en estos viajes infinitos. A menudo, si tenías un motor, los fantasmas desaparecían, o viceversa.

El hallazgo de Deng y Li es:
Han encontrado una receta mágica (una fórmula específica con dos números primos, como 31 y 7) para crear una familia infinita de curvas elípticas que:

Tienen exactamente un motor (rango 1) en cada escalón de la escalera infinita.
Tienen fantasmas infinitos (el grupo de Shafarevich es enorme y no se puede medir).

5. ¿Cómo lo hicieron? (Las Herramientas)

Para encontrar esta receta, usaron tres herramientas matemáticas muy potentes:

Elementos de Mazur-Tate: Imagina que son como "brújulas" que les dicen en qué dirección apunta la curva en cada mundo nuevo.
Puntos de Heegner: Son como "faros" que iluminan la existencia de soluciones. Si el faro brilla, saben que hay un motor.
Teorema de Coates-Wiles: Es una regla antigua y poderosa que conecta la luz del faro (la función L) con la existencia de los motores (el rango algebraico).

En Resumen

Imagina que los matemáticos han estado buscando una llave maestra que abra una puerta secreta.

La puerta es el misterio de las curvas elípticas con rango 1.
La cerradura es el grupo de Shafarevich-Tate.
Antes, pensaban que si la puerta se abría (rango 1), la cerradura desaparecía (grupo trivial).
Deng y Li demostraron que pueden crear una llave (una familia de curvas) que abre la puerta Y mantiene la cerradura activa y gigante al mismo tiempo, incluso cuando viajan a través de un universo de números infinito.

Esto es importante porque nos ayuda a entender mejor la Conjetura de Birch y Swinnerton-Dyer (uno de los problemas más grandes de las matemáticas), confirmando que la relación entre la geometría de la curva y sus soluciones es más rica y compleja de lo que pensábamos. Han demostrado que los "fantasmas" pueden vivir para siempre en un mundo infinito.

Aquí presento un resumen técnico detallado del artículo "Elliptic Curves with Rank One and Nontrivial 2-Part of Tate-Shafarevich Groups over the $\mathbb{Z}_2$ -Extension of $\mathbb{Q}$ " de Li-Tong Deng y Yong-Xiong Li.

1. Planteamiento del Problema

El trabajo aborda una pregunta fundamental en la teoría de números y la geometría aritmética, relacionada con el comportamiento de las curvas elípticas sobre extensiones de campos infinitas. Específicamente, los autores buscan responder a la siguiente cuestión (Question 1.1 en el texto):

¿Existe una curva elíptica $E$ definida sobre $\mathbb{Q}$ y una familia infinita de campos numéricos $F_n/\mathbb{Q}$ con grados $[F_n : \mathbb{Q}] \to \infty$ , tales que:

El rango de Mordell-Weil $E(F_n)$ sea fijo (en este caso, rango 1).
La parte $p$ -primaria del grupo de Tate-Shafarevich, denotada como $\text{X}(E/F_n)(p)$ , sea no trivial (es decir, infinita o de orden no trivial) para un primo dado $p$ .

El artículo se centra en el caso donde $p=2$ y el rango es 1, sobre la extensión cíclica $\mathbb{Z}_2$ de $\mathbb{Q}$ (denotada como $\mathbb{Q}_\infty$ ). Un desafío previo en la literatura era que la mayoría de los resultados positivos requerían asumir la Conjetura de Birch y Swinnerton-Dyer (BSD) o la finitud del grupo de Tate-Shafarevich. El objetivo principal de este trabajo es construir un ejemplo explícito y probar estos resultados sin asumir la conjetura BSD ni la finitud del grupo de Tate-Shafarevich.

2. Metodología

Los autores emplean una combinación sofisticada de herramientas de la teoría de Iwasawa, formas modulares y puntos de Heegner:

Elementos de Mazur-Tate: Utilizan los elementos modulares introducidos por Mazur y Tate, asociados a la curva $E$ y sus giros cuadráticos. El núcleo de la estrategia es estudiar las propiedades 2-ádicas de estos elementos bajo especialización por caracteres de orden finito del grupo de Galois $\text{Gal}(\mathbb{Q}_\infty/\mathbb{Q})$ .
Teoría de Iwasawa y Congruencias:
- Desarrollan un método para determinar los invariantes $\mu$ y $\lambda$ de los elementos modulares en el anillo de grupo $\mathbb{Z}_2[G_n]$ .
- Superan una dificultad técnica (donde los métodos anteriores de Kurihara fallaban para giros cuadráticos) definiendo un nuevo elemento modular $\xi_E(\chi)$ asociado al par $(E, \chi)$ , donde $\chi$ es el carácter cuadrático del giro.
- Establecen relaciones de congruencia módulo 2 y módulo 4 entre las especializaciones de estos elementos y los valores de funciones L.
Puntos de Heegner y Fórmulas de Waldspurger:
- Utilizan las propiedades de congruencia de los puntos de Heegner (derivadas de la fórmula p-ádica de Waldspurger de Bertolini-Darmon-Prasanna) para demostrar que ciertos puntos de Heegner asociados a giros específicos de la curva son no torsionales.
- Aplican el teorema de Gross-Zagier y el teorema de Kolyvagin para conectar la no torsión de estos puntos con el rango algebraico y analítico de la curva.
Teorema de Coates-Wiles Equivariante: Utilizan una versión equivariante de este teorema (generalizada en el Apéndice B) para relacionar el rango algebraico sobre los campos intermedios $\mathbb{Q}_n$ con los valores de las funciones L torcidas.

3. Contribuciones Clave

Construcción de una Familia Infinita: Demuestran la existencia de una curva elíptica base $E$ (definida por $y^2 + y = x^3 + 2$ ) y una familia infinita de giros cuadráticos $E(m)$ (donde $m=pq$ es un producto de dos primos específicos) que satisfacen las condiciones deseadas sobre toda la torre de campos $\mathbb{Q}_n$ .
Independencia de Conjeturas: A diferencia de trabajos previos (como los de Kurihara), este resultado se demuestra de manera incondicional, sin asumir la finitud del grupo de Tate-Shafarevich ni la conjetura BSD.
Análisis 2-ádico Fino: Resuelven el problema de las propiedades 2-ádicas de los elementos de Mazur-Tate para giros cuadráticos, un caso que los métodos existentes no podían tratar directamente. Esto incluye el manejo de casos excepcionales (caracteres primitivos de orden 8) mediante congruencias de orden superior (módulo 4).
Generalización: El resultado generaliza hallazgos anteriores que se limitaban a una curva fija o un campo fijo, extendiéndolos a una familia infinita de campos de grado creciente y una familia de giros.

4. Resultados Principales

El Teorema 1.3 es el resultado central. Sean $p$ y $q$ primos distintos tales que:

$p \equiv q \equiv 7 \pmod{12}$ .
Los coeficientes de Fourier $a_p$ y $a_q$ de la forma modular asociada a $E$ son impares.
$\left(\frac{-2p}{q}\right) = 1$ .
$3 \nmid h(-q)h(-6pq)$ (donde $h$ es el número de clases).

Sea $m = pq$. Entonces:

Rango sobre $\mathbb{Q}$ : $\text{rank}(E(m)(\mathbb{Q})) = 0$ y el orden del cero de la función L en $s=1$ es 0. El grupo de Tate-Shafarevich $\text{X}(E(m)/\mathbb{Q})(2)$ es trivial.
Rango sobre $\mathbb{Q}_n$ ( $n \ge 1$ ): Para cada $n$ , el rango analítico y algebraico de $E(m)$ sobre $\mathbb{Q}_n$ es 1. Es decir, $\text{ord}_{s=1} L(E(m)/\mathbb{Q}_n, s) = 1 = \text{rank}(E(m)(\mathbb{Q}_n))$ .
Grupo de Tate-Shafarevich sobre $\mathbb{Q}_\infty$ : El grupo $\text{X}(E(m)/\mathbb{Q}_\infty)(2)$ tiene orden infinito y 2-rango infinito.

Esto implica que, a medida que se sube en la torre de la extensión $\mathbb{Z}_2$ , el rango se estabiliza en 1, pero el grupo de Tate-Shafarevich se vuelve "gigante" (infinito) en la parte 2-primaria.

5. Significado e Impacto

Resolución de una Pregunta Abierta: El artículo responde afirmativamente a la pregunta sobre la existencia de curvas con rango 1 y grupo de Tate-Shafarevich no trivial en extensiones de grado infinito, sin depender de conjeturas no probadas.
Avance en la Teoría de Iwasawa para $p=2$ : Proporciona un marco robusto para analizar el comportamiento 2-ádico de elementos modulares y funciones L en extensiones cíclicas, llenando un vacío en la literatura que se centraba principalmente en primos impares.
Método Innovador: La técnica de usar congruencias de orden superior (módulo 4) para manejar casos excepcionales en la teoría de Iwasawa 2-ádica es un aporte metodológico significativo que puede aplicarse a otros problemas aritméticos, como se menciona en el artículo en relación con grupos K superiores y variaciones de invariantes analíticos.
Validación de la Conjetura BSD (Parcial): Al demostrar que el rango algebraico coincide con el orden del cero de la función L para toda la familia infinita, el trabajo valida la parte de rango de la conjetura BSD en este contexto específico y condicional, pero de manera constructiva y explícita.

En resumen, el paper establece un ejemplo explícito y riguroso de cómo el grupo de Tate-Shafarevich puede crecer infinitamente en una extensión $\mathbb{Z}_2$ mientras el rango de la curva elíptica permanece fijo en 1, utilizando una síntesis profunda de teoría de números algebraica y analítica.