C*-envelopes of tensor algebras of product systems

DOI10.1016/J.JFA.2022.109707MaRDI QIDQ6380554arXivFDO

Authors Camila F. Sehnem

Publication date 17 October 2021

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) (C^*)-algebras and (W^*)-algebras in relation to group representations (22D25) (C^*)-modules (46L08) Noncommutative dynamical systems (46L55)

Abstract: Let $P$ be a submonoid of a group $G$ and let $mathcalE=(mathcal{E}_p{)}_{pinP}$ be a product system over $P$ with coefficient C*-algebra $A$. We show that the following C*-algebras are canonically isomorphic: the C*-envelope of the tensor algebra $mathcal{T}_{l}ambda(mathcalE{)}^{+}$ of $mathcalE$; the reduced cross sectional C*-algebra of the Fell bundle associated to the canonical coaction of $G$ on the covariance algebra $Aime{s}_{mathcalE}P$ of $mathcalE$; and the C*-envelope of the cosystem obtained by restricting the canonical gauge coaction on $mathcal{T}_{l}ambda(mathcalE)$ to the tensor algebra. As a consequence, for every submonoid $P$ of a group $G$ and every product system $mathcalE=(mathcal{E}_p{)}_{pinP}$ over $P$, the C*-envelope $mathcal{C}_{mathrmenv}^{\ast }(mathcal{T}_{l}ambda(mathcalE{)}^{+})$ automatically carries a coaction of $G$ that is compatible with the canonical gauge coaction on $mathcal{T}_{l}ambda(mathcalE)$. This answers a question left open by Dor-On, Kakariadis, Katsoulis, Laca and Li. We also analyse co-universal properties of $mathcal{C}_{mathrmenv}^{\ast }(mathcal{T}_{l}ambda(mathcalE{)}^{+})$ with respect to injective gauge-compatible representations of $mathcalE$. When $mathcalE=mathbb{C}^P$ is the canonical product system over $P$ with one-dimensional fibres, our main result implies that the boundary quotient $partialmathcal{T}_{l}ambda(P)$ is canonically isomorphic to the C*-envelope of the closed non-selfadjoint subalgebra spanned by the canonical generating isometries of $mathcal{T}_{l}ambda(P)$. Our results on co-universality imply that $partialmathcal{T}_{l}ambda(P)$ is a quotient of every nonzero C*-algebra generated by a gauge-compatible isometric representation of $P$ that in an appropriate sense respects the zero element of the semilattice of constructible right ideals of $P$.

This page was built for publication: C*-envelopes of tensor algebras of product systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6380554)