Gromov–Hausdorff Tangent Cone

• Gromov–Hausdorff tangent cone is a rescaled limit of a metric space capturing the infinitesimal geometry at a given point.
• It plays a crucial role in analyzing singular spaces, curvature bounds, and degenerations in both Riemannian and Kähler geometries.
• The construction connects geometric analysis with algebraic and analytic structures, exemplified by unique symmetry properties like the Reeb flow.

A Gromov–Hausdorff tangent cone is a fundamental structure in metric geometry and geometric analysis, capturing the infinitesimal geometry of a metric space at a given point through rescaling limits. The concept is crucial in the study of spaces with curvature bounds, collapsed limits, singular spaces, and their analytic and algebraic structures. The tangent cone provides both a local model for singularities and a connection to algebraic geometry in the context of Kähler manifolds.

1. Definition and Construction

Given a pointed metric space $(X, d, p)$, the Gromov–Hausdorff tangent cone at $p$ is defined as a pointed Gromov–Hausdorff (pGH) limit of the rescaled spaces $(X, r_j^{-1} d, p)$ as $r_j \downarrow 0$:

$$(X, r_j^{-1} d, p) \xrightarrow{\mathrm{pGH}} (T_p X, o)$$

The construction involves rescaling by smaller and smaller factors around $p$, then passing to a limit in the Gromov–Hausdorff topology, which metrizes the notion of "closeness" between metric spaces up to isometry. For each $R > 0$, correspondences between balls $B_{d_r}(p, R)$ in $X$ and $B_{d_C}(o, R)$ in the limit $p$0 must have distortion converging to zero as $p$1 (Donaldson et al., 2015). The pointed Gromov–Hausdorff distance concretely quantifies this convergence.

The tangent cone captures the infinitesimal (zoomed-in) geometry at $p$2. In general, tangent cones need not be unique, and their structure depends on both local and global geometric properties of $p$3 (Colding et al., 2011).

2. Metric and Analytic Structure in Ricci Limit Spaces

In the setting of non-collapsed limits of Riemannian manifolds with lower Ricci curvature bounds, Cheeger–Colding theory ensures that every tangent cone at a point is a metric cone $p$4 over a compact base $p$5 with controlled lower curvature bound and uniform volume. The metric cone has the form

$p$6

with the metric

$p$7

(Colding et al., 2011). However, uniqueness can fail:

• There can exist points in a Ricci-limit space where tangent cones are not unique or not even homeomorphic, as explicitly constructed for certain 3-dimensional and 5-dimensional examples (Colding et al., 2011).
• The dimension of same-scale tangent cones along the interior of a geodesic segment is constant in the sense of Colding–Naber, and the regular set where all tangent cones are Euclidean has full measure in the appropriate dimension (Kapovitch et al., 2015).

In the measured setting, tangent cones can be constructed as measured Gromov–Hausdorff limits, preserving the measure structure through rescaling and normalization (Kapovitch et al., 2015).

3. Kähler and Algebraic Aspects

In the context of Gromov–Hausdorff limits of Kähler manifolds (including Kähler–Einstein and Ricci-flat spaces), tangent cones exhibit pronounced additional structure:

• Existence and uniqueness: In the non-collapsed Kähler–Einstein or Calabi–Yau limit setting, each point has a unique tangent cone, isomorphic as both metric cone and complex affine variety (Donaldson et al., 2015).
• Algebraic incarnation: The tangent cone is naturally isomorphic (as an affine analytic space) to $p$8, where $p$9 is the finitely generated coordinate ring of holomorphic functions of polynomial growth on the cone. The Reeb vector field gives a positive grading, realizing the cone as a polarized affine variety (Donaldson et al., 2015, Liu et al., 2019).
• Symmetry: Every tangent cone carries a one-parameter group of isometries (the Reeb flow) acting locally freely on the link, in addition to the standard cone dilations. This symmetry is a Gromov–Hausdorff limit of almost-symmetries on the approximating sequence of Kähler manifolds (Liu, 2014).
• Volume minimizing Reeb field: The holomorphic Reeb vector field is algebraic, determined as the unique critical point of a rational polynomial system arising from volume minimization (Donaldson et al., 2015).

