Maths●●●●●Difficulty 5 of 5

How did a reclusive mathematician solve the Poincaré conjecture and refuse a million dollars?

Perelman settled a question about shapes that had stood for almost a century, declined the Fields Medal, then declined a million-dollar prize.

▶ Start the story

The Poincaré conjecture asks what a finite three-dimensional space must be like if every loop in it can be tightened to a point. Henri Poincaré posed it around 1904: such a space, he suggested, must be a three-dimensional sphere. In 2002 and 2003 Grigori Perelman posted three papers on arXiv sketching a proof, and then he refused a million dollars for it.

The idea is easiest to see one dimension down. On the surface of a ball, any loop drawn on it can be shrunk to a single point. On the surface of a torus, a doughnut, some loops cannot be, because they go through the hole or around it. So loops can tell a sphere from a torus. The conjecture says the same test works one dimension up.

Can every loop be shrunk to a point?

Surface of a ball

  • Any loop can be deformed to a point
  • Trivial fundamental group

Surface of a torus

  • Some loops cannot be shrunk
  • Nontrivial fundamental group

The twist is that Poincaré himself only posed an open-ended question. He did not venture to guess which way the answer would go. Mathematicians proved the analogous statement in higher dimensions first: Stephen Smale in 1961 for dimensions greater than four, Michael Freedman in 1982 for four. The three-dimensional case, the one Poincaré had asked about, got the reputation of being particularly tricky.

Perelman completed an approach begun by Richard Hamilton, called Ricci flow, an equation formally analogous to the heat equation that gradually reshapes a space's geometry. He sketched a proof of the Poincaré conjecture and of the more general geometrization conjecture of William Thurston. In 2006 he declined the Fields Medal, the only person ever to do so. In 2010 he rejected the Millennium Prize, saying his contribution was no greater than Hamilton's.

Quiz me

0/3

  1. 1.How does a loop test tell a ball's surface from a torus?
  2. 2.What was the main obstacle in Hamilton's Ricci flow approach?
  3. 3.Why did Perelman say he refused the Millennium Prize?

Recap

Perelman used Ricci flow, which smooths curvature like heat, and tamed its singularities to show that shrinkable loops force a sphere.

💡 A trick to remember it · Shrink the loop, smooth the bumps, and what is left is a sphere.

Surprising fact · Poincaré only posed the question, without guessing which way it would be answered.

Sources (2)

No source, no claim. Every fact in this lesson (16 claims) cites at least one of these.

  1. [1]Poincaré conjecture · Wikipedia
  2. [2]Grigori Perelman · Wikipedia
More lessons in ➗ Maths (3) See all maths lessons →

One more light on your map.

Get one lesson like this every day, about the things you love. Free, in two or five minutes.

Get the share card for this lesson ↗