Poincaré conjecture

Poincaré conjecture
Name	Poincaré conjecture
Field	Topology
Formulated	1904
Conjecturer	Henri Poincaré
Proved	2003–2006
Prover	Grigori Perelman
Prize	Clay Mathematics Institute Millennium Prize (declined)

Contents

Poincaré conjecture is a central problem in topology proposing a characterization of the three-dimensional sphere among closed three-manifolds. Formulated by Henri Poincaré in 1904, it remained one of the most famous open problems in mathematics until a solution was announced in the early 21st century by Grigori Perelman. The conjecture connected work of many figures including Bernhard Riemann, Henri Lebesgue, James Clerk Maxwell, and William Thurston and influenced developments across geometry, algebraic topology, and differential geometry.

Statement

The conjecture asserts that any closed, simply connected three-manifold is homeomorphic to the three-dimensional sphere. Its formulation built on concepts introduced by Henri Poincaré, Émile Picard, Maurice Fréchet, L. E. J. Brouwer, and J. H. C. Whitehead and relies on invariants studied by Poincaré himself plus later formalizations by Emmy Noether, André Weil, Henri Lebesgue, and Emil Artin. The problem sits alongside landmark statements such as Riemann hypothesis, Goldbach's conjecture, Fermat's Last Theorem, and Hilbert's problems in shaping 20th-century mathematics.

Early topology evolved through contributions by Bernhard Riemann, Augustin-Jean Fresnel, Carl Friedrich Gauss, and Bernhard Bolzano, with Henri Poincaré formalizing homology and fundamental groups. Counterexamples and partial results involved work by Poincaré himself, Heinrich Tietze, Reidemeister, P. A. Smith, Andrée Ehresmann, and John H. C. Whitehead. In higher dimensions, the conjecture was resolved in stages: Stephen Smale proved the higher-dimensional sphere conjecture for dimensions greater than four, Michael Freedman solved the four-dimensional topological case, and later work by Kirby–Siebenmann and Freedman–Quinn refined the picture. Influential advances were produced by William Thurston on three-dimensional geometry, leading to the Geometrization conjecture which subsumed the Poincaré statement and drew on techniques from Thurston and Charles Epstein.

Understanding the conjecture requires notions introduced by Henri Poincaré, Lefschetz, Emmy Noether, and Samuel Eilenberg: fundamental group, homology, and homotopy groups. Tools include Ricci flow developed by Richard Hamilton, curvature techniques from Bernhard Riemann and Elie Cartan, and surgery theory connected to Stephen Smale and John Milnor. Related classification results involve the Prime decomposition theorem of Kneser and Milnor, the JSJ decomposition by Jaco and Shalen and Johannson, and the Geometrization conjecture of William Thurston. Key invariants and structures appear in works by Alexander Grothendieck, Jean-Pierre Serre, André Weil, Atiyah–Singer, and Michael Atiyah, and relate to phenomena studied by René Thom, Israel Gelfand, Hermann Weyl, and L. S. Pontryagin.

The proof strategy used the Ricci flow with surgery introduced by Richard Hamilton and completed by Grigori Perelman through a sequence of preprints. Perelman built on analytic input from Riemannian geometry traditions of Élie Cartan and used entropy ideas echoing work by Andrei Kolmogorov and Ludwig Boltzmann to control singularities. The exposition and verification involved many mathematicians and institutions: John Morgan, Gang Tian, Bruce Kleiner, John Lott, Tom Mrowka, William Thurston, Michael H. Freedman, and editorial efforts at universities such as Princeton University, Massachusetts Institute of Technology, Harvard University, Stanford University, and research bodies like the American Mathematical Society and Clay Mathematics Institute. Perelman's proof addressed canonical neighborhood theorems, long-time existence, and surgery procedures, culminating in results accepted by Mathematical Reviews and the broader mathematical community. Perelman declined the Fields Medal and the Clay Millennium Prize.

Resolution of the conjecture influenced fields studied by William Thurston, Michael Atiyah, Edward Witten, Maxwell, and Roger Penrose. It clarified classification schemes used in knot theory by James Alexander and Vaughan Jones, impacted invariants developed by Simon Donaldson and Edward Witten in four-dimensional topology, and informed geometric analysis techniques in partial differential equations influenced by S. R. Srinivasa Varadhan and L. C. Evans. Consequences reverberated through institutions like Institut des Hautes Études Scientifiques and projects at Courant Institute and Clay Mathematics Institute, and inspired further work on three-manifold algorithms by researchers at CNRS and Max Planck Institute. The proof reshaped curricula at Princeton University, Cambridge University, University of Oxford, and University of Tokyo and continues to motivate research funded by agencies including the National Science Foundation and the European Research Council.