Simple Totally Disconnected Locally Compact Groups Separated by Finiteness Properties

Basic Information

• Paper ID: 2509.05101
• Title: Simple totally disconnected locally compact groups separated by finiteness properties
• Authors: Laura Bonn, Sebastian Giersbach
• Classification: math.GR (Group Theory)
• Publication Date: February 2025 (arXiv v2: October 29, 2025)
• Paper Link: https://arxiv.org/abs/2509.05101

Abstract

This paper constructs a sequence of simple non-discrete totally disconnected locally compact (tdlc) groups separated by finiteness properties; that is, for each positive integer $n$, there exists a simple non-discrete tdlc group that is of type $F_{n-1}$ but not of type $F_n$. This generalizes results of Skipper-Witzel-Zaremsky concerning discrete groups. Furthermore, the authors construct a simple non-discrete tdlc group that is of type $FP_2$ over $\mathbb{Z}$ but not compactly presented. These examples arise from Smith universal groups $\mathcal{U}(M,N)$ associated with permutation groups $M$ and $N$. The authors generalize the Haglund-Wise theorem to tdlc groups and prove that under mild conditions on $M$ and $N$, the finiteness properties of $\mathcal{U}(M,N)$ reflect the finiteness properties of its local actions $M$ and $N$.

Research Background and Motivation

Problem Background

1. Generalization of Finiteness Properties: In the class of discrete groups, finiteness properties $F_n$ and $FP_n$ generalize the concepts of finite generation and finite presentation. A group is of type $F_1$ or $FP_1$ if and only if it is finitely generated; finite presentation is equivalent to type $F_2$. Property $F_n$ implies $FP_n$ over any commutative ring, and for finitely presented groups, these two concepts coincide over $\mathbb{Z}$.
2. Separation Results for Discrete Groups: Bestvina and Brady proved that for non-finitely presented groups, the equivalence between $F_n$ and $FP_n$ fails. Skipper, Witzel, and Zaremsky constructed the first sequence of simple groups separated by finiteness properties, constructing simple groups $G_n$ of type $F_{n-1}$ but not $F_n$.
3. Finiteness Properties of tdlc Groups: Abels and Tiemeyer first generalized finiteness properties to locally compact groups. In the setting of totally disconnected locally compact (tdlc) groups, Castellano and Corob Cook provided different but equivalent definitions.

Research Motivation

1. Generalization to the Non-Discrete Setting: Extend the Skipper-Witzel-Zaremsky results on discrete groups to the tdlc group setting.
2. Answering Open Questions: Castellano and Weigel asked whether there exists a non-discrete tdlc group with trivial quasi-center that is of type $FP_2$ over $\mathbb{Q}$ but not compactly presented. This paper provides an affirmative answer and proves a stronger result (over $\mathbb{Z}$).
3. Constructing New Examples: Utilize Smith universal groups to construct simple non-discrete tdlc groups with specific finiteness properties.

Research Significance

• Deepens understanding of finiteness properties of tdlc groups
• Establishes connections between local actions and global properties
• Provides concrete constructive examples for abstract group theory

Core Contributions

1. Main Theorem 1.1: For each positive integer $n$, there exists a simple non-discrete tdlc group that is of type $F_{n-1}$ but not of type $F_n$.
2. Main Theorem 1.2: There exists a simple non-discrete tdlc group that is of type $FP_2$ over $\mathbb{Z}$ but not compactly presented. This answers the Castellano-Weigel question and provides a stronger result than required.
3. Theorem 1.3 (Generalization of Haglund-Wise Theorem): For tdlc groups $G$ that split as finite graphs of groups, under certain finiteness conditions on edge groups, the finiteness properties of $G$ are equivalent to those of all vertex groups.
4. Corollary 1.4: For Smith groups $\mathcal{U}(M,N)$ with finitely many orbits where one action is transitive, the finiteness properties are equivalent to those of $M$ and $N$.
5. Construction Method: Provides a systematic method for constructing examples satisfying specific conditions using Bestvina-Brady groups and semidirect products.

