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

1. O Problema

O artigo aborda a contagem e enumeração de curvas hiperelípticas superspeciais de gênero 5 definidas sobre corpos finitos de característica $p$.

• Contexto: Curvas superspeciais são objetos fundamentais tanto na teoria dos números quanto em aplicações práticas, como a criptografia baseada em isogenias (uma candidata à criptografia pós-quântica).
• Estado da Arte: Para gêneros $g \le 3$, o número de curvas superspeciais é bem compreendido e completamente resolvido. Para $g=4$, vários algoritmos computacionais foram desenvolvidos, especialmente para curvas com grandes grupos de automorfismos.
• Desafio: Para $g=5$, há muito pouco trabalho anterior. A enumeração é computacionalmente difícil devido à complexidade do espaço de módulos e à dificuldade de verificar a superspecialidade diretamente em dimensões superiores. O objetivo deste trabalho é preencher essa lacuna para um subconjunto específico de curvas: aquelas cujo grupo de automorfismos contém o grupo $(\mathbb{Z}/2\mathbb{Z})^3$.

2. Metodologia

Os autores desenvolveram um algoritmo eficiente baseado na decomposição das variedades de Jacobiano das curvas estudadas. A abordagem divide-se em duas partes principais: análise teórica e implementação algorítmica.

A. Classificação e Propriedades Teóricas

• Foco Específico: O estudo restringe-se a curvas hiperelípticas de gênero 5 definidas por equações da forma:
  $$H_{a,b,c}: y^2 = (x^4 + ax^2 + 1)(x^4 + bx^2 + 1)(x^4 + cx^2 + 1)$$
  onde $a, b, c$ são parâmetros distintos e não pertencem a $\{\pm 2\}$.
• Grupo de Automorfismos: Essas curvas possuem um grupo de automorfismos que contém $(\mathbb{Z}/2\mathbb{Z})^3$, gerado por invólucros específicos ($x \mapsto -x$, $x \mapsto 1/x$, etc.).
• Decomposição do Jacobiano (Teorema 3.2): A contribuição teórica central é a prova de que o Jacobiano de $H_{a,b,c}$ é isogêneo (via isogenia de Richelot) ao produto de três curvas elípticas ($E_1, E_2, E_3$) e uma curva de gênero 2 ($C$).
  $$Jac(H_{a,b,c}) \sim E_1 \times E_2 \times E_3 \times Jac(C)$$
• Critério de Superspecialidade (Corolário 3.3): Consequentemente, a curva $H_{a,b,c}$ é superspecial se e somente se as três curvas elípticas forem supersingulares e a curva de gênero 2 $C$ for superspecial. Isso reduz o problema de gênero 5 para problemas de gênero 1 e 2, que são computacionalmente tratáveis.
• Casos Especiais: O artigo analisa casos onde o grupo de automorfismos é maior que $(\mathbb{Z}/2\mathbb{Z})^3$ (tipos 7, 9, 10, 11, 12, 15 da classificação de automorfismos), fornecendo decomposições completas em produtos de 5 curvas elípticas para esses casos.

B. Algoritmos de Enumeração

Os autores propõem quatro algoritmos (um para o caso genérico e três para casos especiais) implementados no sistema Magma:

1. Caso Genérico (Tipo 4-1):
   • Gera todas as curvas de gênero 2 superspeciais na forma de Rosenhain.
   • Verifica a supersingularidade das curvas elípticas associadas ($E_1, E_2, E_3$).
   • Calcula os parâmetros $(a, b, c)$ e remove duplicatas de isomorfismo usando os critérios de equivalência derivados (Teorema 4.5).
   • Complexidade: $\tilde{O}(p^3)$ operações aritméticas em $\mathbb{F}_{p^2}$.
2. Casos Especiais (Tipos 7, 9, 10, etc.):
   • Utilizam condições específicas (como valores de $j$-invariantes supersingulares e séries hipergeométricas truncadas) para encontrar os parâmetros das curvas.
   • Complexidade Esperada: $\tilde{O}(p)$ para os casos especiais, devido ao menor número de parâmetros livres.

3. Principais Contribuições

1. Algoritmo Viável para Gênero 5: Desenvolvimento do primeiro algoritmo prático para enumerar curvas superspeciais de gênero 5 com um grupo de automorfismos específico, superando a barreira computacional de gêneros superiores.
2. Redução de Dimensão: Estabelecimento rigoroso de que a superspecialidade de certas curvas de gênero 5 pode ser reduzida à superspecialidade de curvas de gênero $\le 2$, permitindo o uso de grafos de isogenia já conhecidos.
3. Análise de Isomorfismo: Prova detalhada das condições de isomorfismo para a família de curvas $H_{a,b,c}$, essencial para evitar contagens redundantes.
4. Implementação e Dados: Implementação completa em Magma e execução para todas as características primas $11 < p < 1000$.

4. Resultados Experimentais

Os autores executaram os algoritmos para primos $p$ entre 13 e 997. Os principais resultados são:

• Teorema 1.1: Existe uma curva hiperelíptica superspecial de gênero 5 com o grupo de automorfismos desejado em qualquer característica $23 \le p < 1000$, exceto para um 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\}$$
• Tabelas de Contagem: O artigo fornece tabelas detalhadas (Tabelas 2 e 3) listando o número de classes de isomorfismo para cada primo testado, divididas pelos tipos de grupos de automorfismos (4-1, 7, 9, 10, 11, 12, 15).
• Observação Interessante: Diferente do caso de gênero 4 (onde curvas superspeciais parecem existir para quase todos os primos), o caso de gênero 5 apresenta "buracos" significativos, ou seja, muitos primos não possuem nenhuma curva superspecial deste tipo específico.

5. Significado e Conclusão

• Avanço Teórico: O trabalho expande significativamente o conhecimento sobre curvas superspeciais em gêneros altos, fornecendo uma estrutura para futuras investigações.
• Aplicação em Criptografia: Ao catalogar essas curvas, o trabalho contribui para a segurança e análise de sistemas criptográficos baseados em isogenias, onde a existência e propriedades de curvas superspeciais são cruciais.
• Futuro: Os autores sugerem que, para garantir a existência de curvas superspeciais de gênero 5 para todos os primos, será necessário investigar classes mais amplas (como curvas não hiperelípticas ou outros tipos de automorfismos), embora isso aumente drasticamente a complexidade computacional.

Em resumo, o artigo apresenta uma solução computacional robusta e teoricamente fundamentada para um problema aberto em geometria algébrica, combinando teoria de isogenias, teoria de grupos e computação de alto desempenho.