Für die Oberfläche eines Torus, wie es beispielsweise ein Autoreifen ist, gilt das nicht. Zwar gibt es auch hier die Möglichkeit, eine Seilschlinge so zu verlegen, dass man sie zum Punkt zusammenziehen kann. Aber wenn die Schlinge das Loch oder aber den Reifenschlauch selbst zwischen sich hat, kann man sie nicht zusammenziehen, ohne dass sie die Torusoberfläche verlässt. Deshalb ist die Torusoberfläche aus topologischer Sicht etwas grundlegend anderes als die Kugeloberfläche.
Dagegen ähnelt die Oberfläche einer Tasse der eines Torus. Stellt man sich die Tasse aus verform- und dehnbarem Gummi vor, dann kann man sie zu einem Reifen umformen, ohne sie dabei irgendwo zu zerreißen oder aufzuschneiden. Wichtig ist nur, dass das vom Henkel umformte Loch erhalten bleibt.
Poincaré selbst hat seine Vermutung für den anschaulichen Fall zweidimensionaler Oberflächen von dreidimensionalen Objekten bewiesen. Inzwischen ist seine Vermutung für fast alle Dimensionen bewiesen worden. Kurioserweise fehlt bisher ausgerechnet der dreidimensionale Fall, der für die Topologie unseres Universums relevant sein könnte.
Einen wichtigen Beitrag lieferte um 1980 William Thurston von der Cornell-Universität. Zwar hatte er keinen Beweis, sondern nur eine weitere Vermutung, aber eine, die sich als entscheidender Schritt herausstellen sollte. Er behauptete, dass es im dreidimensionalen Fall acht topologische Objekte gibt, aus denen man in einer Art Baukastenprinzip alle möglichen Objekte “zusammenbauen” kann.
Thurstons Behauptung ermöglicht eine Klassifizierung dreidimensionaler Räume, mit deren Hilfe Poincarés Vermutung sofort beweisbar ist. Die Herausforderung lag also jetzt darin, Thurstons Vermutung zu beweisen.
Dies scheint nun Grigori Perelman vom Steklov-Institut für Mathematik in Sankt Petersburg gelungen zu sein. Er veröffentlichte Ende 2002 einen Beweis, der seitdem von Mathematikern in aller Welt auf Herz und Nieren geprüft wird. Bisher wurde kein Fehler gefunden. Sollte dies so bleiben, dann winken Perelman der vom Clay Mathematics Institute in Cambridge für die Lösung des Beweises ausgesetzte Preis: eine Million Dollar.