🔢 mathematics

Morphisms on the modular curve $X_0(p)$ and degree $6$ points

Este artículo estudia los morfismos no constantes de la curva modular $X_0(p)$ hacia curvas de género mayor o igual a 2, clasificando puntos de grado $\leq 25$ y determinando qué curvas $X_0(p)$ poseen infinitos puntos de grado 6 sobre $\mathbb{Q}$ .

Autores originales: Maarten Derickx, Petar Orlić

Publicado 2026-02-12

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Maarten Derickx, Petar Orlić

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

El Mapa de los Caminos Infinitos: Una explicación sencilla

Imagina que las matemáticas son un vasto océano y que cada curva modular (como la $X_0(p)$ de la que habla el texto) es una isla misteriosa en medio de ese océano. Estas islas tienen una forma muy específica y reglas de navegación muy estrictas.

Los matemáticos están obsesionados con una pregunta: ¿Cuántos caminos hay para viajar entre estas islas y cuántos de esos caminos nos permiten visitar la isla "infinitamente" muchas veces?

1. El concepto de "Puntos de Grado $d$ " (Los Pasajeros)

Imagina que quieres viajar a una isla, pero no puedes ir solo. Tienes que ir en un grupo de personas. El "grado" es simplemente el tamaño del grupo.

Un punto de grado 1 es un viajero solitario (un punto racional).
Un punto de grado 6 es un grupo de 6 viajeros que se mueven juntos como una unidad.

La pregunta central del estudio es: ¿En qué islas es posible que existan infinitos grupos de 6 viajeros? En la mayoría de las islas, los grupos de 6 son raros y solo puedes encontrar unos pocos. Pero en algunas islas especiales, ¡hay una fiesta infinita de grupos de 6!

2. Los Morfismos (Los Puentes)

Un "morfismo" es como un puente que conecta una isla con otra. El estudio analiza qué tipo de puentes existen entre la isla $X_0(p)$ y otras islas más pequeñas.

Los autores descubrieron algo asombroso: para casi todas las islas (cuando el nivel $p$ es menor a 3000), solo existe un puente principal y especial. Es como si, en un archipiélago, solo hubiera una única carretera pavimentada que conecta la isla principal con una isla más pequeña llamada $X_0^+(p)$ . Todos los demás caminos son senderos estrechos o simplemente no existen.

3. ¿Cómo encuentran las islas de la "Fiesta Infinita"? (El Filtro)

Para saber si una isla tiene infinitos grupos de 6, los autores usan un proceso de filtrado, como si fueran detectives:

El Filtro de la Geometría (Gonality): Primero miran si la isla es "fácil de navegar". Si la isla es muy compleja y retorcida, es imposible que haya grupos infinitos.
El Filtro de los Puentes (Morfismos): Si la isla tiene un puente hacia una isla más pequeña que sí tiene una fiesta infinita, entonces la isla grande también la tendrá. Es como si la fiesta de una isla pequeña se "reflejara" en la isla grande a través del puente.
El Filtro de la Computación: Como estas islas son tan complejas, no pueden usar solo papel y lápiz. Usan supercomputadoras para "escanear" las islas y verificar si hay sub-estructuras (llamadas variedades abelianas) que permitan que la fiesta continúe.

4. El Gran Resultado (La Lista de Invitados)

Después de mucho trabajo, los autores lograron clasificar casi todas las islas. En el Teorema 1.9, presentan la lista definitiva: nos dicen exactamente qué números $p$ representan islas donde los grupos de 6 viajeros pueden existir infinitamente.

Es como si hubieran terminado de mapear el océano y dijeran: "Si buscas una fiesta de 6 personas, solo ve a estas coordenadas específicas; en todas las demás, te quedarás solo".

5. El Misterio de la Isla 193 (El Caso Pendiente)

Como en toda buena historia de detectives, hay un misterio sin resolver. La isla $p = 193$ es una isla extraña. Los matemáticos han analizado todas las pistas, pero no pueden confirmar si hay una fiesta infinita o si es un desierto solitario. Es el "archivo X" de este estudio.

Resumen para llevar:

Este artículo es un mapa de navegación. Utiliza puentes matemáticos para entender la estructura de curvas muy complejas y determina qué curvas permiten que ciertos tipos de puntos (grupos de 6) aparezcan de forma infinita, usando una combinación de lógica pura y fuerza bruta computacional.

