Mapping Class Group Actions

• Mapping Class Group Actions are defined as homomorphisms from mapping class groups of surfaces to automorphism groups of related geometric or topological structures.
• These actions include classical examples on the circle and foliation spaces as well as advanced applications in derived categories and quantum group representations.
• They have significant implications across low-dimensional topology, geometric group theory, and mathematical physics, driving research on rigidity, dynamics, and symmetry.

A mapping class group action refers to a homomorphism from a mapping class group (MCG) of a surface, or its subgroups or relatives (such as orbifold mapping class groups, big mapping class groups, or automorphism groups of surface groups), into the group of automorphisms or homeomorphisms of some geometric, topological, combinatorial, or categorical structure associated to the surface. These actions are central to low-dimensional topology, geometric group theory, dynamics, and mathematical physics, encoding both the internal symmetries of moduli, representation, and Teichmüller-type spaces, and their external representations in algebraic and categorical settings.

1. Fundamentals of Mapping Class Groups and Their Actions

For a connected, oriented surface $S$ (possibly with punctures or boundary), the mapping class group $\operatorname{Mod}(S)$ is the group of isotopy classes of orientation-preserving homeomorphisms of $S$, usually fixing the boundary components and punctures pointwise or as a set, depending on context. These groups serve as symmetry groups for surface-related objects and inherit rich structure: they have deep connections to the geometry of surfaces, the structure of their Teichmüller spaces, and their automorphism and representation theory.

An action of $\operatorname{Mod}(S)$ on a space $X$ is a homomorphism $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$ (where $\mathrm{Aut}(X)$ could mean homeomorphisms, diffeomorphisms, automorphisms, or outer automorphisms, depending on $X$) (Papadopoulos, 2014). Such actions can be strict, projective, or homotopy-coherent, depending on whether the group relations are respected on the nose, up to central extension, or up to coherent higher homotopies (Schweigert et al., 2020).

2. Classical and Boundary-Type Actions

2.1. Actions on the Circle and Rigidity Phenomena

The mapping class group of a closed genus $g$ surface with a marked point, $\mathrm{Mod}_{g,1}$, admits a classical action on $\operatorname{Mod}(S)$0, arising as the boundary action on the Gromov boundary of the universal cover $\operatorname{Mod}(S)$1 (Mann et al., 2018). Mann and Wolff established that for $\operatorname{Mod}(S)$2 any action of $\operatorname{Mod}(S)$3 on $\operatorname{Mod}(S)$4 is either semi-conjugate to this standard boundary action or trivial; for $\operatorname{Mod}(S)$5 the only other possibility is a finite cyclic action factoring through the abelianization. No Denjoy-type or other “exotic” faithful actions exist for $\operatorname{Mod}(S)$6; the rigidity is complete at the topological level.

Critical-regularity obstructions further demonstrate that for complexity $\operatorname{Mod}(S)$7, any finite-index subgroup of $\operatorname{Mod}(S)$8 admits at most a $\operatorname{Mod}(S)$9 (but not $S$0 for any $S$1) faithful action on $S$2 (Kim et al., 2021). This sets a sharp threshold for possible smooth actions.

2.2. Actions on Measured Foliation Spaces and Laminations

The mapping class group acts naturally on the space $S$3 of projective measured foliations via push-forward, preserving Thurston's projective piecewise-linear (PPL) structure. Papadopoulos, Ohshika, and others established rigidity theorems: any homeomorphism of $S$4, the space of unmeasured foliations, the reduced Bers boundary, or the space of geodesic laminations (with the Thurston topology) which commutes with the action of $S$5 must itself arise from a mapping class in all but low-complexity cases (Papadopoulos, 2014). Rigidity is detected by combinatorial structures (the singular strata of PPL atlases, chain-of-sublamination lengths, adherence heights, etc.) and the automorphism group of the curve complex.

2.3. Actions on the Curve and Arc Graph Boundaries

For finite-type $S$6 with negative Euler characteristic, $S$7 acts on the boundaries of the curve graph $S$8 and arc graph $S$9, compact metrizable spaces that encode asymptotic (ending lamination) data. The orbit equivalence relations induced by these boundary actions are hyperfinite in the sense of descriptive set theory, using combinatorial models via unicorn paths (Przytycki et al., 2020). This hyperfiniteness yields universality results for amenability and exactness properties of mapping class groups.

3. Advanced Algebraic, Categorical, and Representation-Theoretic Actions

3.1. Actions on Derived and Linear Categories

Homological mirror symmetry and Heegaard Floer theory have led to categorical representations of mapping class groups. For example, the pure mapping class group of the $\operatorname{Mod}(S)$0-punctured torus, $\operatorname{Mod}(S)$1, acts (up to a canonical central extension) by autoequivalences of the derived category of the cycle of $\operatorname{Mod}(S)$2 projective lines, $\operatorname{Mod}(S)$3, via Seidel–Thomas twist functors attached to spherical (or $\operatorname{Mod}(S)$4-) objects (Sibilla, 2011, Sibilla, 2011). The group-theoretic relations (Artin braid, commutation, and $\operatorname{Mod}(S)$5-type) lift to natural isomorphisms among these autoequivalences, and the numerical Grothendieck group realizes the standard symplectic representation.

