On the torsion growth in quadratic number fields for elliptic curves defined over the rationals

Este artículo investiga la relación inversa entre el crecimiento del subgrupo de torsión de una curva elíptica definida sobre los racionales al extenderse a un cuerpo cuadrático y las propiedades de dicho cuerpo, estableciendo una conexión explícita entre los primos que dividen el conductor de la curva y el del cuerpo de extensión.

Lo esencial

¡Claro que sí! Imagina que este artículo es como un detective matemático que investiga un misterio muy específico en el mundo de los números. Aquí te explico de qué trata, usando analogías sencillas.

🕵️‍♂️ El Misterio: El "Crecimiento" de los Puntos

Imagina que tienes una curva elíptica. No es una curva cualquiera, es una figura geométrica muy especial definida con números fraccionarios (como 1/2, 3/4, etc.). En esta curva, hay "puntos" especiales que tienen una propiedad mágica: si los sumas consigo mismos un número determinado de veces, desaparecen (llegan al "punto infinito", que es como el cero de este mundo). A estos se les llama puntos de torsión.

• La situación inicial: Cuando miramos esta curva solo con los números racionales (los que usamos en la vida diaria), encontramos un cierto número de estos puntos especiales. Digamos que tenemos un pequeño grupo de amigos.
• El cambio de escenario: Ahora, los matemáticos toman esta misma curva y la llevan a un "país vecino" llamado Campo Cuadrático. Es como si abriéramos una puerta a un mundo donde existen raíces cuadradas de números negativos o positivos que antes no podíamos usar (como $\sqrt{-5}$ o $\sqrt{3}$).
• El fenómeno: Al entrar en este nuevo país, ¡sorpresa! A veces, aparecen nuevos amigos (nuevos puntos de torsión) que antes no existían. El grupo crece.

🤔 La Pregunta del Artículo

Hasta ahora, los matemáticos sabían responder a la pregunta: "Si tengo una curva, ¿qué nuevos puntos pueden aparecer si viajo a un país cuadrático?".

Pero los autores de este paper (Sara, Miguel y José) se hicieron la pregunta inversa, que es mucho más difícil:

"Si sabemos que aparecieron nuevos puntos al viajar a un país cuadrático, ¿podemos adivinar cómo es ese país?"

O dicho de otra forma: Si la curva "creció" al entrar en el campo $K = \mathbb{Q}(\sqrt{d})$, ¿qué podemos decir sobre el número $d$? ¿Qué secretos tiene ese número?

🔍 Las Herramientas del Detective

Para resolver esto, los autores usan dos herramientas principales:

1. La "Huella Digital" de la Curva (El Conductor): Cada curva elíptica tiene un número llamado "conductor" ($N_E$). Es como su huella dactilar o su código de barras. Este número nos dice en qué "lugares" (números primos como 2, 3, 5, 7...) la curva se comporta de manera "mala" o "rara" (tiene mala reducción).
2. Los Representantes Galois: Imagina que los puntos de la curva tienen "guardias de seguridad" (el grupo de Galois) que controlan quién puede verlos y dónde pueden ir. Los autores estudian cómo se mueven estos guardias cuando cambiamos de país.

🧩 Los Descubrimientos Principales

El artículo descubre una regla muy clara sobre qué números pueden aparecer en el "pasaporte" del nuevo país ($d$) cuando la curva crece.

1. La Regla de los "Vecinos Problemáticos"

Los autores demuestran que si la curva crece al entrar en un campo cuadrático, los números primos que componen ese campo ($d$) deben ser de dos tipos:

• O bien son números primos que ya causaban problemas a la curva en su país original (los que dividen al conductor $N_E$).
• O bien son los números primos "pequeños" y especiales: 2, 3, 5 y 7.

La analogía: Imagina que la curva es una planta. Si la plantas en un nuevo suelo (el campo cuadrático) y de repente crece una rama nueva, ese suelo nuevo debe tener o bien la misma "suciedad" que el suelo original (los primos del conductor), o bien ser un suelo con ingredientes muy específicos y raros (los primos 2, 3, 5, 7). No puede ser un suelo cualquiera.

2. El Caso Especial del Número 3

El número 3 es el "rebelde" de la historia.

• Para los números 2, 5 y 7: Si la curva crece en un campo donde 2, 5 o 7 son importantes, entonces la curva tiene que tener problemas (mala reducción) en esos números en su país original. Es una relación obligatoria.
• Para el número 3: ¡Aquí hay una excepción! A veces, la curva puede crecer en un campo donde 3 es importante, incluso si la curva estaba "sana" (buena reducción) en el número 3 en su país original. Es como si el 3 tuviera un "pase especial" para hacer crecer la planta sin que la planta estuviera enferma antes.

3. El Caso del Número 2 (El más complicado)

El número 2 es el más difícil de entender. Los autores dividieron el problema en dos situaciones:

