In this paper, we associate Galois representations to globally generic cuspidal automorphic representations on GSp(4), over a totally real field F, which are Steinberg at some finite place. This association is compatible with the local Langlands correspondence for GSp(4) studied recently in a preprint of Gan and Takeda. As a corollary, we relate the rank of the monodromy operator at p to the dimensions of the parahoric fixed spaces at p. The Galois representations are constructed by first passing to GL(4) over a CM extension, then applying the book of Harris-Taylor plus a refinement due to Taylor-Yoshida, and finally descending to F by a delicate patching argument. This is a variation of the techniques used by Blasius and Rogawski in order to attach motives to Hilbert modular forms.
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.
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 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 2002, M. A. Tsfasman and S. G. Vlăduţ formulated the generalized Brauer-Siegel conjecture for asymptotically exact families of number fields. In this article, we establish this conjecture for asymptotically good towers and asymptotically bad families of number fields with solvable normal closure.
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.
We classify the $(\mathfrak{g},K)$-modules generated by nearly holomorphic Hilbert-Siegel modular forms by the global method. As an application, we study the image of projection operators on the space of nearly holomorphic Hilbert-Siegel modular forms with respect to infinitesimal characters in terms of $(\mathfrak{g},K)$-modules.
We study the image of the $\ell$-adic Galois representations associated to the four vector valued Siegel modular forms appearing in the work of Chenevier and Lannes. These representations are symplectic of dimension $4$. Following a method of Dieulefait, we determine the primes $\ell$ for which these representations are absolutely irreducible. In addition, we show that their image is "full" for all primes $\ell$ such that the associated residual representation is absolutely irreducible, except in two cases.
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.
We give a Rankin-Selberg integral representation for the Spin (degree eight) $L$-function on $\mathrm{PGSp}_6$. The integral applies to the cuspidal automorphic representations associated to Siegel modular forms. If $π$ corresponds to a level one Siegel modular form $f$ of even weight, and if $f$ has a non-vanishing maximal Fourier coefficient (defined below), then we deduce the functional equation and finiteness of poles of the completed Spin $L$-function $Λ(π,Spin,s)$ of $π$.
The theta correspondence has been an important tool in studying cycles in locally symmetric spaces of orthogonal type. We generalize the Kudla-Millson relation between intersection numbers of cycles and Fourier coefficients of Siegel modular forms to the case where the cycles have local coefficients. Now the generating series of the cycles give rise to vector-valued Siegel modular forms. The underlying correspondence between the highest weights of the orthogonal and the symplectic group coincides with the one obtained by Adams for which we provide a geometric interpretation.
We prove Ibukiyama's conjectures on Siegel modular forms of half-integral weight and of degree 2 by using Arthur's multiplicity formula on the split odd special orthogonal group $\SO_5$ and Gan-Ichino's multiplicity formula on the metaplectic group $\Mp_4$. In the proof, the representation theory of the Jacobi groups also plays an important role.
In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Rie…
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})$.
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.
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 use vanishing results for sheaf cohomology on Siegel modular varieties to study two lifting problems: (a) When can Siegel modular forms (mod p) be lifted to characteristic zero? This uses and extends previous results for cusp forms by Stroh and Lan-Suh. (b) When is the restriction of Siegel modular forms to the boundary of the moduli space a surjective map? We investigate this question in arbitrary characteristic, generalising analytic results of Weissauer and Arakawa.
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…
We prove in some cases a formula for the Greenberg-Benois $\mathcal{L}$-invariant of the spin, standard and adjoint Galois representations associated with Siegel-Hilbert modular forms. In order to simplify the calculation, we give a new definition of the $\mathcal{L}$-invariant for a Galois representation $V$ of a number field $F\neq \mathbb{Q}$; we also check that it is compatible with Benois' definition for $\mathrm{Ind}_F^{\mathbb{Q}}(V)$.
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.
This paper gives a simple method for constructing vector-valued Siegel modular forms from scalar-valued ones. The method is efficient in producing the siblings of Delta, the smallest weight cusp forms that appear in low degrees. It also shows the strong relations between these modular forms of different genera. We illustrate this by a number of examples.
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…
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…
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.
Lectures on Siegel modular forms given in Nordfjordeid. Besides a survey on Siegel modular forms it presents the joint work with Carel Faber on vector-valued Siegel modular forms of genus 2 and it gives evidence for a conjecture of Harder on congruences between g=1 and g=2 forms.
Let $\overlineρ: G_{\mathbf{Q}} \rightarrow {\rm GSp}_4(\mathbf{F}_3)$ be a continuous Galois representation with cyclotomic similitude character -- or, what turns out to be equivalent, the Galois representation associated to the $3$-torsion of a principally polarized abelian surface $A/\mathbf{Q}$. We prove that the moduli space $\mathcal{A}_2(\overlineρ)$ of principally polarized abelian surfaces $B/\mathbf{Q}$ admitting a symplectic isomorphism $B[3] \simeq \overlineρ$ of Galois representations is never rational over $\mathbf{Q}$ when $\overlineρ$ is surjective, even though it is both ratio…
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.
Let F be a totally real field and G=GSp(4)_{/F}. In this paper, we show under a weak assumption that, given a Hecke eigensystem lambda which is (p,P)-ordinary for a fixed parabolic P in G, there exists a several variable p-adic family underline{lambda} of Hecke eigensystems (all of them (p,P)-nearly ordinary) which contains lambda. The assumption is that lambda is cohomological for a regular coefficient system. If F=Q, the number of variables is three. Moreover, in this case, we construct the three variable p-adic family rho_{underline{lambda}} of Galois representations associated to underline…
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…
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.
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.
