No label defined (Q4497339)

Let \((G,G')\) be a reductive dual pair in the symplectic group \(\text{Sp}(2k,\mathbb R)\), i.e., \(G\) and \(G'\) are invariant under the standard Cartan involution of \({\text{Sp}}(2k,\mathbb R)\) and they are their mutual centralizers. Let \(K_G := G \cap U(k,\mathbb C)\) and \(\widetilde K_G\) the inverse image of \(K_G\) in the metaplectic group \(\widetilde{\text{Sp}}(2k,\mathbb R)\). Let \({\mathcal P}\) denote the space of complex polynomials in \(k\)-variables on which \({\mathbf sp}(2k,\mathbb R)\) acts via the metaplectic representation. We write \({\mathcal R}({\mathbf g,}\widetilde K_G,\omega)\) for the set of equivalence classes of irreducible \(({\mathbf g},\widetilde K_G)\)-modules realizable as quotients of \({\mathcal P}\). For \(\rho \in {\mathcal R}({\mathbf g}',\widetilde K_{G'},\omega)\) let \(\Omega(\rho) := {\mathcal P}/N_\rho\), where \(N_\rho\) is the intersection of the submodules \(N\) for which \({\mathcal P}/N\) is equivalent to \(\rho\). Then \(\Omega(\rho) \cong \rho \otimes \rho'\), where \(\rho'\) is a quasi-simple \(({\mathbf g},\widetilde K_G)\)-module with a unique simple quotient \(\theta(\rho)\), called the theta lift of \(\rho\). The present paper is concerned with dual pairs of the type \((G,G') = (O(p,q), {\text{Sp}}(2n,\mathbb R))\) and the trivial representation \textbf{1} of \(G' = {\text{Sp}}(2n,\mathbb R)\) for \(p+q\) even (otherwise the trivial representation is not contained in \({\mathcal R}({\mathbf sp}(2n,\mathbb R),\widetilde U(n),\omega)\)). The aim of the paper is to provide a basis of \(O(p) \times O(q)\) highest weight vectors for the module \(\Omega\text{(\textbf 1)}\) when \(\min(p,q) > 2n\). As a consequence, one obtains a relatively direct proof of the irreducibility of \(\Omega\text{(\textbf 1)} = \theta\text{(\textbf 1)}\). For the entire collection see [Zbl 0941.00016].