Fact-checked by Grok 2 weeks ago

Geometric group theory

Geometric group theory is a branch of mathematics devoted to the study of finitely generated groups by viewing them as geometric objects through their actions on metric and topological spaces, particularly via the geometry of their Cayley graphs equipped with the word metric.^[1] This approach translates algebraic structures into geometric ones, allowing the analysis of group properties—such as growth rates, isoperimetric inequalities, and rigidity—using tools from coarse geometry, quasi-isometries, and hyperbolic spaces.^[2] The field emphasizes invariants under quasi-isometries, which preserve large-scale features, and connects group theory to low-dimensional topology, geometric analysis, and algorithmic problems.^[1] Emerging from combinatorial and topological group theory in the early 20th century, geometric group theory gained momentum with Max Dehn's work on word problems and fundamental groups, but was revolutionized in the 1980s by Mikhail Gromov's introduction of hyperbolic groups, which generalize negatively curved spaces and exhibit δ-thin geodesic triangles in their Cayley graphs.^[2] Key concepts include the Cayley graph of a group G with respect to a finite generating set S, defined as a graph with vertex set G and edges connecting g to gs for s ∈ S, which models the group's structure as a metric space.^[1] The associated word metric d_S(g, h) measures the minimal length of words in S ∪ S⁻¹ representing g⁻¹h, enabling the study of asymptotic behavior and quasi-isometric equivalence classes.^[1] Hyperbolic groups, where the Cayley graph is a hyperbolic metric space (satisfying conditions like bounded deviation of geodesics from triangles), form a central class, admitting linear isoperimetric functions and solvable word problems, with applications to 3-manifold topology and rigidity theorems.^[2] Further notable aspects include the classification of groups by growth—polynomial for virtually nilpotent groups and exponential for hyperbolic ones—and the exploration of boundaries at infinity for actions on hyperbolic spaces, which reveal combinatorial and dynamical properties.^[2] Quasi-isometries, maps f: X → Y between metric spaces satisfying λ⁻¹ d(x,y) - C ≤ d(f(x),f(y)) ≤ λ d(x,y) + C for constants λ ≥ 1 and C > 0, with the image being coarsely dense, identify groups up to virtual isomorphism in many cases, underpinning results like Gromov's polynomial growth theorem.^[1] The field continues to influence areas like measured group theory and random walks on groups, with ongoing research into acylindrical actions and relative hyperbolicity.^[2]

Basic Concepts

Finitely Generated Groups and Actions

A finitely generated group G is a group that admits a finite generating set S \subseteq G, meaning every element of G can be expressed as a finite product of elements from S and their inverses.^[2]^[3] In geometric group theory, the generating set S is typically taken to be finite and symmetric, i.e., closed under taking inverses, so that S = S^{-1} and the identity element is excluded; this symmetry facilitates the construction of undirected graphs that capture the group's structure.^[2]^[3] Group actions provide a framework for realizing algebraic structures geometrically. A group G acts on a metric space (X, d) if there is a map G \times X \to X, (g, x) \mapsto g \cdot x, satisfying compatibility conditions with the group operation and identity.^[4] Such an action is proper if, for any compact subsets K_1, K_2 \subseteq X, the set \{ g \in G \mid g K_1 \cap K_2 \neq \emptyset \} is compact (or finite, in the discrete case).^[2]^[3]^[5] The action is cocompact if there exists a compact subset K \subseteq X such that G \cdot K = X, meaning the orbits of K cover the entire space.^[2]^[3] A classic example is the action of \mathbb{Z} on Euclidean space \mathbb{R} by translations, where n \cdot x = x + n for n \in \mathbb{Z} and x \in \mathbb{R}; this action is both proper (stabilizers of compact sets are finite) and cocompact (the fundamental domain [0, 1) generates the whole line under translation).^[3]^[4] The geometric realization program in geometric group theory seeks to study groups through their actions on spaces, thereby revealing intrinsic geometric properties from algebraic data.^[2] Central to this approach is viewing a finitely generated group G with generating set S as acting on its Cayley graph \mathrm{Cay}(G, S), a graph whose vertices are group elements and edges connect g to g s for s \in S; this action is by left multiplication, allowing the group's combinatorial structure to be analyzed as a geometric object up to quasi-isometry.^[2]^[3] A fundamental result is that every finitely generated group admits a proper cocompact action on a locally compact metric space, achieved via the left action on its Cayley graph equipped with the path metric.^[2]^[3]^[4]

Cayley Graphs and Word Metrics

In geometric group theory, the Cayley graph provides a fundamental combinatorial model for visualizing the structure of a finitely generated group G with respect to a finite generating set S. The vertices of the Cayley graph \Gamma(G, S) are the elements of G, and there is a directed edge from g to gs labeled by s \in S for each g \in G and s \in S; if S is symmetric (i.e., closed under inverses), the graph is undirected.^[6] This construction, originally introduced for finite groups, endows the abstract algebraic object with a graph-theoretic geometry that reveals relational properties among group elements. The word metric d_S on G arises naturally from the Cayley graph by equipping each edge with length 1, making \Gamma(G, S) a metric graph where distances are path lengths. Specifically, d_S(g, h) is the length of the shortest path from g to h, which equals the minimal number k such that g^{-1}h can be expressed as a product of k elements from S \cup S^{-1}:

d_S(g, h) = \min \{ k \mid g^{-1}h = s_1 s_2 \cdots s_k, \, s_i \in S \cup S^{-1} \}.

