No Arabic 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 to the study of URSs and actions on compact spaces 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 orbital 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.
In this paper, the notion of proper proximality (introduced in [BIP18]) is studied for various families of groups that act on trees. We show that if a group acts non-elementarily by isometries on a tree such that for any two edges, the intersection of their edge stabilizers is finite, then G is properly proximal. We then provide a complete classification result for proper proximality among graph products of non-trivial groups, generalizing recent work of Duchesne, Tucker-Drob and Wesolek classifying inner amenability for graph products. As a consequence of the above result we obtain the absence of Cartan subalgebras and Cartan-rigidity in properly proximal graph products of weakly amenable groups with Cowling-Haagerup constant 1.
We provide new examples of acylindrically hyperbolic groups arising from actions on simplicial trees. In particular, we consider amalgamated products and HNN-extensions, 1-relator groups, automorphism groups of polynomial algebras, 3-manifold groups and graph products. Acylindrical hyperbolicity is then used to obtain some results about the algebraic structure, analytic properties and measure equivalence rigidity of groups from these classes.
We investigate a family of groups acting on a regular tree, defined by prescribing the local action almost everywhere. We study lattices in these groups and give examples of compactly generated simple groups of finite asymptotic dimension (actually one) not containing lattices. We also obtain examples of simple groups with simple lattices, and we prove the existence of (infinitely many) finitely generated simple groups of asymptotic dimension one. We also prove various properties of these groups, including the existence of a proper action on a CAT(0) cube complex.
We prove that a finitely generated pro-$p$ group $G$ acting on a pro-$p$ tree $T$ splits as a free amalgamated pro-$p$ product or a pro-$p$ HNN-extension over an edge stabilizer. If $G$ acts with finitely many vertex stabilizers up to conjugation we show that it is the fundamental pro-$p$ group of a finite graph of pro-$p$ groups $(cal G, Gamma)$ with edge and vertex groups being stabilizers of certain vertices and edges of $T$ respectively. If edge stabilizers are procyclic, we give a bound on $Gamma$ in terms of the minimal number of generators of $G$. We also give a criterion for a pro-$p$ group $G$ to be accessible in terms of the first cohomology $H^1(G, mathbb{F}_p[[G]])$.
We study superstable groups acting on trees. We prove that an action of an $omega$-stable group on a simplicial tree is trivial. This shows that an HNN-extension or a nontrivial free product with amalgamation is not $omega$-stable. It is also shown that if $G$ is a superstable group acting nontrivially on a $Lambda$-tree, where $Lambda=mathbb Z$ or $Lambda=mathbb R$, and if $G$ is either $alpha$-connected and $Lambda=mathbb Z$, or if the action is irreducible, then $G$ interprets a simple group having a nontrivial action on a $Lambda$-tree. In particular if $G$ is superstable and splits as $G=G_1*_AG_2$, with the index of $A$ in $G_1$ different from 2, then $G$ interprets a simple superstable non $omega$-stable group. We will deal with minimal superstable groups of finite Lascar rank acting nontrivially on $Lambda$-trees, where $Lambda=mathbb Z$ or $Lambda=mathbb R$. We show that such groups $G$ have definable subgroups $H_1 lhd H_2 lhd G$, $H_2$ is of finite index in $G$, such that if $H_1$ is not nilpotent-by-finite then any action of $H_1$ on a $Lambda$-tree is trivial, and $H_2/H_1$ is either soluble or simple and acts nontrivially on a $Lambda$-tree. We are interested particularly in the case where $H_2/H_1$ is simple and we show that $H_2/H_1$ has some properties similar to those of bad groups.