Perelman, the Ricci Flow and the Poincaré Conjecture
Total Page:16
File Type:pdf, Size:1020Kb
Perelman, the Ricci Flow and the Poincare´ Conjecture Perelman, the Ricci Flow and the Poincare´ Conjecture CARLO MANTEGAZZA Pisa 10 September 2016 Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture The Poincare´ Conjecture Geometric Flows The Ricci Flow – Richard Hamilton The Program to Prove Poincare´ Conjecture The Difficulties The Work of Grisha Perelman The Proof of Poincare´ Conjecture Other Developments Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Poincare´ and the Birth of Topology Even if several results that to- day we call “topological” were already previously known, it is with Poincare` (1854–1912), the last universalist, that topology (Analysis Situs) gets its modern form. In particular, regarding the prop- erties of surfaces or higher di- mensional spaces. Poincare´ introduced the funda- mental concept of simple con- nectedness. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Theorem Every closed surface is the boundary of a bretzel. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Theorem Every closed surface is the boundary of a bretzel. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Theorem Every closed surface is the boundary of a bretzel. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Theorem Every closed surface is the boundary of a bretzel. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Theorem Every closed surface is the boundary of a bretzel. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Closed surfaces (compact, without boundary, orientable): Theorem Every closed surface is the boundary of a bretzel. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Surfaces – Examples Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Definition (Simple Connectedness) A surface is called simply connected if every curve on it can be continuously deformed to a single point. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Definition (Simple Connectedness) A surface is called simply connected if every curve on it can be continuously deformed to a single point. Theorem Any closed, simply connected surface is homeomorphic to the sphere (homeomorphic = deformable). Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture The Torus is Not Simply Connected Theorem Any closed, simply connected surface is homeomorphic to the sphere (homeomorphic = deformable). Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture The Torus is Not Simply Connected Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture The Torus is Not Simply Connected Theorem Any closed, simply connected surface is homeomorphic to the sphere (homeomorphic = deformable). Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Higher Dimensional Spaces Poincare´ asked himself whether this theorem was true in dimension higher than two, in particular, in dimension three. A 3–dimensional space is locally like our “ordinary” space (topologically), even if we could experience “strange situations” moving into it... for instance, one could exit from a door in a room and find himself entering in the same room, in a way, like walking on a circle, or on the surface of a torus one returns to the starting point. Its structure can actually be even quite more complicated. There exist the 3–sphere, the 3–torus and several other examples analogous to the surfaces that we have seen. Poincare´ Conjecture Any closed and simply connected 3–dimensional space is homeomorphic to the 3–sphere. Proposed in 1904 in “Rendiconti del Circolo Matematico di Palermo”. Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture The Poincare´ Conjecture In order to have a classification theorem like the one for surfaces, one of the first conjectures of Poincare` was: Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture The Poincare´ Conjecture In order to have a classification theorem like the one for surfaces, one of the first conjectures of Poincare` was: Poincare´ Conjecture Any closed and simply connected 3–dimensional space is homeomorphic to the 3–sphere. Proposed in 1904 in “Rendiconti del Circolo Matematico di Palermo”. I n ≥ 5 Stephen Smale (Fields Medal 1966). I n = 4 Michael Freedman (Fields Medal 1986). I n = 3 Grisha Perelman (Fields Medal 2006). Declined!!! Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Poincare´ Conjecture This question can be generalized to higher dimensions: I n = 4 Michael Freedman (Fields Medal 1986). I n = 3 Grisha Perelman (Fields Medal 2006). Declined!!! Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Poincare´ Conjecture This question can be generalized to higher dimensions: I n ≥ 5 Stephen Smale (Fields Medal 1966). I n = 3 Grisha Perelman (Fields Medal 2006). Declined!!! Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Poincare´ Conjecture This question can be generalized to higher dimensions: I n ≥ 5 Stephen Smale (Fields Medal 1966). I n = 4 Michael Freedman (Fields Medal 1986). Perelman, the Ricci Flow and the Poincare´ Conjecture The Poincare´ Conjecture Poincare´ Conjecture This question can be generalized to higher dimensions: I n ≥ 5 Stephen Smale (Fields Medal 1966). I n = 4 Michael Freedman (Fields Medal 1986). I n = 3 Grisha Perelman (Fields Medal 2006). Declined!!! Perelman, the Ricci Flow and the Poincare´ Conjecture Geometric Flows The Poincare´ Conjecture Geometric Flows The Ricci Flow – Richard Hamilton The Program to Prove Poincare´ Conjecture The Difficulties The Work of Grisha Perelman The Proof of Poincare´ Conjecture Other Developments Perelman, the Ricci Flow and the Poincare´ Conjecture Geometric Flows Geometric Flows A possible line of proof of the conjecture is “transforming” in some way (deformation, surgery – cut & paste), keeping unaltered the topological properties, an hypothetical space which is a counterexample to the conjecture, in a 3–sphere. All the tries in this direction by means of topological arguments have failed for around a century. The “winning” approach, still in this setting, happened to be deforming the space by means of evolution laws given by partial differential equations. The great advantage, with respect to the only–topological deformations, is that, by means of methods of analysis, these deformations are “quantitative”. In general, this kind of evolutions of geometric objects are called geometric flows. Perelman, the Ricci Flow and the Poincare´ Conjecture Geometric Flows An Example: Curves Flowing by Curvature 2 Given γ ⊂ R a closed simple curve in the plane, we want that at every time, every point moves with normal velocity equal to the curvature at such point γ x Speed of point x: kγ (x) Direction normal to γ Nonlinear parabolic system of partial differential equations Example Perelman, the Ricci Flow and the Poincare´ Conjecture Geometric Flows Analytically... 1 2 Given a closed simple curve γ = γ0 : S ! R , we look for a smooth function γ : S1 × [0; T ) ! R2 such that 8 @γ > (θ; t) = k(θ; t)N~ (θ; t) <> @t > : γ(·; 0) = γ0 for every θ 2 S1 and t 2 [0; T ). • N~ (θ; t) = “inner” unit normal vector • k(θ; t) = curvature of γt = γ(·; t) at the point γ(θ; t) Perelman, the Ricci Flow and the Poincare´ Conjecture Geometric Flows Analytically... 1 2 Given a closed simple curve γ = γ0 : S ! R , we look for a smooth function γ : S1 × [0; T ) ! R2 such that 8 @γ > (θ; t) = k(θ; t)N~ (θ; t) <> @t > : γ(·; 0) = γ0 for every θ 2 S1 and t 2 [0; T ). • N~ (θ; t) = “inner” unit normal vector • k(θ; t) = curvature of γt = γ(·; t) at the point γ(θ; t) Nonlinear parabolic system of partial differential equations Example This is an example of a “nice” geometric