Soul theorem

Last updated

In mathematics, the soul theorem is a theorem of Riemannian geometry that largely reduces the study of complete manifolds of non-negative sectional curvature to that of the compact case. Jeff Cheeger and Detlef Gromoll proved the theorem in 1972 by generalizing a 1969 result of Gromoll and Wolfgang Meyer. The related soul conjecture, formulated by Cheeger and Gromoll at that time, was proved twenty years later by Grigori Perelman.

Contents

Soul theorem

Cheeger and Gromoll's soul theorem states: [1]

If (M, g) is a complete connected Riemannian manifold with nonnegative sectional curvature, then there exists a closed totally convex, totally geodesic embedded submanifold whose normal bundle is diffeomorphic to M.

Such a submanifold is called a soul of (M, g). By the Gauss equation and total geodesicity, the induced Riemannian metric on the soul automatically has nonnegative sectional curvature. Gromoll and Meyer had earlier studied the case of positive sectional curvature, where they showed that a soul is given by a single point, and hence that M is diffeomorphic to Euclidean space. [2]

Very simple examples, as below, show that the soul is not uniquely determined by (M, g) in general. However, Vladimir Sharafutdinov constructed a 1-Lipschitz retraction from M to any of its souls, thereby showing that any two souls are isometric. This mapping is known as the Sharafutdinov's retraction. [3]

Cheeger and Gromoll also posed the converse question of whether there is a complete Riemannian metric of nonnegative sectional curvature on the total space of any vector bundle over a closed manifold of positive sectional curvature. [4] The answer is now known to be negative, although the existence theory is not fully understood. [5]

Examples.

Soul conjecture

As mentioned above, Gromoll and Meyer proved that if g has positive sectional curvature then the soul is a point. Cheeger and Gromoll conjectured that this would hold even if g had nonnegative sectional curvature, with positivity only required of all sectional curvatures at a single point. [8] This soul conjecture was proved by Grigori Perelman, who established the more powerful fact that Sharafutdinov's retraction is a Riemannian submersion, and even a submetry. [5]

Related Research Articles

Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as smooth manifolds with a Riemannian metric. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.

<span class="mw-page-title-main">Grigori Perelman</span> Russian mathematician (born 1966)

Grigori Yakovlevich Perelman is a Russian mathematician and geometer who is known for his contributions to the fields of geometric analysis, Riemannian geometry, and geometric topology. In 2005, Perelman resigned from his research post in Steklov Institute of Mathematics and in 2006 stated that he had quit professional mathematics, owing to feeling disappointed over the ethical standards in the field. He lives in seclusion in Saint Petersburg and has declined requests for interviews since 2006.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In the mathematical field of Riemannian geometry, the scalar curvature is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor.

<span class="mw-page-title-main">Ricci flow</span> Partial differential equation

In the mathematical fields of differential geometry and geometric analysis, the Ricci flow, sometimes also referred to as Hamilton's Ricci flow, is a certain partial differential equation for a Riemannian metric. It is often said to be analogous to the diffusion of heat and the heat equation, due to formal similarities in the mathematical structure of the equation. However, it is nonlinear and exhibits many phenomena not present in the study of the heat equation.

<span class="mw-page-title-main">Shing-Tung Yau</span> Chinese mathematician

Shing-Tung Yau is a Chinese-American mathematician. He is the director of the Yau Mathematical Sciences Center at Tsinghua University and Professor Emeritus at Harvard University. Until 2022, Yau was the William Caspar Graustein Professor of Mathematics at Harvard, at which point he moved to Tsinghua.

In the mathematical field of differential geometry, Ricci-flatness is a condition on the curvature of a Riemannian manifold. Ricci-flat manifolds are a special kind of Einstein manifold. In theoretical physics, Ricci-flat Lorentzian manifolds are of fundamental interest, as they are the solutions of Einstein's field equations in a vacuum with vanishing cosmological constant.

<span class="mw-page-title-main">Richard S. Hamilton</span> American mathematician (born 1943)

