Plancherel measure

Plancherel measure
Name	Plancherel measure
Field	Harmonic analysis
Introduced by	Michel Plancherel
Year	1910s

Plancherel measure is a fundamental object in harmonic analysis associating a canonical measure on the dual space of unitary representations that encodes the decomposition of square-integrable functions under a Fourier-type transform. It provides the spectral weighting for the Plancherel isometry linking L^2-spaces on groups, homogeneous spaces, or symmetric spaces to direct integrals over representation-theoretic duals. The measure plays a central role in the analytic study of automorphic forms, ergodic theory, and noncommutative harmonic analysis.

Definition and basic properties

In the classical setting of the real line treated by Joseph Fourier, the Plancherel measure is the Lebesgue measure that appears in the Plancherel theorem for the Fourier transform; historically this formulation was systematized by Michel Plancherel and later generalized by Norbert Wiener and Harold Bohr. For a locally compact group G, the Plancherel measure lives on the unitary dual often denoted Ĝ and is characterized by the unique measure μ such that the left-regular representation decomposes as a direct integral of irreducible unitary representations with multiplicity function m(π) and weight μ(π); foundational contributions were made by George Mackey, Israel Gelfand, and Mark Naimark. Basic properties include invariance under the action of the group of measurable automorphisms in contexts considered by John von Neumann and compatibility with induction functors used by George Mackey and Andrew Knapp.

Plancherel theorem and Fourier analysis

The Plancherel theorem extends Parseval-type identities from Joseph Fourier analysis on Euclidean space to noncommutative settings studied by Harish-Chandra, Atle Selberg, and Hermann Weyl. In the framework of unitary representation theory developed by Alfred Haar and Israel Gelfand, the Plancherel measure provides the isometric isomorphism between L^2(G) for a unimodular group and a direct integral over Ĝ; this generalization was formalized in work by James Arthur and Roger Godement. The theorem connects with the theory of spherical functions in the sense of Harish-Chandra and with trace formulas pioneered by Ariel Selberg and expanded by Jacquet and Langlands.

Plancherel measure for locally compact groups

For second countable, unimodular, locally compact groups G, the existence and uniqueness of the Plancherel measure on Ĝ were established in analytic frameworks advanced by Eugene Wigner's symmetry ideas and by structural work of John von Neumann and Marshall Stone. In type I groups, treated in depth by George Mackey and James Glimm, the unitary dual is a standard Borel space and the Plancherel measure is a sigma-finite Borel measure; classification results for solvable and nilpotent groups were influenced by Kirillov's orbit method and later by Peter M. Cohn and Jean Dixmier. For reductive Lie groups, the Plancherel measure was described by Harish-Chandra and refined by David Vogan and Anne-Marie Aubert in relation to tempered representations studied by Wilfried Schmid.

Examples and explicit computations

Explicit computations of the Plancherel measure appear in many classical settings: for the real line and Euclidean space following Joseph Fourier and Hermann Weyl the measure is Lebesgue measure; for compact groups such as Élie Cartan’s compact forms the Plancherel measure is supported on the discrete dual with weights equal to dimensions appearing in the Peter–Weyl theorem developed by Hermann Weyl and Issai Schur. For nilpotent Lie groups, Kirillov’s work gives explicit orbital formulas connected to A. A. Kirillov’s orbit method; for semisimple groups the Harish-Chandra c-function and the work of Harish-Chandra and James Arthur produce explicit density formulas. Computations for the affine group, the Heisenberg group investigated by Ludwig Faddeev and Irving Segal, and for p-adic groups in the sense of Iwahori–Matsumoto and Jacquet–Langlands illustrate varied phenomena in noncompact and nonabelian settings.

Applications in representation theory and harmonic analysis

Plancherel measures underpin the decomposition theory used in the proof of the Peter–Weyl theorem and in modern formulations of the Langlands program by Robert Langlands, where they appear in spectral side descriptions of trace formulas by James Arthur and Jacques Tits. They are central to the understanding of tempered representations investigated by Harish-Chandra and to the classification of unitary duals addressed by David Vogan and Joseph Bernstein. Applications include analysis of automorphic spectra in the work of Roger Godement, Stephen Gelbart, and Henryk Iwaniec, ergodic decomposition problems studied by Marcel Riesz and Eberhard Hopf, and scattering theory developments due to Mark Kac and Ludwig Faddeev.

Relations to spectral theory and operator algebras

In spectral theory, the Plancherel measure provides the spectral measure for convolution operators on L^2-spaces associated to John von Neumann algebras and is linked to decomposition theories in C*-algebra frameworks developed by Gert Pedersen and George Elliott. Connections to the theory of type I and type II factors studied by Murray and von Neumann and to noncommutative geometry of Alain Connes appear via spectral decompositions of group von Neumann algebras and reduced C*-algebras explored by Paul Halmos and Garth Isaacs. In the context of random Schrödinger operators and mathematical physics, Plancherel measures interact with spectral density functions in works by Barry Simon and Michael Reed.

Category:Harmonic analysis