Definition

Let GG be a connected . Every irreducible of GG on a complex is one-dimensional, hence is a . Using

GRn×TmG\cong\mathbb R^n\times\mathbb T^m

from the , its is

G^Rn×Zm.\widehat G\cong\mathbb R^n\times\mathbb Z^m .

The point (ξ,k)(\xi,k) corresponds to χξ,k(x,z)=eiξ,xz1k1zmkm\chi_{\xi,k}(x,z)=e^{i\langle\xi,x\rangle}z_1^{k_1}\cdots z_m^{k_m}. 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 commute. For an , the commutant consists only of scalars, so every group element acts by a scalar of modulus one. Strong continuity makes the resulting scalar map GTG\to\mathbb T continuous. Thus the unitary dual agrees with the , not merely as a set but with its natural topology Folland, Chapter 4.

Basic factors

The characters of Rn\mathbb R^n are xeiξ,xx\mapsto e^{i\langle\xi,x\rangle}, parametrized by ξRn\xi\in\mathbb R^n. The characters of Tm\mathbb T^m are the monomials zzkz\mapsto z^k, parametrized by kZmk\in\mathbb Z^m. Consequently, Rn^Rn\widehat{\mathbb R^n}\cong\mathbb R^n and Tm^Zm\widehat{\mathbb T^m}\cong\mathbb Z^m, 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 are characters, but their dual is obtained from the full locally compact abelian group rather than the displayed connected classification. on G^\widehat G combines on Rn\mathbb R^n with counting measure on Zm\mathbb Z^m, up to reciprocal normalization, and is the measure used in abelian Plancherel theory.

References
  1. 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.
  2. Walter Rudin, Fourier Analysis on Groups, Wiley-Interscience, 1962. Wiley DOI record. Relevant: Chapter 1 on locally compact abelian groups and their character groups.