Poincaré-Vermutung

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Die Poincaré-Vermutung galt lange als das bedeutendste ungelöste Problem in der Topologie. Sie ist benannt nach Henri Poincaré und wurde von diesem 1904 formuliert. Im Jahr 2000 zählte das Clay Mathematics Institute die Poincaré-Vermutung unter die sieben bedeutendsten ungelösten mathematischen Probleme und lobte für die Lösung einen Preis von einer Million US-Dollar aus.

Inzwischen ist die Vermutung höchstwahrscheinlich bewiesen: Der russische Mathematiker Grigori („Grisha“) Perelman legte 2002 mehrere Arbeiten vor, die von der Fachwelt seitdem geprüft wurden. Allen bisherigen Einschätzungen zufolge wurde die Poincaré-Vermutung bewiesen. Perelman erhielt eine der Fields-Medaillen zugesprochen, die beim Internationalen Mathematikerkongress 2006 in Madrid vergeben werden sollte, lehnte die Entgegennahme jedoch ab. Die Verleihung an Perelman wird allgemein als „offizielle“ Anerkennung des Beweises angesehen.

Die Poincaré-Vermutung lautet:

Jede geschlossene einfach zusammenhängende 3-dimensionale Mannigfaltigkeit ist homöomorph zur 3-Sphäre.

Eine fachsprachlich genauere Formulierung ist: „Eine kompakte dreidimensionale Mannigfaltigkeit hat genau dann eine triviale Fundamentalgruppe, wenn sie homöomorph zur 3-Sphäre ist.“ Eine allgemeinverständlichere Variante ist dagegen: „Es gibt ein untrügliches Kennzeichen, um einen topologisch komplizierten dreidimensionalen Raum von einem einfachen zu unterscheiden.“

Darüber hinaus gibt es noch eine Verallgemeinerung der Vermutung auf n-dimensionale Mannigfaltigkeiten in der folgenden Form:

Jede geschlossene n-Mannigfaltigkeit mit dem Homotopietyp einer n-Sphäre ist zur n-Sphäre homöomorph.

Für den Fall $n = 3$ stimmt diese verallgemeinerte Vermutung mit der ursprünglichen Poincaré-Vermutung überein.

Vereinfacht kann man die Poincaré-Vermutung so beschreiben:

Die Oberfläche einer Kugel ist 2-dimensional, beschränkt, randlos und jede geschlossene Kurve lässt sich auf einen Punkt zusammenziehen, welcher auch auf der Kugel liegt. Sie ist auch das einzige 2-dimensionale Gebilde mit diesen Eigenschaften. Bei der Poincaré-Vermutung geht es um das 3-dimensionale Analogon: Hier geht es um eine 3-dimensionale „Oberfläche“ auf einem 4-dimensionalen Körper.

Inhaltsverzeichnis

1 Erläuterungen
2 Die Vermutung in höheren Dimensionen
3 Geschichte der Vermutung und ihrer Beweise
4 Bedeutung der Vermutung
5 Literatur
6 Weblinks

[Bearbeiten] Erläuterungen

