Asymptotically Rigid Mapping Class Groups

• Asymptotically rigid mapping class groups are defined by homeomorphisms that alter only finitely many components while preserving a fixed rigid structure on infinite-type surfaces.
• Their geometric models use contractible cube complexes and diagrammatic approaches, establishing explicit connections to Thompson-type and braid groups.
• These groups exhibit strong finiteness properties and structural rigidity, bridging the gap between classical compact mapping classes and infinite-type settings.

Searching arXiv for recent and foundational papers on asymptotically rigid mapping class groups and closely related rigidity results. Asymptotically rigid mapping class groups are mapping class groups of non-compact or infinite-type objects—most prominently surfaces obtained by thickening planar trees—in which representatives are required to preserve a fixed rigid structure outside a compact or otherwise finite “support.” In the surface setting, this means that a homeomorphism is allowed to modify only finitely many polygons, pairs of pants, or pieces, while on the complement it must respect the canonical decomposition determined by the model. This paradigm began with infinite-type surfaces related to Thompson’s groups and was subsequently extended to arboreal surfaces, Cantor manifolds, handlebodies, and certain infinite graphs; across these settings, the groups admit strong finiteness properties, explicit combinatorial models, and a dense web of connections with braid groups, Higman–Thompson groups, and classical rigidity phenomena (Funar et al., 2011, Genevois et al., 2020, Aramayona et al., 2021, Domingo-Zubiaga, 8 Apr 2025, Hill et al., 28 Aug 2025).

1. Defining asymptotic rigidity

For the planar surface $\mathscr{S}_{0,\infty}$, a rigid structure consists of a fixed pair-of-pants decomposition together with a decomposition into visible and hidden sides. A homeomorphism $\varphi$ is asymptotically rigid if there exist admissible subsurfaces $S_0,S_1$ such that $\varphi(S_0)=S_1$ and the restriction

$$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$

is rigid, i.e. preserves the canonical pants decomposition and associated structure outside a compact set (Funar et al., 2011).

For a locally finite planar tree $A$, the arboreal surface $\mathscr{S}^\sharp(A)$ is obtained by thickening $A$ and puncturing at each vertex. A rigid structure is defined by non-intersecting arcs so that each polygon contains exactly one vertex and each arc crosses exactly one edge of the tree. The asymptotically rigid mapping class group $\amod(A)$, or $\mathfrak{mod}(A)$ in later notation, is the group of isotopy classes of orientation-preserving homeomorphisms that send all but finitely many polygons of the rigid structure to other polygons (Genevois et al., 2020, Genevois et al., 2021).

The same scheme extends beyond surfaces. For Cantor manifolds $\varphi$0, built by iteratively gluing copies of $\varphi$1 along boundary spheres, asymptotically rigid diffeomorphisms are defined using suited submanifolds and proper isotopy: outside a suited submanifold, the rigid structure must be preserved (Aramayona et al., 2021). For tree handlebodies $\varphi$2, an asymptotically rigid homeomorphism is one that maps a suited handlebody to another suited handlebody and is rigid on every piece outside that handlebody (Domingo-Zubiaga, 8 Apr 2025). For certain infinite graphs $\varphi$3, the same language is formulated in terms of proper homotopy equivalences that agree with model rigid maps outside a compact defining graph (Hill et al., 28 Aug 2025).

These definitions are model-dependent, and so are the notations: $\varphi$4 What they share is the same asymptotic constraint: only finitely much topology may deviate from the chosen rigid structure.

2. Principal families and their Thompson-type quotients

A recurring structural feature is an extension by a compactly supported mapping class group or an infinite braid group, with Thompson-type quotient.