This metric is left-invariant, satisfying d_S(kg, kh) = d_S(g, h) for all k, g, h \in G, reflecting the group's action on itself by left multiplication, which is an isometry of the Cayley graph.^[6]^[3] The induced word length of an element g is |g|_S = d_S(e, g), where e is the identity, measuring the "complexity" of g in terms of generators.^[7] A key property of the word metric is its role in quantifying group growth, captured by the growth function \beta_S(n) = |\{ g \in G \mid d_S(e, g) \leq n \}|, which counts elements within distance n from the identity. For virtually nilpotent groups, growth is polynomial (e.g., quadratic for \mathbb{Z}^2), while for non-amenable groups like free groups on two generators, it is exponential, distinguishing broad classes of groups asymptotically.^[6]^[3] These growth rates depend on S, but the asymptotic behavior provides invariants under changes in generating sets. To probe finer large-scale structure, asymptotic cones of (G, d_S) are obtained as ultralimits of rescaled versions of the metric space. For a non-principal ultrafilter \omega on \mathbb{N}, basepoints p_n \in G, and scaling factors d_n \to \infty, the asymptotic cone \mathrm{Cone}_\omega(G, (p_n), (d_n)) is the ultralimit of the pointed spaces (G, d_S / d_n, p_n). These cones are complete metric spaces that capture the "limit at infinity" of the group, often revealing tree-like or simply connected structures depending on G.^[7] Different finite generating sets S and S' for G produce quasi-isometric word metrics d_S and d_{S'}, meaning there exist constants \lambda \geq 1, C \geq 0 such that \frac{1}{\lambda} d_{S'}(g, h) - C \leq d_S(g, h) \leq \lambda d_{S'}(g, h) + C for all g, h \in G; this ensures the Cayley graphs \Gamma(G, S) and \Gamma(G, S') share essential geometric features at large scales.^[6]^[3]

Historical Development

Early Foundations in Combinatorial Group Theory

The foundations of geometric group theory trace back to early combinatorial approaches that emphasized algebraic structures derived from geometric objects, beginning with William Rowan Hamilton's work in the 1850s on icosahedral quaternions. Hamilton developed the icosian calculus, a system using quaternions to model the symmetries of the icosahedron and dodecahedron, representing rotations and reflections as group actions on the vertices of these polyhedra. This approach, detailed in his 1858 paper "Account of the Icosian Calculus," provided an early algebraic framework for spatial transformations, prefiguring later studies of groups acting on geometric spaces by linking non-commutative algebra to polyhedral symmetries.^[8] In the late 19th century, Walther von Dyck advanced these ideas through his foundational contributions to presentation theory and fundamental groups. In his 1882 paper "Gruppentheoretische Studien," published in Mathematische Annalen, von Dyck introduced the concept of free groups and systematically studied groups via generators and relations, establishing the free group on a set as the universal object mapping to any group with those generators. His 1883 follow-up paper extended this to fundamental groups of graphs, proving von Dyck's theorem, which states that a group generated by a set with relations corresponding to loops in a graph realizes the fundamental group of that graph. These works laid the groundwork for combinatorial enumeration of group elements and isomorphism testing via presentations.^[9] The early 20th century saw significant progress in solving decision problems for groups presented combinatorially, particularly through Max Dehn's investigations into the word problem. In his 1911 paper "Über unendliche diskontinuierliche Gruppen," Dehn formalized the word problem: given a finite presentation of a group, determine whether a word in the generators represents the identity element. He also addressed the conjugacy problem and isomorphism problem for finitely presented groups. Building on this, Dehn's 1912 paper "Transformationen der Kurven auf zweiseitigen Flächen" introduced Dehn's algorithm, which solves the word and conjugacy problems for fundamental groups of closed orientable surfaces of genus at least 2. The algorithm relies on a canonical set of reducing pairs—words that can be shortened—ensuring termination by iteratively applying these reductions until the identity is reached or a contradiction arises. This marked the first algorithmic solution for a class of infinite groups arising geometrically from surfaces.^[10] Jakob Nielsen further enriched combinatorial methods in the 1910s by exploring realizations of groups as automorphisms and subgroups of free groups. During his time in Kiel (1911–1919), influenced by Dehn, Nielsen developed techniques for representing surface mappings via group actions. His seminal 1921 paper in Matematisk Tidsskrift proved that every finitely generated subgroup of a free group is free, with the rank given by a formula involving the index and ranks of the parent group—a result later generalized by Otto Schreier in 1927 to arbitrary subgroups, forming the Nielsen-Schreier theorem together. This result, building on Schreier's independent work, provided a combinatorial tool for decomposing free groups and classifying their subgroups, essential for understanding embeddings and quotients in presentations. Nielsen's realizations connected algebraic subgroups to geometric coverings of surfaces, bridging combinatorial and topological viewpoints.^[11] By the mid-20th century, combinatorial group theory evolved to include invariants that quantified the complexity of presentations, such as deficiency and relation modules. Deficiency, defined as the maximum of the number of generators minus the number of relators over all finite presentations of a group, emerged as a key measure in works like David Epstein's 1961 analysis of aspherical groups, where it bounds homological dimensions and relates to the existence of perfect subgroups. For instance, groups of deficiency greater than 1 often contain free subgroups of rank 2, impacting asphericity and embedding properties. Concurrently, relation modules—viewed as abelian groups generated by relators under Fox derivatives—were formalized using free differential calculus, originating in Wilhelm Magnus's 1930s studies of free groups and expanded by Ralph Fox in the 1950s. These modules capture the syzygies in presentations, enabling homological computations and classifications, as in Lyndon and Schupp's comprehensive treatment, which linked them to deficiency via the Golod-Shafarevich inequality for pro-p completions. These invariants shifted focus toward homological and asymptotic aspects of combinatorial structures, setting the stage for geometric interpretations.^[12]

Gromov's Hyperbolic Groups and Beyond

