🔢 mathematics

Counting elliptic curves over $\mathbb{Q}$ with bounded naive height

Este artículo establece fórmulas exactas y asintóticas para contar curvas elípticas sobre $\mathbb{Q}$ con altura ingenua acotada, cubriendo la familia general y subfamilias específicas como aquellas con invariantes $j$ fijos o multiplicación compleja, al tiempo que proporciona parametrizaciones explícitas, verificación computacional y código en SageMath para diversas normalizaciones de altura.

Autores originales: Adrian Barquero-Sanchez, Daniel Mora-Mora

Publicado 2026-06-08

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Adrian Barquero-Sanchez, Daniel Mora-Mora

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 el mundo de los números como una vasta e infinita biblioteca. Dentro de esta biblioteca, hay millones de libros especiales llamados curvas elípticas. Estos no son historias sobre dragones o viajes espaciales; son objetos matemáticos definidos por una ecuación específica: $y^2 = x^3 + Ax + B$ .

En este artículo, los autores, Adrian Barquero-Sánchez y Daniel Mora-Mora, actúan como bibliotecarios que intentan contar cuántos de estos libros existen, pero con una regla específica: solo quieren contar los libros donde los números $A$ y $B$ no sean demasiado grandes.

Aquí tienes un desglose de su trabajo utilizando analogías sencillas:

1. La "Altura Naíf" (El tamaño del libro)

Para decidir qué libros contar, los bibliotecarios necesitan una forma de medir el "tamaño" de una curva. Utilizan algo llamado altura naíf (naive height).

La Analogía: Imagina que cada curva tiene un "peso" basado en qué tan grandes son sus números $A$ y $B$ . La "altura naíf" es como una báscula que te indica el número más pesado en la ecuación.
Dos formas de pesar: El artículo analiza dos formas diferentes de configurar esta báscula:
- La escala "no calibrada": Una medición simple y tosca (solo mirando los números brutos).
- La escala "calibrada": Una medición más precisa y ajustada que los matemáticos han descubierto que es mejor para ciertas teorías profundas.
El Objetivo: Los autores quieren saber: "Si establezco un límite de peso de $X$ , ¿cuántas curvas son más ligeras que eso?"

2. El Descubrimiento Principal: Fórmulas Exactas

Antes de este artículo, los matemáticos tenían conjeturas aproximadas (fórmulas asintóticas) sobre cuántas curvas cabían bajo un límite de peso. Conocían la forma general de la respuesta, pero no los detalles exactos.

El Gran Avance: Los autores crearon recetas exactas (fórmulas) para contar estas curvas. Es como pasar de decir: "Probablemente hay alrededor de un millón de manzanas en el huerto", a tener una fórmula que dice: "Hay exactamente 1,042,399 manzanas, más o menos un pequeño error".
Lo hicieron para:
- Todas las curvas: Toda la biblioteca.
- Curvas con un "ID" específico: Cada curva tiene una huella digital única llamada invariante $j$ . Los autores descubrieron cómo contar las curvas que comparten la misma huella digital.
- Curvas con "Poderes Especiales" (CM): Algunas curvas tienen una propiedad especial llamada Multiplicación Compleja (CM). Estas son como ediciones raras y mágicas de los libros. Los autores contaron exactamente cuántos de estos libros raros existen bajo un cierto peso.

3. El "Giro" y el "Modelo Mínimo"

Una de las partes más interesantes del artículo es cómo organizan las curvas.

La Analogía: Imagina que tienes un coche de juguete perfecto y pequeño (el modelo mínimo). Puedes hacer versiones más grandes y pesadas de este coche estirándolo (un giro o twist).
El Hallazgo: Los autores descubrieron que, para cualquier "huella digital" específica (invariante $j$ ), cada una de las curvas en la biblioteca es simplemente una "versión estirada" (un giro) de uno de dos coches mínimos y diminutos.
Por qué importa: En lugar de buscar millones de curvas aleatorias, solo necesitas encontrar estos dos pequeños coches "semilla". Una vez que los tienes, puedes generar toda la familia de curvas con esa huella digital aplicando una simple regla de estiramiento matemático. Esto hace que contar sea increíblemente fácil.

4. Las Curvas Mágicas "Ausentes"

Los autores utilizaron sus nuevas fórmulas para resolver un misterio.

El Misterio: En una búsqueda informática previa, los matemáticos buscaron curvas "mágicas" (curvas CM) con una huella digital muy compleja y específica (relacionada con el número -163), pero no encontraron ninguna hasta cierto tamaño.
La Explicación: Los autores demostraron teóricamente que estas curvas sí existen, pero son enormemente pesadas.
El Resultado: Su fórmula mostró que la versión más pequeña de estas curvas específicas tiene un peso tan masivo (alrededor de $10^{21}$ ) que fue imposible para la búsqueda informática anterior encontrarlas. Es como buscar una aguja en un pajar, pero la aguja es en realidad una viga de acero gigante escondida bajo una montaña. El artículo explica por qué no se encontró: era simplemente demasiado grande para el rango de búsqueda.

