Gromov boundary

Gromov boundary
Name	Gromov boundary
Field	Geometric group theory
Introduced	1980s
Introduced by	Mikhail Gromov

Gromov boundary is a topological and geometric construction associating a boundary at infinity to a hyperbolic metric space, capturing asymptotic directions of geodesic rays. It provides a compactification that reflects coarse negative curvature properties studied by Mikhail Gromov, relates to the large-scale geometry of groups such as hyperbolic groups and spaces like Cayley graphs, and connects with concepts from Teichmüller space, Riemannian manifold, Hadamard manifold, and CAT(0) space theory. The construction underlies many rigidity results involving figures and institutions such as William Thurston, Gromov–Thurston style theorems, and informs research agendas at places like the Institut des Hautes Études Scientifiques and the Clay Mathematics Institute.

Definition

The Gromov boundary of a proper geodesic hyperbolic metric space is defined via equivalence classes of geodesic rays: two rays are equivalent if they remain at bounded distance, a relation formalized using the Gromov product first introduced by Mikhail Gromov. Equivalent formulations use sequences tending to infinity or visual classes of quasi-geodesics, drawing on tools developed by Élie Cartan-inspired comparison geometry and later refined by researchers at institutions including Princeton University and University of Geneva. The boundary is topologized so that a sequence of points in the space converges to a boundary point when their Gromov products with a basepoint diverge, a perspective exploited by authors working with Paulin-style convergence and by analysts studying Patterson–Sullivan measure analogues.

Examples

Classic examples include the boundary of real hyperbolic n-space, which is homeomorphic to the (n−1)-sphere familiar from the study of Lobachevsky space and Poincaré disk model in the work of Henri Poincaré and Nikolai Lobachevsky. For a finitely generated free group, the boundary is a Cantor set, a fact used in analyses by scholars affiliated with University of Chicago and University of Cambridge. Surface groups corresponding to closed hyperbolic surfaces yield boundaries homeomorphic to the circle, linking to results by William Thurston about the Teichmüller space boundary. The Cayley graph of a virtually cyclic group has a two-point boundary, a structure appearing in classical classifications in algebraic topology at institutions like Massachusetts Institute of Technology. Further examples arise in relatively hyperbolic groups studied by researchers associated with Cornell University and University of California, Berkeley where peripheral structure modifies the boundary, and in exotic constructions related to Maldacena-style dualities and geometric models considered in seminars at IAS.

Topology and visual metric

The topology on the boundary is often given by neighborhoods determined by large Gromov product values with respect to a basepoint; this makes the compactification of a proper hyperbolic space into a metrizable space analogous to the conformal compactification appearing in works by André Weil and Henri Cartan. When the space is proper and roughly geodesic, the boundary admits a family of visual metrics, whose quasi-symmetric classes are invariant under quasi-isometries exploited by teams at University of Oxford and ETH Zurich. Visual metrics are constructed using an exponential function of the negative Gromov product, paralleling constructions in Patterson–Sullivan theory and the ergodic theoretic approaches used by scholars at University of Michigan and Rutgers University. The dependence on basepoint results only in bilipschitz-equivalent metrics, a robustness central to rigidity results credited to figures connected with Stanford University and Columbia University.

Properties and invariants

The boundary encodes quasi-isometry invariants: quasi-isometries between hyperbolic spaces induce homeomorphisms of their boundaries, a principle exploited in classification results by researchers from Princeton University and University of Chicago. Topological type of the boundary can distinguish groups up to quasi-isometry and is used in rigidity theorems such as those influenced by Mostow rigidity and later generalizations by contributors affiliated with Yale University and Brown University. Dynamical invariants, including Patterson–Sullivan measures and Bowen–Margulis measures, equip the boundary with measure classes used in entropy and ergodic rigidity studies by teams at Institute for Advanced Study and Max Planck Institute research groups. Combinatorial and connectivity properties of the boundary—such as local cut points, planarity, and Cantor set decompositions—feature in JSJ decomposition techniques developed by scholars at University of Utah and Steklov Institute.

Relationship to hyperbolic groups and spaces

For a finitely generated group with a word metric making its Cayley graph hyperbolic, the boundary is a quasi-isometry invariant of the group, central to the study of Gromov hyperbolic groups initiated by Mikhail Gromov and expanded in work by researchers at University of British Columbia and University of Illinois Urbana-Champaign. Boundaries classify group actions on compact spaces and feed into combination theorems like those of Bestvina–Feighn and relative hyperbolicity frameworks advanced by investigators at University of Utah and University of California, Los Angeles. The interplay between algebraic splittings (e.g., JSJ decompositions) and boundary topology underpins numerous rigidity and classification results developed across collaborations involving Benson Farb, Danny Calegari, and others operating in research centers including Berkeley and Oxford.

Applications and further constructions

Applications range from rigidity theorems inspired by Mostow and Margulis to dynamics of group actions used in low-dimensional topology by parties at University of Warwick and University of Texas at Austin. The boundary serves as the receptacle for Patterson–Sullivan measures feeding into counting and equidistribution results pursued by researchers at Institut Fourier and European Research Council projects. Further constructions generalize the boundary to relatively hyperbolic contexts, Floyd compactifications, and Bowditch boundaries, with contributions from teams at University of Southampton and Universität Bonn. In geometric analysis and mathematical physics, boundary concepts inform scattering theory on Hadamard manifolds and holographic correspondences discussed at venues like Perimeter Institute.

Category:Geometric group theory