Poincaré conjecture
Henri Poincaré published his paper Analysis Situs in 1895, announcing a new way to study shapes through topological invariants. He introduced the fundamental group as a tool to distinguish between different three-dimensional spaces. In his second supplement released in 1900, he stated that a closed connected oriented manifold with the homology of a sphere must be homeomorphic to a sphere. This statement appeared correct at first glance and seemed to resolve questions about characterizing manifolds. However, Poincaré soon realized his theorem was flawed when he constructed a counterexample. His fifth and final supplement, published in 1904, presented the Poincaré homology sphere. This object is a closed connected three-dimensional manifold which has the same homology as a sphere but possesses a fundamental group containing exactly 120 elements. The discovery forced him to modify his original claim and shift focus from homology groups to the fundamental group itself. He asked whether triviality of the fundamental group uniquely characterizes the sphere, though he never claimed certainty on the answer.
J. H. C. Whitehead claimed to prove the conjecture in the 1930s before retracting his argument entirely. During this process, he discovered examples of simply-connected non-compact three-manifolds not homeomorphic to Euclidean space. These objects became known as Whitehead manifolds and highlighted subtle errors lurking within early attempts. Other mathematicians including Georges de Rham, R. H. Bing, Wolfgang Haken, Edwin E. Moise, and Christos Papakyriakopoulos tried to solve the problem during the 1950s and 1960s. Each effort ended with flaws that were difficult to detect until scrutiny revealed them. In 1958, R. H. Bing proved a weak version stating that if every simple closed curve of a compact three-manifold is contained in a three-ball, then the manifold is homeomorphic to the three-sphere. Włodzimierz Jakobsche showed in 1978 that if the Bing, Borsuk conjecture holds true in dimension three, then the Poincaré conjecture must also be true. John Milnor noted that errors in false proofs could be rather subtle and difficult to detect. Experts often viewed any announcement of proof with skepticism due to these repeated failures.
Richard S. Hamilton published his foundational paper on Ricci flow in 1982, introducing a method to deform Riemannian metrics on manifolds. The technique mimics how heat diffuses through an object by expanding negative curvature regions while contracting positive ones. Hamilton demonstrated that if a compact simply-connected three-manifold supports a metric of constant positive curvature everywhere, it must be diffeomorphic to the three-sphere. This result established a special case of the conjecture but left open the general problem involving arbitrary metrics. He developed equations describing how the metric evolves over time, hoping to simplify complex shapes into rounder forms. Singularities emerged as obstacles where the flow stopped functioning or became undefined at sharp points like corners or cusps. Hamilton created lists of possible singularities that might form during deformation but worried some would cause insurmountable difficulties. His program required understanding exactly which types of singularities occur so they could be managed or removed without breaking the entire process.
Grigori Perelman posted three papers on the arXiv repository starting the 11th of November 2002 and continuing through 2003. These documents outlined a complete proof using modified Ricci flow with surgery techniques to handle singularities. He showed that any singularity appearing in finite time resembles either shrinking spheres or cylinders rather than unpredictable shapes. By cutting along these singularities and capping them off, he transformed complicated manifolds into collections of simple components. Perelman used an object called Reduced Volume to prove that certain troublesome configurations like cigar soliton solutions do not persist indefinitely. His work demonstrated that all strands forming during deformation can be cut and capped without leaving anything sticking out on one side only. A final paper completed the argument by proving that infinitely many cuts are unnecessary because minimal surfaces eventually become small enough to allow only sphere removals. This approach resolved both the Poincaré conjecture and William Thurston's more powerful geometrization conjecture simultaneously.
Several independent teams studied Perelman's papers between May and July 2006 to fill in missing details and confirm validity. Bruce Kleiner and John W. Lott published their exposition in Geometry and Topology journal in 2008 after correcting minor errors found later. Huai-Dong Cao and Xi-Ping Zhu released their version in June 2006 within the Asian Journal of Mathematics before revising it following criticism about credit attribution. John Morgan and Gang Tian posted a detailed proof on arXiv in July 2006 which expanded into a full book. All three groups concluded that gaps in Perelman's original manuscripts were minor and could be filled using his own techniques. The Clay Mathematics Institute recognized the achievement by declaring the proof complete after years of scrutiny. Science magazine named the resolution Breakthrough of the Year for 2006, placing it prominently on its cover. These efforts established the geometrization conjecture as a foundational result governing all three-dimensional manifolds.
The International Congress of Mathematicians awarded Grigori Perelman the Fields Medal on the 22nd of August 2006 during a ceremony in Madrid. He refused to accept the medal worth fifteen thousand Canadian dollars despite being honored for his work on Ricci flow. On the 18th of March 2010, the Clay Mathematics Institute offered him one million US dollars as part of their Millennium Prize Problem list. Perelman rejected this award as well, stating publicly that Richard Hamilton's contribution had been equal to his own. Richard S. Hamilton received the Shaw Prize in 2011 and the Leroy P. Steele Prize for Seminal Contribution to Research in 2009 for his earlier program. John Morgan spoke at the ICM on the 24th of August 2006, declaring that Perelman solved the problem back in 2003. Despite global attention and multiple honors, Perelman remained absent from academic circles and declined all formal recognition attached to his discovery.
Up Next
Common questions
What did Henri Poincaré publish in 1895?
Henri Poincaré published his paper Analysis Situs in 1895, announcing a new way to study shapes through topological invariants. He introduced the fundamental group as a tool to distinguish between different three-dimensional spaces.
When did Grigori Perelman post papers on the arXiv repository?
Grigori Perelman posted three papers on the arXiv repository starting the 11th of November 2002 and continuing through 2003. These documents outlined a complete proof using modified Ricci flow with surgery techniques to handle singularities.
Why did Richard S. Hamilton introduce Ricci flow in 1982?
Richard S. Hamilton published his foundational paper on Ricci flow in 1982, introducing a method to deform Riemannian metrics on manifolds. The technique mimics how heat diffuses through an object by expanding negative curvature regions while contracting positive ones.
Who refused the Fields Medal awarded on the 22nd of August 2006?
The International Congress of Mathematicians awarded Grigori Perelman the Fields Medal on the 22nd of August 2006 during a ceremony in Madrid. He refused to accept the medal worth fifteen thousand Canadian dollars despite being honored for his work on Ricci flow.
What happened when J. H. C. Whitehead claimed to prove the conjecture in the 1930s?
J. H. C. Whitehead claimed to prove the conjecture in the 1930s before retracting his argument entirely. During this process, he discovered examples of simply-connected non-compact three-manifolds not homeomorphic to Euclidean space known as Whitehead manifolds.