On superspecial hyperelliptic curves of Rosenhain forms

Sintesi Tecnica: Enumerazione di Curve Iperellittiche Superspeciali in Forme di Rosenhain

Enunciato del Problema
Il saggio affronta il problema fondamentale di determinare il numero di classi di isomorfismo di curve iperellittiche superspeciali di genere-$g$ in una data caratteristica $p$. Mentre il caso per $g \le 3$ è stato ampiamente risolto, e l'esistenza di tali curve per $g \ge 4$ rimane aperta in generale, i conteggi specifici per generi più elevati in piccole caratteristiche sono stati limitati. Il lavoro precedente di Kudo e Harashita ha utilizzato computazioni di basi di Gröbner per risolvere questo problema per il genere 4 in caratteristiche fino a 19. Questo saggio mira ad estendere tali risultati ai generi 4, 5 e 6 per caratteristiche $p$ oltre gli intervalli precedentemente coperti, specificamente fino a $p=41$.

Metodologia
Gli autori propongono un nuovo algoritmo (Algoritmo 3.1) per enumerare queste curve, il quale si basa su una specifica condizione necessaria derivata per le curve in forma di Rosenhain.

1. Forma di Rosenhain e Condizioni Necessarie:
   Il saggio si concentra su curve iperellittiche definite dall'equazione di Rosenhain:
   $$C: y^2 = x(x-1) \prod_{i=1}^{2g-1} (x - \lambda_i)$$
   Il nucleo del contributo teorico è il Teorema 1.3, che stabilisce una condizione necessaria affinché tale curva sia superspeciale in caratteristica $p > 2$. Il teorema afferma che, se $C$ è superspeciale, allora gli elementi $\lambda_i$, $1-\lambda_i$ e $\lambda_i - \lambda_j$ per tutti $i, j \in \{1, \dots, 2g-1\}$, devono essere quadrati nel campo finito $\mathbb{F}_{p^2}$.

   • Strategia di Dimostrazione: La dimostrazione utilizza le proprietà del Jacobiano $J$ della curva. Essa dimostra che, per una curva superspeciale, il sottogruppo di 4-torsione $J[4]$ è definito su $\mathbb{F}_{p^2}$. Analizzando le rappresentazioni di Mumford dei punti di 4-torsione e dei loro semi-punti, gli autori mostrano che specifici rapporti incrociati dei punti di ramificazione devono essere quadrati in $\mathbb{F}_{p^2}$.

2. Algoritmo di Enumerazione:
   Basandosi sul Teorema 1.3, l'algoritmo procede come segue:

   • Filtraggio: Costruisce un insieme $S \subset \mathbb{F}_{p^2}$ contenente elementi $\lambda$ tali che sia $\lambda$ che $1-\lambda$ siano quadrati.
   • Generazione dei Candidati: Seleziona ricorsivamente insiemi distinti $\{\lambda_1, \dots, \lambda_{2g-1}\} \subset S$ tali che la differenza $\lambda_i - \lambda_j$ sia anch'essa un quadrato per tutte le coppie.
   • Gestione dell'Isomorfismo: Per evitare di contare più volte curve isomorfe, l'algoritmo genera tutte le forme di Rosenhain equivalenti a un candidato insieme sotto l'azione del gruppo simmetrico (tramite trasformazioni di Möbius che permutano i punti di ramificazione $\{0, 1, \infty, \lambda_1, \dots, \lambda_{2g-1}\}$) e memorizza i rappresentanti canonici.
   • Verifica della Superspecialità: Per ogni insieme di candidati valido, l'algoritmo calcola la matrice di Cartier-Manin della curva. La curva è superspeciale se e solo se questa matrice è la matrice nulla. Ciò comporta la verifica della scomparsa di specifici coefficienti nell'espansione di $f(x)^{(p-1)/2}$.

Contributi Chiave e Risultati
Il contributo primario è l'applicazione riuscita di questo algoritmo per calcolare il numero esatto di classi di isomorfismo per i generi 4, 5 e 6 in varie piccole caratteristiche, colmando le lacune esistenti nella letteratura. I risultati sono riassunti come segue:

• Genere 4: Il saggio determina i conteggi per le caratteristiche $p \in \{23, 29, 31, 37, 41\}$.

  • $p=23$: 4 classi
  • $p=29$: 8 classi
  • $p=31$: 10 classi
  • $p=37$: 23 classi
  • $p=41$: 34 classi
  • Nota: I risultati per $p \le 19$ corrispondono ai precedenti risultati di Kudo e Harashita.

• Genere 5: Il saggio determina i conteggi per le caratteristiche $p \in \{13, 17, 19, 23, 29, 31, 37, 41\}$.

  • Non esistono curve per $p=13, 17$.
  • $p=19, 29$: 1 classe ciascuna.
  • $p=23$: 2 classi.
  • $p=31$: 6 classi.
  • $p=37$: 5 classi.
  • $p=41$: 3 classi.

• Genere 6: Il saggio determina i conteggi per le caratteristiche $p \in \{17, 19, 23, 29, 31\}$.

  • Non esistono curve per $p=17, 19, 29$.
  • $p=23, 31$: 1 classe ciascuna.

Significato e Rivendicazioni
Il saggio sostiene che il suo approccio offre un vantaggio distinto rispetto ai metodi precedenti (specificamente quelli che utilizzano basi di Gröbner) evitando complesse computazioni simboliche. Inveve, sfrutta le proprietà aritmetiche dei parametri di Rosenhain per filtrare efficientemente i candidati. Gli autori affermano che, per piccole caratteristiche, il numero di insiemi di candidati che soddisfano le condizioni di quadrato è sufficientemente piccolo da rendere l'algoritmo computazionalmente fattibile.

Implementando questo algoritmo in Magma, gli autori sono riusciti ad estendere la classificazione nota delle curve iperellittiche superspeciali a generi più elevati e caratteristiche più grandi rispetto a quanto precedentemente documentato. Il saggio nota esplicitamente che per i generi $g \in \{5, 6\}$, il numero di classi di isomorfismo non era stato determinato per alcuna caratteristica $p > 2g+1$ prima di questo lavoro. I risultati forniscono punti dati concreti per il problema fondamentale dell'enumerazione delle curve superspeciali, il che è rilevante per le applicazioni nella crittografia basata su isogenia e nei codici geometrici algebrici.