On p-adic properties of Siegel modular forms

We show that Siegel modular forms of level \Gamma_0(p^m) are p-adic modular forms. Moreover we show that derivatives of such Siegel modular forms are p-adic. Parts of our results are also valid for vector-valued modular forms. In our approach to p-adic Siegel modular forms we follow Serre closely; his proofs however do not generalize to the Siegel case or need some modifications

Hecke operators on Hilbert-Siegel modular forms

We define Hilbert-Siegel modular forms and Hecke "operators" acting on them. As with Hilbert modular forms, these linear transformations are not linear operators until we consider a direct product of spaces of modular forms (with varying groups), modulo natural identifications we can make between certain spaces. With Hilbert-Siegel forms we identify several families of natural identifications between certain spaces of modular forms. We associate the Fourier coefficients of a form in our product space to even integral lattices, independent of a basis and choice of coefficient rings. We then determine the action of the Hecke operators on these Fourier coefficients, paralleling the result of Hafner and Walling for Siegel modular forms (where the number field is the field of rationals)

Almost holomorphic Poincare series corresponding to products of harmonic Siegel-Maass forms

We investigate Poincar\'e series, where we average products of terms of Fourier series of real-analytic Siegel modular forms. There are some (trivial) special cases for which the products of terms of Fourier series of elliptic modular forms and harmonic Maass forms are almost holomorphic, in which case the corresponding Poincar\'e series are almost holomorphic as well. In general this is not the case. The main point of this paper is the study of Siegel-Poincar\'e series of degree $2$ attached to products of terms of Fourier series of harmonic Siegel-Maass forms and holomorphic Siegel modular forms. We establish conditions on the convergence and nonvanishing of such Siegel-Poincar\'e series. We surprisingly discover that these Poincar\'e series are almost holomorphic Siegel modular forms, although the product of terms of Fourier series of harmonic Siegel-Maass forms and holomorphic Siegel modular forms (in contrast to the elliptic case) is not almost holomorphic. Our proof employs tools from representation theory. In particular, we determine some constituents of the tensor product of Harish-Chandra modules with walls

Computations of vector-valued Siegel modular forms

We carry out some computations of vector valued Siegel modular forms of degree two, weight (k,2) and level one. Our approach is based on Satoh's description of the module of vector-valued Siegel modular forms of weight (k, 2) and an explicit description of the Hecke action on Fourier expansions. We highlight three experimental results: (1) we identify a rational eigenform in a three dimensional space of cusp forms, (2) we observe that non-cuspidal eigenforms of level one are not always rational and (3) we verify a number of cases of conjectures about congruences between classical modular forms and Siegel modular forms.Comment: 18 pages, 2 table

Hecke actions on certain strongly modular genera of lattices

We calculate the action of some Hecke operators on spaces of modular forms spanned by the Siegel theta-series of certain genera of strongly modular lattices closely related to the Leech lattice. Their eigenforms provide explicit examples of Siegel cusp forms