An explicit expression of the Richelot isogeny through Kleinian hyperellyptic functions

1. Il Problema

Il lavoro si inserisce nel contesto della teoria delle curve algebriche di genere 2 e delle loro varietà abeliane associate (varietà di Jacobiano). L'obiettivo principale è sviluppare un algoritmo per il calcolo delle funzioni iperellittiche di Klein associate a una curva di genere 2.
L'autore intende imitare lo schema dell'algoritmo classico di Landen (usato per le curve ellittiche), che permette di ridurre il calcolo di funzioni trascendenti su una curva complessa a quello su una curva più semplice attraverso una successione di isogenie.
Il problema specifico affrontato in questo articolo è trovare un'espressione esplicita per le funzioni di Klein associate a una curva $C$ in termini delle funzioni di Klein associate a una curva $\hat{C}$ che è isogena a $C$ tramite un'isogenia di Richelot.
Una sfida tecnica risiede nel fatto che le funzioni di Klein classiche (definite tramite la funzione $\sigma$) richiedono condizioni specifiche sull'equazione algebrica della curva (ad esempio, la presenza di un punto di Weierstrass all'infinito). L'autore utilizza invece le funzioni di Klein di peso 2, introdotte in lavori precedenti, che non richiedono tali restrizioni e definiscono un'immersione della superficie di Kummer nello spazio proiettivo complesso $\mathbb{C}P^3$.

2. Metodologia

L'approccio adottato combina metodi algebrici e trascendenti:

• Strumenti Matematici:

  • Curve di Genere 2 e Forme Differenziali: Definizione delle curve $X_f$ tramite polinomi admissibili $f$ di grado 5 o 6, e delle relative forme differenziali olomorfe e di seconda specie.
  • Funzioni di Klein di Peso 2: Utilizzo di funzioni $\wp_{jk}$ e $S_{jk}$ definite sul reticolo dei periodi, che generalizzano le funzioni $\wp$ di Weierstrass.
  • Superfici di Kummer: Sfruttamento dell'immersione della superficie di Kummer $K(Jac_f)$ in $\mathbb{C}P^3$ tramite le funzioni di Klein di peso 2.
  • Costruzione di Richelot: Utilizzo della decomposizione del polinomio $f = pqr$ (dove $p,q,r$ sono polinomi di grado $\le 2$) per generare una nuova curva $\hat{X}_{\hat{f}}$ e l'isogenia associata.

• Strategia di Calcolo:

  1. Analisi Geometrica: Si studia l'isogenia di Richelot a livello delle varietà di Jacobiano e si determina come questa induca una mappa tra le superfici di Kummer corrispondenti.
  2. Forma Generale: Si dimostra che la mappa tra le superfici di Kummer è una trasformazione quadratica (di grado 2) in coordinate omogenee.
  3. Determinazione delle Matrici: Si utilizzano le proprietà dei punti di ordine 2 (nodi) e delle iperpiani speciali (tropi) sulla superficie di Kummer per vincolare la forma delle matrici che definiscono la trasformazione quadratica.
  4. Metodo Transcendente: A differenza di approcci puramente algebrici precedenti, l'autore utilizza le proprietà di periodicità e le espansioni di Taylor delle funzioni di Klein per determinare i coefficienti esatti delle trasformazioni, inclusi i fattori esponenziali.
  5. Verifica Computazionale: Molte delle formule complesse derivate sono state verificate utilizzando il software Maple.

3. Contributi Chiave e Risultati

Il paper fornisce risultati teorici e formule esplicite che erano precedentemente assenti o solo parzialmente note in questo contesto:

• Espressione Esplicita dell'Isogenia: Il risultato principale è la formula (Teorema 4.6) che esprime il vettore delle funzioni di Klein $S_f(z)$ della curva originale in termini delle funzioni $S_{\hat{f}}(z)$ della curva isogena $\hat{C}$.
  La relazione ha la forma:
  $$S_f(z) = -\frac{\exp(z^T H_{p,q,r} z)}{32\Delta(p,q,r)^3} \begin{pmatrix} S_{\hat{f}}(z)^T A_{p,q,r} S_{\hat{f}}(z) \\ \vdots \\ S_{\hat{f}}(z)^T A_{p,q,r}^{(11)} S_{\hat{f}}(z) \end{pmatrix}$$
  dove:

  • $\Delta(p,q,r)$ è un determinante associato ai polinomi $p,q,r$.
  • $A_{p,q,r}$ sono matrici simmetriche $4 \times 4$ costruite esplicitamente a partire dai coefficienti di $p,q,r$ e delle loro derivate combinate.
  • $H_{p,q,r}$ è una matrice simmetrica $2 \times 2$ che definisce il fattore esponenziale (legato alla trasformazione dei periodi).

• Costruzione delle Matrici di Trasformazione:

  • L'autore definisce matrici $B$ e $\hat{B}$ che collegano le basi delle funzioni theta alle funzioni di Klein.
  • Vengono calcolate esplicitamente le matrici $C_{p,q,r}$ e $D_{p,q,r}$ che permettono di passare dalle coordinate dei nodi e dei tropi alle matrici della trasformazione quadratica.
  • Viene fornita una formula esplicita per la matrice $H_{p,q,r}$ (Lemma 3.3 e Teorema 4.6), che è cruciale per correggere il fattore di periodicità tra le due curve.

• Relazione tra Funzioni Transcendenti: Il lavoro stabilisce una connessione diretta tra le funzioni trascendenti (Klein) di due curve isogene, superando la necessità di lavorare solo con equazioni algebriche. Questo permette di "scendere" da una curva a un'altra nella catena di isogenie mantenendo il controllo sulle funzioni analitiche.

4. Significato e Implicazioni

• Completamento dell'Algoritmo di Landen per Genere 2: Questo lavoro risolve il passo fondamentale per l'implementazione di un algoritmo ricorsivo (tipo Landen) per il calcolo delle funzioni di Klein di genere 2. Una volta trovata la relazione esplicita, si può iterare il processo su una successione di curve isogene fino a raggiungere una curva limite dove le funzioni possono essere approssimate o calcolate con metodi noti.
• Indipendenza dalle Coordinate: L'uso delle funzioni di peso 2 rende il risultato applicabile a curve definite su campi generali, senza la necessità di normalizzare la curva in una forma specifica (come la forma di Weierstrass con punto all'infinito), aumentando la robustezza teorica e computazionale.
• Metodo Ibrido: L'approccio che combina la geometria delle superfici di Kummer (nodi e tropi) con l'analisi complessa (espansioni di Taylor e identità di Legendre) offre una nuova prospettiva per lo studio delle isogenie di Richelot, differenziandosi dai metodi puramente algebrici presenti in letteratura (es. [3]).
• Applicabilità: Le formule ottenute sono direttamente utilizzabili per la costruzione di algoritmi di calcolo numerico per le funzioni iperellittiche, con potenziali applicazioni nella crittografia basata su curve di genere 2 e nella teoria dei numeri computazionale.

In sintesi, il paper fornisce il "motore" analitico necessario per navigare tra curve di genere 2 isogene tramite isogenie di Richelot, traducendo la geometria algebrica in formule computazionali esplicite per le funzioni trascendenti fondamentali.