A uniqueness theorem for twisted groupoid C^*-algebras

From MaRDI portal
Publication:2149494



Abstract: We present a uniqueness theorem for the reduced C*-algebra of a twist mathcalE over a Hausdorff 'etale groupoid mathcalG. We show that the interior mathcalImathcalE of the isotropy of mathcalE is a twist over the interior mathcalImathcalG of the isotropy of mathcalG, and that the reduced twisted groupoid C*-algebra Cr∗(mathcalImathcalG;mathcalImathcalE) embeds in Cr∗(mathcalG;mathcalE). We also investigate the full and reduced twisted C*-algebras of the isotropy groups of mathcalG, and we provide a sufficient condition under which states of (not necessarily unital) C*-algebras have unique state extensions. We use these results to prove our uniqueness theorem, which states that a C*-homomorphism of Cr∗(mathcalG;mathcalE) is injective if and only if its restriction to Cr∗(mathcalImathcalG;mathcalImathcalE) is injective. We also show that if mathcalG is effective, then Cr∗(mathcalG;mathcalE) is simple if and only if mathcalG is minimal.


Let \(G\) be a second countable locally compact Hausdorff étale groupoid and suppose that \(E\) is a twist over \(G\) as introduced by \textit{A. Kumjian} [Can. J. Math. 38, 969--1008 (1986; Zbl 0627.46071)] -- see also Definition 11.1.1 from [\textit{A. Sims}, in: Operator algebras and dynamics: groupoids, crossed products, and Rokhlin dimension. Lecture notes given at the advanced course on crossed products, groupoids, and Rokhlin dimension, Centre de Recerca Matemàtica, CRM, Barcelona, Spain, March 13--17, 2017. Cham: Birkhäuser. 59--120 (2020; Zbl 1495.46055)]. Let \(C^{*}(G;E)\) be the corresponding twisted groupoid \(C^{*}\)-algebra, and \(C^{*}_{r}(G;E)\) the reduced version. If \(E\) is any groupoid, we let \(\operatorname{Iso}(E)\) be the isotropy subgroupoid of \(E\), and we let \(\operatorname{Iso}(E)^{\circ}\) be its interior. The author shows that \(\operatorname{Iso}(E)^{\circ}\) is a twist over \(\operatorname{Iso}(G)^{\circ}\) and that there is an embedding, \(\iota_{r}\), of the twisted groupoid \(C^{*}\)-algebra \(C^{*}_{r}(\operatorname{Iso}(G)^{\circ}; \operatorname{Iso}(E)^{\circ})\) into \(C^{*}_{r}(G;E)\). The main result is that if \(\psi: C^{*}_{r}(G;E) \to A\) is a \(C^{*}\)-homomorphism, then \(\psi\) is injective if and only if \(\psi\circ \iota_{r}\) is injective. A key corollary is the observation that if \(G\) is effective, then \(C^{*}(G;E)\) is simple if and only if \(G\) is minimal.



Cites work









This page was built for publication: A uniqueness theorem for twisted groupoid \(C^{*}\)-algebras

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