3
$\begingroup$

Let $C = \mathbb{Z}/d\mathbb{Z}$ ($d \ge 0$).

Let $D = \langle a_c : c \in C, t \mid a^2_c = t^d = 1, ta_ct^{-1} = a_{c+1} \rangle$.

let $E$ be the subgroup generated by $\{a_c : c \in C\}$ and let $T$ be the Cayley graph of $E$ with this generating set (note that $T$ is a tree). There is then a natural action of $D$ on $T$, where $E$ acts by left translation and $t$ acts by conjugation on $E$.

(edit) Let $P$ be the product of all pairs of complementary half-trees, equipped with the product topology. Then I think (?) for $d \neq 1$ there will be a minimal closed $D$-invariant subspace $X$ of $P$, consisting of the closure of the set of points in $P$ defined by infinite rays in $T$. Finally, define $G$ to be the topological full group of the action of $D$ on $X$.

The space $X$ is homeomorphic to the Cantor set except for $d \in \{1,2\}$. If $d > 2$, I think the description of $G$ I gave is just another way to build the Higman–Thompson group $G_{d-1,d}$, which is very well-studied. In particular, as shown by Higman, it is a finitely presented group that is either simple ($d$ odd) or has a simple subgroup of index $2$ ($d$ even). But the case $d=0$ also seems fairly natural to me.

Has this particular group (where $d=0$) been studied? If so, what basic properties are known? (I know that some things can be deduced from general results about topological full groups, e.g. that the derived group of $G$ is finitely generated and simple; but for example it's not clear to me how to compute the abelianization of $G$.)

$\endgroup$
2
  • 1
    $\begingroup$ I think this Stone space construction associated to a tree $T$ is known as Roller compactification $R_T$. As a set it equals the union of the vertex set $V$ and the geodesic boundary. When the tree has finite valency $V$ is open in $R_T$, but not in general (as here for $d=0$). $\endgroup$
    – YCor
    Aug 31, 2019 at 7:46
  • $\begingroup$ Ah right, it sounds like the space I described doesn't quite do what I wanted. The Roller compactification is a good place to start, but then I want to get to a minimal closed invariant subspace of that space for the action of $D$. $\endgroup$
    – Colin Reid
    Aug 31, 2019 at 9:31

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.