• Caso Estricto: Aparece un punto totalmente nuevo.
• Caso Mixto: Aparece un punto nuevo, pero es como un "hijo" de un punto que ya existía (su doble ya estaba en el país original).
  En ambos casos, demostraron que si el 2 está involucrado en el crecimiento, la curva debe tener problemas en el número 2 en su origen. No hay pase especial para el 2.

🏁 Conclusión: ¿Qué nos dicen?

El trabajo de estos autores es como un filtro de seguridad.

Antes, si veías que una curva crecía en un campo cuadrático, tenías que revisar miles de posibilidades. Ahora, gracias a este papel, sabemos que podemos descartar inmediatamente cualquier campo cuadrático cuyo número $d$ tenga factores primos "grandes" (como 11, 13, 17...) que no estén en la huella dactilar (conductor) de la curva.

En resumen:
Si una curva elíptica "se expande" al entrar en un mundo nuevo, ese mundo nuevo no puede ser cualquiera. Debe estar construido con los mismos "ladrillos defectuosos" que la curva ya tenía, o con los ladrillos especiales de los números 2, 3, 5 y 7. Y si el ladrillo es el 3, a veces la curva puede estar sana, pero si es el 2, 5 o 7, la curva tenía que estar "enferma" desde el principio.

Es un paso gigante para entender la relación profunda entre la geometría de las curvas y la estructura de los números.

Resumen técnico

Resumen Técnico: Crecimiento del Torsión en Campos Cuadráticos para Curvas Elípticas sobre $\mathbb{Q}$

1. Planteamiento del Problema

El trabajo aborda un problema inverso en la teoría de curvas elípticas. Mientras que la literatura clásica (como los trabajos de Kamienny, Kenku, Momose y Najman) ha clasificado exhaustivamente qué grupos de torsión pueden aparecer al extender el campo base de $\mathbb{Q}$ a un campo cuadrático $K = \mathbb{Q}(\sqrt{d})$, este artículo se centra en la pregunta inversa:

Problema: Dada una curva elíptica $E/\mathbb{Q}$ y un campo cuadrático $K$ tal que el grupo de torsión crece ($E_{tors}(\mathbb{Q}) \neq E_{tors}(K)$), ¿qué podemos decir sobre el campo $K$? Específicamente, ¿existen condiciones precisas sobre el discriminante $d$ (o los primos que lo dividen) en función de los invariantes de la curva $E$, como su conductor $N_E$?

El objetivo principal es establecer una relación explícita entre los primos que dividen a $d$ y los primos que dividen al conductor $N_E$, filtrando así las posibles extensiones cuadráticas donde ocurre el crecimiento de torsión.

2. Metodología

Los autores emplean una combinación de herramientas algebraicas y aritméticas avanzadas:

• Representaciones de Galois Mod $\ell$: Se analiza la acción del grupo de Galois absoluto $G_{\mathbb{Q}}$ sobre los puntos de torsión $E[\ell]$, definida por la representación $\rho_{E,\ell}: G_{\mathbb{Q}} \to GL_2(\mathbb{F}_\ell)$.
• Teoría de Campos de Clasificación: Se estudian los subgrupos de $GL_2(\mathbb{F}_\ell)$ que fijan puntos no triviales y sus índices, relacionándolos con la existencia de puntos de torsión definidos sobre extensiones cuadráticas.
• Criterio de Néron-Ogg-Shafarevich: Se utiliza para determinar los primos de mala reducción basándose en la ramificación en la extensión generada por los puntos de torsión $K \subset \mathbb{Q}(E[\ell])$.
• Formas Normales de Tate y Modelos Mínimos: Para los casos de torsión de orden $2, 4, 8, 16$, se utilizan cambios de variables para transformar la ecuación de la curva a formas normales de Tate, permitiendo un análisis detallado de las valuciones$p$-ádicas de los coeficientes y el discriminante.
• Análisis de Grupos de Inercia: Para los primos $\ell = 5, 7$, se examina la acción del grupo de inercia (salvaje y tame) sobre los puntos de torsión para demostrar la imposibilidad de ciertos crecimientos bajo reducción buena.

El análisis se divide en casos según el primo $\ell$ que divide al orden del nuevo punto de torsión: $\ell = 2, 3, 5, 7$.

3. Contribuciones y Resultados Clave

El artículo establece teoremas que vinculan la ramificación en el campo cuadrático $K = \mathbb{Q}(\sqrt{d})$ con la reducción de la curva $E$ en los primos involucrados.

A. El caso $\ell = 2$ (Secciones 2 y 3)
Este es el caso más complejo, dividido en dos situaciones:

1. Caso Estricto: Aparece un nuevo punto de orden 2 que no tiene múltiplos no triviales en $E(\mathbb{Q})$.
2. Caso Mixto: Aparece un punto $P$ tal que $2P \in E(\mathbb{Q})$(ej. crecimiento de$C_2$a$C_4$, o$C_4$a$C_8$).

