from the poincaré 'lignes de partage' to the convex earth...
TRANSCRIPT
![Page 1: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/1.jpg)
From the Poincare ”lignes de partage” to
the convex earth theorem
Ludovic Rifford
Universite de Nice - Sophia Antipolis&
Institut Universitaire de France
Ludovic Rifford The Poincare ”lignes de partage”
![Page 2: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/2.jpg)
The 1905 Poincare paper in TAMS
Ludovic Rifford The Poincare ”lignes de partage”
![Page 3: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/3.jpg)
The 1905 Poincare paper in TAMS
Ludovic Rifford The Poincare ”lignes de partage”
![Page 4: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/4.jpg)
ICAS 1904
Commemoration of the centennial of the Louisiana Purchase
International Congress of Arts and Sciences
St. Louis (MI), September 19-24, 1904
Plenary Speakers (Mathematics)
Maxime Bocher (Harvard Univ.)James P. Pierpont (Yale Univ.)
Emile Picard (La Sorbonne)Heinrich Maschke (Univ. Chicago)Gaston Darboux (Acad. Sci. Paris)Edward Kasner (Columbia Univ.)
Ludwig Boltzmann (Univ. Vienna)Henri Poincare (La Sorbonne)
Ludovic Rifford The Poincare ”lignes de partage”
![Page 5: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/5.jpg)
ICAS 1904
Ludovic Rifford The Poincare ”lignes de partage”
![Page 6: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/6.jpg)
The 1905 Poincare paper in TAMS
Poincare is concerned with the ”lignes geodesiques” on aconvex analytic surface whose gaussian curvature κ satisfies
0 < L1 < κ < L2.
Ludovic Rifford The Poincare ”lignes de partage”
![Page 7: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/7.jpg)
The 1905 Poincare paper in TAMS
The geodesic distance between P and Q is defined as theminimum of the lengths of the curves (drawn on S) joining Pto Q.
A minimizing curve γ between P and Q parametrized byarc-length is called a geodesic. It satisfies
γ(t) ⊥ Tγ(t)S .
Ludovic Rifford The Poincare ”lignes de partage”
![Page 8: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/8.jpg)
The 1905 Poincare paper in TAMS
Ludovic Rifford The Poincare ”lignes de partage”
![Page 9: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/9.jpg)
The 1905 Poincare paper in TAMS
Ludovic Rifford The Poincare ”lignes de partage”
![Page 10: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/10.jpg)
The 1905 Poincare paper in TAMS
Ludovic Rifford The Poincare ”lignes de partage”
![Page 11: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/11.jpg)
The cut locus
The cut locus from a point O on a given surface S is definedas the union of the Poincare ”lignes de partage” and their”ends”, that is the points which are ”Poincare’s ”extremite”and conjugate to 0. In other terms
cut locus(O) ={
lignes de partage}.
The cut locus has been introduced by Whitehead in 1935. Thedefinition extends to any dimension.
Ludovic Rifford The Poincare ”lignes de partage”
![Page 12: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/12.jpg)
References
Whitehead ”On the covering of a complete space by the geodesics through a point” (1935)
Myers ”Connections between differential geometry and topology I & II” (1935)
Klingenberg ”Contributions to Riemannian geometry in the large”(1959)
A. Weinstein ”The cut locus and conjugate of a riemannian manifold” (1968)
Thom ”Sur le cut-locus d’une variete plongee” (1972)
Gluck, Singer ”The existence of nontriangulable cut loci” (1976)
Buchner ”Simplicial structure of the real analytic cut locus” (1977)
Wall ”Generic properties of generic differentiable manifolds” (1977)
Yomdin ”On the local structure of a generic central set” (1981)
Mather ”Distance from a submanifold in Euclidean space” (1983)
Itoh, Tanaka ”The Lipschitz continuity of the distance function to the cut locus” (2001)
Itoh, Kiyohara ”The cut loci and the conjugate loci on ellipsoids ”(2004)
Li, Nirenberg ”The distance function to the boundary, Finsler geometry, and ..” (2005)
Ludovic Rifford The Poincare ”lignes de partage”
![Page 13: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/13.jpg)
The distance to the cut locus
Using the exponential mapping, we can associate to each unittangent vector its distance to the cut locus.
In that way, we define the so-called injectivity domain whoseboundary is the tangent cut locus.
Ludovic Rifford The Poincare ”lignes de partage”
![Page 14: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/14.jpg)
Polar coordinates
Ludovic Rifford The Poincare ”lignes de partage”
![Page 15: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/15.jpg)
The distance to the conjugate locus
Again, using the exponential mapping, we can associate toeach unit tangent vector its distance to the conjugatelocus.
In that way, we define the so-called nonfocal domain whoseboundary is the tangent conjugate locus.
Ludovic Rifford The Poincare ”lignes de partage”
![Page 16: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/16.jpg)
Back to Poincare
The following inclusion holds
injectivity domain ⊂ nonfocal domain.
Ludovic Rifford The Poincare ”lignes de partage”
![Page 17: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/17.jpg)
Examples 1: The sphere
Ludovic Rifford The Poincare ”lignes de partage”
![Page 18: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/18.jpg)
Examples 1: The sphere
Ludovic Rifford The Poincare ”lignes de partage”
![Page 19: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/19.jpg)
Examples 2: Torus of revolution
Ludovic Rifford The Poincare ”lignes de partage”
![Page 20: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/20.jpg)
Examples 3: Flat tori
Ludovic Rifford The Poincare ”lignes de partage”
![Page 21: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/21.jpg)
Examples 3: Flat tori
Ludovic Rifford The Poincare ”lignes de partage”
![Page 22: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/22.jpg)
Problems:
Computation of cut loci
Size of the cut locus
Regularity of the cut locus
Stability under small perturbation
Ludovic Rifford The Poincare ”lignes de partage”
![Page 23: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/23.jpg)
Size and regularity of the cut locus
Theorem (Itoh-Tanaka (2001), Li-Nirenberg (2005))
Injectivity domains have Lipschitz boundaries.
Ludovic Rifford The Poincare ”lignes de partage”
![Page 24: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/24.jpg)
Size and regularity of the cut locus..
Do cut loci enjoy more regularity properties ?Curvature bounded from below ?
Ludovic Rifford The Poincare ”lignes de partage”
![Page 25: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/25.jpg)
What happens far from focalization phenomenon
Ludovic Rifford The Poincare ”lignes de partage”
![Page 26: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/26.jpg)
Absence of focalization phenomenon
Ludovic Rifford The Poincare ”lignes de partage”
![Page 27: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/27.jpg)
Good news and bad news
Theorem (Weinstein (1968))
Let M be a compact smooth manifold, not diffeomorphic toS2, then there is a Riemannian metric on M and a pointp ∈ M for which the tangent conjugate locus and the tangentcut-locus are disjoints.
Theorem (Klingenberg (1961))
Let M be an even-dimensional compact smooth Riemannianmanifold with positive sectional curvature. Then there is apoint p ∈ M for which the tangent cut-locus and the tangentconjugate locus intersect.
The result on S2 goes back to Poincare.
Ludovic Rifford The Poincare ”lignes de partage”
![Page 28: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/28.jpg)
A stability result (Figalli, Villani, LR)
The convex earth theorem
Ludovic Rifford The Poincare ”lignes de partage”
![Page 29: From the Poincaré 'lignes de partage' to the convex earth ...rifford/Papiers_en_ligne/IHP100_Talk_LR.pdf · as the union of the Poincar e "lignes de partage" and their "ends", that](https://reader033.vdocuments.us/reader033/viewer/2022042923/5f72ea3f0421eb42c754d43d/html5/thumbnails/29.jpg)
Thank you for your attention !!
Ludovic Rifford The Poincare ”lignes de partage”