Search arXivSearch

arXiv · 2407.18720

Automorphisms of the two-sided shift and the Higman--Thompson groups III: extensions

Abstract

We aim to interpret important constructions in the theory of automorphisms of the shift dynamical system in terms of subgroups $\mathcal{L}_{n,r}$ of the outer-automorphism groups $\mathcal{O}_{n,r}$ of the Higman--Thompson group $G_{n,r}$, and to extend results and techniques in $\operatorname{Aut}(X_n^{\mathbb{Z}}, σ_{n})$ to the groups of automorphisms $\operatorname{Aut}(G_{n,r})$ and outerautomrphisms of the Higman--Thompson group $G_{n,r}$. Our mains results are a concrete realisation of the "inert subgroup", important subgroup in the study of automorphism groups of shift spaces, as a subgroup $\mathcal{K}_{n}$ of $\mathcal{L}_{n,n-1}$. Using this realisation, we show that the $\operatorname{Aut}(G_{n,r})$ contains an isomorphic copy of $\operatorname{Aut}(X_{m}^{\mathbb{Z}}, σ_{m})$ for all $m \ge 2$. A survey of the literature then yields that $\operatorname{Aut}(G_{n,r})$ contains isomorphic copies of finite groups, finitely generated abelian groups, free groups, free products of finite groups, fundamental groups of 2-manifolds, graph groups and countable locally finite residually finite groups to name a few. We extend a result for $\operatorname{Aut}(X_n^{\mathbb{Z}}, σ_{n})$ to the group $\mathcal{O}_{n,n-1}$. The homeomorphism $\overleftarrow{\phantom{a}}$ of $X_n^{\mathbb{Z}}$ which maps a sequence $(x_i)_{i \in \mathbb{Z}}$ to the sequence $(y_{i})_{i \in \mathbb{Z}}$ defined such that $y_{i} = x_{-i}$ induces an automorphism $\overleftarrow{\mathfrak{r}}$ of $\operatorname{Aut}(X_n^{\mathbb{Z}}, σ_{n})$, and consequently, an automorphism of $\mathcal{L}_{n}$. We extend the automorphism $\overleftarrow{\mathfrak{r}}$ to the group $\mathcal{O}_{n,n-1}$. In a forthcoming article, we demonstrate that the group $\mathcal{O}_{n}$ is isomorphic to the mapping class group of the full two-sided shift over $n$ letters.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Feyishayo Olukoya. 2024-07-26. Automorphisms of the two-sided shift and the Higman--Thompson groups III: extensions. https://arxiv.org/abs/2407.18720

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On commensurators of free groups and free pro-p groups

We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a question of Lubotzky. On the other hand, we exhibit a family of easy-to-define finitely generated subgroups of $Comm(F)$ and show that some groups in this family are simple. For a prime $p$, we also consider the p-commensurator $Comm_p(F)$, which is the commensurator of $F$ viewed as a group with pro-$p$ topology. By contrast with $Comm(F)$, we prove that $Comm_p(F)$ has a simple subgroup of index at most 2. Further, while the isomorphism class of $Comm(F)$ does not depend on the rank of $F$, we prove that the isomorphism class of $Comm_p(F)$ depends on the rank of $F$ and determine the exact dependency. If $\mathbf F$ is the pro-$p$ completion of $F$ (which is a free pro-$p$ group), $Comm(\mathbf F)$ is a totally disconnected locally compact (tdlc) group containing $\mathbf F$ as an open subgroup. We use $Comm_p(F)$ to construct an abstractly simple subgroup of $Comm(\mathbf F)$ containing $\mathbf F$ as well as a family of non-discrete tdlc groups which are compactly generated and simple.

math.GR

Asymmetry of $\ell^{2}$-cohomology via skewed Følner geometry

We study the two $\ell^{2}$-Dirichlet structures on a countable group $G$ arising from the left and right regular actions on $\mathbb{R}^{G}$. Although the two regular representations are unitarily equivalent, their $\ell^{2}$-Dirichlet subspaces of $\mathbb{R}^{G}$ need not coincide. Our main result gives a complete classification of this asymmetry for countable amenable groups: $$\mathcal{D}_{2}\left(G,λ\right)=\mathcal{D}_{2}\left(G,ρ\right)\quad\Longleftrightarrow\quad G \text{ is an FC-group}.$$ The proof is based on a skewed Følner-geometric mechanism, called a left scheme, combining summability of left boundaries with displacement under a right translation. We develop this mechanism generally, and demonstrate it concretely in the Heisenberg group and amenable wreath products over $\mathbb{Z}$. We also show that this mechanism has a dynamical counterpart in the theory of nonsingular Bernoulli shifts: every countable amenable group that is not an FC-group admits Bernoulli schemes whose left shift is nonsingular, conservative and weakly mixing, whereas the right shift by some element is singular.

math.GR

Analogues of Sylow's first theorem, Cauchy's theorem, and Hall's theorem for skew braces

We establish an unconditional analogue of Sylow's first theorem for finite skew braces, and deduce an analogue of Cauchy's theorem. We also prove an analogue of the existence part of Hall's theorem for finite skew braces with soluble additive and multiplicative groups. We make some observations regarding the number of Sylow subskew braces of a skew brace in various cases. By applying these results we streamline the classification of skew braces of order $ pq $, where $ p,q $ are distinct prime numbers.

math.GR