Isolated points on modular curves

Aquí presento un resumen técnico detallado del artículo "Puntos aislados en curvas modulares" (Isolated points on modular curves) de Kenji Terao, estructurado según los componentes solicitados.

1. El Problema

El artículo aborda el estudio de los puntos aislados en curvas modulares $X_H$, donde $H$ es un subgrupo de $GL_2(\mathbb{Z}/n\mathbb{Z})$ (o equivalentemente, un subgrupo abierto de $GL_2(\widehat{\mathbb{Z}})$).

• Contexto: Basándose en el teorema de Faltings y trabajos posteriores de Abramovich, Harris, Bourdon, Ejder, Liu, Odumodu y Viray, se sabe que una curva irreducible geométricamente definida sobre un cuerpo de números tiene infinitos puntos de un grado dado $d$ si y solo si esos puntos pertenecen a familias parametrizadas por $\mathbb{P}^1$ (pullbacks de puntos racionales de $\mathbb{P}^1$) o por subvariedades abelianas de rango positivo (AV-parametrizadas).
• Definición: Los puntos que no pertenecen a estas familias infinitas se denominan puntos aislados. Estos se consideran "excepcionales" porque su existencia no está justificada por las propiedades geométricas generales de la curva.
• Brecha de conocimiento: La literatura previa se ha centrado casi exclusivamente en las curvas modulares $X_1(n)$. Sin embargo, existen muchas otras familias importantes de curvas modulares (como $X_0(n)$, $X_s(p)$, $X_{ns}(p)$) definidas por subgrupos $H$ de $GL_2(\mathbb{Z}/n\mathbb{Z})$. El desafío es desarrollar una teoría unificada para estudiar puntos aislados en estas familias más generales, especialmente considerando que muchas curvas modulares $X_H$ pueden ser geométricamente desconectadas, lo que complica la aplicación directa de los teoremas existentes.

2. Metodología

El autor desarrolla un marco teórico y algorítmico en tres etapas principales:

A. Teoría de Divisores Aislados en Variedades Desconectadas

El primer paso técnico es generalizar la noción de "punto aislado" a divisores aislados en variedades proyectivas suaves que pueden ser geométricamente desconectadas.

• Se define un divisor efectivo $D$ como aislado si no es $P^1$-parametrizado (no hay otro divisor con la misma imagen bajo el mapa de Abel) ni $AV$-parametrizado (su imagen no está contenida en una traslación de una subvariedad abeliana de rango positivo).
• Se utiliza la factorización de Stein ($X \to \text{Spec } K \to \text{Spec } k$) para relacionar los esquemas de divisores y Picard de una variedad desconectada con los de su componente geométricamente integral base.
• Se demuestran teoremas de mapeo para divisores aislados bajo morfismos finitos, estableciendo condiciones de grado precisas para preservar o transferir la propiedad de "aislamiento".

B. Teorema del "Single-Sink" (Única Sumidero)

Este es el resultado central teórico. Establece que la existencia de un punto aislado con un invariante $j$ dado en cualquier curva modular $X_H$ puede rastrearse de vuelta a un único punto aislado en una curva específica $X_G$.

• Mecanismo: Dado un punto aislado $x \in X_H$ con invariante $j$, se considera la imagen $G$ de la representación de Galois adélica de la curva elíptica asociada. El teorema prueba que existe un punto aislado $y$ en la curva modular $X_G$ con el mismo invariante $j$ y definido sobre el mismo cuerpo.
• Implicación: Esto reduce el problema de buscar puntos aislados en una familia infinita de curvas a buscarlos en una sola curva $X_G$ determinada por la imagen de Galois.

C. Estrategia Uniforme de Clasificación

El autor propone un algoritmo de tres pasos para clasificar puntos aislados en una familia de curvas modulares con invariantes $j$ en un conjunto $J$:

1. Restricción de $j$: Utilizar generalizaciones del teorema del "single-sink" y resultados sobre imágenes de Galois para reducir el conjunto infinito $J$ a un subconjunto finito $J'$ de invariantes $j$ candidatos.
2. Restricción de Curvas: Para cada $j \in J'$, utilizar teoremas duales para reducir el conjunto de curvas a considerar a un subconjunto finito $S_j$ de curvas de nivel acotado.
3. Verificación Ad-hoc: Para cada par $(j, C)$ en el conjunto reducido, verificar computacionalmente si los puntos son aislados (calculando dimensiones de espacios de Riemann-Roch y rangos de Mordell-Weil).