Resumen Técnico: Morfismos en la Curva Modular $X_0(p)$ y Puntos de Grado 6

Problema y Contexto
El estudio de los puntos de bajo grado en curvas modulares es fundamental en la geometría aritmética, ya que estos puntos representan clases de isogenia de curvas elípticas. El problema central de este artículo es clasificar las curvas modulares $X_0(p)$ (donde $p$ es un número primo) que poseen infinitos puntos de grado 6 sobre $\mathbb{Q}$ .

Para entender la existencia de infinitos puntos de grado $d$ , es crucial comprender los morfismos de la curva hacia otras curvas de menor género. El artículo se enfoca en el caso donde el género de la curva objetivo $Y$ es $\geq 2$ , diferenciándose de los casos de género 0 (gonalidad) o género 1 (curvas elípticas), donde la estructura de los morfismos es distinta.

Metodología
Los autores emplean una combinación de métodos teóricos avanzados y computación intensiva (utilizando Magma y SageMath):

Análisis de la Variedad Jacobiana: Utilizan la descomposición isogénica del Jacobiano $J_0(p)$ en variedades abelianas simples. Dado que $p$ es primo, cada factor simple es "nuevo" y aparece con multiplicidad 1, lo que simplifica el conteo de subvariedades abelianas.
Teorema de De Franchis-Severi: Se aplica para garantizar que el número de morfismos no constantes hacia curvas de género $\geq 2$ es finito.
Teorema de Harris-Silverman y de Frey: Utilizan estas herramientas para relacionar la existencia de infinitos puntos de grado $d$ con la gonalidad $\mathbb{Q}$ de la curva.
Criterios de Densidad de Puntos: Emplean el concepto de "grado de densidad mínima" ( $\min(\delta(C/K))$ ) y los resultados de Kadets y Vogt para determinar si una curva puede tener infinitos puntos de un grado específico basándose en su género y en los morfismos que admite.
Computación de Subvariedades: Para $p < 3000$ , los autores enumeran todas las subvariedades abelianas de $J_0(p)$ para verificar si estas pueden ser la imagen del Jacobiano de una curva $Y$ mediante el estudio del núcleo de la polarización inducida ( $\ker \phi_A$ ).

Contribuciones Clave y Resultados

Clasificación de Morfismos (Teoremas 1.3 y 1.4): Los autores demuestran que para $p < 3000$ , cualquier morfismo no constante $f: X_0(p) \to Y$ de grado $d > 1$ hacia una curva de género $\geq 2$ debe ser isomórfico al mapa de cociente por la involución de Atkin-Lehner $w_p$ (es decir, $X_0(p) \to X_0^+(p)$ ). Además, prueban que esto es cierto para casi todos los primos (aproximadamente el 98.9% de los primos menores a $1,000,000$) bajo ciertas condiciones de descomposición del Jacobiano.
Conjetura de Morfismos (Conjetura 1.5): Proponen que para cualquier primo $p$ , el único morfismo de grado $d \geq 2$ hacia una curva de género $\geq 2$ es el mapa de cociente $X_0(p) \to X_0^+(p)$ .
Clasificación de Puntos de Grado 6 (Teorema 1.9): Este es el resultado principal. Determinan que $X_0(p)$ $X_{0} (p)$ tiene infinitos puntos de grado 6 sobre $\mathbb{Q}$ $Q$ si y solo si:
- $p \leq 151$
- $p \in \{163, 167, 179, 181, 191, 227, 239, 269\}$ .
- Nota: El caso $p = 193$ permanece abierto.
Extensión de la Clasificación: El trabajo permite clasificar todos los puntos de grado $\leq 25$ que provienen de mapas a curvas de género $\geq 2$ .

Significancia
Este trabajo llena un vacío importante en la literatura sobre la aritmética de curvas modulares. Al resolver el caso de grado 6, los autores avanzan en la comprensión de la estructura de los puntos de bajo grado en curvas de alto género. La metodología de vincular la estructura de las subvariedades abelianas del Jacobiano con la existencia de morfismos de curvas proporciona un marco robusto para futuros estudios sobre la gonalidad y la densidad de puntos en curvas algebraicas más complejas.