---
title: Big Mapping Class Groups
url: https://www.emergentmind.com/topics/big-mapping-class-groups
type: topic
---

# Big Mapping Class Groups

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 \(S\) is infinite type, \(\Mod(S)\) is uncountable, non-locally-compact, and admits a Polish group structure homeomorphic to the Baire space \(\mathbb{N}^{\mathbb{N}}\) [2003.07950, 2512.17457].

Key naturally occurring subgroups include:
- The **pure mapping class group** \(\PMod(S)\), consisting of mapping classes fixing each end,
- The **compactly supported subgroup** \(\Mod_c(S)\), generated by Dehn twists (mapping classes supported in finite-type subsurfaces).

Under the Kerékjártó–Richards classification, \(S\) is determined (up to homeomorphism) by its boundary components \(b\), genus \(g\), nonplanar ends \(\Ends_{\mathrm{np}}(S)\), and the full space of ends \(\Ends(S)\) [2512.17457].

## 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 \(n\) ends each accumulated by genus, \(\Map(S(n))\) is topologically generated by as few as four involutions (three in the cases \(n=1,2\)) [2601.02784]. In most models, Dehn twists and handle shifts suffice to generate dense subgroups of \(\PMod(S)\), with precise minimal sets depending on the structure of the end space (e.g. whether \(|\Ends_{\mathrm{np}}(S)|\leq1\)) [2512.17457].

### Centers and Normal Subgroups

A fundamental rigidity result is the triviality of centers for broad classes of subgroups: if \(S\) is infinite-type without boundary, then
\[
Z(\Mod(S)) = \{1\}
\]
and, more generally, any subgroup containing nonzero Dehn twists (including normal subgroups and compactly supported, pure, or level-m subgroups) has trivial center [1904.10060]. 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.,
\[
\mathrm{Aut}(\Mod(S)) \cong \Map^{\pm}(S)
\]
for infinite-type \(S\), and automorphisms of associated curve complexes are likewise geometric in origin [1708.08383, 2512.17457]. 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 [2101.07188]. 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:
\[
\forall G \ \text{countable}, \ \exists S\ (\text{infinite type, no boundary}), \ G \hookrightarrow \Mod(S)
\]
[1904.10060]. 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 [2109.05976]. 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, \(\Z\wr\Z\) embeds as a subgroup but is neither virtually abelian nor contains a free group. Thompson’s \(F\) (neither virtually solvable nor containing a nonabelian free group) embeds as well [1904.10060].

Normal subgroups, however, cannot serve as witnesses for this failure: every nontrivial normal subgroup contains a free group \(F_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 [1912.10914, 2309.05820] relate these properties to the topology of the end space:
- **Globally CB** if and only if surface has genus \(0\) or \(\infty\) 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 [2110.03087].

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 \(\Sigma\), all conjugacy classes in \(\MCG(\Sigma)\) are meager—the conjugacy action is topologically "small" [2105.11282]. A somewhere dense conjugacy class occurs only if \(\Sigma\) 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 [2307.12408]. 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
\[
\operatorname{scl}: [\Mod(S),\Mod(S)] \to \mathbb{R}_{\geq 0}
\]
is continuous, and the commutator subgroup is open and closed [2108.02123]. 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 \(\Mod(S)\) 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 [1909.06680, 1806.10272]. The same construction demonstrates that even though big mapping class groups are never acylindrically hyperbolic [1511.05492], 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 [2407.14343]. 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 \(H(\Sigma)\) 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 [2410.05606].

### 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 [2410.05606]. No nontrivial realization of \(\Mod_c(S)\) as a subgroup of \(\Homeo^+(S)\) exists for any surface \(S\) containing a genus three subsurface, nor in the presence of certain order six symmetries (e.g. the plane/sphere minus a Cantor set) [2111.08583].

### Twisted Conjugacy and \(R_\infty\)-Property

Many big mapping class groups satisfy the \(R_\infty\)-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 [2112.06612]. The same holds for the \(S_\infty\)-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 [1912.10914].
- Structure of the space of left-orderings for boundaryless and pure big mapping class groups [2407.14343].
- Lifting and realization problems for infinite- and finite-index subgroups in the homeomorphism group [2111.08583].
- Further exploration of amenability, automatic continuity, and property (T) in the context of big mapping class groups [2307.12408].
- Comprehensive characterization of quasimorphisms and bounded cohomology beyond the locally CB-generated regime [2108.02123, 1909.06680].
- Extension of Masur–Minsky-type coarse geometry to infinite-type contexts with complex end spaces [1912.10914].
- 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):
- [1904.10060]: Centers of subgroups of big mapping class groups and the Tits alternative
- [2512.17457]: Structure and Topological Generation of Big Mapping Class Groups
- [2601.02784]: Minimal Sets of Involution Generators for Big Mapping Class Groups
- [1708.08383]: Isomorphisms between big mapping class groups
- [1912.10914]: Large scale geometry of big mapping class groups
- [2109.05976]: Finding and Combining Indicable Subgroups of Big Mapping Class Groups
- [2101.07188]: Big mapping class groups and the co-Hopfian property
- [2108.02123]: Stable commutator length on big mapping class groups
- [2110.03087]: Asymptotic Dimension of Big Mapping Class Groups
- [1511.05492]: Big mapping class groups are not acylindrically hyperbolic
- [2410.05606]: A Bers type classification of big mapping classes
- [2407.14343]: Orderability of big mapping class groups
- [2112.06612]: Twisted Conjugacy in Big Mapping Class Groups
- [2307.12408]: Big mapping class groups are not extremely amenable
- [2105.11282]: Conjugacy classes of big mapping class groups
- [2111.08583]: Non-realizability of some big mapping class groups
- [1806.10272]: Two simultaneous actions of big mapping class groups
- [1909.06680]: WWPD elements of big mapping class groups

For further exposition or examples, see the surveyed developments in [2003.07950].

Source: https://www.emergentmind.com/topics/big-mapping-class-groups