Richard Streit Hamilton is an American mathematician who serves as the Davies Professor of Mathematics at Columbia University. He is known for contributions to geometric analysis and partial differential equations. Hamilton is best known for foundational contributions to the theory of the Ricci flow and the development of a corresponding program of techniques and ideas for resolving the Poincaré conjecture and geometrization conjecture in the field of geometric topology. Grigori Perelman built upon Hamilton's results to prove the conjectures, and was awarded a Millennium Prize for his work. However, Perelman declined the award, regarding Hamilton's contribution as being equal to his own.

<span class="mw-page-title-main">Mikhael Gromov (mathematician)</span> Russian-French mathematician

Mikhael Leonidovich Gromov is a Russian-French mathematician known for his work in geometry, analysis and group theory. He is a permanent member of Institut des Hautes Études Scientifiques in France and a professor of mathematics at New York University.

In the mathematical field of differential geometry, there are various splitting theorems on when a pseudo-Riemannian manifold can be given as a metric product. The best-known is the Cheeger–Gromoll splitting theorem for Riemannian manifolds, although there has also been research into splitting of Lorentzian manifolds.

In the mathematical field of differential geometry, a smooth map between Riemannian manifolds is called harmonic if its coordinate representatives satisfy a certain nonlinear partial differential equation. This partial differential equation for a mapping also arises as the Euler-Lagrange equation of a functional called the Dirichlet energy. As such, the theory of harmonic maps contains both the theory of unit-speed geodesics in Riemannian geometry and the theory of harmonic functions.

In mathematics, Hopf conjecture may refer to one of several conjectural statements from differential geometry and topology attributed to Heinz Hopf.

In Riemannian geometry, a branch of mathematics, harmonic coordinates are a certain kind of coordinate chart on a smooth manifold, determined by a Riemannian metric on the manifold. They are useful in many problems of geometric analysis due to their regularity properties.

<span class="mw-page-title-main">Jeff Cheeger</span> American mathematician

Jeff Cheeger is an American mathematician and Silver Professor at the Courant Institute of Mathematical Sciences of New York University. His main interest is differential geometry and its connections with topology and analysis.

In Riemannian geometry, a collapsing or collapsed manifold is an n-dimensional manifold M that admits a sequence of Riemannian metrics gi, such that as i goes to infinity the manifold is close to a k-dimensional space, where k < n, in the Gromov–Hausdorff distance sense. Generally there are some restrictions on the sectional curvatures of (Mgi). The simplest example is a flat manifold, whose metric can be rescaled by 1/i, so that the manifold is close to a point, but its curvature remains 0 for all i.

The Geometry Festival is an annual mathematics conference held in the United States.

In mathematics, Sharafutdinov's retraction is a construction that gives a retraction of an open non-negatively curved Riemannian manifold onto its soul.

In Riemannian geometry, a field of mathematics, Preissmann's theorem is a statement that restricts the possible topology of a negatively curved compact Riemannian manifold. It is named for Alexandre Preissmann, who published a proof in 1943.

<span class="mw-page-title-main">Gerhard Huisken</span> German mathematician

Gerhard Huisken is a German mathematician whose research concerns differential geometry and partial differential equations. He is known for foundational contributions to the theory of the mean curvature flow, including Huisken's monotonicity formula, which is named after him. With Tom Ilmanen, he proved a version of the Riemannian Penrose inequality, which is a special case of the more general Penrose conjecture in general relativity.

In the mathematical fields of differential geometry and geometric analysis, the Gauss curvature flow is a geometric flow for oriented hypersurfaces of Riemannian manifolds. In the case of curves in a two-dimensional manifold, it is identical with the curve shortening flow. The mean curvature flow is a different geometric flow which also has the curve shortening flow as a special case.

References

  1. Cheeger & Ebin 2008, Chapter 8; Petersen 2016, Theorem 12.4.1; Sakai 1996, Theorem V.3.4.
  2. Petersen 2016, p. 462; Sakai 1996, Corollary V.3.5.
  3. Chow et al. 2010, Theorem I.25.
  4. Yau 1982, Problem 6.
  5. 1 2 Petersen 2016, p. 469.
  6. Petersen 2016, Example 12.4.4; Sakai 1996, p. 217.
  7. Petersen 2016, Example 12.4.3; Sakai 1996, p. 217.
  8. Sakai 1996, p. 217; Yau 1982, Problem 18.

Sources.