A visual journey through a million-dollar theorem

Poincaré Conjecture

If a closed three-dimensional space has no hidden tunnels, then it is really the 3-sphere. A century-long puzzle became a proof when geometry learned how to flow.

Loop test becomes shape recognition Closed 3-manifold + all loops shrink => S3
Start with loops See the solution
1904 Poincaré asks whether loops can identify the 3-sphere.
1982 Hamilton turns curvature into a flow.
2002-03 Perelman controls the singularities.
One sentence. One century. One flowing proof.

The conjecture

A test for recognizing the 3-sphere

Poincaré asked whether a simple loop test can identify the most basic closed 3D shape. In two dimensions the answer feels familiar: a sphere has no tunnel, while a donut does. The conjecture says the analogous 3D statement is also true, even though the shape itself is far harder to picture.

Closed

Finite in extent and without an edge. You can travel forever without falling off.

3-manifold

Every tiny neighborhood looks like ordinary 3D space, even if the whole is exotic.

Simply connected

Every closed loop can continuously shrink to a point inside the space.

Homeomorphic

The same topological shape after bending and stretching, with no tearing or gluing.

The loop test

Tunnels reveal themselves by trapping loops

On a sphere-like space, any loop can slide and tighten until it disappears. On a tunnelled space, some loops wrap around a hole and cannot shrink while staying inside the space. This surface picture is only an analogy: in the conjecture, the loops live inside a closed 3-manifold.

Sphere mode: the loop contracts because there is no tunnel for it to catch on.

What is S3?

A sphere one dimension higher than the sphere we can see

The ordinary sphere S2 is the surface of a ball in 3D. The 3-sphere S3 is the set of points one unit from the origin in 4D: x12 + x22 + x32 + x42 = 1. We cannot see it directly, but we can inspect 2D silhouettes of ordinary 2-sphere slices through it.

The obstacle

Geometry starts to explain itself, then tries to tear open

Ricci flow does not politely finish on its own. Curvature concentrates, necks pinch, and the evolving space threatens to form singularities. The breakthrough was proving that these disasters are controlled enough to become information.

1 Flow

Let curvature reshape the metric.

2 Surgery

Cut nearly round necks, cap them, and continue.

3 Read

The remaining pieces reveal the topology.

The engine of the proof

Ricci flow smooths geometry like heat smooths temperature

Richard Hamilton introduced Ricci flow in 1982. It evolves a space's metric by Ricci curvature, evening out geometry while exposing the places where topology is concentrated. The hope was that a complicated 3-manifold would flow toward recognizable geometric pieces.

The danger is singularity: necks can pinch before the process finishes. Perelman proved the needed controls, especially no local collapsing, and made surgery reliable enough to continue the flow.

Curvature contrast high Time 0.00
Grigori Perelman at Berkeley in 1993
Grigori Perelman, Berkeley, 1993. Photo by George M. Bergman, CC BY-SA 4.0.

The person behind the proof

Perelman solved the century problem, then stepped away from the spotlight

Grigori Perelman did not arrive with a polished book-length proof. He posted three spare, fiercely original arXiv preprints in 2002 and 2003, building on Hamilton's Ricci-flow program and supplying the estimates needed to control singularities.

The mathematical world then did something unusually public and unusually careful: experts spent years expanding, checking, and explaining the argument. By the time the proof was accepted, Perelman had become almost as famous for refusing fame as for solving the problem.

1990s Quiet preparation

After work in the United States, he returned to St. Petersburg and focused on Ricci flow.

2002-03 Three preprints

He posted the ideas that completed Hamilton's program and implied geometrization.

2006-10 Verification and refusal

The proof was confirmed; Perelman declined the Fields Medal and the Clay prize.

How it was solved

Perelman completed the Ricci-flow program

Hamilton built the method. Grigori Perelman supplied the missing estimates in three arXiv preprints posted in 2002 and 2003. After independent verification, his work established Thurston's geometrization conjecture, and Poincaré's conjecture follows as the simply connected case.

1

Start with any closed 3-manifold

Choose a Riemannian metric so curvature can be measured and evolved.

2

Run Ricci flow

The metric changes by curvature, pushing the space toward canonical geometry.

3

Control singularities

Perelman's entropy, reduced volume, and no-local-collapsing theorem keep collapse controlled.

4

Continue through surgery

Nearly round S2 necks are cut, capped, and the flow keeps going.

5

Read the final shape

Geometrization leaves spherical geometry; simple connectivity rules out nontrivial quotients, so S3 remains.

The takeaway

The proof turns topology into a controlled geometric evolution

The conjecture begins with a topological question: can every loop shrink? The solution gives the space geometry, lets curvature evolve, repairs predictable singularities, and shows that a simply connected closed 3-manifold cannot hide any non-spherical geometry.

Loop test
Ricci flow
Perelman estimates
Geometrization
S3