Bass–Serre theory

Bass–Serre theory
Name	Bass–Serre theory
Field	Jean-Pierre Serre, Hyman Bass
Introduced	1970s
Key concepts	group theory, graph theory, tree (graph), amalgamated free product, HNN extension

Bass–Serre theory provides a correspondence between actions of groups on trees and algebraic decompositions of groups as graphs of groups, notably amalgamated free product and HNN extension. Originating in work of Hyman Bass and Jean-Pierre Serre, it links geometric actions of groups to combinatorial and algebraic invariants and has influenced research of Max Dehn, Otto Schreier, Walther von Dyck, Graham Higman, John Stallings, and Serre's book "Trees". The theory underpins structural results used by researchers in geometric group theory, low-dimensional topology, algebraic topology, arithmetic groups, and the study of 3-manifold groups.

Introduction

Bass–Serre theory begins with an action of a group on a simplicial tree without inversions and produces a combinatorial object called a graph of groups; conversely a graph of groups yields a canonical group acting on a Bass–Serre tree. The foundational exposition appears in Jean-Pierre Serre's book "Trees", and later expositions by Hyman Bass, Kenneth Brown, Serge Lang, and authors in geometric group theory synthesize methods used in the study of free group, surface group, mapping class group, Kleinian group, and arithmetic group actions. The correspondence gives algebraic decompositions that mirror classical constructions by Augustin-Louis Cauchy, Niels Henrik Abel, and combinatorial predecessors such as Otto Schreier and Max Dehn.

Graphs of groups and group actions on trees

A graph of groups consists of a graph together with vertex and edge groups and monomorphisms from edge groups into adjacent vertex groups; this formalism parallels earlier combinatorial methods in work of Henry Whitehead and Alfred Tarski. Associated to a graph of groups is a universal covering tree, the Bass–Serre tree, on which the fundamental group of the graph acts with stabilizers conjugate to the vertex and edge groups. In practice researchers relate these actions to classical phenomena studied by William Thurston for 3-manifold decompositions, by Paulin in convergence group theory, and by Gromov in hyperbolic group theory; applications also touch the Tits alternative and properties studied by Kazhdan and Margulis for arithmetic group lattices.

Fundamental theorem and Bass–Serre correspondence

The fundamental theorem asserts an equivalence between groups acting on trees with specified quotient graphs and graphs of groups with fundamental group equal to the acting group; this correspondence formalizes earlier splitting results of Kurosh and Grushko. The Bass–Serre correspondence produces an exact sequence and a notion of fundamental group modeled after Albanese variety-style invariants, and it has been applied by Gaboriau and Levitt in measured group theory and by Sela in the study of limit groups. Proofs deploy van Kampen-style arguments echoing techniques from Alfred van der Waerden and homological methods used by Serre and Brown.

Amalgamated free products and HNN extensions

Two basic constructions in the theory are the amalgamated free product and the HNN extension, both recovered as fundamental groups of simple graphs of groups. The classical amalgamated free product construction goes back to Otto Schreier and Max Dehn and was systematized by Higman and Neilsen; the HNN extension—named for Graham Higman, Bernhard Neumann, and Hannah Neumann—provides a mechanism to encode isomorphisms between subgroups as loop-edge data in a graph. These constructions are central in proofs by Stallings on ends of groups, in Scott and Wall's work on group splittings for 3-manifold groups, and in Dunwoody's accessibility results.

Applications and examples

Bass–Serre theory gives canonical decompositions for free products with amalgamation arising in studies of free group automorphisms like Out(F_n), for fundamental groups of graph of spaces encountered by Thurston and Haken, and for amalgam examples in class field theory and modular forms contexts via arithmetic lattices studied by Borel and Serre. Concrete examples include decompositions of free groups, splittings of surface groups, JSJ decompositions due to Rips and Sela, and Bass–Serre trees associated to p-adic group actions analyzed by Bruhat and Tits. The theory informs results on ends and accessibility proven by Freudenthal and Hopf, and it appears in algorithmic questions tackled by Makanin and Rips.

Structure and accessibility of groups

A major consequence is accessibility: finitely generated groups can be decomposed along finite edge groups into a finite graph of groups under hypotheses studied by Dunwoody, Sela, and Bestvina; these results build on earlier decomposition theorems of Kurosh and Grushko. Theorems about JSJ decompositions due to Rips, Sela, and Bowditch refine structure theory for one-ended groups, relating splittings to canonical invariants used in classification problems addressed by Perelman for 3-manifolds and by Sela for limit groups.

Generalizations and further developments

Generalizations include actions on more general CAT(0) spaces studied by Gromov, complexes of groups developed by Haefliger and Bridson, and measured or probabilistic analogues explored by Gaboriau and Kaimanovich. Higher-dimensional and relative theories connect to work of Wise on special cube complexes, to Haglund and Wise in cubulation of groups, and to deformation spaces studied by Levitt and Guirardel. Contemporary research links Bass–Serre techniques to the study of Out(F_n), of mapping class group, and of arithmetic lattices in Lie groups, continuing the influence of pioneers such as Jean-Pierre Serre and Hyman Bass.

Category:Group theory