The introduction of hyperbolic groups by Mikhail Gromov in his 1987 essay marked a pivotal shift in group theory, geometrizing the combinatorial foundations of finitely presented groups by incorporating notions from hyperbolic geometry. In this work, Gromov defined δ-hyperbolicity for groups through the property that geodesic triangles in their Cayley graphs are slim, meaning each side lies within a δ-neighborhood of the union of the other two sides.^[13] This definition built upon earlier combinatorial approaches but emphasized geometric invariants, such as the Gromov boundary, a compact space at infinity that captures the group's asymptotic behavior and enables quasi-isometric invariants to be studied topologically.^[13] The immediate impacts of Gromov's framework included a partial classification of hyperbolic groups via their actions on boundaries, where the boundary's topological type provides structural information about the group, such as distinguishing free groups from surface groups.^[13] Additionally, Gromov extended small cancellation theory, showing that hyperbolic groups satisfy C'(1/6)-small cancellation conditions over certain presentations, which facilitated algorithmic solvability of the word problem and connections to Dehn's algorithm in a geometric setting.^[13] These developments transformed the study of finitely presented groups from purely algebraic manipulations to analyses of their geometric realizations. In the 1990s, the field expanded with key results on group splittings. Zlil Sela established the structure and rigidity of hyperbolic groups, proving that one-ended hyperbolic groups admit canonical splittings over two-ended subgroups, providing a hierarchical decomposition analogous to JSJ decompositions in 3-manifold topology.^[14] Complementing this, Mladen Bestvina and Mark Feighn developed a combination theorem for negatively curved groups, demonstrating that under certain conditions on boundary actions, splittings over quasiconvex subgroups preserve hyperbolicity.^[15] Concurrently, Michah Sageev's construction in the early 1990s produced CAT(0) cube complexes from group actions on spaces with walls, offering a combinatorial tool to embed hyperbolic groups into higher-dimensional geometric structures and study their splittings via hyperplanes. A significant milestone influencing geometric group theory was William Thurston's geometrization conjecture, which posited a complete classification of 3-manifolds via geometric decompositions; its resolution by Grigory Perelman in 2003 using Ricci flow provided new insights into the hyperbolicity of fundamental groups of 3-manifolds, with applications in the 2000s to relatively hyperbolic structures and limit groups. Perelman's proof confirmed that hyperbolic 3-manifolds dominate the classification, enabling geometric group theorists to leverage these results for understanding subgroup splittings and boundaries in low-dimensional topology. At its core, Gromov's program established a deep linkage between algebraic properties of groups—such as solvability of equations—and geometric invariants like boundaries, fostering a unified perspective where word-hyperbolic behavior correlates with negative curvature phenomena.^[13]

Core Themes

Quasi-Isometries and Coarse Geometry

In geometric group theory, quasi-isometries provide the fundamental equivalence relation for studying the large-scale, or coarse, geometry of metric spaces, allowing classification of spaces up to bounded distortions in distances. A map f: (X, d) \to (Y, e) between metric spaces is a quasi-isometry if there exist constants \lambda \geq 1 and \varepsilon \geq 0 such that for all x, y \in X,

\frac{1}{\lambda} d(x, y) - \varepsilon \leq e(f(x), f(y)) \leq \lambda d(x, y) + \varepsilon,

and the image f(X) is \varepsilon-dense in Y, meaning every point in Y is within distance \varepsilon of some point in f(X). This definition captures asymptotic behavior while ignoring small-scale features, as introduced by Gromov in his foundational work on asymptotic invariants.^[16] Coarse geometry builds on quasi-isometries by considering notions of asymptotic equivalence, where two metric spaces are coarsely equivalent if there exists a quasi-isometry between them; this relation is an equivalence relation preserved under compositions and inverses up to bounded errors. The Gromov-Hausdorff distance quantifies the infimal distortion needed to superimpose two metric spaces via isometries after completing them, providing a metric on the space of compact metric spaces where quasi-isometric spaces have distance zero. Ultralimits offer a construction for sequences of pointed metric spaces, using a non-principal ultrafilter to produce limit spaces that capture "infinity" behaviors, enabling the study of asymptotic cones and boundaries in coarse settings. These tools, originating from Gromov's asymptotic framework, facilitate the analysis of infinite structures without relying on fine topology.^[16] For finitely generated groups equipped with word metrics from finite generating sets—which are quasi-isometric regardless of the choice of finite generating set—quasi-isometry equates the groups themselves. Specifically, two finitely generated groups are quasi-isometric if and only if their associated Cayley graphs are quasi-isometric as metric spaces. This equivalence underpins the classification of groups by their coarse geometries, as developed by Gromov in the 1980s.^[13] A key application arises in the study of lattices in semisimple Lie groups, where quasi-isometry rigidity extends Mostow's classical rigidity theorem: for irreducible lattices in higher-rank semisimple Lie groups without compact factors or \mathrm{SU}(n,1), a quasi-isometry between such lattices implies they are isomorphic up to finite index. This generalizes Mostow's result for hyperbolic manifolds, where the fundamental group determines the geometry rigidly, to a coarse setting via superrigidity theorems.^[17] Notably, hyperbolicity—a property measuring thin triangles in metric spaces—is preserved under quasi-isometries, making it a robust coarse invariant for classifying groups and spaces.^[13]

Hyperbolic and Relatively Hyperbolic Groups

