Perelman's Proof Of The Poincaré Conjecture

2y ago
23 Views
4 Downloads
461.69 KB
40 Pages
Last View : 2m ago
Last Download : 3m ago
Upload by : Lilly Kaiser
Transcription

IntroductionThree dimensionsPerelman’s proof of the Poincaré conjectureTerence TaoUniversity of California, Los AngelesClay/Mahler Lecture SeriesTerence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsIn a series of three papers in 2002-2003, Grisha Perelmansolved the famous Poincaré conjecture:Poincaré conjecture (1904) Every smooth, compact,simply connected three-dimensional manifold ishomeomorphic (or diffeomorphic) to a three-dimensionalsphere S 3 .(Throughout this talk, manifolds are understood to bewithout boundary.)Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThe main purpose of this talk is to discuss the proof of thisresult.However, as a warm up, I’ll begin with the simpler (andmore classical) theory of two-dimensional manifolds, i.e.surfaces.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsCaution: This will be a very ahistorical presentation ofideas: results will not be appearing in chronological order!Also, due to time constraints, we will not be surveying thehuge body of work on the Poincaré conjecture, focusingonly on those results relevant to Perelman’s proof. Inparticular, we will not discuss the important (and quitedifferent) results on this conjecture in four and higherdimensions (by Smale, Freedman, etc.).Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsScalar curvatureLet M be a smooth compact surface (not necessarilyembedded in any ambient space).If one gives this surface a Riemannian metric g to create aRiemannian surface (M, g), then one can define the scalarcurvature R(x) R of the surface at any point x M. Onedefinition is that the area of an infinitesimal disk B(x, r ) ofradius r centred at x is given by the formulaarea(B(x, r )) πr 2 R(x)πr 4 /24 o(r 4 ).Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsModel geometriesIf R(x) is independent of x, we say that M is constantcurvature. There are three model geometries that haveconstant curvature:The round sphere S 2 (with constant curvature 1);The Euclidean plane R2 (with constant curvature 0); andThe hyperbolic plane H 2 (with constant curvature 1).Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsOne can create further constant curvature surfaces from amodel geometry by rescaling the metric by a constant, orby quotienting out the geometry by a discrete group ofisometries.It is not hard to show that all connected,constant-curvature surfaces arise in this manner. (Themodel geometry is the universal cover of the surface.)Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsUniformisation theoremA fundamental theorem in the subject isUniformisation theorem (Poincaré, Koebe, 1907) Everycompact surface M can be given a constant-curvaturemetric g.As a corollary, every (smooth) connected compact surfaceis diffeomorphic (and homeomorphic) to a quotient of oneof the three model geometries. This is a satisfactorytopological classification of these surfaces.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsAnother corollary of the uniformisation theorem isTwo-dimensional Poincaré conjecture: Every smooth,simply connected compact surface is diffeomorphic (andhomeomorphic) to the sphere S 2 .Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsRicci flowThere are many proofs of the uniformisation theorem, forinstance using complex analytic tools such as the Riemannmapping theorem. But the proof that is most relevant forour talk is the proof using Ricci flow.The scalar curvature R R(x) of a Riemannian surface(M, g) can be viewed as the trace of a rank two symmetrictensor, the Ricci tensor Ric. One can view this tensor as adirectional version of the scalar curvature; for instance, thearea of an infinitesimal sector of radius r and infinitesimalangle θ at x in the direction v is equal to1 41 2θr θr Ric(x)(v , v ) o(θr 4 ).224Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsIn two dimensions, the Ricci tensor can be determined interms of the scalar curvature and the metric g by theformula1Ric Rg,2but this identity is specific to two dimensions.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsRicci flowNow introduce a time parameter t R. A time-dependentmetric g gt on a (fixed) manifold M is said to obey theRicci flow equation if one has g 2Ric, tthus positively curved regions of the manifold shrink (in ageometric sense), and negatively curved regions expand.However, the topological structure of M remain unchanged.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsA key exampleThe two-dimensional sphere in R3 of radius r 0 is2isometric to the standard sphere S 2 with metric r2 g, andconstant scalar curvature r22 .Up to isometry, Ricci flow for such spheres corresponds toshrinking the radius r r (t) by the ODE drdt 1/r , sor (t) (r (0)2 2t)1/2 . Thus the Ricci flow develops asingularity at time r (0)2 /2, when the radius approacheszero.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsMore generally, standard PDE methods give the followinglocal existence result: given any Riemannian surface(M, g(0)), a unique Ricci flow t 7 (M, g(t)) exists for atime interval t [0, T ), with 0 T . If T , thenthe curvature blows up (diverges to infinity in sup norm) ast T .But suppose one renormalises the surface as it blows up,for instance dilating the metric by a scalar to keep the totalarea constant. What happens to the geometry in the limit?Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsIntuitively, Ricci flow makes a surface rounder, by shrinkingthe high-curvature “corners” of a manifold at a faster ratethan the flatter regions. One way to formalise this intuitionis to see that the scalar curvature R for a Ricci flow on asurface obeys the nonlinear heat equation t R R 2R 2and then to use the maximum principle.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThis suggests that Ricci flow could be used to give adynamical proof of the uniformisation theorem, if the finalstate of the (renormalised) Ricci flow has constantcurvature.Indeed, one has the following theorem:Theorem (Hamilton 1988, Chow 1991, Chen-Lu-Tian2005) If (M, g) is topologically a sphere, then Ricci flowbecomes singular in finite time, and at the blowup time, therenormalised manifold becomes constant curvature.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThere is a similar theorem in higher genus.This theorem easily implies the uniformisation theorem.(Conversely, the uniformisation theorem was used in theoriginal arguments of Hamilton and Chow, but this wasremoved in Chen-Lu-Tian, thus giving an independentproof of this theorem.)Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsTo oversimplify enormously, the proof proceeds in three stages:Finite time extinction: any sphere undergoing Ricci flowwill blow up in finite time.Rescaled limit: When one rescales the Ricci flow aroundthe blowup time (e.g. to keep the curvature bounded) andtakes limits, one obtains a special type of Ricci flow, agradient shrinking Ricci soliton (in which the effect ofrenormalised Ricci flow is equivalent to a diffeomorphismof the coordinates).Classification: One shows that the only gradient shrinkingsolitons in two dimensions are the constant curvaturesurfaces.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsModel geometriesNow we return to three dimensions. We again have threeconstant-curvature model geometries:The round sphere S 3 (with constant curvature 1);The Euclidean space R3 (with constant curvature 0); andThe hyperbolic space H 3 (with constant curvature 1).Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsHowever, one can also now form model geometries fromCartesian or twisted products of lower-dimensional geometries:The product S 2 R;The product H 2 R;The (universal cover of) SL2 (R) (a twisted bundle over H 2 );The Heisenberg group (a twisted bundle over R2 ); andThe three-dimensional solvmanifold (a twisted torus bundleover S 1 ).These are the eight Thurston geometries.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsGeometrisation conjectureOne can make more geometries by dilating these modelgeometries, and quotienting by isometries. However, inthree dimensions one also needs to be able to glue severalgeometries together along spheres S 2 or tori T 2 .Thurston’s geometrisation conjecture (1982) states, amongother things, that every smooth oriented compactthree-dimensional manifold can be formed from a finitenumber of these operations, i.e. by gluing together finitelymany model geometries or their dilates and quotients.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThurston verified this conjecture for a large class ofmanifolds known as Haken manifolds.The geometrisation conjecture implies thethree-dimensional Poincaré conjecture as a corollary,though this “elliptic” case of the conjecture is not coveredby the “hyperbolic” theory of Haken manifolds.In the 1980s, Hamilton initiated the program of using Ricciflow to “geometrise” an arbitrary manifold and thus provethe full geometrisation conjecture. This program wasessentially completed by Perelman’s three papers, with fulldetails and alternate proofs subsequently appearing in theworks of , Morgan-Tian, andCao-Ge.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsIn 1982, Hamilton established short-time existence of theRicci flow in all dimensions, and showed that if the flowcould only be continued for a finite time, then the curvatureblew up (in sup norm) at that time.In the same paper, Hamilton showed that if the Riccicurvature of a three-dimensional manifold was initiallypositive, then one had finite time blowup, and afterrescaling, the limiting manifold had constant curvature (andmust then be a quotient of S 3 ). In particular, thisestablishes the Poincaré conjecture for manifolds whichadmit a metric of positive Ricci curvature.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThe positivity of curvature was used in an essential way (inconjunction with a sophisticated version of the maximumprinciple).However, a variant of the argument shows that any limitingblowup profile of a Ricci flow has to have non-negativecurvature (the Hamilton-Ivey pinching phenomenon).Intuitively, the point is that negatively curved regions of theflow expand rather than contract, and so do not participatein the blowup profile.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsWhen one does not assume initial positive curvature, thesituation becomes more complicated, for two reasons:The Ricci flow may not blow up at all. (For instance, on amanifold H 3 /Γ of constant negative curvature, the flowsimply expands the manifold without ever blowing up.)Secondly, even when blowup occurs, the blowup may belocalised to a small portion of the manifold (as is the casein a neck pinch singularity). Because of this, the rescaledlimiting profile of the flow at the blowup point can benon-compact (e.g. a cylinder S 2 R, in the case of a neckpinch) and fail to describe the asymptotic behaviour of theentire manifold at the blowup time.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsA neckpinch (John Lott, 2006 ICM)Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThe first difficulty (lack of singularity formation in finite time) canbe handled by working with minimal spheres - minimal surfacesin the manifold diffeomorphic to S 2 .The Sacks-Uhlenbeck theory of minimal surfacesguarantees that such minimal spheres exist once π2 (M) isnon-trivial.Using Riemannian geometry tools such as theGauss-Bonnet theorem, one can show that the area ofsuch a minimal sphere shrinks to zero in finite time underRicci flow, thus forcing a singularity to develop at or beforethis time.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThis argument shows that finite time singularity occursunless π2 (M) is trivial.More sophisticated versions of this argument (Perelman2003; Colding-Minicozzi 2003) also forces singularityunless π3 (M) is trivial.Algebraic topology tools such as the Hurewicz theoremshow that π2 (M) and π3 (M) cannot be simultaneouslytrivial for a compact, simply connected manifold, and soone has finite time singularity development for themanifolds of interest in the Poincaré conjecture. (Thesituation is more complicated for other manifolds.)Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThere is an important strengthening of these results forRicci flow with surgery, which asserts that a simplyconnected manifold that undergoes Ricci flow with surgerywill disappear entirely (become extinct) after a finiteamount of time, and with only a finite number of surgeries.This fact allows for a relatively short proof of the Poincaréconjecture (as compared to the full geometrisationconjecture, which has to deal with Ricci flows that arenever fully extinct), though the proof is still lengthy for otherreasons.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsTo deal with the second issue (localised singularities), oneneeds to do two things:Classify the possible singularities in a Ricci flow ascompletely as possible; and thenDevelop a surgery technique to remove the singularities(changing the topology in a controlled fashion) andcontinue the flow until the manifold is entirely extinct.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsRicci flow with surgery (John Lott, 2006 ICM)Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsSingularity classificationThe basic strategy in classifying singularities in Ricci flowis to first “zoom in” (rescale) the singularity in space andtime by greater and greater amounts, and then take limits.In order to extract a usable limit, it is necessary to obtaincontrol on the Ricci flow which is scale-invariant, so thatthe estimates remain non-trivial in the limit.It is particularly important to prevent collapsing, in whichthe injectivity radius collapses to zero faster than ispredicted by scaling considerations.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsIn 2003, Perelman introduced two geometric quantities, thePerelman entropy and Perelman reduced volume, whichwere scale-invariant, which decreased under Ricci flow,and controlled the geometry enough to prevent collapsing.Roughly speaking, either of these quantities can be usedto establish the importantPerelman non-collapsing theorem (Informal statement)If a Ricci flow is rescaled so that its curvature is bounded ina region of spacetime, then its injectivity radius is boundedfrom below in that region also.Thus, collapsing only occurs in areas of high curvature.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsPerelman entropyThe heat equation is the gradient flow for the Dirichletenergy, and thus decreases that energy over time. It turnsout to similarly represent Ricci flow (modulodiffeomorphisms) as a gradient flow in a number of ways,leading to a number of monotone quantities for Ricci flow.Perelman cleverly modified these quantities to produce ascale-invariant monotone quantity, the Perelman entropy,which is related to the best constant in a geometriclog-Sobolev inequality.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsPerelman reduced volumeThe Bishop-Gromov inequality in comparison geometryasserts, among other things, that if a Riemannian manifoldM has non-negative Ricci curvature, then the volume ofballs B(x, r ) grows in r no faster than in the Euclidean case(i.e. the Bishop-Gromov reduced volume Vol(B(x, r ))/r d isnon-increasing in d dimensions). Inspired by aninfinite-dimensional formal limit of the Bishop-Gromovinequality, Perelman found an analogous reduced volumein spacetime for Ricci flows, the Perelman reduced volumethat had similar monotonicity properties.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsLimiting solutionsUsing the non-collapsing theorem, one can then extract outa special type of Ricci flow as the limit of any singularity,namely an ancient κ-solution. These solutions exist for allnegative times, have non-negative and bounded curvature,and are non-collapsed at every scale.Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsTo analyse the asymptotic behaviour of these solutions ast , Perelman then took a second rescaled limit,using the monotone quantities again, together with someHarnack-type inequalities of a type first introduced byLi-Yau and Hamilton, to generate a non-collapsed gradientshrinking soliton (which are the stationary points ofPerelman entropy or Perelman reduced volume).Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsThese solitons can be completely classified using toolsfrom Riemannian geometry such as the Cheeger-Gromollsoul theorem and Hamilton’s splitting theorem, and aninduction on dimension. The end result isClassification theorem. A non-collapsed gradientshrinking soliton in three-dimensions is either a shrinkinground sphere S 3 , a shrinking round cylinder S 2 R, or aquotient thereof.There are now several proofs of this basic result, as well asextensions to higher dimensions (Ni-Wallach, Naber,Petersen-Wylie, etc.).Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsUsing this classification theorem, one can show, roughlyspeaking, that high-curvature regions of three-dimensionalRicci flows look like spheres, cylinders, quotients thereof,or combinations of these components such as capped ordoubly capped cylinders. (The canonical neighbourhoodtheorem.)As a consequence, it is possible to perform surgery toremove these regions. (This is not the case in higherdimensions, when one starts seeing non-removablesingularities such as S 2 R2 .)Terence TaoPerelman’s proof of the Poincaré conjecture

