Integrability of dual coactions on Fell bundle \(C^*\)-algebras (Q611932): Difference between revisions

A Fell bundle \(p:\mathcal{B}\to G\) over a group \(G\) is what Fell originally called a Banach \(*\)-algebraic bundle. It is a Banach bundle equipped with a multiplication and involution such that \(B_{t}B_{s}\subset B_{ts}\) and \(B_{t}^{*}\subset B_{t^{-1}}\), and various other axioms, so that the set \(C_{c}(\mathcal{B})\) of continuous compactly supported sections becomes a \(*\)-algebra that can be completed to a \(C^{*}\)-algebra \(C^{*}(\mathcal{B})\). The prototypical example comes from a dynamical system \((A,G,\alpha)\). Then we let \(\mathcal{B}=A\times G\) with \((a,s)(b,t):=(a\alpha_{s}(b),st)\) and \((a,s)^{*}=\bigl(\alpha_{s}^{-1}(a^{*}),s^{-1}\bigr) \); then \(C^{*}(\mathcal{B})\) is just the usual crossed product \(A\rtimes_{\alpha}G\). Exel and Ng have defined a ``dual coaction'' \(\delta:C^{*}(\mathcal{B})\to M\bigl(C^{*}(\mathcal{B})\otimes C^{*}_{r}(G)\bigr)\) for any Fell bundle. The main result here is that this dual coaction is integrable in the sense that the set of positive elements \(a\in C^{*}(\mathcal{B})\) such that \(\delta(a)\) is integrable with respect to the Haar weight on \(C^{*}_{r}(G)\) is dense in \(C^{*}(\mathcal{B})^{+}\). In this case, one says \(\delta\) is integrable. This has some applications to the generalized Fourier transform.