A metric space (X, d) is defined to be \delta-hyperbolic for some \delta \geq 0 if it is geodesic and every geodesic triangle in X is \delta-slim, meaning that each side of the triangle lies in the \delta-neighborhood of the union of the other two sides.^[13] This condition captures a notion of negative curvature in a coarse, combinatorial sense, generalizing the thin triangle property of hyperbolic plane geometry.^[13] A finitely generated group G with a finite generating set S is called hyperbolic if its Cayley graph \Gamma(G, S) with respect to the word metric is \delta-hyperbolic for some \delta \geq 0.^[13] Equivalently, G is hyperbolic if it acts properly and cocompactly by isometries on a \delta-hyperbolic geodesic metric space.^[13] Hyperbolicity is independent of the choice of finite generating set, as quasi-isometries preserve the \delta-hyperbolic property.^[13] For a hyperbolic group G, the Gromov boundary \partial G is the set of equivalence classes of geodesic rays in the Cayley graph, where two rays are equivalent if their Gromov products tend to infinity, equipped with a natural topology making \overline{G} = G \sqcup \partial G a compactification of G.^[13] This boundary encodes the "ends" of G and supports a natural action of G by homeomorphisms, facilitating the study of asymptotic dynamics.^[13] Hyperbolic groups exhibit strong algorithmic and geometric properties: they have solvable word problem, as geodesics in the Cayley graph provide a normal form for elements, and they satisfy a linear isoperimetric inequality, meaning that the area of a disk bounded by a loop of length n is at most Cn for some constant C > 0.^[13] These properties imply that hyperbolic groups are finitely presentable and have linear Dehn function.^[13] A key combinatorial criterion for hyperbolicity arises from small cancellation theory: if a finitely presented group satisfies the C'(1/6) condition—meaning no nontrivial reduced word representing a relator has a subword that is more than $1/6 of the length of any relator—then the group is hyperbolic.^[13] This connects classical combinatorial group theory to the geometric framework introduced by Gromov.^[13] Relatively hyperbolic groups generalize hyperbolic groups by allowing "peripheral" subgroups that may not be hyperbolic themselves; specifically, a group G is hyperbolic relative to a collection of subgroups \{H_i\} if the coned-off Cayley graph—obtained by attaching cones over cosets of the H_i—is \delta-hyperbolic.^[18] This structure captures groups like free products or fundamental groups of manifolds with cusps, where the peripherals play the role of "holes" in the geometry.^[18] Bowditch's formulation emphasizes electrifications and boundaries, providing a unified framework for studying quasi-convex subgroups and relative quasiconvexity.^[18]

Groups Acting on CAT(0) Spaces

CAT(0) spaces are complete, simply connected geodesic metric spaces in which every geodesic triangle is at least as thin as its comparison triangle in Euclidean space, meaning that the distance between any two points on the sides of the triangle is no greater than the corresponding distance in the Euclidean comparison triangle.^[19] This condition ensures that the space has non-positive curvature in the sense of Alexandrov, generalizing the geometry of Euclidean spaces and hyperbolic spaces to more abstract metric settings.^[19] A group acting properly and cocompactly by isometries on a CAT(0) space is called a CAT(0) group. Such actions provide a geometric model for the group, where the quotient space is compact, and orbits are quasi-dense. A fundamental result for these groups is the flat torus theorem, which states that if an abelian subgroup acts properly by semisimple isometries on the space, its minset is isometric to a Euclidean space on which the subgroup acts cocompactly, implying that the group splits over virtually abelian factors corresponding to Euclidean subspaces.^[19] This theorem, developed by Gromov in the 1980s, highlights how Euclidean geometry embeds rigidly into the broader non-positive curvature framework. For CAT(0) cube complexes specifically, Bridson and Haefliger provided criteria in the 1990s: a simply connected cubical complex is CAT(0) if and only if it satisfies Gromov's link condition, meaning the link of every vertex is a flag simplicial complex (no empty simplices).^[19] This combinatorial criterion allows for the construction and verification of CAT(0) structures on groups via cubulations, bridging algebraic and geometric properties. A key property of CAT(0) spaces is the stability of quasi-geodesics, often referred to in the context of a Morse lemma: any quasi-geodesic segment lies within a bounded neighborhood of the unique geodesic connecting its endpoints, with the bound depending only on the quasi-geodesic constants.^[19] This stability implies the fellow traveler property, where two quasi-geodesics with endpoints close at the start remain close throughout their lengths.^[20] CAT(0) groups are consequently biautomatic, meaning they admit a biautomatic structure with respect to some finite generating set, facilitating algorithmic solvability of the word problem.^[21] Moreover, CAT(0) groups satisfy a quadratic isoperimetric inequality, bounding the area of disks filling loops by the square of their lengths, which underscores their efficient filling properties compared to groups with superquadratic Dehn functions.^[19] Many hyperbolic groups act properly and cocompactly on CAT(0) spaces via actions that admit rank-one isometries, which generate hyperbolic elements without fixed flats along their axes, highlighting the overlap between these classes.^[22]

Examples

Free Groups and Free Products

The free group F_n on n generators, with n \geq 2, exemplifies the core principles of geometric group theory as the archetypal non-abelian, finitely generated group with purely combinatorial structure and tree-like geometry.^[23] It consists of all reduced words over the generators and their inverses, where no generator cancels with its inverse, ensuring a unique normal form for each element.^[24] The word problem in F_n is algorithmically trivial: any word reduces to its unique freely reduced form via successive cancellations, confirming whether it equals the identity.^[25] The Cayley graph of F_n with respect to the standard symmetric generating set of $2n elements (generators and inverses) is a 2n-regular tree, an infinite, simply connected graph without cycles.^[26] This tree has infinite diameter, reflecting the unbounded distances between vertices, and the group exhibits exponential growth, with the number of elements at word length k growing as approximately (2n-1)^k.^[27] The precise exponential growth rate is $2n-1, the maximum achievable for any group generated by n elements.^[27] Free groups are Gromov hyperbolic, specifically \delta-hyperbolic with \delta = 0, as their Cayley graphs are trees where geodesic triangles are degenerate and thin.^[13] The Gromov boundary of F_n, obtained as the set of geodesic rays from a basepoint modulo asymptotic equivalence, is homeomorphic to a Cantor set, capturing the group's combinatorial endpoints.^[28] Free products generalize free groups by amalgamating multiple groups without relations beyond their internal structures. Bass-Serre theory, developed in the 1970s and 1980s by Hyman Bass and Jean-Pierre Serre, provides a geometric framework for understanding free products as fundamental groups of graphs of groups, where the group acts on a Bass-Serre tree—a simplicial tree encoding the splitting. In this action, stabilizers of vertices are the factor groups, and edge stabilizers are trivial, yielding a free orbit structure analogous to the free group's action on its Cayley tree.^[29] Free groups themselves arise as free products of n copies of the infinite cyclic group \mathbb{Z}, and their actions on trees are free and cocompact, fitting into the broader CAT(0) framework where trees serve as model spaces of constant negative curvature. A prominent example is the modular group \mathrm{PSL}(2, \mathbb{Z}), which is isomorphic to the free product \mathbb{Z}/2\mathbb{Z} * \mathbb{Z}/3\mathbb{Z}, generated by elements of orders 2 and 3 satisfying no further relations.^[30] This splitting corresponds to an action on a Bass-Serre tree whose quotient is a single edge connecting vertices stabilized by the cyclic factors, highlighting how free products encode modular arithmetic in a geometric setting.^[30]

