Let $F$ be a Siegel cusp form of degree 2, even weight $k \geq 2$ and odd squarefree level $N$. We undertake a detailed study of the analytic properties of Fourier coefficients $a(F,S)$ of $F$ at fundamental matrices $S$ (i.e., with $-4 det(S)$ equal to a fundamental discriminant). We prove that as $S$ varies along the equivalence classes of fundamental matrices with $det(S) \asymp X$, the sequence $a(F,S)$ has at least $X^{1-ε}$ sign changes, and takes at least $X^{1-ε}$ "large values". Furthermore, assuming the Generalized Riemann Hypothesis as well as the refined Gan--Gross--Prasad conjecture, we prove the bound $|a(F,S)| \ll_{F, ε} \frac{\det(S)^{\frac{k}2 - \frac{1}{2}}}{ (\log |\det(S)|)^{\frac18 - ε}}$ for fundamental matrices $S$.
Starting from a Hilbert cusp form of weight $2\kap$, we will construct a Hilbert-Siegel cusp form of weight $\kap+\frac{m}{2}$ and degree $m$ and its transfer to inner forms of symplectic groups.
In this paper we generalize a well-known isomorphism between the space of cusp forms of weight $k$ for a Fuchsian subgroup of the first kind $Γ\subset\mathrm{SL}_{2}(\mathbb{R})$ and the space of certain Maaß forms of weight $k$ for $Γ$ to an isomorphism between the space of Siegel cusp forms of weight $k$ for a subgroup $Γ\subset\mathrm{Sp}_{n}(\mathbb{R})$, which is commensurable with the Siegel modular group $\mathrm{Sp}_{n}(\mathbb{Z})$, and a suitable space of Siegel-Maaß forms of weight $k$ for $Γ$.
Using the relationship between Siegel cusp forms of degree $2$ and cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A}_{\mathbb{Q}})$, we derive some congruences involving dimensions of spaces of Siegel cusp forms of degree $2$ and the class number of $\mathbb{Q}(\sqrt{-p})$. We also obtain some congruences between the $4$-core partition function $c_4(n)$ and dimensions of spaces of Siegel cusp forms of degree $2$.
In this article, we establish quantitative results for sign changes in certain subsequences of primitive Fourier coefficients of a non-zero Siegel cusp form of arbitrary degree over congruence subgroups. As a corollary of our result for degree two Siegel cusp forms, we get sign changes of its diagonal Fourier coefficients. In the course of our proofs, we prove the non-vanishing of certain type of Fourier-Jacobi coefficients of a Siegel cusp form and all theta components of certain Jacobi cusp forms of arbitrary degree over congruence subgroups, which are also of independent interest.
In this article, the authors give a lower bound on the number of sign changes of Fourier coefficients of a non-zero degree two Siegel cusp form of even integral weight on a Hecke congruence subgroup. They also provide an explicit upper bound for the first sign change of Fourier coefficients of such Siegel cusp forms. Explicit upper bound on the first sign change of Fourier coefficients of a non-zero Siegel cusp form of even integral weight on the Siegel modular group for arbitrary genus were dealt in an earlier work of Choie, the first author and Kohnen.
In this paper, we show that half of non-zero coefficients of the spinor zeta function of a Siegel cusp form of genus 2 are positive and half are negative.
In this paper, we establish a Voronoi formula for the spinor zeta function of a Siegel cusp form of genus 2. We deduce from this formula quantitative results on the number of its positive (resp. negative) coefficients in some short intervals.
Let $F$ and $G$ be Siegel cusp forms for $\Sp_4(\Z)$ and weights $k_1, k_2$ respectively. Also let $F$ and $G$ be Hecke eigenforms lying in distinct eigen spaces. Further suppose that neither $F$ nor $G$ is a Saito-Kurokawa lift. In this article, we study simultaneous arithmetic behaviour of Hecke eigenvalues of these Hecke eigenforms.
We study nearly holomorphic Siegel Eisenstein series of general levels and characters on $\mathbb{H}_{2n}$, the Siegel upper half space of degree $2n$. We prove that the Fourier coefficients of these Eisenstein series (once suitably normalized) lie in the ring of integers of $\mathbb{Q}_p$ for all sufficiently large primes $p$. We also prove that the pullbacks of these Eisenstein series to $\mathbb{H}_n \times \mathbb{H}_n$ are cuspidal under certain assumptions.
We prove `polynomial in $k$' bounds on the size of the Bergman kernel for the space of holomorphic Siegel cusp forms of degree $n$ and weight $k$. When $n=1,2$ our bounds agree with the conjectural bounds on the aforementioned size, while the lower bounds match for all $n \ge 1$. For an $L^2$-normalised Siegel cusp form $F$ of degree $2$, our bound for its sup-norm is $O_ε(k^{9/4+ε})$. Further, we show that in any compact set $Ω$ (which does not depend on $k$) contained in the Siegel fundamental domain of $\mathrm{Sp}(2, \mathbb Z)$ on the Siegel upper half space, the sup-norm of $F$ is $O_Ω(k…
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…
In this paper, we consider automorphic forms on $\mathrm{Sp}_4(\mathbb{A}_\mathbb{Q})$ which generate large discrete series representations of $\mathrm{Sp}_4(\mathbb{R})$ as $(\mathfrak{sp}_4(\mathbb{R}),K_\infty)$-modules. We determine the cuspidal components and the structure of the space of such automorphic forms.
We compute the special values for the spinor L-function L(s,F12) in the critical strip s={12,...,19}, where F12 is the unique (up to a scalar) Siegel cusp form of degree 3 and weight 12, which was constructed by Miyawaki. These values are proportional to the product of Petersson inner products of Ramanujan's Delta by itself and the cusp form of weight 20 for SL(2,Z) by itself by a rational number and some power of Pi. We also verify this result numerically using Dokchitser's ComputeL PARI package. To our knowledge this is the first example of a spinor L-function of Siegel cusp forms of degree …
We prove that a Siegel cusp form of degree 2 for the full modular group is determined by its set of Fourier coefficients a(S) with 4 det(S) ranging over odd squarefree integers. As a key step to our result, we also prove that a classical cusp form of half-integral weight and level 4N, with N odd and squarefree, is determined by its set of Fourier coefficients a(d) with d ranging over odd squarefree integers, a result that was previously known only for Hecke eigenforms.
The purpose of this paper is to give an explicit dimension formula for the spaces of vector valued Siegel cusp forms of degree two with respect to a certain kind of arithmetic subgroups of the non-split Q-forms of Sp(2,R). We obtain our result by using Hashimoto and Ibukiyama's results in [HI80],[HI83] and Wakatsuki's formula in [Wak]. Our result is a generalization of formulae in [Has84,Theorem 4.1] and [Wak,Theorem 6.1].
We prove that the "naive" convolution Dirichlet series D_2(s) attached to a degree 2 Siegel Hecke cusp form F, has a pole at s=1. As an application, we write down the asymptotic formula for the partial sums of the squares of the eigenvalues of $F$ with an explicit error term. Further, as a corollary, we are able to show that the abscissa of absolute convergence of the (normalized) spinor zeta function attached to F is s = 1.
We explicitly compute the special values of the standard $L$-function $L(s, F_{12}, \mathrm{St})$ at the critical points $s\in\{-8, -6, -4, -2, 0, 1, 3, 5, 7, 9\}$, where $F_{12}$ is the unique (up to a scalar) Siegel cusp form of degree $3$ and weight $12$, which was constructed by Miyawaki. These values are proportional to the product of the Petersson norms of symmetric square of Ramanujan's $Δ$ and the cusp form of weight $20$ for ${\rm SL}_2(\mathbb{Z})$ by a rational number and some power of $π$. We use the Rankin-Selberg method and apply the Holomorphic projection to compute these values…
Let $π$ be the automorphic representation of $\GSp_4(\A)$ generated by a full level cuspidal Siegel eigenform that is not a Saito-Kurokawa lift, and $τ$ be an arbitrary cuspidal, automorphic representation of $\GL_2(\A)$. Using Furusawa's integral representation for $\GSp_4\times\GL_2$ combined with a pullback formula involving the unitary group $\GU(3,3)$, we prove that the $L$-functions $L(s,π\timesτ)$ are "nice". The converse theorem of Cogdell and Piatetski-Shapiro then implies that such representations $π$ have a functorial lifting to a cuspidal representation of $\GL_4(\A)$. Combined wit…
Let F in S_k(Sp(2g, Z)) be a cuspidal Siegel eigenform of genus g with normalized Hecke eigenvalues mu_F(n). Suppose that the associated automorphic representation pi_F is locally tempered everywhere. For each c>0 we consider the set of primes p for which |mu_F(p)| >= c and we provide an explicit upper bound on the density of this set. In the case g=2, we also provide an explicit upper bound on the density of the set of primes p for which mu_F(p) >= c.
Let $F$ be a vector-valued real analytic Siegel cusp eigenform of weight $(2,1)$ with the eigenvalues $-\frac 5{12}$ and 0 for the two generators of the center of the algebra consisting of all $Sp_4(\R)$-invariant differential operators on the Siegel upper half plane of degree 2. Under the assumptions (1) the validity of the transfer of automorphic representations of $GSp_4$ to $GL_4$; (2) the existence of mod $\ell$ Galois representation attached to $F$ and its lift to characteristic zero; (3) rationality of the space consisting of any such $F$; and (4) the integrality of Hecke polynomials of…
Let $k > 3$ be an integer and $p$ a prime with $p > 2k-2$. Let $f$ be a newform of weight $2k-2$ and level 1 so that $f$ is ordinary at $p$ and $\barρ_{f}$ is irreducible. Under some additional hypotheses we prove that $ord_{p}(L_{alg}(k,f)) \leq ord_{p}(# S)$ where $S$ is the Pontryagin dual of the Selmer group associated to $ρ_{f} \otimes ε^{1-k}$ with $ε$ the $p$-adic cyclotomic character. We accomplish this by first constructing a congruence between the Saito-Kurokawa lift of $f$ and a non-CAP Siegel cusp form. Once this congruence is established, we use Galois representations to obtain th…
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.
We compute the space $S_2(K(N))$ of weight $2$ Siegel paramodular cusp forms of squarefree level $N<300$. In conformance with the paramodular conjecture of A. Brumer and K. Kramer, the space is only the additive (Gritsenko) lift space of the Jacobi cusp form space $J_{2,N}^{\text{cusp}}$ except for $N=249,295$, when it further contains one nonlift newform. For these two values of $N$, the Hasse-Weil $p$-Euler factors of a relevant abelian surface match the spin $p$-Euler factors of the nonlift newform for the first two primes $p\nmid N$.
Let $ Γ$ be a congruence subgroup of $ \mathrm{Sp}_{2n}(\mathbb Z) $. Using Poincaré series of $ K $-finite matrix coefficients of integrable discrete series representations of $ \mathrm{Sp}_{2n}(\mathbb R) $, we construct a spanning set for the space $ S_m(Γ) $ of Siegel cusp forms of weight $ m\in\mathbb Z_{>2n} $. We prove the non-vanishing of certain elements of this spanning set using Muić's integral non-vanishing criterion for Poincaré series on locally compact Hausdorff groups. Moreover, using the representation theory of $ \mathrm{Sp}_{2n}(\mathbb R) $, we study the Petersson inner pro…
Let p be an odd prime and g an integer greater or equal to 2. We prove that a finite slope Siegel cuspidal eigenform of genus g can be p-adically deformed over the g-dimensional weight space. The proof of this result relies on the construction of a family of sheaves of locally analytic overconvergent modular forms.
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 give a summary of results for dimensions of spaces of cuspidal Siegel modular forms of degree 2. These results together with a list of dimensions of the irreducible representations of the finite groups GSp(4,Fp) are then used to produce bounds for dimensions of spaces of newforms with respect to principal congruence subgroups of odd square-free level.
We show that the systems of Hecke eigenvalues occurring in the spaces of Siegel modular forms (mod p) of fixed dimension g, fixed level N, and varying weight, are the same as the systems occurring in the spaces of Siegel cusp forms with the same parameters and varying weight. In particular, in the case g=1, this says that the Hecke eigensystems (mod p) coming from classical modular forms are the same as those coming from cusp forms. The proof uses restriction to the superspecial locus. We also give a comparison of cusp forms on the Satake compactification versus the toroidal compactifications …
Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting provided by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.
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.
Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting which has been established by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.
We establish a relation between Galois reducibility and Endoscopy for genus 2 Siegel cusp forms which have rational eigenvalues and are unramified at 3
In this paper, we give a dimension formula for spaces of Siegel cusp forms of general degree with respect to neat arithmetic subgroups. The formula was conjectured before by several researchers. The dimensions are expressed by special values of Shintani zeta functions for spaces of symmetric matrices at non-positive integers. This formula was given by Shintani for only a small part of the geometric side of the trace formula. To be precise, it is the contribution of unipotent elements corresponding to the partitions $(2^j,1^{2n-2j})$, where $n$ denotes the degree and $0\leq j \leq n$. Hence, ou…
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…
We investigate some key analytic properties of Fourier coefficients and Hecke eigenvalues attached to scalar-valued Siegel cusp forms $F$ of degree 2, weight $k$ and level $N$. First, assuming that $F$ is a Hecke eigenform that is not of Saito-Kurokawa type, we prove an improved bound in the $k$-aspect for the smallest prime at which its Hecke eigenvalue is negative. Secondly, we show that there are infinitely many sign changes among the Hecke eigenvalues of $F$ at primes lying in an arithmetic progression. Third, we show that there are infinitely many positive as well as infinitely many negat…
We extend some recent work of D. McCarthy, proving relations among some Fourier coefficients of a degree 2 Siegel modular form $F$ with arbitrary level and character, provided there are some primes $q$ so that $F$ is an eigenform for the Hecke operators $T(q)$ and $T_1(q^2)$.
We compute the Fourier coefficients of all degree 2 Siegel-Eisenstein series of square-free level $N$ transforming with the trivial character. We then apply use these formulae to present some explicit examples of higher representation numbers attached to non-unimodular quadratic forms.
We prove multiplicative relations between certain Fourier coefficients of degree 2 Siegel eigenforms. These relations are analogous to those for elliptic eigenforms. We also provide two sets of formulas for the eigenvalues of degree 2 Siegel eigenforms. The first evaluates the eigenvalues in terms of the form's Fourier coefficients, in the case $a(I) \neq 0$. The second expresses the eigenvalues of index $p$ and $p^2$, for $p$ prime, solely in terms of $p$ and $k$, the weight of the form, in the case $a(0)\neq 0$. From this latter case, we give simple expressions for the eigenvalues associated…
The theta series of the two unimodular even positive definite lattices of rank 16 are known to be linearly dependent in degree at most 3 and linearly independent in degree 4. In this paper we consider the next case of the 24 Niemeier lattices of rank 24. The associated theta series are linearly dependent in degree at most 11 and linearly independent in degree 12. The resulting Siegel cusp form of degree 12 and weight 12 is a Hecke eigenform which seems to have interesting properties.
Let F be a Siegel cusp form of weight k and genus n>1 with Fourier-Jacobi coefficients f_m. In this article, we estimate the growth of the Petersson norms of f_m, where m runs over an arithmetic progression. This result sharpens a recent result of Kohnen in [5].
In this paper, we calculate the Fourier coefficients of the paramodular twist of a Siegel modular form of paramodular level $N$ by a nontrivial quadratic Dirichlet character mod $p$ for $p$ a prime not dividing $N$. As an application, these formulas can be used to verify the nonvanishing of the twist for particular examples. We also deduce that the twists of Maass forms are identically zero.
We prove a formula of Petersson's type for Fourier coefficients of Siegel cusp forms of degree 2 with respect to congruence subgroups, and as a corollary, show upper bound estimates of individual Fourier coefficient. The method in this paper is essentially a generalization of Kitaoka's previous work which studied the full modular case, but some modification is necessary to obtain estimates which are sharp with respect to the level aspect.
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…
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…