5. La "Densidad" de la Biblioteca

Finalmente, los autores analizaron la proporción de libros "únicos" frente a libros "duplicados".

El Hallazgo: Calcularon que aproximadamente el 99.9% de las curvas de su lista "no calibrada" son en realidad representantes únicos. El otro 0.1% son solo duplicados (giros) de la misma forma subyacente.
La Conclusión: Si eliges una curva al azar de la biblioteca, es casi seguro que sea una forma única y no una copia de otra.

Resumen

En resumen, este artículo es un catálogo maestro para las curvas elípticas. Los autores:

Crearon fórmulas precisas para contar cuántas curvas existen por debajo de un cierto tamaño.
Demostraron que todas las curvas con una identidad específica son solo versiones "estiradas" de dos diminutos coches "semilla".
Explicaron por qué ciertas curvas "mágicas" y raras faltaban en búsquedas informáticas previas (porque son astronómicamente grandes).
Proporcionaron el código y los datos para que cualquiera pueda verificar estos conteos, convirtiendo efectivamente un juego de adivinanzas en una ciencia precisa.

Resumen Técnico: Conteo de Curvas Elípticas sobre $\mathbb{Q}$ con Altura Naive Acotada

Planteamiento del Problema
Este artículo aborda el problema de contar curvas elípticas sobre los números racionales $\mathbb{Q}$ , ordenadas por su "altura naive" (altura ingenua). Específicamente, los autores consideran curvas en la forma de Weierstrass corta $E_{A,B}: y^2 = x^3 + Ax + B$ con coeficientes enteros $A, B \in \mathbb{Z}$ . El estudio se centra en dos normalizaciones principales de la altura naive ampliamente utilizadas en la estadística aritmética: la altura naive calibrada, $H_{\text{cal}}(E_{A,B}) := \max\{4|A|^3, 27B^2\}$ , y la altura naive no calibrada, $H_{\text{ncal}}(E_{A,B}) := \max\{|A|^3, B^2\}$ .

Los autores pretenden proporcionar fórmulas exactas y asintóticas para el número de tales curvas dentro de un límite de altura $X$ a través de varias familias:

La familia global de todas estas curvas (tanto modelos mínimos como no mínimos).
Subfamilias con un $j$ -invariante fijo.
Subfamilias de curvas con Multiplicación Compleja (CM).

Un desafío específico abordado es la distribución de curvas con $j$ -invariantes fijos donde $j \in \mathbb{Q} \setminus \{0, 1728\}$ . Trabajos previos (por ejemplo, [BSCM25]) habían establecido fórmulas asintóticas para $j=0$ y $j=1728$ , pero solo podían proporcionar un límite superior de $O(X^{1/6})$ para otros $j$ -invariantes racionales.

Metodología
Los autores unifican el tratamiento de las alturas calibradas y no calibradas mediante la introducción de una altura naive generalizada $H_{\alpha,\beta}(E_{A,B}) := \max\{\alpha|A|^3, \beta B^2\}$ para parámetros reales arbitrarios $\alpha, \beta \ge 1$ .

Las contribuciones metodológicas centrales involucran:

Parametrización de Familias con $j$ -Invariante Fijo: Los autores derivan una parametrización completamente explícita para la familia de curvas $E_{A,B}$ con un $j$ -invariante fijo $j \in \mathbb{Q} \setminus \{0, 1728\}$ . Demuestran que estas curvas corresponden a puntos enteros en una curva cúbica cuspidal $y^2 = a(j)x^3$ , donde $a(j) = \frac{4(1728-j)}{27j}$ .
Puntos Enteros en Cúbicas Cuspidales: Una herramienta técnica clave es la Proposición 3.1, que proporciona una fórmula exacta para el número de puntos enteros en una cúbica cuspidal dentro de una caja rectangular. Esto se basa en una biyección entre el conjunto de puntos enteros y un conjunto escalado de enteros $m \in \mathbb{Z} \setminus \{0\}$ .
Descomposición de Giros (Twist): Los autores utilizan la descomposición de la familia de todas las curvas $\tilde{E}$ en giros de modelos mínimos $E$ . Específicamente, cualquier curva $E_{A',B'}$ puede escribirse de forma única como $d * E_{A,B}$ (donde $d$ es un entero y $E_{A,B}$ es un modelo mínimo) de tal manera que la altura escala por $d^{12}$ . Esto permite el uso de la inversión de Möbius para relacionar el conteo de todas las curvas con el conteo de modelos mínimos (clases de isomorfismo).
Análisis Asintótico: Al combinar los conteos exactos de puntos enteros con la densidad de enteros sin factores primos cuadrados (vía la función de Möbius) y de enteros $k$ -libres, los autores derivan expansiones asintóticas precisas, incluyendo términos de error.

