Finite-time extinction of Ricci flow with surgery
Statement
Let be a closed, simply connected 3-manifold, , and let evolve by Ricci flow with surgery from an arbitrary initial metric with . Then the flow becomes extinct — every remaining piece of disappears through surgery — by time .
Why is it true?
Geometrization predicts exactly two possible long-term fates for Ricci flow with surgery on a closed 3-manifold: converge (after rescaling) to a collection of genuine geometric pieces, or become extinct in finite time. Simple connectivity rules out every non-positively-curved geometry (, , , , all force a nontrivial fundamental group on any compact piece), so for -candidates the only possible fate is extinction — this theorem makes that fate quantitative and turns a qualitative topological argument into hard analysis.
Proof sketch
Step 1 (a dimension-3 Cauchy–Schwarz inequality). At a point of a 3-manifold, the Ricci tensor is a symmetric matrix with eigenvalues , and . The Cauchy–Schwarz (power-mean) inequality on three numbers gives , i.e. , with equality exactly at Einstein points (). This inequality is special to dimension 3 and is exactly what lets the argument close using only the scalar curvature .
**Step 2 (a differential inequality for ).** Substituting into Hamilton's evolution formula gives .
Step 3 (maximum principle at the minimum). Let . At a point where the spatial minimum of is attained, (second-derivative test), so the differential inequality of Step 2 forces in the barrier sense (Hamilton's maximum principle for evolving minima under Ricci flow). Surgery only grafts in metrics whose curvature is at least as large as the surgery threshold, so it can never lower below where it already was; hence this differential inequality persists across the finitely many surgery times.
Step 4 (solving the model ODE). Solve , , by separation of variables: gives , i.e. , i.e. . This is exactly the scalar curvature of a shrinking round metric sphere of matching initial size, and precisely as the denominator vanishes, at , where .
Step 5 (comparison). Since satisfies while satisfies this ODE with equality and the same initial value , the ODE comparison principle gives for as long as both remain defined. Because as , must already have escaped to at or before : the flow cannot be smoothly continued past without curvature blowing up, so surgery must intervene no later than .
Step 6 (from blow-up to extinction). A component on which is, by comparison with the model shrinking sphere of Step 4, shrinking to zero volume everywhere at least that fast; there is no room for it to persist past . Because is simply connected, geometrization allows no non-positively-curved piece (, , , , pieces would each force a nontrivial fundamental group on a compact 3-manifold), so no surviving geometric piece can be left over once the positively-curved pieces have shrunk away: every connected component present at time is forced to disappear by surgery no later than time , i.e. the flow with surgery is extinct by .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Grigori Perelman (2002). The entropy formula for the Ricci flow and its geometric applications · arXiv:math/0211159
- Grigori Perelman (2003). Ricci flow with surgery on three-manifolds · arXiv:math/0303109
- John Morgan, Gang Tian (2007). Ricci Flow and the Poincaré Conjecture
- Clay Mathematics Institute (2000). Poincaré Conjecture — Millennium Prize Problems