Big Mapping Class Groups

• Big mapping class groups are defined as the isotopy classes of orientation-preserving homeomorphisms of connected, infinite-type surfaces with infinitely generated fundamental groups.
• They exhibit unique algebraic features such as countable topological generating sets, trivial centers, and rigidity properties, often utilizing Dehn twists and involutions.
• Studies on these groups leverage coarse boundedness, stable commutator length, and complex subgroup embeddings to unveil new insights in infinite-dimensional topology and geometric group theory.

A big mapping class group is the mapping class group of a connected, orientable surface of infinite topological type—namely, a surface whose fundamental group is not finitely generated. These groups, denoted $\Mod(S)$ or $\Map(S)$ depending on context, encode the isotopy classes of orientation-preserving homeomorphisms on such surfaces and exhibit a rich interplay between infinite-dimensional topology, algebraic group theory, and large-scale geometry. Their study has become a fundamental branch of geometric group theory, blending techniques from low-dimensional topology, descriptive set theory, dynamics, and model theory.

1. Definitions and Topological Foundations

Let $S$ be a connected orientable surface (possibly with boundary). If $\pi_1(S)$ is infinitely generated, $S$ is of infinite type, and its big mapping class group is

$\Mod(S) = \pi_0\bigl(\Homeo^+(S)\bigr)$

where $\Homeo^+(S)$ is the group of orientation-preserving homeomorphisms, equipped with the compact-open topology. The group $\Map(S)$ is the corresponding quotient by isotopy. The space of ends $\Ends(S)$ of $S$ is a compact, totally disconnected space, classifying noncompact surfaces up to homeomorphism together with the genus and pattern of nonplanar ends (those accumulated by genus). When $\Map(S)$0 is infinite type, $\Map(S)$1 is uncountable, non-locally-compact, and admits a Polish group structure homeomorphic to the Baire space $\Map(S)$2 (Aramayona et al., 2020, Bellek, 19 Dec 2025).

Key naturally occurring subgroups include:

• The pure mapping class group $\Map(S)$3, consisting of mapping classes fixing each end,
• The compactly supported subgroup $\Map(S)$4, generated by Dehn twists (mapping classes supported in finite-type subsurfaces).

Under the Kerékjártó–Richards classification, $\Map(S)$5 is determined (up to homeomorphism) by its boundary components $\Map(S)$6, genus $\Map(S)$7, nonplanar ends $\Map(S)$8, and the full space of ends $\Map(S)$9 (Bellek, 19 Dec 2025).

2. Algebraic Structure, Generation, and Rigidity

Topological Generation and Involutions

Big mapping class groups are not countably generated as abstract groups, but, as Polish groups, admit countable topological generating sets. For instance, for certain infinite-genus surfaces with $S$0 ends each accumulated by genus, $S$1 is topologically generated by as few as four involutions (three in the cases $S$2) (Altunöz et al., 6 Jan 2026). In most models, Dehn twists and handle shifts suffice to generate dense subgroups of $S$3, with precise minimal sets depending on the structure of the end space (e.g. whether $S$4) (Bellek, 19 Dec 2025).

Centers and Normal Subgroups

A fundamental rigidity result is the triviality of centers for broad classes of subgroups: if $S$5 is infinite-type without boundary, then

$S$6

and, more generally, any subgroup containing nonzero Dehn twists (including normal subgroups and compactly supported, pure, or level-m subgroups) has trivial center (Lanier et al., 2019). Any nontrivial normal subgroup of a big mapping class group contains a (nonabelian) free group.

Automorphisms and Abstract Rigidity

Any isomorphism (resp. automorphism) between big mapping class groups or their finite-index subgroups is induced by a surface homeomorphism: e.g.,

$S$7

for infinite-type $S$8, and automorphisms of associated curve complexes are likewise geometric in origin (Bavard et al., 2017, Bellek, 19 Dec 2025). Outer automorphism groups of finite-index subgroups are finite.

Co-Hopfian and Hopfian Issues

Unlike the finite-type case, there exist infinite-type surfaces whose (pure) mapping class groups are not co-Hopfian: one can construct injective, non-surjective endomorphisms via "self-doubling" surface constructions (Aramayona et al., 2021). However, continuous injective homomorphisms that send Dehn twists to Dehn twists are induced by homeomorphisms under mild topological restrictions.

3. Subgroup Structure, Embedding Phenomena, and the Tits Alternative

