The work of Grigory Perelman
description
Transcript of The work of Grigory Perelman
![Page 1: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/1.jpg)
The work of Grigory PerelmanThe work of Grigory Perelman
![Page 2: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/2.jpg)
Grigory PerelmanGrigory Perelman
PhD from St. Petersburg State UniversityPhD from St. Petersburg State University
Riemannian geometry and Alexandrov geometry
1994 ICM talk
Born 1966
![Page 3: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/3.jpg)
Soul ConjectureSoul Conjecture
Conjectured by Cheeger-Gromoll, 1972Conjectured by Cheeger-Gromoll, 1972Proved by Perelman, 1994Proved by Perelman, 1994
If M is a complete noncompact Riemannian manifold with nonnegative sectional curvature, and there is one point where all of the sectional curvatures arepositive, then M is diffeomorphic to Euclidean space.
![Page 4: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/4.jpg)
Poincare Conjecture (1904)Poincare Conjecture (1904)
Geometrization ConjectureGeometrization Conjecture(Thurston, 1970´s)(Thurston, 1970´s)
A simply-connected compact three-dimensionalmanifold is diffeomorphic to the three-sphere.
A compact orientable three-dimensional manifold can be canonically cut along two-dimensional spheres and
two-dimensional tori into ``geometric pieces´´.
![Page 5: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/5.jpg)
Ricci flow approach to the Poincare Ricci flow approach to the Poincare and Geometrization Conjecturesand Geometrization Conjectures
Ricci flow equation introduced by Hamilton (1982)
Program to prove the conjectures using Ricci flow : Hamilton and Yau
![Page 6: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/6.jpg)
(November, 2002) The entropy formula for the Ricci flow and its geometric applications
(March, 2003) Ricci flow with surgery on three-manifolds
(July, 2003) Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
Perelman´s Ricci flow papers
![Page 7: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/7.jpg)
Detailed expositions of Perelman´s workDetailed expositions of Perelman´s work
Cao-Zhu Cao-Zhu Kleiner-LottKleiner-LottMorgan-TianMorgan-Tian
![Page 8: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/8.jpg)
(November, 2002) The entropy formula for the Ricci flow and its geometric applications
(March, 2003) Ricci flow with surgery on three-manifolds
(July, 2003) Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
Perelman´s Ricci flow papers
![Page 9: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/9.jpg)
Hamilton´s Ricci flow equation
g(t) is a 1-parameter family of Riemannian metricson a manifold M
Ric = the Ricci tensor of g(t)
(Assume that M is three-dimensional, compact and orientable.)
![Page 10: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/10.jpg)
Theorem Theorem (Hamilton 1982) (Hamilton 1982)
If a simply-connected compact If a simply-connected compact three-dimensional manifold has a three-dimensional manifold has a Riemannian metric with positive Riemannian metric with positive Ricci curvature then it is Ricci curvature then it is diffeomorphic to the 3-sphere.diffeomorphic to the 3-sphere.
![Page 11: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/11.jpg)
Unnormalized Ricci flow
Normalized Ricci flow
![Page 12: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/12.jpg)
Hamilton´s 3-D nonsingular flows theorem
Theorem (Hamilton 1999) : Suppose that the normalized Ricci flow on a compact orientable 3-manifold M has a smoothsolution that exists for all positive time and hasuniformly bounded sectional curvature. Then M satisfies the geometrization conjecture.
Remaining issues :1. How to deal with singularities2. How to remove the curvature assumption
![Page 13: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/13.jpg)
Neckpinch singularityNeckpinch singularity
A two-sphere pinches
![Page 14: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/14.jpg)
Surgery idea (Hamilton 1995)Surgery idea (Hamilton 1995)
![Page 15: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/15.jpg)
What are the possible singularities?What are the possible singularities?
Fact : Singularities come from a Fact : Singularities come from a sectional curvature blowup.sectional curvature blowup.
Rescaling method to analyze singularities (Hamilton)
![Page 16: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/16.jpg)
. .
. . .
![Page 17: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/17.jpg)
Blowup analysisBlowup analysis
Does such a limit exist?
Idea : take a convergent subsequence of the rescaled solutions, to get a limiting Ricci flow solution. This will model the singularity formation.
If so, it will be very special :1. It lives for all negative time (ancient solution)2. It has nonnegative curvature (Hamilton-Ivey)
![Page 18: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/18.jpg)
Hamilton´s compactness theorem gives sufficient conditions to extract a convergentsubsequence.
In the rescaled solutions, one needs : 1. Uniform curvature bounds on balls.2. A uniform lower bound on the injectivity radius at
the basepoint.
By carefully selecting the blowup points, one gets the curvature bounds.
Two obstacles :1. How to get the injectivity radius bound?2. What are the possible blowup limits?
![Page 19: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/19.jpg)
Three themes of Perelman´s workThree themes of Perelman´s work
No local collapsing theoremNo local collapsing theorem
Ricci flow with surgeryRicci flow with surgery
Long time behaviorLong time behavior
![Page 20: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/20.jpg)
No local collapsing theoremNo local collapsing theorem (Perelman1)(Perelman1)
Curvature bounds imply injectivity radius bounds.(Gives blowup limits.)
![Page 21: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/21.jpg)
Method of proofMethod of proof
New monotonic quantities for Ricci flow :New monotonic quantities for Ricci flow :W-entropy, reduced volumeW-entropy, reduced volume
time
W(g)
. localcollapsing
![Page 22: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/22.jpg)
Classification of 3D blowup limitsClassification of 3D blowup limits(Perelman1, Perelman2)(Perelman1, Perelman2)
Finite quotient of the round shrinking 3-sphereFinite quotient of the round shrinking 3-sphere
Diffeomorphic to 3-sphere or real projective Diffeomorphic to 3-sphere or real projective spacespace
Round shrinking cylinder or its (Round shrinking cylinder or its (ZZ/2/2ZZ)-quotient)-quotient
Diffeomorphic to Euclidean 3-space and, after Diffeomorphic to Euclidean 3-space and, after rescaling, each time slice is necklike at infinityrescaling, each time slice is necklike at infinity
![Page 23: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/23.jpg)
Canonical neighborhood theoremCanonical neighborhood theorem(Perelman 1)(Perelman 1)
Any region of high scalar curvature Any region of high scalar curvature in a 3D Ricci flow is modeled, after in a 3D Ricci flow is modeled, after rescaling, by the corresponding rescaling, by the corresponding region in a blowup limit.region in a blowup limit.
![Page 24: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/24.jpg)
Ricci flow with surgery for Ricci flow with surgery for three-manifoldsthree-manifolds
Find 2-spheres to cut alongFind 2-spheres to cut along
Show that the surgery times do not Show that the surgery times do not accumulateaccumulate
![Page 25: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/25.jpg)
First singularity time
![Page 26: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/26.jpg)
Perelman´s surgery procedurePerelman´s surgery procedure
![Page 27: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/27.jpg)
Main problemMain problem
At later singularity times, one still needs to At later singularity times, one still needs to find 2-spheres along which to cut.find 2-spheres along which to cut.
Still need : ``canonical neighborhood theorem´´ Still need : ``canonical neighborhood theorem´´ and ``no local collapsing theorem´´. and ``no local collapsing theorem´´.
But earlier surgeries could invalidate these.But earlier surgeries could invalidate these.
![Page 28: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/28.jpg)
One ingredient of the solutionOne ingredient of the solutionPerform surgery deep in the epsilon-horns.
End up doing surgery on long thin tubes.
![Page 29: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/29.jpg)
Surgery theoremSurgery theorem(Perelman2)(Perelman2)
One can choose the surgery parameters so One can choose the surgery parameters so that there is a well defined Ricci-flow-with-that there is a well defined Ricci-flow-with-surgery, that exists for all time. surgery, that exists for all time.
In particular, there is only a finite number of In particular, there is only a finite number of surgeries on each finite time interval.surgeries on each finite time interval.
(Note : There could be an infinite number of (Note : There could be an infinite number of total surgeries.)total surgeries.)
![Page 30: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/30.jpg)
Long time behaviorLong time behavior
Finite extinction time theorem (Perelman3, Colding-Minicozzi)
If M is simply-connected then after a finite time,the remaining manifold is the empty set.
Consequence : M is a connected sum of standard pieces (quotients of the round three-sphere and circle x 2-sphere factors). From the simple-connectivity, it is diffeomorphic to a three-sphere.
Special case : M simply-connected
![Page 31: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/31.jpg)
Long time behaviorLong time behavior
General case : M may not be simply-connected
X a connected component of the time-t manifold.
To see the limiting behavior, rescale
the metric to
![Page 32: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/32.jpg)
Desired picture
hyperbolic
graph
hyperbolic
X
![Page 33: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/33.jpg)
Perelman´s thick-thin decompositionPerelman´s thick-thin decomposition
Locally volume-noncollapsedLocally volume-noncollapsedLocal two-sided sectional curvature Local two-sided sectional curvature boundbound
Thick part of X :
Locally volume-collapsed Local lower sectional curvature bound
Thin part of X :
![Page 34: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/34.jpg)
Theorem (Perelman2) : Theorem (Perelman2) : For large time, the thick part of X For large time, the thick part of X approaches the thick part of a finite-volume approaches the thick part of a finite-volume manifold of constant sectional curvature manifold of constant sectional curvature –1/4. –1/4. Furthermore, the cuspidal 2-tori (if any) Furthermore, the cuspidal 2-tori (if any) are incompressible in X.are incompressible in X.
Based partly on arguments from Hamilton (1999).Based partly on arguments from Hamilton (1999).
The thick part becomes hyperbolic
![Page 35: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/35.jpg)
The thin partThe thin part
Theorem Theorem (Perelman2, Shioya-Yamaguchi)(Perelman2, Shioya-Yamaguchi) For large time, the thin part of X For large time, the thin part of X is a graph manifold.is a graph manifold.
![Page 36: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/36.jpg)
UpshotUpshot
The original manifold M The original manifold M is a connected sum of is a connected sum of pieces X, each with a pieces X, each with a
hyperbolic/graph hyperbolic/graph decomposition.decomposition.
![Page 37: The work of Grigory Perelman](https://reader033.fdocuments.in/reader033/viewer/2022061602/56815c31550346895dca143a/html5/thumbnails/37.jpg)
Grigory Perelman Grigory Perelman
Fields Medal 2006Fields Medal 2006
For his contributions to geometry For his contributions to geometry and his revolutionary insights into and his revolutionary insights into
the analytical and geometric the analytical and geometric structure of Ricci flowstructure of Ricci flow