A new look at the crossed-product of a C *-algebra by an endomorphism (Q4472764)

The author's new definition, for a unital \(C^*\)-algebra \(A\) and a \(*\)-endomorphism \(\alpha\), relies on the author's transfer operator \(\mathcal{L}\), i.e., a continuous linear positive map \(\mathcal{L}:A \to A\) with \(\mathcal{L}(\alpha(a)b) = a \mathcal{L}(b)\), \(\forall a,b \in A\). The crossed product is a quotient \(\mathcal{T}/\mathcal{I}\) of the universal \(C^*\)-algebra \(\mathcal{T} = \mathcal{T}(A,\alpha,\mathcal{L})\) determined by {admissible relations} [see \textit{B. Blackadar}, Math. Scand. 56, 249--275 (1985; Zbl 0615.46066)] on \(A\) and an (extra) element \(S\): \((I) Sa = \alpha(a)S\), \((II) S^*aS = \mathcal{L}(a)\), \(\forall a \in A\). The origin of the closed 2-sided ideal \(\mathcal{I}\) is due to certain {redundancies} [cf. \textit{M. V. Pimsner}, Fields Inst. Commun. 12, 189--212 (1997; Zbl 0871.46028)]. The embedding \(A \to \mathcal{T}\) is injective, for \(A \to \mathcal{T}/\mathcal{I}\) this is proved by the author under further assumptions in [J. Funct. Anal. 199, 153--188 (2003; Zbl 1034.46056)], and in the examples. The construction, for a monomorphism \(\alpha\) with hereditary range, covers those given by Murphy and Paschke. The Cuntz-Krieger algebra \(\mathcal{O}_{\mathcal{A}}\) is represented as the crossed product of an abelian \(A\) by (possibly noninjective) \(\alpha\) ``arising from a Markov subshift'' and the choice of \(\mathcal{L}\) is ``natural''.