Siegel modular forms and representations

This paper explicitly describes the procedure of associating an automorphic representation of PGSp(2n,?) with a Siegel modular form of degree n for the full modular group Γ _n =Sp(2n,ℤ), generalizing the well-known procedure for n=1. This will show that the so-called “standard” and ldquo;spinor”L-functions associated with such forms are obtained as Langlands L-functions. The theory of Euler products, developed by Langlands, applied to a Levi subgroup of the exceptional group of type F _<4, is then used to establish meromorphic continuation for the spinor L-function when n=3. Received: 28 March 2000 / Revised version: 25 October 2000     

Galois representations on holomorphic differentials

Using the same methods as in [S2] and [S3] we derive the Brauer trees for the cyclic pblocks for G₂(2^k),G₂(3^k) and the noncyclic pblocks for these groups, where p ≠ 2,3. The results are analogous to those obtained for G₂(q), where q is not divisible by 2 or 3. These results were first announced in [Sl].     

Computing modular Galois representations

We compute modular Galois representations associated with a newform $f$ , and study the related problem of computing the coefficients of $f$ modulo a small prime $\ell $ . To this end, we design a practical variant of the complex approximations method presented in Edixhoven and Couveignes (Ann. of Math. Stud., vol. 176, Princeton University Press, Princeton, 2011). Its efficiency stems from several new ingredients. For instance, we use fast exponentiation in the modular jacobian instead of analytic continuation, which greatly reduces the need to compute abelian integrals, since most of the computation handles divisors. Also, we introduce an efficient way to compute arithmetically well-behaved functions on jacobians, a method to expand cuspforms in quasi-linear time, and a trick making the computation of the image of a Frobenius element by a modular Galois representation more effective. We illustrate our method on the newforms $\Delta $ and $E_4 \cdot \Delta $ , and manage to compute for the first time the associated faithful representations modulo $\ell $ and the values modulo $\ell $ of Ramanujan’s $\tau $ function at huge primes for $\ell \in \{ 11,13,17,19,29\}$ . In particular, we get rid of the sign ambiguity stemming from the use of a projective representation as in Bosman (On the computation of Galois representations associated to level one modular forms. arxiv.org/abs/0710.1237, 2007). As a consequence, we can compute the values of $\tau (p)~\mathrm{mod}~2^{11} \times 3^6 \times 5^3 \times 7 \times 11 \times 13 \times 17 \times 19 \times 23 \times 29 \times 691 \approx 2.8 \times 10^{19}$ for huge primes $p$ . The representations we computed lie in the jacobian of modular curves of genus up to $22$ .     

On local Galois representations associated to ordinary Hilbert modular forms

Let F be a totally real field and p be an odd prime which splits completely in F. We show that a generic p-ordinary non-CM primitive Hilbert modular cuspidal eigenform over F of parallel weight two or more must have a locally non-split p-adic Galois representation, at at least one of the primes of F lying above p. This is proved under some technical assumptions on the global residual Galois representation. We also indicate how to extend our results to nearly ordinary families and forms of non-parallel weight.     

Special cohomology classes for modular Galois representations

Building on ideas of Vatsal [Uniform distribution of Heegner points, Invent. Math. 148(1) (2002) 1-46], Cornut [Mazur's conjecture on higher Heegner points, Invent. Math. 148(3) (2002) 495-523] proved a conjecture of Mazur asserting the generic nonvanishing of Heegner points on an elliptic curve E_/Q as one ascends the anticyclotomic Z_p-extension of a quadratic imaginary extension K/Q. In the present article, Cornut's result is extended by replacing the elliptic curve E with the Galois cohomology of Deligne's two-dimensional ?-adic representation attached to a modular form of weight 2k>2, and replacing the family of Heegner points with an analogous family of special cohomology classes.     

Congruences between Siegel modular forms

Using the moduli theory of abelian varieties and a recent result of Böcherer-Nagaoka on lifting of the generalized Hasse invariant, we show congruences between the weights of Siegel modular forms with congruent Fourier expansions. This result implies that the weights of p-adic Siegel modular forms are well defined.     

On Rankin-Cohen brackets for Siegel modular forms

We determine an explicit formula for a Rankin-Cohen bracket for Siegel modular forms of degree on a certain subgroup of the symplectic group. Moreover, we lift that bracket via a Poincaré series to a Siegel cusp form on the full symplectic group.

     

Explicit determination of images of Galois representations attached to Hilbert modular forms

In a previous paper the second author proved that the image of the Galois representation modulo λ attached to a Hilbert modular newform is “large” for all but finitely many primes λ, if the newform is not a theta series. In this brief note, we give an explicit bound for this exceptional finite set of primes and determine the images in three different examples. Our examples are of Hilbert newforms on real quadratic fields, of parallel or non-parallel weight and of different levels.     

On convolutions of Siegel modular forms

In this article we study a Rankin‐Selberg convolution of n complex variables for pairs of degree n Siegel cusp forms. We establish its analytic continuation to ?ⁿ, determine its functional equations and find its singular curves. Also, we introduce and get similar results for a convolution of degree n Jacobi cusp forms. Furthermore, we show how the relation of a Siegel cusp form and its Fourier‐Jacobi coefficients is reflected in a particular relation connecting the two convolutions studied in this paper. As a consequence, the Dirichlet series introduced by Kalinin [7] and Yamazaki [19] are obtained as particular cases. As another application we generalize to any degree the estimate on the size of Fourier coefficients given in [14]. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Linear dependence among Siegel modular forms

Theorems are given which describe when high enough vanishing at the cusps implies that a Siegel modular cusp form is zero. Formerly impractical computations become practical and examples are given in degree four. Vanishing order is described by kernels, a type of polyhedral convex hull. Received: November 19, 1998 / Revised: July 5, 1999 / Published online: September 5, 2000     

A note on Siegel modular forms

This paper gives a new identification for Siegel modular forms with respect to any congruence subgroup by investigating the properties of their Fourier-Jacobi expansions, and verifies a comparison theorem for the dimensions of the spaces Skn (Γn) and J0k, 1 (Γn) with small weight k. These results can be used to estimate the dimension of the space of modular forms.     

Congruences between Siegel modular forms II

Using a p-adic monodromy theorem on the affine ordinary locus in the minimally compactified moduli scheme modulo powers of a prime p of abelian varieties, we extend Katz?s results on congruence and p-adic properties of elliptic modular forms to Siegel modular forms of higher degree.