Computations of spaces of Siegel modular cusp forms

Abstract

Simple homomorphisms to elliptic modular forms are defined on the ring of Siegel modular forms and linear relations on the Fourier coefficients of Siegel modular forms are implied by the codomains of these homomorphisms. We use the linear relations provided by these homomorphisms to compute the Siegel cusp forms of degree n and weight k in some new cases: (n,k)=(4,14), (4,16), (5,8), (5,10), (6,8). We also compute enough Fourier coefficients using this method to determine the Hecke eigenforms in the nontrivial cases. We also put the open question of whether our technique always succeeds in a precise form. As a partial converse we prove that the Fourier series of Siegel modular forms are characterized among all formal series by the codomain spaces of these homomorphisms and a certain boundedness condition.