Modularitätssatz

Der Modularitätssatz (früher Taniyama-Shimura-Vermutung) ist ein mathematischer Satz über elliptische Kurven und Modulformen. Er wurde 1958 von Yutaka Taniyama und Gorō Shimura vermutet und im Jahr 2001 von Christophe Breuil, Brian Conrad, Fred Diamond und Richard Taylor bewiesen, nachdem bereits Andrew Wiles im Jahr 1994 (veröffentlicht 1995) den wichtigsten und schwierigsten Fall der semistabilen Kurven gezeigt hatte. Der Satz und sein Beweis gelten als einer der großen mathematischen Fortschritte des 20. Jahrhunderts. Konsequenzen des Modularitätssatzes sind unter anderem der große Satz von Fermat und die Wohldefiniertheit der Vermutung von Birch und Swinnerton-Dyer, da über den Modularitätssatz eine analytische Fortsetzung der zur elliptischen Kurve gehörigen L-Funktion garantiert wird. Heutzutage wird der Modularitätssatz als ein Spezialfall der sehr viel allgemeineren und wichtigeren Serre-Vermutung über Galois-Darstellungen gesehen. Diese wurde, aufbauend auf der Arbeit von Andrew Wiles, 2006 von Chandrashekhar Khare, Jean-Pierre Wintenberger und Mark Kisin bewiesen.