IntroductionThree dimensionsSurgery methods for Ricci flow were pioneered byHamilton, but the version of surgery needed for Perelman’sargument is extremely delicate as one needs to ensurethat all the properties of Ricci flow used in the argument(e.g. monotonicity formulae, finite time extinction results)also hold for Ricci flow with surgery.Nevertheless, this can all be done (with significant effort),the net result being that Ricci flow with surgerygeometrises any three-dimensional manifold. Running thesurgery in reverse, this establishes the geometrisationconjecture, and in particular the Poincaré conjecture as aspecial (and simpler) case.Terence TaoPerelman’s proof of the Poincaré conjecture

Terence Tao Perelman’s proof of the Poincaré conjecture. Introduction Three dimensions The positivity of curvature was used in an essential way (in conjunction with a sophisticated version of the maximum principle). However, a variant of the argument shows that any limitingFile Size: 461KB

Related Documents:

May 02, 2018 · D. Program Evaluation ͟The organization has provided a description of the framework for how each program will be evaluated. The framework should include all the elements below: ͟The evaluation methods are cost-effective for the organization ͟Quantitative and qualitative data is being collected (at Basics tier, data collection must have begun)

Silat is a combative art of self-defense and survival rooted from Matay archipelago. It was traced at thé early of Langkasuka Kingdom (2nd century CE) till thé reign of Melaka (Malaysia) Sultanate era (13th century). Silat has now evolved to become part of social culture and tradition with thé appearance of a fine physical and spiritual .