Surface Groups and Mapping Class Groups

Surface groups refer to the fundamental groups \pi_1(\Sigma_g) of closed orientable surfaces \Sigma_g of genus g \geq 2. By the uniformization theorem, every such surface admits a complete hyperbolic metric of constant curvature -[1](/page/1), which induces a faithful discrete representation of \pi_1(\Sigma_g) as a Fuchsian group in \mathrm{PSL}(2, \mathbb{R}) acting properly and cocompactly on the hyperbolic plane \mathbb{H}^2.^[31] This action implies that surface groups are Gromov hyperbolic, as \mathbb{H}^2 is a \delta-hyperbolic space for some \delta > 0.^[13] Consequently, surface groups satisfy a linear isoperimetric inequality, meaning their Dehn function is linear.^[13] The geometric study of surface groups is intimately tied to Teichmüller space \mathcal{T}_g, which parametrizes all marked hyperbolic structures on \Sigma_g up to isometry. A key tool for understanding the geometry of \mathcal{T}_g is the use of pants decompositions, which decompose \Sigma_g into pairs of pants (spheres with three boundary components) via a maximal collection of $3g-3 pairwise disjoint simple closed curves. These decompositions provide Fenchel-Nielsen coordinates for \mathcal{T}_g, consisting of lengths and twist parameters along the decomposing curves, endowing the space with a natural piecewise hyperbolic structure. The mapping class group \mathrm{Mod}(\Sigma_g) consists of isotopy classes of orientation-preserving homeomorphisms of \Sigma_g. It acts properly and cocompactly on \mathcal{T}_g by changing markings, and this action encodes the geometric structure of the group. In the 1980s, Harer introduced the curve complex \mathcal{C}(\Sigma_g), a simplicial complex whose vertices are isotopy classes of simple closed curves on \Sigma_g and whose simplices correspond to collections of pairwise disjoint curves; \mathrm{Mod}(\Sigma_g) acts simplicially on \mathcal{C}(\Sigma_g), which is \delta-hyperbolic and provides a model for the coarse geometry of the group. For the surface \Sigma_{g,1} with one boundary component, \mathrm{Mod}(\Sigma_{g,1}) surjects onto \mathrm{Out}(F_{2g}) with cyclic kernel, yielding a quasi-isometry between the two groups. A landmark result in the geometric study of \mathrm{Mod}(\Sigma_g) is the hierarchy path theorem of Masur and Minsky, which constructs quasi-geodesic paths in \mathcal{C}(\Sigma_g) using hierarchies of subsurfaces and projections to curve complexes of subsurfaces. These hierarchy paths resolve the word problem in \mathrm{Mod}(\Sigma_g) algorithmically and reveal its relative hyperbolicity with respect to the subgroups stabilizing subsurfaces.^[32]

Right-Angled Artin Groups

Right-angled Artin groups, often abbreviated as RAAGs, provide a rich family of groups that interpolate between free groups and free abelian groups, defined combinatorially via graphs. Given a finite simplicial graph \Gamma with vertex set V(\Gamma), the associated RAAG A_\Gamma has a presentation \langle V(\Gamma) \mid [v,w] = 1 \text{ for all edges } vw \in E(\Gamma) \rangle, where the generators correspond to vertices and the only relations are commutators between adjacent vertices.^[33] This presentation encodes the commutation structure directly from the graph: disconnected components yield direct products of RAAGs on the components, while the absence of edges produces free groups.^[33] The geometric realization of RAAGs arises through the Salvetti complex, a K(A_\Gamma, 1)-complex constructed by attaching cells corresponding to commuting subsets of generators, which for RAAGs admits a natural cubical structure.^[33] In the 1990s, Charney and Davis established a cubical presentation for RAAGs by showing that the universal cover of the Salvetti complex is a CAT(0) cube complex on which A_\Gamma acts properly and cocompactly, bridging the algebraic presentation to a nonpositively curved geometric model.^[34] This cubulation highlights RAAGs as a bridge between combinatorial group theory and coarse geometry, with the cube complex's hyperplanes dual to the generators.^[33] RAAGs exhibit strong geometric properties stemming from their actions on CAT(0) cube complexes. Specifically, A_\Gamma acts geometrically on the universal cover of its Salvetti complex, which is a CAT(0) cube complex.^[35] In the 2000s, Wise proved that RAAGs are fundamental groups of special cube complexes, meaning their defining maps avoid certain self-intersections in hyperplanes, enabling powerful combinatorial and algorithmic tools like cubical small-cancellation theory. Consequently, non-free RAAGs have quadratic Dehn functions, reflecting their asymptotic geometry as intermediate between hyperbolic (linear Dehn) and more rigid structures.^[36] Representative examples illustrate the flexibility of RAAGs. The free abelian group \mathbb{Z}^n arises as the RAAG on the complete graph K_n, where all generators commute.^[33] In contrast, the free group F_n is the RAAG on the empty graph with n vertices, lacking any commutation relations.^[33] A notable feature of RAAGs is the presence of distorted subgroups, where embeddings can exhibit superlinear word metric growth relative to the ambient group. For instance, the Baumslag-Solitar group BS(1,2) = \langle a, t \mid t a t^{-1} = a^2 \rangle embeds into the RAAG on a graph with vertices a_1, a_2, t and edges a_1 a_2, a_1 t, a_2 t via a = a_1 a_2^{-1}, resulting in exponential distortion of the cyclic subgroup generated by a.^[37]

Modern Developments and Applications

