Automatic continuity of \(\ast\)-representations for discrete twisted \(C^ \ast\)-dynamical systems (Q1757228)

A twisted \(C^*\)-dynamical system is a 4-tuple \((G,A, \alpha,\omega)\), where \(G\) is a discrete group, \(\omega: G\times G\to\mathcal{U}(M(A))\) is a cocycle that takes values in the unitary group of the multiplier algebra of the \(C^*\)-algebra \(A\), and \(\alpha: G\to\mathrm{Aut}(A)\), \(r\mapsto\alpha_r\), is a mapping satisfying \(\bar{\alpha}_r\circ\bar{\alpha}_s=\omega(r,s)\bar{\alpha}_{rs}\omega(r,s)^*\) for all \(r,s\in G\), where \(\bar{\alpha}_r\in\mathrm{Aut}(M(A))\) is the unique extension of \(\alpha_r\in\mathrm{Aut}(A)\) for all \(r\in G\). One then denotes by \(\mathcal{A}\) the set of all finitely supported \(A\)-valued functions on~\(G\), organized as a \(*\)-algebra as usual, with respect to the twisted convolution and involution corresponding to \(\alpha\) and \(\omega\). In this setting, the main result of the paper under review is that, for every \(C^*\)-algebra \(C\), every \(*\)-morphism \(\pi: \mathcal{A}\to C\) is automatically continuous with respect to the natural \(\ell^1\)-norm of \(\mathcal{A}\). Several results of this type for non-discrete groups are known in the literature. See, for instance, pages 51 and 72 in the book by \textit{J. Renault} [A groupoid approach to \(C^*\)-algebras. Berlin-Heidelberg-New York: Springer-Verlag (1980; Zbl 0433.46049)].