Faithful representations of crossed products by actions of $\boldsymbol N^k$ (Q4429901)

Let \(\eta\) be an action of \(\mathbb{N}^k\), \(k=1,2,\ldots,\infty\), on a discrete abelian group \(G\) satisfying \(|G:\eta_m(G)|<\infty\) and \(\eta_m(G)+\eta_n(G)=\eta_{\min(m,n)}(G)\), \(m,n\in \mathbb{N}^k\). Taking \(G^{(m)}=G\) and \(\eta_m^n=\eta_{n-m}:G^{(m)}\to G^{(n)}\) for \(m\leq n\in \mathbb{N}^k\), one can define a direct limit \(G_\infty\supset G\) with well-defined endomorphisms \(\eta^\infty_m\), which leave the subgroup \(G\subset G_\infty\) invariant, thus inducing an action \(\beta\) of \(\mathbb{N}^k\) by endomorphisms on the group \(C^*\)-algebra \(C^*(G_\infty/G)\). The authors study the crossed product \(C^*\)-algebra \(C^*(G_\infty/G)\rtimes_\alpha \mathbb{N}^k\), where \(\alpha\) is an action of \(\mathbb{N}^k\) on \(C^*(G_\infty/G)\), which is a right inverse for \(\beta\). Such \(C^*\)-algebras include the Hecke algebras considered by Bost-Connes and Brenken. Let \(\pi\) be a representaion of \(C^*(G_\infty/G)\) and let \((\pi,W)\) be a covariant representation of \(C^*(G_\infty/G) \rtimes _\alpha{\mathbb{N}}^k\). The main result of the paper is that \((\pi,W)\) is faithful iff \(\pi\) is faithful.