Supersingular isogeny graphs and Hecke modules with level structure

Titel: Supersinguliere Isogeniegrafieken en Hecke-modulen met Niveaustuctuur

1. Het Probleem en de Context

Het onderzoek naar supersinguliere isogeniegrafieken heeft de laatste jaren hernieuwde belangstelling gekregen, voornamelijk vanwege toepassingen in de cryptografie (bijvoorbeeld voor post-kwantum cryptosystemen). De huidige focus ligt vaak op lokale algoritmen voor het doorlopen van $\ell$-isogeniegrafieken, waarbij de karakteristiek $p$ groot wordt verondersteld.

Echter, de oorspronkelijke motivatie voor het bestuderen van deze grafieken, zoals geïntroduceerd door Mestre, Oesterlé en Pizer, ligt in de constructie van modulaire vormen en de bijbehorende Galois-representaties. In dit globale perspectief moet men de eigenschappen van de grafieken volledig in kaart brengen, wat vaak vereist dat $p$ klein blijft.

Er bestaat een kloof tussen deze twee werelden:

1. Cryptografische toepassingen gebruiken expliciete algoritmen voor lokale traversie.
2. Modulaire theorie vereist globale eigenschappen en het tellen van punten, maar de bestaande methoden (zoals die van Mestre) worden onhandelbaar bij hogere niveaus of grotere graden.

Het centrale probleem is het generaliseren van de modulaire aanpak naar modulaire krommen met een hogere niveaustructuur (higher level structure), zodat men efficiëntere berekeningen kan uitvoeren en diepere inzichten kan krijgen in Galois-representaties, inclusief die met additieve reductie.

2. Methodologie

De auteurs ontwikkelen een theoretisch raamwerk dat supersinguliere isogeniegrafieken koppelt aan modulaire krommen met een specifieke niveaustructuur.

• Grafieken met Niveaustructuur: In plaats van alleen te kijken naar elliptische krommen $E$, definiëren de auteurs "verrijkte elliptische krommen" $(E, B_G)$, waarbij $B_G$ een baan is van een basis van de $N$-torsie onder de werking van een open ondergroep $G$ van $GL_2(\hat{\mathbb{Z}})$.
• Modulaire Krommen: De vertices van de grafieken worden geïdentificeerd met rationale punten op modulaire krommen $X_G$. Afhankelijk van de keuze van $G$ (bijv. Borel-ondergroepen $B_0(N)$ of Cartan-ondergroepen), corresponderen deze punten met krommen met een cyclic subgroup, een punt van orde $N$, of een volledige basis.
• Onafhankelijkheid van Niveaustructuren: Een cruciaal concept is de "onafhankelijkheid" van ondergroepen. Als twee ondergroepen $H_1$ en $H_2$ onafhankelijk zijn, kan de niveaustructuur worden ontbonden in een hybride model. Dit stelt de auteurs in staat om complexe structuren te decomponeren in productstructuren van kleinere niveaus.
• Hecke-operatoren als Correspondenties: De auteurs interpreteren de adjacentie-operatoren van de isogeniegrafieken als Hecke-operatoren $T_\ell$ die werken op de modulen van divisors van supersinguliere punten. Ze definiëren een inproduct op deze modulen en tonen aan dat de Hecke-operatoren Hermitisch zijn.
• Nieuwe en Oude Ruimtes: Door de relatie tussen modulaire krommen van verschillende niveaus te gebruiken (via pullback en pushforward), definiëren de auteurs "nieuwe" (new) en "oude" (old) subruimtes binnen de Hecke-modulen. Dit is analoog aan de theorie van modulaire vormen.

3. Belangrijkste Bijdragen

