Gromov–Hausdorff convergence

Gromov–Hausdorff convergence
Name	Gromov–Hausdorff convergence
Field	Mathematics
Introduced	1981
Introduced by	Mikhail Gromov

Gromov–Hausdorff convergence is a notion of convergence for compact metric spaces that generalizes Hausdorff convergence of subsets and captures limits of varying shapes and sizes. It is central to modern studies in metric geometry, global Riemannian geometry, and geometric group theory, linking ideas from Mikhail Gromov, Alexander Grothendieck, Paul Hausdorff, André Weil, and Jean-Pierre Serre. The concept has influenced work related to Grigori Perelman, Mikhael Gromov (alternate transliteration), Shing-Tung Yau, Richard Hamilton, and William Thurston.

Definition and basic properties

The formal definition uses the Hausdorff distance of isometric embeddings: for compact metric spaces one measures the infimum of Hausdorff distances after embedding into a common metric space, an approach that echoes constructions in Paul Erdős-style combinatorics, Andrey Kolmogorov-era functional analysis, and techniques exploited by John Nash and Eberhard Hopf. Basic properties include symmetry, the triangle inequality, and vanishing iff the spaces are isometric, paralleling axioms treated by David Hilbert in geometry, Felix Hausdorff in topology, and notions considered by Élie Cartan in differential geometry. The definition is robust under Gromov’s compactness criteria developed alongside contributions from Yuval Peres and later refinements by researchers in the schools of Cheeger and Colding.

Examples and counterexamples

Canonical examples include sequences of rescaled spheres converging to Euclidean spheres, sequences of tori degenerating to lower-dimensional spaces, and families of graphs approximating continuum trees, topics explored in relation to work by René Thom, Andrey Kolmogorov, Paul Lévy, Alfréd Rényi, and Benoit Mandelbrot. Counterexamples show that Gromov–Hausdorff limits may fail to preserve manifold structure, as sequences of manifolds can converge to singular metric spaces—phenomena examined in studies by Jeff Cheeger, Kai Zheng, Richard Schoen, and Tobias Colding. Other instructive constructions involve collapsing along group actions related to Sophus Lie's theory, illustrating limits connected to Élie Cartan and Wilhelm Killing's classifications.

Gromov–Hausdorff distance and metric spaces

The Gromov–Hausdorff distance d_GH arises from optimizing Hausdorff distance over all isometric embeddings into common metric spaces, reflecting techniques present in André Weil's measure theory and in constructions by John von Neumann for operator algebras. As a metric on isometry classes of compact metric spaces it yields a complete separable space under suitable restrictions, engaging methods reminiscent of Norbert Wiener's functional analytic approaches and the compactness arguments of Henri Lebesgue and Émile Borel. Tangential relations connect d_GH to the pointed Gromov–Hausdorff topology used in noncompact situations, an idea parallel to the pointed topology considerations of André Weil and furthered in works associated with Michael Atiyah and Isadore Singer.

Convergence of Riemannian manifolds

In Riemannian geometry, sequences with uniform curvature bounds and diameter control may converge in the Gromov–Hausdorff sense to Alexandrov spaces or metric spaces with lower curvature bounds, developments influenced by Aleksandr Aleksandrov and A.D. Alexandrov’s work. Cheeger–Gromov theory links collapsing and noncollapsing phenomena to injectivity radius, harmonic coordinate estimates, and elliptic PDE techniques inspired by S.-T. Yau, Richard Hamilton, Karen Uhlenbeck, and James Simons. Important results include limits of manifolds with Ricci curvature bounded below, connected to work by Jeff Cheeger, Tobias Colding, Gian-Carlo Rota, and analytic methods reflecting insights from Lars Hörmander.

Compactness and precompactness theorems

Gromov’s compactness theorem gives criteria for precompactness in the Gromov–Hausdorff topology based on uniform diameter bounds and covering number estimates, echoing classical compactness principles of Pavel Alexandrov, Andrey Kolmogorov, and Maurice Fréchet. These results underpin finiteness theorems and structure theory for spaces with curvature bounds, linking to Perelman’s stability results and to finiteness results reminiscent of those by Hermann Weyl, Emmy Noether, and Bertrand Russell in formal contexts. Subsequent refinements by Cheeger, Colding, Fukaya, and others exploit heat kernel estimates and harmonic maps, drawing on analytic frameworks associated with Eugene Wigner and Ludwig Wittgenstein in methodological analogy.

Applications and connections to other fields

Applications span geometric group theory where Cayley graphs and asymptotic cones feature prominently in studies by Mikhail Gromov, Pierre de la Harpe, Gromov's school, and researchers like Cornelia Drutu and Mark Sapir; in global Riemannian geometry influencing Grigori Perelman's work on Ricci flow and connections to Richard Hamilton; and in probability theory and statistical physics where scaling limits mirror ideas from Paul Erdős, Benoit Mandelbrot, and Gérard Ben Arous. The notion also interacts with metric measure spaces and optimal transport theory tied to innovations by Cédric Villani, Felix Otto, Yann Brenier, and links to synthetic curvature notions developed by Karl-Theodor Sturm and Luigi Ambrosio. Cross-disciplinary impacts reach computational geometry in algorithms attributed to Donald Knuth and to data analysis where metric convergence informs persistent homology studies related to Herbert Edelsbrunner and John Harer.

Category:Metric geometry