On superspecial hyperelliptic curves of genus 5 whose automorphism groups contain $(\mathbb{Z}/2\mathbb{Z})^3$

Aquí presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Resumen Técnico: Curvas Hiperelípticas Superspeciales de Género 5

Título: Curvas hiperelípticas superspeciales de género 5 cuyos grupos de automorfismos contienen $(\mathbb{Z}/2\mathbb{Z})^3$.
Autores: Ryo Ohashi y Momonari Kudo.

1. El Problema

El conteo y la enumeración de curvas superspeciales de género $g$ sobre cuerpos finitos es un problema fundamental en geometría algebraica y criptografía post-cuántica (específicamente en criptografía basada en isogenias).

• Estado del arte: Las curvas superspeciales de género $g \le 3$ están completamente clasificadas. Para $g=4$, existen algoritmos computacionales avanzados, especialmente para curvas hiperelípticas con grandes grupos de automorfismos.
• El vacío: Para géneros superiores ($g \ge 5$), el conocimiento es escaso. No existen algoritmos generales eficientes para enumerar curvas superspeciales de género 5.
• Objetivo específico: Este trabajo se centra en construir un algoritmo factible para enumerar curvas hiperelípticas superspeciales de género 5 cuyo grupo de automorfismos contiene al grupo $(\mathbb{Z}/2\mathbb{Z})^3$.

2. Metodología

Los autores desarrollan un enfoque basado en la descomposición de la variedad Jacobiana de las curvas objetivo.

• Clasificación de Curvas: Se estudian curvas hiperelípticas de género 5 definidas sobre un cuerpo algebraicamente cerrado $k$ de característica $p > 11$. Se enfocan en la familia de curvas dadas por la ecuación:
  $$H_{a,b,c}: y^2 = (x^4 + ax^2 + 1)(x^4 + bx^2 + 1)(x^4 + cx^2 + 1)$$
  donde $a, b, c$ son parámetros distintos y no iguales a $\pm 2$. Esta forma garantiza que el grupo de automorfismos contenga un subgrupo isomorfo a $C_2^3 \cong (\mathbb{Z}/2\mathbb{Z})^3$.

• Descomposición de la Jacobiana (Teorema 3.2):
  El núcleo de la metodología es demostrar que la Jacobiana de $H_{a,b,c}$ es isógena (vía isogenia de Richelot) al producto de tres curvas elípticas ($E_1, E_2, E_3$) y una curva de género 2 ($C$).
  $$Jac(H_{a,b,c}) \sim E_1 \times E_2 \times E_3 \times Jac(C)$$
  Donde $E_i$ y $C$ están definidos en términos de parámetros transformados $\lambda, \mu, \nu$ derivados de $a, b, c$.

• Criterio de Superspecialidad (Corolario 3.3):
  Una curva $H_{a,b,c}$ es superspecial si y solo si:

  1. Las tres curvas elípticas $E_1, E_2, E_3$ son supersingulares.
  2. La curva de género 2 $C$ es superspecial.
     Esto reduce el problema de género 5 a problemas de género 1 y 2, que son computacionalmente manejables.

• Análisis de Casos Especiales:
  Se analizan subcasos donde el grupo de automorfismos es más grande que $C_2^3$ (Tipos 7, 9, 10, 11, 12, 15 en la clasificación de la Tabla 1). En estos casos, la Jacobiana se descompone completamente en un producto de cinco curvas elípticas, simplificando aún más las condiciones de superspecialidad.

• Algoritmos Propuestos:
  Se diseñan cuatro algoritmos principales (Algoritmos 1-4) para cubrir el caso genérico y los casos especiales:

  • Algoritmo 1 (Caso Genérico): Enumera curvas de género 2 superspeciales (forma de Rosenhain), verifica la supersingularidad de las elípticas asociadas y reconstruye los parámetros $a, b, c$. Utiliza un criterio de isomorfismo basado en el Teorema 4.5 para evitar duplicados.
  • Algoritmos 2-4 (Casos Especiales): Utilizan invariantes $j$ de curvas elípticas supersingulares y series hipergeométricas truncadas (para el caso con $D_{12}$) para encontrar los parámetros necesarios directamente.

• Complejidad:
  Todos los cálculos se realizan sobre $\mathbb{F}_{p^2}$. La complejidad del algoritmo principal (caso genérico) es $\tilde{O}(p^3)$, mientras que los casos especiales tienen una complejidad esperada de $\tilde{O}(p)$.

3. Contribuciones Clave

1. Primer Algoritmo para Género 5: Presentan el primer algoritmo factible para enumerar curvas superspeciales de género 5, superando la barrera computacional de géneros anteriores.
2. Reducción de Dimensionalidad: Demuestran que la superspecialidad de estas curvas de género 5 puede reducirse a la superspecialidad de curvas de género $\le 2$, permitiendo el uso de grafos de isogenias de Richelot ya existentes.
3. Criterios de Isomorfismo: Establecen condiciones precisas (Teorema 4.5) para determinar cuándo dos curvas de la forma $H_{a,b,c}$ son isomorfas, lo cual es crucial para la eficiencia del algoritmo de enumeración.
4. Análisis de Casos Especiales: Proporcionan descomposiciones completas de la Jacobiana para curvas con grupos de automorfismos más grandes, derivando criterios de superspecialidad basados en invariantes $j$ y series hipergeométricas.

4. Resultados Experimentales

Los autores implementaron los algoritmos en el sistema Magma y los ejecutaron para todos los primos $p$ en el rango $11 < p < 1000$.

• Teorema Principal (1.1): Existe una curva hiperelíptica superspecial de género 5 con el grupo de automorfismos requerido para cualquier característica $23 \le p < 1000$, excepto para un conjunto específico de primos:
  $$\{37, 41, 43, 53, 61, 67, 73, 97, 181, 193, 197, 233, 241, 277, 313, 331, 373, 421, 541, 571, 613, 643, 673, 709, 769, 877, 977\}$$
• Datos Cuantitativos: Se presentan tablas detalladas (Tablas 2 y 3) que listan el número de clases de isomorfismo para cada tipo de curva y cada primo $p$.
• Observación: Se detectó un fenómeno interesante: a diferencia del caso de género 4 (donde las curvas existen para casi todos los primos), hay muchos primos en género 5 donde no existen tales curvas superspeciales.

5. Significado e Impacto

• Criptografía Post-Cuántica: Las curvas superspeciales son fundamentales para la construcción de esquemas criptográficos basados en isogenias (como CSIDH o variantes de curvas de género superior). Este trabajo expande el "espacio de búsqueda" de curvas seguras a género 5, lo cual es relevante para aumentar la seguridad o la eficiencia en protocolos futuros.
• Geometría Algebraica Computacional: Proporciona una metodología robusta para abordar problemas de enumeración en variedades de dimensión superior, demostrando que la descomposición de Jacobianas es una herramienta poderosa para reducir la complejidad computacional.
• Futuras Direcciones: Los autores sugieren que para cubrir todos los primos en género 5, será necesario investigar clases más amplias (como curvas trigonales o no hiperelípticas), aunque esto incrementará significativamente la complejidad computacional al requerir curvas superspeciales de género 3.

En resumen, este artículo representa un avance significativo en la comprensión computacional de las curvas algebraicas de género alto, estableciendo un marco algorítmico sólido para la generación y clasificación de curvas superspeciales de género 5.