Mannigfaltigkeit: Eine 3-dimensionale Mannigfaltigkeit ist etwas, das in einer Umgebung jedes Punktes auf der Mannigfaltigkeit wie ein 3-dimensionaler euklidischer Raum aussieht.
Geschlossen: Geschlossen bedeutet in diesem Zusammenhang, dass die Mannigfaltigkeit beschränkt ist (also sich nicht ins Unendliche ausdehnt), und dass sie keinen Rand hat. Eine dreidimensionale Kugel ist etwa eine 3-Mannigfaltigkeit, aber sie hat einen Rand (die Oberfläche), daher ist sie nicht geschlossen. Ihre Oberfläche ist dagegen eine geschlossene 2-dimensionale Mannigfaltigkeit. Die Poincaré-Vermutung stellt nur eine Behauptung für geschlossene Mannigfaltigkeiten auf.
Einfach zusammenhängend: Einfach zusammenhängend bedeutet, dass man jede geschlossene Kurve auf einen Punkt zusammenziehen kann. Ein Gummiband auf einer Kugeloberfläche lässt sich immer so auf der Oberfläche verschieben, dass es zu einem Punkt wird. Auf einem Torus (etwa einem Fahrradschlauch) beispielsweise funktioniert das Zusammenziehen nicht immer: Wenn das Gummiband rund um die dünnere Seite des Fahrradschlauches läuft, kann man es nie zu einem Punkt zusammenziehen (man müsste den Schlauch zerschneiden, was in der Topologie nicht erlaubt ist). Daher ist ein Torus nicht einfach zusammenhängend.
3-Sphäre: Allgemein ist eine n-Sphäre (Bezeichnung: $S n$ ) der Rand einer (n+1)-dimensionalen Kugel. Eine 1-Sphäre ist der Rand eines Kreises. Eine 2-Sphäre ist die Oberfläche einer 3-dimensionalen Kugel. Eine 3-Sphäre ist die Oberfläche einer 4-dimensionalen Kugel. Dieses Objekt kann man sich natürlich nicht mehr einfach vorstellen, weil es eigentlich in einem 4-dimensionalen Raum „lebt“. Mathematisch kann man die 3-Sphäre natürlich mit Formeln beschreiben: als alle Punkte im 4-dimensionalen Raum, die den Abstand 1 vom Nullpunkt haben:; $S^3 = \{(x_1,x_2,x_3,x_4)| x_1^2 + x_2^2 + x_3^2 + x_4^2 =1 \}$; Eine 2-Sphäre besteht aus zwei (hohlen) Halbkugeln, die an den Rändern zusammengefügt sind. Topologisch sind diese hohlen Halbkugeln eigentlich Kreisflächen (wenn man sie von oben plattdrückt, entstehen zwei Scheiben). Damit kann man eine 2-Sphäre erhalten, indem man zwei Kreisflächen an den Rändern zusammenklebt. Genauso kann man ein relativ anschauliches Bild einer 3-Sphäre konstruieren. Man nimmt zwei Kugeln (entspricht den Kreisflächen im 2-Dimensionalen) und "klebt" sie an den entsprechenden Punkten der Oberfläche zusammen. Ein Weg auf der 3-Sphäre beginnt damit in einer der beiden Kugeln. Wenn man zum Rand kommt, dann springt man auf den entsprechenden Punkt der zweiten Kugel und umgekehrt. Auf diese Weise kann man Wege auf der 3-Sphäre im 3-dimensionalen Raum beschreiben. Man sieht auf diese Weise auch, dass es nirgendwo einen Rand gibt. Damit ist die 3-Sphäre geschlossen.

[Bearbeiten] Die Vermutung in höheren Dimensionen

Für n größer als 3 benötigt man den technischen Begriff der Homotopie. Zwei Mannigfaltigkeiten haben den gleichen Homotopietyp, wenn ihre Homotopiegruppen übereinstimmen. Für den Fall n=3 gilt nach Silcher die Aussage, dass eine einfach zusammenhängende Mannigfaltigkeit den gleichen Homotopietyp wie die 3-Sphäre hat. Damit ist die n-dimensionale Formulierung zur normalen Poincaré-Vermutung äquivalent.

[Bearbeiten] Geschichte der Vermutung und ihrer Beweise

Ursprünglich hatte Poincaré eine etwas andere Vermutung aufgestellt: Er glaubte, dass jede geschlossene Mannigfaltigkeit, die die gleiche Homologie (nicht Homotopie!) wie eine Sphäre besitzt, schon topologisch eine Sphäre sein muss. Dabei bedeutet „die Homotopie einer Sphäre zu haben“, dass jede topologisch in die Mannigfaltigkeit immersierte $(n - 1)$ -Sphäre der Rand einer immersierten $n$ -dimensionalen Kugel in der Mannigfaltigkeit ist. Die entsprechende Homologie zu haben bedeutet jedoch nur, dass jede immersierte $(n - 1)$ -Sphäre der Rand eines beliebigen $n$ -dimensionalen simplizialen Komplexes ist. Poincaré glaubte ursprünglich, einen Beweis zu haben, der mit dieser schwächeren Voraussetzung auskommt. Bald darauf entdeckte er jedoch selbst einen Fehler und fand mit der Poincaré-Homologiesphäre ein Gegenbeispiel zur ursprünglichen Vermutung in Dimension drei: Sie hat triviale Homologie, aber nicht-triviale Homotopie, da sie nicht einfach zusammenhängend ist. Daher änderte er seine Vermutung auf die heute bekannte Aussage.

