Arxiv:Math/0605667V5
Total Page:16
File Type:pdf, Size:1020Kb
NOTES ON PERELMAN’S PAPERS BRUCE KLEINER AND JOHN LOTT 1. Introduction These are notes on Perelman’s papers “The Entropy Formula for the Ricci Flow and its Geometric Applications” [51] and “Ricci Flow with Surgery on Three-Manifolds’ [52]. In these two remarkable preprints, which were posted on the ArXiv in 2002 and 2003, Grisha Perelman announced a proof of the Poincar´eConjecture, and more generally Thurston’s Geometrization Conjecture, using the Ricci flow approach of Hamilton. Perelman’s proofs are concise and, at times, sketchy. The purpose of these notes is to provide the details that are missing in [51] and [52], which contain Perelman’s arguments for the Geometrization Conjecture. Among other things, we cover the construction of the Ricci flow with surgery of [52]. We also discuss the long-time behavior of the Ricci flow with surgery, which is needed for the full Geometrization Conjecture. The papers [24, 53], which are not covered in these notes, each provide a shortcut in the case of the Poincar´eConjecture. Namely, these papers show that if the initial manifold is simply-connected then the Ricci flow with surgery becomes extinct in a finite time, thereby removing the issue of the long-time behavior. Combining this claim with the proof of existence of Ricci flow with surgery gives the shortened proof in the simply-connected case. These notes are intended for readers with a solid background in geometric analysis. Good sources for background material on Ricci flow are [22, 23, 33, 66]. The notes are self- contained but are designed to be read along with [51, 52]. For the most part we follow the format of [51, 52] and use the section numbers of [51, 52] to label our sections. We have done this in order to respect the structure of [51, 52] and to facilitate the use of the present arXiv:math/0605667v5 [math.DG] 19 Feb 2013 notes as a companion to [51, 52]. In some places we have rearranged Perelman’s arguments or provided alternative arguments, but we have refrained from an overall reorganization. Besides providing details for Perelman’s proofs, we have included some expository material in the form of overviews and appendices. Section 3 contains an overview of the Ricci flow approach to geometrization of 3-manifolds. Sections 4 and 57 contain overviews of [51] and [52], respectively. The appendices discuss some background material and techniques that are used throughout the notes. Regarding the proofs, the papers [51, 52] contain some incorrect statements and incom- plete arguments, which we have attempted to point out to the reader. (Some of the mistakes in [51] were corrected in [52].) We did not find any serious problems, meaning problems that cannot be corrected using the methods introduced by Perelman. Date: February 13, 2013. Research supported by NSF grants DMS-0306242 and DMS-0204506, and the Clay Mathematics Institute. 1 2 BRUCE KLEINER AND JOHN LOTT We will refer to Section X.Y of [51] as I.X.Y, and Section X.Y of [52] as II.X.Y. A reader may wish to start with the overviews, which explain the logical structure of the arguments and the interrelations between the sections. It may also be helpful to browse through the appendices before delving into the main body of the material. These notes have gone through various versions, which were posted at [39]. An initial version with notes on [51] was posted in June 2003. A version covering [51, 52] was posted in September 2004. After the May 2006 version of these notes was posted on the ArXiv, expositions of Perelman’s work appeared in [15] and [45]. Acknowledgements. In the preparation of the September 2004 version of our notes, we benefited from a workshop on Perelman’s surgery procedure that was held in August 2004, at Princeton. We thank the participants of that meeting, as well as the Clay Mathematics Institute for supporting it. We are grateful for comments and corrections that we have received regarding earlier versions of these notes. We especially thank G´erard Besson for comments on Theorem 13.3 and Lemma 80.4, Peng Lu for comments on Lemma 74.1, Bernhard Leeb for discussions on the issue of uniqueness for the standard solution and Richard Bamler for comments on Proposition 84.1 and Proposition 84.2. Along with these people we thank Mike Anderson, Albert Chau, Ben Chow, Xianzhe Dai, Jonathan Dinkelbach, Sylvain Maillot, John Morgan, Joan Porti, Gang Tian, Peter Topping, Bing Wang, Guofang Wei, Hartmut Weiss, Burkhard Wilking, Jon Wolfson, Rugang Ye and Maciej Zworski. We thank the referees for their detailed and helpful comments on this paper. We thank the Clay Mathematics Institute for supporting the writing of the notes on [52]. Contents 1. Introduction 1 2. A reading guide 6 3. An overview of the Ricci flow approach to 3-manifold geometrization 7 3.1. The definition of Ricci flow, and some basic properties 7 3.2. A rough outline of the Ricci flow proof of the Poincar´eConjecture 8 3.3. OutlineoftheproofoftheGeometrizationConjecture 9 3.4. Claim 3.2 and the structure of singularities 11 3.5. The proof of Claims 3.3 and 3.4 13 4. Overview of The Entropy Formula for the Ricci Flow and its Geometric Applications [51] 13 4.1. I.1-I.6 14 4.2. I.7-I.10 15 4.3. I.11 16 NOTES ON PERELMAN’S PAPERS 3 4.4. I.12-I.13 17 5. I.1.1. The -functional and its monotonicity 18 F 6. Basic example for I.1 21 7. I.2.2. The λ-invariant and its applications 22 8. I.2.3. The rescaled λ-invariant 24 9. I.2.4. Gradient steady solitons on compact manifolds 25 10. Ricci flow as a gradient flow 26 11. The -functional 27 W 12. I.3.1. Monotonicity of the -functional 28 W 13. I.4. The no local collapsing theorem I 30 14. I.5. The -functional as a time derivative 32 W 15. I.7. Overview of reduced length and reduced volume 33 16. Basic example for I.7 34 17. Remarks about -Geodesics and exp 34 L L 18. I.(7.3)-(7.6). First derivatives of L 37 19. I.(7.7). Second variation of 39 L 20. I.(7.8)-(7.9). Hessian bound for L 41 21. I.(7.10). The Laplacian of L 42 22. I.(7.11). Estimates on -Jacobi fields 42 L 23. Monotonicity of the reduced volume V 43 24. I.(7.15). A differential inequality for L 44 e 25. I.7.2. Estimates on the reduced length 46 26. I.7.3. The no local collapsing theorem II 47 27. I.8.3. Length distortion estimates 50 28. I.8.2. No local collapsing propagates forward in time and to larger scales 52 29. I.9. Perelman’s differential Harnack inequality 54 30. The statement of the pseudolocality theorem 57 31. Claim 1 of I.10.1. A point selection argument 58 32. Claim 2 of I.10.1. Getting parabolic regions 59 33. Claim 3 of I.10.1. An upper bound on the integral of v 60 34. Theorem I.10.1. Proof of the pseudolocality theorem 62 35. I.10.2. The volumes of future balls 65 36. I.10.4. κ-noncollapsing at future times 66 4 BRUCE KLEINER AND JOHN LOTT 37. I.10.5. Diffeomorphism finiteness 66 38. I.11.1. κ-solutions 67 39. I.11.2. Asymptotic solitons 68 40. I.11.3. Two dimensional κ-solutions 70 41. I.11.4. Asymptotic scalar curvature and asymptotic volume ratio 70 42. Ina κ-solution, the curvature and the normalized volume control each other 74 43. An alternate proof of Corollary 40.1 using Proposition 41.13 and Corollary 42.1 76 44. I.11.5. A volume bound 77 45. I.11.6. Curvature bounds for Ricci flow solutions with nonnegative curvature operator, assuming a lower volume bound 78 46. I.11.7. Compactness of the space of three-dimensional κ-solutions 80 47. I.11.8. Necklike behavior at infinity of a three-dimensional κ-solution - weak version 82 48. I.11.8. Necklike behavior at infinity of a three-dimensional κ-solution - strong version 83 49. More properties of κ-solutions 85 50. I.11.9. Getting a uniform value of κ 85 51. II.1.2. Three-dimensional noncompact κ-noncollapsed gradient shrinkers are standard 86 52. I.12.1. Canonical neighborhood theorem 89 53. I.12.2. Later scalar curvature bounds on bigger balls from curvature and volume bounds 96 54. I.12.3. Earlier scalar curvature bounds on smaller balls from lower curvature bounds and volume bounds 99 55. I.12.4. Small balls with strongly negative curvature are volume-collapsed 101 56. I.13.1. Thick-thin decomposition for nonsingular flows 102 57. Overview of Ricci Flow with Surgery on Three-Manifolds [52] 103 57.1. II.1-II.3 104 57.2. II.4-II.5 104 57.3. II.6-II.8 107 58. II. Notation and terminology 108 59. II.1. Three-dimensional κ-solutions 110 60. II.2. Standard solutions 113 61. Claim 2 of II.2. The blow-up time for a standard solution is 1 115 ≤ 62. Claim 4 of II.2. The blow-up time of a standard solution is 1 115 NOTES ON PERELMAN’S PAPERS 5 63. Claim 5 of II.2. Canonical neighborhood property for standard solutions 116 64.