Contribuciones Clave y Resultados

Fórmulas de Conteo Global: El artículo proporciona fórmulas exactas y asintóticas para el número total de curvas en las familias $\tilde{E}$ (todos los modelos integrales) y $E$ (modelos mínimos) ordenadas por $H_{\alpha,\beta}$ .
- Para modelos mínimos, el conteo asintótico es $\frac{4}{\alpha^{1/3}\beta^{1/2}\zeta(10)}X^{5/6} + O(X^{1/2})$ .
- Esto unifica y extiende los resultados previos de Brumer (para altura no calibrada) y Poonen/Balakrishnan et al. (para altura calibrada).
Fórmulas de $j$ -Invariante Fijo: Los autores proporcionan el primer término principal asintótico explícito para curvas con un $j$ -invariante fijo $j \in \mathbb{Q} \setminus \{0, 1728\}$ .
- Prueban que el número de modelos mínimos es $\frac{2c(j; H_{\alpha,\beta})}{\zeta(2)}X^{1/6} + O(X^{1/12})$ , donde $c(j; H_{\alpha,\beta})$ es una constante explícita que depende de $j$ y de la normalización de la altura.
- Esto mejora el límite previo de $O(X^{1/6})$ , proporcionando un coeficiente principal computable.
- Para $j=0$ y $j=1728$ , las fórmulas se refinan para incluir constantes explícitas y términos de error $O(X^{1/12})$ .
Conteos de Multiplicación Compleja (CM): Al sumar los resultados sobre los trece $j$ -invariantes CM conocidos, los autores derivan fórmulas exactas y asintóticas para el número de curvas elípticas CM.
- La expansión asintótica para modelos CM mínimos incluye tres términos: $O(X^{1/2})$ (desde $j=0$ ), $O(X^{1/3})$ (desde $j=1728$ ) y $O(X^{1/6})$ (desde otros $j$ -invariantes CM).
- El artículo calcula explícitamente la constante para el término $X^{1/6}$ , denotada como $K(\alpha, \beta)$ .
Parametrización Explícita y Modelos Mínimos: El artículo proporciona una parametrización constructiva $A(m), B(m)$ para todas las curvas con un $j$ -invariante fijo. Esta parametrización identifica las dos curvas de altura naive mínima (correspondientes a $m = \pm 1$ ) y describe todas las demás curvas en la familia como giros cuadráticos de estos modelos mínimos.
- Ejemplo: Para la orden CM con discriminante $-163$, las curvas de altura mínima tienen una altura calibrada de aproximadamente $2.63 \times 10^{21}$ . Esto explica por qué búsquedas computacionales exhaustivas previas hasta $10^{10}$ no encontraron tales curvas.
Densidad Asintótica: El artículo calcula la densidad asintótica de modelos mínimos dentro del conjunto de todos los modelos integrales.
- Para la familia global, la densidad es $1/\zeta(10) \approx 99.9\%$ .
- Para $j$ -invariantes fijos ( $j \neq 0, 1728$ ), la densidad es $1/\zeta(2) \approx 60.8\%$ .

Verificación y Datos
Los autores verifican sus fórmulas teóricas contra búsquedas computacionales exhaustivas para límites de altura pequeños. También proporcionan datos numéricos extensos para curvas CM hasta una altura de $10^{30}$ , computados utilizando sus fórmulas exactas en lugar de enumeración por fuerza bruta. Estos datos incluyen tablas de representantes de altura mínima para los trece $j$ -invariantes CM y conteos de curvas para varios límites de altura.

Significado
El artículo afirma su importancia al proporcionar un marco unificado para contar curvas elípticas bajo diferentes normalizaciones de altura. Su principal avance teórico es la derivación de fórmulas asintóticas explícitas para curvas con $j$ -invariantes fijos (excluyendo 0 y 1728), un problema que anteriormente se limitaba a límites superiores. Además, la parametrización explícita de las familias con $j$ -invariante fijo permite la identificación de modelos mínimos y explica las discrepancias entre las predicciones teóricas y las búsquedas computacionales para curvas CM de alta altura. La inclusión de código SageMath y extensas tablas numéricas sirve como complemento computacional a los resultados teóricos, facilitando la investigación posterior en estadística aritmética.