We prove an equidistribution statement for the Satake parameters of the local representations attached to Siegel cusp forms of degree $2$ of increasing level and weight, counted with a certain arithmetic weight. We then apply this to compute the symmetry type of a similarly weighted distribution of the low-lying zeros of $L$-functions attached to these cusp forms.
We prove equidistribution theorems for a family of holomorphic Siegel cusp forms of general degree in the level aspect. Our main contribution is to estimate unipotent contributions for general degree in the geometric side of Arthur's invariant trace formula in terms of Shintani zeta functions. Several applications including the vertical Sato-Tate theorem and low-lying zeros for standard $L$-functions of holomorphic Siegel cusp forms are discussed. We also show that the "non-genuine forms" which come from non-trivial endoscopic contributions by Langlands functoriality classified by Arthur are n…
We study the distribution, in the space of Satake parameters, of local components of Siegel cusp forms of genus 2 and growing weight, subject to a specific weighting which allows us to apply results concerning Bessel models and a variant of Petersson's formula. We obtain for this family a quantitative local equidistribution result, and derive a number of consequences. In particular, we show that the computation of the density of low-lying zeros of the spinor L-functions (for restricted test functions) gives global evidence for a well-known conjecture of Böcherer concerning the arithmetic natur…
This paper is a continuation of the author's previous wotk. We supplement four results on a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$. First, we improve the result on Hecke fields. Namely, we prove that the degree of Hecke fields is unbounded on the subspace of genuine forms which do not come from functorial lift of smaller subgroups of $GSp_4$ under a conjecture in local-global compatibility and Arthur's classification for $GSp_4$. Second, we prove simultaneous vertical Sato-Tate theorem. Namely, we prove simultaneous equidistribution of Hecke eigenvalues at finitely many…
We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$ in various aspects. A main tool is Arthur's invariant trace formula. While Shin and Shin-Templier 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 the main theorem which have not been studied and a mysterious second term $B_2$ also appears in the second main te…
In order to considering the integrality of nearly holomorphic (vector-valued) Siegel modular forms, we introduce nearly Siegel modular forms and study their integrality. We show that the integrality of nearly Siegel modular forms in terms of their Fourier expansion implies the integrality of their CM values. Furthermore, we show that there exists a one-to-one correspondence between integral nearly Siegel modular forms and integral nearly holomorphic ones. By these results, the integrality of CM values holds for nearly holomorphic Siegel modular forms and for nearly overconvergent p-adic Siegel…
We show that Siegel modular forms of level Γ_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.
We give two applications of Arthur's multiplicity formula to Siegel modular forms. The one is a lifting theorem for vector valued Siegel modular forms, which contains Miyawaki's conjectures and Ibukiyama's conjectures. The other is the strong multiplicity one theorem for Siegel modular forms of scalar weights and level one.
The aim of this paper is to show lifts from pairs of two elliptic modular forms to Siegel modular forms of half-integral weight of even degree under the assumption that the constructed Siegel modular form is not identically zero. The key of the proof is to introduce a certain generalization of the Maass relation for Siegel modular forms of half-integral weight of general degree.
We determine the ring structure of Siegel modular forms of degree g modulo a prime p, extending Nagaoka's result in the case of degree g=2. We characterize U(p) congruences of Jacobi forms and Siegel modular forms, and surprisingly find different behaviors of Siegel modular forms of even and odd degrees.
We prove a harmonically weighted equidistribution result for the $p$-th Satake parameters of the family of automorphic cuspidal representations of $\operatorname{PGSp}(2n)$ of fixed weight $\mathtt{k}$ and prime-to-$p$ level $N\to \infty$. The main tool is a new asymptotic Petersson formula for $\operatorname{GSp}(2n)$ in the level aspect.
Deligne proved that the weights of Siegel modular forms on any congruence subgroup of the Siegel modular group of genus g>1 must be integral or half integral. We give a different proof for this. It uses Mennicke's result that subgroups of finite index of the Siegel modular group are congruence subgroups and some techniques from a paper of Bass-Milnor-Serre.
We determine conditions for the existence and non-existence of Ramanujan-type congruences for Jacobi forms. We extend these results to Siegel modular forms of degree 2 and as an application, we establish Ramanujan-type congruences for explicit examples of Siegel modular forms.
We describe the $p$-divisibility transposition for the Fourier coefficients of Siegel modular forms. This provides a supplement to the result by Wilton for $p$-divisibility satisfied by the Ramanujan $τ$-function.
We establish a relation between Galois reducibility and Endoscopy for genus 2 Siegel cusp forms which have rational eigenvalues and are unramified at 3
We prove an equidistribution of signs for the Fourier coefficients of Hilbert modular forms of half-integral weight. Our study focuses on certain subfamilies of coefficients that are accessible via the Shimura correspondence. This is a generalization of the result of Inam and Wiese to the setting of totally real number fields
Unlike classical modular forms, there is currently no general way to implement the computation of Siegel modular forms of arbitrary weight, level and character, even in degree two. There is however, a way to do it in a unified way. After providing a survey of known computations we describe the implementation of a class modeling Siegel modular forms of degree two in Sage. In particular, we describe algorithms to compute a variety of rings of Siegel modular forms, many of which are implemented in our class. A wide variety of Siegel modular forms (e.g., both vector- and scalar-valued) can be mode…
Let $E_n$ be the Siegel Eisenstein series of degree $n$ and weight $k$ with a complex parameter $s$. In this paper, using a differential operator $D$ by Ibukiyama which sends a scalar valued Siegel modular form to the tensor product of two vector valued Siegel modular forms, under a certain condition, we give a formula of $DE_{p+q}$ on $H_p\times H_q$, where $H_n$ is the Siegel upper half space of degree $n$. Furthermore, we give some applications of this formula, i.e., analytic properies of standard $L$-functions and the Klingen Eisenstein series and algebraicity results for Siegel modular fo…
It was shown in previous works that the measure associated to holomorphic newforms of weight $k$ and level $q$ will tend weakly to the Haar measure on modular curve of level 1, as $qk\rightarrow \infty$. In this paper we proved that this phenomenon is also true on modular curves of general level N.
We generalize to Hilbert modular varieties of arbitrary dimension the work of W. Duke (Inventiones 1988) on the equidistribution of Heegner points and of primitive positively oriented closed geodesics in the Poincare upper half plane, subject to certain subconvexity results. We also prove vanishing results for limits of cuspidal Weyl sums associated with analogous problems for the Siegel upper half space of degree 2. In particular, these Weyl sums are associated with families of Humbert surfaces in Siegel 3-folds and of modular curves in these Humbert surfaces.
Let $p$ be a prime, and let $Γ=\Sp_g(\Z)$ be the Siegel modular group of genus $g$. We study $p$-adic families of zeta functions and Siegel modular forms. $L$-functions of Siegel modular forms are described in terms of motivic $L$-functions attached to $\Sp_g$, and their analytic properties are given. Critical values for the spinor $L$-functions and $p$-adic constructions are discussed. Rankin's lemma of higher genus is established. A general conjecture on a lifting from $ GSp_{2m} \times GSp_{2m}$ to $GSp_{4m}$ (of genus $g=4m$) is formulated. Constructions of $p$-adic families of Siegel modu…
We establish Sturm bounds for degree g Siegel modular forms modulo a prime p, which are vital for explicit computations. Our inductive proof exploits Fourier-Jacobi expansions of Siegel modular forms and properties of specializations of Jacobi forms to torsion points. In particular, our approach is completely different from the proofs of the previously known cases g=1,2, which do not extend to the case of general g.
We prove that integral points can be effectively determined on all but finitely many modular curves, and on all but one modular curve of prime power level.
Given a characteristic, we define a character of the Siegel modular group of level 2, the computations of their values are also obtained. By using our theorems, some key theorems of Igusa [1] can be recovered.
We continue our study of Yoshida's lifting, which associates to a pair of automorphic forms on the adelic multiplicative group of a quaternion algebra a Siegel modular form of degree 2. We consider here the case that the automorphic forms on the quaternion algebra correspond to modular forms of arbitrary even weights and square free levels; in particular we obtain a construction of Siegel modular forms of weight 3 attached to a pair of elliptic modular forms of weights 2 and 4.
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…
Cheng constructed product expansions from twists of elliptic genera of symmetric powers of K3 surfaces that are related to M_24 moonshine. We study which of them are Siegel modular forms. If the predicted level is non-composite, they are modular, and their powers can be represented as products of rescaled Borcherds products.
In this work we obtain algebraicity results on special $L$-values attached to Siegel-Jacobi modular forms. Our method relies on a generalization of the doubling method to the Jacobi group obtained in our previous work, and on introducing a notion of near holomorphy for Siegel-Jacobi modular forms. Some of our results involve also holomorphic projection, which we obtain by using Siegel-Jacobi Poincaré series of exponential type.
Sturm obtained the bounds for the number of the first Fourier coefficients of elliptic modular form $f$ to determine vanishing of $f$ modulo a prime $p$. In this paper, we study analogues of Sturm's bound for Siegel modular forms of genus 2. We show the resulting bound is sharp. As an application, we study congruences involving Atkin's $U(p)$-operator for the Fourier coefficients of Siegel mdoular forms of genus 2.
Kohnen introduced a limit process for Siegel modular forms that produces Jacobi forms. He asked if there is a space of real-analytic Siegel modular forms such that skew-holomorphic Jacobi forms arise via this limit process. In this paper, we initiate the study of harmonic skew-Maass-Jacobi forms and harmonic Siegel-Maass forms. We improve a result of Maass on the Fourier coefficients of harmonic Siegel-Maass forms, which allows us to establish a connection to harmonic skew-Maass-Jacobi forms. In particular, we answer Kohnen's question in the affirmative.
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 det…
We study the analytic behavior of the restriction of a Siegel modular form to $\mathbb{H} \times \mathbb{H}$ in the case that the Siegel form is a Saito-Kurokawa lift. A formula of Ichino links this behavior to a family of $GL_3 \times GL_2$ $L$-functions.
In this work we study the analytic properties of the standard L-function attached to Siegel-Jacobi modular forms of higher index, generalizing previous results of Arakawa and Murase. Furthermore, we obtain algebraicity results on special L-values in the spirit of Deligne's Period Conjectures.
We construct a ring of meromorphic Siegel modular forms of degree 2 and level 5, with singularities supported on an arrangement of Humbert surfaces, which is generated by four singular theta lifts of weights 1, 1, 2, 2 and their Jacobian. We use this to prove that the ring of holomorphic Siegel modular forms of degree 2 and level $Γ_0(5)$ is minimally generated by eighteen modular forms of weights 2, 4, 4, 4, 4, 4, 6, 6, 6, 6, 10, 11, 11, 11, 13, 13, 13, 15.
We describe the supersingular locus of the Siegel 3-fold with a parahoric level structure. We also study its higher dimensional generalization. Using this correspondence and a deep result of Li and Oort, we evaluate the number of irreducible components of the supersingular locus of the Siegel moduli space $\calA_{g,1,N}$ for arbitrary $g$.
Given two Siegel eigenforms of different weights, we determine explicit sets of Hecke eigenvalues for the two forms that must be distinct. In degree two, and under some additional conditions, we determine explicit sets of Fourier coefficients of the two forms that must be distinct.
We address the problem of the determination of the images of the Galois representations attached to genus 2 Siegel cusp forms of level 1 having multiplicity one. These representations are symplectic. We prove that the images are as large as possible for almost every prime, if the Siegel cusp form is not a Maass spezialform and verifies two easy to check conditions.
In this work we use the Rankin-Selberg method to obtain results on the analytic properties of the standard $L$-function attached to vector valued Siegel modular forms. In particular we provide a detailed description of its possible poles and obtain a non-vanishing result of the twisted $L$-function beyond the usual range of absolute convergence. We remark that these results were known in this generality only in the case of scalar weight Siegel modular forms. As an interesting by-product of our work we establish the cuspidality of some theta series.
For positive integers $g$ and $N$, let $\mathcal{F}_N$ be the field of meromorphic Siegel modular functions of genus $g$ and level $N$ whose Fourier coefficients belong to the $N$th cyclotomic field. We present explicit generators of $\mathcal{F}_N$ over $\mathcal{F}_1$ in terms of quotient of theta constants, when $g\geq2$ and $N\geq 3$.
We study several aspects of nonvanishing Fourier coefficients of elliptic modular forms $\bmod \ell$, partially answering a question of Bellaïche-Soundararajan concerning the asymptotic formula for the count of the number of Fourier coefficients upto $x$ which do not vanish $\bmod \ell$. We also propose a precise conjecture as a possible answer to this question. Further, we prove several results related to the nonvanishing of arithmetically interesting (e.g., primitive or fundamental) Fourier coefficients $\bmod \ell $ of a Siegel modular form with integral algebraic Fourier coefficients provi…
We formulate an explicit refinement of Böcherer's conjecture for Siegel modular forms of degree 2 and squarefree level, relating weighted averages of Fourier coefficients with special values of L-functions. To achieve this, we compute the relevant local integrals that appear in the refined global Gan-Gross-Prasad conjecture for Bessel periods as proposed by Yifeng Liu. We note several consequences of our conjecture to arithmetic and analytic properties of L-functions and Fourier coefficients of Siegel modular forms.
We correct the proof of the theorem in the previous paper presented by the first named author, which concerns Sturm bounds for Siegel modular forms of degree $2$ and of even weights modulo a prime number dividing $2\cdot 3$. We give also Sturm bounds for them of odd weights for any prime numbers, and we prove their sharpness. The results cover the case where Fourier coefficients are algebraic numbers.
We provide a new and simple automorphic method using Eisenstein series to study the equidistribution of modular symbols modulo primes, which we apply to prove an average version of a conjecture of Mazur and Rubin. More precisely, we prove that modular symbols corresponding to a Hecke basis of weight 2 cusp forms are asymptotically jointly equidistributed mod $p$ while we allow restrictions on the location of the cusps. As an application, we obtain a residual equidistribution result for Dedekind sums. Furthermore, we calculate the variance of the distribution and show a surprising bias with con…
We attempt to generalize a congruence property of elliptic modular forms proved by Sturm to that of Haupttypus of Siegel modular forms of degree 2 with level. Namely, we give an explicit bound of Fourier coefficients required to determine the congruence of modular forms. We give the analog of Sturm's theorem for Jacobi forms, which is required in the proof. In the case that Nebentypus of Siegel modular forms with prime level, in order to prove the congruence between two modular forms, we show that it suffices to check the congruence of the finitely many Fourier coefficients. Finally, we give t…
We derive an explicit upper bound for the number of systems of Hecke eigenvalues coming from Siegel modular forms (mod p) of dimension g and level N relatively prime to p. In the special case of elliptic modular forms (g=1), our result agrees with recent work of G. Herrick.