In the presence of singularities, the tangent cone at a point is homeomorphic to a normal affine algebraic variety, and, under suitable embeddings, the $(X, r_j^{-1} d, p)$0 homothety extends to a linear torus action (Liu et al., 2019). The ring of polynomial growth holomorphic functions is finitely generated on both tangent cones and at infinity (Donaldson et al., 2015).

4. Variants and Generalizations

Gromov–Hausdorff tangent cones appear in several context-dependent forms:

• Wasserstein spaces: For a probability measure $(X, r_j^{-1} d, p)$1 supported on a submanifold $(X, r_j^{-1} d, p)$2, the tangent cone in the Wasserstein space $(X, r_j^{-1} d, p)$3 splits as a direct sum of a Hilbert space ($(X, r_j^{-1} d, p)$4 gradients on $(X, r_j^{-1} d, p)$5) and an integral of metric cones over the normal bundles (Lott, 2014).
• Sub-Riemannian geometry: At regular points, the tangent cone is a Carnot group with the nilpotent approximation of the distribution; at singular points, the blowup can yield a family of non-isometric Carnot groups depending on the blowup sequence (Mohsen, 2022).
• Smocked metric spaces: In certain singular or non-smooth spaces built by identification patterns, tangent cones at infinity may be unique and realized as normed vector spaces (Sormani et al., 2019).

5. Key Theorems and Examples

Significant results include:

Theorem/Result	Statement	Reference
Cheeger–Colding cone theorem	Every tangent cone in a noncollapsed Ricci-limit space is a metric cone.	(Donaldson et al., 2015)
Donaldson–Sun finite generation	The cone ring of holomorphic functions on a Kähler cone is finitely generated; tangent cones are affine varieties.	(Donaldson et al., 2015)
Donaldson–Sun uniqueness	In noncollapsed Kähler-Einstein limits, the tangent cone at a point is unique (no known counter-examples).	(Donaldson et al., 2015)
Liu’s Reeb symmetry theorem	Each tangent cone of a Kähler limit admits a 1-parameter family of isometries acting locally freely on the cross-section of the cone.	(Liu, 2014)
Kapovitch–Li on Hölder-continuity of dimension	Measured tangent cones along a limit geodesic have constant Colding–Naber dimension and vary Hölder continuously in the measured Gromov–Hausdorff sense.	(Kapovitch et al., 2015)
Colding–Naber dimension invariance	Along any limit geodesic, tangent cones have invariant dimension.	(Kapovitch et al., 2015)
Nonuniqueness and topological variation	There exist Ricci-limit spaces in which the set of tangent cones at a point can include nonhomeomorphic metric cones.	(Colding et al., 2011)

Key examples include:

• Ak singularities: The tangent cone structure changes with the parameters $(X, r_j^{-1} d, p)$6, allowing explicit matching between analytic and weighted algebraic tangent cones (Donaldson et al., 2015).
• Failure of topological rigidity: In dimension 5, tangent cones at a point may be cones over $(X, r_j^{-1} d, p)$7 or over $(X, r_j^{-1} d, p)$8, which are not homeomorphic (Colding et al., 2011).
• Smocked spaces: Explicit quantification of limits provides novel, fully computable examples of GH tangent cones (Sormani et al., 2019).

6. Applications and Open Directions

Gromov–Hausdorff tangent cones serve as local models for singularities in geometric analysis, especially in the context of moduli spaces, metric measure geometry, and degenerations in Kähler geometry. They play a role in:

• Understanding the regularity and stratification of singular metric spaces.
• Connecting metric limits to complex and affine algebraic geometry.
• Identifying topological and algebraic properties deriving from geometric information such as curvature bounds.
• Refining analytic inequalities (e.g., three-circle theorems), via the symmetries present on tangent cones in the Kähler setting (Liu, 2014).
• Providing a framework for modeling limits in non-smooth settings, such as smocked metric spaces or sub-Riemannian manifolds (Sormani et al., 2019, Mohsen, 2022).

Techniques from pluripotential theory, $(X, r_j^{-1} d, p)$9-analytic estimates, and groupoid convergence all interact with the construction and analysis of tangent cones.

Open problems include the precise characterization of families of possible tangent cones at a point under curvature conditions, understanding moduli of singularities for algebraic-geometric limits, and further exploration of nonuniqueness and topological pathologies (Colding et al., 2011, Donaldson et al., 2015).