arxiv: v1 [math.nt] 28 Jan 2010

Transcription

1 NON VANISHING OF CENTRAL VALUES OF MODULAR L-FUNCTIONS FOR HECKE EIGENFORMS OF LEVEL ONE D. CHOI AND Y. CHOIE arxiv:00.58v [math.nt] 8 Jan 00 Abstract. Let F(z) = n= a(n)qn be a newform of weight k and level N with a trivial character, and assume that F(z) is a non-zero eigenform of all Hecke operators. For x > 0, let N F (x) := {D fundamental D < x,(d,n) =,L(F,D,k) 0}. A based on the Goldfeld s conjecture one expects to have N F (x) x (x ). Kohnen [0] showed that if k 6 is a even integer, then for x 0 there is a normalized Hecke eigenform F of level and weight k with the property that N F (x) k x (x ). In this paper, we extend the result in [0] to the case when k is any integer, in particular when k is odd. So, we obtain that, when the level is, for each integer k such that the dimension of cusp forms of weight k is not zero, there is a normalized Hecke eigenform F of weight k satisfying N F (x) x (x ). January 8, 00. Introduction and statement of result Let F(z) = n= a(n)qn S k (N,χ 0 ) be a newform of weight k and level N with a trivial character χ 0, and assume that F(z) is a non-zero eigenform of all Hecke operators. For a fundamental discriminant D, that is D = or the discriminant of a quadratic field, we define the L function L(F,D,s) of F twisted with the quadratic character ( D ) by ( ) D a(n) n n. s In this paper, we consider the central values of L functions L(F,D,k). n It is well-known by Waldspurger [8] that the central critical values L(F, D, k) are essentially proportional to the squares of Fourier coefficients of the modular form of weight k + corresponding to F under Shimura correspondence. On the other hand, for x > 0, consider the set N F (x) := {D fundamental D < x,(d,n) =,L(F,D,k) 0}. 000 Mathematics Subject Classification. F67,F37. Key words and phrases. modular L-functions, quadratic twist, central L-values.

2 D. CHOI AND Y. CHOIE A based on the Goldfeld s conjecture one expected to have (.) N F (x) x (x ) ( In [5] Goldfeld conjectured that D fundamental, D <x,gcd(d,n)= ord s=k L(F,D,s) {D fundamental D < x,gcd(d,n) = } (x ).) In [4] using the theory of Galois representations of modular forms together with the results of Friedberg and Hoffstein [4], the following was proved N F (x) F x logx (x ). In [7] K. James gave an example of a form F, by looking at the difference of two special ternary theta series of level 56, satisfying N F (x) F x (x ). Furthermore, Kohnen [0] showed that if k 6 is an even integer, then there is a normalized Hecke eigenform F of level and weight k with the property that N F (x) k x for x 0; in particular, it was shown that N (x) x (x ) where is Ramanujan s -function of weight. More precisely, Kohnen proved that if N + k,γ (x) is the number of fundamental discriminant D, 0 < D < x, such that there exists a normalized Hecke eigenform F S k satisfying L(F,D,k) 0, then for any positive ǫ N + k,γ (x) 6π ǫ x (x ǫ 0). Here, S k is the space of cusp forms of weight k on Γ = SL(,Z). In this paper, we extend the result [0] to the case when k is any integer, in particular when k is odd. To obtain these results, we refine the argument of Kohnen by using an isomorphism [8] from the spaces of modular forms of integral weight to the Kohnen plus space of half integral weight modular forms. Let N k,γ (x) denote the number of fundamental discriminants D, D < x, such that there exists a normalized Hecke eigenform F S k satisfying L(F,D,k) 0, then we have the following: Theorem.. Suppose that k 9 is odd. Then for any positive ǫ N k,γ (x) 6π ǫ x (x ǫ 0). Let d k := dim(s k ). With the result of Kohnen [0] in which covers the case of k 0 (mod ), we state the following result:

