Let GG be a . Its unitary dual, denoted G^\widehat G, is the set of [π][\pi] of strongly continuous of GG on nonzero complex . It is equipped with the .

Abelian groups

For abelian GG, every is one-dimensional, and G^\widehat G recovers the .

The Fell topology

For a neighborhood centered at [π][\pi], the approximation condition asks that selected diagonal coefficients of π\pi be approximated on a chosen compact subset of GG by finite sums of diagonal coefficients of the variable representation ρ\rho. This description is independent of representatives. The resulting space need not be Hausdorff; its separation properties encode substantial representation-theoretic information.

Operator-algebraic interpretation

of GG correspond to nondegenerate representations of the full group CC^*-algebra C(G)C^*(G). Consequently, G^\widehat G is naturally the spectrum of irreducible representations of C(G)C^*(G). Passing from a representation to its kernel maps this spectrum onto the , but distinct irreducible representations can have the same kernel unless additional hypotheses, such as type I regularity, are imposed.

Scope and nearby duals

The unitary dual includes all irreducible unitary representations. The tempered dual is generally a proper subspace defined by in the . Nor should G^\widehat G be confused with the algebraic dual of a or with the set of all continuous characters; these coincide with the relevant unitary dual only in special abelian settings.

References
  1. J. M. G. Fell and R. S. Doran, Representations of *-Algebras, Locally Compact Groups, and Banach *-Algebraic Bundles, vol. 1, Academic Press, 1988. Publisher record. Relevant: Chapter VII on representation spaces and their topology.
  2. Jacques Dixmier, CC^*-Algebras, North-Holland Mathematical Library 15, North-Holland, 1977. Publisher record. Relevant: chapters on spectra and the dual of a locally compact group.