Supersingular isogeny graphs and Hecke modules with level structure

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria dei numeri e della crittografia post-quantistica, focalizzandosi sui grafi di isogenia supersingolari.

• Contesto Crittografico: Esiste un rinnovato interesse per questi grafi a causa delle loro applicazioni nella crittografia basata su isogenie (es. SIKE/SIKE). L'obiettivo principale è spesso la costruzione di algoritmi espliciti per il calcolo di cammini (transversali) in questi grafi, assumendo che la caratteristica $p$ del campo sia grande. Le proprietà globali, come la proprietà di Ramanujan, garantiscono buone proprietà di mixing per le passeggiate casuali.
• Contesto Teorico (Modulare): Storicamente, lo studio di questi grafi (da Mestre, Oesterlé, Pizer) è motivato dalla costruzione di forme modulari e delle loro rappresentazioni di Galois associate. In questo contesto, la caratteristica $p$ è spesso piccola per permettere l'enumerazione dei punti supersingolari.
• Il Problema: L'approccio classico di Mestre interpreta gli operatori di adiacenza dei grafi $\ell$-isogenia come corrispondenze che definiscono gli operatori di Hecke $T_\ell$ su una base di punti supersingolari. Tuttavia, questo metodo diventa ingombrante per livelli moderati o alti e si limita spesso a curve modulari di genere 0 di livello primo ($N \in \{2,3,5,7,13\}$). Il paper mira a generalizzare questo approccio a curve di livello superiore per studiare riduzioni addittive e migliorare l'efficienza computazionale.

2. Metodologia

Gli autori adottano un approccio che unifica la teoria dei grafi di isogenia con la teoria delle curve modulari dotate di struttura di livello.

• Curve Modulari e Strutture di Livello:
  • Si definiscono curve modulari $X_G$ associate a sottogruppi aperti $G$ di $GL_2(\hat{\mathbb{Z}})$.
  • Si introducono le curve ellittiche potenziate (enhanced elliptic curves) come coppie $(E, B_G)$, dove $E$ è una curva ellittica e $B_G$ è un'orbita di basi per il sottogruppo di torsione $N$-sima sotto l'azione di $G$.
  • Si generalizza la nozione di grafo di isogenia $G_S(G, E)$ i cui vertici sono queste curve potenziate e gli archi sono isogenie che rispettano la struttura di livello.
• Indipendenza e Strutture Ibride:
  • Viene introdotta una definizione di indipendenza tra sottogruppi di livello ($H_1, H_2$) per decomporre strutture di livello complesse in combinazioni ibride di orbite di punti di torsione. Questo permette di trattare livelli composti come prodotti di livelli di potenza di primi indipendenti.
• Moduli di Hecke e Spazi Nuovi/Vecchi:
  • Si definisce il modulo dei divisori supersingolari $M(S_G)$ come un gruppo abeliano libero generato dalle classi di isomorfismo di curve supersingolari su $X_G$.
  • Si introducono gli operatori di Hecke $T_n$ che agiscono su questo modulo.
  • Si definiscono gli spazi nuovi (new subspaces) e spazi vecchi (old subspaces) rispetto a un sottogruppo $H \supset G$, utilizzando mappe di pushforward e pullback tra curve modulari. Questi spazi sono ortogonali e invarianti sotto gli operatori di Hecke.
• Corrispondenza con Rappresentazioni di Galois:
  • Si sfrutta la corrispondenza di Deuring e l'equivalenza di categorie tra curve ellittiche supersingolari e ideali a sinistra in ordini quaternionici per collegare i grafi alle forme modulari.
  • Si utilizza il gruppo di monodromia di Grothendieck per identificare il gruppo dei divisori supersingolari con il gruppo dei caratteri della parte torica della fibra speciale di una varietà abeliana.

3. Contributi Chiave

1. Generalizzazione a Livelli Arbitrari: Il lavoro estende la metodologia di Mestre oltre i livelli primi bassi, permettendo lo studio di curve modulari di genere 0 di livello superiore (es. livelli 48, 5, ecc.).
2. Efficienza Computazionale:
   • Viene dimostrato che per una copertura di grado $d$ $X_G \to X(1)$, la dimensione delle corrispondenze modulari su $X_G$ si riduce tipicamente di un fattore $d$.
   • Combinato con la sparsità dei monomi (dettata da restrizioni combinatorie), questo porta a una riduzione spettacolare della complessità computazionale, permettendo di lavorare a livelli più bassi (incluso livello 1) con vantaggi computazionali superiori.
3. Studio della Riduzione Additiva: L'estensione a livelli superiori permette di studiare rappresentazioni di Galois che vanno oltre la riduzione semistabile, includendo casi di riduzione additiva, che sono difficili da analizzare con metodi tradizionali.
4. Costruzione di Grafi Coperti: Gli autori costruiscono esplicitamente grafi di isogenia coperti (es. per curve di Cartan non spezzate o curve di Weber) e ne analizzano le matrici di adiacenza, mostrando come i twist quadratici influenzino la struttura del grafo.

4. Risultati ed Esempi

• Esempi di Grafi Coperti:
  • Vengono analizzati grafi di isogenia 3-su $X_{ns}(2)$ (Cartan non spezzata) e le sue twist quadratiche su $\mathbb{F}_{11^2}$. Le matrici di adiacenza $T_3$ e $T'_3$ mostrano come l'automorfismo che scambia i punti sopra un punto base commuti con gli operatori di Hecke, ma cambi la struttura del grafo in base al carattere quadratico.
  • Viene studiato il caso del sottogruppo diagonale in $GL_2(\mathbb{Z}/5\mathbb{Z})$, dove un punto supersingolare su $X(1)$ si spezza in 5 punti su $X(5)$, generando un grafo di isogenia 3 con una specifica matrice di adiacenza.
• Scrematura (Sieving) per Curve Ellittiche:
  • Gli autori applicano i moduli supersingolari per "scremare" (sieve) la ricerca di curve ellittiche modulari con conduttori specifici.
  • Utilizzando i limiti di Hasse-Weil, si calcolano i nuclei degli operatori $T_\ell - c$.
  • Risultato concreto: Viene identificata l'esistenza di curve ellittiche modulari con conduttore $1.109.088 = 3851 \cdot 2^8$ (dove $p=3851$ è un primo). Queste curve presentano riduzione additiva in 2 e 3, e riduzione moltiplicativa in $p$.
  • Importante: Queste curve non sono presenti nei database pubblici accessibili (come LMFDB), dimostrando la capacità del metodo di scoprire curve con conduttori elevati e strutture di riduzione complesse non ancora catalogate.

5. Significato e Impatto

Il paper rappresenta un ponte significativo tra la crittografia basata su isogenie e la teoria dei numeri classica (forme modulari e rappresentazioni di Galois).

• Per la Crittografia: Offre nuovi strumenti algoritmici per la costruzione e l'analisi di grafi di isogenia, potenzialmente utili per ottimizzare protocolli crittografici o per analizzare la sicurezza di schemi esistenti attraverso una comprensione più profonda delle proprietà spettrali dei grafi a livelli elevati.
• Per la Teoria dei Numeri: Fornisce un metodo computazionale potente per esplorare lo spazio delle forme modulari e delle rappresentazioni di Galois associate a curve con riduzioni "patologiche" (additive) o con conduttori molto grandi, superando i limiti dei database esistenti.
• Sintesi: La generalizzazione della struttura di livello permette di trasformare problemi computazionalmente pesanti in problemi più gestibili grazie alla riduzione della dimensione delle matrici di Hecke, aprendo la strada alla scoperta di nuovi oggetti aritmetici.