Lowest weight modules of Sp_4(R) and nearly holomorphic Siegel modular forms

Abstract

We undertake a detailed study of the lowest weight modules for the Hermitian symmetric pair (G,K), where G=Sp_4(R) and K is its maximal compact subgroup. In particular, we determine K-types and composition series, and write down explicit differential operators that navigate all the highest weight vectors of such a module starting from the unique lowest-weight vector. By rewriting these operators in classical language, we show that the automorphic forms on G that correspond to the highest weight vectors are exactly those that arise from nearly holomorphic vector-valued Siegel modular forms of degree 2. Further, by explicating the algebraic structure of the relevant space of n-finite automorphic forms, we are able to prove a structure theorem for the space of nearly holomorphic vector-valued Siegel modular forms of (arbitrary) weight $de{t}^{\ell }$ sym^m with respect to an arbitrary congruence subgroup of Sp_4(Q). We show that the cuspidal part of this space is the direct sum of subspaces obtained by applying explicit differential operators to holomorphic vector-valued cusp forms of weight $de{t}^{{\ell }^{\prime }}sy{m}^{m^{\prime }}$ with $({\ell }^{\prime },m^{\prime })$ varying over a certain set. The structure theorem for the space of all modular forms is similar, except that we may now have an additional component coming from certain nearly holomorphic forms of weight $de{t}^{3}sy{m}^{m^{\prime }}$ that cannot be obtained from holomorphic forms. As an application of our structure theorem, we prove several arithmetic results concerning nearly holomorphic modular forms that improve previously known results in that direction.

51 pages. Accepted version, to appear in Kyoto J. Math

Cited by in corpus (9)

• On the standard $L$-function for $GS{p}_{2n}\times G{L}_1$ and algebraicity of symmetric fourth $L$-values for $G{L}_2$
• An equidistribution theorem for holomorphic Siegel modular forms for $GS{p}_4$
• Representations of SL_2(R) and nearly holomorphic modular forms
• Nearly holomorphic automorphic forms on Sp(2n) with sufficiently regular infinitesimal characters and applications
• Genus Two Quasi-Siegel Modular Forms and Gromov-Witten Theory of Toric Calabi-Yau Threefolds
• Integral representation and critical $L$-values for holomorphic forms on $GS{p}_{2n}\times G{L}_1$
• A classification of harmonic Maass forms
• The special values of the standard $L$-functions for ${\mathrm{GSp}}_{2n}\times {\mathrm{GL}}_1$
• Automorphic ${\mathrm{SL}}_2$-periods and the subconvexity problem for ${\mathrm{GL}}_2\times {\mathrm{GL}}_3$