For surfaces with boundary, combinatorial A$\operatorname{Mod}(S)$6-category models admit faithful (derived) actions by assigning to each mapping class a specific bimodule constructed via counts of polygons in a Heegaard diagram, with detection via bigon–count Floer homology and geometric intersection numbers (Siegel, 2011).

3.2. Quantum Group and Modular Category Actions

Any pivotal Hopf monoid $\operatorname{Mod}(S)$7 in a symmetric monoidal category gives rise to representations of mapping class groups via edge slides in ribbon graphs, associating automorphisms of Yetter–Drinfeld modules to Dehn twists and higher relations; these span Gervais's presentation for all genera and boundaries (2002.04089). For modular categories $\operatorname{Mod}(S)$8, the Hochschild chain complexes $\operatorname{Mod}(S)$9 carry canonical homotopy coherent projective actions of $X$0, compatible with excision and the modular functor properties central to mathematical TQFT (Schweigert et al., 2020).

4. Infinite-Type Surfaces, Big Mapping Class Groups, and Graph Actions

For infinite-type surfaces (with infinitely-generated fundamental group), big mapping class groups ($X$1) act on curve graphs, arc graphs, and more general complexes. Existence of unbounded orbits on connected graphs of curves is governed by the finite-invariance index $X$2: $X$3 is sufficient for such actions, often yielding new hyperbolic spaces for "big MCGs" (Durham et al., 2016). Furthermore, for a surface with a nondisplaceable finite-type subsurface, the BBF construction yields a nonelementary continuous action on a Gromov-hyperbolic space, producing applications such as existence of normal free subgroups and embedding of $X$4 in bounded cohomology (Horbez et al., 2020).

The action on the first homology group $X$5 is classified by preservation of the algebraic intersection pairing and the end-filtration, and can produce large linear quotients such as surjections to $X$6 for Loch Ness monster-type surfaces (Fanoni et al., 2019).

5. Realization, Rigidity, Fixed Points, and Obstructions

Realizability of mapping class groups as homeomorphism groups is strongly obstructed. There is no section of the canonical projection from the homeomorphism group to the mapping class group for $X$7, i.e., $X$8 is not realized by homeomorphisms for $X$9 (Chen et al., 2020). Fixed point arguments using torsion elements and Smith theory show that actions on $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$0 and $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$1 must have global fixed points or invariant lines, leading to rigidity results forbidding faithful smooth or continuous actions in low dimensions for high genus.

Moreover, for configuration spaces $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$2, the Johnson filtration $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$3 acts trivially on $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$4; sharpness is established via explicit nontrivial actions for $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$5 on $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$6 (Bianchi et al., 2021). These results have connections to arc-complex representations, higher syzygies, and homological stability phenomena.

6. Extensions: Orbifold Mapping Class Groups, Classifying Spaces, and Proper Actions

Orbifold mapping class groups admit natural actions on spaces of orbifold arcs and curves, with generalizations of bigon criteria, Birman exact sequences, and explicit presentations via generalized braid relations (Flechsig, 2023). For mapping class groups of surfaces with punctures and boundaries, explicit cocompact models for the classifying space of proper actions are constructed using the geometry of Teichmüller spaces, extension principles, and Bredon cohomological dimension computations, establishing equality of the proper geometric and virtual cohomological dimensions (Mislin, 2009, Aramayona et al., 2013).

7. Open Problems and Research Directions

Ongoing research addresses the rigidity and automorphism groups of various surface-associated combinatorial complexes (arc, pants, flip, Torelli, disc, universal solenoid complexes), higher Teichmüller theory, the modular representation theory, and the structure of mapping class group actions for low-complexity, infinite-type, and quantum/categorical contexts (Papadopoulos, 2014). The extension of properties such as orbit hyperfiniteness, amenability, and subgroup structure to more general settings, including big mapping class groups and quantum group categorical frameworks, continues to prompt further investigation.

---

Key References:

• (Mann et al., 2018): Rigidity of mapping class group actions on $$\rho:\operatorname{Mod}(S)\rightarrow \mathrm{Aut}(X)$$7
• (Przytycki et al., 2020): Unicorn paths and hyperfiniteness for the mapping class group
• (Sibilla, 2011, Sibilla, 2011): Mapping class group actions on derived categories via spherical twists
• (Durham et al., 2016): Actions of big mapping class groups on curve graphs
• (Horbez et al., 2020): Classification of big mapping class group hyperbolic actions
• (Kim et al., 2021): Virtual critical regularity for mapping class group circle actions
• (Chen et al., 2020): Non-realizability of mapping class groups via homeomorphisms
• (Mislin, 2009, Aramayona et al., 2013): Classifying spaces and proper actions for mapping class groups
• (Papadopoulos, 2014): Survey of mapping class group actions and rigidity
• (Fanoni et al., 2019): Homological actions of big mapping class groups
• (2002.04089): Hopf monoids and mapping class group actions
• (Schweigert et al., 2020): Homotopy coherent MCG actions on Hochschild complexes
• (Bianchi et al., 2021): MCG and Johnson filtration action on configuration space homology
• (Flechsig, 2023): Orbifold mapping class groups and their actions.