Three bimodules for Mansfield's imprimitivity theorem

For a maximal coaction δ of a discrete group G on a C*-algebra A and a normal subgroup N of G, there are at least three natural A x_δ G x̂δl N - A xδl G/N imprimitivity bimodules: Mansfield's bimodule Y^G_G/N (A); the bimodule assembled by Ng from Green's A x_δ G x_̂δ G x̂̂δl G/N - A xδ G x̂δ N imprimitivity bimodule X^G_N(A x_δ G) and Katayama duality; and the bimodule assembled from X^G_N(A x_δ G) and the crossed-product Mansfield bimodule Y^G_G/G(A) x G/N. We show that all three of these are isomorphic, so that the corresponding inducing maps on representations are identical. This can be interpreted as saying that Mansfield and Green induction are inverses of one another 'modulo Katayama duality'. These results pass to twisted coactions; dual results starting with an action are also given.