On Atkin and Swinnerton-Dyer congruence relations (3)

It is now well known that Hecke operators defined classically act trivially on genuine cuspforms for noncongruence subgroups of SL₂(Z). Atkin and Swinnerton-Dyer speculated the existence of p-adic Hecke operators so that the Fourier coefficients of their eigenfunctions satisfy three-term congruence recursions. In the previous two papers with the same title ([W.C. Li, L. Long, Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. Number Theory 113 (1) (2005) 117-148] by W.C. Li, L. Long, Z. Yang and [A.O.L. Atkin, W.C. Li, L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), Math. Ann. 340 (2) (2008) 335-358] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied two exceptional spaces of noncongruence cuspforms where almost all p-adic Hecke operators can be diagonalized simultaneously or semi-simultaneously. Moreover, it is shown that the l-adic Scholl representations attached to these spaces are modular in the sense that they are isomorphic, up to semisimplification, to the l-adic representations arising from classical automorphic forms.In this paper, we study an infinite family of spaces of noncongruence cuspforms (which includes the cases in [W.C. Li, L. Long, Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. Number Theory 113 (1) (2005) 117-148; A.O.L. Atkin, W.C. Li, L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), Math. Ann. 340 (2) (2008) 335-358]) under a general setting. It is shown that for each space in this family there exists a fixed basis so that the Fourier coefficients of each basis element satisfy certain weaker three-term congruence recursions. For a new case in this family, we will exhibit that the attached l-adic Scholl representations are modular and the p-adic Hecke operators can be diagonalized semi-simultaneously.     

Some Siegel modular standard L-values, and Shafarevich-Tate groups

We explain how the Bloch-Kato conjecture leads us to the following conclusion: a large prime dividing a critical value of the L-function of a classical Hecke eigenform f of level 1, should often also divide certain ratios of critical values for the standard L-function of a related genus two (and in general vector-valued) Hecke eigenform F. The relation between f and F (Harder?s conjecture in the vector-valued case) is a congruence involving Hecke eigenvalues, modulo the large prime. In the scalar-valued case we prove the divisibility, subject to weak conditions. In two instances in the vector-valued case, we confirm the divisibility using elaborate computations involving special differential operators. These computations do not depend for their validity on any unproved conjecture.     

Symmetric square L-values and dihedral congruences for cusp forms

Let be a prime, and k=(p+1)/2. In this paper we prove that two things happen if and only if the class number . One is the non-integrality at p of a certain trace of normalised critical values of symmetric square L-functions, of cuspidal Hecke eigenforms of level one and weight k. The other is the existence of such a form g whose Hecke eigenvalues satisfy “dihedral” congruences modulo a divisor of p (e.g. p=23, k=12, g=Δ). We use the Bloch-Kato conjecture to link these two phenomena, using the Galois interpretation of the congruences to produce global torsion elements which contribute to the denominator of the conjectural formula for an L-value. When , the trace turns out always to be a p-adic unit.     

Special values of L-functions by a Siegel-Weil-Kudla-Rallis formula

We study the arithmeticity of special values of L-functions attached to cuspforms which are Hecke eigenfunctions on hermitian quaternion groups Sp^∗(m,0) which form a reductive dual pair with G=O^∗(4n). For f₁ and f₂ two cuspforms on H, consider their theta liftings θf₁ and θf₂ on G. Then we compute a Rankin-Selberg type integral and obtain an integral representation of the standard L-function:

G〈θf₁⋅Es,θf₂〉=H〈f₁,f₂〉⋅Lstd(f₁,s).     

Shintani lifts and fractional derivatives for harmonic weak Maass forms

In this paper, we construct Shintani lifts from integral weight weakly holomorphic modular forms to half-integral weight weakly holomorphic modular forms. Although defined by different methods, these coincide with the classical Shintani lifts when restricted to the space of cusp forms. As a side effect, this gives the coefficients of the classical Shintani lifts as new cycle integrals. This yields new formulas for the L-values of Hecke eigenforms. When restricted to the space of weakly holomorphic modular forms orthogonal to cusp forms, the Shintani lifts introduce a definition of weakly holomorphic Hecke eigenforms. Along the way, auxiliary lifts are constructed from the space of harmonic weak Maass forms which yield a “fractional derivative” from the space of half-integral weight harmonic weak Maass forms to half-integral weight weakly holomorphic modular forms. This fractional derivative complements the usual ξ-operator introduced by Bruinier and Funke.     