• Generalisatie naar Hogere Niveaus: Het artikel breidt de methode van "grafiekmodellen" van Mestre uit van niveau 1 (of kleine priemniveaus) naar willekeurige open ondergroepen van $GL_2(\hat{\mathbb{Z}})$. Dit maakt het mogelijk om additieve reductie te bestuderen, wat eerder moeilijk was.
• Efficiëntieverbetering: Voor een dekkende modulaire kromme $X_G \to X(1)$ van graad $d$, worden de grootte van de modulaire correspondenties typisch met een factor $d$ gereduceerd. In combinatie met de schaarsheid van monomen (door combinatorische restricties), levert dit een spectaculaire reductie in rekencomplexiteit op.
• Hybride Modellen: De introductie van hybride niveaustructuren (combinaties van Borel- en Cartan-ondergroepen) stelt de auteurs in staat om specifieke twisten van grafieken te construeren en te analyseren die niet zichtbaar zijn in de standaard grafieken.
• Verbinding met Galois-representaties: Het werk versterkt de link tussen de combinatoriek van isogeniegrafieken en de theorie van Galois-representaties, specifiek door de monodromiegroepen van abelse variëteiten te koppelen aan de supersinguliere divisor-groepen.

4. Resultaten

• Expliciete Voorbeelden: De auteurs illustreren hun theorie met concrete voorbeelden, waaronder:
  • Gedraaide Cartan-grafieken: Voor $X_{ns}^d(2)$ wordt getoond dat verschillende twisten $d$ leiden tot verschillende grafieken, hoewel ze een dubbele overdekking vormen van de basisgrafiek. De adjacentiematrices $T_3$ en $T'_3$ commuteren met een automorfisme $U$, wat de structuur van de Hecke-algebra onthult.
  • Niveau 5: Een analyse van de supersinguliere 3-isogeniegrafiek over $\mathbb{F}_{2^4}$ met niveau 5, waarbij de vertices corresponderen met punten op $X(5)$.
• Sieve-methode voor Elliptische Krommen: De auteurs demonstreren hoe supersinguliere modulen kunnen worden gebruikt om elliptische krommen met specifieke reductie-eigenschappen te "zeven" (sieve). Ze gebruiken de kernen van operatoren $T_\ell - c$ (waar $c$ de Hasse-Weil-grens is) om de aanwezigheid van elliptische factoren in de Jacobiaanse van de modulaire kromme te detecteren.
• Ontdekking van Nieuwe Krommen: Als concreet resultaat wordt een orbit van twisten van elliptische krommen gepresenteerd met conductor $1.109.088 = 3851 \cdot 288$. Deze krommen hebben additieve reductie bij 2 en 3, en multiplicatieve reductie bij $p=3851$. Deze krommen zijn niet opgenomen in de standaard LMFDB-database, maar wel vindbaar via de methode van de auteurs.

5. Betekenis en Impact

Dit werk is significant voor zowel de getaltheorie als de cryptografie:

• Cryptografie: Het biedt nieuwe inzichten in de structuur van supersinguliere isogeniegrafieken, wat essentieel is voor het begrijpen van de veiligheid en efficiëntie van isogeniegebaseerde cryptosystemen (zoals SIKE/CSIDH). De mogelijkheid om grafieken te decomponeren via niveaustructuren kan leiden tot efficiëntere algoritmen of nieuwe aanvallen.
• Getaltheorie: Het biedt een krachtig computergestuurd raamwerk om modulaire vormen en Galois-representaties te bestuderen, zelfs in situaties met additieve reductie die buiten het bereik van traditionele databases vallen.
• Methodologisch: De koppeling van de "methode van grafieken" (Mestre) met de theorie van modulaire krommen met niveaustructuur en de theorie van nieuwe/oude ruimtes creëert een brug tussen lokaal-computational en globaal-theoretisch onderzoek.

Kortom, het artikel levert een fundamentele uitbreiding van de theorie van supersinguliere isogeniegrafieken, waardoor deze niet alleen bruikbaar zijn voor cryptografische constructies, maar ook als krachtige tool voor het ontdekken en analyseren van nieuwe modulaire objecten.