Poincaré-Vermutung
Die Poincaré-Vermutung ist eine berühmte mathematische Behauptung über die Form dreidimensionaler Räume: Jeder Raum, der in einem bestimmten Sinne keine Löcher und keine Ränder hat, ist im Grunde eine Kugeloberfläche. Sie wurde 1904 aufgestellt und erst 2002/2003 von Grigori Perelman bewiesen.
Die Poincaré-Vermutung ist eine der bekanntesten Aussagen der Mathematik. Sie beschäftigt sich mit der Frage, wie man die Form eines Raumes erkennen kann, ohne ihn von außen zu sehen. Der französische Mathematiker Henri Poincaré stellte sie 1904 auf. Grob gesagt behauptet sie: Ein geschlossener dreidimensionaler Raum ohne Löcher und ohne Rand lässt sich immer zu einer Kugeloberfläche verformen. „Verformen“ heißt hier dehnen und stauchen, aber nicht schneiden und nicht kleben. Fast hundert Jahre lang konnte niemand beweisen, dass diese Behauptung stimmt.
Ein Jahrhundertproblem mit Preisgeld
Im Jahr 2000 setzte das Clay Mathematics Institute in den USA sieben Aufgaben auf eine Liste der wichtigsten offenen Probleme der Mathematik. Für jede davon wurde eine Million US-Dollar ausgeschrieben. Die Poincaré-Vermutung stand auf dieser Liste. Bis heute ist sie die einzige, die gelöst wurde.
Die Bedeutung liegt nicht im Preisgeld, sondern in der Frage dahinter. Mathematiker wollen wissen, welche Formen dreidimensionale Räume überhaupt annehmen können. Bei Flächen war das schon im 19. Jahrhundert geklärt: Es gibt die Kugel, den Ring mit einem Loch, den mit zwei Löchern und so weiter. Bei drei Dimensionen war der Fall ohne Löcher der schwierigste Baustein einer solchen Übersicht. Die Poincaré-Vermutung war also nicht eine Einzelfrage, sondern ein fehlendes Teil in einem größeren Bild.
Ein Nebeneffekt: Auch die Kosmologie interessiert sich für solche Aussagen. Niemand kann das Universum von außen betrachten. Wenn man seine Form bestimmen will, braucht man Kriterien, die man von innen prüfen kann. Genau darum geht es in diesem Zweig der Mathematik, der Topologie heißt.
Die Gummiband-Probe und Perelmans Beweis
Der Kern der Vermutung ist eine einfache Prüfung. Man legt eine geschlossene Schlaufe, etwa ein Gummiband, in den Raum. Dann versucht man, sie zu einem Punkt zusammenzuziehen, ohne den Raum zu verlassen. Auf einer Kugeloberfläche funktioniert das immer. Auf einem Autoreifen nicht: Ein Band, das durch das Loch gelegt ist, bleibt hängen. Poincaré vermutete, dass diese Probe in drei Dimensionen ausreicht, um die Kugelform zu erkennen.
Der Beweis kam von dem russischen Mathematiker Grigori Perelman. Er veröffentlichte ihn 2002 und 2003 in drei kurzen Texten im Internet, ohne Fachzeitschrift. Sein Werkzeug war der Ricci-Fluss, eine Idee von Richard Hamilton. Man behandelt den Raum dabei wie eine verbeulte Oberfläche, die sich selbst glattzieht. Mathematisch wird die Krümmung an jeder Stelle nach und nach ausgeglichen, ähnlich wie Wärme sich in einem Metallstück verteilt.
Das Problem: Beim Glattziehen können Stellen entstehen, an denen der Raum unendlich dünn wird und die Rechnung zusammenbricht. Perelman zeigte, wie man an solchen Stellen operiert, weiterrechnet und die Kontrolle behält. Am Ende bleibt nur die Kugelform übrig. Mehrere Arbeitsgruppen prüften den Beweis jahrelang und fanden keinen Fehler.
Perelmans Absage und die Rolle in den Medien
Bekannt wurde der Fall vor allem wegen Perelmans Verhalten. 2006 erhielt er die Fields-Medaille, die höchste Auszeichnung der Mathematik, und lehnte ab. 2010 verzichtete er auch auf die Million Dollar des Clay-Instituts. Als Begründung nannte er unter anderem, dass Hamiltons Beitrag nicht angemessen gewürdigt werde. Seitdem lebt er zurückgezogen in Sankt Petersburg.
In Nachrichten und Debatten dient die Poincaré-Vermutung heute oft als Beispiel. Sie zeigt, dass manche Probleme Jahrzehnte brauchen und nicht durch mehr Rechenleistung fallen. Wenn über KI-Systeme diskutiert wird, die Mathematik beweisen sollen, taucht sie als Maßstab auf: Solche Beweise bestehen aus neuen Begriffen, nicht aus langen Rechnungen. Kein heutiges Programm könnte Perelmans Argumentation selbst finden.
Ein häufiger Irrtum ist, die Vermutung sei nur für drei Dimensionen interessant. Tatsächlich war der dreidimensionale Fall der letzte offene. Für fünf und mehr Dimensionen lag der Beweis schon seit den 1960er-Jahren vor, der vierdimensionale Fall wurde 1982 geklärt. Ausgerechnet die Dimension, in der wir leben, war die härteste.