Reduced $C^{\ast }$-algebras of product systems: An $E_0$-semigroup and a groupoid perspective

Abstract

For Ore semigroups $P$ with an order unit, we prove that there is a bijection between $E_0$-semigroups over $P$ and product systems of $C^{\ast }$-correspondences over $P^{\mathrm{op}}$. We exploit this bijection and show that the reduced $C^{\ast }$-algebra of a proper product system is Morita equivalent to the reduced crossed product of the associated semigroup dynamical system given by the corresponding $E_0$-semigroup. We appeal to the groupoid picture of the reduced crossed product of a semigroup dynamical system derived in Sundar [Doc. Math. 23 (2018), 1995–2025] to prove that, under good conditions, the reduced $C^{\ast }$-algebra of a proper product system is nuclear/exact if and only if the coefficient algebra is nuclear/exact. We also discuss the invariance of $K$-theory under homotopy of product systems.