Family	Model	Characteristic exact sequence or identification
$\varphi$5, $\varphi$6, $\varphi$7	$\varphi$8 and punctured variants	$\varphi$9; $S_0,S_1$0; $S_0,S_1$1
$S_0,S_1$2, $S_0,S_1$3	closed genus-$S_0,S_1$4 surface punctured along a Cantor set	$S_0,S_1$5; $S_0,S_1$6
$S_0,S_1$7	Cantor manifolds	$S_0,S_1$8
$S_0,S_1$9	braided Higman–Thompson groups from $\varphi(S_0)=S_1$0	$\varphi(S_0)=S_1$1
$\varphi(S_0)=S_1$2	asymptotically rigid handlebody groups	for $\varphi(S_0)=S_1$3, $\varphi(S_0)=S_1$4

These identifications show that asymptotically rigid mapping class groups interpolate between compactly supported mapping class groups and Thompson-like groups (Funar et al., 2011, Aramayona et al., 2017, Aramayona et al., 2021, Genevois et al., 13 Oct 2025, Domingo-Zubiaga, 8 Apr 2025).

The original genus-zero theory already realizes Thompson’s group $\varphi(S_0)=S_1$5 as an asymptotically rigid mapping class group of the visible side of $\varphi(S_0)=S_1$6, while the universal genus-zero group $\varphi(S_0)=S_1$7 surjects onto $\varphi(S_0)=S_1$8 with kernel the direct limit $\varphi(S_0)=S_1$9 of pure mapping class groups of finite-type subsurfaces (Funar et al., 2011). Puncturing yields the braided Ptolemy–Thompson group $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$0, an extension of $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$1 by the infinite braid group $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$2 (Funar et al., 2011).

In genus $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$3, the groups $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$4 and $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$5 are subgroups of the mapping class group of a closed surface with a Cantor set removed. The distinction is that $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$6 preserves the visible side outside a compact subsurface, whereas $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$7 only preserves the pants decomposition and arcs, allowing half-twists; this is reflected in the quotient $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$8 for $$\varphi: \mathscr{S}_{0,\infty}\setminus S_0 \to \mathscr{S}_{0,\infty}\setminus S_1$$9 (Aramayona et al., 2017).

The family $A$0 gives braided Higman–Thompson groups attached to rooted planar trees whose root has degree $A$1 and all other vertices degree $A$2. Their short exact sequence

$A$3

places them directly in the Thompson–braid framework (Genevois et al., 13 Oct 2025).

A further extension appears for Cantor manifolds: $A$4 This includes surface examples, 3-manifold examples containing $A$5 for all $A$6, and higher-dimensional examples containing infinite families of arithmetic groups, provided the manifold hypotheses of the general theorem are satisfied (Aramayona et al., 2021).

3. Cubical and diagrammatic models

The geometric core of the subject is a family of contractible cube complexes built from finite supports.

For arboreal surfaces, the cube complex $A$7 has vertices represented by pairs $A$8, where $A$9 is an admissible finite union of polygons and $\mathscr{S}^\sharp(A)$0 is an asymptotically rigid homeomorphism. Edges correspond to adjoining one adjacent polygon, and higher-dimensional cubes record all possible simultaneous additions of distinct adjacent polygons. The group $\mathscr{S}^\sharp(A)$1 acts by post-composition on the marking, and stabilizers of vertices are extensions of finite-type mapping class groups, typically finite extensions of braid groups (Genevois et al., 2020).

The diagrammatic reformulation in terms of Chambord groups is a major structural advance. For every locally finite planar tree $\mathscr{S}^\sharp(A)$2, there exist an arboreal semigroup presentation $\mathscr{S}^\sharp(A)$3 and a word $\mathscr{S}^\sharp(A)$4 such that

$\mathscr{S}^\sharp(A)$5

where $\mathscr{S}^\sharp(A)$6 is defined from reduced braided strand diagrams modulo dipole reduction. The associated CAT(0) cube complex $\mathscr{S}^\sharp(A)$7 has vertex stabilizers isomorphic to finite extensions of braid groups (Genevois et al., 2021). This replaces geometric support data by a diagram calculus while retaining the same subgroup-theoretic consequences.