Connections to Low-Dimensional Topology

Geometric group theory provides powerful tools for understanding the fundamental groups of low-dimensional manifolds, particularly through their actions on hyperbolic spaces and splittings over subgroups. In two dimensions, the fundamental groups of closed orientable surfaces of genus at least two are hyperbolic groups, admitting a proper cocompact action on the hyperbolic plane, which reflects the negative curvature of the surface and enables the classification of such groups up to isomorphism via their geometric realizations. This hyperbolicity underpins the study of surface topology, including Dehn fillings and mapping class group actions. In three dimensions, geometric group theory informs the structure of 3-manifold groups via JSJ decompositions, which decompose the fundamental group along essential tori or annuli into simpler pieces, mirroring the topological JSJ decomposition. Originally developed for Haken 3-manifolds by Jaco-Shalen and Johansson in the late 1970s, the group-theoretic version was extended by Sela in the 1990s to torsion-free hyperbolic 3-manifold groups, using acylindrical splittings over cyclic subgroups to capture the canonical structure.^[38] These decompositions reveal the hierarchical structure of the groups, facilitating the study of rigidity and deformation spaces. Knot groups, the fundamental groups of knot complements in the 3-sphere, exemplify relatively hyperbolic groups with a peripheral structure consisting of the abelian subgroup generated by the meridian and longitude. Bowditch established this relative hyperbolicity in the late 1990s, showing that knot groups act acylindrically on hyperbolic spaces relative to their peripheral cusps, which aligns with the hyperbolic geometry of most knot complements as per Thurston's work. This structure aids in analyzing Dehn surgeries and the behavior of knot groups under peripheral modifications. The virtual fibering conjecture, positing that every closed irreducible atoroidal 3-manifold has a finite cover that fibers over the circle, was resolved by Agol in 2013 using the virtual Haken conjecture and Wise's work on cubulated groups, implying that many 3-manifold groups are virtually fibered with surface subgroups.^[39] Extensions by Calegari and Walker in the 2010s demonstrated that random hyperbolic groups contain quasiconvex surface subgroups, hence are virtually fibered, broadening the applicability to generic 3-manifold groups.^[40] Group-theoretic approaches also contribute to Perelman's 2003 proof of the geometrization theorem, which decomposes every 3-manifold into geometric pieces, through analyses of acylindrical actions on hyperbolic spaces that verify the hyperbolicity of atoroidal components. Sela's program in the 1990s-2000s outlined a combinatorial proof of geometrization for hyperbolic 3-manifolds via limit groups and acylindrical splittings, complementing Perelman's Ricci flow method by emphasizing algebraic rigidity. These techniques highlight the interplay between group actions and manifold geometry in low dimensions.

Interactions with Logic and Combinatorics

Geometric group theory intersects with logic through constructions like Tarski monsters, which are infinite simple groups where every proper nontrivial subgroup is cyclic of a fixed prime order p > 10^{75}. These groups, first constructed by Olshanskii in the early 1980s, demonstrate extreme subgroup structure and arise from geometric methods involving small cancellation theory over hyperbolic spaces. The existence of Tarski monsters relies on Golod-Shafarevich inequalities, developed in the 1960s and extended in the 1980s–2000s, which bound group growth in terms of cohomology dimensions and enable the creation of infinite groups with subexponential growth despite having no nontrivial finite quotients.^[41] This linkage highlights how geometric constructions inform logical questions about undecidability and subgroup properties in infinite groups. Logical aspects of geometric group theory include the equationally Noetherian property, where every system of equations over the group has a finite subsystem determining its solutions. Torsion-free hyperbolic groups possess this property, as established by Sela in the 2000s through analysis of their JSJ decompositions and Makanin-Razborov diagrams. Model-theoretic algebraic geometry over groups extends this by treating varieties defined by equations in free or hyperbolic groups as geometric objects, analogous to classical algebraic varieties, with coordinates in the group ring; this framework, surveyed by Baumslag, Myasnikov, and Remeslennikov in 2002, reveals stability and elimination of imaginaries in such structures.^[42] Combinatorial connections manifest in isoperimetric functions, which measure the efficiency of word representations in group presentations via van Kampen diagrams. Dehn functions, a key isoperimetric invariant, classify groups up to quasi-isometry by quantifying the area needed to fill loops in the Cayley graph; Baumslag and Miller in the 1990s showed that certain metabelian groups exhibit superquadratic Dehn functions, linking combinatorial word metrics to geometric distortion in subgroup embeddings. A pivotal development is Kazhdan's property (T), requiring unitary representations without almost invariant vectors, and its geometric manifestations since the 1980s. Property (T) groups resist random walks and appear in lattices acting on symmetric spaces, but Kazhdan's paradox illustrates that finite-index subgroups may lack (T) despite the ambient group having it; geometric group theory resolves aspects of this via actions on CAT(0) spaces and hyperbolic buildings, as explored in works by Watatani and others in the late 1980s. Limit groups, introduced by Sela in 2001, are finitely generated fully residually free groups arising as limits of homomorphisms from free groups to SL(2,ℂ); they parameterize solutions to equations over free groups and have Diophantine applications, such as determining that all Diophantine sets in non-abelian free groups are recursively enumerable. Hyperbolic groups exhibit strong logical properties, including decidable theories in many cases, through these constructions.

Recent Advances in Acylindrical Actions

