By Światosław R. Gal and Jakub Gismatullin, with an appendix by Nir Lazarovich
Abstract
We prove that groups acting boundedly and order-primitively on linear orders or acting extremely proximally on a Cantor set (the class including various Higman-Thomson groups; Neretin groups of almost automorphisms of regular trees, also called groups of spheromorphisms; the groups of quasi-isometries and almost-isometries of regular trees) are uniformly simple. Explicit bounds are provided.
1. Introduction
Let $\Gamma$ be a group. It is called $N$-uniformly simple if for every nontrivial $f\in \Gamma$ and nontrivial conjugacy class $C\subset \Gamma$ the element $f$ is the product of at most $N$ elements from $C^{\pm 1}$. A group is uniformly simple if it is $N$-uniformly simple for some natural number $N$. Uniformly simple groups are called sometimes, by other authors, groups with finite covering number or boundedly simple groups (see, e.g., Reference 15Reference 19Reference 22). We call $\Gamma$boundedly simple if $N$ is allowed to depend on $C$. The purpose of this paper is to prove results on uniform simplicity, in particular Theorems 1.1, 1.2, and 1.3 below, for a number of naturally occurring infinite permutation groups.
Every uniformly simple group is simple. It is known that many groups with geometric or combinatorial origin are simple. In this paper we prove that, in fact, many of them are uniformly simple.
Below are our main results.
Let $(I,\leq )$ be a linearly ordered set. Let $\mathrm{Aut}(I,\leq )$ denote the group of order-preserving bijections of $I$. We say that $g\in \mathrm{Aut}(I,\leq )$ is boundedly supported if there are $a, b\in I$ such that $g(x)\neq x$ only if $a<x<b$. The subgroup of boundedly supported elements of $\mathrm{Aut}(I,\leq )$ will be denoted by $\mathrm{B}(I,\leq )$.
For the definition of a commutator width of a group see the beginning of Section 2. Observe that every doubly-transitive (i.e., transitive on ordered pairs) action is proximal.
This theorem immediately applies e.g. to $\mathrm{B}({\mathbf{Q}},\leq )$ and the class of Higman-Thomson groups $F_{q,r}$ for $q>r\geq 1$, where the latter are defined as follows. We fix natural numbers $q>r\geq 1$. The Higman-Thompson group$F_{q,r}$ is defined as piecewise affine, order-preserving transformations of $\left((0,r)\cap {\mathbf{Z}}[1/q],\leq \right)$ whose breaking points (i.e., singularities) belong to ${\mathbf{Z}}[1/q]$ and the slopes are $q^k$ for $k\in {\mathbf{Z}}$ (see Reference 5, Proposition 4.4). The Thompson group $F$ is the group $F_{2,1}$ in the above series. Moreover, $F_{q,r}$ is independent of $r$ (up to isomorphism) Reference 5, 4.1. The Higman-Thompson groups satisfy the assumptions of Theorem 1.1 due to Lemmata 3.2 and 3.3 from Section 3.
Our result implies that $\Gamma =\mathrm{B}(\mathbf{Q},\leq )$ is six-uniformly simple. Whereas Droste and Shortt proved in Reference 13, Theorem 1.1(c) that $\mathrm{B}({\mathbf{Q}},\leq )$ is two-uniformly simple. In fact, they proved that if $\Gamma <\mathrm{B}(I,\leq )$ is proximal (they use the term “feebly 2-transitive” for proximal action) and additionally closed under $\omega$-patching of conjugate elements, then $\Gamma$ is two-uniformly simple. Thus, our Theorem 1.1 covers a larger class of examples than that from Reference 13 (as we assume only proximality), but with slightly worse bound for uniform simplicity.
The uniform simplicity of the Thompson group $F=F_{2,1}$ was proven implicitly by Bardakov, Tolstykh, and Vershinin Reference 2, Corollary 2.3 and Burago and Ivanov Reference 6. Although their proofs generalize to the general result given above, we write it down for several reasons. Namely, in the above cited papers some special properties of the linear structure of the real line is used, while the result is true for a general class of proximal actions on linearly ordered sets. The Droste and Shortt argument uses $\omega$-patching, which is not suitable for our case. Furthermore, although in the examples mentioned above the action is doubly-transitive, the right assumption is proximality, which is strictly weaker than double-transitivity. In Theorem 4.2 we construct a bounded and proximal transitive action which is not doubly-transitive. This is discussed in detail in Section 4. The second reason for proving Theorem 1.1 is that a topological analogue of proximality, namely extremal proximality (see the beginning of Section 5), plays a crucial role in the proofs of the subsequent results. Extremal proximality was defined by S. Glasner in Reference 21, p. 96 and Reference 20, p. 328 for a general minimal action of a group on a compact Hausdorff space.
In Section 5 we go away from order-preserving actions, and consider groups acting on a Cantor set, and also groups almost acting on trees. The following theorem is Corollary 6.6(2).
The group $N_q$ was introduced by Neretin in Reference 27, 4.5, 3.4 as the group of spheromorphisms (also called almost automorphisms) of a $(q+1)$-regular tree $T_q$. We will recall the construction in Section 6.
The Higman-Thompson group$G_{q,r}$ is defined as the group of automorphisms of the Jónsson-Tarski algebra $V_{q,r}$Reference 5, 4A. It can also be described as a certain group of homeomorphisms of a Cantor set Reference 5, p. 57. Moreover, one can view $G_{q,r}$ as a subgroup of $G_{q,2}$ and the latter as a group acting spheromorphically on the $(q+1)$-regular tree Reference 25, Section 2.2, that is, they are subgroups of $N_q$. If $q$ is even, then $G'_{q,r}=G_{q,r}$. For odd $q$,$[G_{q,r}:G'_{q,r}] = 2$Reference 5, Theorem 4.16, Reference 17, Theorem 5.1. The group $G_{2,1}$ is also known as the Thompson group $V$. It is known that $F_{q,r} < G_{q,r}$.
Given a group $\Gamma$ acting on a tree $T$, in the beginning of Section 5 we will define, following Neretin, the group ${\lBrack \Gamma \rBrack }$ of partial actions on the boundary of $T$. Theorem 1.2 is a corollary of a more general theorem about uniform simplicity of partial actions.
This is an immediate corollary of Theorems 5.1 and 6.4. The latter theorem concerns several characterizations of extremal proximality of the group action on the boundary of a tree.
Section 7 is devoted to the proof that the groups of quasi-isometries and almost-isometries of regular trees are five-uniformly simple.
The uniform simplicity of homeomorphism groups of certain spaces has been considered since the beginning of the 1960s, e.g., by Anderson Reference 1. He proved that the group of all homeomorphisms of ${\mathbf{R}}^n$ with compact support and the group of all homeomorphisms of a Cantor set are two-uniformly simple (and have commutator width one). His arguments used an infinite iteration arbitrary close to every point, which is not suitable for the study of spheromorphism groups and the Higman-Thompson groups.
$N$-uniform simplicity is a first-order logic property (for a fixed natural number $N$). That is, it can be written as a formula in a first-order logic. Therefore, $N$-uniform simplicity is preserved under elementary equivalence: if $G$ is $N$-uniform simple, then all other groups elementary equivalent with $G$ are also $N$-uniformly simple. In particular, all ultraproducts of Neretin groups, and Higman-Thompson groups mentioned above, are nine-uniformly simple.
Another feature of uniformly simple groups comes from Reference 19, Theorem 4.3, where the second author proves the following classification fact about actions of uniformly simple groups (called boundedly simple in Reference 19) on trees: if a uniformly simple group acts faithfully on a tree $T$ without invariant proper subtree or invariant end, then essentially $T$ is a bi-regular tree (see Section 6 for definitions).
In Section 4 we discuss the primitivity of actions on linearly ordered sets (i.e., lack of proper convex congruences). In fact, we prove that primitivity and proximality are equivalent notions for bounded actions (Theorem 4.1). Our primitivity appears in the literature as o-primitivity; see, e.g., Reference 26, Section 7.
Calegari Reference 9 proved that subgroups of the pl1 homeomorphism of the interval, in particular the Thompson group $F$, have trivial stable commutator length. Essentially by Reference 7, Lemma 2.4 by Burago, Polterovich, and Ivanov (that we will explain for the completeness of the presentation) we reprove in Lemma 2.2 the commutator width of the commutator subgroup (and other groups covered by Theorems 3.1 and 1.1) of the Thompson group $F$.
Let us discuss examples and nonexamples of bounded and uniform simplicity. It is known that a simple Chevalley group (that is, the group of points over an arbitrary infinite field $K$ of a quasi-simple quasi-split connected reductive group) is uniformly simple Reference 15Reference 22. In fact, there exists a constant $d$ (which is conjecturally $4$, at least in the algebraically closed case Reference 23) such that, any such Chevalley group $G$ is $d \cdot r(G)$-uniformly simple, where $r(G)$ is the relative rank of $G$Reference 15.
Full automorphism groups of right-angled buildings are simple, but never boundedly simple, because of the existence of nontrivial quasi-morphisms Reference 10, Reference 11, Theorem 1.1 (except if the building is a bi-regular tree Reference 19, Theorem 3.2).
Compact groups are never uniformly simple. More generally, a topological group $\Gamma$ is called a sin group if every neighborhood of the identity $e\in \Gamma$ contains a neighborhood of $e$ which is invariant under all inner automorphisms. Every compact group is sin (as if $V$ is such a neighborhood, then $\bigcap _{\gamma \in \Gamma }\gamma ^{-1}V\gamma$ has nonempty interior). Clearly every infinite Hausdorff sin-group is not uniformly simple. Moreover, many compact linear groups (e.g., $\mathrm{SO}(3,{\mathbf{R}})$) are boundedly simple, because of the presence of the dimension with good properties. (See also the discussion at the end of this section.)
Let us conclude the introduction by relating simplicity and the notion of central norms on groups. Let $\Gamma$ be a group. A function $\|\cdot \|\colon \!\Gamma \!\to \!{\mathbf{R}}_{\geq 0}$ is called a seminorm if
•
$\|g\|=\|g^{-1}\|$ for all $g\in \Gamma$, and
•
$\|gh\|\leq \|g\|+\|h\|$ for all $g,h\in \Gamma$.
A seminorm is called
•
trivial if $\|g\|=0$ for all $g\in \Gamma$,
•
central if $\|gh\|=\|hg\|$,
•
a norm if $\|g\|>0$ for $1\neq g\in \Gamma$,
•
discrete if $\inf _{1\neq g\in \Gamma }\|g\|>0$, and
•
bounded if $\sup _{g\in \Gamma }\|g\|<\infty$.
A seminorm is discrete if and only if the topology it induces is discrete. A discrete seminorm is a norm. Every central seminorm $\|\cdot \|$ is conjugacy invariant: $\|ghg^{-1}\|=\|h\|$.
A typical example of a nontrivial central and discrete norm is a word norm $\|\cdot \|_S$ attached to a subset $S\subseteq \Gamma$ (cf. Reference 16, 2.1):
$$\begin{multline*} \| f \|_S = \min \{ k\in {\mathbf{N}} : f = g_1\cdot \ldots \cdot g_k,\text{ each } g_i \text{ is conjugate}\\ \text{with an element from } S\cup S^{-1}\}. \end{multline*}$$
For a nontrivial central norm $\|\cdot \|$ we define an invariant $\Delta (\|\cdot \|)=\frac{\sup _{g\in \Gamma }\|g\|}{\inf _{1\neq g\in \Gamma }\|g\|}$. Of course, if $\|\cdot \|$ is either nondiscrete or unbounded, then $\Delta (\|\cdot \|)=\infty$. We define $\Delta (\Gamma )$ to be the supremum of $\Delta (\|\cdot \|)$ for all nontrivial central norms on $\Gamma$.
In particular, the infinite alternating group $A_\infty =\bigcup _{n\geq 5}A_n$ is simple but not boundedly simple. To see the latter, observe that the cardinality of the support is an unbounded central norm. This norm is maximal up to scaling. Indeed, essentially by Reference 14, Lemma 2.5 every element $\sigma \in A_\infty$ is a product of at most $\left\lfloor \frac{8\#\operatorname {supp}(\sigma )}{\#\operatorname {supp}(\pi )}\right\rfloor +2\leq \frac{10\#\operatorname {supp}(\sigma )}{\#\operatorname {supp}(\pi )}$ conjugates of $\pi$.
Also, it is easy to see that $\mathrm{SO}(3)$ is boundedly simple, but not uniformly simple. The angle of rotation is a full invariant of an element of that group, and this function is a central norm. Clearly it is not discrete. As before, one can observe that if $R$ is a rotation by an angle $\theta$, then every other rotation can be obtained by at most $\left\lceil \frac{\pi }{\theta }\right\rceil$ conjugates of $R$.
Every universal sofic group Reference 14, Section 2 is boundedly simple, but not uniformly simple. Namely, let $(S_n,\|\cdot \|_H)_{n\in {\mathbf{N}}}$ be the full symmetric group on $n$ letters with the normalized Hamming norm: $\|\sigma \|_H=\frac{1}{n}|\operatorname {supp}(\sigma )|$ for $\sigma \in S_n$. Take
as the metric ultraproduct of $(S_n,\|\cdot \|_H)_{n\in {\mathbf{N}}}$ over a nonprincipal ultrafilter $\mathcal{U}$. Then the proof of Reference 14, Proposition 2.3(5) shows that $\mathcal{G}$ is boundedly simple. Furthermore, $\mathcal{G}$ is not uniformly simple, as $\|\cdot \|$ is a nondiscrete central norm on $\mathcal{G}$ (see Proposition 1.4$(4)$). As before, this norm is maximal up to scaling due to Reference 14, Lemma 2.5.
2. Burago-Ivanov-Polterovich method
The symbol $\Gamma$ will always denote a group. For $a,b \in \Gamma$ we use the following notation: $\vphantom {h}^{g}\!h:=ghg^{-1}$ and $[g,h]:=\vphantom {h}^{g}\!h.h^{-1}=g.\vphantom {g}^{h}\!g^{-1}$. By $\vphantom {g}^{\Gamma }\!g$ we mean the conjugacy class of $g\in \Gamma$.
Let $C$ be a nontrivial conjugacy class in $\Gamma$. By $C$-commutator we mean an element of $[\Gamma ,C]=\{[g,h] : g\in \Gamma ,h\in C\}$. If $h\in C$ we will use the name $h$-commutator as a synonym of $C$-commutator, for short. Of course $[\Gamma ,C]=C.C^{-1}$, thus the set of $C$-commutators is closed under inverses and conjugation.
The commutator length of an element $g \in [\Gamma ,\Gamma ]$ is the minimal number of commutators sufficient to express $g$ as their product. The commutator width of $\Gamma$ is the maximum of the commutator lengths of elements of its derived subgroup $[\Gamma ,\Gamma ]=\Gamma '$.
We say that $f$ and $g\in \Gamma$commute up to conjugation if there exist $h\in \Gamma$ such that $f$ and $\vphantom {g}^{h}\!g$ commute.
Following Burago, Ivanov, and Polterovich Reference 7, Sec. 2.1 assume that $H<\Gamma$ is a subgroup, $h\in \Gamma$, and $k\in {\mathbf{N}}\cup \{\infty \}$. We say that an element $h$$k$-displaces$H$ if
$$\begin{equation*} \left[f,\vphantom {g}^{h^j}\!g\right]=e\text{ for all }f,g\in H \text{ and }j=1,\ldots ,k \end{equation*}$$
(hence also $\left[\vphantom {f}^{h^i}\!f,\vphantom {g}^{h^j}\!g\right]=e$ for $1\leq |i-j|\leq k$).
We will say that $h$displaces$H$ if it 1-displaces $H$. We say that $H<\Gamma$ is $k$-displaceable in $\Gamma$ if there exists $h\in \Gamma$ such that $h$$k$-displaces$H$ (this property is called strongly $k$-displaceable in Reference 7, Sec. 2.1). In particular, elements of a displaceable subgroup commute up to conjugation.
Burago, Polterovich, and Ivanov Reference 7, Theorem 2.2(i) proved that if for every $k\in {\mathbf{N}}$ some conjugate of $g$$k$-displaces$H$, then every element of $H'$ is a product of seven $g$-commutators. We get a better result under a stronger assumption.
Note that the assumption of the above corollary implies that neither $\Gamma$ nor $\Gamma '$ is finitely generated. However, we will use this approach to prove uniform simplicity of the Higman-Thompson groups which are known to be finitely generated.
3. Bounded actions on ordered sets
The purpose of this section is to prove that numerous simple Higman-Thompson groups acting as order-preserving piecewise-linear transformations are, in fact, uniformly simple.
We always assume that a group $\Gamma$ acts faithfully on the left by order-preserving transformations on a linearly ordered set $(I,\leq )$. Given a map $g\colon I\to I$, we define the support $\operatorname {supp}(g)$ of $g$ to be $\{x\in I : g(x)\neq x\}$. Given $a$ and $b\in I$ we define $(a,b) = \{y\in I : a<y<b\}$. By $(a,\infty )$ we will denote the set $\{x\in I : a<x\}$. The group of all bounded automorphisms of $(I,\leq )$ is denoted by $\mathrm{B}(I,\leq )$.
We call such an action
•
proximal, if for every $a,b,c,d\in I$ such that $a<b$ and $c<d$ there is $g\in \Gamma$ satisfying $g(a,b)\supseteq (c,d)$;
•
bounded, if for every $g\in \Gamma$ there are $a,b\in I$ such that $\operatorname {supp}(g)\subseteq (a,b)$.
Note that being proximal implies that $(I,\leq )$ is dense without endpoints.
Let us apply Theorem 3.1 to the Higman-Thompson groups of order-preserving piecewise-linear maps. We first recall the definitions. Let $q>r\geq 1$ be integers. Recall that $F_{q,r}$($F_{q}$, respectively) is defined as piecewise affine (we allow only finitely many pieces), order-preserving bijections of $\left((0,r)\cap {\mathbf{Z}}[1/q],\leq \right)$($\left({\mathbf{Z}}[1/q],\leq \right)$, respectively) whose breaking points of the derivatives belong to ${\mathbf{Z}}[1/q]$ and the slopes are $q^k$ for $k\in {\mathbf{Z}}$ (see the bottom of page 53 and the top of page 56 in Reference 5).
Define $\mathrm{B}F_{q,r}$($\mathrm{B}F_{q}$, respectively) to be the subgroup of $F_{q,r}$($F_{q}$, respectively) consisting of all such transformations $\gamma$ that are boundedly supported, that is, $\operatorname {supp}(\gamma )\subseteq (x,y)$ for some $x,y\in (0,r)\cap {\mathbf{Z}}[1/q]$($x,y\in {\mathbf{Z}}[1/q]$, respectively).
We use the following lemma. The first part of it is a known result Reference 3.
We consider the action of $\mathrm{B}F_q$ on ${\mathbf{Z}}[1/q]$ and its orbits. Let $I\vartriangleleft {\mathbf{Z}}[1/q]$ be the ideal of ${\mathbf{Z}}[1/q]$ generated by $(q-1)$.
As a corollary of the above lemmata we get that groups $F_{q,r}$ satisfy the assumptions of Theorem 1.1.
4. Proximality, primitivity, and double-transitivity
In this section we prove (Theorem 4.1) that proximality (from the previous section) and order-primitivity are equivalent properties for bounded group actions. In general, these properties are inequivalent. The action of the group of integers on itself is primitive but neither proximal nor bounded. We also give an example of bounded, transitive, and proximal action, which is not doubly-transitive (Theorem 4.2).
An action of a group $\Gamma$ on a linearly ordered set $(I,\leq )$ is called primitive (or order-primitive by some authors), if for any other linearly ordered set $(J,\leq )$ and homomorphism $\Psi \colon \Gamma \to \operatorname {Aut}(J,\leq )$ and order-preserving equivariant map $\psi \colon {(I,\leq )} \to (J,\leq )$ (that is, $\psi (\gamma x)=\Psi (\gamma )\psi (x)$), the map $\psi$ is injective or $\psi (I)$ is a singleton.
Clearly, if $\Gamma$ acts proximally on $(I,\leq )$, then it acts in such a way on any orbit. Thus, we will restrict to transitive actions.
Examples of actions we discuss above are doubly-transitive (cf. Lemma 3.3(2) and Remark 3.5). Thus they are proximal. This property seems to be easier to check than double-transitivity. We construct below an example of bounded, transitive, and proximal action, which is not doubly-transitive. The reader may compare this result with a result of Holland Reference 24, Theorem 4, which says that every bounded, transitive, primitive, and closed under $\min$,$\max$ action must be doubly-transitive. Moreover, any group acting boundedly and transitively cannot be finitely generated. Indeed, a finite number of elements have supports in a common bounded interval, thus the whole group is supported in that interval, so does not act transitively.
The element $\sigma _k\in \Gamma _k$ stabilizes $i_k$ and has unbounded orbits on $(i_k,\infty )\subset I_k$. Thus the stabilizer of $i_\infty =\lim i_k$ has unbounded orbits on $(i_\infty ,\infty )\subset I_\infty$. This is enough to conclude that the action is proximal.
5. Extremely proximal actions on a Cantor set and uniform simplicity
The main goal of the present section is prove Theorem 5.1, which gives a criterion for a group acting on a Cantor set to be nine-uniformly simple.
Let $C$ be a Cantor set. Assume that a discrete group $\Gamma$ acts on $C$ by homeomorphisms. By the topological full group${\lBrack \Gamma \rBrack }<\operatorname {Homeo}(C)$ of $\Gamma$ we define (see, e.g., Reference 18)
$$\begin{equation*} {{\lBrack \Gamma \rBrack }}=\left\{g\in \operatorname {Homeo}(C): \begin{array}{@{}l@{}} \text{for each $x\in C$ there exist a neighborhood $U$}\\\text{of $x$ and $\gamma \in \Gamma $ such that $g|_U=\gamma |_U$} \end{array} \right\}. \end{equation*}$$
Throughout this section we assume that:
•
the group $\Gamma$ acts faithfully by homeomorphisms on a Cantor set $C$;
•
$\Gamma$ is a topological full group, i.e., $\Gamma ={\lBrack \Gamma \rBrack }$;
•
the action is extremely proximal, i.e., for any nonempty and proper clopen sets $V_1,V_2\subsetneq C$ there exists $g\in \Gamma$ such that $g(V_2)\subsetneq V_1$.
The second assumption is not hard to satisfy as ${\lBrack \Gamma \rBrack }={\lBrack {\lBrack \Gamma \rBrack }\rBrack }$.
Before proving Theorem 5.1, we need a couple of auxiliary lemmata.
Suppose $x\in C$ and $h\in \Gamma$. By the Hausdorff property of $C$, if $h(x)\neq x$, then there exists a clopen subset $U\subset C$ containing $x$ such that $h(U)\cap U=\varnothing$. In such a situation we define an element $\tau _{h,U}\in \Gamma$ exchanging $U$ and $h(U)$:
Such an element belongs to $\Gamma$, since $\Gamma ={\lBrack \Gamma \rBrack }$ is a topological full group. Observe that $\tau _{h,U}^2=\mathrm{id}$ and $f\tau _{h,U} f^{-1}=\tau _{\vphantom {h}^{f}\!h,f(U)}$ for $f\in \Gamma$.
For any clopen $U\subset C$, let $\Gamma _U$ be the subgroup of $\Gamma$ consisting of elements of $\Gamma$ supported on $U$.
6. Groups almost acting on trees
In this section we apply Theorem 5.1 to groups almost acting on trees.
By a graph (whose elements are called vertices) we mean a set, equipped with a symmetric relation called adjacency. A path is a sequence of vertices indexed either by a set $\{1,\dots ,n\}$ or ${\mathbf{N}}$ (in such a case we call the path a ray) such that consecutive vertices are adjacent, and no vertices whose indices differ by two coincide (i.e., there are no backtracks). A graph is called a tree if it is connected (nonempty) and has no cycles, i.e., paths of positive length starting and ending at the same vertex (in particular, the adjacency relation is irreflexive).
Ends of $T$ are classes of infinite rays in $T$. Two rays are equivalent if they coincide except for some finite (not necessarily of the same cardinality) subsets. The set of all ends of $T$ is denoted by $\partial T$ and is called the boundary of $T$.
Given a pair of adjacent vertices (called an oriented edge) ${\vec{e}}=(v,w)$, we call the set of terminal vertices of paths starting at ${\vec{e}}$ a halftree of $T$ and we will denote it by $T_{\vec{e}}$. The classes of rays starting at ${\vec{e}}$ will be called the end of a halftree $T_{\vec{e}}$ and will be denoted by $\partial T_{\vec{e}} \subset \partial T$. By $-\vec{e}$ we denote the pair $(w,v)$.
We endow $\partial T$ with a topology, where the basis of open sets consists of ends of all halftrees.
A valency of a vertex $v$ is the cardinality of the set of vertices adjacent to $v$. A vertex of valency one is called a leaf. If every vertex has valency at least three but finite, then the boundary $\partial T$ is easily seen to be compact, totally disconnected, without isolated points, and metrizable. Thus, $\partial T$ is a Cantor set. In such a case, every end $\partial T_{\vec{e}}$ of a halftree is a clopen (open and closed) subset of $\partial T$.
A spheromorphism is a class of permutations of $T$ which preserve all but finitely many adjacency (and nonadjacency) relations. Two such maps are equivalent if they differ on a finite set of vertices (see, e.g., Reference 17, Section 3). We denote the group of all spheromorphisms of $T$ by $\operatorname {AAut}(T)$. If $T$ is infinite, then the natural map $\operatorname {Aut}(T)\to \operatorname {AAut}(T)$ is an embedding. Every spheromorphism $f\in \operatorname {AAut}(T)$ induces a homeomorphism of its boundary $\partial T$.
For an integer $q>1$, by $T_q$ we denote the regular tree whose vertices have degree $(q+1)$. The group $N_q$ was introduced by Neretin in Reference 27, 4.5, 3.4 as the group $\operatorname {AAut}(T_q)$ of spheromorphisms of the $(q+1)$-regular tree $T_q$. It is abstractly simple Reference 25.
In what follows, we will be interested in subgroups $\Gamma <\operatorname {Aut}(T)$ acting extremely proximally on the boundary $\partial T$ (see Theorem 6.4 and Corollary 6.7 below). The whole group of automorphisms $\Gamma =\operatorname {Aut}(T_q)$ of $T_q$ is such an example. Another example (cf. Example 6.8) is the automorphism group $\Gamma =\operatorname {Aut}(T_{s,t})$ of a bi-regular tree $T_{s,t}$,$s,t>2$ (i.e., every vertex of $T_{s,t}$ is black or white, every black vertex is adjacent with $s$ white vertices, every white — with $t$ black vertices). We prove that the group ${\lBrack \Gamma \rBrack }$ of partial $\Gamma$-actions on $\partial T$ is then nine-uniformly simple.
The group $\operatorname {Aut}(T_{s,t})$ itself is virtually 8-uniformly simple Reference 19, Theorem 3.2. (Bounded simplicity in Reference 19 means uniform simplicity in our context.)
There is a connection between the notion of a spheromorphism and a topological full group acting on a boundary of a tree.
We call an action for a group $\Gamma$ on a tree $T$minimal if there is no proper $\Gamma$-invariant subtree of $T$. Given a subset $A$ of a tree, we define its convex hull to be the set of all vertices which lie on paths with both ends in the set $A$. It is a subtree. The action is minimal if and only if the convex hull of any orbit is the whole tree.
Indeed, the distance from a $\Gamma$-orbit is a bounded function. Hence the complement of an orbit cannot contain an infinite ray. Thus every vertex lies on a path with endpoints in a given orbit.
We call an action for a group $\Gamma$ on a tree $T$parabolic if $\Gamma$ has a fixed point in $\partial T$.
An action of a group by homeomorphisms on a topological space is called minimal if there is no proper nonempty closed invariant set (equivalently, if every orbit is dense). This notion should not cause confusion with the notion of minimal actions on trees. (A tree is a set equipped with a relation as opposed to its geometric realization which is a topological space.)
Below is an application of Theorems 5.1 and 6.4 to the Neretin groups and the Higman-Thompson groups.
7. Appendix by Nir Lazarovich: Simplicity of $\mathrm{AI}(T_{q})$ and $\mathrm{QI}(T_{q})$
We begin by recalling the following definitions.
For $\lambda \geq 1$ and $K\geq 0$, a $(\lambda ,K)$-quasi-isometry between two metric spaces $(X,d_X)$ and $(Y,d_Y)$ is a map $f\colon X\to Y$ such that for all $x,x' \in X$,
and for all $y\in Y$ there exists $x\in X$ such that $d_Y(y,f(x))\leq K$.
A $K$-almost-isometry is a $(1,K)$-quasi-isometry.
A map $f$ is a quasi-isometry (resp., almost-isometry) if there exist $K$ and $\lambda$ (resp., $K$) for which it is a $(\lambda ,K)$-quasi-isometry (resp., $K$-almost-isometry).
Two quasi-isometries $f_1,f_2\colon X\to Y$ are equivalent if they are at bounded distance (with respect to the supremum metric).
The group of all quasi-isometries (resp., almost-isometries) from a metric space $X$ to itself, up to equivalence, is denoted by $\mathrm{QI}(X)$ (resp., $\mathrm{AI}(X)$). Thus, for $q\geq 2$, we have the following containments:
where the last containment follows from the following lemma.
In fact, the proof above is valid whenever the space $X$ is a proper geodesic Gromov hyperbolic space $X$ which has a Gromov boundary of cardinality at least three whose convex hull is at bounded distance from $X$ (e.g., any nonelementary hyperbolic group).
For what follows, let $\Gamma$ be the group $\mathrm{QI}(T_q)$ or $\mathrm{AI}(T_q)$ for $q\geq 2$.
Acknowledgments
The first author would like to thank Mati Rubin for a fruitful discussion and the Technion — Israel Institute of Technology for hospitality when working on the preliminary version of this paper. The second author would like to thank Hebrew University of Jerusalem for hospitality during the preparation of the paper. The authors gratefully acknowledge the support from the Erwin Schrödinger Institute in Vienna at the final stage of the work, during the meeting “Measured group theory 2016”.
R. D. Anderson, On homeomorphisms as products of conjugates of a given homeomorphism and its inverse, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall, Englewood Cliffs, N.J., 1962, pp. 231–234. MR0139684, Show rawAMSref\bib{MR0139684}{article}{
author={Anderson, R. D.},
title={On homeomorphisms as products of conjugates of a given homeomorphism and its inverse},
conference={ title={Topology of 3-manifolds and related topics}, address={Proc. The Univ. of Georgia Institute}, date={1961}, },
book={ publisher={Prentice-Hall, Englewood Cliffs, N.J.}, },
date={1962},
pages={231--234},
review={\MR {0139684}},
}
Reference [2]
Valery Bardakov, Vladimir Tolstykh, and Vladimir Vershinin, Generating groups by conjugation-invariant sets, J. Algebra Appl. 11 (2012), no. 4, 1250071, 16, DOI 10.1142/S0219498812500715. MR2959420, Show rawAMSref\bib{MR2959420}{article}{
author={Bardakov, Valery},
author={Tolstykh, Vladimir},
author={Vershinin, Vladimir},
title={Generating groups by conjugation-invariant sets},
journal={J. Algebra Appl.},
volume={11},
date={2012},
number={4},
pages={1250071, 16},
issn={0219-4988},
review={\MR {2959420}},
doi={10.1142/S0219498812500715},
}
Reference [3]
Robert Bieri and Ralph Strebel, On groups of PL-homeomorphisms of the real line, Mathematical Surveys and Monographs, vol. 215, American Mathematical Society, Providence, RI, 2016. MR3560537, Show rawAMSref\bib{MR3560537}{book}{
author={Bieri, Robert},
author={Strebel, Ralph},
title={On groups of PL-homeomorphisms of the real line},
series={Mathematical Surveys and Monographs},
volume={215},
publisher={American Mathematical Society, Providence, RI},
date={2016},
pages={xvii+174},
isbn={978-1-4704-2901-0},
review={\MR {3560537}},
}
Reference [4]
Martin R. Bridson and André Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999, DOI 10.1007/978-3-662-12494-9. MR1744486, Show rawAMSref\bib{MR1744486}{book}{
author={Bridson, Martin R.},
author={Haefliger, Andr\'e},
title={Metric spaces of non-positive curvature},
series={Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]},
volume={319},
publisher={Springer-Verlag, Berlin},
date={1999},
pages={xxii+643},
isbn={3-540-64324-9},
review={\MR {1744486}},
doi={10.1007/978-3-662-12494-9},
}
Reference [5]
Kenneth S. Brown, Finiteness properties of groups, Proceedings of the Northwestern conference on cohomology of groups (Evanston, Ill., 1985), J. Pure Appl. Algebra 44 (1987), no. 1-3, 45–75, DOI 10.1016/0022-4049(87)90015-6. MR885095, Show rawAMSref\bib{MR885095}{article}{
author={Brown, Kenneth S.},
title={Finiteness properties of groups},
booktitle={Proceedings of the Northwestern conference on cohomology of groups (Evanston, Ill., 1985)},
journal={J. Pure Appl. Algebra},
volume={44},
date={1987},
number={1-3},
pages={45--75},
issn={0022-4049},
review={\MR {885095}},
doi={10.1016/0022-4049(87)90015-6},
}
Reference [6]
Dmitri Burago and Sergei Ivanov, A remark on the group of PL-homeomorphisms in dimension one, Geometric and probabilistic structures in dynamics, Contemp. Math., vol. 469, Amer. Math. Soc., Providence, RI, 2008, pp. 141–148, DOI 10.1090/conm/469/09164. MR2478468, Show rawAMSref\bib{MR2478468}{article}{
author={Burago, Dmitri},
author={Ivanov, Sergei},
title={A remark on the group of PL-homeomorphisms in dimension one},
conference={ title={Geometric and probabilistic structures in dynamics}, },
book={ series={Contemp. Math.}, volume={469}, publisher={Amer. Math. Soc., Providence, RI}, },
date={2008},
pages={141--148},
review={\MR {2478468}},
doi={10.1090/conm/469/09164},
}
Reference [7]
Dmitri Burago, Sergei Ivanov, and Leonid Polterovich, Conjugation-invariant norms on groups of geometric origin, Groups of diffeomorphisms, Adv. Stud. Pure Math., vol. 52, Math. Soc. Japan, Tokyo, 2008, pp. 221–250. MR2509711, Show rawAMSref\bib{MR2509711}{article}{
author={Burago, Dmitri},
author={Ivanov, Sergei},
author={Polterovich, Leonid},
title={Conjugation-invariant norms on groups of geometric origin},
conference={ title={Groups of diffeomorphisms}, },
book={ series={Adv. Stud. Pure Math.}, volume={52}, publisher={Math. Soc. Japan, Tokyo}, },
date={2008},
pages={221--250},
review={\MR {2509711}},
}
Reference [8]
Marc Burger and Shahar Mozes, Groups acting on trees: from local to global structure, Inst. Hautes Études Sci. Publ. Math. 92 (2000), 113–150 (2001). MR1839488, Show rawAMSref\bib{MR1839488}{article}{
author={Burger, Marc},
author={Mozes, Shahar},
title={Groups acting on trees: from local to global structure},
journal={Inst. Hautes \'Etudes Sci. Publ. Math.},
number={92},
date={2000},
pages={113--150 (2001)},
issn={0073-8301},
review={\MR {1839488}},
}
Reference [9]
Danny Calegari, Stable commutator length in subgroups of ${\mathrm{PL}}^+(I)$, Pacific J. Math. 232 (2007), no. 2, 257–262, DOI 10.2140/pjm.2007.232.257. MR2366352, Show rawAMSref\bib{MR2366352}{article}{
author={Calegari, Danny},
title={Stable commutator length in subgroups of ${\rm PL}^+(I)$},
journal={Pacific J. Math.},
volume={232},
date={2007},
number={2},
pages={257--262},
issn={0030-8730},
review={\MR {2366352}},
doi={10.2140/pjm.2007.232.257},
}
Reference [10]
Pierre-Emmanuel Caprace, Automorphism groups of right-angled buildings: simplicity and local splittings, Fund. Math. 224 (2014), no. 1, 17–51, DOI 10.4064/fm224-1-2. MR3164745, Show rawAMSref\bib{MR3164745}{article}{
author={Caprace, Pierre-Emmanuel},
title={Automorphism groups of right-angled buildings: simplicity and local splittings},
journal={Fund. Math.},
volume={224},
date={2014},
number={1},
pages={17--51},
issn={0016-2736},
review={\MR {3164745}},
doi={10.4064/fm224-1-2},
}
Reference [11]
Pierre-Emmanuel Caprace and Koji Fujiwara, Rank-one isometries of buildings and quasi-morphisms of Kac-Moody groups, Geom. Funct. Anal. 19 (2010), no. 5, 1296–1319, DOI 10.1007/s00039-009-0042-2. MR2585575, Show rawAMSref\bib{MR2585575}{article}{
author={Caprace, Pierre-Emmanuel},
author={Fujiwara, Koji},
title={Rank-one isometries of buildings and quasi-morphisms of Kac-Moody groups},
journal={Geom. Funct. Anal.},
volume={19},
date={2010},
number={5},
pages={1296--1319},
issn={1016-443X},
review={\MR {2585575}},
doi={10.1007/s00039-009-0042-2},
}
Reference [12]
C. G. Chehata, An algebraically simple ordered group, Proc. London Math. Soc. (3) 2 (1952), 183–197, DOI 10.1112/plms/s3-2.1.183. MR0047031, Show rawAMSref\bib{MR0047031}{article}{
author={Chehata, C. G.},
title={An algebraically simple ordered group},
journal={Proc. London Math. Soc. (3)},
volume={2},
date={1952},
pages={183--197},
issn={0024-6115},
review={\MR {0047031}},
doi={10.1112/plms/s3-2.1.183},
}
Reference [13]
Manfred Droste and R. M. Shortt, Commutators in groups of order-preserving permutations, Glasgow Math. J. 33 (1991), no. 1, 55–59, DOI 10.1017/S001708950000803X. MR1089954, Show rawAMSref\bib{MR1089954}{article}{
author={Droste, Manfred},
author={Shortt, R. M.},
title={Commutators in groups of order-preserving permutations},
journal={Glasgow Math. J.},
volume={33},
date={1991},
number={1},
pages={55--59},
issn={0017-0895},
review={\MR {1089954}},
doi={10.1017/S001708950000803X},
}
Reference [14]
Gábor Elek and Endre Szabó, Hyperlinearity, essentially free actions and $L^2$-invariants. The sofic property, Math. Ann. 332 (2005), no. 2, 421–441, DOI 10.1007/s00208-005-0640-8. MR2178069, Show rawAMSref\bib{MR2178069}{article}{
author={Elek, G\'abor},
author={Szab\'o, Endre},
title={Hyperlinearity, essentially free actions and $L^2$-invariants. The sofic property},
journal={Math. Ann.},
volume={332},
date={2005},
number={2},
pages={421--441},
issn={0025-5831},
review={\MR {2178069}},
doi={10.1007/s00208-005-0640-8},
}
Reference [15]
Erich W. Ellers, Nikolai Gordeev, and Marcel Herzog, Covering numbers for Chevalley groups, Israel J. Math. 111 (1999), 339–372, DOI 10.1007/BF02810691. MR1710745, Show rawAMSref\bib{MR1710745}{article}{
author={Ellers, Erich W.},
author={Gordeev, Nikolai},
author={Herzog, Marcel},
title={Covering numbers for Chevalley groups},
journal={Israel J. Math.},
volume={111},
date={1999},
pages={339--372},
issn={0021-2172},
review={\MR {1710745}},
doi={10.1007/BF02810691},
}
Reference [16]
Światosław R. Gal and Jarek Kedra, On bi-invariant word metrics, J. Topol. Anal. 3 (2011), no. 2, 161–175, DOI 10.1142/S1793525311000556. MR2819193, Show rawAMSref\bib{MR2819193}{article}{
author={Gal, \'Swiatos\l aw R.},
author={Kedra, Jarek},
title={On bi-invariant word metrics},
journal={J. Topol. Anal.},
volume={3},
date={2011},
number={2},
pages={161--175},
issn={1793-5253},
review={\MR {2819193}},
doi={10.1142/S1793525311000556},
}
Reference [17]
L. Garncarek and N. Lazarovich, The Neretin groups, arXiv:1502.00991v2, 2015.
Reference [18]
Thierry Giordano, Ian F. Putnam, and Christian F. Skau, Full groups of Cantor minimal systems, Israel J. Math. 111 (1999), 285–320, DOI 10.1007/BF02810689. MR1710743, Show rawAMSref\bib{MR1710743}{article}{
author={Giordano, Thierry},
author={Putnam, Ian F.},
author={Skau, Christian F.},
title={Full groups of Cantor minimal systems},
journal={Israel J. Math.},
volume={111},
date={1999},
pages={285--320},
issn={0021-2172},
review={\MR {1710743}},
doi={10.1007/BF02810689},
}
Reference [19]
Jakub Gismatullin, Boundedly simple groups of automorphisms of trees, J. Algebra 392 (2013), 226–243, DOI 10.1016/j.jalgebra.2013.06.023. MR3085032, Show rawAMSref\bib{MR3085032}{article}{
author={Gismatullin, Jakub},
title={Boundedly simple groups of automorphisms of trees},
journal={J. Algebra},
volume={392},
date={2013},
pages={226--243},
issn={0021-8693},
review={\MR {3085032}},
doi={10.1016/j.jalgebra.2013.06.023},
}
Reference [20]
Shmuel Glasner, Topological dynamics and group theory, Trans. Amer. Math. Soc. 187 (1974), 327–334, DOI 10.2307/1997056. MR0336723, Show rawAMSref\bib{MR0336723}{article}{
author={Glasner, Shmuel},
title={Topological dynamics and group theory},
journal={Trans. Amer. Math. Soc.},
volume={187},
date={1974},
pages={327--334},
issn={0002-9947},
review={\MR {0336723}},
doi={10.2307/1997056},
}
Reference [21]
Shmuel Glasner, Proximal flows, Lecture Notes in Mathematics, Vol. 517, Springer-Verlag, Berlin-New York, 1976. MR0474243, Show rawAMSref\bib{MR0474243}{book}{
author={Glasner, Shmuel},
title={Proximal flows},
series={Lecture Notes in Mathematics, Vol. 517},
publisher={Springer-Verlag, Berlin-New York},
date={1976},
pages={viii+153},
review={\MR {0474243}},
}
Reference [22]
Nikolai Gordeev and Jan Saxl, Products of conjugacy classes in Chevalley groups. I. Extended covering numbers, Israel J. Math. 130 (2002), 207–248, DOI 10.1007/BF02764077. MR1919378, Show rawAMSref\bib{MR1919378}{article}{
author={Gordeev, Nikolai},
author={Saxl, Jan},
title={Products of conjugacy classes in Chevalley groups. I. Extended covering numbers},
journal={Israel J. Math.},
volume={130},
date={2002},
pages={207--248},
issn={0021-2172},
review={\MR {1919378}},
doi={10.1007/BF02764077},
}
Reference [23]
N. L. Gordeev, Products of conjugacy classes in algebraic groups. I, II, J. Algebra 173 (1995), no. 3, 715–744, 745–779, DOI 10.1006/jabr.1995.1111. MR1327877, Show rawAMSref\bib{MR1327877}{article}{
author={Gordeev, N. L.},
title={Products of conjugacy classes in algebraic groups. I, II},
journal={J. Algebra},
volume={173},
date={1995},
number={3},
pages={715--744, 745--779},
issn={0021-8693},
review={\MR {1327877}},
doi={10.1006/jabr.1995.1111},
}
Reference [24]
Charles Holland, Transitive lattice-ordered permutation groups, Math. Z. 87 (1965), 420–433, DOI 10.1007/BF01111722. MR0178052, Show rawAMSref\bib{MR0178052}{article}{
author={Holland, Charles},
title={Transitive lattice-ordered permutation groups},
journal={Math. Z.},
volume={87},
date={1965},
pages={420--433},
issn={0025-5874},
review={\MR {0178052}},
doi={10.1007/BF01111722},
}
Reference [25]
Christophe Kapoudjian, Simplicity of Neretin’s group of spheromorphisms, Ann. Inst. Fourier (Grenoble) 49 (1999), no. 4, 1225–1240. MR1703086, Show rawAMSref\bib{MR1703086}{article}{
author={Kapoudjian, Christophe},
title={Simplicity of Neretin's group of spheromorphisms},
journal={Ann. Inst. Fourier (Grenoble)},
volume={49},
date={1999},
number={4},
pages={1225--1240},
issn={0373-0956},
review={\MR {1703086}},
}
Reference [26]
Stephen H. McCleary, Lattice-ordered permutation groups: the structure theory, Ordered groups and infinite permutation groups, Math. Appl., vol. 354, Kluwer Acad. Publ., Dordrecht, 1996, pp. 29–62. MR1486196, Show rawAMSref\bib{MR1486196}{article}{
author={McCleary, Stephen H.},
title={Lattice-ordered permutation groups: the structure theory},
conference={ title={Ordered groups and infinite permutation groups}, },
book={ series={Math. Appl.}, volume={354}, publisher={Kluwer Acad. Publ., Dordrecht}, },
date={1996},
pages={29--62},
review={\MR {1486196}},
}
Reference [27]
Yu. A. Neretin, Combinatorial analogues of the group of diffeomorphisms of the circle, Izv. Ross. Akad. Nauk Ser. Mat. 56 (1992), no. 5, 1072–1085, DOI 10.1070/IM1993v041n02ABEH002264; English transl., Russian Acad. Sci. Izv. Math. 41 (1993), no. 2, 337–349. MR1209033, Show rawAMSref\bib{MR1209033}{article}{
author={Neretin, Yu. A.},
title={Combinatorial analogues of the group of diffeomorphisms of the circle},
journal={Izv. Ross. Akad. Nauk Ser. Mat.},
volume={56},
date={1992},
number={5},
pages={1072--1085},
issn={1607-0046},
translation={ journal={Russian Acad. Sci. Izv. Math.}, volume={41}, date={1993}, number={2}, pages={337--349}, issn={1064-5632}, },
review={\MR {1209033}},
doi={10.1070/IM1993v041n02ABEH002264},
}
Reference [28]
Jacques Tits, Sur le groupe des automorphismes d’un arbre, Essays on topology and related topics (Mémoires dédiés à Georges de Rham), Springer, New York, 1970, pp. 188–211. MR0299534, Show rawAMSref\bib{MR0299534}{article}{
author={Tits, Jacques},
title={Sur le groupe des automorphismes d'un arbre},
conference={ title={Essays on topology and related topics (M\'emoires d\'edi\'es \`a Georges de Rham)}, },
book={ publisher={Springer, New York}, },
date={1970},
pages={188--211},
review={\MR {0299534}},
}
Instytut Matematyczny, Uniwersytetu Wrocławskiego, pl. Grunwaldzki 2/4, 50-384 Wrocław, Poland – and – Weizmann Institute of Science, Rehovot 76100, Israel
Instytut Matematyczny, Uniwersytetu Wrocławskiego, pl. Grunwaldzki 2/4, 50-384 Wrocław, Poland – and – Instytut Matematyczny, Polskiej Akademii Nauk, ul. Śniadeckich 8, 00-656 Warszawa, Poland
The research leading to these results has received funding from the European Research Council under the European Unions Seventh Framework Programme (FP7/2007-2013)/ERC Grant Agreement No. 291111. The first author partially supported by Polish National Science Center (NCN) grant 2012/06/A/ST1/00259 and the European Research Council grant No. 306706.
The second author is partially supported by the NCN grants 2014/13/D/ST1/03491, 2012/07/B/ST1/03513.
Show rawAMSref\bib{3693109}{article}{
author={Gal, \'Swiatos\l aw},
author={Gismatullin, Jakub},
title={Uniform simplicity of groups with proximal action},
journal={Trans. Amer. Math. Soc. Ser. B},
volume={4},
number={5},
date={2017},
pages={110-130},
issn={2330-0000},
review={3693109},
doi={10.1090/btran/18},
}
Settings
Change font size
Resize article panel
Enable equation enrichment
(Not available in this browser)
Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.