Necessary conditions for tiling finitely generated amenable groups (Q1988316)

Let $G =\langle S|R\rangle$ be a finitely generated group and $\mathcal{C}$ a finite set of colours. A Wang tile on $\mathcal{C}$ and $S$ is a map $S\cup S^{-1} \rightarrow C$. Let $T$ be a set of Wang tiles and $X_T$ be the corresponding \(G\)-Wang subshift. \textit{S. T. Piantadosi} [Discrete Contin. Dyn. Syst. 20, No. 3, 725--738 (2008; Zbl 1140.37006)] obtained a subalphabet such that every letter admits a valid neighbor in the subalphabet for every generator and provided the Condition $(\star\star)$ (explained in the paper). Then, \textit{J.-R. Chazottes} et al. [Geom. Dedicata 173, 129--142 (2014; Zbl 1316.52028)] defined the asymptotic Thurston semi-norm and provided a necessary condition to decide if a set of Wang tiles gives a tiling of $\mathbb{Z}^{2}$ (Condition $(\star\star)'$ in the paper). In this paper the authors study Piantadosi's and Chazottes-Gambaudo-Gautero's conditions, $(\star\star)$ and $(\star\star)'$, respectively. The authors prove that two conditions are equivalent. The following theorem is proved: Theorem. Let $T$ be a set of Wang tiles over the set of colours $\mathcal{C}$ and the set of generators $\mathcal{S}$. $T$ satisfies condition $(\star\star)'$ if, and only if, the associated graphs satisfy condition $(\star\star)$. Then the authors show that conditions $(\star\star)$ and condition $(\star\star)'$ form a necessary condition for a subshift of finite type to admit a valid tiling on any finitely generated amenable group. Lastly, the authors give for any non-free finitely generated group a counterexample that satisfies all conditions but does not provide a valid tiling.