Conjecture de Poincaré - Définition

Éléments liés à la preuve de la conjecture

Si la conjecture a induit une longue liste de preuves incorrectes, certaines d'entre elles ont toutefois mené à une meilleure compréhension de la topologie en petites dimensions.

Sa résolution est liée au problème de classification des variétés de dimension 3. Une classification des variétés de dimension 3 est généralement considérée comme la production d'une liste de toutes les variétés de dimension 3 à un homéomorphisme près (sans répétition). Une telle classification est équivalente à un algorithme de reconnaissance, qui pourrait vérifier si deux variétés de dimension 3 sont homéomorphes ou pas.

On peut ainsi considérer la conjecture de Poincaré comme un cas particulier de la conjecture de géométrisation de Thurston. Cette dernière conjecture, une fois prouvée (ce qu'a fait Grigori Perelman en 2003), achève la question de la classification des variétés de dimension 3.

Les seules parties de la conjecture de géométrisation qu'il restait à démontrer après sa formulation par Thurston vers 1980, étaient appelées la conjecture d'« hyperbolisation » et la conjecture d'« elliptisation ». La conjecture d'« elliptisation » déclare que toute variété de dimension 3 fermée ayant un groupe fondamental fini, a une géométrie sphérique, c'est-à-dire est couverte par la 3-sphère. La conjecture de Poincaré correspond au cas où le groupe fondamental est trivial.