For the specific family $\mathscr{S}^\sharp(A)$8, the Genevois–Lonjou–Urech complex $\mathscr{S}^\sharp(A)$9 is CAT(0) exactly when

$A$0

When $A$1, a modified rigid structure produces a new complex $A$2, and the universal CAT(0) action is obtained from

$A$3

Thus $A$4 acts on a CAT(0) cube complex for all $A$5 (Abadie, 2024).

The spine complex $A$6, used later for explicit presentations, is another contractible cube complex whose vertices are classes $A$7 with $A$8 containing the central region. Its low-height truncations remain simply connected in the range needed for Brown’s method (Genevois et al., 13 Oct 2025).

A related but more general viewpoint is supplied by graphs of groups. Several families of asymptotically rigid mapping class groups arise as explicit quotients of the fundamental group of a graph of groups whose vertex and edge groups are mapping class groups of compact pieces, and Brown’s theorem is used to pass from the cubical action to explicit presentations (Domingo-Zubiaga, 26 Mar 2026).

4. Finiteness properties and stable homology

One of the central discoveries is that finiteness properties depend sharply on the end structure.

For asymptotically rigid groups of surfaces obtained by thickening planar trees, the braided Ptolemy–Thompson groups $A$9 are of type $\amod(A)$0, whereas the braided Houghton group $\amod(A)$1 is of type $\amod(A)$2 but not of type $\amod(A)$3 (Genevois et al., 2020). The proofs use the height function on $\amod(A)$4, descending links described by arc complexes, and Brown’s criterion.

The same dichotomy reappears for graph Houghton groups. For finite $\amod(A)$5,

$\amod(A)$6

whereas when the end space is homeomorphic to a Cantor set, the asymptotically rigid subgroup is of type $\amod(A)$7 (Hill et al., 28 Aug 2025). An analogous statement holds for asymptotically rigid handlebody groups: $\amod(A)$8 while

$\amod(A)$9

for the finite-end case $\mathfrak{mod}(A)$0 (Domingo-Zubiaga, 8 Apr 2025).

The Cantor-manifold theorem supplies a high-dimensional $\mathfrak{mod}(A)$1 criterion. If suited submanifold mapping class groups are of type $\mathfrak{mod}(A)$2, and if the associated piece complexes satisfy the required connectivity hypotheses together with inclusion, intersection, and cancellation properties, then $\mathfrak{mod}(A)$3 is of type $\mathfrak{mod}(A)$4 (Aramayona et al., 2021). In the examples treated there, this yields $\mathfrak{mod}(A)$5 groups containing every mapping class group of a compact orientable surface with non-empty boundary, every $\mathfrak{mod}(A)$6, or infinite families of arithmetic groups (Aramayona et al., 2021).

Stable homology enters in several families. For the Cantor-punctured surface groups $\mathfrak{mod}(A)$7 and $\mathfrak{mod}(A)$8, the homology groups $\mathfrak{mod}(A)$9 and $\varphi$00 agree with the $\varphi$01-th stable homology group of the genus-$\varphi$02 mapping class group in the range $\varphi$03 (Aramayona et al., 2017). For handlebodies, if $\varphi$04 and $\varphi$05, then

$\varphi$06

so the asymptotically rigid handlebody group captures the stable homology studied by Hatcher and Wahl (Domingo-Zubiaga, 8 Apr 2025). The Cantor-manifold framework also identifies the homology of certain asymptotic mapping class groups with stable homology in key surface and 3-manifold cases (Aramayona et al., 2021).

5. Algebraic structure, subgroup geometry, and presentations

The cubical and diagrammatic models support unusually explicit algebraic calculations.

