Stable homology of Higman--Thompson groups via scanning methods

Basic Information

• Paper ID: 2510.13579
• Title: Stable homology of Higman--Thompson groups via scanning methods
• Author: Marie-Camille Delarue (Université Paris Cité and Sorbonne Université, CNRS, IMJ-PRG)
• Classification: math.AT (Algebraic Topology)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.13579

Abstract

The Higman-Thompson groups $V_{n,r}$ consist of piecewise linear automorphisms of $r$ intervals, where the breakpoints and slopes are $n$-adic. Szymik and Wahl proved homological stability for this family of groups as $r$ grows, and computed the stable homology to be the homology of the infinite loop space of the Moore spectrum. This paper provides a new proof of this result using scanning methods on topological models of disjoint unions of these groups, and constructs this model using Thumann's operadic group framework.

Research Background and Motivation

Problem Background

1. History of Thompson groups: Thompson groups were introduced in the 1960s by Thompson, initially for studying the word problem and as potential counterexamples to the von Neumann conjecture. The classical Thompson groups F, T, V are subgroups of piecewise linear bijections of intervals where all non-differentiable points are dyadic.
2. Generalization to Higman-Thompson groups: Higman later introduced generalizations of these group families, now called Higman-Thompson groups. The groups $V_{n,r}$ studied in this paper are subgroups of piecewise linear bijections of disjoint unions of $r$ intervals, where the breakpoints are $n$-adic numbers.
3. Homological stability problem: A natural question is whether the homology of these groups stabilizes when the number of intervals $r$ is sufficiently large.

Research Motivation

1. Significance of existing results: Szymik and Wahl have already proved homological stability for the family $V_{n,r}$ as $r \to \infty$ and computed the stable homology.
2. Methodological innovation: Existing proof methods include the scissors congruence group framework of Kupers and others, but this paper provides a completely new proof method.
3. Application of scanning techniques: Scanning techniques were originally developed for studying configuration spaces and stable homology of mapping class groups. This paper applies the technique to Higman-Thompson groups, demonstrating its broad applicability.

Core Contributions

1. New proof method: Uses scanning methods to reprove the main theorem of Szymik-Wahl, namely the homological equivalence $BV_{n,\infty} \overset{H_*}{\simeq} \Omega_0^\infty M_{n-1}$.
2. Construction of topological models: Utilizes Thumann's operadic group framework to construct topological models for disjoint unions of Higman-Thompson groups.
3. Establishment of scanning maps: Constructs scanning maps on embedding spaces of trees, identifying them as loop spaces.
4. Provision of general framework: Provides a general framework for studying groups that can be topologically modeled through embeddings of combinatorial objects.

Detailed Methodology

Task Definition

The core task of this paper is to reprove Theorem 1.1: $BV_{n,\infty} \overset{H_*}{\simeq} \Omega_0^\infty M_{n-1}$ where $\Omega_0^\infty M_{n-1}$ is the basepoint component of the infinite loop space based on the mod $(n-1)$ Moore spectrum.

Main Technical Framework

1. Operadic Group Theory

Utilizes the connection between operadic groups and Higman-Thompson groups established by Thumann:

• Cube cutting operad: Defines the cube cutting operad $O_{1,n}$ with $k=1$, $N=\{n\}$
• PROP category: Establishes equivalence between the operad and its associated PROP $S(O_{1,n})$
• Fundamental equivalence: $\bigsqcup_{0 \leq r \leq n-1} BV_{n,r} \simeq BS(O_{1,n})$

2. Embedding Spaces of Trees

Definition 4.2: For $N \in \mathbb{N} \cup \{\infty\}$ and a rooted $n$-ary forest $T$, define $E_N(T)$ as the space of pairs $(\phi, \epsilon)$ satisfying:

• $\phi$ is an embedding of $T$ into $I^N \times \mathbb{R}$
• $\epsilon > 0$
• Specific linearity and locality conditions are satisfied

Key result (Corollary 4.9): For each finite $n$-ary rooted forest $T$, the space $E_\infty(T)$ is contractible.

3. Topological Category Model

Definition 4.10: Constructs a non-unital category $HT_N$:

• Object space: $\bigsqcup UConf(n, I^N) \times \mathbb{R}$
• Morphism space: Consists of tuples $(t_x, t_y, T, \phi, \epsilon)$

Key equivalence (Proposition 4.11): The map $BF: BHT \to BS(O_{1,n})$ is a homotopy equivalence.

Implementation of Scanning Techniques

1. Semi-simplicial Decomposition

Decomposes the classifying space through construction of a semi-simplicial space $X_\bullet^N$: $\Phi_0^N \simeq BHT_N$

2. Dimension-by-dimension Scanning

Proposition 5.5: For all $N$ and $1 \leq k \leq N$, there exists a weak equivalence: $\Phi_{k-1}^N \simeq \Omega\Phi_k^N$

3. Analysis of Local Image Spaces