Methodology in Detail

Smith Universal Group Construction

Basic Definition

Let $X$ and $Y$ be two disjoint non-empty sets, each containing at least two elements. Let $M \leq \text{Sym}(X)$ and $N \leq \text{Sym}(Y)$ be two permutation groups. Consider a connected biregular tree $T$ with vertex set bipartition $V(T) = V_X \cup V_Y$, where all vertices in $V_X$ have degree $|X|$ and all vertices in $V_Y$ have degree $|Y|$.

Legal Labeling: A function $l: E(T) \to X \cup Y$ is called a legal labeling if:

1. For all $v \in V_X$, $l|_{o(v)}: o(v) \to X$ is a bijection
2. For all $w \in V_Y$, $l|_{o(w)}: o(w) \to Y$ is a bijection
3. For all $v \in V(T)$, $l|_{t(v)}$ is constant

Smith Universal Group Definition (Definition 2.1): $\mathcal{U}^l(M,N) := \{g \in \text{Aut}(T)_{\{V_X\}} \mid \forall v \in V_X: c_X(g,v) \in M \text{ and } \forall w \in V_Y: c_Y(g,w) \in N\}$

Topological Properties (Proposition 2.2)

1. If $M$ and $N$ are closed, then $\mathcal{U}(M,N)$ is closed
2. If $M$ and $N$ are closed, then $\mathcal{U}(M,N)$ is locally compact if and only if all point stabilizers are compact
3. $\mathcal{U}(M,N)$ is discrete if and only if $M$ and $N$ act freely
4. If $M$ and $N$ are generated by point stabilizers, then $\mathcal{U}(M,N)$ is simple if and only if $M$ or $N$ is transitive

Finiteness Properties Theory

Definition (Definition 3.1)

Let $G$ be a tdlc group and $R$ a commutative ring:

• Type $F_n$: There exists a contractible proper discrete $G$-CW complex $X$ such that the $n$-skeleton $X_n$ is finite modulo $G$
• Type $FP_n$ (over $R$): There exists a proper discrete resolution $P_* \to R$ of the trivial $R[G]$-module $R$ such that $P_0, \ldots, P_n$ are finitely generated

Key Properties (Proposition 3.2)

1. Type $F_1$ $\Leftrightarrow$ compactly generated
2. Type $F_2$ $\Leftrightarrow$ compactly presented
3. Type $F_n$ $\Rightarrow$ type $FP_n$
4. For compactly presented groups: Type $F_n$ $\Leftrightarrow$ type $FP_n$ over $\mathbb{Z}$

Core Technical Theorems

Theorem 3.3 (Local Actions and Point Stabilizers)

For closed permutation groups $M \leq \text{Sym}(X)$ and $N \leq \text{Sym}(Y)$, if point stabilizers are compact, let $G := \mathcal{U}(M,N)$:

1. $M$ and $N$ are of type $F_n$ $\Leftrightarrow$ all point stabilizers of $G$ are of type $F_n$
2. $M$ and $N$ are of type $FP_n$ over $R$ $\Leftrightarrow$ all point stabilizers of $G$ are of type $FP_n$ over $R$

Proof Strategy: Utilize the short exact sequence $1 \to K \to G_v \to M \to 1$, where $K$ is compact (hence of type $F_\infty$ and $FP_\infty$), and apply properties from Proposition 3.2.

Proof Strategy for Theorem 1.3

Base Cases ($n=1,2$):

• Proposition 3.4: For amalgamated free products $G = A *_C B$, if $G$ and $C$ are compactly generated, then $A$ and $B$ are compactly generated. The proof uses normal form analysis.
• Proposition 3.7: For amalgamated free products, if $G$ and $C$ are compactly presented, then $A$ and $B$ are compactly presented. The proof uses Proposition 3.6 (limit argument).
• Propositions 3.5 and 3.8: Similar results for HNN extensions.

