Generalized fixed point algebras and square-integrable group actions

We analzye Rieffel's construction of generalized fixed point algebras in the setting of group actions on Hilbert modules. Let G be a locally compact group acting on a C*-algebra B. We construct a Hilbert module F over the reduced crossed product of G and B, using a pair (E, R), where E is an equivariant Hilbert module over B and R is a dense subspace of E with certain properties. The generalized fixed point algebra is the C*-algebra of compact operators on F. Any Hilbert module over the reduced crossed product arises by this construction for a pair (E, R) that is unique up to isomorphism. A necessary condition for the existence of R is that E be square-integrable. The consideration of square-integrable representations of Abelian groups on Hilbert space shows that this condition is not sufficient and that different choices for R may yield different generalized fixed point algebras. If B is proper in Kasparov's sense, there is a unique R with the required properties. Thus the generalized fixed point algebra only depends on E.