What is What is The Poincaré Conjecture? Alex Karassev.
-
Upload
makayla-compton -
Category
Documents
-
view
231 -
download
3
Transcript of What is What is The Poincaré Conjecture? Alex Karassev.
![Page 1: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/1.jpg)
What isWhat isThe Poincaré Conjecture?
Alex KarassevAlex Karassev
![Page 2: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/2.jpg)
ContentContent
Henri Poincaré
Millennium Problems
Poincaré Conjecture – exact statement
Why is the Conjecture important …and what do the words mean?
The Shape of The Universe
About the proof of The Conjecture
![Page 3: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/3.jpg)
Henri PoincarHenri Poincaréé((April 29, 1854 – July 17, 1912)April 29, 1854 – July 17, 1912)
Mathematician, physicist, philosopher
Created the foundations of Topology Chaos Theory Relativity Theory
![Page 4: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/4.jpg)
Millennium ProblemsMillennium Problems
The Clay Mathematics Institute of Cambridge, Massachusetts has named seven Prize Problems
Each of these problems is VERY HARD
Every prize is $ 1,000,000
There are several rules, in particular
solution must be published in a refereed mathematics journal of worldwide repute
and it must also have general acceptance in the mathematics community two years after
![Page 5: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/5.jpg)
The PoincarThe Poincaréé conjecture (1904) conjecture (1904)
Conjecture:Every closedsimply connected3-dimensional manifoldis homeomorphic to the3-dimensional sphere
What do these words mean?
![Page 6: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/6.jpg)
Why is The Conjectue Important?Why is The Conjectue Important?
Geometry of The Universe
New directions in mathematics
![Page 7: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/7.jpg)
The Study of SpaceThe Study of Space
Simpler problem: understanding the shape of the Earth! First approximation: flat Earth
Does it have a boundary (an edge)?
The correct answer "The Earth is "round" (spherical)" can be confirmed after first space travels (A look from outside!)
![Page 8: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/8.jpg)
The Study of SpaceThe Study of Space
Nevertheless, it was obtained a long time before!
First (?) conjecture about spherical shape of Earth: Pythagoras (6th century BC)
Further development of the idea: Middle Ages
Experimental proof: first circumnavigation of the earth by Ferdinand Magellan
![Page 9: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/9.jpg)
Magellan'sMagellan's Journey Journey
August 10, 1519 — September 6, 1522
Start: about 250 men
Return: about 20 men
![Page 10: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/10.jpg)
The Study of SpaceThe Study of Space
What is the geometry of the Universe?
We do not have a luxury to look from outside
"First approximation":The Universe is infinite (unbounded), three-dimensional, and "flat"(mathematical model: Euclidean 3-space)
![Page 11: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/11.jpg)
The Study of SpaceThe Study of Space
Universe has finite volume?
Bounded Universe?
However, no "edge"
A possible model:three-dimensional sphere!
![Page 12: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/12.jpg)
What is 3-dim sphere?What is 3-dim sphere?
What is 2-dim sphere?
R
![Page 13: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/13.jpg)
What is 3-dim sphere?What is 3-dim sphere?
The set of points in 4-dim spaceon the same distance from a given pointTake two solid balls and
glue their boundariestogether
![Page 14: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/14.jpg)
WavesWaves
Amplitude
Wavelength
![Page 15: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/15.jpg)
FrequencyFrequency
Short wavelength – High frequency
Long wavelength – Low frequency
high-pitched sound
low-pitched sound
![Page 16: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/16.jpg)
Doppler EffectDoppler Effect
Stationarysource
Movingsource
Higher pitch
![Page 17: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/17.jpg)
Wavelength and colorsWavelength and colors
Wavelength
![Page 18: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/18.jpg)
RedshiftRedshift
Star at rest Moving Star
![Page 19: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/19.jpg)
RedshiftRedshift
Distance
![Page 20: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/20.jpg)
Expanding Universe?Expanding Universe?
The Big Bangtheory
Time
Alexander Friedman,1922
Georges-HenriLemaître, 1927
Edwin Hubble, 1929
![Page 21: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/21.jpg)
Bounded and expanding?Bounded and expanding?
Spherical Universe?
Three-Dimensional sphere(balloon) is inflating
![Page 22: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/22.jpg)
Infinite and Expanding?Infinite and Expanding?
Not quite correct!
(it appears that the Universe has an "edge")
![Page 23: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/23.jpg)
Infinite and Expanding?Infinite and Expanding?
Big Bang
Distancesincrease – The Universestretches
![Page 24: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/24.jpg)
Is a cylinder flat?Is a cylinder flat?
R
2πr
![Page 25: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/25.jpg)
Triangle on a cylinderTriangle on a cylinder
α + β + γ = 180o
γ
β
αγ
β
α
![Page 26: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/26.jpg)
Sphere is not flatSphere is not flat
γ
β
α
α + β + γ > 180o
90o
90o
90o
![Page 27: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/27.jpg)
Sphere is not flatSphere is not flat
???
![Page 28: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/28.jpg)
How to tell a sphere from planeHow to tell a sphere from plane
1st method: Plane is unbounded
2nd method: Sum of angles of a triangle What is triangle on a sphere? Geodesic – shortest path
![Page 29: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/29.jpg)
Flat and bounded?Flat and bounded?
Torus…
![Page 30: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/30.jpg)
Flat and bounded?Flat and bounded?
Torus…and Flat Torus
A B
A B
![Page 31: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/31.jpg)
3-dim Torus3-dim Torus
Section – flat torus
![Page 32: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/32.jpg)
Torus UniverseTorus Universe
![Page 33: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/33.jpg)
Assumptions about the UniverseAssumptions about the Universe
Homogeneous matter is distributed uniformly
(universe looks the same to all observers)
Isotropic properties do not depend on direction
(universe looks the same in all directions )
Shape of the Universe is the same everywhereSo it must have constant curvature
Shape of the Universe is the same everywhereSo it must have constant curvature
![Page 34: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/34.jpg)
Constant curvature KConstant curvature K
Plane K =0 Sphere K>0
(K = 1/R2)
γ
β
α
α + β + γ >180o α + β + γ =180o α + β + γ < 180o
γβ
αγ
β
α
Pseudosphere (part of Hyperbolic plane)
K<0
![Page 35: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/35.jpg)
Three geometries …Three geometries …and Three models of the Universeand Three models of the Universe
Plane K =0
K > 0
α + β + γ >180o α + β + γ =180o α + β + γ < 180o
Elliptic Euclidean Hyperbolic(flat)
K = 0 K < 0
![Page 36: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/36.jpg)
What happens if we try to "flatten"What happens if we try to "flatten"a piece of pseudosphere?a piece of pseudosphere?
![Page 37: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/37.jpg)
How to tell a torus from a How to tell a torus from a sphere?sphere?
First, compare a plane and a plane with a hole
?
![Page 38: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/38.jpg)
Simply connected surfacesSimply connected surfaces
Simply connected Not simply connected
![Page 39: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/39.jpg)
Homeomorphic Homeomorphic objectsobjects
continuous deformation of one object to another
≈ ≈ ≈
≈
≈ ≈
![Page 40: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/40.jpg)
HomeomorphismHomeomorphism
≈
≈
![Page 41: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/41.jpg)
HomeomorphismHomeomorphism
≈
![Page 42: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/42.jpg)
HomeomorphismHomeomorphism
![Page 43: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/43.jpg)
Can we cut?Can we cut?
Yes, if we glue after
![Page 44: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/44.jpg)
So, a knotted circle is the same as So, a knotted circle is the same as usual circle!usual circle!
≈
![Page 45: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/45.jpg)
The Conjecture…The Conjecture…
Conjecture:Every closedsimply connected3-dimensional manifoldis homeomorphic to the3-dimensional sphere
![Page 46: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/46.jpg)
2-dimensional case2-dimensional case
Theorem (Poincare) Every closed
simply connected2-dimensional manifoldis homeomorphic to the2-dimensional sphere
![Page 47: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/47.jpg)
Higher-dimensional versions of Higher-dimensional versions of the Poincare Conjecturethe Poincare Conjecture
… were proved by:
Stephen Smale (dimension n ≥ 7 in 1960, extended to n ≥ 5)(also Stallings, and Zeeman)Fields Medal in 1966
Michael Freedman (n = 4) in 1982,Fields Medal in 1986
![Page 48: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/48.jpg)
Perelman's proofPerelman's proof
In 2002 and 2003 Grigori Perelman posted to the preprint server arXiv.org three papers outlining a proof of Thurston's geometrization conjecture
This conjecture implies the Poincaré conjecture
However, Perelman did not publish the proof in any journal
![Page 49: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/49.jpg)
Fields MedalFields Medal
On August 22, 2006, Perelman was awarded the medal at the International Congress of Mathematicians in Madrid
Perelman declined to accept the award
![Page 50: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/50.jpg)
Detailed ProofDetailed Proof
In June 2006,Zhu Xiping and Cao Huaidongpublished a paper "A Complete Proof of the Poincaré and Geometrization Conjectures - Application of the Hamilton-Perelman Theory of the Ricci Flow" in the Asian Journal of Mathematics
The paper contains 328 pages
![Page 51: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/51.jpg)
Further readingFurther reading
"The Shape of Space"by Jeffrey Weeks
"The mathematics ofthree-dimensional manifolds"by William Thurston and Jeffrey Weeks(Scientific American, July 1984, pp.108-120)
![Page 52: What is What is The Poincaré Conjecture? Alex Karassev.](https://reader033.fdocuments.in/reader033/viewer/2022061304/5513cc3e55034674748b4a9e/html5/thumbnails/52.jpg)
Thank you!
http://www.nipissingu.ca/numeric
http://www.nipissingu.ca/topology