Theta lifts of generic representations for dual pairs \((\mathrm{Sp}_{2n}, \mathrm{O}(V))\) (Q2038391)

In this paper the author determines the occurrence and explicitly describes the theta lifts on all levels of all the irreducible generic representations for the dual pair of groups \( (\mathrm{Sp}_{2n},O(V)) \) defined over a local nonarchimedean field \( F \) of characteristic 0. As a direct application of his results, he is able to produce a series of non-generic unitarisable representations of these groups To briefly describe the main results proved in this paper, we shall paraphrase the introductory part. For \( \varepsilon=\pm 1 \) let \( W_n \) be a \( -\varepsilon \)-Hermitian vector space of dimension \( n \), \( V_m \) be an \( \varepsilon \)-Hermitian space of dimension \( m \) over a non-Archimedean local field \( F \) of characteristic \( 0 \). Denoting by by \( G(W_n) \) and \( H(V_m) \) the corresponding isometry groups, \( G(W_n) \times H(V_m) \) is a reductive dual pair inside a larger symplectic group \(\mathrm{Sp}(W_n \otimes V_m) \). Fixing an additive character \( \psi \) of \( F \), one obtains a Weil representation \( \omega_{m,n} \) of the dual pair \( G(W_n) \times H(V_m) \) (or the corresponding double covers). For an irreducible smooth representation \( \pi \) of \( G(W_n) \), the maximal \( \pi \)-isotypic quotient of \( \omega_{m,n} \) is of the form \( \pi\otimes\Theta(\pi,V_m) \) where \( \Theta(\pi,V_m) \) is an admissible representation of \( H(V_m) \). The Howe duality conjecture asserts that \( \Theta(\pi,V_m) \) has a unique irreducible quotient, denoted by \( \theta(\pi,V_m) \), whenever it is non-zero. The basic problems regarding this construction are determining whether \( \Theta(\pi,V_m) \) is non-zero and providing an explicit description of \( \theta(\pi,V_m) \). In this paper, the author provides a complete answer to these questions when \( \pi \) is a generic representation. He restricts himself to the case when both \( m \) and \( n \) are even, resulting in the dual pair \( (\mathrm{Sp}(W_n),O(V_m)) \). The question of determining whether \( \Theta(\pi,V_m) \) is non-zero is answered in terms of the first occurrence in a Witt tower. Namely, if \( (V_m) \) is a Witt tower of \( \varepsilon \)-Hermitian spaces, then Kudla's persistence principle guarantees that the number \( m(\pi) = \min{m : \Theta(\pi,V_m)\neq 0} \) is finite and that \( \Theta(\pi,V_{m(\pi)+2r}) \) for any \( r\ge 0 \). The author then proves a theorem (Theorem~1.1) describing the first occurrence index \( m(\pi) \) for any irreducible representation which is isomorphic to its standard module -- this includes generic representations because of the standard module conjecture. This paper relies mainly on the works of \textit{G. Muić} [J. Reine Angew. Math. 567, 99--150 (2004; Zbl 1037.22037); Can. J. Math. 60, No. 6, 1306--1335 (2008; Zbl 1155.22012)] which provide a complete description of \( \theta(\pi, V_m) \) when \( pi \) is in the discrete series, and on the more recent work of \textit{H. Atobe} and \textit{W. T. Gan} [Invent. Math. 210, No. 2, 341--415 (2017; Zbl 1394.11044)], which gives an analogous description (in a somewhat broader setting) for tempered \( \pi, \) using \( L \)-parameters.