Supersingular isogeny graphs and Hecke modules with level structure

Resumen Técnico del Artículo: "Gráficos de Isogenias Supersingulares y Módulos de Hecke con Estructura de Nivel"

Autores: Leonardo Colò y David Kohel
Fecha: Marzo 2026 (según el preprint arXiv)

1. Planteamiento del Problema

El artículo aborda la necesidad de generalizar el estudio de los gráficos de isogenias supersingulares más allá del caso clásico de nivel 1 (curvas modulares $X(1)$). Aunque estos gráficos han ganado relevancia en criptografía post-cuántica (especialmente en el contexto de la criptografía basada en isogenias), la investigación previa de Mestre, Oesterlé y Pizer se centró principalmente en la construcción explícita de algoritmos locales y en la enumeración de puntos supersingulares bajo la hipótesis de que la característica $p$ es pequeña.

El problema central identificado es la limitación de los métodos actuales para estudiar representaciones de Galois con reducción aditiva y la ineficiencia computacional al trabajar con niveles altos o estructuras de torsión complejas. Los autores buscan extender el enfoque modular a curvas de nivel superior ($X_G$) para:

1. Mejorar la eficiencia computacional mediante la reducción del tamaño de las correspondencias modulares.
2. Permitir el estudio de representaciones de Galois que van más allá de la reducción semiestable.
3. Proporcionar herramientas para la búsqueda (cribado) de variedades abelianas modulares y curvas elípticas con conductores específicos y tipos de reducción prescritos.

2. Metodología

Los autores desarrollan un marco teórico y computacional basado en la teoría de curvas modulares con estructura de nivel definida por subgrupos abiertos de $GL_2(\hat{\mathbb{Z}})$.

• Curvas Elípticas Mejoradas (Enhanced Elliptic Curves): Se define una categoría de pares $(E, B_G)$, donde $E$ es una curva elíptica y $B_G$ es una órbita de bases del subgrupo de torsión $N$-ésima bajo la acción de un subgrupo abierto $G \subset GL_2(\hat{\mathbb{Z}})$. Esto permite identificar los vértices de los gráficos con puntos racionales en curvas modulares $X_G$.
• Gráficos de Isogenias con Nivel: Se generaliza la definición de los gráficos de isogenias $G_S(G, E)$. Los vértices son clases de isomorfismo de curvas elípticas mejoradas, y las aristas representan isogenias de grado primo $\ell$ que respetan la estructura de nivel (es decir, mapean la órbita de la base a otra órbita válida).
• Independencia de Estructuras de Nivel: Se introduce el concepto de independencia entre subgrupos de nivel ($H_1$ y $H_2$). Esto permite descomponer estructuras de nivel compuestas en combinaciones híbridas de estructuras de niveles primos-potencia, facilitando el análisis de cubiertas de curvas modulares.
• Módulos de Hecke y Espacios Nuevos/Viejos: Se define el módulo de divisores supersingulares $M(S_G)$ sobre $\mathbb{Z}$ y se estudian los operadores de Hecke $T_n$ actuando sobre este módulo. Se identifican subespacios "nuevos" (new) y "viejos" (old) mediante morfismos de empuje hacia atrás (pullback) y empuje hacia adelante (pushforward) entre curvas modulares de diferentes niveles.
• Cribado (Sieving): Se propone un método computacional para encontrar factores elípticos en el módulo supersingular calculando los núcleos de operadores de Hecke ($T_\ell - c$) dentro del rango del límite de Hasse-Weil.

3. Contribuciones Clave

1. Generalización Modular: Extienden la teoría de los gráficos de isogenias de Mestre desde $X(1)$ y curvas de nivel primo bajo ($N \in \{2,3,5,7,13\}$) a curvas modulares de nivel arbitrario definidas por subgrupos abiertos de $GL_2(\hat{\mathbb{Z}})$.
2. Eficiencia Computacional: Demuestran que al trabajar en cubiertas de grado $d$ de $X(1)$ (curvas de género 0), el tamaño de las correspondencias modulares se reduce por un factor de $d$. Combinado con la dispersión de monomios, esto ofrece ventajas espectaculares para el cálculo de isogenias y representaciones de Galois, incluso a nivel 1.
3. Estructura de Módulos de Hecke: Establecen la ortogonalidad y la invariancia bajo Hecke de los subespacios "nuevos" y "viejos" en el contexto de estructuras de nivel, conectando esto con la teoría de formas modulares y órdenes de cuaternión (correspondencia de Deuring).
4. Identificación de Monodromía: Relacionan el grupo de monodromía de una variedad abeliana con semiestable reducción en $p$ con el grupo de divisores supersingulares, generalizando resultados de Grothendieck.
5. Descubrimiento de Nuevas Curvas: Proporcionan un método para descubrir curvas elípticas modulares con conductores altos y tipos de reducción específicos (aditiva y multiplicativa) que no están presentes en bases de datos públicas estándar como LMFDB.

4. Resultados Principales

• Ejemplos de Gráficos Distinguidos: Se presentan ejemplos concretos (como las curvas de Cartan no divididas torcidas $X^d_{ns}(2)$) donde diferentes parámetros de torción ($d$) generan gráficos de isogenias no isomorfos, aunque cubran el mismo gráfico base. Se muestran matrices de adyacencia y automorfismos que conmutan con los operadores de Hecke.
• Análisis de Nivel 5: Se estudia el gráfico de isogenias 3-superiores sobre $X(5)$, mostrando cómo un punto supersingular en $X(1)$ se descompone en múltiples puntos en $X(5)$, y se calcula la matriz de adyacencia correspondiente.
• Cribado Exitoso: Mediante el uso de módulos supersingulares con estructura de nivel (específicamente curvas de Weber de nivel 48), los autores identifican una órbita de curvas elípticas con conductor $1,109,088 = 3851 \cdot 2^8$. Estas curvas presentan reducción aditiva en 2 y 3, y reducción multiplicativa en $p=3851$.
• Validación de Representaciones: Se confirma que las trazas de Frobenius calculadas para estas curvas coinciden con las predicciones de las formas modulares asociadas, validando la eficacia del método de cribado para encontrar curvas con ramificación prescrita.

5. Significado e Impacto

Este trabajo es fundamental para la intersección entre la teoría de números computacional y la criptografía:

• Para la Criptografía: Ofrece nuevas perspectivas sobre la estructura de los gráficos de isogenias, lo cual es crucial para evaluar la seguridad de los protocolos basados en isogenias (como SIKE/SIKE, aunque el artículo se enfoca más en la teoría subyacente que en ataques directos). La capacidad de navegar y analizar gráficos con estructura de nivel permite entender mejor las propiedades de mezcla y la rareza de ciclos cortos.
• Para la Teoría de Números: Proporciona una herramienta poderosa para la construcción y clasificación de formas modulares y representaciones de Galois. La capacidad de "cribar" en espacios de dimensión creciente (que crece linealmente con $p$) permite explorar regiones del espacio de conductores que son inaccesibles para los métodos tradicionales de búsqueda en bases de datos.
• Generalización Teórica: La formalización de los gráficos de isogenias sobre curvas modulares de nivel arbitrario cierra la brecha entre los enfoques de cuaterniones (Pizer) y los enfoques modulares (Mestre), permitiendo un tratamiento unificado que aprovecha las ventajas computacionales de ambos.

En resumen, el artículo establece un marco robusto para el estudio computacional y teórico de las isogenias supersingulares en niveles superiores, demostrando su utilidad tanto para la generación de nuevos objetos matemáticos (curvas elípticas con propiedades específicas) como para el análisis profundo de las representaciones de Galois asociadas.