(April 22, 2015) Stone - von Neumann theorem Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ The bibliography indicates the origins of these issues in proving uniqueness, up to isomorphism, of the model for the commutation rules of quantum mechanics. As Mackey and Weil observed, some form of the argument succeeds in quite general circumstances. The argument here is an amalgam and adaptation of those in sources in the bibliography. The proof here applies nearly verbatim, with suitable adjustment of the notion of Schwartz space, to Heisenberg groups over other local fields in place of R. Fix a finite-dimensional R-vectorspace V with non-degenerate alternating form h; i. The corresponding Heisenberg group has Lie algebra h = V ⊕ R, with Lie bracket 0 0 0 [v + z; v + z ] = hv; v i 2 R ≈ f0g ⊕ R ⊂ V ⊕ R Exponentiating to the Lie group H, the group operation is hv; v0i exp(v + z) · exp(v0 + z0) = exp v + v0 + z + z0 + 2 This is explained by literal matrix exponentiation: for example, with v = (x; y) 2 R2, 0 1 0 xy 1 0 x z 1 x z + 2 exp(v + z) = exp @ 0 0 y A = @ 0 1 y A (with v = (x; y)) 0 0 0 0 0 1 We use Lie algebra coordinates on H, often suppressing the exponential on abelian subgroups, but reinstating an explicit exponential notation when necessary to avoid confusion. [0.0.1] Theorem: (Stone-vonNeumann) For fixed non-trivial unitary central character, up to isomorphism there is a unique irreducible unitary representation of the Heisenberg group with that central character. Further, any unitary representation with that central character is a multiple of that irreducible. Proof: We construct the irreducible for given non-trivial central character ! as an L2 induced representation, prove its irreducibility, and then prove uniqueness. Given a unitary representation π of the Heisenberg group H, the associated Weyl transform [1] π' of a Schwartz function ' on the alternating space V is the action of π integrated over V ⊂ H: Z π' = '(v) · π(v) dv (' 2 S V , unitary π) V [1] Unitaries π with central character ! are acted-on by functions ' on H that are compactly supported modulo the center, and transform by the complex conjugate character ! under the center, by Z ' · x = f(h) π(h)(x) dx (for x 2 π) H=Z The convolution product on such functions is Z (' ∗ )(g) = '(gh−1) (h) dh H=Z Over R, as opposed to Qp, one can also consider the reduced Heisenberg group H= ker !, which has the feature that Z= ker ! has become compact. This device is unavailable for Qp. 1 Paul Garrett: Stone - von Neumann theorem (April 22, 2015) Given a Lagrangian subspace W of V , W + Z is a maximal abelian subgroup of H. Extend a non-trivial central character ! trivially to W + Z by !(w + z) = !(z) 2 H [0.0.2] Claim: For the L induced representation σ = IndW +Z ! the map ' ! σ' on S V extends to an isometric bijection from L2(V ) to Hilbert-Schmidt operators on σ. Proof: We determine the kernel functions for operators σ'. Let V = W ⊕ W 0 with complementary Lagrangian subspace W 0 to W . On non-abelian subgroups of H we may revert to explicit denotation of the exponential map. The relation ex+y = ex · ey · e−hx;yi=2 for x; y 2 V gives an operator equality Z Z Z Z −hx; yi σ' = '(x + y) σ(ex+y) dx dy = '(x + y) σ(ex ey) ! dx dy W 0 W W 0 W 2 x H x w0 w0 x The action of e 2 H on f in the usual model of IndW +Z ! is by right translation (e f)(e ) = f(e · e ). 0 0 0 The relation ew ex = ex ew e−hx;w i gives 0 0 0 0 0 (exf)(ew ) = f(ew ex) = f(ex ew e−hx;w i) = !(−hx; w0i) · f(ew ) (for w0 2 W 0 and x 2 W ) Identify the representation space of σ with L2(W 0) via exp(W + Z)nH ≈ exp(W 0) ≈ W 0. For f 2 L2(W 0) and w0 2 W 0, Z Z −hx; yi (σ')f(w0) = ! '(x + y)(exeyf)(w0) dx dy 2 W 0 W From (exeyf)(w0) = !(−hx; w0i) · (eyf)(w0) = !(−hx; w0i) · f(y + w0) rearrange to see the kernel function: Z Z −hx; yi (σ')f(w0) = ! !(−hx; w0i) '(x + y) f(y + w0) dx dy 2 W 0 W Z Z −hx; y + 2w0i Z Z −hx; y + w0i = ! '(x + y) f(y + w0) dx dy = ! '(x + y − w0) f(y) dx dy 2 2 W 0 W W 0 W Z Z 0 0 −hx; y + w i 0 = K'(·; y) f(y) dy (with kernel K'(w ; y) = ! '(x + y − w ) dx) W 0 W 2 The integral in x 2 W is a Fourier transform FW along W ⊂ V , with respect to the character x ! !(hx; yi=2), making the Fourier transform a Schwartz function on W 0. Indeed, this (partial) Fourier transform is a homeomorphism S V ! S V , so 0 0 y + w 0 0 0 K'(w ; y) = FW ' ; y − w 2 S (W × W ) 2 Further, the partial Fourier transform is an isometry in the corresponding L2 metrics, so extends by continuity from S V ! S V to an isometry L2(W × W 0) ! L2(W 0 × W 0). Thus, ' 2 L2(W × W 0) gives a Hilbert- Schmidt operator on L2(W 0). Conversely, every Hilbert-Schmidt operator is given by such a kernel, which arises from some ' 2 L2(W × W 0). === [0.0.3] Corollary: Finite-rank operators are in the image of L2(V ) under σ. === [0.0.4] Corollary: The only continuous linear operators on σ commuting with σh for all h 2 H are scalars. 2 Paul Garrett: Stone - von Neumann theorem (April 22, 2015) Proof: Such T commutes with all integral operators σ' for ' 2 S V , therefore with all operators arising from ' 2 L2(V ), therefore with all Hilbert-Schmidt operators, including all finite-rank operators. Thus, for any vector e 2 V , the rank-one orthogonal projector P to C · e commutes with T , and P ◦ T = T ◦ P implies that T stabilizes the line C·e. Necessarily T acts by a scalar λ on any line it stabilizes. Likewise, for another vector e0, T acts by a scalar λ0 on C · e0, and by a scalar on the line C · (e + e0), as well. Thus, λ = λ0, and T is a scalar. === [0.0.5] Corollary: The representation σ is irreducible. Proof: For a closed stable subspace π, the orthogonal projector P to π commutes with H. By the previous corollary, P is scalar, so is 0 or 1. === Let ∗ be convolution of (Z; !)-equivariant smooth compactly-supported functions on H: Z (f ∗ g)(x) = f(xy−1) g(y) dy H=Z 1 1 Transport this convolution to Cc (V ), via the identification of ' 2 Cc (V ) with (Z; !)-equivariant functions ' on H by e v 'e(e · z) = !(z) · '(v) (for v 2 V and z 2 Z) 1 Thus, for f; g 2 Cc (V ), Z Z Z v −y y v−y −hv;yi y hv; yi (f ∗ g)(v) = f(e · e ) g(e ) dy = f(e · e 2 ) g(e ) dy = ! f(v − y) g(y) dy V H=Z V 2 Unsurprisingly, this convolution is not the convolution on the additive group V . This convolution extends to Schwartz functions S V on V . Under convolution, the Schwartz functions ' on V give an algebra A of operators σ' on the irreducible σ, compatible with composition of operators: σ' ◦ σ'0 = σ(' ∗ '0). For any unitary π of H with central character !, ' ! π' maps S V to an algebra Aπ of operators on π, and respects Hilbert space adjoints. 0 For f 2 S W with jfjL2(W 0) = 1, the orthogonal projector P to the line C · f is Hilbert-Schmidt, so is in V 2 the image of the Weyl transform. That is, P = σ' for σ = IndW +Z ! and some ' 2 L (V ), with ' ∗ ' = ''_ = ' σ' ◦ σh ◦ σ' = hσhf; fi · σ' (for h 2 H) In fact, ' 2 S V , because f 2 S V , so the kernel function of P is K(u; v) = f(u) f (v), and we have the relation y + w0 f(w0) f (y) = K(w0; y) = K (w0; y) = F ' ; y − w0 ' W 2 The (partial) Fourier transform maps Schwartz functions to Schwartz functions. Thus, for any unitary π with central character !, the integral operator π' makes sense. [0.0.6] Claim: With fixed ' as above, the images (πh ◦ π')(x) for h 2 H and x 2 π are dense in the Hilbert space π. Proof: Let y be orthogonal to all the indicated images. For h = eu in H, suppressing π, Z Z Z 0 = hh · ' · h−1x; yi = '(v) heu · ev · e−ux; yi dv = '(v) hev+hu;vix; yi dv = '(v) !hu; vi hev · x; yi dv V V V The function v ! '(v) · hev · x; yi is continuous and in L2(V ), because ' is Schwartz, and because jhev · x; yij = jhσ(ev)(x); yij ≤ jσ(ev)xj · jyj = jxj · jyj (because σ is unitary) 3 Paul Garrett: Stone - von Neumann theorem (April 22, 2015) The vanishing Z 0 = '(v) · !hu; vi · hev · x; yi dv V is vanishing of the Fourier transform of v ! '(v) · hev · x; yi.