Definition

Let GG be a , and let G^\widehat G be its . The tempered dual G^temp\widehat G_{\mathrm{temp}} is the set of classes [π]G^[\pi]\in\widehat G for which π\pi is , equivalently

πλG,\pi\prec\lambda_G,

where λG\lambda_G is the and \prec denotes . It carries the topology inherited from the on G^\widehat G, hence the . This definition does not require GG to be type I, although type I hypotheses are important for measurable decomposition and Plancherel theory.

Reduced-algebra interpretation

The class [π][\pi] lies in G^temp\widehat G_{\mathrm{temp}} exactly when the of π\pi factors through the Cr(G)C_r^*(G). Thus the tempered dual is also called the reduced dual: it is the spectrum seen by Cr(G)C_r^*(G), rather than by the full group CC^*-algebra Dixmier, §18.8.

Role in Plancherel theory

For a second-countable unimodular , the is supported on the tempered dual. The direct-integral decomposition of the therefore detects only tempered irreducibles, even when G^temp\widehat G_{\mathrm{temp}} is a of G^\widehat G. For real reductive groups, this subset includes the discrete series and the Knapp, Chapter XIV.

Conventions and scope

Some authors use “tempered dual” only for a specified class of reductive Lie groups, while the weak-containment definition applies to every locally compact group. “Plancherel-supported dual” can also mean the support of a particular representative of Plancherel measure; the intrinsic object here is the reduced dual, defined before any choice of .

References
  1. Jacques Dixmier, CC^*-Algebras, North-Holland Mathematical Library 15, North-Holland, 1977. Publisher record. Relevant: §18.8 on the reduced dual and Plancherel theory.
  2. Anthony W. Knapp, Representation Theory of Semisimple Groups: An Overview Based on Examples, Princeton University Press, 1986. Author-maintained record. Relevant: Chapter XIV on tempered representations and the Plancherel theorem.