Der Satz, der aussagt, dass jede elliptische Kurve über Q modulär ist: ihre Hasse–Weil‑L‑Funktion stimmt mit der L‑Funktion einer cuspidalen Newform vom Gewicht zwei und vom Niveau gleich dem Leiter der Kurve überein, wodurch eine Entsprechung zwischen rationalen elliptischen Kurven und bestimmten Modulformen hergestellt wird.

Prinzip

Arithmetische Objekte (elliptische Kurven über Q) besitzen analytische Repräsentanten (Modulformen), deren Fourierreihen und L‑Funktionen die Arithmetik der Kurve kodieren und den Austausch von Informationen zwischen algebraischer Geometrie und analytischer Theorie erlauben.

Demonstration

Zu einer elliptischen Kurve E/Q mit Leiter N existiert eine Gewicht‑2‑Newform f für Γ_0(N) mit L(E,s)=L(f,s). Konkret liefern modulare Parametrisierungen Abbildungen von X_0(N) auf E, die für fast alle Primzahlen die lokalen Euler‑Faktoren abgleichen.

Fehlanwendung

Die Aussage unwidersprochen auf elliptische Kurven über beliebigen Zahlkörpern oder auf höherdimensionale abelsche Varietäten zu übertragen; anzunehmen, Modularität ermögliche in allen Fällen eine einfache Berechnung von Rängen ohne Untersuchung der zugehörigen L‑Funktion.

Konsequenz

Gewährleistet analytische Fortsetzung und Funktionalgleichung der L‑Funktionen elliptischer Kurven, erlaubt die Konstruktion zugeordneter galoisscher Darstellungen und bildet die Grundlage zahlreicher tiefer Resultate, die arithmetische Invarianten mit analytischen Eigenschaften verbinden.

Umkehrung

Wäre eine elliptische Kurve nicht modulär, entstünde ihre L‑Funktion nicht aus einer Modulform und viele Werkzeuge (modulare Parametrisierungen, Hebungsargumente) stünden nicht zur Verfügung, wodurch die Brücke zwischen Analysis und Arithmetik getrennt würde.

Abgrenzung

Der Satz betrifft elliptische Kurven über Q und Modulformen vom Gewicht zwei für Kongruenzuntergruppen; Verallgemeinerungen (potenzielle Modularität, Hilbert‑Modularität) bedürfen anderer Voraussetzungen und fallen nicht in den Kern des Satzes.

Semantische Spannung

Spannung zur allgemeinen Langlands‑Reziprozität: Der Modularitätssatz ist ein spezieller niederdimensionaler Fall der erwarteten Entsprechungen zwischen automorphen Formen und galoisschen Darstellungen und steht in Wechselwirkung mit Konzepten wie potentieller Modularität und Lifting.

Synthese

Der Modularitätssatz identifiziert jede rationale elliptische Kurve mit einer konkreten Modulform, deren L‑Funktion mit der der Kurve übereinstimmt; diese Entsprechung überträgt geometrische und arithmetische Fragen in die analytische Sprache der Modulformen und umgekehrt.