Definition
Unitary dual of an abelian Lie group
For a connected abelian Lie group, every irreducible unitary representation is a character and the dual is Euclidean-discrete.
Definition
Let be a connected abelian Lie group. Every irreducible strongly continuous unitary representation of on a complex Hilbert space is one-dimensional, hence is a continuous unitary character. Using
from the structure theorem for connected abelian Lie groups, its unitary dual is
The point corresponds to . This identification carries the usual Euclidean topology on the first factor and the discrete topology on the second.
Why irreducibles are characters
All operators in a unitary representation of an abelian group commute. For an irreducible representation, the commutant consists only of scalars, so every group element acts by a scalar of modulus one. Strong continuity makes the resulting scalar map continuous. Thus the unitary dual agrees with the Pontryagin dual, not merely as a set but with its natural topology Folland, Chapter 4.
Basic factors
The characters of are , parametrized by . The characters of are the monomials , parametrized by . Consequently, and , while the dual of a product is the product of the duals.
Scope and Plancherel theory
Disconnected abelian Lie groups may have additional discrete components; the general statement remains that their irreducible unitary representations are characters, but their dual is obtained from the full locally compact abelian group rather than the displayed connected classification. Haar measure on combines Lebesgue measure on with counting measure on , up to reciprocal normalization, and is the measure used in abelian Plancherel theory.
References
- Gerald B. Folland, A Course in Abstract Harmonic Analysis, 2nd ed., CRC Press, 2016. DOI record. Relevant: Chapter 4 on characters, Pontryagin duality, and Fourier analysis of locally compact abelian groups.
- Walter Rudin, Fourier Analysis on Groups, Wiley-Interscience, 1962. Wiley DOI record. Relevant: Chapter 1 on locally compact abelian groups and their character groups.