Generalized fixed-point algebras of certain actions on crossed products (Q1918386)

Let \(G\) and \(H\) be two locally compact groups acting on a \(C^*\)-algebra \(A\) by commuting actions \(\lambda\) and \(\sigma\). We construct an action on \(A\times_\lambda G\) out of \(\sigma\) and a unitary cocycle \(u\). For \(A\) commutative, and free and proper actions \(\lambda\) and \(\sigma\), we show that if the roles of \(\lambda\) and \(\sigma\) are reversed, and \(u\) is replaced by \(u^*\), then the corresponding generalized fixed-point algebras, in the sense of Rieffel, are strong-Morita equivalent. This fact turns out to be a generalization of Green's result on the strong-Morita equivalence of the algebras \(C_0(M/H)\times_\lambda G\) and \(C_0(M/G)\times_\sigma H\). Finally, we use the Morita equivalence mentioned above to compute the \(K\)-theory of quantum Heisenberg manifolds.