Verification: What Was Checked
Section 8 — Part II: Surgery & Geometrization
Three Independent Verifications
Perelman's three arXiv preprints (2002–2003) were terse and omitted many details. Three independent teams produced complete, detailed verifications of the full proof:
Cao & Zhu
2006 — ~330 pages
First complete written proof. Published in Asian Journal of Mathematics. Provided the first end-to-end verification of the entire surgery argument.
Kleiner & Lott
2008 — ~192 pages
Cleaner notation and more streamlined exposition. Standard reference for the reduced volume monotonicity and non-collapsing arguments.
Morgan & Tian
2007 — ~521 pages
Most pedagogically complete. Published as a Clay Mathematics Monograph. Fills in all analytic details with full proofs of every estimate.
Key Verified Estimates
The following core estimates were independently verified by all three teams. These form the analytic backbone of the entire proof:
Shi Derivative Estimates
\[ \sup_{M} |\nabla^m \mathrm{Rm}|^2 \;\leq\; \frac{C(m, n)}{t^m} \sup_{M} |\mathrm{Rm}|^2 \]
Global bounds on all higher derivatives of the curvature tensor, given an initial curvature bound. Essential for compactness and blow-up analysis.
Hamilton–Ivey Pinching
\[ R \;\geq\; (-\nu)\bigl[\ln(-\nu) + \ln(1+t) - 3\bigr] \quad \text{whenever } \nu < 0 \]
In dimension 3, negative sectional curvatures are dominated by positive scalar curvature at large scales. This forces blow-up limits to have non-negative sectional curvature.
Trace Harnack Inequality
\[ \frac{\partial R}{\partial t} + \frac{R}{t} + 2\langle \nabla R, X \rangle + 2\, R_{ij}\, X^i X^j \;\geq\; 0 \]
Hamilton's differential Harnack estimate for Ricci flow with non-negative curvature operator. Critical for characterising ancient solutions and κ-solutions.