General Case (Theorem 3.9): For $FP_n$ properties, use Brown's criterion and the cellular chain complex of the Bass-Serre tree: $0 \to \bigoplus_{e \in R_e} \mathbb{Z}[G/H_e] \to \bigoplus_{v \in R_v} \mathbb{Z}[G/H_v] \to \mathbb{Z} \to 0$

By analyzing finiteness properties of permutation modules, establish equivalence between $FP_n$ properties of vertex and edge groups and that of $G$.

Technical Innovations

1. Generalization of Haglund-Wise Theorem: First generalization of this theorem from discrete groups to tdlc groups, requiring handling of topological complexity.
2. Limit Argument (Proposition 3.6): Use Baire category theorem to prove that limits of compactly presented groups eventually stabilize, a key technique for handling the non-discrete setting.
3. Normal Form Analysis: Refined analysis of normal forms in amalgamated free products and HNN extensions in the topological group setting.
4. Permutation Module Techniques: Utilize finiteness properties of permutation modules and properties of open subgroups (Corollary 3.18) to establish local-global connections.

Experimental Setup (Constructive Examples)

Construction Strategy

The "experiments" in this paper are constructive mathematical examples rather than numerical experiments.

Basic Construction Framework (Example 4.2)

Let $M$ be a group with a finite subgroup $Q$, and $M$ acts on the coset space $X = M/Q$ by left multiplication. This action is faithful if and only if $\bigcap_{m \in M} mQm^{-1}$ is trivial. If $Q$ is finite, then $M$ has compact point stabilizers.

Key Conditions:

• The conjugacy intersection of $Q$ is trivial (ensures faithfulness)
• Conjugates of $Q$ generate $M$ (ensures simplicity)

Bestvina-Brady Group Method

Definition 4.3: Let $L$ be a finite flag complex with vertices $\{v_1, \ldots, v_n\}$. The right-angled Artin group: $A_L = \langle v_1, \ldots, v_n \mid v_iv_j = v_jv_i \text{ for all edges } \{v_i, v_j\} \in L \rangle$

The Bestvina-Brady group $H_L$ is the kernel of the surjection $\phi: A_L \to \mathbb{Z}$ (each generator maps to 1).

Proposition 4.4 (Finiteness Properties):

1. $H_L$ is of type $FP_{n+1}$ over $R$ $\Leftrightarrow$ $L$ is homologically $n$-connected over $R$
2. $H_L$ is finitely presented $\Leftrightarrow$ $L$ is simply connected

Semidirect Product Construction

Take $M = H_L \rtimes \text{Aut}(L)$, where $\text{Aut}(L)$ acts as a finite subgroup $Q$.

Proposition 4.5: If a finite group $Q$ acts faithfully on a torsion-free group $H$, then the conjugacy intersection of $Q$ in $M = H \rtimes Q$ is trivial.

Proposition 4.7: If $L$ is connected and every directed edge $(x,y)$ lies in some triangle, there exists $q \in Q$ such that $q.(x,z) = (y,z)$, then conjugates of $Q$ generate $M$.

Concrete Examples

Example 4.9 (Proof of Theorem 1.1)

For $n \geq 2$, take $L$ to be a flag triangulation of the $n$-sphere $S^n$ (boundary of the $(n+1)$-dimensional cross-polytope).

• $L$ is simply connected ($n \geq 2$)
• $S^n$ is $(n-1)$-connected but not $n$-connected
• By Proposition 4.4, $H_L$ is of type $F_n$ but not $F_{n+1}$
• Setting $Q = \text{Aut}(L)$, we have $\mathcal{U}(H_L \rtimes Q, \text{Sym}(3))$ is a simple non-discrete tdlc group of type $F_n$ but not $F_{n+1}$

Example 4.10 (Proof of Theorem 1.2)

Construct a finite connected flag complex $L$ satisfying:

• Non-simply connected
• Homologically 1-connected over $\mathbb{Z}$
• Every edge lies in a triangle
• $Q = \text{PSL}_2(13) \times C_3 \times C_3$ acts transitively on directed edges

Concrete Construction (see appendix GAP code):

