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.
In this paper, we prove the weak Siegel-Weil formula for the space M_2(Q) . We study the Hecke correspondence and representation numbers associated to Eichler orders, and give the explicit formula for degree of Hecke correspondence and average representation numbers over genus. This formula could recover the main results in [DuYang]. We could identify these numbers with the Fourier coefficients of Eisenstein series via Siegel-Weil formula(weak Siegel-Weil formula for M_2(Q). In the last part of this article, we reprove four square sum Theorem via Siegel-Weil formula and Kudla's matching.
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 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.
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.
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.
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…
The Rankin convolution type Dirichlet series $D_{F,G}(s)$ of Siegel modular forms $F$ and $G$ of degree two, which was introduced by Kohnen and the second author, is computed numerically for various $F$ and $G$. In particular, we prove that the series $D_{F,G}(s)$, which share the same functional equation and analytic behavior with the spinor $L$-functions of eigenforms of the same weight are not linear combinations of those. In order to conduct these experiments a numerical method to compute the Petersson scalar products of Jacobi Forms is developed and discussed in detail.
Let $π$ be a cuspidal automorphic representation of $\mathrm{GSp}_4(\mathbf{A_Q})$, whose archimedean component is a holomorphic discrete series or limit of discrete series representation. If $π$ is not CAP or endoscopic, then we show that its associated $\ell$-adic Galois representations are irreducible and crystalline for $100\%$ of primes $\ell$. If, moreover, $π$ is neither an automorphic induction nor a symmetric cube lift, then we show that, for $100\%$ of primes $\ell$, the image of its mod $\ell$ Galois representation contains $\mathrm{Sp}_4(\mathbf{F}_{\ell})$.
Let $\mathcal Q_D$ be the set of moduli points on Siegel's modular threefold whose corresponding principally polarized abelian surfaces have quaternionic multiplication by a maximal order $\mathcal O$ in an indefinite quaternion algebra of discriminant $D$ over $\mathbb Q$ such that the Rosati involution coincides with a positive involution of the form $α\mapstoμ^{-1}\overlineαμ$ on $\mathcal O$ for some $μ\in\mathcal O$ with $μ^2+D=0$. In this paper, we first give a formula for the number of irreducible components in $\mathcal Q_D$, strengthening an earlier result of Rotger. Then for each irr…
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.
For a totally real number field $F$ and a nonarchimedean prime $\mathfrak{p}$ of $F$ lying above a prime number $p$ we introduce certain sheaf cohomology groups that intertwine the $\mathfrak{p}^{\infty}$-tower of a quaternionic Hilbert modular variety associated to a quaternion algebra $D$ over $F$ that is split at $\mathfrak{p}$ and a $p$-adically admissible representation of $\mbox{PGL}_2(F_{\mathfrak{p}})$. Applied to infinitesimal $p$-adic deformations of the local factor at $\mathfrak{p}$ of a cuspidal automorphic representation $π$ of $D^*(\mathbb{A})$ this yields a natural construction…
We consider the action of Hecke-type operators on Hilbert-Siegel theta series attached to lattices of even rank. We show that average Hilbert-Siegel theta series are eigenforms for these operators, and we explicitly compute the eigenvalues.
Let E/Q be a real quadratic field and pi_0 a cuspidal, irreducible, automorphic representation of GL(2,A_E) with trivial central character and infinity type (2,2n+2) for some non-negative integer n. We show that there exists a non-zero Siegel paramodular newform F with weight, level, Hecke eigenvalues, epsilon factor and L-function determined explicitly by pi_0. We tabulate these invariants in terms of those of pi_0 for every rational prime p.
Siegel-Shidlovskii theory of $E$-functions involves a non-vanishing proof for the determinants attached to the linear forms $D^kR(t)$, derivatives of an auxiliary function $R(t)$. Let a non-zero function $F(t)$ satisfy $m$th order linear differential equation which we shall write using the differential operator $Δ=tD$ and let $L(t)$ be any non-zero linear form of the derivatives $Δ^i F(t)$ $(i=0,...,m-1; m\ge 2)$. The determinants $\det\mathcal A_k$ attached to the linear forms $Δ^kL(t)$ have certain simple properties that allow us to give a short proof for the non-vanishing of $\det\mathcal A…
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.
Let q be an integral quadratic form of signature (2,m+2). We will show that the Siegel theta functions attached to q satisfies certain symmetries. As an application, we prove the symmetries for automorphic forms on the orthogonal group of q closely related to Heegener divisors (Borcherds lifts and automorphic Green functions).
In this paper we obtain a weighted average formula for special values of $L$-functions attached to normalized elliptic modular forms of weight $k$ and full level. These results are obtained by studying the pullback of a Siegel Eisenstein series and working out an explicit spectral decomposition.
In this article we prove several level lowering results for cuspidal automorphic representations occurring in the cohomology of the Siegel modular threefold with paramodular level structure by adapting a method of Ribet in his proof of the Serre's epsilon conjecture. The proof is purely geometric and relies on the description of the supersingular locus of certain quaternionic unitary Shimura variety and an arithmetic level raising result on this Shimura variety. The heart of the proof is a comparison of the dimension of the space of vanishing cycles on the paramodular Siegel modular threefold …
We investigate the structure of the Hecke algebras related to the unimodular and modular group over hermitian fields and definite quaternion algebras. In particular we show that in general there is no decomposition into primary components. We can give a set of generators and in some special cases we deduce the law of interchange of the Siegel $Φ$-operator.
We show that certain $p$-adic Eisenstein series for quaternionic modular groups of degree 2 become "real" modular forms of level $p$ in almost all cases. To prove this, we introduce a $U(p)$ type operator. We also show that there exists a $p$-adic Eisenstein series of the above type that has transcendental coefficients. Former examples of $p$-adic Eisenstein series for Siegel and Hermitian modular groups are both rational (i.e., algebraic).
We evaluate the action of Hecke operators on Siegel Eisenstein series of arbitrary degree, level and character. For square-free level, we simultaneously diagonalise the space with respect to all the Hecke operators, computing the eigenvalues explicitly, and obtain a multiplicity-one result. For arbitrary level, we simultaneously diagonalise the space with respect to the Hecke operators attached to primes not dividing the level, again computing the eigenvalues explicitly.
We prove the following uniformity principle: if one of the Galois representations in the family attached to a genus two Siegel cusp form of weight $k>3$, "semistable" and with multiplicity one, is reducible (for an odd prime $p$),then all the representations in the family are reducible. This, combined with Serre's conjecture (which is now a theorem) gives a proof of the Endoscopy Conjecture.
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.
The object of this article is to construct certain classes of arithmetically significant, holomorphic Siegel cusp forms F of genus 2, which are neither of Saito-Kurokawa type, in which case the degree 4 spinor L-function L(s, F) is divisible by an abelian L-function, nor of Yoshida type, in which case L(s,F) is a product of L-series of a pair of elliptic cusp forms. Two key examples are the forms F defined by the symmetric cube of a non-CM elliptic curve E over the rationals, and those defined by anticyclotomic twists (of even non-zero weight) of the base change of such an E to an imaginary qu…
We construct a basis for the space of half-integral weight Siegel Eisenstein series of level 4N where N is odd and square-free. Then we restrict our attention to those Eisenstein series generated from elements of $Γ_0(4)$, commenting on why this restriction is necessary for our methods. We directly apply to these forms all Hecke operators attached to odd primes, and we realize the images explicitly as linear combinations of Siegel Eisenstein series. Using this information, we diagonalize the subspace of Eisenstein series generated from elements of $Γ_0(4)$, obtaining a multiplicity-one result.
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 describe the effect of the differential operators defined by Boecherer-Nagaoka, Flander-Ghitza and Yamauchi on the Galois representations (conjecturally) attached to Siegel modular eigenforms.
The quaternionic Maass Spezialschar on split $\mathrm{SO}(8)$
University of Idaho（爱达荷大学）；The University of Oklahoma（俄克拉荷马大学）；University of Toronto（多伦多大学）；The University of California, San Diego（加州大学圣地亚哥分校）；Lafayette College（拉斐特学院）
We prove that all mod $p^m$ singular forms of level $N$, degree $n+r$, and $p$-rank $r$ with $n\ge r$ are congruent mod $p^m$ to linear combinations of theta series of degree $r$ attached to quadratic forms of some level. Moreover, we prove that, the levels of theta series are of the form ``$p\mbox{-power}\times N$''. Additionally, in some cases of mod $p$ singular forms with smallest possible weight, we prove that the levels of theta series should be $p$.
It is known that average Siegel theta series lie in the space of Siegel Eisenstein series. Also, every lattice equipped with an even integral quadratic form lies in a maximal lattice. Here we consider average Siegel theta series of degree 2 attached to maximal lattices; we construct maps for which the average theta series is an eigenform. We evaluate the action of these maps on Siegel Eisenstein series of degree 2 (without knowing their Fourier coefficients), and then realise the average theta series as an explicit linear combination of the Eisenstein series.
We investigate Poincaré series, where we average products of terms of Fourier series of real-analytic Siegel modular forms. There are some (trivial) special cases for which the products of terms of Fourier series of elliptic modular forms and harmonic Maass forms are almost holomorphic, in which case the corresponding Poincaré series are almost holomorphic as well. In general this is not the case. The main point of this paper is the study of Siegel-Poincaré series of degree $2$ attached to products of terms of Fourier series of harmonic Siegel-Maass forms and holomorphic Siegel modular forms. …
We consider $p$-adic 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 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 zer…
A method for determining quantum variance asymptotics on compact quotients attached to non-split quaternion algebras is developed in general and applied to "microlocal lifts" in the non-archimedean setting. The results obtained are in the spirit of recent work of Sarnak--Zhao. The arguments involve a careful analytic study of the theta correspondence, the interplay between additive and multiplicative harmonic analysis on quaternion algebras, the equidistribution of translates of elementary theta functions, and the Rallis inner product formula.
In this paper, we discuss the theory of the Siegel modular variety in the aspects of arithmetic and geometry. This article covers the theory of Siegel modular forms, the Hecke theory, a lifting of elliptic cusp forms, geometric properties of the Siegel modular variety, (hypothetical) motives attached to Siegel modular forms and a cohomology of the Siegel modular variety.
In a letter to Tate, Serre proves that the systems of Hecke eigenvalues given by modular forms (mod p) are the same as the ones given by locally constant functions on an adelic double coset space constructed from the endomorphism algebra of a supersingular elliptic curve. We generalize this result to Siegel modular forms (mod p), proving that the systems of Hecke eigenvalues obtained from them are the same as the ones given by algebraic modular forms (mod p) on a quaternionic unitary group, as defined by Gross. The correspondence is obtained by restricting to the superspecial locus of the modu…
We proof a Garrett-Böcherer decomposition of a vector valued Siegel Eisenstein series $E_{l,0}^2$ of genus 2 transforming with the Weil representation of $\text{Sp}_2(\mathbb{Z})$ on the group ring $\mathbb{C}[(L'/L)^2]$. We show that the standard zeta function associated to a vector valued common eigenform $f$ for the Weil representation can be meromorphically continued to the whole $s$-plane and that it satisfies a functional equation. The proof is based on an integral representation of this zeta function in terms of $f$ and $E_{l,0}^2$.
We construct many examples of level one Siegel modular forms in the kernel of theta operators mod $p$ by using theta series attached to positive definite quadratic forms.
In the 1980s Böcherer formulated a conjecture relating the central values of the imaginary quadratic twists of the spin L-function attached to a Siegel modular form $F$ to the Fourier coefficients of $F$. This conjecture has been proved when $F$ is a lift. More recently, we formulated an analogous conjecture for paramodular forms $F$ of prime level, even weight and in the plus-space. In this paper, we examine generalizations of this conjecture. In particular, our new formulations relax the conditions on $F$ and allow for twists by real characters. Moreover, these formulation are more explicit …
We consider a special theta lift $θ(f)$ from cuspidal Siegel modular forms $f$ on $\mathrm{Sp}_4$ to "modular forms" $θ(f)$ on $\mathrm{SO}(4,4)$. This lift can be considered an analogue of the Saito-Kurokawa lift, where now the image of the lift is representations of $\mathrm{SO}(4,4)$ that are quaternionic at infinity. We relate the Fourier coefficients of $θ(f)$ to those of $f$, and in particular prove that $θ(f)$ is nonzero and has algebraic Fourier coefficients if $f$ does. Restricting the $θ(f)$ to $G_2 \subseteq \mathrm{SO}(4,4)$, we obtain cuspidal modular forms on $G_2$ of arbitrarily…
In this paper we outline the Hecke theory for Hermitian modular forms in the sense of Hel Braun for arbitrary class number of the attached imaginary-quadratic number field. The Hecke algebra turns out to be commutative. Its inert part has a structure analogous to the case of the Siegel modular group and coincides with the tensor product of its $p$-components for inert primes $p$. This leads to a characterization of the associated Siegel-Eisenstein series. The proof also involves Hecke theory for particular congruence subgroups.
In a letter to Tate (published in Israel J. Math. in 1996), J.-P. Serre proves that the systems of Hecke eigenvalues given by modular forms (mod p) are the same as the ones given by locally constant functions on an adelic double coset space constructed from the endomorphism algebra of a supersingular elliptic curve. We generalize this result to Siegel modular forms, proving that the systems of Hecke eigenvalues given by Siegel modular forms (mod p) are the same as the ones given by algebraic modular forms (mod p) on a quaternionic unitary group, as defined by Gross in Israel J. Math. in 1999. …
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 formulate and prove a version of the arithmetic Siegel-Weil formula for (zero dimensional) Shimura varieties attached to tori, equipped with some additional data. More precisely, we define a family of ``special" divisors in terms of Green functions at archimedean and non-archimedean places, and prove that their degrees coincide with the Fourier coefficients of the central derivative of an Eisenstein series. The proof relies on the usual Siegel-Weil formula to provide a direct link between both sides of the identity, and in some sense, offers a more conceptual point of view on prior results …
Suppose that $G$ is a simple reductive group over $\mathbf{Q}$, with an exceptional Dynkin type, and with $G(\mathbf{R})$ quaternionic (in the sense of Gross-Wallach). In a previous paper, we gave an explicit form of the Fourier expansion of modular forms on $G$ along the unipotent radical of the Heisenberg parabolic. In this paper, we give the Fourier expansion of the minimal modular form $θ_{Gan}$ on quaternionic $E_8$, and some applications. The $Sym^{8}(V_2)$-valued automorphic function $θ_{Gan}$ is a weight four, level one modular form on $E_8$, which has been studied by Gan. The applicat…
We use results by Chenevier to interpolate the classical Jacquet-Langlands correspondence for Hilbert modular forms, which gives us an extension of Chenevier's results to totally real fields. From this we obtain an isomorphisms between eigenvarieties attached Hilbert modular forms and those attached to modular forms on a totally definite quaternion algebra over a totally real field of even degree.
An important problem in analytic and geometric combinatorics is estimating the number of lattice points in a compact convex set in a Euclidean space. Such estimates have numerous applications throughout mathematics. In this note, we exhibit applications of a particular estimate of this sort to several counting problems in number theory: counting integral points and units of bounded height over number fields, counting points of bounded height over positive definite quaternion algebras, and counting points of bounded height with a fixed support over global function fields. Our arguments use a co…
We work out the exact relationship between algebraic modular forms for a two-by-two general unitary group over a definite quaternion algebra, and those arising from genera of positive-definite quinary lattices, relating stabilisers of local lattices with specific open compact subgroups, paramodular at split places, and with Atkin-Lehner operators. Combining this with the recent work of Rösner and Weissauer, proving conjectures of Ibukiyama on Jacquet-Langlands type correspondences (mildly generalised here), provides an effective tool for computing Hecke eigenvalues for Siegel modular forms of …
