The oscillator semigroup over finite fields (Q6914568)

Let \(W\) be a symplectic vector space over a finite field \textbf{F} with \(\#(\textbf{F})=q^k\) for some odd prime number \(q\) and let \(W^-\) be the symplectic space with underlying vector space \(W\), but with the symplectic form \(-\!<\ ,\ >\). Let \(Sp(W)\) be the isometry group of the form \(<\ ,\ >\) and let \(H\) be the group with the underlying set \(W\oplus {\textbf{F}}\) together with the operation \((w_1, t_1)\cdot (w_2,t_2)= (w_1+w_2, t_1+t_2+<w_1,w_2>\!/2)\). \N\NNow, let \(\chi\) be a non-trivial character of \(\textbf{F}\simeq Z(H)\) and \(\rho_{\chi}\) be a unique irreducible representation of \(H\) that exists according to the Stone-von Neumann-Mackey theorem. Further, \(\rho_{\chi}\) induces a certain representation \(\omega\) of \(Sp(W)\) that is called the \textit{oscillator representation}. It is proved that the collection of quantized Lagrangians of \(W\oplus W^-\) constitutes a semigroup of operators on the space of \(\rho_{\chi}\) (that is called the \textit{oscillator semigroup and denoted by \(OSp(W)\)}), which contains the image of \(Sp(W)\) acting by the oscillator representation and consists of a finite number of (left or right) cosets for this subgroup. A pair \((H, H')\) of subgroups of a group \(G\) forms a \textit{dual pair} if each of them is the full centralizer of the other inside \(G\). The introduction of the oscillator semigroup allows to prove the second major theorem: if \((G,G')\) is a reductive dual pair in \(Sp(W)\) and \(\Gamma'\subset OSp(W)\) is the centralizer of \(G\) in \(OSp(W)\), then \(\Gamma'\) spans the commuting algebra in \(End(\rho_{\chi})\) of \(\omega(G)\).\N\NFor the entire collection see [Zbl 1560.22002].