A fundamental restriction on solvable behavior is that every polycyclic subgroup of $\varphi$07, and more generally of any Chambord group, is virtually abelian and undistorted in every finitely generated overgroup containing it (Genevois et al., 2021). The same paper shows that every subgroup with fixed-point property $\varphi$08 is finite, so infinite finitely generated torsion groups and infinite Kazhdan groups do not embed, and it proves that natural braid-group embeddings are undistorted (Genevois et al., 2021).

The paper on braided Higman–Thompson groups computes explicit presentations for $\varphi$09 using the action on the spine complex. The generators are rotations $\varphi$10 and braiding generators $\varphi$11, with braid relations, commutation relations, rotation relations, and square relations coming from 2-cells in the cube complex. Abelianization is computed explicitly: $\varphi$12 These invariants are then used to analyze the isomorphism problem (Genevois et al., 13 Oct 2025).

A broader presentation theorem shows that several families of asymptotically rigid mapping class groups are explicit quotients of the fundamental group of a graph of groups. In the surface case, $\varphi$13 admits an explicit finite presentation with $\varphi$14 Dehn twists and $\varphi$15 boundary swaps, while $\varphi$16 admits an explicit finite presentation with $\varphi$17 Dehn twists and $\varphi$18 boundary swaps (Domingo-Zubiaga, 26 Mar 2026). The use of boundary-permuting mapping class groups and Labruère–Paris presentations makes the generators and relations entirely concrete.

The graph Houghton groups furnish another algebraically explicit family. For $\varphi$19, the pure graph Houghton group $\varphi$20 has a finite presentation with generators $\varphi$21 and relations $\varphi$22 listed explicitly in the paper; moreover, $\varphi$23 embeds in $\varphi$24 for every $\varphi$25 (Hill et al., 28 Aug 2025). The same work proves that graph Houghton groups are not commensurable with classical, surface, braided, handlebody, or doubled handlebody Houghton groups, so the graph-based construction defines a genuinely new commensurability class (Hill et al., 28 Aug 2025).

6. Rigidity phenomena and relation to classical mapping class group rigidity

The general rigidity paradigm for mapping class groups asserts that automorphisms of sufficiently rich structures associated to a surface are induced by mapping classes, up to finite ambiguity (Papadopoulos, 2014). Asymptotically rigid mapping class groups belong to this tradition, but they do so in an infinite-type and Thompson-like setting.

For the Cantor-punctured surface groups $\varphi$26 and $\varphi$27, every automorphism is geometric, meaning induced by a homeomorphism of the surface, and every homomorphism from a higher-rank lattice has finite image (Aramayona et al., 2017). At the same time, these groups exhibit phenomena absent from most finite-type mapping class groups: they are not linear, they do not have Kazhdan’s Property (T), $\varphi$28 is dense in the full mapping class group $\varphi$29, and $\varphi$30 and $\varphi$31 are infinite (Aramayona et al., 2017). This combination of geometric automorphism rigidity with large outer automorphism groups is one of the distinctive signatures of the asymptotic setting.

The broader literature on rigidity clarifies the conceptual backdrop. Papadopoulos’s survey formulates rigidity as the statement that every automorphism of a structure on a space $\varphi$32 comes from the natural action of the mapping class group, and records the classical curve-complex theorem of Ivanov–Korkmaz–Luo together with rigidity results for spaces of foliations and laminations (Papadopoulos, 2014). These results are methodologically relevant because many proofs for asymptotic groups likewise recover topology from combinatorial or boundary data.

A plausible implication is that asymptotically rigid mapping class groups should be viewed not merely as big mapping class groups with a finiteness condition, but as a class of groups in which “rigidity outside a compact core” is strong enough to preserve much of the combinatorial control familiar from finite type, while still admitting braid-theoretic, Thompson-like, and high-dimensional extensions. The algebraic rigidity of the $\varphi$33-character variety, where automorphisms reduce to the mapping class group up to a finite central kernel for most $\varphi$34, shows that the same rigidity theme continues to propagate to character varieties and other associated structures (Kim, 13 Aug 2025).