On superspecial hyperelliptic curves of Rosenhain forms

Resumen Técnico: Enumeración de Curvas Hiperelípticas Superspeciales en Formas de Rosenhain

Planteamiento del Problema
El artículo aborda el problema fundamental de determinar el número de clases de isomorfismo de curvas hiperelípticas superspeciales de género-$g$ en una característica dada $p$. Si bien el caso para género $g \le 3$ ha sido resuelto en gran medida, y la existencia de tales curvas para $g \ge 4$ sigue abierta en general, los recuentos específicos para géneros más altos en características pequeñas han sido limitados. El trabajo previo de Kudo y Harashita utilizó computaciones de bases de Gröbner para resolver esto para el género 4 en características hasta 19. Este artículo tiene como objetivo extender estos resultados a géneros 4, 5 y 6 para características $p$ más allá de los rangos previamente cubiertos, específicamente hasta $p=41$.

Metodología
Los autores proponen un nuevo algoritmo (Algoritmo 3.1) para enumerar estas curvas, el cual se basa en una condición necesaria específica derivada para curvas en forma de Rosenhain.

1. Forma de Rosenhain y Condiciones Necesarias:
   El artículo se centra en curvas hiperelípticas definidas por la ecuación de Rosenhain:
   $$C: y^2 = x(x-1) \prod_{i=1}^{2g-1} (x - \lambda_i)$$
   La contribución teórica central es el Teorema 1.3, que establece una condición necesaria para que tal curva sea superspecial en característica $p > 2$. El teorema establece que si $C$ es superspecial, entonces para todo $i, j \in \{1, \dots, 2g-1\}$, los elementos $\lambda_i$, $1-\lambda_i$ y $\lambda_i - \lambda_j$ deben ser cuadrados en el cuerpo finito $\mathbb{F}_{p^2}$.

   • Estrategia de Demostración: La demostración utiliza las propiedades del Jacobiano $J$ de la curva. Demuestra que para una curva superspecial, el subgrupo de 4-torsión $J[4]$ está definido sobre $\mathbb{F}_{p^2}$. Al analizar las representaciones de Mumford de los puntos de 4-torsión y sus puntos medios, los autores muestran que ciertos cocientes cruzados de los puntos de ramificación deben ser cuadrados en $\mathbb{F}_{p^2}$.

2. Algoritmo de Enumeración:
   Basado en el Teorema 1.3, el algoritmo procede de la siguiente manera:

   • Filtrado: Construye un conjunto $S \subset \mathbb{F}_{p^2}$ que contiene elementos $\lambda$ donde tanto $\lambda$ como $1-\lambda$ son cuadrados.
   • Generación de Candidatos: Selecciona recursivamente conjuntos distintos $\{\lambda_1, \dots, \lambda_{2g-1}\} \subset S$ tales que la diferencia $\lambda_i - \lambda_j$ sea también un cuadrado para todos los pares.
   • Manejo de Isomorfismos: Para evitar contar múltiples veces curvas isomórficas, el algoritmo genera todas las formas de Rosenhain equivalentes a un conjunto candidato bajo la acción del grupo simétrico (vía transformaciones de Möbius que permutan los puntos de ramificación $\{0, 1, \infty, \lambda_1, \dots, \lambda_{2g-1}\}$) y almacena representantes canónicos.
   • Verificación de Superspecialidad: Para cada conjunto de candidatos válido, el algoritmo computa la matriz de Cartier-Manin de la curva. Una curva es superspecial si y solo si esta matriz es la matriz cero. Esto implica verificar si coeficientes específicos en la expansión de $f(x)^{(p-1)/2}$ se anulan.

Contribuciones Clave y Resultados
La contribución principal es la aplicación exitosa de este algoritmo para computar el número exacto de clases de isomorfismo para géneros 4, 5 y 6 en diversas características pequeñas $p$, llenando vacíos en la literatura existente. Los resultados se resumen de la siguiente manera:

• Género 4: El artículo determina los recuentos para características $p \in \{23, 29, 31, 37, 41\}$.

  • $p=23$: 4 clases
  • $p=29$: 8 clases
  • $p=31$: 10 clases
  • $p=37$: 23 clases
  • $p=41$: 34 clases
  • Nota: Los resultados para $p \le 19$ coinciden con los hallazgos previos de Kudo y Harashita.

• Género 5: El artículo determina los recuentos para características $p \in \{13, 17, 19, 23, 29, 31, 37, 41\}$.

  • No existen curvas para $p=13, 17$.
  • $p=19, 29$: 1 clase cada una.
  • $p=23$: 2 clases.
  • $p=31$: 6 clases.
  • $p=37$: 5 clases.
  • $p=41$: 3 clases.

• Género 6: El artículo determina los recuentos para características $p \in \{17, 19, 23, 29, 31\}$.

  • No existen curvas para $p=17, 19, 29$.
  • $p=23, 31$: 1 clase cada una.

Significancia y Reivindicaciones
El artículo afirma que su enfoque ofrece una ventaja distintiva sobre métodos anteriores (específicamente aquellos que utilizan bases de Gröbner) al evitar computaciones simbólicas complejas. En su lugar, aprovecha las propiedades aritméticas de los parámetros de Rosenhain para filtrar candidatos de manera eficiente. Los autores señalan que, para características pequeñas, el número de conjuntos de candidatos que satisfacen las condiciones de cuadrado es suficientemente pequeño como para que el algoritmo sea computacionalmente factible.

Al implementar este algoritmo en Magma, los autores lograron extender la clasificación conocida de curvas hiperelípticas superspeciales a géneros más altos y características más grandes de lo documentado anteriormente. El artículo nota explícitamente que para los géneros $g \in \{5, 6\}$, el número de clases de isomorfismo no había sido determinado para ninguna característica $p > 2g+1$ antes de este trabajo. Los resultados proporcionan puntos de datos concretos para el problema fundamental de enumerar curvas superspeciales, lo cual es relevante para aplicaciones en criptografía basada en isogenias y códigos de geometría algebraica.