Statement

Let GG be a . The integrated-form correspondence assigns to every U ⁣:GU(H)U\colon G\to\mathcal U(H) the unique of the

U~ ⁣:C(G)B(H)\widetilde U\colon C^*(G)\longrightarrow B(H)

extending U~(f)=Gf(s)Usds\widetilde U(f)=\int_G f(s)U_s\,ds for fCc(G)f\in C_c(G). Conversely, every nondegenerate representation of C(G)C^*(G) arises uniquely this way. The two constructions preserve intertwining operators, direct sums, invariant subspaces, and unitary equivalence.

Recovering the group representation

The canonical map suss\mapsto u_s takes GG into the of C(G)C^*(G). If π\pi is nondegenerate, its unique extension to the gives Us=π(us)U_s=\overline\pi(u_s). Nondegeneracy is essential here: it is what makes the multiplier extension and the recovered unitary representation canonical Williams, Proposition 2.39.

Full versus reduced

This correspondence is universal for the full group CC^*-algebra. The representation U~\widetilde U factors through the onto Cr(G)C_r^*(G) exactly when UU is in the left . Therefore representations of the reduced algebra do not, in general, parameterize all unitary representations of GG.

References
  1. D. P. Williams, Crossed Products of CC^*-Algebras, Mathematical Surveys and Monographs 134, American Mathematical Society, 2007. DOI record. Relevant: Sections 2.3–2.5 on integrated forms and group CC^*-algebras.
  2. J. M. G. Fell and R. S. Doran, Representations of *-Algebras, Locally Compact Groups, and Banach *-Algebraic Bundles, vol. I, Academic Press, 1988. Publisher record. Relevant: the integration and disintegration of group representations.