Definition

Let GG be a . Its unitary dual, denoted G^\widehat G, is the set of [π][\pi] of strongly continuous of GG on nonzero complex . The set is equipped with the , defined by approximation of coefficient functions uniformly on compact subsets. This topology, not a generally available group operation, is part of the standard meaning of G^\widehat G. For abelian GG, every is one-dimensional, and G^\widehat G recovers the .

The Fell topology

Informally, [π][\pi] is near a class [ρ][\rho] when selected diagonal coefficients of ρ\rho can be approximated on a chosen compact subset of GG by finite sums of diagonal coefficients of π\pi. This description is independent of representatives. The resulting space need not be Hausdorff; its separation properties encode substantial representation-theoretic information Fell and Doran, Chapter VII.

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.