• Teorema 2: Si $E/\mathbb{Q}$ es una curva elíptica y $K$ es un campo cuadrático tal que $E_{tors}(\mathbb{Q}) \neq E_{tors}(K)$, y si $2 \mid d$(es decir, 2 ramifica en$K$), entonces **$E$tiene mala reducción en 2** ($2 \mid N_E$).
  • Detalle: La prueba utiliza valuciones 2-ádicas en modelos mínimos y formas normales de Tate para demostrar que si $E$ tuviera buena reducción en 2, la estructura de los subgrupos de $GL_2(\mathbb{F}_2)$ impediría la aparición de nuevos puntos de torsión de orden $2^k$ en una extensión cuadrática ramificada en 2.

B. El caso $\ell = 3$ (Sección 4)
El comportamiento del primo 3 es distintivo. A diferencia de los otros primos, existe la posibilidad de que $3 \mid d$pero$3 \nmid N_E$ (buena reducción), lo que permite el crecimiento de torsión.

• Proposición 7: Si $E_{tors}(\mathbb{Q})$ es trivial y $E_{tors}(K) \cong C_9$, entonces $E$ debe tener mala reducción en 3.
• Proposición 8: Si $E$ tiene buena reducción en 3 ($3 \nmid N_E$) y$3 \mid d$, y existe un punto de orden 3 en$K \setminus \mathbb{Q}$, entonces el crecimiento es estrictamente$E_{tors}(K) = E_{tors}(\mathbb{Q}) \times C_3$. Esto descarta crecimientos a$C_9$ o estructuras más complejas en este escenario.
• Observación: El ejemplo de la curva 19.a2 muestra que se puede tener crecimiento de $C_1$ a $C_3$ con buena reducción en 3, pero el crecimiento a $C_9$ requiere mala reducción.

C. Los casos $\ell = 5$ y $\ell = 7$ (Sección 5)
Para estos primos, el análisis de los grupos de inercia y las representaciones de Galois conduce a resultados más fuertes.

• Teorema 3: Si $p = 5$ o $p = 7$ ramifica en $K$ (es decir, $p \mid d$) y ocurre crecimiento de torsión, entonces $p \mid N_E$.
  • Método: Se demuestra que si $E$ tiene buena reducción en $\ell$, el grupo de inercia es demasiado grande o su estructura (subgrupos de $GL_2(\mathbb{F}_\ell)$) no permite la existencia de puntos fijos no triviales en una extensión cuadrática ramificada en $\ell$, excepto en casos muy específicos que se descartan mediante un análisis exhaustivo de los subgrupos posibles (listas de Sutherland y Zywina).

D. Resultados Reforzados (Teorema 4)
Los autores demuestran una versión más fuerte que el Teorema 3:

• Si existe un punto $P \in E(K)[\ell] \setminus E(\mathbb{Q})$ con $\ell \geq 3$:
  1. Para todo primo $p \neq \ell$ que ramifica en $K$, $E$ tiene reducción aditiva en $p$ (es decir, $p^2 \mid N_E$).
  2. Si $p = \ell > 3$ ramifica en $K$, $E$ tiene reducción aditiva en $p$ ($p^2 \mid N_E$).

E. Resultado Principal Sintetizado (Teorema 5)
Combinando todos los casos anteriores, se establece la regla general:

Sea $E/\mathbb{Q}$ con conductor $N_E$ y $K = \mathbb{Q}(\sqrt{d})$ un campo cuadrático con crecimiento de torsión. Si $p$ es un primo tal que $p \mid d$, entonces o bien $p \mid N_E$ o bien $p = 3$.

Esto significa que, con la única excepción posible del primo 3 (donde el crecimiento puede ocurrir con buena reducción), cualquier primo que ramifique en el campo cuadrático donde crece la torsión debe ser un primo de mala reducción para la curva.

4. Significado e Impacto

• Avance en el Problema Inverso: El trabajo proporciona la primera descripción explícita y rigurosa que vincula los divisores del discriminante del campo cuadrático con el conductor de la curva, más allá de las clasificaciones de grupos de torsión.
• Herramienta de Filtrado: Los resultados permiten "filtrar" o descartar campos cuadráticos candidatos para el crecimiento de torsión basándose únicamente en la factorización del conductor de la curva. Si un primo $p \neq 3$ divide a $d$ pero no a $N_E$, no puede haber crecimiento de torsión en ese campo.
• Nuevas Demostraciones: Ofrece pruebas alternativas y más profundas (usando representaciones de Galois y análisis de inercia) para resultados conocidos sobre $\ell=5,7$, y extiende estos métodos para obtener el Teorema 4, que es más fuerte que los resultados previos en la literatura.
• Excepción del Primo 3: El artículo aclara matizadamente el comportamiento "excepcional" del primo 3, mostrando que es el único caso donde el crecimiento de torsión puede ocurrir sin mala reducción en el campo base, pero incluso allí, existen restricciones fuertes (como la imposibilidad de crecer a $C_9$ con buena reducción).

En conclusión, este artículo representa un paso fundamental hacia la comprensión completa de la relación entre la aritmética de la curva elíptica (conductor) y la aritmética del campo de definición (discriminante) en el contexto del crecimiento de torsión.