Definition
Plancherel measure for a type I locally compact group
The spectral measure on the unitary dual that makes the nonabelian Fourier transform an L2 isometry.
Definition
Let be a second-countable, unimodular, type I locally compact group, fix a left Haar measure , and let be its unitary dual. For , set . The Plancherel measure is the unique positive Borel measure on for which
The transform extends to a unitary map from onto the direct integral of the Hilbert–Schmidt operator spaces.
Regular-representation decomposition
Under the Plancherel transform, the left regular representation acts fiberwise by left multiplication with . Consequently, the measure class of is the spectral measure class of the regular representation in its direct-integral decomposition. The type I hypothesis supplies the standard measurable irreducible decomposition and its essential uniqueness Folland, Chapter 7, “The Plancherel Theorem”.
Examples and support
For an abelian , every irreducible representation is a character and is the Haar measure on the Pontryagin dual normalized dually to . For compact with Haar probability measure, it is discrete and assigns mass to each irreducible class. In general, its support in the Fell topology is the tempered part of , which may be smaller than the full unitary dual.
Conventions and nonunimodular groups
Rescaling rescales the representative Plancherel measure, although its null sets and hence its measure class are unchanged. For a nonunimodular group, the displayed Hilbert–Schmidt formula must be modified by a measurable field of positive, generally unbounded Duflo–Moore operators; the bare formula in the core is therefore not valid unchanged Duflo--Moore, abstract and main construction.
References
- Gerald B. Folland, A Course in Abstract Harmonic Analysis, 2nd ed., CRC Press, 2016. Publisher record. Relevant: Chapter 7, sections “Direct Integral Decompositions” and “The Plancherel Theorem.”
- Michel Duflo and Calvin C. Moore, “On the Regular Representation of a Nonunimodular Locally Compact Group,” Journal of Functional Analysis 21 (1976), 209–243. DOI record. Relevant: the operator-valued correction to the nonunimodular Plancherel formula.