1. $Q$ has three subgroups $V_1, V_2, V_3 \cong C_{13} \rtimes C_3$
2. Vertices are left cosets of $Q$ on $V_i$
3. Define specific adjacency relations
4. The resulting triangular complex $L$ satisfies required properties

Non-Simply Connected Proof: Use covering space theory. Each vertex link in $L$ has closed loops of length $\geq 6$; by Cartan-Hadamard theorem, the universal cover $\tilde{L}$ is a CAT(0) space containing geodesics, but $L$ is bounded, so $L \not\cong \tilde{L}$.

By Proposition 4.4, $H_L$ is of type $FP_2$ over $\mathbb{Z}$ but not finitely presented. Therefore $\mathcal{U}(H_L \rtimes \text{Aut}(L), \text{Sym}(3))$ is a simple non-discrete tdlc group of type $FP_2$ over $\mathbb{Z}$ but not compactly presented.

Experimental Results

Summary of Main Results

1. Realization of Theorem 1.1: For each $n \geq 2$, Example 4.9 constructs a simple non-discrete tdlc group of type $F_{n-1}$ but not $F_n$ (for $n=2$, constructs type $F_1$ but not $F_2$ groups).
2. Realization of Theorem 1.2: Example 4.10 constructs a simple non-discrete tdlc group of type $FP_2$ over $\mathbb{Z}$ but not compactly presented.
3. Theoretical Framework Verification:
   • Theorem 1.3 successfully generalizes the Haglund-Wise theorem
   • Corollary 1.4 establishes correspondence between Smith groups and local action finiteness properties
   • Theorem 3.3 establishes connections between local actions and point stabilizers

Alternative Construction Methods (Remark 4.11)

1. Using Simple Groups: If $M$ is a simple group with non-trivial finite subgroup $Q$, then $\mathcal{U}(M, \text{Sym}(3))$ is a simple non-discrete tdlc group with the same finiteness properties as $M$. Applied to Skipper-Witzel-Zaremsky groups yields type $F_{n-1}$ but not $F_n$ examples.
2. Special Linear Groups: $M = \text{SL}_n(\mathbb{F}_q[t,t^{-1}])$ ($n \geq 3$, $\gcd(n, q-1)=1$), $Q = \text{SL}_n(\mathbb{F}_q)$. By Vogtmann's theorem, $M$ is of type $F_{2n-3}$ but not $F_{2n-2}$.

Verification Methods

All examples are verified based on:

1. Topological Properties: Verify non-discreteness and local compactness via Proposition 2.2
2. Simplicity: Verify simplicity conditions via Proposition 2.2(4)
3. Finiteness Properties: Via Theorem 1.4 and known properties of Bestvina-Brady groups

Related Work

Finiteness Properties of Discrete Groups

1. Classical Theory:
   • Brown's criterion: Determine finiteness properties via group actions on CW complexes
   • Bestvina-Brady 2: Prove $F_n$ and $FP_n$ are not equivalent for non-finitely presented groups
2. Separation Results:
   • Skipper-Witzel-Zaremsky 13: First construction of simple discrete groups separated by finiteness properties
   • Llosa Isenrich-Schesler-Wu 11: Recent construction of simple discrete groups of type $FP_2$ but not finitely presented

tdlc Group Theory

1. Finiteness Properties Definitions:
   • Abels-Tiemeyer 1: First generalization to locally compact groups
   • Castellano-Corob Cook 7: Equivalent definitions in tdlc setting
2. Graph of Groups Theory:
   • Haglund-Wise 9: Finiteness properties of graphs of discrete groups
   • This paper: Generalization to tdlc groups
3. Smith Universal Groups:
   • Smith 14: Introduction of construction, obtaining uncountably many pairwise non-isomorphic simple non-discrete tdlc groups
   • Burger-Mozes 5: Universal groups on regular trees (special case)

Advantages of This Paper

