Graph and wreath products in topological full groups of full shifts

Abstract

We prove that the topological full group $[[X]]$ of a two-sided full shift $X={\Sigma }^{\mathbb{Z}}$ contains every right-angled Artin group (also called a graph group). More generally, we show that the family of subgroups with "linear look-ahead" is closed under graph products. We show that the lamplighter group ${\mathbb{Z}}_2\wr \mathbb{Z}$ embeds in $[[X]]$, and conjecture that it does not embed in $[[X]]$ with linear look-ahead. Generalizing the lamplighter group, we show that whenever $G$ acts with "unique moves" (or at least "move-$A$ithfully"), we have $A\wr G\le [[X]]$ for finite abelian groups $A$. We show that free products of finite and cyclic groups act with unique moves. We show that ${\mathbb{Z}}^2$ does not admit move-$A$ithful actions, and conjecture that ${\mathbb{Z}}_2\wr {\mathbb{Z}}^2$ does not embed in $[[X]]$ at all. We show that topological full groups of all infinite nonwandering sofic shifts have the same subgroups, and that this set of groups is closed under commensurability. The group $[[X]]$ embeds in the higher-dimensional Thompson group $2$V, so it follows that $2$V contains all RAAGs, refuting a conjecture of Belk, Bleak and Matucci.

10 pages

References in corpus (2)

• The group of reversible Turing machines
• Graph and wreath products of cellular automata