Toeplitz algebras on discrete groups and their natural morphisms (Q1774269)

Given a discrete group \(G\) and the usual orthonormal basis \(\{\delta_g: g\in G\}\) for \(\ell^2(G)\) defined by \(\delta_g(h)=\delta_{g,h}\), where \(\delta_{g,h}\) is the Kronecker symbol, for \(g\in G\) define a unitary operator \(u_g\) on \(\ell^2(G)\) by \(u_g(\delta_h)=\delta_{gh}\) for \(h\in G\). For any subset \(E\subset G\), let \(\ell^2(E)\) be the closed subspace of \(\ell^2(G)\) generated by the set \(\{\delta_g: g\in E\}\), let \(p^E\) denote the projection from \(\ell^2(G)\) onto \(\ell^2(G)\), and for \(g\in G\) set \(T_g^E=p^Eu_gp^E\). The \(\mathcal{C}^*\)-algebra generated by \(\{T_g^E: g\in G\}\) is called the Toeplitz algebra with respect to \(E\) and is denoted by \(\mathcal{T}^E\). In the paper under review, the authors show that if \(E_1\) and \(E_2\) are two subsets of \(G\) with \(E_1\subseteq E_2\), then the natural morphism \(\gamma^{E_2,E_1}:\mathcal{T}^{E_1}\to\mathcal{T}^{E_2}\), which satisfies \(\gamma^{E_2,E_1}(T_g^{E_1})=T_g^{E_2}\) for any \(g\in G\), exists as a \(\mathcal{C}^*\)-morphism if and only if \(E_2\) is finitely covariant-lifted by \(E_1\), i.e., for any finite subset \(F\) of \(G\), there exists \(g_*\in G\) such that for any \(g\in F\), \(g\in E_2\) if and only if \(g\cdot g_*\in E_1\). The paper also contains some application of above result connected with the Toeplitz algebras associated to the partially quasi-ordered groups and the abelian ordered groups.