Weber modular curves and modular isogenies

Aquí presento un resumen técnico detallado del artículo "Weber Modular Curves and Modular Isogenies" de Leonardo Colò y David Kohel, estructurado según los puntos solicitados.

1. Problema y Contexto

El trabajo aborda dos desafíos principales en la teoría de números y la criptografía basada en isogenias:

• Eficiencia Computacional: El cálculo explícito de isogenias entre curvas elípticas (especialmente para curvas supersingulares) depende de polinomios modulares. Los polinomios modulares clásicos (definidos sobre la función $j$) tienen coeficientes muy grandes y una alta densidad de términos, lo que los hace computacionalmente costosos para algoritmos criptográficos como SIDH/CSIDH.
• Representaciones de Galois y Estructura de Niveles: Existe una necesidad de comprender mejor las estructuras de nivel superior (específicamente niveles compuestos con altas potencias de 2 y 3) para estudiar grafos de isogenias supersingulares y construir representaciones de Galois asociadas a formas modulares. Los métodos actuales a menudo se limitan a niveles primos o niveles bajos donde las curvas modulares tienen género 0.

2. Metodología

Los autores emplean un enfoque que combina la teoría de curvas modulares, funciones modulares explícitas y geometría algebraica:

• Funciones de Weber: Se centran en las funciones modulares de Weber de nivel 48 ($f, f_1, f_2$), definidas como cocientes de la función eta de Dedekind. Estas funciones generan un recubrimiento de grado 72 sobre la línea $j$.
• Construcción de Curvas Modulares: Definen modelos explícitos de curvas modulares ($W_n$) y sus cocientes ($X_n$) utilizando las funciones de Weber normalizadas. Estas curvas se embeben en espacios proyectivos y se relacionan con curvas de Fermat ($F_n$).
• Análisis de Simetría y Acción de Grupos: Estudian la acción del grupo modular $SL_2(\mathbb{Z})$ (y su cociente $PSL_2(\mathbb{Z})$) sobre las triples de funciones de Weber. Analizan los subgrupos de congruencia (como $\Gamma(2)$, $\Gamma(4)$, $\Gamma_s(8)$) que definen el núcleo de estas acciones.
• Polinomios Modulares Esparsos: Derivan polinomios modulares $\Phi_\ell(x, y)$ específicos para las funciones de Weber. Utilizan propiedades de simetría (raíces de la unidad) para demostrar que estos polinomios tienen una estructura "esparcida" (muchos coeficientes son cero).
• Estudio de Puntos Supersingulares: Analizan la definición de los puntos supersingulares sobre cuerpos finitos, específicamente investigando si se descomponen completamente sobre $\mathbb{F}_{p^2}$.

3. Contribuciones Clave

A. Polinomios Modulares de Weber

• Reducción de Altura y Esparsidad: Demuestran que los polinomios modulares definidos por las funciones de Weber tienen coeficientes significativamente más pequeños (reducción de altura de un factor de 72 en comparación con los polinomios de clase) y son mucho más esparcidos.
• Condición de Esparsidad: Establecen que el coeficiente del monomio $x^i y^j$ en el polinomio $\Phi_\ell(x, y)$ es no nulo solo si $i + \ell j \equiv \ell + 1 \pmod{24}$. Esto reduce drásticamente el número de términos no nulos (de orden $(\ell+1)^2$ a $(\ell+1)^2/24$).
• Ejemplos Explícitos: Proporcionan los polinomios explícitos para primos pequeños (como $\ell=5, 7, 11, 13$) y muestran cómo se comportan para $\ell=2$ y $\ell=3$, que son críticos para las cadenas de isogenias.

B. Geometría de las Curvas de Weber

• Modelos Explícitos: Definen curvas $W_n$ en $\mathbb{P}^3$ dadas por ecuaciones como $X_0^n + X_1^n + X_2^n = 0$ y $X_0 X_1 X_2 = \sqrt{2}^m X_3^3$.
• Isomorfismo con Curvas de Fermat: Establecen isomorfismos entre las curvas de Weber $W_n$ y las curvas de Fermat $F_n$ para divisores de 8, proporcionando parametrizaciones explícitas de familias de curvas elípticas sobre estas curvas.
• Estructura de Galois: Describen el grupo de Galois del recubrimiento $W_{24} \to X(1)$, identificándolo como un grupo finito de orden 1152 ($S_3 \ltimes D$), donde $D$ es un grupo abeliano de matrices diagonales.

