Worked solution: Perelman's Ricci flow with surgery (2002–2003), condensed

Frequently asked questions

Does finite extinction happen for every closed 3-manifold, not just simply connected ones?

No — Perelman's finite-extinction argument needs the manifold to have no aspherical summand. General closed 3-manifolds (for example those containing hyperbolic pieces) instead require the full thick-thin decomposition as $t\to\infty$ , which is the extra work needed for the full geometrization conjecture beyond the Poincaré case.

Source

Grigori Perelman, 2003

The entropy formula for the Ricci flow and its geometric applications

arXiv:math/0211159v1

Preprint

Condensed summary

Step 8 of 9: Finite extinction time when

\pi_1(M^3) = 0

Previous step Next step

In plain words

For the Poincaré conjecture specifically, one does not need to watch the flow run forever: Perelman showed that if the starting manifold is simply connected, Ricci flow with surgery burns through the entire manifold and it disappears in finite time.

The mechanism is to sweep the manifold with a shrinking family of 2-spheres (using that a higher homotopy group is nontrivial); their areas shrink at a guaranteed rate under the flow and cannot sneak back up across a surgery, so the "narrowest" sweep in the family is eventually forced down to a point.

\pi_1(M^3)=0\ \implies\ \exists\,T_{\mathrm{ext}}<\infty:\ M(t)=\varnothing\quad(\forall t>T_{\mathrm{ext}})

Detailed analysis

In his third preprint (arXiv:math/0307245; independently, Tobias Colding and William Minicozzi gave a related argument), Perelman proves that if a closed oriented 3-manifold $M^3$ has no aspherical prime summand — in particular if $\pi_1(M^3)=0$ — then Ricci flow with surgery becomes extinct in finite time $T_{\mathrm{ext}}<\infty$ , meaning the manifold is entirely consumed by singularities and surgeries by that time.

The proof uses the non-triviality of $\pi_2(M^3)$ or $\pi_3(M^3)$ (guaranteed once $M^3$ is simply connected and not already a sphere) to sweep $M^3$ by a family of $2$ -spheres or minimal discs; the min-max width of this sweepout shrinks at a controlled rate under the flow, does not increase across surgery, and must reach zero in finite time.

Reaching width zero means the last remaining pieces are entirely covered by canonical neighbourhoods and get discarded by surgery, so nothing is left after $T_{\mathrm{ext}}$ ; this finite extinction is what lets the whole history of surgeries be unwound in the final step to identify the original manifold.

Terms in this step

Fundamental group ( $\pi_1$ ): The group of loops based at a point, up to continuous deformation; $\pi_1(M^3)=0$ means every loop in $M^3$ can be shrunk to a point, i.e. $M^3$ is simply connected.
Min-max width: The smallest possible "largest area" among all ways of sweeping a manifold by a continuous family of surfaces representing a fixed nontrivial homotopy class; a measure of how much room the manifold has left for such a sweep.

Knowledge used in this step

The fundamental group The Poincaré conjecture