Let $\mathfrak{C}$ be some Cantor space. We study groups of homeomorphisms of $\mathfrak{C}$ which are vigorous, or, which are flawless, where we introduce both of these terms here.
We say a group $G\leq \operatorname{Homeo}(\mathfrak{C})$ is $vigorous$ if for any clopen set $A$ and proper clopen subsets $B$ and $C$ of $A$ there is $γ\in G$ in the pointwise-stabiliser of $\mathfrak{C}\backslash A$ with $Bγ\subseteq C$. Being vigorous is similar in impact to some of the conditions proposed by Epstein in his proof that certain groups of homeomorphisms of spaces have simple commutator subgroups (and/or related conditions, as proposed in some of the work of Matui or of Ling).
A non-trivial group $G\leq \operatorname{Homeo}(\mathfrak{C})$ is $flawless$ if for all $k$ and $w$ a non-trivial freely reduced product expression on $k$ variables (including inverse symbols), a particular subgroup $w(G)_\circ$ of the verbal subgroup $w(G)$ is the whole group. It is true, for instance, that flawless groups are both perfect and lawless.
We show: 1) simple vigorous groups are either two-generated by torsion elements, or not finitely generated, 2) vigorous groups are simple if and only if they are flawless, and, 3) the class of vigorous simple subgroups of $\operatorname{Homeo}(\mathfrak{C})$ is fairly broad (it contains many well known groups such as the commutator subgroups of the Higman-Thompson groups $G_{n,r}$, the Brin-Thompson groups $nV$, Röver's group $V(Γ)$, and others of Nekrashevych's `simple groups of dynamical origin', and, the class is closed under various natural constructions).
We describe a self-homeomorphism $R$ of the Cantor set $X$ and then show that its conjugacy class in the Polish group $H(X)$ of all homeomorphisms of $X$ forms a dense $G_δ$ subset of $H(X)$. We also provide an example of a locally compact, second countable topological group which has a dense conjugacy class.
We show that for any full and sufficiently transitive (i.e. \textit{flexible}) group $G$ of homeomorphisms of Cantor space, $\mathrm{Aut}(\mathrm{Aut}(G)) = \mathrm{Aut}(G)$. This class contains many generalisations of the Higman-Thompson groups $G_{n,r}$, and the Rational group $\mathcal{R}_{2}$ of Grigorchuk, Nekrashevych, and Suchanski{\u ı}. We also demonstrate that for generalisations $T_{n,r}$ of R. Thompson's group $T$, $\mathrm{Aut}(\mathrm{Aut}(T_{n,r}))= \mathrm{Aut}(T_{n,r})$. In the case of the groups $G_{n,r}$ and $T_{n,r}$ our results extend results of Brin and Guzm{\' a}n for Th…
We continue to study topological properties of the group Homeo(X) of all homeomorphisms of a Cantor set X with respect to the uniform topology tau, which was started in the paper (S. Bezuglyi, A.H. Dooley, and J. Kwiatkowski, Topologies on the group of homeomorphisms of a Cantor set, ArXiv e-print math.DS/0410507, 2004). We prove that the set of periodic homeomorphisms is tau-dense in Homeo(X) and deduce from this result that the topological group (Homeo(X), tau) has the Rokhlin property, i.e., there exists a homeomorphism whose conjugate class is tau-dense in Homeo(X). We also show that for a…
We show that the group of homeomorphisms of the Cantor set $H(K)$ has ample generics, that is, for every $m$ the diagonal conjugacy action $g\cdot(h_1,h_2,..., h_m)=(gh_1g^{-1},gh_2g^{-1},..., gh_mg^{-1})$ of $H(K)$ on $H(K)^m$ has a comeager orbit. This answers a question of Kechris and Rosendal. We show that the generic tuple in $H(K)^m$ can be taken to be the limit of a certain projective Fraisse family. We also present a proof of the existence of the generic homeomorphism of the Cantor set in the context of the projective Fraisse theory.
We describe subgroups and overgroups of the generalised Thompson groups $V_n$ which arise via conjugation by rational homeomorphisms of Cantor space. We specifically consider conjugating $V_n$ by homeomorphisms induced by synchronizing transducers and their inverses. Our descriptions of the subgroups and overgroups use properties of the conjugating transducer to either restrict or augment the action of $V_n$ on Cantor space.
A generalization of the double commutator lemma for normal subgroups is shown for invariant random subgroups of a countable group acting faithfully on a Hausdorff space. As an application, we classify ergodic invariant random subgroups of topological full groups of Cantor minimal $\mathbb{Z}^{d}$-systems. Another corollary is that for an ergodic invariant random subgroup of a branch group, a.e. subgroup $H$ must contain derived subgroups of certain rigid stabilizers. Such results can be applied towards classification of invariant random subgroups of Grigorchuk groups.
Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal chains on X introduced by Uspenskij. If X is metrizable then clearly X is homeomorphic to the Cantor set and the result was already known (Glasner-Weiss 2003). However many new examples arise for non-metrizable spaces. These include, among others, the generalized Cantor sets X={0,1}^{kappa} for non-countable cardinals kappa, and the corona or remainder of omega, …
In this note, we prove that the compactly supported mapping class group of a surface containing a genus $3$ subsurface has no realization as a subgroup of the homeomorphism group. We also prove that for certain surfaces with order $6$ symmetries, their mapping class groups have no realization as a subgroup of the homeomorphism group. Examples of such surfaces include the plane minus a Cantor set and the sphere minus a Cantor set.
We study the bounded cohomology of certain groups acting on the Cantor set. More specifically, we consider the full group of homeomorphisms of the Cantor set as well as Thompson's group $V$. We prove that both of these groups are boundedly acyclic, that is the bounded cohomology with trivial real coefficients vanishes in positive degrees. Combining this result with the already established $\mathbb{Z}$-acyclicity of Thompson's group $V$, will make $V$ the first example of a finitely generated group, in fact the first example of a group of type $F_\infty$, which is universally boundedly acyclic.…
We construct a "higher dimensional" version 2V of Thompson's group V. Like V it is an infinite, finitely presented, simple subgroup of the homeomorphism group of the Cantor set, but we show that it is not isomorphic to V by showing that the actions on the Cantor set are not topologically conjugate: 2V has an element with "chaotic" action, while V cannot have such an element. A theorem of Rubin is then applied which shows that for these two groups, isomorphism would imply topological conjugacy.
Given a group $G$ of homeomorphism of a first-countable Hausdorff space $\mathcal{X}$, we prove that if the action of $G$ on $\mathcal{X}$ is minimal and has rigid stabilisers that act locally minimally, then the neighbourhood stabilisers of any two points in $\mathcal{X}$ are conjugated by a homeomorphism of $\mathcal{X}$. This allows us to study stabilisers of points in many classes of groups, such as topological full groups of Cantor minimal systems, Thompson groups, branch groups, and groups acting on trees with almost prescribed local actions.
We carry out the Cantor-Bendixson analysis of the space of all subgroups of any countable abelian group and we deduce a complete classification of such spaces up to homeomorphism.
The Thompson group V is a subgroup of the homeomorphism group of the Cantor set. Brin defined higher dimensional Thompson groups nV as generalizations of V. We prove that nV has Serre's property FA, for every n. This is a generalization of the corresponding result of Farley, who studied V.
The Lodha-Moore group $G$ first arose as a finitely presented counterexample to von Neumann's conjecture. The group $G$ acts on the unit interval via piecewise projective homemorphisms. A result of Lodha shows that $G$ in fact has type $F_{\infty}$. Here we will describe $G$ as a group that is "locally determined" by an inverse semigroup $S_{2}$, in the sense of the author's joint work with Hughes. The semigroup $S_{2}$ is generated by three linear fractional transformations $A$, $B$, and $C_{2}$, where $A$ and $B$ are elliptical transformations of the hyperbolic plane and $C_{2}$ is a hyperbo…
Let K be a Cantor set embedded in the real line R. Following Funar and Neretin, we define the diffeomorphism group of K as the group of homeomorphisms of K which locally look like a diffeomorphism between two intervals of R. Higman-Thompson's groups Vn appear as subgroups of such groups. In this article, we prove some properties of this group. First, we study the Burnside problem in this group and we prove that any finitely generated subgroup consisting of finite order elements is finite. This property was already proved by Rover in the case of the groups Vn. We also prove that any finitely ge…
In his papers [2], [3] Brin introduced the higher dimensional Thompson groups nV which are generalizations to the Thompson's group V of self-homeomorphisms of the Cantor set and found a finite set of generators and relations in the case n = 2. We show how to generalize his construction to obtain a finite presentation for every positive integer n. As a corollary, we obtain another proof that the groups nV are simple (first proved by Brin in [4]).
We describe, through the use of Rubin's theorem, the automorphism groups of the Higman-Thompson groups $G_{n,r}$ as groups of specific homeomorphisms of Cantor spaces $\mathfrak{C}_{n,r}$. This continues a thread of research begun by Brin, and extended later by Brin and Guzmán: to characterise the automorphism groups of the `Chameleon groups of Richard Thompson,' as Brin referred to them in 1996. The work here completes the first stage of that twenty-year-old program, containing (amongst other things) a characterisation of the automorphism group of $V$, which was the `last chameleon.' The home…
We show that the (topological) full group of a minimal pseudogroup over the Cantor set satisfies various rigidity phenomena of topological dynamical and combinatorial nature. Our main result applies to its possible homomorphisms into other groups of homeomorphisms, and implies that arbitrary homomorphisms between the full groups of a vast class of pseudogroups must extend to continuous morphisms between pseudogroups (in particular giving rise to equivariant maps at the level of spaces). As applications, we obtain explicit obstructions to the existence of embeddings between full groups in terms…
We prove that no subgroup of the group of boundary-fixing homeomorphisms of a compact surface whose action on the interior of the surface is sufficiently transitive can be Roelcke precompact with the topology inherited from the compact-open topology.
In this paper, we investigate an equivariant homeomorphism of the boundaries $\partial X$ and $\partial Y$ of two proper CAT(0) spaces $X$ and $Y$ on which a CAT(0) group $G$ acts geometrically. We provide a sufficient condition to obtain a $G$-equivariant homeomorphism of the two boundaries $\partial X$ and $\partial Y$ as a continuous extension of the quasi-isometry $ϕ:Gx_0\to Gy_0$ defined by $ϕ(gx_0)=gy_0$, where $x_0\in X$ and $y_0\in Y$.
This paper allows one to obtain a criterion for the existence of a projectively invariant measure formulated in terms of combinatorial properties of a group (amenability of some canonical quotient group). Such necessary and sufficient condition is a basis of the classification scheme for groups of homeomorphisms of the line. In particular, a nonamenability of Thompson's group $F$ follows from the obtained criterion.
For a certain class of groups of piecewise linear homeomorphisms of the interval, we prove that they admit no sufficiently regular faithful action on the line. Building on previous work of Brum, Matte Bon, Rivas, and the author [arXiv:2104.14678], the new ingredient is an observation from a recent work of Hyde and Tatch Moore [arXiv:2103.14911], which allows to reduce the problem to the case of the circle, and then apply Herman-Yoccoz theory.
We show that conjugacy of reversible cellular automata is undecidable, whether the conjugacy is to be performed by another reversible cellular automaton or by a general homeomorphism. This gives rise to a new family of finitely-generated groups with undecidable conjugacy problems, whose descriptions arguably do not involve any type of computation. For many automorphism groups of subshifts, as well as the group of asynchronous transducers and the homeomorphism group of the Cantor set, our result implies the existence of two elements such that every finitely-generated subgroup containing both ha…