3. Contribuciones Clave

1. Teoría de Divisores Aislados: Desarrollo de una teoría robusta para puntos y divisores en variedades geométricamente desconectadas, llenando un vacío en la literatura algebraica.
2. Teorema del Single-Sink: Una herramienta poderosa que unifica el estudio de puntos aislados, demostrando que todos los puntos aislados con un invariante $j$ dado "fluyen" hacia un único punto en una curva modular canónica asociada a la imagen de Galois.
3. Generalización de Técnicas: Extensión de los métodos desarrollados para $X_1(n)$ a curvas modulares generales $X_H$, permitiendo el estudio de familias como $X_0(n)$ y curvas de nivel fijo.
4. Implementación Computacional: Uso de sistemas de álgebra computacional (Magma) para manejar la complejidad de los grupos de Galois y las curvas modulares, incluyendo la construcción de "grafos de aislamiento" para visualizar las relaciones entre puntos.

4. Resultados Principales

El artículo aplica la metodología propuesta a dos casos de estudio concretos:

A. Curvas Modulares de Nivel 7

Se clasifican todos los puntos aislados no cuspidales y no con multiplicación compleja (non-CM) con invariante $j$ racional en curvas de nivel 7.

• Resultado: Se demuestra que el único invariante $j$ posible es $j = \frac{3^3 \cdot 5 \cdot 7^5}{2^7}$.
• Clasificación: Se identifican 9 clases de conjugación de subgrupos $H$ y se determina la estructura exacta de los puntos aislados correspondientes (ver Tabla 1 del artículo).
• Método: Se utilizó un "grafo de aislamiento" cuotientado por acciones de conjugación para reducir 12,690 puntos candidatos a un solo punto crítico en la curva $X(7)$, cuya aislamiento se verificó explícitamente.

B. Curvas Modulares $X_0(n)$

Se presenta una clasificación condicional de los puntos aislados no cuspidales y no-CM con invariante $j$ racional en las curvas $X_0(n)$.

• Conjetura: El resultado asume la Conjetura 7.4 de Zywina sobre las imágenes de las representaciones de Galois adélicas de curvas elípticas sobre $\mathbb{Q}$.
• Resultado: Bajo esta conjetura, se identifica un conjunto finito de 16 invariantes $j$ (listados en la Tabla 3) que pueden corresponder a puntos aislados.
• Detalle: Para cada invariante, se identifica la curva $X_0(n)$ mínima donde aparece el punto aislado. Por ejemplo, para $j = -121$, el punto aparece en $X_0(11)$; para $j = -9317$, aparece en $X_0(37)$.
• Limitación: No se clasifica en qué otras curvas $X_0(m)$ (con $m$ múltiplo de $n$) pueden aparecer estos puntos, ya que eso requiere un análisis adicional de la estructura de las imágenes de Galois.

5. Significado e Impacto

• Unificación Teórica: El trabajo proporciona un marco unificado para estudiar puntos excepcionales en diversas familias de curvas modulares, superando la dependencia de tratar cada familia ($X_1(n)$, $X_0(n)$, etc.) de forma aislada.
• Conexión con el Programa B de Mazur: El teorema del "single-sink" establece un vínculo directo entre la clasificación de puntos aislados y el problema de determinar las imágenes posibles de las representaciones de Galois de curvas elípticas (Programa B de Mazur). Esto permite transferir resultados existentes sobre imágenes de Galois directamente al problema de puntos aislados.
• Herramienta Computacional: La estrategia propuesta ofrece un camino viable para atacar problemas de clasificación en niveles más altos o familias más complejas, donde los métodos anteriores eran insuficientes.
• Nuevas Direcciones: La teoría de divisores aislados en variedades desconectadas abre la puerta a futuras investigaciones en variedades de dimensión superior y otros contextos geométricos donde la desconexión geométrica es común.

En resumen, el artículo de Terao representa un avance significativo en la teoría de números algebraica y la geometría aritmética, proporcionando tanto herramientas teóricas profundas como una metodología práctica para resolver problemas de clasificación de puntos en curvas modulares.