Gromov's compactness theorem (geometry)

Last updated

In the mathematical field of metric geometry, Mikhael Gromov proved a fundamental compactness theorem for sequences of metric spaces. In the special case of Riemannian manifolds, the key assumption of his compactness theorem is automatically satisfied under an assumption on Ricci curvature. These theorems have been widely used in the fields of geometric group theory and Riemannian geometry.

Contents

Metric compactness theorem

The Gromov–Hausdorff distance defines a notion of distance between any two metric spaces, thereby setting up the concept of a sequence of metric spaces which converges to another metric space. This is known as Gromov–Hausdorff convergence. Gromov found a condition on a sequence of compact metric spaces which ensures that a subsequence converges to some metric space relative to the Gromov–Hausdorff distance: [1]

Let (Xi, di) be a sequence of compact metric spaces with uniformly bounded diameter. Suppose that for every positive number ε there is a natural number N and, for every i, the set Xi can be covered by N metric balls of radius ε. Then the sequence (Xi, di) has a subsequence which converges relative to the Gromov–Hausdorff distance.

The role of this theorem in the theory of Gromov–Hausdorff convergence may be considered as analogous to the role of the Arzelà–Ascoli theorem in the theory of uniform convergence. [2] Gromov first formally introduced it in his 1981 resolution of the Milnor–Wolf conjecture in the field of geometric group theory, where he applied it to define the asymptotic cone of certain metric spaces. [3] These techniques were later extended by Gromov and others, using the theory of ultrafilters. [4]

Riemannian compactness theorem

Specializing to the setting of geodesically complete Riemannian manifolds with a fixed lower bound on the Ricci curvature, the crucial covering condition in Gromov's metric compactness theorem is automatically satisfied as a corollary of the Bishop–Gromov volume comparison theorem. As such, it follows that: [5]

Consider a sequence of closed Riemannian manifolds with a uniform lower bound on the Ricci curvature and a uniform upper bound on the diameter. Then there is a subsequence which converges relative to the Gromov–Hausdorff distance.

The limit of a convergent subsequence may be a metric space without any smooth or Riemannian structure. [6] This special case of the metric compactness theorem is significant in the field of Riemannian geometry, as it isolates the purely metric consequences of lower Ricci curvature bounds.

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.

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">Shing-Tung Yau</span> Chinese-American mathematician (born 1949)

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 mathematics, Gromov–Hausdorff convergence, named after Mikhail Gromov and Felix Hausdorff, is a notion for convergence of metric spaces which is a generalization of Hausdorff distance.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

<span class="mw-page-title-main">Eugenio Calabi</span> Italian-born American mathematician (1923–2023)

Eugenio Calabi was an Italian-born American mathematician and the Thomas A. Scott Professor of Mathematics at the University of Pennsylvania, specializing in differential geometry, partial differential equations and their applications.

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.

Hopf–Rinow theorem is a set of statements about the geodesic completeness of Riemannian manifolds. It is named after Heinz Hopf and his student Willi Rinow, who published it in 1931. Stefan Cohn-Vossen extended part of the Hopf–Rinow theorem to the context of certain types of metric spaces.

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

Richard Streit Hamilton was an American mathematician who served as the Davies Professor of Mathematics at Columbia University.

<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 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.

<span class="mw-page-title-main">Richard Schoen</span> American mathematician

Richard Melvin Schoen is an American mathematician known for his work in differential geometry and geometric analysis. He is best known for the resolution of the Yamabe problem in 1984 and his works on harmonic maps.

<span class="mw-page-title-main">Thierry Aubin</span> French mathematician

Thierry Aubin was a French mathematician who worked at the Centre de Mathématiques de Jussieu, and was a leading expert on Riemannian geometry and non-linear partial differential equations. His fundamental contributions to the theory of the Yamabe equation led, in conjunction with results of Trudinger and Schoen, to a proof of the Yamabe Conjecture: every compact Riemannian manifold can be conformally rescaled to produce a manifold of constant scalar curvature. Along with Yau, he also showed that Kähler manifolds with negative first Chern classes always admit Kähler–Einstein metrics, a result closely related to the Calabi conjecture. The latter result, established by Yau, provides the largest class of known examples of compact Einstein manifolds. Aubin was the first mathematician to propose the Cartan–Hadamard conjecture.

In the mathematical field of Riemannian geometry, the Berger spheres form a special class of examples of Riemannian manifolds diffeomorphic to the 3-sphere. They are named for Marcel Berger who introduced them in 1962.

In mathematics, the Cartan–Hadamard theorem is a statement in Riemannian geometry concerning the structure of complete Riemannian manifolds of non-positive sectional curvature. The theorem states that the universal cover of such a manifold is diffeomorphic to a Euclidean space via the exponential map at any point. It was first proved by Hans Carl Friedrich von Mangoldt for surfaces in 1881, and independently by Jacques Hadamard in 1898. Élie Cartan generalized the theorem to Riemannian manifolds in 1928. The theorem was further generalized to a wide class of metric spaces by Mikhail Gromov in 1987; detailed proofs were published by Ballmann (1990) for metric spaces of non-positive curvature and by Alexander & Bishop (1990) for general locally convex metric spaces.

In geometry, Alexandrov spaces with curvature ≥ k form a generalization of Riemannian manifolds with sectional curvature ≥ k, where k is some real number. By definition, these spaces are locally compact complete length spaces where the lower curvature bound is defined via comparison of geodesic triangles in the space to geodesic triangles in standard constant-curvature Riemannian surfaces.

<span class="mw-page-title-main">John Lott (mathematician)</span> American mathematician

John William Lott is a professor of Mathematics at the University of California, Berkeley. He is known for contributions to differential geometry.

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.

In mathematics, the intrinsic flat distance is a notion for distance between two Riemannian manifolds which is a generalization of Federer and Fleming's flat distance between submanifolds and integral currents lying in Euclidean space.

References

  1. ↑ Bridson & Haefliger 1999, Theorem 5.41; Burago, Burago & Ivanov 2001, Theorem 7.4.15; Gromov 1981, Section 6; Gromov 1999, Proposition 5.2; Petersen 2016, Proposition 11.1.10.
  2. ↑ Villani 2009, p. 754.
  3. ↑ Gromov 1981, Section 7; Gromov 1999, Paragraph 5.7.
  4. ↑ Bridson & Haefliger 1999, Definition 5.50; Gromov 1993, Section 2.
  5. ↑ Gromov 1999, Theorem 5.3; Petersen 2016, Corollary 11.1.13.
  6. ↑ Gromov 1999, Paragraph 5.5.

Sources.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.