C. Cadenas de Isogenias y Criptografía

• Cadenas de Isogenias 2: Construyen cadenas explícitas de isogenias de grado 2 sobre las curvas de Fermat/Weber, proporcionando fórmulas cerradas para los mapas de isogenia y las curvas objetivo.
• Aplicación a CSIDH: Señalan que la estructura de nivel 48 es particularmente adecuada para la navegación en grafos de isogenias supersingulares. A diferencia de SIDH (nivel 1), el protocolo CSIDH ya utiliza estructuras de nivel 4; las curvas de Weber permiten trabajar directamente con invariantes supersingulares que se descomponen completamente sobre $\mathbb{F}_{p^2}$, eliminando la necesidad de extensiones de base adicionales.

D. Representaciones de Galois

• Módulos de Hecke Supersingulares: Utilizan el método de grafos de Mestre para construir módulos de Hecke supersingulares sobre estas curvas de nivel alto.
• Factores Pseudo-Elípticos: Enumeran y cuentan los "factores pseudo-elípticos" (espacios propios donde los operadores de Hecke actúan por escalar) asociados a niveles $N = mp$ (donde $m$ es una potencia alta de 2 o 3). Esto permite recopilar datos sobre curvas elípticas modulares con conductores que exceden los límites típicos de bases de datos como el LMFDB.

4. Resultados Principales

• Teorema 13: Los invariantes supersingulares en la curva de Weber $W_{24}$ están definidos sobre $\mathbb{F}_{p^2}$. Esto es crucial porque garantiza que no se requiere ninguna extensión de cuerpo adicional para definir las isogenias supersingulares en este contexto, facilitando su uso en criptografía.
• Eficiencia Computacional: Los polinomios modulares de Weber son significativamente más pequeños y rápidos de evaluar que los polinomios clásicos de $j$, lo que mejora la eficiencia en la computación de isogenias.
• Datos Estadísticos: La Tabla 1 del artículo presenta conteos de factores pseudo-elípticos para diversos niveles ($X_n$ y $Y_n$). Se observa que para niveles altos (ej. $288p$ o $256p$), el número de órbitas es comparable o mayor que el de curvas elípticas de nivel primo en el mismo rango, revelando una riqueza de estructuras que antes era difícil de explorar sistemáticamente.
• Relación con Curvas de Fermat: Se demuestra que las curvas de Weber de ciertos niveles son isomorfas a curvas de Fermat, lo que permite transferir propiedades geométricas y parametrizaciones entre ambos objetos.

5. Significado e Impacto

• Criptografía Post-Cuántica: Este trabajo proporciona herramientas teóricas y prácticas para mejorar la eficiencia de los protocolos de criptografía basados en isogenias (como CSIDH y sus variantes). La capacidad de trabajar con polinomios más pequeños y curvas donde los puntos supersingulares se comportan bien sobre $\mathbb{F}_{p^2}$ es un avance directo para la optimización de estos sistemas.
• Teoría de Números: Abre nuevas vías para el estudio de representaciones de Galois y formas modulares en niveles compuestos altos (especialmente con factores de 2 y 3), permitiendo explorar regiones del espacio de moduli que eran inaccesibles debido a la complejidad computacional de los polinomios modulares tradicionales.
• Modelos Explícitos: La provisión de modelos explícitos para curvas de nivel 48 y sus cocientes llena un vacío en la literatura, ofreciendo un marco unificado para estudiar la acción del grupo modular y las isogenias en contextos de alta simetría.

En resumen, el artículo conecta la teoría profunda de las curvas modulares y las funciones de Weber con aplicaciones prácticas en criptografía y computación de formas modulares, demostrando que el uso de estructuras de nivel alto bien elegidas puede ofrecer ventajas significativas tanto en eficiencia computacional como en la capacidad de exploración teórica.