Statement

Let GG be a . The integrated-form correspondence assigns to every U ⁣:G→U(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)Us ds\widetilde U(f)=\int_G f(s)U_s\,ds for f∈Cc(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 s↦uss\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.

Full versus reduced

This correspondence is universal for the full group C∗C^*-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 C∗C^*-Algebras, Mathematical Surveys and Monographs 134, American Mathematical Society, 2007. DOI record. Relevant: Sections 2.3–2.5 on integrated forms and group C∗C^*-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.