1. First Systematic Study: First systematic investigation of finiteness property separation phenomena in tdlc groups
2. Unified Framework: Through Smith group construction, connects local properties with global properties
3. Theory Generalization: Successfully generalizes multiple discrete group results to tdlc setting
4. Construction Methods: Provides operational construction techniques (Bestvina-Brady groups + semidirect products)

Conclusions and Discussion

Main Conclusions

1. Existence Results: Proves that finiteness property separation phenomena similar to discrete groups exist in tdlc groups, completely answering fundamental questions in the field.
2. Structure Theorems: Theorems 1.3 and Corollary 1.4 establish relationships between graph of groups decompositions and finiteness properties, providing powerful tools for studying tdlc groups.
3. Construction Techniques: Develops systematic construction methods based on Bestvina-Brady groups and Smith universal groups, applicable to constructing other tdlc groups with specific properties.

Limitations

1. Construction Complexity: The construction in Example 4.10 requires complex combinatorial design and computer-aided verification (GAP code), lacking intuitive appeal.
2. Generality Restrictions:
   • Theorem 1.4 requires $M$ and $N$ to have finitely many orbits with one transitive
   • Many results depend on compactness assumptions on point stabilizers
3. Unresolved Classification Problems:
   • No complete classification of all possible finiteness property configurations
   • Unclear which finiteness property combinations can be realized
4. Computational Complexity: Verifying properties of concrete examples (e.g., non-simple connectivity) requires deep geometric and topological arguments.

Future Directions

1. More Examples: Seek simpler or more natural constructions, particularly methods not relying on Bestvina-Brady groups.
2. Classification Problems:
   • Characterize all possible finiteness property combinations
   • Study relationships between different construction methods
3. Generalization to Other Properties:
   • Study separation of other topological or algebraic properties
   • Consider more general locally compact groups
4. Applications:
   • Apply these constructions to other mathematical fields (topological dynamics, operator algebras)
   • Study representation theory of these groups
5. Computational Methods: Develop more systematic computational tools to verify and construct complexes satisfying specific conditions.

In-Depth Evaluation

Strengths

1. Theoretical Depth:
   • Successfully generalizes Haglund-Wise theorem from discrete groups to tdlc groups with significant technical difficulty
   • Limit argument (Proposition 3.6) using Baire category theorem to handle compact presentedness demonstrates deep topological insight
   • Establishes three-level connections: local actions → point stabilizers → global properties
2. Construction Innovation:
   • Cleverly combines Bestvina-Brady groups, semidirect products, and Smith universal groups
   • Construction in Example 4.10 (using $\text{PSL}_2(13) \times C_3 \times C_3$) is original
   • Provides verifiable concrete examples (GAP code in appendix)
3. Systematicity:
   • Complete proofs from base cases ($n=1,2$) to general case
   • Unified treatment of amalgamated free products and HNN extensions
   • Clear logical chain: theoretical framework (Theorem 1.3) → applications (Corollary 1.4) → concrete examples
4. Completeness:
   • Answers Castellano-Weigel open question with stronger results
   • Generalizes classical Skipper-Witzel-Zaremsky results
   • Provides multiple construction methods (Remark 4.11)
5. Technical Rigor:
   • All theorem proofs complete
   • Careful handling of topological details (open subgroups, compactness, limits)
   • Computationally verifiable code

Weaknesses

1. Readability:
   • For non-specialists, topological techniques in tdlc groups are difficult
   • Non-simple connectivity proof in Example 4.10 requires CAT(0) geometry background
   • Lacks intuitive geometric illustrations (only Figure 1 shows legal labeling)
2. Construction Naturalness:
   • Example 4.10 construction appears "tailored" to satisfy specific conditions
   • Unclear whether choice of $\text{PSL}_2(13) \times C_3 \times C_3$ has deeper motivation
   • Reliance on computer search may limit understanding of construction essence
3. Generality:
   • Theorem 1.4 conditions (finitely many orbits, one transitive) are restrictive
   • No discussion of what happens when conditions fail
   • No examples for $n=1$ case (type $F_0$ but not $F_1$)
