Full duality for coactions of discrete groups

From MaRDI portal



Abstract: Using the strong relation between coactions of a discrete group G on C*-algebras and Fell bundles over G, we prove a new version of Mansfield's imprimitivity theorem for coactions of discrete groups. Our imprimitivity theorem works for the universally defined full crossed products and arbitrary subgroups of G, as opposed to the usual theory which uses the spatially defined reduced crossed products and normal subgroups of G. Moreover, our theorem factors through the usual one by passing to appropriate quotients. As applications we show that a Fell bundle over a discrete group is amenable in the sense of Exel if and only if the double dual action is amenable in the sense that the maximal and reduced crossed products coincide. We also give a new characterization of induced coactions in terms of their dual actions.


Let \(\mathcal B\) be a Fell bundle over a discrete groupoid \(\mathcal G\), \(\Gamma_C(\mathcal B)\) the \(^*\)-algebra of finitely supported sections, \(C^*(\mathcal B)\) the enveloping \(C^*\)-algebra of \(\Gamma_C(\mathcal B)\), \(\delta: A \to A \otimes C^*(G)\) a coaction of the discrete group \(G\) on the \(C^*\)-algebra \(A\), \(\delta^m: C^*(\mathcal A) \to C^*(\mathcal A) \otimes C^*(G)\) the canonical coaction, \(\widehat {\delta}^m\) the dual action. The main purpose of the present paper is to extend known results about crossed products by dual coactions to arbitrary coactions of discrete groups. The main result is a new version of Mansfield's imprimitivity theorem which works for full crossed products and arbitrary subgroups of a discrete group \(G\): It is shown that for any subgroup \(H\) of \(G\) there exists a canonical \(C^*(\mathcal A) \times _{\delta^m}G\times_{\widehat {\delta}^m} H-C^*(\mathcal A \times G/H)\) imprimitivity bimodule \(X\), where \(C^*(\mathcal A \times G/H)\) denotes the maximal cross-sectional algebra of the Fell bundle \(\mathcal A \times G/H\) over the transformation groupoid \(G \times G/H\). A Fell bundle \(\mathcal A\) over \(G\) is amenable if its dual action \(\widehat{\delta}^m\) of \(G\) on \(C^*(\mathcal A)\times _{\delta^m}G\) is amenable in the sense that the full and reduced crossed products coincide. As an application of the general imprimitivity theorem, a characterization of induced coactions is derived: a coaction \(\delta^m: C^*(\mathcal A) \to C^*(\mathcal A) \otimes C^*(G)\) is induced from the quotient group \(G/H\) if the dual action \(\widehat{\delta}^m\) is twisted over \(H\) in the sense of Green.











This page was built for publication: Full duality for coactions of discrete groups

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