{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "3JE85VQR4G"
    }
  ],
  "body": "\n## Statement\n\nLet $n \\ge 1$ and let $H$ be a [[Hilbert space|HM2HHE3J51]].\nLet $U$ and $V$ be strongly continuous [[unitary representations|74BPYJNZTM]] of $\\R^n$ on $H$ that satisfy the Weyl relations\n$$U(s) V(t) = e^{i s \\cdot t} \\, V(t) U(s) \\qquad (s, t \\in \\R^n).$$\nThen $H$ is an orthogonal direct sum of closed subspaces, each invariant under all $U(s)$ and $V(t)$.\nOn each of them, the pair $(U, V)$ is unitarily equivalent to the Schrödinger pair on $L^2(\\R^n)$:\n$$(U_0(s) \\psi)(x) = \\psi(x + s), \\qquad (V_0(t) \\psi)(x) = e^{i t \\cdot x} \\psi(x).$$\nIn particular, every irreducible pair satisfying the Weyl relations is unitarily equivalent to $(U_0, V_0)$.\n\n## Remarks\n\nThe pair $(U_0, V_0)$ satisfies the relations: $(U_0(s) V_0(t) \\psi)(x) = e^{i t \\cdot (x + s)} \\psi(x + s) = e^{i s \\cdot t} (V_0(t) U_0(s) \\psi)(x)$.\nThe Weyl relations say that $(s, t, z) \\mapsto z \\, U(s) V(t)$ defines a unitary representation of the [[Heisenberg group|ZZYCV5EX9J]] in which the center acts by scalars.\nSo the theorem says: for each nontrivial character of the center, the Heisenberg group has exactly one irreducible unitary representation with that central character.\nA standard proof considers the operators $\\int\\int f(s, t) U(s) V(t) \\, ds \\, dt$, finds a rank-one projection among them, and uses it to build an isometry onto $L^2(\\R^n)$.\nThe exponentiated Weyl form is needed: there are self-adjoint operators $Q$ and $P$ that satisfy $[Q, P] = i$ on a common dense invariant domain but are not equivalent to the Schrödinger pair.\nThe finite number $n$ of degrees of freedom is also needed.\nFor infinitely many degrees of freedom there are many inequivalent irreducible representations, a basic phenomenon of quantum field theory.\n\n## Explanations\n\n### L1 human\n\nIn quantum mechanics, position and momentum do not commute.\nThe theorem says that once their commutation law is fixed, there is essentially only one way to realise them by operators.\nSo the wave mechanics of Schrödinger and the matrix mechanics of Heisenberg are two pictures of the same theory.\n\n### L2 human\n\nIn representation theory the theorem classifies the infinite-dimensional irreducible unitary representations of the Heisenberg group.\nIt is the first case of the Kirillov orbit method, where these representations correspond to the planes in the dual of the Lie algebra.\nIts 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.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "ZZYCV5EX9J"
    ],
    "kind": "statement",
    "msc": [
      "22E27",
      "81S05",
      "22E70"
    ],
    "name": "Stone–von Neumann theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q7619449",
      "wikipedia": "Stone–von Neumann theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Stone%E2%80%93von_Neumann_theorem"
      }
    ],
    "tag": "Z877XDBMQ3",
    "uses": [
      "ZZYCV5EX9J",
      "74BPYJNZTM",
      "HM2HHE3J51",
      "MM0EJ2GDE4",
      "7KGF78FGEF"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/Z877XDBMQ3/",
  "links": [
    {
      "field": "about",
      "target": "ZZYCV5EX9J"
    },
    {
      "field": "uses",
      "target": "ZZYCV5EX9J"
    },
    {
      "field": "uses",
      "target": "74BPYJNZTM"
    },
    {
      "field": "uses",
      "target": "HM2HHE3J51"
    },
    {
      "field": "uses",
      "target": "MM0EJ2GDE4"
    },
    {
      "field": "uses",
      "target": "7KGF78FGEF"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/Z877XDBMQ3.md",
  "msc": [
    "22E27",
    "81S05",
    "22E70"
  ],
  "name": "Stone–von Neumann theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/Z87/Z877XDBMQ3.md",
  "status": null,
  "tag": "Z877XDBMQ3",
  "uri": "m2://Z877XDBMQ3",
  "url": "https://tamnd.github.io/math2/wiki/stone-von-neumann-theorem/",
  "writing": {
    "tag": "Z877XDBMQ3",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}