A uniqueness theorem for twisted groupoid \(C^{*}\)-algebras (Q2149494)

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.