Decomposes $\Phi_N^N$ as a pushout of open subsets: $\Phi_N^N = U_1 \cup U_n$ where:

• $U_1$: Contains embeddings sufficiently far from the origin or with at most one path
• $U_n$: Contains embeddings with exactly one interior vertex

Experimental Setup

Theoretical Verification Framework

This paper is purely theoretical work, verified through the following approaches:

1. Constructive proofs: Through explicit construction of topological models and scanning maps
2. Homotopy-theoretic tools: Using standard tools such as fibrations and homotopy pushouts
3. Spectral sequence methods: Utilizing known properties of the Moore spectrum

Proof Strategies for Key Lemmas

1. Contractibility proofs: Proving contractibility of key spaces through microfibrations and contractible fibers
2. Equivalence verification: Constructing explicit homotopy equivalence maps
3. Compatibility checks: Verifying compatibility between constructions at different levels

Main Results

Reproof of Core Theorem

Theorem 6.18: There exists a homological equivalence $BV_{n,\infty} \overset{H_*}{\simeq} \Omega_0^\infty M_{n-1}$

Key Intermediate Results

1. Contractibility of Embedding Spaces

Corollary 4.9: $E_\infty(T)$ is contractible for each finite forest $T$.

2. Equivalence of Topological Models

Proposition 4.11: $BHT \simeq BS(O_{1,n})$

3. Dimension-by-dimension Delooping

Proposition 5.5: $\Phi_{k-1}^N \simeq \Omega\Phi_k^N$

4. Connection to Moore Spectrum

Lemma 6.14: $\Phi_N^N \simeq M_n^N$ (the $N$-th space of the Moore spectrum)

Innovations in the Proof

1. Novel application of scanning methods: First application of scanning techniques to Thompson-type groups
2. Effective utilization of operadic theory: Skillful use of Thumann's framework
3. Explicitness of construction: Provides concrete topological constructions rather than abstract existence proofs

Related Work

Historical Development

1. Origins of Thompson groups: Thompson's original work in the 1960s
2. Higman's generalization: Introduction of more general parametric families
3. Modern developments: Stability results of Szymik-Wahl, scissors congruence methods of Kupers and others

Development of Scanning Techniques

1. Classical applications: McDuff's work on configuration spaces
2. Mapping class groups: Work of Madsen-Weiss and others
3. Automorphisms of free groups: Breakthrough work of Galatius

Operadic Theory Background

1. Thumann's framework: Establishing connections between operads and Thompson groups
2. Cube cutting operad: Generalizations to higher-dimensional cases
3. PROP theory: Categorical description of algebraic structures

Conclusions and Discussion

Main Conclusions

1. Effectiveness of the method: Scanning methods provide powerful tools for studying Thompson-type groups
2. Generality of results: The method may be applicable to broader families of groups
3. Theoretical unity: Unifies seemingly disparate mathematical fields (operadic theory, scanning techniques, Thompson groups)

Limitations

1. Dimensional restrictions: Current methods primarily apply to one-dimensional cases
2. Technical complexity: The proof involves substantial technical details that may limit generalization
3. Computational difficulty: While providing theoretical descriptions, concrete computations remain challenging

Future Directions

1. Higher-dimensional generalizations: Authors plan to extend methods to bijection groups of $d > 1$ dimensional cubes
2. Other group families: Potential application to other types of infinite groups
3. Computational aspects: Development of more effective computational methods

In-depth Evaluation

Strengths

1. Theoretical innovation: Provides novel proof strategies, demonstrating the power of scanning techniques
2. Technical sophistication: Skillful application of advanced algebraic topology techniques
3. Clear structure: Well-organized paper with clear logical flow
4. Forward-looking: Provides clear directions for future research

Weaknesses

1. High technical threshold: Requires deep background in algebraic topology for complete understanding
2. Limited scope of application: Currently primarily a theoretical contribution with limited practical applications
3. Computational complexity: While providing theoretical framework, concrete computations remain difficult

Impact

1. Academic value: Provides new research tools for Thompson group theory
2. Methodological contribution: New application domain for scanning techniques
3. Cross-disciplinary connections: Strengthens connections between operadic theory and group theory

Applicable Scenarios

1. Theoretical research: Study of homological properties of Thompson groups and their generalizations
2. Method development: Application of scanning techniques to other infinite groups
3. Educational research: Case study for advanced algebraic topology courses

References

The paper cites 38 important references, primarily including:

• Classical literature on Thompson groups (Thompson, Higman, etc.)
• Foundational works on scanning techniques (McDuff, Segal, Galatius, etc.)
• Related work in operadic theory (Thumann, etc.)
• Stable homology theory (Szymik-Wahl, etc.)

Overall Assessment: This is a high-quality theoretical paper that introduces scanning techniques as a powerful tool in Thompson group theory. Not only does it reprove important known results, but it also opens new avenues for future development in this field. The paper has high technical content and strong originality, with significant value for cross-disciplinary research between algebraic topology and group theory.