On an exceptional basis, Member States may request UNESCO to provide thé candidates with access to thé platform so they can complète thé form by themselves. Thèse requests must be addressed to esd rize unesco. or by 15 A ril 2021 UNESCO will provide thé nomineewith accessto thé platform via their émail address.

̶The leading indicator of employee engagement is based on the quality of the relationship between employee and supervisor Empower your managers! ̶Help them understand the impact on the organization ̶Share important changes, plan options, tasks, and deadlines ̶Provide key messages and talking points ̶Prepare them to answer employee questions

Dr. Sunita Bharatwal** Dr. Pawan Garga*** Abstract Customer satisfaction is derived from thè functionalities and values, a product or Service can provide. The current study aims to segregate thè dimensions of ordine Service quality and gather insights on its impact on web shopping. The trends of purchases have

since 1950 E. German, Suhl choke-bore barrel mark PROOF MARKS: GERMAN PROOF MARKS, cont. PROOF MARKS: ITALIAN PROOF MARKS, cont. ITALIAN PROOF MARKS PrOOF mark CirCa PrOOF hOuse tYPe OF PrOOF and gun since 1951 Brescia provisional proof for all guns since 1951 Gardone provisional proof for all guns

PROOF MARKS: BELGIAN PROOF MARKSPROOF MARKS: BELGIAN PROOF MARKS, cont. BELGIAN PROOF MARKS PrOOF mark CirCa PrOOF hOuse tYPe OF PrOOF and gun since 1852 Liege provisional black powder proof for breech loading guns and rifled barrels - Liege- double proof marking for unfurnished barrels - Liege- triple proof provisional marking for

Chính Văn.- Còn đức Thế tôn thì tuệ giác cực kỳ trong sạch 8: hiện hành bất nhị 9, đạt đến vô tướng 10, đứng vào chỗ đứng của các đức Thế tôn 11, thể hiện tính bình đẳng của các Ngài, đến chỗ không còn chướng ngại 12, giáo pháp không thể khuynh đảo, tâm thức không bị cản trở, cái được