Big mapping class groups exhibit extreme algebraic flexibility. Any countable group embeds in a big mapping class group: $S$9 (Lanier et al., 2019). Their subgroup structure includes infinite-rank free groups, right-angled Artin groups, solvable Baumslag–Solitar groups, and large families of wreath products assembled via shift and multipush maps—exploiting the noncompactness of infinite-type surfaces (Abbott et al., 2021). Embeddings are not, in general, realized geometrically by inclusions of surfaces; uncountably many pairwise non-conjugate embeddings can be constructed.

Notably, the Tits alternative fails dramatically: no big mapping class group satisfies the strong Tits alternative (i.e., not every subgroup is either virtually abelian or contains a nonabelian free group). For example, $\pi_1(S)$0 embeds as a subgroup but is neither virtually abelian nor contains a free group. Thompson’s $\pi_1(S)$1 (neither virtually solvable nor containing a nonabelian free group) embeds as well (Lanier et al., 2019).

Normal subgroups, however, cannot serve as witnesses for this failure: every nontrivial normal subgroup contains a free group $\pi_1(S)$2, thus always fails to be virtually solvable.

4. Large-Scale Geometry and Rosendal’s Coarse Boundedness

Big mapping class groups serve as test cases for the extension of large-scale geometric group theory to non-locally compact Polish groups, in particular via Rosendal’s coarse boundedness (CB) framework. Principal definitions include:

• Coarsely bounded (CB) set: a subset whose diameter is finite in any compatible left-invariant metric.
• Locally CB: existence of an open, CB neighborhood of the identity.
• CB-generated: generated by a symmetric CB set.
• Globally CB: whole group is CB, i.e., finite diameter in all compatible left-invariant metrics.

Classification theorems (Mann et al., 2019, Rolland et al., 2023) relate these properties to the topology of the end space:

• Globally CB if and only if surface has genus $\pi_1(S)$3 or $\pi_1(S)$4 and "self-similar" (or telescoping) end space.
• CB-generated if and only if the end space has finite rank, is not of limit type, and satisfies local CB.
• Asymptotic dimension: For CB-generated groups supporting essential shifts (maps pushing infinite regions toward different ends), the asymptotic dimension is infinite (Grant et al., 2021).

These results provide a coarse geometric trichotomy:

1. No large-scale geometry (not even locally CB).
2. Medium geometry (CB-generated: well-defined quasi-isometry class, often infinite asymptotic dimension).
3. Trivial geometry (globally CB: quasi-isometric to a point).

The self-similarity of the end space is the key combinatorial driver.

5. Dynamics, Amenability, and Quasimorphisms

Conjugacy Classes and Dynamics

Model-theoretic methods establish that for any infinite-type surface $\pi_1(S)$5, all conjugacy classes in $\pi_1(S)$6 are meager—the conjugacy action is topologically "small" (Hernández et al., 2021). A somewhere dense conjugacy class occurs only if $\pi_1(S)$7 has at most two maximal ends and no non-displaceable finite-type subsurface; a dense conjugacy class occurs exactly when there is a unique maximal end and no non-displaceable finite-type subsurface. No big mapping class group admits a comeager conjugacy class.

Exclusion of Extreme Amenability

No big mapping class group (nor finite-type mapping class group) is extremely amenable except for the trivial cases (sphere or once-punctured sphere). The proof uses the Kechris–Pestov–Todorčević Fraïssé–Ramsey correspondence and exhibits actions on discrete sets preventing the fixed-point property (Long, 2023). This carries over to pure and compactly supported subgroups whenever the genus is at least one.

Stable Commutator Length and Bounded Cohomology

For many infinite-type surfaces with locally coarsely bounded mapping class groups, the stable commutator length function

$\pi_1(S)$8

is continuous, and the commutator subgroup is open and closed (Field et al., 2021). The presence of positive stable commutator length gives rise to nontrivial homogeneous quasimorphisms, amplifying the space of second bounded cohomology. In such cases, the abelianization of $\pi_1(S)$9 is finitely generated and discrete.

WWPD Elements and Quasimorphisms

Actions on Gromov-hyperbolic complexes (such as loop graphs associated to surfaces with isolated punctures) provide new WWPD elements (a weakening of the weak proper discontinuity property), and mapping classes supported on finite-type subpieces yield an uncountable-dimensional space of nontrivial quasimorphisms for many natural subgroups (Rasmussen, 2019, Bavard et al., 2018). The same construction demonstrates that even though big mapping class groups are never acylindrically hyperbolic (Bavard et al., 2015), they still support infinite-dimensional second bounded cohomology via these dynamical constructions.

