Equivariant maps to subshifts whose points have small stabilizers

Abstract

Let $Γ$ be a countably infinite group. Given $k \in \mathbb{N}$, we use $\mathrm{Free}(k^Γ)$ to denote the free part of the Bernoulli shift action of $Γ$ on $k^Γ$. Seward and Tucker-Drob showed that there exists a free subshift $\mathcal{S} \subseteq \mathrm{Free}(2^Γ)$ such that every free Borel action of $Γ$ on a Polish space admits a Borel $Γ$-equivariant map to $\mathcal{S}$. Here we generalize this result as follows. Let $\mathcal{S}$ be a subshift of finite type (for example, $\mathcal{S}$ could be the set of all proper colorings of the Cayley graph of $Γ$ with some finite number of colors). Suppose that $π\colon \mathrm{Free}(k^Γ) \to \mathcal{S}$ is a continuous $Γ$-equivariant map and let $\mathrm{Stab}(π)$ be the set of all group elements that fix every point in the image of $π$. Unless $π$ is constant, $\mathrm{Stab}(π)$ is a finite normal subgroup of $Γ$. We prove that there exists a subshift $\mathcal{S}' \subseteq \mathcal{S}$ such that the stabilizer of every point in $\mathcal{S}'$ is $\mathrm{Stab}(π)$ and every free Borel action of $Γ$ on a Polish space admits a Borel $Γ$-equivariant map to $\mathcal{S}'$. In particular, if the shift action of $Γ$ on the image of $π$ is faithful (i.e., if $\mathrm{Stab}(π)$ is trivial), then the subshift $\mathcal{S}'$ is free. As an application of this general result, we deduce that if $F$ is a finite symmetric subset of $Γ\setminus \{\mathbf{1}\}$ of size $|F| = d \geq 1$ and $\mathrm{Col}(F, d + 1) \subseteq (d+1)^Γ$ is the set of all proper $(d+1)$-colorings of the Cayley graph of $Γ$ corresponding to $F$, then there is a free subshift $\mathcal{S} \subseteq \mathrm{Col}(F, d+1)$ such that every free Borel action of $Γ$ on a Polish space admits a Borel $Γ$-equivariant map to $\mathcal{S}$.