3 NON VANISHING OF CENTRAL VALUES OF MODULAR L-FUNCTIONS 3 Theorem.. Suppose that k is a positive integer such that d k. Then for any ǫ > 0 N k,γ (x) 6π ǫ x (x ǫ 0). Theorem. immediately implies that for each integer k such that d k > 0 there is a Hecke eigenform F S k satisfying (.). Corollary.3. Suppose that k is an integer such that d k. Then there exists a Hecke eigenform F(z) S k such that for any positive ǫ N F (x) d k 6π ǫ x (x ǫ 0). Recently, Farmer and James [3] proved that the characteristic polynomial of the Hecke operator T on S k is irreducible over Q for k,000. If K is the field obtained from Q by adjoining the eigenvalues of T, then the Galois group G = Gal(K/Q) operates transitively on the set of normalized Hecke eigenforms in S k. Using Theorem. and the known fact [5] that L(F σ,d,k) alg = L(F,D,k) σ alg for all σ G, we have that every Hecke eigenform F S k satisfies (.) for each integers k, 6 k,000. Here, alg means algebraic part. Theorem.4. Suppose that 6 k,000 is an integer. Then every normalized Hecke eigenform F in S k satisfies (.) N F (x) 6π ǫ x (x ǫ 0). Remark.5. Maeda ([6] Conjecture.)made a conjecture that thehecke algebraof S k over Q is simple, and that its Galois closure over Q has Galois group G the full symmetric group. The conjecture implies that there is a single Galois orbit of Hecke eigenforms in S k. Thus, Maeda s conjecture implies that every normalized Hecke eigenform F in S k satisfies (.).. Preliminaries Let q := e πiz, where z is in the complex upper half plane H. For an integer k recall the normalized Eisenstein series E k (z) := 4k B k n σ k (n)q n of weight k, and for an integer r let H r+ (z) = N=0 H(r,N)qN be the Cohen-Eisenstein series of weight r + on Γ 0(4) (see []). Here, for each positive integer N, define { ( ) [r ] (r )!N r r π r L(r,χ ( ) h(r,n) = r N) if ( ) r N 0 or (mod 4), 0 if ( ) r N or 3 (mod 4),

4 4 D. CHOI AND Y. CHOIE where χ D denotes the character χ D (d) = ( D ). Furthermore, for N, define d d N h(r, N ) if ( ) r N 0 or (mod 4), d H(r,N) = ζ( r) if N = 0, 0 otherwise. The followings are proved in []: Proposition.. () For r, Cohen-Eisenstein series H r+ (z) is a modular form of weight r + on Γ 0(4) and it is in Kohnen plus condition, that is, H(r,N) = 0 if ( ) r N 0, (mod 4). () Let a and b be integers with a. Suppose that b is a quadratic non residue of a. Then the function G a,b (z) := N b (mod a) H(,n)q n is a modular form of weight 3 and character a over Γ 0(A), where we can take A = 4a, and furthermore A = a if a is even. For a nonnegative integer k denote M k+ (Γ 0 (4)) as the usual complex vector space of cusp forms of weight k+ on Γ 0(4) with the trivial character. In [8], Kohnen introduces the plus space M + k+ (Γ 0 (4)) of modular forms g(z) of weight k+ on Γ 0(4) with a Fourier expansion of the form g(z) = ( ) k n 0, (mod 4) c(n)q n. and proved the following isomorphism (Proposition in [8]). Proposition.. Let M k be the space of modular forms of weight k on Γ. If k is even, then the spaces M k Mk and M + k+ (Γ 0 (4)) are isomorphic under the map (f(z),h(z)) f(4z)θ(z)+h(4z)h5(z), where θ(z) = + n= qn. If k is odd, then the spaces M k 3 Mk 5 and M + k+ (Γ 0 (4)) are isomorphic under the map (f(z),h(z)) f(4z)h7 (τ)+h(4z)h For k we have M + k+ (Γ 0 (4)) = CH k+ S + (Γ k+ 0 (4)). The results of [], [9], and [8] connect the coefficients of Hecke eigenforms of halfintegral weight to the central L-values of twists of integral weight Hecke eigenforms. More precisely, suppose that f(z) = n= a(n)qn S k is a normalized Hecke eigenform and that g(z) = n= c(n)qn S + k+ (Γ 0 (4)) is a Hecke eigenform with the same Hecke eigenvalues as those of f. Here, (z).

5 NON VANISHING OF CENTRAL VALUES OF MODULAR L-FUNCTIONS 5 S + k+ (Γ 0 (4)) := {g S k+ (Γ 0 (4)) g(z) = Theorem of [] states the following. n,( ) k n 0, (mod 4) c(n)q n } Theorem.3. Suppose that f and g are as above, D is a fundamental discriminant with ( ) k D > 0, and L(f,D,s) is the twisted L-series ) L(f,D,s) = a(n)n s. Then c( D ) g,g n= = (k )! π k ( D n D k L(f,D,k). f,f Here, g,g and f,f are the normalized Petersson scalar products g,g = g(z) y k 3/ dxdy 6 Γ 0 (4)\H f,f = f(z) y k dxdy. Γ \H 3. Proof of Theorem. For any function f(z) on H = {z C : Im(z) > 0} and any positive integer d we define the operator U d (3.) (f Ud )(z) := d ( ) z +j f. d d Suppose that f has a Fourier expansion f(z) = a(n)q n. Then (f Ud )(z) = a(nd)q n. If g(z) = n=0 c(n)qn is in M k+ (Γ 0 (4N)), then the Hecke operator with the trivial character on M k+ (Γ 0 (4N)) is defined for odd primes l by (g ( ( ) ( ) ( ) T(l,k))(z) := c(l n)+l k k n ( ) k n ) c(n)+ l c( ) k q n, l l l n=0 where ( ) ( l and ) ( l are Jacobi symbols, and c n ) l := 0 if l n. If g has integral coefficients, then one also has that (3.) g Ul g l ( T l,lk + (l ) ) (mod l). j=0 For any positive integer d we define the operator V d (g (3.3) Vd )(z) := c(n)q dn. n=0

6 6 D. CHOI AND Y. CHOIE Note that if l is a prime, then (3.4) (g Vl )(z) g(z) l (mod l). For a Dirichlet character χ let g χ := χ(n)c(n)q n. The following proposition immediately implies our main theorems. n=0 Proposition 3.. Suppose that k 8 is an integer. () If k is odd, then for any positive ǫ N k,γ (x) 6π ǫ x (x ǫ 0). () If k is an even integer such that d k > or k = 0, then for any positive ǫ N k,γ (x) 6π ǫ x (x ǫ 0). Proof For a positive even positive integer t, let m(t) := ( [ ]) t t 4. 4 For a non negative integer t we define a modular form R t (z): { E R t (z) := 4 (4z) [ 4] m(t) t E 6 (4z) m(t) if t > 0, if t = 0. For any even positive integer t, we have (3.5) R t (z) (mod 3). This is from the fact that if k 4 is an even integer, then E p (z) (mod p) for any prime p such that k 0 (mod p ) (see []). First, we assume that k is odd. For each odd integers k 9 define (3.6) Φ k+ (z) = 8H 3+ (z)r k 3 (z) 44 3 H 5+ (z)r k 5 (z) := β k (n)q n. Then Φ k+ is ins (z) + (Γ k+ 0 (4))by Proposition., andthe Fourier coefficients of Φ k+ (z) are 3-integral. On the other hand, for every odd k 9, we have Φ k+ (z) Φ 9+ n= (z)(= 8H 3+ (z)r 6 (z) 44 3 H 5+ (z)r 4 (z)) (mod 3).

7 NON VANISHING OF CENTRAL VALUES OF MODULAR L-FUNCTIONS 7 Let F(z) := (Φ 9+ = n (mod 3) (z) (Φ 9+ β 9 (n)q n. (z) U 3 V 3 ))+(Φ 9+ (z) (Φ 9+ (z) U 3 V 3 )) ( ) 3 Recall that G 3, (z) = n (mod 3) H(,n)q n. Proposition. implies that G 3, (z) = n (mod 3) H(,n)qn is a modular form of weight 3 on Γ 0(36) such that its coefficients are 3-integral. have Thus, by computing a few coefficient modulo 3 and using Sturm s bound in ([6]) we (3.7) F(z) n (mod 3) β 9 (n)q n q 4 +q 7 +q 9 +q 8 +q 40 +q 43 +q 5 +q 55 +q 64 +q 67 +q 76 + H(,n)q n G 3, (z) (mod 3). n (mod 3) On the other hand, let h(d) = H(,D) be the class number of Q( D). It is known that for D < 0, h(d) = B,( (apart from D = 3 and 4) (for example, see [7]). Thus, D ) we have β k (D) B,( D ) h( D) (mod 3), for a fundamental discriminant D > such that D (mod 3). Now let m and N be positive integers satisfying the condition: (**) If an odd prime p is a common divisor of m and N, then p N and p m. Further if N is even, then (i) 4 N and m mod 4 or (ii) 6 N and m 8 or mod 6. WedenotebyN (x,m,n)thenumber offundamental discriminants D with x < D < 0 and D m (mod N). The results of Davenport-Heilbronn [] and Nakagawa-Horie [3] imply that for any positive number ǫ (3.8) { fundamental discriminants D (mod 3) 0 < D < x and 3 h( D)} ( ǫ) (N (x,,3)).

8 8 D. CHOI AND Y. CHOIE Since N (x,,3) 9 x for x (see Proposition. in [3]), for odd integers k 7 8π we have (3.9) { fundamental discriminants D 0 < D < x and 3 β k (D)} 6π ǫ x. Since Φ k+ S (z) + (Γ k+ 0 (4)), the cusp form Φ k+ (z) is a linear combination of Hecke eigenforms g l (z) = n= c l(n)q n S + k+ (Γ 0 (4)) for l d k. By Theorem.3 we complete the proof of Theorem. From now on, suppose that k is even, and that d k > or k = 0. Let (3.0) Ψ k+ (z) := (4z)R k (z)θ(z) = α k (n)q n for k > 0 and n= (3.) Ψ 0+ (z) := (θ(z)e 4 (4z)E 6 (4z) H5 (z)e 4 (4z) ) χ 3 +(θ(z)e 4 (4z)E 6 (4z) H5(z)E 4 (4z) ) χ 3, where χ 3 (n) = ( n 3). We have by the sturm s bound and (3.5) n (mod 3) α k (n)q n n (mod 3) α (n)q n q 8 +q 7 +q 0 +q 4 +q 44 +q 53 +q 56 +q 65 +q 68 +q 80 +q 89 +q 9 H(,3n)q n (mod 3). n (mod 3) The remained part of the proof can be completed in a similar way as before, so we omit the details. Remark 3.. The argument given in [[0], p. 86 bottom] in the case where k is even and k (mod 3) is not correct, since it would require that all the coefficients of δ k 4 are 3-integral which in general is not the case. 4. Conclusion In thispaper, we extend the result in [0] tothe case when k is any integer, in particular when k is odd. So, we obtain that, for each integer k such that dims k, there is a normalized Hecke eigenform F in S k satisfying N F (x) x (x ). We conclude this paper with the following remark:

9 Remark 4.. NON VANISHING OF CENTRAL VALUES OF MODULAR L-FUNCTIONS 9 () For each odd k 9 and even λ such that λ, all the coefficients of Φ k+ and Ψ λ+ are 3-integral and a positive portion of these coefficients β k (n) and α λ (n) is not vanishing modulo 3. () Note that k = 9 is the minimum odd integer such that dim(s k ) > 0. Let (z) = q ( q n ) 4. n= If we take F(z) = (z)e 6 (z), then F(z) is the unique normalized Hecke eigenform in S 8. Corollary.3 implies that N F (x) 6π ǫ x (x ǫ 0). (3) The direct computation shows that if f S + k+ (Γ 0 (4)) has integral coefficients for even k such that d k =, then for some c {,}. f c n 3 n q n (mod 3) Acknowledgement The first author was supported by KRF C00005 and wish to express his gratitude to KIAS for its support through Associate membership program. The second author was partially supported by KOSEF-R and KRFKRF J030. References [] H. Cohen. Sums involving the values at negative integers of L-functions of quadratic characters. Math. Ann., 7(3):7 85, 975. [] H. Davenport and H. Heilbronn. On the density of discriminants of cubic fields. II. Proc. Roy. Soc. London Ser. A, 3(55):405 40, 97. [3] D. W. Farmer and K. James. The irreducibility of some level Hecke polynomials. Math. Comp., 7(39):63 70 (electronic), 00. [4] S. Friedberg and J. Hoffstein. Nonvanishing theorems for automorphic L-functions on GL(). Ann. of Math. (), 4():385 43, 995. [5] D. Goldfeld. Conjectures on elliptic curves over quadratic fields. In Number theory, Carbondale 979 (Proc. Southern Illinois Conf., Southern Illinois Univ., Carbondale, Ill., 979), volume 75 of Lecture Notes in Math., pages Springer, Berlin, 979. [6] H. Hida and Y. Maeda. Non-abelian base change for totally real fields. Pacific J. Math., (Special Issue):89 7, 997. Olga Taussky-Todd: in memoriam. [7] K. James. L-series with nonzero central critical value. J. Amer. Math. Soc., (3):635 64, 998. [8] W. Kohnen. Modular forms of half-integral weight on Γ 0 (4). Math. Ann., 48(3):49 66, 980. [9] W. Kohnen. Fourier coefficients of modular forms of half-integral weight. Math. Ann., 7():37 68, 985.

10 0 D. CHOI AND Y. CHOIE [0] W. Kohnen. On the proportion of quadratic character twists of L-functions attached to cusp forms not vanishing at the central point. J. Reine Angew. Math., 508:79 87, 999. [] W. Kohnen and D. Zagier. Values of L-series of modular forms at the center of the critical strip. Invent. Math., 64():75 98, 98. [] S. Lang, Introduction to Modular Forms, Grundl. d. Math. Wiss. no., Springer: Berlin Heidelberg New York, 976 Berlin, 995. [3] J. Nakagawa and K. Horie. Elliptic curves with no rational points. Proc. Amer. Math. Soc., 04():0 4, 988. [4] K. Ono and C. Skinner. Fourier coefficients of half-integral weight modular forms modulo l. Ann. of Math. (), 47(): , 998. [5] G. Shimura. The special values of the zeta functions associated with cusp forms. Comm. Pure Appl. Math., 9(6): , 976. [6] J. Sturm. On the congruence of modular forms. In Number theory (New York, ), volume 40 of Lecture Notes in Math., pages Springer, Berlin, 987. [7] J. Urbanowicz. On the divisibility of generalized Bernoulli numbers. In Applications of algebraic K-theory to algebraic geometry and number theory, Part I, II (Boulder, Colo., 983), volume 55 of Contemp. Math., pages Amer. Math. Soc., Providence, RI, 986. [8] J.L. Waldspurger. Sur les coefficients de Fourier des formes modulaires de poids demi-entier. J. Math. Pures Appl. (9), 60(4): , 98. School of Liberal Arts and Sciences, Korea Aerospace University, Goyang, Gyeonggi 4-79, Korea address: choija@kau.ac.kr Dept of Mathematics and PMI, POSTECH, Pohang, Korea address: yjc@postech.ac.kr