Automorphism groups of hyperelliptic curves of $2$-rank zero

Aquí presento un resumen técnico detallado del artículo "Automorphism groups of hyperelliptic curves of 2-rank zero" (Grupos de automorfismos de curvas hiperelípticas de 2-rango cero) de Kohtaro Yamaguchi y Shushi Harashita.

1. Planteamiento del Problema

El artículo investiga la estructura de grupo y el orden del grupo de automorfismos de curvas hiperelípticas definidas sobre un cuerpo algebraicamente cerrado $K$ de característica 2, específicamente aquellas que tienen 2-rango cero (o son supersingulares).

• Contexto Teórico: La investigación se motiva por una analogía de la conjetura de Oort, la cual predice que el grupo de automorfismos de una variedad abeliana polarizada genéricamente supersingular de dimensión $g \ge 2$ es isomorfo a $\mathbb{Z}_2$ (el grupo generado por la involución hiperelíptica).
• La Pregunta Central: ¿Es cierto que para una curva hiperelíptica genérica de 2-rango 0 (o supersingular) en característica 2 con género $g \ge 2$, el grupo de automorfismos reducido es trivial (es decir, isomorfo a $\mathbb{Z}_2$)?
• Desafío: Aunque la conjetura de Oort se ha resuelto afirmativamente para la mayoría de los casos en otras características, el caso de característica 2 para curvas hiperelípticas presenta comportamientos excepcionales que requieren un análisis detallado.

2. Metodología

Los autores emplean una combinación de teoría algebraica de grupos y computación simbólica avanzada:

1. Formulación Algebraica:

   • Se estudian curvas de Artin-Schreier de la forma $C: y^2 - y = f(x)$, donde $f(x) = x(x^{2n} + a_{n-1}x^{2(n-1)} + \dots + a_0)$. Estas curvas son equivalentes a las curvas hiperelípticas de 2-rango 0 en característica 2.
   • Se analizan las transformaciones de coordenadas que preservan la ecuación de la curva:
     $$x \mapsto \alpha x + \beta, \quad y \mapsto y + \sum_{i=0}^n \gamma_i x^i$$
   • Se definen dos homomorfismos clave:
     • $\rho_n$: Mapea un automorfismo a su componente de escala $\alpha$ (raíces de la unidad).
     • $\tau_n$: Mapea un automorfismo a la transformación afín $(\alpha, \beta)$.

2. Análisis Estructural (Teorema 1):

   • Se demuestra que el grupo de automorfismos reducido $RA(C) = \text{Aut}(C)/\langle \sigma \rangle$ (donde $\sigma$ es la involución hiperelíptica) tiene una estructura de producto semidirecto:
     $$RA(C) \simeq \mathbb{Z}_2^\ell \rtimes \mathbb{Z}_{k}$$
     donde $\mathbb{Z}_2^\ell$ corresponde al grupo de traslaciones afines ($U_n$) y $\mathbb{Z}_k$ al grupo de escalas ($\text{Im}\rho_n$).

3. Computación Computacional (Teorema 2 y 3):

   • Para géneros pequeños ($n \le 6$ y casos específicos de curvas supersingulares de Scholten-Zhu hasta $g=9$), los autores utilizan el sistema de álgebra computacional Magma.
   • Algoritmo: Se calcula una base de Gröbner para el ideal generado por las condiciones polinómicas necesarias y suficientes para que una transformación de coordenadas sea un automorfismo.
   • Se analizan las fibras de las proyecciones $\text{Im}\tau_n \to \text{Im}\rho_n$ para determinar el número de soluciones para $\alpha$ y $\beta$ bajo diferentes condiciones en los coeficientes $a_i$ (o $c_i$ en el caso Scholten-Zhu).

3. Contribuciones Clave y Resultados

A. Estructura General (Teorema 1)

Se establece que el grupo de automorfismos reducido es siempre un producto semidirecto de un grupo abeliano elemental de 2-grupo ($\mathbb{Z}_2^\ell$) y un grupo cíclico de orden impar. Además, se prueba que si $n$ es impar y $n \ge 3$, el núcleo de $\rho_n$ es trivial, simplificando la estructura a $\mathbb{Z}_2 \rtimes \mathbb{Z}_k$.

B. Clasificación Detallada para $n \le 6$ (Teorema 2)

Los autores proporcionan una tabla exhaustiva que relaciona la estructura del grupo reducido $RA(C)$ y el orden de $\text{Aut}(C)$ con las condiciones sobre los coeficientes $a_i$ de la curva:

• Caso Genérico: Para la mayoría de los coeficientes (caso "genérico"), el grupo reducido es trivial ($\mathbb{Z}_1$), lo que implica que el grupo total es $\mathbb{Z}_2$. Esto apoya la analogía de la conjetura de Oort para $2 < g \le 6$.
• Casos Especiales: Se identifican condiciones algebraicas específicas (ej. $a_1=0$, $a_3=0$, etc.) donde el grupo de automorfismos crece significativamente, formando grupos como $A_4$, $\mathbb{Z}_4^2 \rtimes \mathbb{Z}_5$, o $\mathbb{Z}_6^2 \rtimes \mathbb{Z}_9$.
• Género 2: Se confirma que las curvas de género 2 supersingulares tienen grupos de automorfismos grandes (ej. orden 32 o 160), lo que constituye un contraejemplo a una versión naive de la conjetura de Oort para $g=2$.

C. Curvas Supersingulares de Scholten-Zhu (Teorema 3)

Se analizan curvas supersingulares de formas específicas (Scholten-Zhu) para géneros $g=1, 2, 4, 5, 6, 8, 9$.

• Se observa un patrón crítico: cuando el género $g$ es una potencia de 2 ($g=2, 4, 8$), existen configuraciones de coeficientes donde el grupo de automorfismos es muy grande (ej. orden 1152 para $g=4$, orden 8704 para $g=8$).
• Para géneros que no son potencias de 2 (ej. $g=5, 6, 9$), el grupo genérico es nuevamente pequeño ($\mathbb{Z}_2$).

4. Significado y Conjeturas Propuestas

Basándose en los resultados computacionales, los autores reformulan las conjeturas sobre la estructura de estos grupos:

• Conjetura 1 (Analogía de Oort para 2-rango 0): El grupo de automorfismos de una curva hiperelíptica genérica de 2-rango 0 en característica 2 es $\mathbb{Z}_2$ si $g > 2$.

  • Resultado: Confirmado para $2 < g \le 6$.

• Conjetura 2 (Refinamiento para curvas supersingulares): El grupo de automorfismos de una curva hiperelíptica supersingular genérica de género $g$ en característica 2 es $\mathbb{Z}_2$ si y solo si $g$ no es una potencia de 2.

  • Implicación: Esto sugiere que las curvas supersingulares con géneros que son potencias de 2 poseen simetrías "extra" o estructuras especiales que permiten grupos de automorfismos grandes, rompiendo la regla general observada en otros géneros.

Conclusión

El artículo proporciona una clasificación completa y computacionalmente verificada de los grupos de automorfismos para curvas hiperelípticas de 2-rango 0 en géneros bajos. Destaca la importancia de la característica 2 y la relación entre el género y la potencia de 2 en la aparición de simetrías no triviales. Los resultados desafían la generalización directa de la conjetura de Oort y proponen una nueva frontera de investigación teórica para entender la estructura de estos grupos para $n$ arbitrario, especialmente para $n$ par.