Jump to content

Noncommutative harmonic analysis

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Hesam7 (talk | contribs) at 03:20, 24 February 2007. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, non-commutative harmonic analysis is the field in which results from Fourier analysis are extended to topological groups which are not commutative. Since for locally compact abelian groups have a well-understood theory, Pontryagin duality, which includes the basic structures of Fourier series and Fourier transforms, the major business of non-commutative harmonic analysis is usually taken to be the extension of the theory to all groups G that are locally compact. The case of compact groups is understood, qualitatively and after the Peter-Weyl theorem from the 1920s, as being generally analogous to that of finite groups and their character theory.

The main task is therefore the case of G which is locally compact, not compact and not commutative. The interesting examples include many Lie groups, and also algebraic groups over p-adic fields. These examples are of interest and frequently applied in mathematical physics, and contemporary number theory, particularly automorphic representations.

What to expect is known as the result of basic work of John von Neumann. He showed that L2(G) as a unitary representation of G is a direct integral of representations. It is parametrized therefore by the unitary dual, the set of isomorphism classes of such representations, which is given the hull-kernel topology. The analogue of the Plancherel theorem is abstractly given by identifying a measure on the unitary dual, the Plancherel measure, with respect to which the direct integral is taken. (For Pontryagin duality the Plancherel measure is some Haar measure on the dual group to G, the only issue therefore being its normalization.)

The further theory divides up the Plancherel measure into a discrete and a continuous part (see discrete series representation). For semisimple groups, and classes of solvable Lie groups, a very detailed theory is available.

See also