Abstract:A subgroup $H$ of a group $G$ is confined if the $G$-orbit of $H$ under conjugation is bounded away from the trivial subgroup in the space $\operatorname{Sub}(G)$ of subgroups of $G$. We prove a commutator lemma for confined subgroups. For groups of homeomorphisms, this provides the exact analogue for confined subgroups (hence in particular for URSs) of the classical commutator lemma for normal subgroups: if $G$ is a group of homeomorphisms of a Hausdorff space $X$ and $H$ is a confined subgroup of $G$, then $H$ contains the derived subgroup of the rigid stabilizer of some open subset of $X$. We apply this commutator lemma in the setting of groups acting on rooted trees. We prove a theorem describing the structure of URSs of weakly branch groups and of their non-topologically free minimal actions. Among the applications of these results, we show: 1) if $G$ is a finitely generated branch group, the $G$-action on $\partial T$ has the smallest possible growth among all faithful $G$-actions; 2) if $G$ is a finitely generated branch group, then every embedding from $G$ into a group of homeomorphisms of strongly bounded type (e.g. a bounded automaton group) must be spatially realized; 3) if $G$ is a finitely generated weakly branch group, then $G$ does not embed into the group IET of interval exchange transformations.

Complexities of Theories of Profinite Subgroups of $S_ω$ via Tree Presentations

The central tree property and algorithmic problems on subgroups of free groups

Sylow branching trees

Groups and algebraic complexity

A commutator lemma for confined subgroups and applications to groups acting on rooted trees

Finite subgroups of the profinite completion of good groups

Profinite tree sets

On the lattice of closed subgroups of a profinite group

Chabauty Limits Of Simple Groups Acting On Trees

Discrete quantum subgroups of free unitary quantum groups

Characterising path-, ray- and branch spaces of order trees, and end spaces of infinite graphs

Weakly maximal subgroups of branch groups

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

On the maximal overgroups of Sylow subgroups of finite groups

Tree Posets: Supersaturation, Enumeration, and Randomness

A construction of uncountably many finitely generated simple groups of homeomorphisms of the circle

Profinite trees, through monads and the lambda-calculus

Discrete subgroups with finite Bowen-Margulis-Sullivan measure in higher rank

On Sushchansky p-groups