Let $N>1$ and let $Φ_N(X,Y)\in\mathbb{Z}[X,Y]$ be the modular polynomial which vanishes precisely at pairs of $j$-invariants of elliptic curves linked by a cyclic isogeny of degree $N$. In this note we study the divisibility of the coefficients of $Φ_N(X+J, Y+J)$ for certain algebraic numbers $J$, in particular $J=0$ and other singular moduli. It turns out that these coefficients are highly divisible by small primes at which $J$ is supersingular.
- Paper-ID: 2509.06423
- Titel: Divisibility of the coefficients of modular polynomials
- Autor: Florian Breuer
- Klassifikation: math.NT (Zahlentheorie)
- Veröffentlichungsdatum: 8. September 2025 (arXiv-Preprint, überarbeitet am 16. Oktober 2025)
- Paper-Link: https://arxiv.org/abs/2509.06423
Sei N>1, und sei ΦN(X,Y)∈Z[X,Y] das modulare Polynom, das an Paaren (j1,j2) von j-Invarianten elliptischer Kurven verschwindet, genau dann wenn diese elliptischen Kurven durch eine zyklische Isogenie vom Grad N verbunden sind. Diese Arbeit untersucht die Teilbarkeitseigenschaften der Koeffizienten des Polynoms ΦN(X+J,Y+J) für spezifische algebraische Zahlen J (insbesondere J=0 und andere singuläre Moduli). Die Untersuchung zeigt, dass diese Koeffizienten bei kleinen Primzahlen, wo J supersingulär ist, eine hohe Teilbarkeit aufweisen.
- Problemhintergrund: Modulare Polynome ΦN(X,Y) sind wichtige Objekte in der Zahlentheorie und algebraischen Geometrie, die Informationen über Isogenie-Beziehungen zwischen elliptischen Kurven kodieren. Obwohl die Koeffizienten dieser Polynome typischerweise sehr groß sind, zeigen sie auch eine hohe Teilbarkeit durch kleine Primzahlen.
- Praktischer Nutzen:
- Wichtige Anwendungen in der Kryptographie und rechnergestützten Zahlentheorie
- Anwendbar auf die Untersuchung von Reduktionstypen elliptischer Kurven
- Hilfreich für die Optimierung von Algorithmen basierend auf dem Chinesischen Restsatz
- Grenzen bisheriger Forschung: Wang stellte in 23 Vermutungen für den Fall p≤5 auf, es fehlten jedoch vollständige Beweise und allgemeinere Ergebnisse.
- Forschungsmotivation:
- Bereitstellung unterer Schranken für die Teilbarkeit der Koeffizienten modularer Polynome
- Erweiterung auf den allgemeinen Fall singulärer Moduli
- Theoretische Unterstützung für Rechensalgorithmen
- Hauptsatz 1.1: Für das modulare Polynom ΦN(X,Y)=∑0≤i,j≤ψ(N)ai,jXiYj wird eine exakte untere Schranke für die p-adische Bewertung der Koeffizienten ai,j angegeben, wenn i+j<ψ(N).
- Hauptsatz 1.2: Das Ergebnis wird auf den Fall rationaler singulärer Moduli J∈Z erweitert, und es wird bewiesen, dass die Koeffizienten von ΦN(X+J,Y+J) stärkere Teilbarkeitseigenschaften aufweisen.
- Rechnerische Optimierung: Durch die vorhergesagten Teilbarkeitseigenschaften kann der für die Speicherung der Koeffizienten modularer Polynome erforderliche Speicherplatz erheblich reduziert werden (z.B. 43% Einsparung bei N=5).
- Theoretischer Rahmen: Etablierung eines allgemeinen Rahmens, der die Deformationstheorie elliptischer Kurven mit der Teilbarkeit der Koeffizienten modularer Polynome verbindet.
Untersuchung der unteren Schranken für die p-adische Bewertung vp(ai,j) der Koeffizienten von ΦN(X+J,Y+J) an der Primzahl p, wobei J eine spezifische algebraische Zahl ist (insbesondere singuläre Moduli).
Konstruktion eines kritischen Interpolationslemmas, das durch die Eigenschaften der Vandermonde-Determinante die Bewertung der Polynomkoeffizienten mit der Bewertung der Funktionswerte verbindet.
- Supersingularer Fall: Anwendung der Lubin-Tate-Theorie, Parametrisierung von Deformationen p-teilbarer Gruppen durch eine einparametrige Familie Γ(t)
- Allgemeiner Fall: Verwendung des Serre-Tate-Parameters q∈1+πA zur Parametrisierung von Deformationen elliptischer Kurven
Konstruktion einer Familie elliptischer Kurven Ek/K, die spezifische Bedingungen erfüllt:
- Jede Ek hat gute Reduktion
- v(j(Ek)−J)=v(j(Ek)−j(El))=n für alle k=l
- Für elliptische Kurven E~k, die mit Ek durch eine zyklische Isogenie vom Grad N verbunden sind, gelten angemessene Bewertungsbedingungen
- Einheitlicher Rahmen: Vereinigung von Wangs Vermutung und dem Fall singulärer Moduli unter einem gemeinsamen theoretischen Rahmen.
- Exakte Schranken: Nicht nur Existenzergebnisse, sondern auch exakte numerische Schranken werden bereitgestellt, und es wird bewiesen, dass diese Schranken in den meisten Fällen optimal sind.
- Rechnerische Machbarkeit: Die Methode ist rechnerisch durchführbar und kann praktisch auf die Berechnung und Speicheroptimierung modularer Polynome angewendet werden.
- Verwendung der Online-Datenbank LMFDB zur Beschaffung globaler Minimalmodelle elliptischer Kurven
- Nutzung der Datenbank modularer Polynome von Sutherland zur Verifizierung theoretischer Ergebnisse
- Rechnerische Verifikation für N≤400 und viele große Primzahlen N
- Besondere Überprüfung von 13 Fällen rationaler singulärer Moduli
Die Arbeit bietet eine vollständige Koeffizientenzerlegung von Φ5(X,Y) für N=5, die die theoretisch vorhergesagten Teilbarkeitseigenschaften demonstriert.
- Verifikation von Satz 1.1:
- Für p=2,3,5: Verifikation der Ungleichungen v2(ai,j)≥51(ψ(N)−i−j) usw.
- Für p≥11,p≡2(mod3): Verifikation allgemeinerer Schranken
- Speicheroptimierungseffekte:
- N=5: Reduktion von 523 Ziffern auf 298, Einsparung von 43%
- N=101: Reduktion von 6.383.216 Ziffern auf 5.606.370, Einsparung von 12%
- Analyse spezieller Fälle:
- Tabelle 1 listet Ausnahmebewertungen für 13 rationale singuläre Moduli auf
- Tabelle 2 zeigt die vollständige Faktorisierung der Koeffizienten von Φ5(X,Y)
Die Berechnungen zeigen, dass die in Satz 1.2 angegebenen Werte np in den meisten Fällen optimal sind, mit Verbesserungspotential nur in den Fällen D=−12 und D=−27.
- Gross-Zagier-Theorie: Diese Arbeit ist eine Variante der Theorie der Differenzen singulärer Moduli und erbt die von Gross-Zagier begründete Forschungstradition.
- Wangs Arbeiten: Direkte Antwort auf und Beweis von Wangs Vermutungen in 23 für den Fall p≤5.
- Rechnerische Aspekte: Bezug zu Forschungen über Berechnungsalgorithmen modularer Polynome von Bröker-Sutherland und anderen, bietet theoretische Unterstützung für CRT-basierte Algorithmen.
- Reduktionstheorie elliptischer Kurven: Enge Verbindung zur Forschung über Reduktionstypen elliptischer Kurven, insbesondere Anwendungen in 24.
- Beweis der erwarteten hohen Teilbarkeit der Koeffizienten modularer Polynome
- Etablierung einer vollständigen Theorie für den Fall singulärer Moduli
- Bereitstellung einer theoretischen Grundlage für rechnerische Optimierungen
- Für die Fälle p=2,3 sind komplexere technische Verfahren erforderlich
- Für bestimmte spezielle Diskriminanten (D=−12,−27) besteht noch Verbesserungspotential
- Der Speicheroptimierungseffekt nimmt bei großen N ab
- Weitere Optimierung der Schranken für die Fälle D=−12,−27
- Erweiterung auf nicht-rationale singuläre Moduli
- Entwicklung effizienterer Methoden zur Speicherung partieller Faktorisierungen
- Theoretische Tiefe: Geschickte Kombination von Deformationstheorie elliptischer Kurven, Modulformentheorie und p-adischer Analyse
- Praktischer Nutzen: Bereitstellung praktischer Optimierungslösungen für Berechnung und Speicherung modularer Polynome
- Vollständigkeit: Nicht nur Existenzbeweis, sondern auch exakte numerische Schranken
- Ausreichende Verifikation: Umfangreiche rechnerische Beispiele zur Verifizierung der theoretischen Ergebnisse
- Technische Komplexität: Für die Fälle p=2,3 sind zusätzliche technische Werkzeuge erforderlich, was die Komplexität des Beweises erhöht
- Optimierungseffekt: Der Speicheroptimierungseffekt ist bei großen N begrenzt
- Spezialfälle: Für bestimmte Diskriminanten werden noch nicht optimale Schranken erreicht
- Theoretischer Beitrag: Neue Perspektiven und Werkzeuge für die Theorie modularer Polynome
- Rechnerische Anwendungen: Wichtige Bedeutung für Isogenie-Berechnungen in der elliptischen Kurvenkryptographie
- Methodische Innovation: Anwendung der Deformationstheorie auf die Forschung modularer Polynome ist inspirierend
- Isogenie-Berechnungen in der elliptischen Kurvenkryptographie
- Effiziente Speicherung und Übertragung modularer Polynome
- Optimierung von CRT-basierten Algorithmen zur Berechnung modularer Polynome
Die Arbeit zitiert 24 relevante Literaturquellen, die wichtige Arbeiten aus mehreren Bereichen wie Modulformentheorie, Theorie elliptischer Kurven, Quaternion-Algebren und rechnergestützte Zahlentheorie umfassen, was die interdisziplinäre Natur und theoretische Tiefe der Forschung widerspiegelt.