Mapping class group

Mapping class group
Name	Mapping class group
Type	Mathematical group
Field	Topology, Geometric group theory, Algebraic geometry
Notable	William Thurston, Max Dehn, Dennis Johnson, John Harer

Mapping class group.

The mapping class group is the group of isotopy classes of orientation-preserving homeomorphisms of a surface; it plays a central role in the study of surfaces, 3-manifolds, moduli of Riemann surfaces, and dynamics. Introduced in the work of Max Dehn and developed by William Thurston, John Nielsen, and later by Dennis Johnson and John Harer, the group connects the geometry of surfaces with algebraic and combinatorial structures such as fundamental groups, braid groups, and moduli spaces.

Definition and basic examples

For a compact oriented surface S (possibly with boundary or punctures), the mapping class group is the group of isotopy classes of orientation-preserving homeomorphisms of S that fix the boundary pointwise or permute punctures; classical examples include the mapping class group of the sphere with n punctures identified with the braid group quotient related to Artin braid group structures, and the mapping class group of the torus identified with SL(2,Z). For a closed genus g surface Σ_g the group recovers rich phenomena linked to the Moduli space of curves and to surface bundles over the circle such as those studied by William Thurston in pseudo-Anosov theory. Finite-order elements realize mapping classes corresponding to periodic maps studied by Nielsen and Hiroshi Ikeda; Dehn twists along simple closed curves furnish elementary building blocks traced back to Max Dehn.

Algebraic and geometric structures

The mapping class group admits both algebraic and geometric descriptions: algebraically it acts on the surface fundamental group π_1(Σ_g) with connections to Out(F_n) when cutting surfaces into pairs of pants, and geometrically it acts by isometries on Teichmüller space equipped with the Teichmüller metric and on combinatorial complexes such as the curve complex introduced by William Harvey. As a finitely presented group for g≥2 by work of John Harer and A. Hatcher, it sits in short exact sequences relating to the pure mapping class group and permutation actions of symmetric group S_n on punctures, and interacts with the mapping class groups of subsurfaces studied by Birman and Powell.

Generators, relations, and presentations

A classical generating set consists of Dehn twists about a finite collection of simple closed curves; Lickorish and Humphries provided minimal generating sets, with Humphries showing a minimal generating set size of 2g+1 for a closed genus g surface. Relations include braid relations, lantern relations discovered in the context of the lantern relation by D. Johnson and appearance in the study of Lefschetz fibrations by Ronald Fintushel and Ron Stern, and chain relations related to chains of curves. Presentations were given by Wajnryb and others that make connections to Coxeter-type and Artin-type relations, while Birman exact sequences describe the effect of forgetting punctures, linking to work of Joan Birman on the relationship with braid groups.

Actions on Teichmüller space and curve complexes

The action on Teichmüller space is properly discontinuous with quotient the Moduli space of curves and yields classification of mapping classes into periodic, reducible, and pseudo-Anosov types by Thurston’s theorem; pseudo-Anosov elements exhibit stretching factors studied via measured foliations and laminations related to Thurston norm phenomena. The action on the curve complex is by simplicial automorphisms and is highly nontrivial: Masur and Minsky established hyperbolicity properties of the curve complex and distance formulas that give quasi-isometric information about the mapping class group, while Ivanov proved rigidity results identifying automorphisms of the curve complex with mapping classes for most surfaces. These actions provide links to Teichmüller geodesics, ending laminations, and to the study of subsurface projections developed by Howard Masur and Yair Minsky.

Subgroups and classification (Torelli, Johnson, virt. properties)

Important subgroups include the Torelli group (the kernel of the action on H_1(Σ_g;Z)) studied extensively by Dennis Johnson, who defined the Johnson homomorphism and Johnson filtration connecting to the lower central series of π_1. The Johnson kernel, handlebody groups related to Heegaard splittings, and pure mapping class subgroups give intricate subgroup structure; results by Margalit and Ivanov describe normal subgroups and commensurators. Virtual properties include virtual cohomological dimension computed by John Harer, virtual torsion-freeness, and residual properties explored by Asada and Grossman. Connections to arithmetic mapping class groups arise through actions on profinite completions studied by Grothendieck-inspired anabelian investigations.

Applications in low-dimensional topology and dynamics

Mapping class groups classify surface bundles over the circle and thereby produce fibered 3-manifolds studied by Thurston and others; pseudo-Anosov monodromies yield hyperbolic 3-manifolds via the Thurston hyperbolization theorem and relate to Alexander polynomial phenomena. In knot theory, mapping classes appear in monodromy descriptions of fibered knots and links, and in contact topology through open book decompositions associated to Giroux correspondence linked to Emmanuel Giroux. Dynamical applications include study of entropy, stretch factors, and the relationship to interval exchange transformations and billiards in rational polygons investigated by Masur and Veech.

Homological and cohomological properties

Homology and cohomology of mapping class groups have deep connections to the cohomology of moduli spaces; Harer stability theorems and Madsen–Weiss theorem (generalizing Mumford’s conjecture) compute stable cohomology leading to tautological classes studied by David Mumford, Carel Faber, and Edward Witten in intersection theory. The unstable homology carries geometric information about low genus cases computed by Church, Ellenberg, and Farb using representation stability, while cohomological dimension results and torsion phenomena relate to work of John Harer and Benson Farb on virtual cohomological dimension and homological stability. The Johnson homomorphism provides connections between the lower central series of π_1 and second cohomology classes reflecting classical invariants.

Category:Geometric group theory