Dynamics on the perfect kernel of higher rank generalized Baumslag-Solitar groups
Sasha Bontemps
TL;DR
This work generalizes the study of the space of subgroups to non-amenable GBS groups of rank $d$, describing the perfect kernel $\mathcal{K}(G)$ explicitly as the set of subgroups with infinite quotient on the Bass-Serre tree, $\{H \le G : H \backslash \mathcal{T} \text{ is infinite} \}$. It extends the rank-1 phenomena to higher rank by developing $\mathscr{H}$-preactions and $\mathscr{H}$-graphs, enabling a combinatorial encoding of subgroups and their approximations. The authors prove a countable $G$-invariant partition of $\mathcal{K}(G)$ into pieces each containing a dense $G$-orbit, establishing topological transitivity on each piece in many cases, and they identify sufficient modular-homomorphism criteria for $\mathcal{K}(G) = \mathrm{Sub}_{[\infty]}(G)$. The results unify and extend prior rank-1 and solitar– bontemps-type analyses, and they illuminate the dynamics of the conjugation action on the perfect kernel for a broad class of higher-rank GBS groups, including non-cocompact actions on the Bass–Serre tree. The paper also discusses the topology of the invariant pieces and provides explicit constructions illustrating the richness of the $G$-action on $\mathcal{K}(G)$, while highlighting cases where high transitivity does not imply dense orbits in every piece. Overall, the work advances the understanding of subgroup spaces for geometric group theory objects beyond rank one, linking Bass–Serre theory, lattice dynamics, and topological dynamics on Sub$(G)$.
Abstract
In this article, we study the space of subgroups of non-amenable generalized Baumslag-Solitar groups (GBS groups) of rank $d$, that is, groups acting cocompactly on an oriented tree with vertex and edge stabilizers isomorphic to $\mathbb{Z}^d$. Our results generalize the study of Baumslag-Solitar groups, and of GBS groups of rank $1$. We give an explicit description of the perfect kernel of a non-amenable GBS group $G$ of rank $d$ and show the existence of a partition of the perfect kernel into a countably infinite set of pieces which are invariant under the action by conjugation of $G$, and such that each piece contains a dense orbit.
