Topological groups, Lie groups Representation theory of Lie groups Theorem
Stone–von Neumann theorem
Builds on Heisenberg groupUnitary representationHilbert spaceUnitary operatorLp space
Statement
Let and let be a Hilbert space. Let and be strongly continuous unitary representations of on that satisfy the Weyl relations Then is an orthogonal direct sum of closed subspaces, each invariant under all and . On each of them, the pair is unitarily equivalent to the Schrödinger pair on : In particular, every irreducible pair satisfying the Weyl relations is unitarily equivalent to .
Remarks
The pair satisfies the relations: . The Weyl relations say that defines a unitary representation of the Heisenberg group in which the center acts by scalars. So the theorem says: for each nontrivial character of the center, the Heisenberg group has exactly one irreducible unitary representation with that central character. A standard proof considers the operators , finds a rank-one projection among them, and uses it to build an isometry onto . The exponentiated Weyl form is needed: there are self-adjoint operators and that satisfy on a common dense invariant domain but are not equivalent to the Schrödinger pair. The finite number of degrees of freedom is also needed. For infinitely many degrees of freedom there are many inequivalent irreducible representations, a basic phenomenon of quantum field theory.
Going deeper
For a student
In representation theory the theorem classifies the infinite-dimensional irreducible unitary representations of the Heisenberg group. It is the first case of the Kirillov orbit method, where these representations correspond to the planes in the dual of the Lie algebra. Its uniqueness statement is what makes the oscillator representation of the metaplectic group possible: each symplectic map gives a second Schrödinger pair, hence an intertwining operator.
Reading path
To understand this page from the ground up, read these 31 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Almost everywhere concept
- Centre of a group concept
- Element definition
- Hilbert space concept
- Integral of a non-negative function concept
- Lie group concept
- Measurable function concept
- Measure space concept
- Nilpotent group concept
- Proposition concept
- Unitary operator concept
- Unitary representation concept
- Vector space definition
- Set definition
- Heisenberg group example
- 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
- Stone–von Neumann theorem statement
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | Z877XDBMQ3 |
|---|---|
| URI | m2://Z877XDBMQ3 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 22E27, 81S05, 22E70 |
| Status | This copy of the site has no build data. Run m2 status Z877XDBMQ3. |
| About | Heisenberg group |
| Uses | Heisenberg group, Unitary representation, Hilbert space, Unitary operator, Lp space |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- 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.