An algorithm to compute upper bounds of dimensions for Siegel Modular Forms of Prime Level and Arbitrary Nebentypus

Abstract

We describe an algorithmic method to determine the image of restriction maps for Siegel modular forms with \textit{arbitrary} characters and arbitrary weight. A program has been implemented in the mathematical software \texttt{Java} to compute the Fourier expansion of the image of these restriction maps for Siegel modular forms of genus two. This approach allows us to compute an upper bound for the space of Siegel modular forms with {\it non-trivial} character (which has not been previously known) and arbitrary weights (including low weight $k \leq 4$).