4. Insufficient Comparative Analysis:
   • Limited comparison with Llosa Isenrich-Schesler-Wu 11 methods
   • Alternative methods mentioned in Remark 4.11 lack detailed discussion
   • Unclear advantages/disadvantages of different construction methods
5. Open Problems:
   • Remaining open problems not explicitly listed
   • No discussion of examples of type $FP_\infty$ but not $F_\infty$

Impact

1. Contribution to Field:
   • Major Theoretical Progress: First systematic establishment of finiteness property separation theory for tdlc groups
   • Methodological Contribution: Generalization of graph of groups techniques to tdlc setting provides tools for future research
   • Answers Important Questions: Resolves Castellano-Weigel open problem
2. Practical Value:
   • Construction Tools: Smith universal groups + Bestvina-Brady groups method applicable to constructing other examples
   • Computational Support: GAP code provides practical verification tools
   • Theoretical Framework: Theorem 1.3 applicable to analyzing finiteness properties of other tdlc groups
3. Reproducibility:
   • High: All proofs complete, key examples have computational code
   • GAP code (appendix) directly verifiable for Example 4.10
   • Clear theoretical framework applicable to constructing similar examples
4. Potential Applications:
   • Operator Algebras: tdlc group representations relate to operator algebras
   • Topological Dynamics: Group actions on trees and dynamical properties
   • Geometric Group Theory: Further understanding of geometric nature of finiteness properties

Applicable Scenarios

1. Direct Applications:
   • Study tdlc groups with specific finiteness properties
   • Construct groups with extreme properties (simple but not compactly presented)
   • Study structure of Smith universal groups
2. Methodological Applications:
   • Use graph of groups decompositions to study tdlc group properties
   • Understand global properties through local actions
   • Apply limit argument techniques to other topological group problems
3. Theoretical Research:
   • Classification and characterization of finiteness properties
   • Structure theory of tdlc groups
   • Analogies between discrete and tdlc groups
4. Related Fields:
   • Automorphic forms theory (arithmetic groups)
   • Building theory (group actions on buildings)
   • Homological theory of topological groups

Technical Highlights

1. Application of Baire Category Theorem (Proposition 3.6): When proving limits of compactly presented groups eventually stabilize, cleverly uses Baire category theorem—a key technique for handling non-discrete topology.
2. Permutation Module Techniques: Utilizes cellular chain complexes of Bass-Serre trees and finiteness properties of permutation modules to establish elegant homological arguments.
3. Topological Treatment of Normal Forms: In Propositions 3.4 and 3.7, combines classical normal form arguments with topological properties of compactly generated sets.
4. Geometric-Algebraic Correspondence: Characterizes algebraic properties (finiteness properties) of Bestvina-Brady groups through topological properties (connectivity) of flag complexes.

Key References

2 M. Bestvina and N. Brady, Morse theory and finiteness properties of groups, Invent. Math. 129 (1997), 445–470. (First proof that $F_n$ and $FP_n$ are not equivalent)

7 I. Castellano and G. Corob Cook, Finiteness properties of totally disconnected locally compact groups, Journal of Algebra 543 (2020), 54–97. (Modern definitions of finiteness properties for tdlc groups)

9 F. Haglund and D. T. Wise, A note on finiteness properties of graphs of groups, Proceedings of the AMS, Series B (2021). (Main theorem generalized in this paper)

13 R. Skipper, S. Witzel, and M. C. B. Zaremsky, Simple groups separated by finiteness properties, Invent. Math. 215 (2019), 713–740. (Discrete group separation results generalized in this paper)

14 S. Smith, A product for permutation groups and topological groups, Duke Math. J. 166 (2017), 2965–2999. (Original construction of Smith universal groups)

Overall Assessment: This is a high-quality theoretical mathematics paper that successfully generalizes important results from discrete group theory to the tdlc group setting. The techniques are profound, constructions are ingenious. While certain constructions could be more natural and general, its theoretical contributions and methodological value are significant, establishing important foundations for finiteness property research in tdlc groups. The paper demonstrates high rigor and completeness, representing important progress in the field.