The Zappa-Szép product of a Fell bundle and a groupoid (Q2243160)

If \(G\) and \(H\) are étale groupoids that act on each other in a compatible way -- in which case \((G,H)\) is called a matched pair -- then one can form an étale groupoid \(G\bowtie H\) called their Zappa-Szép product, which is a suitable generalization of the Zappa-Szép product for groups. The authors show that if \((G,H)\) is a matched pair, if \(p:\mathcal B\to G\) is a Fell bundle over \(G\), and if there is a \((G,H)\)-compatible action \(\beta\) of \(H\) on \(\mathcal B\), then one can form a Fell bundle \(\mathcal C=\mathcal B\bowtie_{\beta} H\) over the Zappa-Szép product \(G\bowtie H\) built out of the fibred product \(\mathcal B*H\). Then the authors give conditions on a Fell bundle \(\mathcal C\) over \(G\bowtie H\) which implies that \(\mathcal C\) is necessarily isomorphic to a Fell bundle that arises as \(\mathcal B\bowtie_{\beta} H\). Then the authors prove a disintegration theorem showing that representations of \(C^{*}(\mathcal B\bowtie_{\beta}H)\) all correspond to suitably covariant representations of \(C^{*}(\mathcal B)\) and \(H\) generalizing the situation for crossed products. Under suitable conditions on \(\mathcal B\), the authors show that \(C^{*}(\mathcal B\bowtie_{\beta}H)\) is generated by natural imbeddings of \(C^{*}(\mathcal B)\) and \(C^{*}(H)\) in its multiplier algebra; that is \(C^{*}(\mathcal B\bowtie_{\beta}H)\) is a blend of \(C^{*}(\mathcal B)\) and \(C^{*}(H)\) as defined by \textit{R. Exel} [C. R. Math. Acad. Sci., Soc. R. Can. 35, No. 3, 77--113 (2013; Zbl 1303.46041)].