Minimal Generation of Mapping Class Groups: A Survey of the Orientable Case
Tulin Altunoz, Mehmetcik Pamuk, Oguz Yildiz
TL;DR
This survey chronicles the progress on minimal generation of orientable mapping class groups, tracing a path from Dehn-twist–based presentations to modern torsion- and involution-generated frameworks. It emphasizes the roles of punctures and boundaries via Birman sequences and half-twists, surveys landmark results such as Wajnryb's two-generator theorem and Korkmaz's three-involutions for large genus, and highlights a new bound showing that for even $p\geq 8$, $\mathrm{Mod}(\Sigma_{13,p})$ is generated by three involutions. By linking generating sets to Teichmüller theory, moduli spaces, and 3-manifold topology, the chapter demonstrates both theoretical economy and practical utility for computations and constructions in low-dimensional topology. It concludes with open questions in low-genus and boundary cases and outlines directions toward uniform presentations and extensions to broader settings.
Abstract
The mapping class group of an orientable surface, which records its symmetries up to isotopy, plays a central role in low-dimensional topology. This chapter explores the foundational problem of determining minimal generating sets for these groups. We chart the development of this area from classical results involving Dehn twist generators to more recent breakthroughs showing that mapping class groups can be generated by just two elements, pairs of torsion elements, or a small collection of involutions. This chapter contains a discussion of the most current results for punctured surfaces, including a new improvement showing that for an even number of punctures $p\geq 8$ the group $\mathrm{Mod}(Σ_{13,p})$ is generated by three involutions. Throughout, we highlight the rich interplay between the algebraic features of these generating sets and the underlying geometric structures they encode. The chapter aims to provide a comprehensive account of the pursuit of algebraic and geometric efficiency within one of topology's most intricate and influential groups.