Central values of L-functions over CM fields

We prove an explicit formula for the central values of certain Rankin L-functions. These L-functions are the L-functions attached to Hilbert newforms over a totally real field F, twisted by unitary Hecke characters of a totally imaginary quadratic extension of F. This formula generalizes our former result on L-functions twisted by finite CM characters.     

Rationality theorems for Hecke operators on GLn

We define n families of Hecke operators for GL_n whose generating series are rational functions of the form q_k(u)⁻¹ where q_k is a polynomial of degree , and whose form is that of the kth exterior product. This work can be viewed as a refinement of work of Andrianov (Math. USSR Sb. 12(3) (1970)), in which he defined Hecke operators the sum of whose generating series was a rational function with nontrivial numerator and whose denominator was essentially .By a careful analysis of the Satake map which defines an isomorphism between a local Hecke algebra and a ring of symmetric polynomials, we define n families of (polynomial) Hecke operators and characterize their generating series as rational functions. We then give an explicit means by which to locally invert the Satake isomorphism, and show how to translate these polynomial operators back to the classical double coset setting. The classical Hecke operators have generating series of exactly the same form as their polynomial counterparts, and hence are of number-theoretic interest. We give explicit examples for GL₃ and GL₄.     

Restricting Hecke-Siegel operators to Jacobi modular forms

We compute the action of Hecke operators on Jacobi forms of “Siegel degree” n and m×m index M, provided 1?j?n−m. We find they are restrictions of Hecke operators on Siegel modular forms, and we compute their action on Fourier coefficients. Then we restrict the Hecke-Siegel operators T(p), Tj(p²) (n−m<j?n) to Jacobi forms of Siegel degree n, compute their action on Fourier coefficients and on indices, and produce lifts from Jacobi forms of index M to Jacobi forms of index M^′ where detM|detM^′. Finally, we present an explicit choice of matrices for the action of the Hecke operators on Siegel modular forms, and for their restrictions to Jacobi modular forms.     

On bounding Hecke-Siegel eigenvalues

We use the action of the Hecke operators (1≤j≤n) on the Fourier coefficients of Siegel modular forms to bound the eigenvalues of these Hecke operators. This extends work of Duke-Howe-Li and of Kohnen, who provided bounds on the eigenvalues of the operator T(p).     

The sixth and eighth moments of Fourier coefficients of cusp forms

Let λ(n) be the nth normalized Fourier coefficient of a holomorphic Hecke eigencuspform f(z) of even integral weight k for the full modular group. In this paper we are able to prove the following results.

(i)

For any ε>0, we have

     

Hecke operators on Drinfeld cusp forms

In this paper, we study the Drinfeld cusp forms for Γ₁(T) and Γ(T) using Teitelbaum's interpretation as harmonic cocycles. We obtain explicit eigenvalues of Hecke operators associated to degree one prime ideals acting on the cusp forms for Γ₁(T) of small weights and conclude that these Hecke operators are simultaneously diagonalizable. We also show that the Hecke operators are not diagonalizable in general for Γ₁(T) of large weights, and not for Γ(T) even of small weights. The Hecke eigenvalues on cusp forms for Γ(T) with small weights are determined and the eigenspaces characterized.     

<Emphasis Type="Italic">p</Emphasis>-adic interpolation of Taylor coefficients of modular forms

In this paper we show that the Taylor coefficients of a Hecke eigenform at a CM-point, suitably modified, form a sequence of algebraic numbers that satisfy the Kubota–Leopoldt generalization of the Kummer congruences for primes that split in the imaginary quadratic field associated with a CM-point. More generally, we show that these numbers are moments of a certain p-adic measure. In addition, we write down explicitly the “Euler factor” at p in terms of the p th Hecke eigenvalue of the modular form in question and certain data of the CM-point. P. Guerzhoy is supported by NSF grant DMS-0700933.     

Some congruences for traces of singular moduli

