geometric group theory

geometric group theory
Name	geometric group theory
Field	Mathematics
Introduced	1980s
Notable people	Mikhail Gromov, William Thurston, G. A. Margulis, Eliyahu Rips, Roger Lyndon, John Milnor

geometric group theory Geometric group theory is a branch of mathematics that studies groups via geometric, topological, and combinatorial methods. It analyzes algebraic properties of groups by embedding them into geometric objects such as graphs, manifolds, and metric spaces and compares large-scale properties under coarse equivalences. Origins and influences include work by Mikhail Gromov, developments in low-dimensional topology by William Thurston, and connections with rigidity conjectures studied by G. A. Margulis and others.

Introduction

Geometric group theory arose in the late 20th century as researchers such as Mikhail Gromov, William Thurston, John Milnor, Eliyahu Rips, and Misha Gromov explored links between algebraic invariants of groups and geometric structures on spaces on which groups act. The field synthesizes techniques from Riemannian geometry influenced by Élie Cartan, hyperbolic geometry developed since Lobachevsky and Bolyai, and combinatorial group theory from work by Max Dehn, Thue, and Schreier. Influential institutions and events include seminars at Institute for Advanced Study and conferences such as those organized by the American Mathematical Society and the European Mathematical Society.

Foundational Concepts and Definitions

Foundational definitions include finitely generated group, Cayley graph, word metric, quasi-isometry, and group action on a metric space; seminal contributors include Roger Lyndon, Paul Schupp, and Eliyahu Rips. The notion of hyperbolicity in the sense of thin triangles was introduced by Mikhail Gromov and connects to classical notions from Poincaré and Lebesgue-era topology. Group boundaries, growth functions, and amenability were studied by John von Neumann, Kolmogorov, and later by Ershov-type researchers; properties such as Kazhdan’s property (T) owe to David Kazhdan and rigidity frameworks link to Mostow rigidity and work of Margulis. Presentations of groups via generators and relators come from Dehn and combinatorial techniques from Schreier and Whitehead remain central.

Methods and Tools (Cayley Graphs, Quasi-Isometries, Word Metrics)

Cayley graphs provide a combinatorial model introduced in earlier forms by Cayley and used extensively by Dehn; word metrics arise from finite generating sets and link to growth studied by Zelmanov-inspired work. Quasi-isometries, a coarse equivalence concept formalized by Misha Gromov, allow comparison of groups up to large-scale geometry; rigidity theorems by Mostow and results of Margulis exploit quasi-isometric invariance. Additional tools include isoperimetric inequalities from Thurston-influenced topology, small cancellation theory developed by Schur-lineage authors, and JSJ decompositions building on ideas of Alperin and Vogtmann.

Major Theorems and Results

Major results include Gromov’s polynomial growth theorem, showing virtually nilpotent structure for groups of polynomial growth, and the hyperbolization program influenced by Thurston and proved in related contexts by Grigori Perelman for three-manifolds. The combination of Bass–Serre theory from Bass and Serre gives group splittings via actions on trees; the Tits alternative originates with Tits. Mostow rigidity, Margulis superrigidity, and Kazhdan’s property (T) produce classification and rigidity phenomena established by Margulis, Kazhdan, and Mostow. Dehn’s algorithm, the Novikov–Boone undecidability results connected to Novikov and Boone, and the solution of the word and conjugacy problems in specific classes by Baumslag and another Baumslag remain cornerstones. Further landmark contributions include Agol’s work on virtual Haken conjecture linked to Agol and Wise’s program relating to special cube complexes from Wise.

Classes of Groups Studied

Researchers study hyperbolic groups (Gromov), relatively hyperbolic groups (Farb, Gromov), nilpotent and solvable groups (Mal’cev, Lie theory from Lie), mapping class groups (Harvey, Ivanov), automorphism groups of free groups (Out(F_n), studied by Vogtmann and Bestvina), Coxeter groups (Humphreys), Artin groups (Brieskorn, Saito), CAT(0) groups (Bridson, Haefliger), and lattices in Lie groups studied by Borel and Harish-Chandra. Other important families include braid groups (Emil Artin), surface groups (Poincaré, Dehn), and right-angled Artin and Coxeter groups analyzed in work by Charney and Davis.

Applications and Connections to Other Fields

Connections span low-dimensional topology (Thurston, Perelman), Riemannian and metric geometry (Cartan, Gromov), dynamics (Anosov flows studied by Anosov), geometric topology of manifolds (Haken, Waldhausen), number theory via arithmetic groups (Borel, Margulis), and theoretical computer science through decision problems and complexity linked to Turing-era undecidability. Interactions with mathematical physics appear in quantum topology influenced by Witten and in statistical mechanics models using braid and mapping class group techniques from Artin-lineage studies. The subject informs research at institutions such as the Institute for Advanced Study, Mathematical Sciences Research Institute, and conferences by ICM organizers.

Category:Mathematics