Für $n = 2$ ist die Aussage bewiesen; in diesem Fall sind sogar alle (geschlossenen) 2-dimensionalen Mannigfaltigkeiten bekannt und klassifiziert.

Im Fall $n\geq 5$ ist die Vermutung ebenso bewiesen. Stephen Smale hat diesen Beweis 1960 präsentiert und erhielt unter anderem dafür die Fields-Medaille. Michael Freedman löste den Fall $n = 4$ im Jahre 1982. Auch er erhielt dafür 1986 die Fields-Medaille.

Der Fall $n = 3$ hat sich (nicht überraschend) als der schwierigste erwiesen. Viele Mathematiker haben Beweise vorgelegt, die sich dann aber als falsch erwiesen. Dennoch haben einige dieser fehlerhaften Beweise das Verständnis der niedrig-dimensionalen Topologie erweitert.

Ende des Jahres 2002 tauchten Meldungen auf, Grigori Perelman vom Steklov-Institut in Sankt Petersburg habe die Vermutung bewiesen. Er verwendet die von Richard Hamilton entwickelte analytische Methode des Ricci-Flusses, um die allgemeinere Vermutung der Geometrisierung von 3-Mannigfaltigkeiten zu beweisen, aus der die Poincaré-Vermutung als Spezialfall folgt. Dabei veröffentlichte Perelman seine Arbeiten nicht, wie vom Clay Mathematics Institute gefordert, in einer begutachteten Zeitschrift, sondern im Online-Archiv arXiv und erklärte zugleich, er sei nicht materialistisch. Die sich über mehrere Publikationen erstreckende und insgesamt etwa 70 Seiten umfassende Beweiskette wurde seitdem von Mathematikern weltweit überprüft. In Anerkennung der Richtigkeit seines Beweises hat Grigori Perelman 2006 die Fields-Medaille erhalten, die er aber, wie angekündigt, nicht angenommen hat.

Da Perelman selbst kein Interesse an einer detaillierteren Darstellung seines Beweises zeigt, haben verschiedene Gruppen von Mathematikern dies übernommen: So haben Bruce Kleiner und John Lott bereits bald nach Bekanntwerden von Perelmans Arbeiten ihre Ausarbeitung vieler Details veröffentlicht und immer wieder zu inzwischen 192 Seiten ergänzt. John Morgan und Gang Tian haben eine vollständige Ausarbeitung von 474 Seiten im Juli 2006 auf dem ArXiv veröffentlicht. Auch Huai-Dong Cao und Xi-Ping Zhu veröffentlichen 2006 einen Beweis der Poincaré-Vermutung und der Geometrisierung, indem sie den Beweis von Perelman auf 300 Seiten genau ausgearbeitet darlegten.

[Bearbeiten] Bedeutung der Vermutung

Falls die Vermutung bewiesen ist, wäre damit ein wichtiger Beitrag zur Klassifizierung aller 3-Mannigfaltigkeiten geliefert. Dies liegt daran, dass Perelman eigentlich die Allgemeinere Geometrisierungsvermutung geschlossener 3-Mannigfaltigkeiten beweist, die die Poincaré-Vermutung als einen Spezialfall enthält.

[Bearbeiten] Literatur

Grisha Perelman: The entropy formula for the Ricci flow and its geometric applications, Preprint 2002 (Englisch)
Grisha Perelman: Ricci flow with surgery on three-manifolds, Preprint 2003 (Englisch)

Bruce Kleiner, John Lott: Notes on Perelman's papers Detaillierte Ausarbeitung einzelner Argumente und Beweise von Perelman.

John Morgan, Gang Tian: Ricci Flow and the Poincare Conjecture, Detaillierter Beweis der Poincaré-Vermutung (englisch).

Huai-Dong Cao, Xi-Ping Zhu: A Complete Proof of the Poincaré and Geometrization Conjectures - Application of the Hamilton-Perelman theory of the Ricci flow. in: Asian Journal of Mathematics. International Press, Boston Mass 10.2006, 2 (June), 165-492. ISSN 1093-6106 (Abstract)