Topological groups, Lie groups Definition
Discrete series representation
Builds on Locally compact groupUnimodular groupHaar measureUnitary representationIrreducible representationLp space
Definition
Let be a unimodular locally compact group with a Haar measure . Let be the left regular representation of on , given by . Let be an irreducible unitary representation of on a Hilbert space . Then is a discrete series representation if it is unitarily equivalent to a subrepresentation of .
Remarks
For , the matrix coefficient of is the function . Equivalently, is in the discrete series if and only if some nonzero matrix coefficient lies in . Then every matrix coefficient lies in .
Example: let be a compact group, with Haar measure of total mass . Each matrix coefficient of a unitary representation is continuous and bounded by , so it lies in . So every irreducible unitary representation of is in the discrete series.
Non-example: the irreducible unitary representations of are the characters with . Each matrix coefficient has constant absolute value, so it is not square-integrable on . So has no discrete series, and decomposes as a continuous direct integral by Fourier analysis.
For groups with non-compact center, such as , one asks instead that the matrix coefficients be square-integrable modulo the center. For connected semisimple with finite center and maximal compact subgroup , discrete series exist if and only if , by a theorem of Harish-Chandra. For example, has discrete series, while has none.
Reading path
To understand this page from the ground up, read these 29 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Almost everywhere concept
- Element definition
- Haar measure concept
- Integral of a non-negative function concept
- Irreducible representation concept
- Locally compact group concept
- Measurable function concept
- Measure space concept
- Proposition concept
- Unimodular group concept
- Unitary representation concept
- Vector space definition
- Set definition
- Implication definition
- Predicate definition
- Norm definition
- Ordered pair definition
- Set-builder notation concept
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Binary relation definition
- Reflexive relation definition
- Symmetric relation definition
- Transitive relation definition
- Equivalence relation definition
- Equivalence class definition
- Lp space definition
- Discrete series representation definition
Further reading
About this page
| Tag | 2CKZETC3QA |
|---|---|
| URI | m2://2CKZETC3QA |
| Kind | definition |
| Writing | W0 stub |
| MSC | 22E46, 22D10 |
| Defines | Discrete series representation |
| Uses | Locally compact group, Unimodular group, Haar measure, Unitary representation, Irreducible representation, Lp space |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.