Exel's crossed product and crossed products by completely positive maps

Abstract

We introduce crossed products of a $C^{\ast }$-algebra $A$ by a completely positive map $\varrho :A\to A$ relative to an ideal in $A$. They generalize various crossed products by endomorphisms when $\varrho$ is multiplicative. When $A$ is commutative they include $C^{\ast }$-algebras associated to Markov operators by Ionescu, Muhly, Vega, and to topological relations by Brenken, but in general they are not modeled by topological quivers popularized by Muhly and Tomforde. We show that Exel's crossed product $A{⋊}_{\alpha ,L}\mathbb{N}$, generalized to the case where $A$ is not necessarily unital, is the crossed product of $A$ by the transfer operator $L$ relative to the ideal generated by $\alpha (A)$. We give natural conditions under which $\alpha (A)$ is uniquely determined by $L$, and hence $A{⋊}_{\alpha ,L}\mathbb{N}$ depends only on $L$. Moreover, the $C^{\ast }$-algebra $\mathcal{O}(A,\alpha ,L)$ associated to $(A,\alpha ,L)$ by Exel and Royer always coincides with our unrelative crossed product by $L$. As another non-trivial application of our construction we extend a result of Brownlowe, Raeburn and Vittadello, by showing that the $C^{\ast }$-algebra of an arbitrary infinite graph $E$ can be realized as a crossed product of the diagonal algebra ${\mathcal{D}}_E$ by a `Perron-Frobenious' operator $L$. The important difference is that in general there is no endomorphism $\alpha$ of ${\mathcal{D}}_E$ making $({\mathcal{D}}_E,\alpha ,L)$ an Exel system.

45 pages, this is the version accepted to Houston J. Math. Univ (subsections on universal representations and relative Cuntz-Pimsner algebras are added)

References in corpus (6)

• A construction of $C^{\ast }$-algebras from $C^{\ast }$-correspondences
• C*-Algebras of algebraic dynamical systems and right LCM semigroups
• Partial-isometric crossed products by semigroups of endomorphisms
• Representations of C*-dynamical systems implemented by Cuntz families
• Crossed products by endomorphisms and reduction of relations in relative Cuntz-Pimsner algebras
• Crossed products for interactions and graph algebras

Cited by in corpus (3)

• Pure infiniteness and ideal structure of $C^{\ast }$-algebras associated to Fell bundles
• Crossed products for interactions and graph algebras
• Inductive Limits of Noncommutative Cartan Inclusions