Orderability

For infinite-type surfaces with nonempty boundary, big mapping class groups are left-orderable: there exists a left-invariant strict total order compatible with the quotient topology induced from the compact-open topology (Kumar et al., 2024). Left orderings are constructed from countable stable Alexander systems (well-controlled infinite collection of arcs and curves) and are classified up to loose isotopy of such systems.

6. Geometric and Analytic Classification, Realization Problems

Bers-type Trichotomy and Teichmüller Actions

Big mapping class groups act faithfully on the space $S$0 of marked convex hyperbolic structures, each equipped with Fenchel–Nielsen topology and Teichmüller foliation. Mapping classes fall into three types based on their quasiconformal representability relative to invariant subspaces: always, sometimes, or never quasiconformal. Only compactly supported elements can be always quasiconformal (Basmajian et al., 2024).

Isomorphism Rigidity and Non-Realizability

No big mapping class group is algebraically isomorphic to the modular group of a Riemann surface unless the surface is of finite type and homeomorphic; big mapping class groups cannot act on any Teichmüller space with orbits matching those of modular groups (Basmajian et al., 2024). No nontrivial realization of $S$1 as a subgroup of $S$2 exists for any surface $S$3 containing a genus three subsurface, nor in the presence of certain order six symmetries (e.g. the plane/sphere minus a Cantor set) (Chen et al., 2021).

Twisted Conjugacy and $S$4-Property

Many big mapping class groups satisfy the $S$5-property: for any automorphism, there are infinite twisted conjugacy classes, provided the surface contains a non-displaceable finite-type subsurface or its end space is a Cantor set (Bhunia et al., 2021). The same holds for the $S$6-property (infinite isogredience classes).

7. Open Problems and Future Directions

Several open areas remain:

• Complete quasi-isometry classification of CB-generated big mapping class groups and identification of invariants distinguishing them (Mann et al., 2019).
• Structure of the space of left-orderings for boundaryless and pure big mapping class groups (Kumar et al., 2024).
• Lifting and realization problems for infinite- and finite-index subgroups in the homeomorphism group (Chen et al., 2021).
• Further exploration of amenability, automatic continuity, and property (T) in the context of big mapping class groups (Long, 2023).
• Comprehensive characterization of quasimorphisms and bounded cohomology beyond the locally CB-generated regime (Field et al., 2021, Rasmussen, 2019).
• Extension of Masur–Minsky-type coarse geometry to infinite-type contexts with complex end spaces (Mann et al., 2019).
• Refined Nielsen–Thurston-type classifications for infinite-type mapping classes.

Big mapping class groups thus serve as a nexus for deep phenomena bridging infinite-dimensional topology, group theory, and geometric analysis. Their study both generalizes core results from the finite-type theory and presents new algebraic, geometric, and topological behaviors unrepresented in classical mapping class group theory.

---

References (by arXiv ID):

• (Lanier et al., 2019): Centers of subgroups of big mapping class groups and the Tits alternative
• (Bellek, 19 Dec 2025): Structure and Topological Generation of Big Mapping Class Groups
• (Altunöz et al., 6 Jan 2026): Minimal Sets of Involution Generators for Big Mapping Class Groups
• (Bavard et al., 2017): Isomorphisms between big mapping class groups
• (Mann et al., 2019): Large scale geometry of big mapping class groups
• (Abbott et al., 2021): Finding and Combining Indicable Subgroups of Big Mapping Class Groups
• (Aramayona et al., 2021): Big mapping class groups and the co-Hopfian property
• (Field et al., 2021): Stable commutator length on big mapping class groups
• (Grant et al., 2021): Asymptotic Dimension of Big Mapping Class Groups
• (Bavard et al., 2015): Big mapping class groups are not acylindrically hyperbolic
• (Basmajian et al., 2024): A Bers type classification of big mapping classes
• (Kumar et al., 2024): Orderability of big mapping class groups
• (Bhunia et al., 2021): Twisted Conjugacy in Big Mapping Class Groups
• (Long, 2023): Big mapping class groups are not extremely amenable
• (Hernández et al., 2021): Conjugacy classes of big mapping class groups
• (Chen et al., 2021): Non-realizability of some big mapping class groups
• (Bavard et al., 2018): Two simultaneous actions of big mapping class groups
• (Rasmussen, 2019): WWPD elements of big mapping class groups

For further exposition or examples, see the surveyed developments in (Aramayona et al., 2020).