An action of a group G on a metric space X is acylindrical if for every \varepsilon > 0 there exist R, N > 0 such that for all x, y \in X with d(x,y) \geq R, the set \{ g \in G \mid d(x, gx) \leq \varepsilon \text{ and } d(y, gy) \leq \varepsilon \} has cardinality at most N.^[43] This definition, introduced by Dahmani, Guirardel, and Osin in the early 2010s, captures actions with "bounded point stabilizers" in a coarse sense and plays a key role in generalizing relative hyperbolicity to broader classes of groups acting on hyperbolic spaces.^[43] Groups admitting non-elementary acylindrical actions on hyperbolic spaces are termed acylindrically hyperbolic, a class that includes hyperbolic groups, relatively hyperbolic groups, and many mapping class groups. Building on work from the 2010s, Durham and Taylor established foundational results on convex cocompact actions of mapping class groups, showing that stable subgroups are precisely the convex cocompact ones, with implications for actions on curve complexes and stability properties that enable classifications of pseudo-Anosov elements and their limits.^[44] This refines understandings of hyperbolicity in these complexes and has implications for rigidity in low-dimensional topology, where arc complexes provide combinatorial models for punctured surfaces. Advances in cubical relatively hyperbolic groups have accelerated in the 2020s, particularly through connections to Wise's framework of virtual specialness. Wise's 2012 construction demonstrated that groups with quasi-convex hierarchies often act properly and cocompactly on CAT(0) cube complexes, implying virtual specialness. These developments provide new classification tools for groups with acylindrical actions on cubical spaces, linking relative hyperbolicity to combinatorial non-positive curvature. Between 2020 and 2025, probabilistic methods have illuminated random acylindrical actions, with applications to group stability. For instance, Abbott, Berlyne, and colleagues showed in 2025 that random quotients of acylindrically hyperbolic groups, obtained by taking a quotient by the nth steps of a finite-index normal subgroup, preserve acylindrical hyperbolicity with overwhelming probability, leveraging random walk estimates on the original actions.^[45] This connects to random Heegaard splittings, where random walks on mapping class groups generate splittings whose stabilizing subgroups exhibit acylindrical behavior, as explored in extensions of Maher's foundational 2010 work on probabilistic 3-manifold decompositions.^[46] Acylindrical hyperbolicity also yields strong quasi-isometry rigidity results. In particular, groups with non-elementary acylindrical actions on hyperbolic spaces often admit rigid quasi-isometry classifications, as seen in extensions of relative hyperbolicity theory where peripheral structures are preserved under quasi-isometries.

References