We address a question posed by Ono [Ken Ono, The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and q-Series, CBMS Reg. Conf. Ser. Math., vol. 102, Amer. Math. Soc., Providence, RI, 2004, Problem 7.30], prove a general result for powers of an arbitrary prime, and provide an explanation for the appearance of higher congruence moduli for certain small primes. One of our results overlaps but does not coincide with a recent result of Jenkins [Paul Jenkins, p-Adic properties for traces of singular moduli, Int. J. Number Theory 1 (1) (2005) 103-107]. This result essentially coincides with a recent result of Edixhoven [Bas Edixhoven, On the p-adic geometry of traces of singular moduli, preprint, 2005, math.NT/0502213 v1], and we hope that the comparison of the methods, which are entirely different, may reveal a connection between the p-adic geometry and the arithmetic of half-integral weight Hecke operators.     

Differential eigenforms

The aim of this paper is to show how differential characters of Abelian varieties (in the sense of [A. Buium, Differential characters of Abelian varieties over p-adic fields, Invent. Math. 122 (1995) 309-340]) can be used to construct differential modular forms of weight 0 and order 2 (in the sense of [A. Buium, Differential modular forms, Crelle J. 520 (2000) 95-167]) which are eigenvectors of Hecke operators. These differential modular forms will have “essentially the same” eigenvalues as certain classical complex eigenforms of weight 2 (and order 0).     

Uniform subconvexity and symmetry breaking reciprocity

A non-symmetric reciprocity formula is established that expresses the fourth moment of automorphic L-functions of level q and primitive central character twisted by the ?-th Hecke eigenvalue as a twisted mixed moment of automorphic L-functions of level ? and trivial central character. As an application, uniform subconvexity bounds for L-functions in the level and the eigenvalue aspect are derived.     

On the oscillatory behavior of certain arithmetic functions associated with automorphic forms

We establish the oscillatory behavior of several significant classes of arithmetic functions that arise (at least presumably) in the study of automorphic forms. Specifically, we examine general L-functions conjectured to satisfy the Grand Riemann Hypothesis, Dirichlet series associated with classical entire forms of real weight and multiplier system, Rankin-Selberg convolutions (both “naive” and “modified”), and spinor zeta-functions of Hecke eigenforms on the Siegel modular group of genus two. For the second class we extend results obtained previously and jointly by M. Knopp, W. Kohnen, and the author, whereas for the fourth class we provide a new proof of a relatively recent result of W. Kohnen.     

Cohomology of the moduli space of Hecke cycles

Let X be a smooth projective curve of genus g?3 and let M₀ be the moduli space of semistable bundles over X of rank 2 with trivial determinant. Three different desingularizations of M₀ have been constructed by Seshadri (Proceedings of the International Symposium on Algebraic Geometry, 1978, 155), Narasimhan-Ramanan (C. P. Ramanujam—A Tribute, 1978, 231), and Kirwan (Proc. London Math. Soc. 65(3) (1992) 474). In this paper, we construct a birational morphism from Kirwan's desingularization to Narasimhan-Ramanan's, and prove that the Narasimhan-Ramanan's desingularization (called the moduli space of Hecke cycles) is the intermediate variety between Kirwan's and Seshadri's as was conjectured recently in (Math. Ann. 330 (2004) 491). As a by-product, we compute the cohomology of the moduli space of Hecke cycles.     

Products of Hecke eigenforms

Let f(z) and g(z) be Hecke eigenforms for Γ₀(p), where p is a prime. If both f(z) and g(z) are non-cuspidal forms and p?7, then the product is a Hecke eigenform only if it comes trivially from a level 1 solution. If g(z) is a cuspform and p?5, then in addition to the level 1 solutions, there are 8 new cases where the product of Hecke eigenforms is a Hecke eigenform.     

Congruence of Siegel modular forms and special values of their standard zeta functions

In this paper, we consider the relationship between the congruence of cuspidal Hecke eigenforms with respect to Sp _n (Z) and the special values of their standard zeta functions. In particular, we propose a conjecture concerning the congruence between Saito-Kurokawa lifts and non-Saito-Kurokawa lifts, and prove it under certain condition. Partially supported by Grant-in-Aid for Scientific Research C-17540003, JSPS.     

The 26th power of Dedekind's η-function

We prove a simple and explicit formula, which expresses the 26th power of Dedekind's η-function as a double series. The proof relies on properties of Ramanujan's Eisenstein series P, Q and R, and parameters from the theory of elliptic functions.The formula reveals a number of properties of the product , for example its lacunarity, the action of the Hecke operator, and sufficient conditions for a coefficient to be zero.