Cyclic vectors for Hilbert algebras (Q1308953)

The author presents a proof of the Stone-von Neumann theorem, which states that every infinite dimensional irreducible representation \(\pi\) of the Heisenberg group \(H_ n\) is determined by its restriction to the center \(Z\) of \(H_ n\). He shows first that every cyclic unitary representation of the algebra \(A = H.S.({\mathcal H})\) of all Hilbert-Schmidt operators on a Hilbert space \(\mathcal H\) is equivalent to the identity representation of \(A\). Let now \(\pi\) be an irreducible representation of \(H_ n\). The restriction of \(\pi\) to the center \(Z\) of the group gives us a character \(\chi_ \lambda\) for some \(\lambda \in \mathbb{R}\), of \(Z\). If \(\lambda \neq 0\), then the author shows that the Weyl transform \(W_ \pi(\phi) = \int_{\mathbb{R}^ n}\int_{\mathbb{R}^ n} \phi(x,y) \pi(x,y) dx dy\) defines a cyclic representation of the Hilbert algebra \(A_ \lambda = (L^ 2(\mathbb{R}^ n \times \mathbb{R}^ n),*_ \lambda)\). Since \(A_ \lambda\) is isomorphic with the algebra \(H.S.(L^ 2(\mathbb{R}^ n \times \mathbb{R}^ n))\) via the Schrödinger representation \(\rho_ \lambda\) of \(H_ n\), it follows that \(\pi\) is equivalent with \(\rho_ \lambda\). Let us mention that this proof is not new, it can be found implicitly for instance in \textit{G. Folland} [Harmonic analysis in phase space (Ann. Math. Stud. 122, 1989; Zbl 0682.43001)]. A shorter proof of this theorem consists in showing that the kernels of \(\pi\) and \(\rho_ \lambda\) in \(L^ 1(H_ n)\) coincide, which the author does implicitly in the proof of Lemma 3.6, and to apply the fact that \(\rho_ \lambda(L^ 1(H_ n))\) contains projections of rank 1.