We prove that if F is a nonzero (possibly noncuspidal) vector-valued Siegel modular form of any degree, then it has infinitely many nonzero Fourier coefficients which are indexed by half-integral matrices having odd, square-free (and thus fundamental) discriminant. The proof uses an induction argument in the setting of vector-valued modular forms. Further, as an application of a variant of our result and complementing the work of A. Pollack, we show how to obtain an unconditional proof of the functional equation of the spinor L-function of a holomorphic cuspidal Siegel eigenform of degree $3$ and level $1$ .

We consider families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call the Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zero locus defined by the Galois level of the family admits an automorphic description: it is the locus of points that arise from overconvergent eigenforms for $\operatorname{GL}_{2}$, via a $p$-adic Langlands lift attached to the symmetric cube representation. Our proof goes via the comparison of the Galois level with a ‘fortuitous’ congruence ideal. Some of the $p$-adic lifts are interpolated by a morphism of rigid analytic spaces from an eigencurve for $\operatorname{GL}_{2}$ to an eigenvariety for $\operatorname{GSp}_{4}$, while the remainder appear as isolated points on the eigenvariety.

We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $\mathit{GSp}_{4}/\mathbb{Q}$ in various aspects. A main tool is Arthur’s invariant trace formula. While Shin [Automorphic Plancherel density theorem, Israel J. Math.192(1) (2012), 83–120] and Shin–Templier [Sato–Tate theorem for families and low-lying zeros of automorphic $L$-functions, Invent. Math.203(1) (2016) 1–177] used Euler–Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A,B_{1}$ in Theorem 1.1 which have not been studied and a mysterious second term $B_{2}$ also appears in the second main term coming from the semisimple elements. Furthermore our explicit study enables us to treat more general aspects in the weight. We also give several applications including the vertical Sato–Tate theorem, the unboundedness of Hecke fields and low-lying zeros for degree 4 spinor $L$-functions and degree 5 standard $L$-functions of holomorphic Siegel cusp forms.

We show that a weakly holomorphic modular function can be written as a sum of modular units of higher level. Furthermore, we find a necessary and sufficient condition for a meromorphic Siegel modular function of degree g to have neither a zero nor a pole on a certain subset of the Siegel upper half-space .

We consider a mod 7 Galois representation attached to a genus 2 Siegel cusp form of level 1 and weight 28 and using some of its Fourier coefficients and eigenvalues computed by N. Skoruppa and the classification of maximal subgroups of PGSp(4,p) we show that its image is as large as possible. This gives a realization of PGSp(4,7) as a Galois group over ℚ and the corresponding number field provides a non-solvable extension of ℚ which ramifies only at 7.

We state and verify up to weight 172 a conjecture on the existence of a certain generating set for spaces of classical Siegel modular forms. This conjecture is particularly useful for calculations involving Fourier expansions. Using this generating set, we verify the Böcherer conjecture for nonrational eigenforms and discriminants with class number greater than one. As a further application we verify another conjecture for weights up to 150 and investigate an analog of the Victor–Miller basis. Additionally, we describe some arithmetic properties of the basis we found.

On Shimura varieties of orthogonal type over totally real fields, we prove a product formula and the modularity of Kudla’s generating series of special cycles in Chow groups.

We identify the majority of Siegel modular eigenforms in degree four and weights up to 16 as being Duke–Imamoḡlu–Ikeda or Miyawaki–Ikeda lifts. We give two examples of eigenforms that are probably also lifts but of an undiscovered type.

We show that for arbitrary even genus 2n with $n\equiv {0,1}$ (mod 4) the subspace of Siegel cusp forms of weight $k+n$ generated by the Ikeda lifts of elliptic cusp forms of weight 2k can be characterized by certain simple relations among the Fourier coefficients. These generalize the classical Maass relations in genus 2.