[1]
https://arxiv.org/pdf/0806.3771.pdf
[2]
[PDF] Geometric Group Theory - UC Davis Math
The key idea in Geometric Group Theory is to study groups by endowing them with a metric and treating them as geometric objects. This can be done for groups.
[3]
[PDF] Geometric Group Theory - Clara Löh - Universität Regensburg
Jun 9, 2022 · This course provides an introduction to geometric group theory. ... A survey of measured group theory, in Geometry, Rigid- ity, and Group ...
[4]
[PDF] Metric Geometry and Geometric Group Theory Lior Silberman
Introduction – Geometric group theory. We study the connection between geometric and algebraic properties of groups and the spaces they act on.
[5]
[PDF] group actions on metric spaces: fixed points and free subgroups
Abstract. We look at group actions on metric spaces, particularly at group actions on geodesic hyperbolic spaces. We classify the types of automorphisms.
[6]
[PDF] THE GEOMETRY AND TOPOLOGY OF COXETER GROUPS
Aug 17, 2007 · Chapter 2 SOME BASIC NOTIONS IN GEOMETRIC GROUP. THEORY. 15. 2.1. Cayley Graphs and Word Metrics. 15. 2.2. Cayley 2-Complexes. 18. 2.3.
[7]
[PDF] Lectures on Geometric Group Theory - UC Davis Mathematics
A Cayley graph G, as any other connected graph, admits a natural metric invariant under automorphisms of G: The distance between two points is the length of ...
[8]
William Rowan Hamilton - Biography
### Summary of William Rowan Hamilton's 1850s Work on Icosahedral Quaternions as a Precursor to Spatial Group Actions
[9]
Walther von Dyck (1856 - 1934) - Biography - MacTutor
A warm, kind-hearted man of wide-ranging and liberal interests, including art and music, Dyck was an outstanding scholar and organiser and an enthusiastic and ...
[10]
Word problems for groups - MacTutor - University of St Andrews
In 1912 Dehn studied the word problem and the conjugacy problem for the fundamental groups of orientable closed 2-dimensional manifolds. These are 1-relator ...Missing: Dehn's | Show results with:Dehn's<|separator|>
[11]
Jakob Nielsen (1890 - 1959) - Biography - MacTutor
Among them is his fundamental paper, in the Matematisk Tidsskrift in 1921, on free groups, in which the Nielsen-Schreier theorem (or rather Nielsen's part of it) ...
[12]
Paul E. Schupp Combinatorial Group Theory
His current interest is using geometric methods to investigate the computational complexity of algorithms in combinatorial group theory. Page 3. Roger C. Lyndon ...<|control11|><|separator|>
[13]
[PDF] HYPERBOLIC GROUPS - M. Gromov - IHES
There is a. "linguistic" difficulty in discussing hyperbolic groups as one translates clear-cut geometric notions into their "quasi" and "approximate".
[14]
[PDF] Structure and Rigidity in Hyperbolic Groups I E. Rips and Z. Sela
Further structural results on hyperbolic groups, their small splittings and automorphism group appear in a continuation paper by the second author [Se3].
[15]
a combination theorem for negatively curved groups - Project Euclid
Let f be a hyperbolic automorphism of the negatively curved group G. Then the mapping torus M, of f is negatively curved. Page 12. 96. M. BESTVINA & M. FEIGHN.
[16]
[PDF] asymptotic invariants of infinite groups - IHES
So again V is quasi-isometric to I. This the large- scale (or asymptotic) geometry of finitely presented group embedds into a more general theory, that is the ...
[17]
[PDF] Quasi-isometry rigidity of groups - arXiv
Jan 20, 2007 · ... Mostow rigidity theorem also a quasi-isometry of the whole ... If two virtually nilpotent groups are quasi-isometric, the graded Lie groups ...
[18]
[PDF] relatively hyperbolic groups
Abstract. In this paper we develop some of the foundations of the theory of relatively hyperbolic groups as originally formulated by Gromov.
[19]
Metric Spaces of Non-Positive Curvature - SpringerLink
Free delivery 14-day returnsThe purpose of this book is to describe the global properties of complete simply connected spaces that are non-positively curved in the sense of AD Alexandrov.
[20]
[1112.4246] Hyperbolic quasi-geodesics in CAT(0) spaces - arXiv
Dec 19, 2011 · We prove that in CAT(0) spaces a quasi-geodesic is Morse if and only if it is contracting. Specifically, in our main theorem we prove that for \gamma a quasi- ...
[21]
[1111.3076] Group Actions on CAT(0) Simplicial Complexes - arXiv
Nov 13, 2011 · This article adds to the list of positive examples by proving that groups acting on CAT(0) simplicial 3-complexes are biautomatic.
[22]
Combinatorial Group Theory: Presentations of Groups in Terms of ...
The book begins with a fairly elementary exposition of basic concepts ... Wilhelm Magnus, Abraham Karrass, Donald Solitar. Edition, illustrated, reprint.
[23]
[PDF] Free groups - UNL Math
It follows from the definition that every element of a free group on X can be defined by a reduced group word on X. Moreover, different reduced words on X ...
[24]
[PDF] Why word problems are hard - Keith Conrad
Perhaps surprisingly, being “free” is preserved for all subgroups. Theorem 3.8 (Nielsen, Schreier). Every subgroup of a free group is free. Page 5 ...
[25]
[PDF] arXiv:2009.11950v2 [math.PR] 7 Jun 2021
Jun 7, 2021 · See Figure. 1 for a drawing of a 4-regular tree. In the figure ... 1 is the Cayley graph of the free group on. 2 generators.) Let A be a ...
[26]
On exponential growth rates for free groups. - EuDML
We show that the exponential growth rate τ of a group G with respect to a p-element generating set X is 2p-1 if and only if G is free on X; otherwise τ < 2p ...
[27]
[PDF] Notes On Hyperbolic and Automatic Groups - UC Davis Math
Oct 21, 2003 · The theory of hyperbolic groups and the philosophy of considering groups as coarse geometric objects was developed by Gromov. (see [22],[23] and ...
[28]
[PDF] bass-serre theory and complexes of groups - Cornell Mathematics
Exercise: Every element of a free group is represented by a unique reduced word. Every element of a free product as well (though you have to interpret. “reduced ...Missing: seminal paper
[29]
Classical modular group
Γ ≃ S,T | S2 = (ST)3 = 1 . Thus Γ = PSL2(Z) is the free product of Z/2Z and Z/3Z. Proof. Consider a relation δ1 ...
[30]
[PDF] Uniformization of Riemann Surfaces
... Fuchsian groups, continuity method ... It is our implicit belief that the uniformization theorem is one of the major results of 19th century mathematics.
[31]
Geometry of the complex of curves II: Hierarchical structure - arXiv
Jul 27, 1998 · This paper studies the geometry of Harvey's Complex of Curves, using a hierarchy of geodesics to control its layered structure.Missing: paths 1999
[32]
[PDF] an introduction to right-angled artin groups - Brandeis
The easiest way to specify the presentation for a right-angled Coxeter or Artin group is by means of the defining graph Γ. This is the graph whose vertices are ...
[33]
[PDF] an introduction to the geometric and combinatorial group theory of ...
Charney and Davis proved the following: Theorem 2.21 ([CD95b]). The Deligne complex DΓ is homotopy equivalent to the universal cover of the Salvetti complex ...
[34]
[PDF] Right-angled Artin groups are commensurable with right ... - OSU Math
A key feature of any right-angled Artin group is that it acts cocompactly and isometrically on a CAT(0) cubical complex [4].
[35]
[PDF] Dehn functions of mapping tori of right-angled Artin groups
Nov 14, 2023 · Non-free RAAGs have Z2 subgroups and so are not hyperbolic (e.g. [9]). So RAAGs have either linear or quadratic Dehn functions, the linear case ...
[36]
[PDF] On Distortion of Surface Groups in Right-Angled Artin Groups
A map may be distorted by a change in generating set: if we consider the. Baumslag-Solitar group ... groups that embed into right-angled Artin groups. The.
[37]
Canonical Decompositions of 3–Manifolds - MSP
Jul 30, 1997 · In this paper we describe a proof of the so-called JSJ–decomposition theorem for 3–manifolds. This proof was developed as an exercise for ...
[38]
[1204.2810] The virtual Haken conjecture - arXiv
Apr 12, 2012 · Authors:Ian Agol, Daniel Groves, Jason Manning. View a PDF of the paper titled The virtual Haken conjecture, by Ian Agol and 2 other authors.Missing: 2013 | Show results with:2013
[39]
[1304.2188] Random groups contain surface subgroups - arXiv
Apr 8, 2013 · Authors:Danny Calegari, Alden Walker. View a PDF of the paper titled Random groups contain surface subgroups, by Danny Calegari and Alden Walker.Missing: virtual fibering
[40]
[PDF] golod-shafarevich groups: a survey - GitHub Pages
In particular, GGS groups played a key role in the construction of Kazhdan quotients of GS groups [EJ2] and residually finite analogues of Tarski monsters [EJ3] ...
[41]
[PDF] Algebraic geometry over groups
Apr 7, 2005 · All of the everyday notions of group theory can be carried over, with a little care, to the category of G-groups, including finitely generated ...
[42]
Hyperbolically embedded subgroups and rotating families in groups ...
Nov 30, 2011 · We introduce and study the notions of hyperbolically embedded and very rotating families of subgroups.
[43]
On cubulated relatively hyperbolic groups - MSP
May 16, 2023 · The goal of this manuscript is to extend Agol's result to relatively hyperbolic groups, but for that we need to restrict our class of peripheral.
[44]
[0809.4881] Random Heegaard splittings - arXiv
Sep 29, 2008 · Title:Random Heegaard splittings ... Abstract:A random Heegaard splitting is a 3-manifold obtained by using a random walk of length n on the ...