Die abc-Vermutung und der Streit um Mochizukis Beweis

Die abc-Vermutung ist eines der bedeutendsten ungelösten Probleme in der diophantischen Analysis und stellt eine zentrale Verbindung zwischen additiven und multiplikativen Strukturen in der Zahlentheorie dar. Die Vermutung, dass das Produkt der verschiedenen Primfaktoren von a, b und c (wobei a + b = c) nicht beliebig klein im Vergleich zu c sein kann, hat weitreichende Konsequenzen für die Theorie der ganzen Zahlen. Tausende von „abc-Treffern“ wurden bereits durch Computerprojekte wie ABC@Home gefunden, was die Heuristik der Vermutung stark stützt. Dennoch bleibt sie unbewiesen.

Im Jahr 2012 überraschte der japanische Mathematiker Shin’ichi Mochizuki die Welt mit seiner Inter-universal Teichmüller-Theorie (IUT), die er als Beweis der abc-Vermutung präsentierte. Die IUT, die über 500 Seiten umfasst, entkoppelt Addition und Multiplikation in separaten mathematischen „Universen“ – den sogenannten Hodge-Theatern – und verbindet sie über Theta-Links. Dieser radikale Ansatz zielt darauf ab, fundamentale Hindernisse der klassischen Arithmetischen Geometrie zu überwinden. Allerdings ist die Theorie so komplex und terminologisch neu, dass nur wenige Experten außerhalb Japans in der Lage sind, den Beweis nachzuvollziehen.

Die Isolation Mochizukis, der ohne vorherige Ankündigung an die Kollegen agierte und lange auf Kritik und Medienanfragen reagierte, führte zu einer Pattsituation. Die globale mathematische Gemeinschaft konnte den Beweis nicht durch den üblichen Prozess des Peer-Reviews und der kollektiven Validierung prüfen. Dieses Vakuum führte zu einer Spaltung zwischen Befürwortern, die Mochizukis Genie loben, und Skeptikern, die die Unverständlichkeit als Warnsignal werten.

Der Konflikt kristallisierte sich 2018, als der Fields-Medaillengewinner Peter Scholze und Jakob Stix einen detaillierten Bericht veröffentlichten, in dem sie einen nicht behebbaren logischen Fehler in einem zentralen Korollar (3.12) von Mochizukis Beweis identifizierten. Scholze argumentierte, dass Mochizuki zwei identische Strukturen fälschlicherweise als unterschiedlich behandelte, was die gesamte Argumentationskette zusammenbrechen lasse. Mochizuki reagierte nicht mit wissenschaftlicher Debatte, sondern mit aggressiven persönlichen Angriffen auf seine Kritiker und bezeichnete sie als ignorant. Diese Eskalation verschärfte die Polarisierung.

Ein weiterer kritischer Aspekt ist die Publikation von Mochizukis Arbeit im Jahr 2021 in den „Publications of the Research Institute for Mathematical Sciences“ (RIMS), wobei Mochizuki selbst Chefredakteur des Journals ist. Kritiker sehen darin ein Versagen des Peer-Review-Prozesses und eine institutionelle Verharmlosung der offenen Kritik führender Mathematiker, was die Validität des Beweises suggeriert, obwohl keine breite Akzeptanz vorliegt.

In jüngster Zeit hat sich Kirti Joshi in den Streit eingemischt, indem er behauptete, den Konflikt beigelegt zu haben. Joshi argumentierte, dass die Kritik von Scholze und Stix auf mathematisch falschen Prämissen beruhe und dass er eine robustere Version der Theorie basierend auf p-adischer Arithmetik entwickelt habe. Er erkennt jedoch an, dass Mochizukis ursprünglicher Beweis unvollständig ist. Diese Position wird von der Mehrheit der Fachwelt jedoch nicht akzeptiert.

Gegen das Hauptnarrativ, dass Mochizukis Beweis aufgrund seiner Komplexität und Isolation nicht akzeptiert werden kann, müssen substanzielle Gegenargumente gewogen werden. Die Skepsis der Community beruht nicht nur auf Vorurteilen oder Egoismus, sondern auf einem fundamentalen methodischen Problem: Ein mathematischer Beweis muss prinzipiell überprüfbar sein. Wenn die Sprache eines Beweises so neu ist, dass sie keine Brücke zu bestehenden Erkenntnissen schlägt, bleibt sie im Wesentlichen eine private Konstruktion.

Ein Hoffnungsschimmer für die Lösung des Streits liegt in der Computer-Verifikation. Das Projekt LANA (Lean Arithmetic Network) versucht, Mochizukis Theorie mit der Beweishilfesprache Lean zu formalisieren. Der Ansatz ist vielversprechend, da er menschliche Interpretation durch maschinenlesbaren Code ersetzen könnte. Allerdings ist das Projekt an der gleichen strittigen Stelle gescheitert, die Scholze und Stix identifizierten: Die Äquivalenz von q-pilot log-volumes lässt sich nicht klar formalisieren, weil die Originalpapiere dies nicht ausreichend erklären.

Offene Fragen bleiben zahlreich. Ist die IUT eine neue, gültige mathematische Sprache, die nur Zeit braucht, um verstanden zu werden? Oder ist sie ein Sackgassen-Experiment, das auf einem fundamentalen Missverständnis beruht? Die Tatsache, dass nach mehr als zehn Jahren kein Konsens erreicht wurde und keine dritte Partei den Beweis verdichten konnte, deutet stark auf Letzteres hin.

Fazit: Die abc-Vermutung bleibt offen. Mochizukis Beweis wird von der internationalen mathematischen Gemeinschaft weiterhin als nicht anerkannt betrachtet. Die Kombination aus extremer Komplexität, fehlender Kommunikation, einem kontroversen Publikationsprozess und einer identifizierten logischen Lücke macht es unwahrscheinlich, dass der Beweis akzeptiert wird. Die mathematische Wahrheit bleibt weiterhin ein offenes Rätsel.

— Twight Sterling, Sigil & Spark