Automorphism towers of groups of homeomorphisms of Cantor space
Feyishayo Olukoya
备注：
11 pages; significant changes to improve readability and correct typos; main result proved in a more general context. The author is very grateful to anonymous referees for their comments on early drafts
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 Thompson's group $T$, and generalisations of Thompson's group $F$.
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 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…
We build actions of Thompson group V (related to the Cantor set) and of the so-called "spheromorphism" group of Neretin, on "towers" of moduli spaces of genus zero real stable curves. The latter consist of inductive limits of spaces which are the real parts of the Grothendieck-Knudsen compactification of the usual moduli spaces of punctured Riemann spheres. By a result of M. Davis, T. Januszkiewicz and R. Scott, these spaces are aspherical cubical complexes, whose fundamental groups, the "pure quasi-braid groups", are some analogues of the classical pure braid groups. By lifting the actions of…
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]).
First, we answer a question of Pestov, by proving that the full group of a sofic equivalence relation is a sofic group. Then, we give a short proof of the theorem of Grigorchuk and Medynets that the topological full group of a minimal Cantor homeomorphism is LEF. Finally, we show that for certain non-amenable groups all the generalized lamplighter groups are sofic.
We present the characterization of metric spaces that are micro-, macro- or bi-uniformly equivalent to the extended Cantor set $\{\sum_{i=-n}^\infty\frac{2x_i}{3^i}:n\in\IN ,\;(x_i)_{i\in\IZ}\in\{0,1\}^\IZ\}\subset\IR$, which is bi-uniformly equivalent to the Cantor bi-cube $2^{<\IZ}=\{(x_i)_{i\in\IZ}\in \{0,1\}^\IZ:\exists n\;\forall i\ge n\;x_i=0\}$ endowed with the metric $d((x_i),(y_i))=\max_{i\in\IZ}2^i|x_i-y_i|$. Those characterizations imply that any two (uncountable) proper isometrically homogeneous ultrametric spaces are coarsely (and bi-uniformly) equivalent. This implies that any tw…
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 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…
The groups $dV_n$ are an infinite family of groups, first introduced by C. Martínez-Pérez, F. Matucci and B. E. A. Nucinkis, which includes both the Higman-Thompson groups $V_n(=1V_n)$ and the Brin-Thompson groups $nV(=nV_2)$. A description of the groups $\operatorname{Aut}(G_{n, r})$ (including the groups $G_{n,1}=V_n$) has previously been given by C. Bleak, P. Cameron, Y. Maissel, A. Navas, and F. Olukoya. Their description uses the transducer representations of homeomorphisms of Cantor space introduced a paper of R. I. Grigorchuk, V. V. Nekrashevich, and V. I. Sushchanskii, together with a …
In this work we exhibit flexibility phenomena for some (countable) groups acting by order preserving homeomorphisms of the line. More precisely, we show that if a left orderable group admits an amalgam decomposition of the form $G=\mathbb{F}_n*_{\mathbb Z} \mathbb{F}_m$ where $n+m\geq 3$, then every faithful action of $G$ on the line by order preserving homeomorphisms can be approximated by another action (without global fixed points) that is not semi-conjugated to the initial action. We deduce that $\mathcal{LO}(G)$, the space of left orders of $G$, is a Cantor set. In the special case where …
We show that amenability of a group acting by homeomorphisms can be deduced from a certain local property of the action and recurrency of the orbital Schreier graphs. This covers amenability of a wide class groups, the amenability of which was an open problem, as well as unifies many known examples to one general proof. In particular, this includes Grigorchuk's group, Basilica group, the full topological group of Cantor minimal system, groups acting on rooted trees by bounded automorphisms, groups generated by finite automata of linear activity growth, groups that naturally appear in holomorph…
We initiate the study of a measurable analogue of small topological full groups that we call $\mathrm L^1$ full groups. These groups are endowed with a Polish group topology which admits a natural complete right invariant metric. We mostly focus on $\mathrm L^1$ full groups of measure-preserving $\mathbb Z$-actions which are actually a complete invariant of flip conjugacy. We prove that for ergodic actions the closure of the derived group is topologically simple although it can fail to be simple. We also show that the closure of the derived group is connected, and that for measure-preserving f…
