Poincaré conjecture

A three-manifold is a space that locally resembles ordinary three-dimensional space. In this theorem, closed means compact and without boundary, while simply connected means that every loop in the space can be continuously contracted to a point. The conjecture says that any closed, simply connected three-manifold is homeomorphic—that is, topologically equivalent—to S³, the 3-sphere. The 3-sphere is not the familiar two-dimensional surface of a ball: it is the set of points at a fixed distance from a centre in four-dimensional Euclidean space. The condition on loops gives a useful intuition for the result, but the theorem is a precise classification statement about three-dimensional manifolds.

Poincaré proposed the question in 1904 while investigating how manifolds could be distinguished by their topological properties. In two dimensions, the related idea is more familiar: a closed surface on which every loop can shrink to a point is topologically a sphere. Extending this kind of characterization to three dimensions proved much harder. The problem became a landmark in the study of 3-manifolds and was later included among the Clay Mathematics Institute's Millennium Prize Problems.

The solution grew from a geometric method called Ricci flow, developed by Richard Hamilton. In broad terms, Ricci flow evolves the geometry of a manifold, in a way that can be compared loosely to heat diffusion smoothing temperature differences. The process can develop singularities, so a proof must control how these form and how the geometry can be continued through them. In preprints posted in 2002 and 2003, Grigori Perelman introduced crucial estimates and techniques that completed this program. His work established not only the Poincaré conjecture but the broader Geometrization Conjecture of William Thurston, of which the Poincaré result is a special case. Later, John Morgan and Gang Tian published a detailed exposition of the proof.

The theorem answers a basic recognition question: under the stated conditions, there is only one topological type of closed, simply connected three-manifold, namely the 3-sphere. It is important both as a major result in its own right and as a special case of geometrization, which describes how compact three-manifolds are built from pieces with standard geometric structures. The proof also demonstrated how methods from geometry and analysis can resolve a problem originally posed in topology.