Superspecial generalized Howe curves of genus 4, 5, and 6 with completely decomposable Jacobians

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la teoría de números y la geometría algebraica: la existencia de curvas superspeciales de género $g$ en una característica $p > 0$.

• Definición: Una curva es superspecial si su variedad de Jacobiana es isomorfa (como variedad abeliana no polarizada) a un producto de curvas elípticas supersingulares.
• Estado actual: El problema está completamente resuelto para géneros $g \leq 3$. Sin embargo, para $g \geq 4$, la existencia sigue siendo un problema abierto en general, debido a la dificultad de que las variedades abelianas de dimensión $g \geq 4$ no sean necesariamente Jacobianas.
• Objetivo: El autor se centra en demostrar la existencia de curvas superspeciales para géneros $g \in \{4, 5, 6\}$ en un amplio rango de características primas $p$, específicamente hasta $p < 10^6$ para $g=4$ y $p < 10^5$ para $g=5, 6$.

2. Metodología

El enfoque principal del artículo es restringir la búsqueda a una subclase específica de curvas conocidas como curvas de Howe generalizadas, con la propiedad adicional de que sus Jacobianas son completamente descomponibles (isógenas a un producto de curvas elípticas).

A. Reducción de la Superspecialidad

El método se basa en el teorema de Katsura-Takashima (Teorema 2.6), que establece que la Jacobiana de una curva de Howe generalizada $H$ (obtenida como la desingularización del producto fibrado de dos curvas hiperbólicas $C_1$ y $C_2$) es isógena al producto de las Jacobianas de $C_1$, $C_2$ y una tercera curva $C_3$.

• Condición clave: $H$ es superspecial si y solo si $C_1$, $C_2$ y $C_3$ son superspeciales.
• Innovación: En lugar de buscar curvas de género 2 superspeciales arbitrarias (lo cual es costoso computacionalmente), el autor selecciona modelos específicos donde $C_1, C_2, C_3$ son curvas de género 2 cuyas Jacobianas se descomponen en productos de curvas elípticas.
• Simplificación final: Esto reduce el problema de encontrar una curva superspecial de género 4, 5 o 6 a encontrar un conjunto de curvas elípticas supersingulares que satisfagan ciertas relaciones algebraicas.

B. Construcción Específica por Género

1. Género 4 (Curvas $X_{s,t}$):

   • Se consideran dos curvas elípticas $E_1$ e $E_2$ que comparten un punto de Weierstrass.
   • La curva resultante $X_{s,t}$ tiene una Jacobiana isógena a $E_1 \times E_2 \times J(C_3)$.
   • Al elegir modelos específicos, $J(C_3)$ se descompone en dos curvas elípticas $E_3$ y $E_4$.
   • Resultado: $X_{s,t}$ es superspecial si y solo si $E_1, E_3, E_4$ son supersingulares.
   • Algoritmo 3.4: Itera sobre pares de invariantes $j$ supersingulares para construir los parámetros $s, t$.

2. Género 5 (Curvas $Y_{s,t}$):

   • Se utilizan dos curvas de género 2 ($C_1, C_2$) que comparten 4 puntos de Weierstrass, ambas pertenecientes a la "Caso 3" de la clasificación de Igusa (simetría $D_4$).
   • La Jacobiana se descompone en $E_1^2 \times E_2^2 \times E_3$.
   • Algoritmo 4.3: En lugar de buscar raíces de polinomios costosos, el método resuelve ecuaciones para obtener $s, t$ a partir de invariantes $j$ supersingulares de $E_1$ y $E_2$, verificando luego la supersingularidad de $E_3$.

3. Género 6 (Curvas $Z_{s,t}$):

   • Se utilizan curvas de género 2 compartiendo 3 puntos de Weierstrass, pertenecientes al "Caso 2" (simetría $S_3$).
   • La Jacobiana se descompone en $E_1^2 \times E_2^2 \times E_3^2$.
   • Algoritmo 5.4: Similar al caso de género 5, pero utilizando invariantes $j$ y verificando la supersingularidad de la tercera curva elíptica derivada.

3. Contribuciones Clave

1. Algoritmos Eficientes: Se proponen algoritmos computacionales (3.4, 4.3, 5.4) que son significativamente más rápidos que los métodos anteriores (como el de Kudo-Harashita-Howe, 2020). La eficiencia se logra al reducir la búsqueda a curvas elípticas supersingulares en lugar de curvas de género 2 genéricas.
2. Descomposición Completa: Se demuestra explícitamente cómo restringir la búsqueda a curvas de Howe con Jacobianas completamente descomponibles, facilitando la verificación de la superspecialidad.
3. Extensión de Rangos: Se extienden los límites de existencia conocidos para curvas superspeciales a rangos de primos mucho mayores que los anteriores.

4. Resultados Computacionales

El autor implementó los algoritmos en el sistema Magma y ejecutó experimentos en un servidor de alto rendimiento.

• Género 4:

  • Se confirmó la existencia de curvas superspeciales para todas las primas $p$ en el rango $7 < p < 10^6$, excepto posiblemente para $p \in \{13, 19, 73\}$ (donde el algoritmo no encontró solución, aunque la existencia teórica para $p \equiv 5 \pmod 6$ está garantizada).
  • Rendimiento: El algoritmo fue aproximadamente 1,400 veces más rápido que el método anterior de Kudo-Harashita-Howe para el rango $7 < p < 20,000$ (29.7 segundos vs 11.5 horas).

• Género 5:

  • Se demostró la existencia para todas las primas $7 \leq p < 10^5$, excepto posiblemente $p=13$ y un conjunto de primas específicas donde se requirió una construcción manual adicional.
  • El tiempo total de cálculo fue de aproximadamente 15.5 horas.

• Género 6:

  • Se demostró la existencia para todas las primas $7 < p < 10^5$, con excepciones similares a las del género 5 que fueron resueltas mediante construcciones manuales.
  • El tiempo total de cálculo fue de aproximadamente 22.1 horas.

Tabla de Resumen de Existencia (Teoremas 1.1, 1.2, 1.3):

• Género 4: Existe para $7 < p < 10^6$ (con excepciones menores en primas específicas).
• Género 5: Existe para $7 \leq p < 10^5$ (con excepciones menores).
• Género 6: Existe para $7 < p < 10^5$ (con excepciones menores).
• Nota: La existencia para $(g,p) = (5, 13)$ y $(6, 7)$ sigue siendo un problema abierto.

5. Significado e Impacto

• Avance en el Problema Abierto: Este trabajo cierra significativamente la brecha en el conocimiento sobre la existencia de curvas superspeciales para $g \geq 4$, proporcionando evidencia computacional robusta en un rango de características mucho mayor que cualquier estudio previo.
• Eficiencia Computacional: La reducción del problema a la supersingularidad de curvas elípticas demuestra que las técnicas de búsqueda exhaustiva sobre curvas de género superior pueden ser optimizadas drásticamente mediante el uso de simetrías y descomposiciones algebraicas.
• Aplicaciones: Las curvas superspeciales son fundamentales en:
  • Criptografía basada en isogenias: Donde la estructura del grupo de torsión y la supersingularidad son cruciales para la seguridad.
  • Códigos algebraico-geométricos: Para la construcción de códigos con buenos parámetros.
  • Geometría Aritmética: Para el estudio de variedades abelianas y sus módulos.

En conclusión, el artículo de Ohashi proporciona una metodología eficiente y resultados computacionales extensos que confirman la abundancia de curvas superspeciales de géneros 4, 5 y 6, transformando un problema teórico difícil en uno manejable mediante la restricción inteligente a curvas de Howe con Jacobianas descomponibles.