arxiv: v3 [math.nt] 28 Jul 2012

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "arxiv: v3 [math.nt] 28 Jul 2012"

Transcription

1 SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS arxiv: v3 [math.nt] 28 Jul 2012 JABAN MEHER Abstract. We investigate the cases for which products of two quasimodular or nearly holomorphic eigenforms are eigenforms. We also generalize the results of Ghate [5] to the case of Ranin-Cohen bracets. 1. Introduction The space of modular forms of fixed weight on the full modular group has a basis of simultaneous eigenvectors for all Hece operators. A modular form is called an eigenform if it is a simultaneous eigenvector for all Hece operators. A natural question to as is whether the product of two eigenforms (which may be of different weights) is an eigenform. The question was taen up by Due [3] and Ghate [4]. They proved that there are only finitely many cases where this phenomenon happens. Then a more general question i.e., the Ranin-Cohen bracet of two eigenforms was studied by Lanphier and Taloo-Bighash [8]. They also proved that except for finitely many cases, the Ranin-Cohen bracets of two eigenforms is not an eigenform. Recently, Beyerl, James, Trentacoste, Xue [1] have proved that this phenomenon extends to a certain class of nearly holomorphic modular forms. More explicitly, they have proved that there is only one more case apart from the cases listed in [3] and [4] for which the product of two nearly holomorphic eigenforms of certain type is a nearly holomorphic eigenform. In this paper, we consider a few more cases of such results. First, we consider the product of two quasimodular eigenforms. Secondly, we consider the product of nearly holomorphic eigenforms. Finally, we generalize the result of Ghate [5] to the case of Ranin-Cohen bracets. 2. Quasimodular forms Let Γ = SL 2 (Z) be the full modular group and H denote the upper half plane. Let M be the space of modular forms of weight on Γ. Date: July 31, Mathematics Subject Classification. Primary 11F11, 11F25; Secondary 11F37. Key words and phrases. Eigenforms, quasimodular forms, Maass-Shimura operator, Ranin- Cohen bracets. 1

2 2 JABAN MEHER Definition 2.1. A nearly holomorphic modular form F of weight and depth p on Γ is a polynomial in 1/y of degree p whose coefficients are holomorphic functions on H with moderate growth, such that (cz +d) F ( az+b cz+d) = F γ = F, ( ) a b where γ = SL c d 2 (Z). M ( p) Let denote the space of such forms. We denote by M = p M( p) the space of nearly holomorphic modular form of weight and M = M the graded ring of all nearly holomorphic modular forms on Γ. Definition 2.2. A quasimodular form of weight and depth p on Γ is the constant term of a nearly holomorphic modular form of weight and depth p on Γ. M ( p) Let denote the space of such forms. Let M = p M( p) be the space of quasimodular forms of weight and M = M the graded ring of all quasimodular forms on Γ. Then it is nown that M = C[E 2,E 4,E 6 ]. Here E (z) = 1 2 σ 1 (m)q m is the Eisenstein series of weight, where is the -th m 1 Bernoulli number, σ 1 (m) is the sum of ( 1)-th powers of the positive divisors of m, and q = e 2πiz with z H. For more details on quasimodular forms see [2]. For f M, define the action of n th Hece operator T n on f by (1) (T n f)(z) = n 1 d n ( ) nz +bd f. d d 1 Then T n maps M to M. A quasimodular form is said to be an eigenform if it is an eigenvector for all of the Hece operators T n for n N. It is nown that the differential operator D = 1 d taes M 2πi dz to M +2. We have the following proposition which follows by a similar argument as done in Proposition 2.4 and 2.5 of [1]. Proposition 2.3. If f M, then (D m (T n f))(z) = 1 n m (T n (D m f))(z), for m 0. Moreover, we have D m f is an eigenform for T n iff f is. In this case, if λ n is the eigenvalue of T n associated to f, then n m λ n is the eigenvalue of T n associated to D m f. By comparing the constant coefficients of both sides of the equality given in Proposition 2.3 of [1], we get similar identies for the operator D. We now state two results which follow the same way as was done in [1]. b=0 d 2

3 SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS 3 Proposition 2.4. Suppose that {f i } i is a collection of modular forms of distinct t weights i. Then for a i C, a i D (n i ) 2 (f i ) is an eigenform if and only if each D (n i i=1 2 ) (f i ) is an eigenform where the eigenvalues are the same for any i. Proposition 2.5. If > l and f M, g M l are eigenforms, then for r 0, D ( l 2 +r) (g) and D r (f) do not have the same eigenvalues. Notation : For {12,16,18,20,22,26}, let denote the unique normalized cusp form of weight on Γ. Using the above propositions and following the method as in [1], we have a result analogous to Theorem 3.1 of [1]. Theorem 2.6. Let f M and g M l so that for some r,s 0, D r f M +2r and D s g M l+2s are eigenforms. Then (D r f)(d s g) is an eigenform only in the following cases. (1) The modular cases given in [3] and [4], namely (2) (DE 4 )E 4 = 1 2 DE 8. E 2 4 = E 8, E 4 E 6 = E 10, E 6 E 8 = E 4 E 10 = E 14, E 4 12 = 16, E 6 12 = 18, E 4 16 = E 8 12 = 20, E 4 18 = E 6 16 = E = 22, E 4 22 = E 6 20 = E 8 18 = E = E = 26. M p M q l Theorem 2.7. Let f and g be eigenforms such that p,q < /2. Then fg is an eigenform only in the following cases. (1) The modular cases given in [3] and [4], namely (2) (DE 4 )E 4 = 1 2 DE 8. E 2 4 = E 8, E 4 E 6 = E 10, E 6 E 8 = E 4 E 10 = E 14, E 4 12 = 16, E 6 12 = 18, E 4 16 = E 8 12 = 20, E 4 18 = E 6 16 = E = 22, E 4 22 = E 6 20 = E 8 18 = E = E = 26. M p Proof. We now from Proposition 20 of [2] (page 59) that if p < /2, then = p r=0 Dr p q (M 2r ). Now, if f M and g M l are eigenforms, then by Proposition 2.4 and 2.5, we can conclude that f = D r (f r ) and g = D s (g s ), for some r, s and f r M 2r, g s M 2s. By applying the previous theorem, the result follows. Remar 2.8. It is nown from [2] that if f is a non-zero quasimodular form of weight and depth p, then p /2.

4 4 JABAN MEHER Remar 2.9. If f = n 1a n q n M is a non-zero eigenform, then a 1 0. Thus, it follows that the product of two quasimodular eigenforms (having zero constant term) is not an eigenform. It is easy to see that E 2 is an eigenform. Remar Following the same proof as in the case of M, one can prove that a quasimodular form in M with non-zero constant Fourier coefficient is an eigenform iff f CE. We have the following theorem. Theorem Let f M and g M l be eigenforms such that the constant coefficients of both f and g are non-zero. Then (D r f)(d s g) is an eigenform only in the following cases. E 2 4 = E 8, E 4 E 6 = E 10, E 6 E 8 = E 4 E 10 = E 14, (DE 4 )E 4 = 1 2 DE 8. To prove the above theorem, we first prove the following proposition. Proposition Let f M be an eigenform. Then E 2 f is an eigenform if and only if f C 12. Proof. Since D 12 = E 2 12, by Proposition 2.3, E 2 12 is an eigenform. Conversely, suppose that E 2 f is an eigenform with eigenvalues β n, where f = a m q m M is an eigenform with eigenvalues λ n. We now that g = Df m 0 E 12 2f M +2. Then T n (Df) T 12 n(e 2 f) = nλ n Df nλ 12 ne 2 f + (nλ 12 n β n )E 2 f M +2. Since E 2 f is not a modular form and nλ n Df nλ 12 ne 2 f is a modular form, we have nλ n = β n for all n 1. Thus g = Df E 12 2f M +2 is an eigenform with eigenvalues nλ n. If f = E, then g = αe +2 for some α C. Therefore, by applying T n to αe +2 = DE E 12 2E, we get for all n 1, nσ 1 (n) = σ +1 (n), which is not true. If f is a cusp form, without loss of generality assume that f is normalized. Let g = m 1b m q m. Since b 1 = 1, we have 12 ( (2) b n = na n 1 ), 12 for all n 1. Now computing the values of b n from Df 12 E 2f in terms of a n and then substituting in the previous equation, we see that a 2 = 24, a 3 = 252 and a 4 = These are nothing but the second, third and fourth Fourier coefficients of 12 respectively. But Theorem 1 of [6] says that if f 1 and f 2 are two cuspidal

5 SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS 5 eigenforms on Γ 0 (N) of different weights, then there exists n 4(log(N)+1) 2 such that a n (f 1 ) a n (f 2 ). Applying this theorem to f 1 = f, f 2 = 12 and N = 1, we conclude that = 12. Thus we have f = 12. Remar Since DE 2 = E2 2 E 4 and DE 12 2, E 4 are eigenforms with different eigenvalues, E2 2 is not an eigenform. Proof of Theorem By Theorem 2.6, Remar 2.9, Remar 2.10, Proposition 2.12 and Remar 2.13, we only have to prove that in the following cases (D r E 2 )(D s E ) is not an eigenform. (1) r = 0 and s 1 (2) r 1 and s = 0. For (1), let us assume on the contrary that E 2 (D s E ) is an eigenform where s 1. The first few coefficients of the normalized form 2 E 2(D s E ) = n 1a n q n are a 1 = 1, a 2 = 2 s σ 1 (2) 24, a 3 = 3 s σ 1 (3) 24(2 s σ 1 (2)+3), a 4 = 4 s σ 1 (4) 24(3 s σ 1 (3)+3 2 s σ 1 (2)+4). Since E 2 2(D s E ) is an eigenform we have a 4 = a s+1 and a 6 = a 2 a 3. Thus we have 4 s σ 1 (4) 24(3 s σ 1 (3)+3 2 s σ 1 (2)+4) = 2 2s σ 1 (2) s σ 1 (2) s+1 and 6 s σ 1 (6) 24(5 s σ 1 (5)+3 4 s σ 1 (4)+4 3 s σ 1 (3)+7 2 s σ 1 (2)+6) = (2 s σ 1 (2) 24)(3 s σ 1 (3) 24(2 s σ 1 (2)+3)). From the multiplicativity of σ 1 and σ 1 (4) = σ 1 (2) 2 2 1, these simplify to (3) 3 s (1+3 1 )+2 s +28 = 2 +s 4 (2 s 2 3 ) and (4) 5 s σ 1 (5)+3 s+1 σ 1 (3)+2 2s+1 σ 1 (2) s+2 σ 1 (2) s = 0. Now, if s 3, then the left hand side of (3) is positive, but the right hand side of the equation ( is non-positive. ) Thus s 4. If 2 (mod 4) and s is odd, then s 2 (mod 4), but 2 +s 6 (2 s 2 3 ) 2 s 2 is divisible by 4, giving a contradiction to (3). If 2 (mod 4) and s 0 (mod 4), then 3 s (1+3 1 )+2 s (1+2 1 )+28 0 (mod 5), but 5 does not divide 2 +2s 4. This gives a contradiction. If 2 (mod 4) and s 2 (mod 4), then 3 s+1 σ 1 (3) + 2 2s+1 σ 1 (2) s+2 σ 1 (2) s (mod 5), but the remaining term of left hand side of (4) is divisible by 5, giving a contradiction. If 0 (mod 4) and s is even or s 1 (mod 4), then we get a contradiction from (3) and if 0 (mod 4) and s 3 (mod 4), we get a contradiction from (4). This proves the theorem for case (1).

6 6 JABAN MEHER For case (2), let us assume on the contrary that (D r E 2 )E is an eigenform for r 1. Let 1 24 (Dr E 2 )E = b n q n be the normalized eigenform. The first few coefficients n 1 of the expansion are b 1 = 1, b 2 = 3 2 r 2, b 3 = 4 3 r 2 (3 2 r + σ 1 (2)), b 4 = 7 4 r 2 (4 3 r +3 2 r σ 1 (2)+σ 1 (3)). Since 1 24 (Dr E 2 )E isanormalizedeigenform, wehaveb 4 = b r+1. Substituting above values of b 2 and b 4 we get 7 4 r 2 (4 3 r +3 2 r σ 1 (2)+σ 1 (3)) = ( 3 2 r 2 ) r+1. This can be simplified to ( ) ( 4 3 r +3 2 r (2 1 1)+1+3 1) +2 2r+1 (1 2 ) = 0. (5) 2 = b± b2 +2 2r+3 (2 1), 2 where (6) b = 4 3 r +3 2 r (2 1 1) Since 2 is a rational number, b r+3 (2 1) is a perfect square, and since 2 2 divides b, is an integer. This implies that {2,4,6,8,10,14}. Since the case = 2 is shown in case (1), we only consider {4,6,8,10,14}. Let = 4. In this case, 2 = 240. Since 2 is negative, from (5), we get b b r+3 (2 4 1) = 480 b r+3 = (b 480) 2 b = r 3 Substituting this value of b in (6), we get (7) 2 2r r r 212 = 0. Now, we can see that (7) is not satisfied for any positive integer r, giving a contradiction. The other cases are done similarly, whereby one uses (5) to obtain an equation in terms of r. It is straightforward to show that this equation cannot be satisfied for any appropriate integer values of r. This concludes the proof of the theorem. Corollary Let f M be an eigenform. Then (D r E 2 )f is an eigenform if and only if r = 0 and f C 12. Proof. It is a direct consequence of Remar 2.9, Theorem 2.11 and Proposition 2.12.

7 SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS 7 3. Nearly holomorphic modular forms Definition 3.1. The Maass-Shimura operator δ on f M is defined by ( ( 1 δ (f) = 2πi 2iIm(z) + ) ) f (z). z The operator δ taes M to M +2. Here we consider the action of δ on M. The operator T n, for each n 1 as defined by (1), maps M to M. The function E2(z) = E 2 (z) 3 is a nearly holomorphic modular form of weight 2 on Γ and πim(z) it is also an eigenform. Theorem 3.2. Let f be a normalized eigenform in M. Then E 2f is an eigenform if and only if f = 12. Proof. ItisnownfromProposition2.5of[1] thatδ 12 ( 12 ) = E2 12 isaneigenform. For any modular form f M, we have δ (f) 12 E 2 f = Df E 12 2f M +2. Now assume that f M is a normalized eigenform such that E2 f is an eigenform. Then proceeding as in Proposition 2.12, we conclude that f = Ranin-Cohen Bracets of holomorphic eigenforms Let M (Γ 1 (N)), S (Γ 1 (N)) and E (Γ 1 (N)) be respectively the spaces of modular forms, cusps formsandeisenstein series ofweight 1onΓ 1 (N), andlet M (N,χ), S (N,χ), E (N,χ) be the spaces of modular forms, cusps forms and Eisenstein series of level N and character χ respectively. We have an explicit basis B for M (Γ 1 (N)) which consist of common eigenforms for all Hece operators T n with (n,n) = 1 as described in [5]. An element of M (Γ 1 (N)) is called an almost everywhere eigenform or a.e. eigenform for short, if it is constant multiple of an element of B. For further details see [5]. Let g M 1 (N,χ) and h M 2 (N,ψ). The m th Ranin-Cohen bracet of f and g is defined by [g,h] m (z) = ( )( ) ( 1) r m+1 1 m+2 1 g (r) (z)h (s) (z), s r r+s=m where g (r) (z) = D r g(z) and h (s) (z) = D s h(z). It is nown that [g,h] m M m(N,χψ) and [g,h] m is a cusp form if m 1. For > 2, the Eisenstein series is defined by E (N,ψ) (z) = γ Γ Γ 0 (N) ψ(d)(cz +d) E (N,ψ),

8 8 JABAN MEHER where z H and the sum varies over all γ = ( 1 n Γ = { 0 1 ( a b c d ) n Z}. We recall Proposition 6 of [11]: ) Γ 0 (N) modulo Theorem 4.1. Let 1, 2, m be integers satisfying > 2 and let = m. If f(z) = a n q n S (N,χψ) and g(z) = b n q n M 1 (N,χ), then n=1 f,[g,e (N,ψ) 2 ] m = Γ( 1)Γ( 2+m) (4π) 1 m!γ( 2 ) product. n=1 n=0 a n b n n 1+ 2, where, is the Petersson inner +m 1 Now, for an arbitrary positive integer N, let Q N such that (Q,N/Q) = 1. Let W Q be the Atin-Lehner operator on M (N,χ). Let χ = χ Q χ N/Q. Then it is nown that W Q maps M (N,χ Q χ N/Q ) to M (N,χ Q χ N/Q ) and it is an involution. It taes cusp forms to cusp forms and a.e. eigenforms to a.e. eigenforms (see [9] for details). We have the following lemma (see [7], Proposition 1). Lemma 4.2. Ifg M 1 (N,χ) andh M 2 (N,ψ), then [g,h] m W Q = [g W Q,h W Q ] m. Let ψ i be Dirichlet characters mod M i, i = 1,2 such that ψ 1 ψ 2 ( 1) = ( 1), where 1. Also assume that: (1) if = 2 and ψ 1 and ψ 2 both are trivial, then M 1 = 1 and M 2 is a prime number, (2) otherwise, ψ 1 and ψ 2 are primitive characters. Put M = M 1 M 2 and ψ = ψ 1 ψ 2. Let f (Qz,ψ 1,ψ 2 ), where QM 1 M 2 N be the set of elements of E (N,ψ) as given in Theorems and of [10] which form a basis of common eigenforms for all the Hece operators T n of level N, with (n,n) = 1. Remar 4.3. Using Theorem 4.1 and following the lines of Proposition 3 of [5], we have the following: For positive integers, 1, 2, m satisfying > 2 and = m, g S 1 (N,χ) an a.e. eigenform which is a newform, h = E (N,ψ) 2 (N,χψ) 2 then [g,h] m is not an a.e. eigenform. S new E 2 (N,ψ), if dim Remar 4.4. Similarly as mentioned in the previous remar, we have an analogous result to Proposition 4 of [5] in this case: For positive integers, 1, 2, m satisfying the same condition as in the previous remar, g = f 1 (z,χ 1 χ 2 ) an a.e. eigenform as described above with χ primitive, h = E (N,χ) 2 E 2 (N,χ), if dim S new (N,χψ) 2 then [g,h] m isnot ana.e. eigenform. Theorem 4.5. Let 1, 2,,m be positive integers such that = m and let N be square-free.

9 SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS 9 (i) If g S 1 (Γ 1 (N)) and h S 2 (Γ 1 (N)) are a.e. eigenforms, then [g,h] m is not an a.e. eigenform. (ii) Let 1 3 and > 2. Suppose that g S 1 (N,χ) is an a.e. eigenform which is a newform and h E 2 (N,ψ). If dim S new (N,χψ) 2, then [g,h] m is not an a.e. eigenform. (iii) Let 1, 2 3, Let g = f 1 (z,χ 1,χ 2 ) E 1 (N,χ) and h = f 2 (z,ψ 1,ψ 2 ) E 2 (N,ψ) be a.e. eigenforms as mentioned above with χ and ψ primitive characters. If dim S new (N,χψ) 2, [g,h] m is not an a.e. eigenform. Proof. Assume that (8) [g,h] m = f isana.e. eigenform. Then f(z) = f 0 (Qz), wherem N, Q (N/M)andf 0 S (M,χ) isanormalizednewform. SinceN issquare-free, foranydivisiorqofn, (Q,N/Q) = 1. We also have f W Q = Q /2 χ(w)f 0 (z). Applying the operator W Q to (8) and by Lemma 4.2, we get [g W Q,h W Q ] m = f W Q = const. f 0. This gives a contradiction since the q-expansion of f 0 (being primitive) starts with q, whereas the q-expansion of [g W Q,h W Q ] m starts with at least q 2. This proves (i). Let h = f 2 (Qz,ψ 1,ψ 2 ), for Q (N/M 1 M 2 ). Since N is square-free, for any divisor Q of N, we have (Q,N/Q) = 1. Now applying W N/QM2 on h and using Proposition 1 and Lemma 1 of [5], we get h W N/QM2 = const. f 2 ( Nz M 1 M 2,ψ 0,ψ 1 ψ 2 ) = const. E (N,ψ 1 ψ 2) 2, where ψ 0 is the principal character. Now assume on the contrary that [g,h] m is an a.e. eigenform. Applying W N/QM2 to [g,h] m and using Lemma 4.2, we see that [ g W N/QM2,h W N/QM2 ]m S (N,χ QM2 χ N/QM2 ψ 1 ψ 2 ) is an a.e. eigenform. Since the W-operator is an isomorphism and taes a newform space to a newform space, dim S (N,χ QM2 χ N/QM2 ψ 1 ψ 2 ) 2. Then applying Remar 4.3 to g W N/QM2 S (N,χ QM2 χ N/QM2 ) and h W N/QM2 = const. E (N,ψ 1 ψ 2) 2, we get a contradiction. This proves (ii). If 2 1 2, then as in the proof of (ii), we apply the operator W N/M2 to h and g and we get h W N/M2 = const. E (N,ψ 1 ψ 2) 2 and g W N/M2 is a form with primitive character. Applying Remar 4.4, we get (iii). If 1 2 2, then interchanging the roles of g and h gives the required result. Acnowledgments I than D. Lanphier for giving useful informations about his papers. I than B. Ramarishnan for useful discussions and maing numerous suggestions. I also than Sanoli Gun for her useful comments. Finally, I than the referee for meticulously reading the manuscript and maing numerous suggestions which improved the presentation.

10 10 JABAN MEHER References [1] J. Beyerl, K. James, C. Trentacoste, H. Xue, Products of nearly holomorphic eigenforms, Ramanujan J. 27 (2012), [2] J. H. Bruinier, G. van der Geer, G. Harder, D. Zagier, The 1-2-3of Modular Forms, Springer, [3] W. Due, When is the product of two Hece eigenforms an eigenform?, In Number theory in progress, Vol. 2 (Zaopane-Kościeliso, 1997), de Gruyter, Berlin,(1999), [4] E. Ghate, On monomial relations between Eisenstein series, J. Ramanujan Math. Soc. 15, (2000), [5] E. Ghate, On products of eigenforms, Acta Arith. 102 (2002), [6] A. Ghitza, Distinguishing Hece eigenforms, Int. J. Number Theory 7 (2011), No. 5, [7] D.Lanphier, Combinatorics of Maass-Shimura operators, J. Number Theory 128 (2008), no.8, [8] D. Lanphier, R. Taloo-Bighash, On Ranin-Cohen bracets of eigenforms, J. Ramanujan Math. Soc. 19 (2004), no. 4, [9] W. W. Li, Newforms and functional equations, Math. Ann. 212 (1975), [10] T. Miyae, Modular Forms, Springer, [11] D.Zagier, Modular forms whose Fourier coefficients involve zeta-functions of quadratic fields, in Modular Functions of One Variable IV, Lect. Notes in Math. 627, Springer, Berlin, 1977, Harish-Chandra Research Institute, Chhatnag Road, Jhunsi, Allahabad , India. address:

On Rankin-Cohen Brackets of Eigenforms

On Rankin-Cohen Brackets of Eigenforms On Rankin-Cohen Brackets of Eigenforms Dominic Lanphier and Ramin Takloo-Bighash July 2, 2003 1 Introduction Let f and g be two modular forms of weights k and l on a congruence subgroup Γ. The n th Rankin-Cohen

More information

RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION

RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION B. RAMAKRISHNAN AND BRUNDABAN SAHU Abstract. We use Rankin-Cohen brackets for modular forms and quasimodular forms

More information

(f) is called a nearly holomorphic modular form of weight k + 2r as in [5].

(f) is called a nearly holomorphic modular form of weight k + 2r as in [5]. PRODUCTS OF NEARLY HOLOMORPHIC EIGENFORMS JEFFREY BEYERL, KEVIN JAMES, CATHERINE TRENTACOSTE, AND HUI XUE Abstract. We prove that the product of two neary hoomorphic Hece eigenforms is again a Hece eigenform

More information

arxiv: v1 [math.nt] 28 Jan 2010

arxiv: v1 [math.nt] 28 Jan 2010 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

More information

THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES. (q = e 2πiτ, τ H : the upper-half plane) ( d 5) q n

THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES. (q = e 2πiτ, τ H : the upper-half plane) ( d 5) q n THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES MASANOBU KANEKO AND YUICHI SAKAI Abstract. For several congruence subgroups of low levels and their conjugates, we derive differential

More information

Lecture 12 : Hecke Operators and Hecke theory

Lecture 12 : Hecke Operators and Hecke theory Math 726: L-functions and modular forms Fall 2011 Lecture 12 : Hecke Operators and Hecke theory Instructor: Henri Darmon Notes written by: Celine Maistret Recall that we found a formula for multiplication

More information

SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS

SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS DAVID HANSEN AND YUSRA NAQVI Abstract In 1973, Shimura [8] introduced a family of correspondences between modular forms

More information

RESEARCH ANNOUNCEMENTS PROJECTIONS OF C AUTOMORPHIC FORMS BY JACOB STURM 1

RESEARCH ANNOUNCEMENTS PROJECTIONS OF C AUTOMORPHIC FORMS BY JACOB STURM 1 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 2, Number 3, May 1980 RESEARCH ANNOUNCEMENTS PROJECTIONS OF C AUTOMORPHIC FORMS BY JACOB STURM 1 The purpose of this paper is to exhibit

More information

RATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS

RATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS MATHEMATICS OF COMPUTATION Volume 66, Number 218, April 1997, Pages 833 839 S 0025-5718(97)00821-1 RATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS LARRY LEHMAN Abstract. We describe the explicit computation

More information

Mock modular forms and their shadows

Mock modular forms and their shadows Mock modular forms and their shadows Zachary A. Kent Emory University Classical Eichler-Shimura Theory Modular Forms Basic Definitions Classical Eichler-Shimura Theory Modular Forms Basic Definitions Notation:

More information

THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5

THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5 THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5 JEREMY LOVEJOY Abstract. We establish a relationship between the factorization of n+1 and the 5-divisibility of Q(n, where Q(n is the number

More information

of S 2 (Γ(p)). (Hecke, 1928)

of S 2 (Γ(p)). (Hecke, 1928) Equivariant Atkin-Lehner Theory Introduction Atkin-Lehner Theory: Atkin-Lehner (1970), Miyake (1971), Li (1975): theory of newforms (+ T-algebra action) a canonical basis for S k (Γ 1 (N)) and hence also

More information

ETA-QUOTIENTS AND ELLIPTIC CURVES

ETA-QUOTIENTS AND ELLIPTIC CURVES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3169 3176 S 0002-9939(97)03928-2 ETA-QUOTIENTS AND ELLIPTIC CURVES YVES MARTIN AND KEN ONO (Communicated by

More information

SECOND ORDER MODULAR FORMS. G. Chinta, N. Diamantis, C. O Sullivan. 1. Introduction

SECOND ORDER MODULAR FORMS. G. Chinta, N. Diamantis, C. O Sullivan. 1. Introduction SECOND ORDER MODULAR FORMS G. Chinta, N. Diamantis, C. O Sullivan 1. Introduction In some recent papers (cf. [G2], [O], [CG], [GG], [DO]) the properties of new types of Eisenstein series are investigated.

More information

Twists and residual modular Galois representations

Twists and residual modular Galois representations Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual

More information

ETA-QUOTIENTS AND THETA FUNCTIONS

ETA-QUOTIENTS AND THETA FUNCTIONS ETA-QUOTIENTS AND THETA FUNCTIONS ROBERT J. LEMKE OLIVER Abstract. The Jacobi Triple Product Identity gives a closed form for many infinite product generating functions that arise naturally in combinatorics

More information

Before we prove this result, we first recall the construction ( of) Suppose that λ is an integer, and that k := λ+ 1 αβ

Before we prove this result, we first recall the construction ( of) Suppose that λ is an integer, and that k := λ+ 1 αβ 600 K. Bringmann, K. Ono Before we prove this result, we first recall the construction ( of) these forms. Suppose that λ is an integer, and that k := λ+ 1 αβ. For each A = Ɣ γ δ 0 (4),let j(a, z) := (

More information

Mod p Galois representations attached to modular forms

Mod p Galois representations attached to modular forms Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended

More information

0. Introduction. Let/ 0(N)--((c a )e SL2(Z)] c----o(n) 1 anddenote

0. Introduction. Let/ 0(N)--((c a )e SL2(Z)] c----o(n) 1 anddenote 280 Proc. Japan Acad., 56, Ser. A (1980) [Vol. 56 (A), 64. The Basis Problem for Modular Forms on /"o(n) * By Hiroaki HIJIKATA, *) Arnold PIZER, and Tom SHEMANSKE***) (Communicated by Kunihiko KODAIRA,

More information

SIGN CHANGES OF COEFFICIENTS OF HALF INTEGRAL WEIGHT MODULAR FORMS

SIGN CHANGES OF COEFFICIENTS OF HALF INTEGRAL WEIGHT MODULAR FORMS SIGN CHANGES OF COEFFICIENTS OF HALF INTEGRAL WEIGHT MODULAR FORMS JAN HENDRIK BRUINIER AND WINFRIED KOHNEN Abstract. For a half integral weight modular form f we study the signs of the Fourier coefficients

More information

Congruences among generalized Bernoulli numbers

Congruences among generalized Bernoulli numbers ACTA ARITHMETICA LXXI.3 (1995) Congruences among generalized Bernoulli numbers by Janusz Szmidt (Warszawa), Jerzy Urbanowicz (Warszawa) and Don Zagier (Bonn) For a Dirichlet character χ modulo M, the generalized

More information

Rank Lowering Linear Maps and Multiple Dirichlet Series Associated to GL(n, R)

Rank Lowering Linear Maps and Multiple Dirichlet Series Associated to GL(n, R) Pure and Applied Mathematics Quarterly Volume, Number Special Issue: In honor o John H Coates, Part o 6 65, 6 Ran Lowering Linear Maps and Multiple Dirichlet Series Associated to GLn, R Introduction Dorian

More information

Residual modular Galois representations: images and applications

Residual modular Galois representations: images and applications Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular

More information

TWISTS OF ELLIPTIC CURVES. Ken Ono

TWISTS OF ELLIPTIC CURVES. Ken Ono TWISTS OF ELLIPTIC CURVES Ken Ono Abstract. If E is an elliptic curve over Q, then let E(D) denote the D quadratic twist of E. It is conjectured that there are infinitely many primes p for which E(p) has

More information

Multiple divisor functions, their algebraic structure and the relation to multiple zeta values

Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Kyushu University - 13th November 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920 [math.nt] Multiple

More information

arxiv: v1 [math.nt] 5 Sep 2016

arxiv: v1 [math.nt] 5 Sep 2016 ELEMENTARY EVALUATION OF CONVOLUTION SUMS INVOLVING PRIMITIVE DIRICHLET CHARACTERS FOR A CLASS OF POSITIVE INTEGERS arxiv:1609.01343v1 [math.nt] Sep 2016 EBÉNÉZER NTIENJEM ABSTRACT. We extend the results

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

CLASSIFICATION OF TORSION-FREE GENUS ZERO CONGRUENCE GROUPS

CLASSIFICATION OF TORSION-FREE GENUS ZERO CONGRUENCE GROUPS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 129, Number 9, Pages 2517 2527 S 0002-9939(01)06176-7 Article electronically published on April 17, 2001 CLASSIFICATION OF TORSION-FREE GENUS ZERO

More information

Computing Hilbert modular forms

Computing Hilbert modular forms Computing Hilbert modular forms John Voight Dartmouth College Curves and Automorphic Forms Arizona State University 10 March 2014 Hilbert modular forms Let F be a totally real field with [F : Q] = n and

More information

TATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto

TATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field

More information

arxiv: v3 [math.nt] 12 Jan 2011

arxiv: v3 [math.nt] 12 Jan 2011 SUPERCONGRUENCES FOR APÉRY-LIKE NUMBERS arxiv:0906.3413v3 [math.nt] 12 Jan 2011 ROBERT OSBURN AND BRUNDABAN SAHU Abstract. It is nown that the numbers which occur in Apéry s proof of the irrationality

More information

THE NUMBER OF PRIME DIVISORS OF A PRODUCT

THE NUMBER OF PRIME DIVISORS OF A PRODUCT Journal of Combinatorics and Number Theory JCNT 2009, Volume 1, Issue # 3, pp. 65-73 ISSN 1942-5600 c 2009 Nova Science Publishers, Inc. THE NUMBER OF PRIME DIVISORS OF A PRODUCT OF CONSECUTIVE INTEGERS

More information

Constructions of digital nets using global function fields

Constructions of digital nets using global function fields ACTA ARITHMETICA 105.3 (2002) Constructions of digital nets using global function fields by Harald Niederreiter (Singapore) and Ferruh Özbudak (Ankara) 1. Introduction. The theory of (t, m, s)-nets and

More information

CHUNG PANG MOK. The correct form of Proposition 2.2 of [M1] should be stated as follows:

CHUNG PANG MOK. The correct form of Proposition 2.2 of [M1] should be stated as follows: CORRIGENDUM AND ADDENDUM TO SPECIAL VALUES OF L-FUNCTIONS OF ELLIPTIC CURVES OVER Q AND THEIR BASE CHANGE TO REAL QUADRATIC FIELDS [J. NUMBER THEORY 130 (2010), NO. 2, 431 438] CHUNG PANG MOK Abstract.

More information

How many units can a commutative ring have?

How many units can a commutative ring have? How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

More information

arxiv: v1 [math.nt] 6 Nov 2015

arxiv: v1 [math.nt] 6 Nov 2015 ON SIGN CHANGES OF CUSP FORMS AND THE HALTING OF AN ALGORITHM TO CONSTRUCT A SUPERSINGULAR ELLIPTIC CURVE WITH A GIVEN ENDOMORPHISM RING KING CHEONG FUNG AND BEN KANE arxiv:1511.02082v1 [math.nt] 6 Nov

More information

Hermitian modular forms congruent to 1 modulo p.

Hermitian modular forms congruent to 1 modulo p. Hermitian modular forms congruent to 1 modulo p. arxiv:0810.5310v1 [math.nt] 29 Oct 2008 Michael Hentschel Lehrstuhl A für Mathematik, RWTH Aachen University, 52056 Aachen, Germany, hentschel@matha.rwth-aachen.de

More information

COUNTING LATTICE VECTORS

COUNTING LATTICE VECTORS COUNTING LATTICE VECTORS DENIS XAVIER CHARLES Abstract. We consider the problem of counting the number of lattice vectors of a given length and prove several results regarding its computational complexity.

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

Rational Equivariant Forms

Rational Equivariant Forms CRM-CICMA-Concordia University Mai 1, 2011 Atkin s Memorial Lecture and Workshop This is joint work with Abdellah Sebbar. Notation Let us fix some notation: H := {z C; I(z) > 0}, H := H P 1 (Q), SL 2 (Z)

More information

arxiv: v2 [math.nt] 2 Jul 2013

arxiv: v2 [math.nt] 2 Jul 2013 SECANT ZETA FUNCTIONS MATILDE LALÍN, FRANCIS RODRIGUE, AND MATHEW ROGERS arxiv:304.3922v2 [math.nt] 2 Jul 203 Abstract. Westudytheseries ψ sz := secnπzn s, andprovethatit converges under mild restrictions

More information

Some generalizations of a supercongruence of van Hamme

Some generalizations of a supercongruence of van Hamme Some generalizations of a supercongruence of van Hamme Victor J. W. Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an, Jiangsu 3300, People s Republic of China jwguo@hytc.edu.cn Abstract.

More information

Gabor Wiese. 1st August Abstract

Gabor Wiese. 1st August Abstract Mod p Modular Forms Gabor Wiese 1st August 2006 Abstract These are notes and background information for my lectures at the MSRI Summer Graduate Workshop in Computational Number Theory, 31st July to 11th

More information

arxiv: v1 [math.nt] 24 Oct 2013

arxiv: v1 [math.nt] 24 Oct 2013 A SUPPLEMENT TO SCHOLZ S RECIPROCITY LAW arxiv:13106599v1 [mathnt] 24 Oct 2013 FRANZ LEMMERMEYER Abstract In this note we will present a supplement to Scholz s reciprocity law and discuss applications

More information

INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS

INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS INTEGRAL TRACES OF SINGULAR VALUES OF WEAK MAASS FORMS W. DUKE AND PAUL JENKINS ABSTRACT. We define traces associated to a weakly holomorphic modular form f of arbitrary negative even integral weight and

More information

TOPICS IN NUMBER THEORY - EXERCISE SHEET I. École Polytechnique Fédérale de Lausanne

TOPICS IN NUMBER THEORY - EXERCISE SHEET I. École Polytechnique Fédérale de Lausanne TOPICS IN NUMBER THEORY - EXERCISE SHEET I École Polytechnique Fédérale de Lausanne Exercise Non-vanishing of Dirichlet L-functions on the line Rs) = ) Let q and let χ be a Dirichlet character modulo q.

More information

Ramanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +

Ramanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 + Ramanujan s first letter to Hardy: e 2π/ + + 1 = 1 + e 2π 2 2 1 + e 4π 1 + e π/ 1 e π = 2 2 1 + 1 + e 2π 1 + Hardy: [These formulas ] defeated me completely. I had never seen anything in the least like

More information

arxiv: v1 [math.co] 24 Jan 2017

arxiv: v1 [math.co] 24 Jan 2017 CHARACTERIZING THE NUMBER OF COLOURED m ARY PARTITIONS MODULO m, WITH AND WITHOUT GAPS I. P. GOULDEN AND PAVEL SHULDINER arxiv:1701.07077v1 [math.co] 24 Jan 2017 Abstract. In a pair of recent papers, Andrews,

More information

TITLES & ABSTRACTS OF TALKS

TITLES & ABSTRACTS OF TALKS TITLES & ABSTRACTS OF TALKS Speaker: Reinier Broker Title: Computing Fourier coefficients of theta series Abstract: In this talk we explain Patterson s method to effectively compute Fourier coefficients

More information

Hecke eigenforms in the Cuspidal Cohomology of Congruence Subgroups of SL(3, Z)

Hecke eigenforms in the Cuspidal Cohomology of Congruence Subgroups of SL(3, Z) Hecke eigenforms in the Cuspidal Cohomology of Congruence Subgroups of SL(3, Z) Bert van Geemen, Wilberd van der Kallen, Jaap Top and Alain Verberkmoes October 25, 1996 Abstract In this paper, Hecke eigenvalues

More information

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same

More information

THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY

THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY M. A. KENKU 1. Introduction Let N be an integer ^ 1. The affine modular curve Y 0 (N) parametrizes isomorphism classes of pairs (E ; C N ) where E is an

More information

p-adic families of modular forms II

p-adic families of modular forms II April 5, 2009 Leftovers from last time Lemma Proof. We have G k = (1 pk 1 V p )G k p d np d k 1 = p k 1 d n d k 1 So equality holds in all coefficients except possibly the constant. But then G k (1 pk

More information

THE DIOPHANTINE EQUATION P (x) = n! AND A RESULT OF M. OVERHOLT. Florian Luca Mathematical Institute, UNAM, Mexico

THE DIOPHANTINE EQUATION P (x) = n! AND A RESULT OF M. OVERHOLT. Florian Luca Mathematical Institute, UNAM, Mexico GLASNIK MATEMATIČKI Vol. 37(57(2002, 269 273 THE IOPHANTINE EQUATION P (x = n! AN A RESULT OF M. OVERHOLT Florian Luca Mathematical Institute, UNAM, Mexico Abstract. In this note, we show that the ABC-conjecture

More information

DOUBLE ZETA VALUES AND MODULAR FORMS

DOUBLE ZETA VALUES AND MODULAR FORMS DOUBLE ZETA VALUES AND MODULAR FORMS HERBERT GANGL, MASANOBU KANEKO, AND DON ZAGIER Dedicated to the memory of Tsuneo Araawa. Introduction and main results The double zeta values, which are defined for

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

Primes in arithmetic progressions

Primes in arithmetic progressions (September 26, 205) Primes in arithmetic progressions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 205-6/06 Dirichlet.pdf].

More information

arxiv: v1 [math.nt] 8 Sep 2014

arxiv: v1 [math.nt] 8 Sep 2014 arxiv:1409.2463v1 [math.nt] 8 Sep 2014 On the Diophantine equation X 2N +2 2α 5 2β p 2γ = Z 5 Eva G. Goedhart and Helen G. Grundman Abstract We prove that for each odd prime p, positive integer α, and

More information

MEROMORPHIC FUNCTIONS AND ALSO THEIR FIRST TWO DERIVATIVES HAVE THE SAME ZEROS

MEROMORPHIC FUNCTIONS AND ALSO THEIR FIRST TWO DERIVATIVES HAVE THE SAME ZEROS Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 30, 2005, 205 28 MEROMORPHIC FUNCTIONS AND ALSO THEIR FIRST TWO DERIVATIVES HAVE THE SAME ZEROS Lian-Zhong Yang Shandong University, School of Mathematics

More information

New congruences for overcubic partition pairs

New congruences for overcubic partition pairs New congruences for overcubic partition pairs M. S. Mahadeva Naika C. Shivashankar Department of Mathematics, Bangalore University, Central College Campus, Bangalore-560 00, Karnataka, India Department

More information

Multiple Eisenstein series

Multiple Eisenstein series Workshop on Periods and Motives - YRS Madrid 4th June 2012 Motivation Motivation Motivation A particular order on lattices Given τ H we consider the lattice Zτ + Z, then for lattice points a 1 = m 1 τ

More information

arxiv: v3 [math.nt] 29 Mar 2016

arxiv: v3 [math.nt] 29 Mar 2016 arxiv:1602.06715v3 [math.nt] 29 Mar 2016 STABILITY RESULT FOR SETS WITH 3A Z n 5 VSEVOLOD F. LEV Abstract. As an easy corollary of Kneser s Theorem, if A is a subset of the elementary abelian group Z n

More information

Modules over Principal Ideal Domains

Modules over Principal Ideal Domains Modules over Principal Ideal Domains Let henceforth R denote a commutative ring with 1. It is called a domain iff it has no zero-divisors, i.e. if ab = 0 then either a or b is zero. Or equivalently, two

More information

COMPOSITIONS, PARTITIONS, AND FIBONACCI NUMBERS

COMPOSITIONS, PARTITIONS, AND FIBONACCI NUMBERS COMPOSITIONS PARTITIONS AND FIBONACCI NUMBERS ANDREW V. SILLS Abstract. A bijective proof is given for the following theorem: the number of compositions of n into odd parts equals the number of compositions

More information

DONG QUAN NGOC NGUYEN

DONG QUAN NGOC NGUYEN REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the

More information

COUNTING COVERS OF AN ELLIPTIC CURVE

COUNTING COVERS OF AN ELLIPTIC CURVE COUNTING COVERS OF AN ELLIPTIC CURVE ABSTRACT. This note is an exposition of part of Dijkgraaf s article [Dij] on counting covers of elliptic curves and their connection with modular forms. CONTENTS 0.

More information

CYCLOTOMIC FIELDS CARL ERICKSON

CYCLOTOMIC FIELDS CARL ERICKSON CYCLOTOMIC FIELDS CARL ERICKSON Cyclotomic fields are an interesting laboratory for algebraic number theory because they are connected to fundamental problems - Fermat s Last Theorem for example - and

More information

Weyl group multiple Dirichlet series

Weyl group multiple Dirichlet series Weyl group multiple Dirichlet series Paul E. Gunnells UMass Amherst August 2010 Paul E. Gunnells (UMass Amherst) Weyl group multiple Dirichlet series August 2010 1 / 33 Basic problem Let Φ be an irreducible

More information

arxiv: v1 [math.nt] 9 Sep 2017

arxiv: v1 [math.nt] 9 Sep 2017 arxiv:179.2954v1 [math.nt] 9 Sep 217 ON THE FACTORIZATION OF x 2 +D GENERALIZED RAMANUJAN-NAGELL EQUATION WITH HUGE SOLUTION) AMIR GHADERMARZI Abstract. Let D be a positive nonsquare integer such that

More information

1 Holomorphic functions

1 Holomorphic functions Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative

More information

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Let F be a field, M n (F ) the algebra of n n matrices over F and

More information

THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS

THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS M. RAM MURTY AND KATHLEEN L. PETERSEN Abstract. Let K be a number field with positive unit rank, and let O K denote the ring of integers of K.

More information

4. Ergodicity and mixing

4. Ergodicity and mixing 4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation

More information

A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF 1-EIGENSPACES IN MATRIX GROUPS

A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF 1-EIGENSPACES IN MATRIX GROUPS A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF -EIGENSPACES IN MATRIX GROUPS MICHAEL ADAM AND GUNTER MALLE Abstract. We propose a modification to the Cohen Lenstra prediction for the distribution

More information

CYCLES AND FIXED POINTS OF HAPPY FUNCTIONS

CYCLES AND FIXED POINTS OF HAPPY FUNCTIONS Journal of Combinatorics and Number Theory Volume 2, Issue 3, pp. 65-77 ISSN 1942-5600 c 2010 Nova Science Publishers, Inc. CYCLES AND FIXED POINTS OF HAPPY FUNCTIONS Kathryn Hargreaves and Samir Siksek

More information

Bad reduction of genus 3 curves with Complex Multiplication

Bad reduction of genus 3 curves with Complex Multiplication Bad reduction of genus 3 curves with Complex Multiplication Elisa Lorenzo García Universiteit Leiden Joint work with Bouw, Cooley, Lauter, Manes, Newton, Ozman. October 1, 2015 Elisa Lorenzo García Universiteit

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Classification of Finite Fields

Classification of Finite Fields Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.

More information

arxiv: v3 [math.nt] 10 Jun 2009

arxiv: v3 [math.nt] 10 Jun 2009 SIEVING FOR MASS EQUIDISTRIBUTION arxiv:89.164v3 [math.nt] 1 Jun 29 ROMAN HOLOWINSKY Abstract. We approach the holomorphic analogue to the Quantum Unique Ergodicity conjecture through an application of

More information

1. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials.

1. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials A rational function / is a quotient of two polynomials P, Q with 0 By Fundamental Theorem of algebra, =

More information

arxiv: v1 [math.gr] 31 May 2016

arxiv: v1 [math.gr] 31 May 2016 FINITE GROUPS OF THE SAME TYPE AS SUZUKI GROUPS SEYED HASSAN ALAVI, ASHRAF DANESHKHAH, AND HOSEIN PARVIZI MOSAED arxiv:1606.00041v1 [math.gr] 31 May 2016 Abstract. For a finite group G and a positive integer

More information

25 Modular forms and L-functions

25 Modular forms and L-functions 18.783 Elliptic Curves Lecture #25 Spring 2017 05/15/2017 25 Modular forms and L-functions As we will prove in the next lecture, Fermat s Last Theorem is a corollary of the following theorem for elliptic

More information

SUPER-REPLICABLE FUNCTIONS N (j 1,N ) AND PERIODICALLY VANISHING PROPERTY

SUPER-REPLICABLE FUNCTIONS N (j 1,N ) AND PERIODICALLY VANISHING PROPERTY J. Korean Math. Soc. 44 007, No., pp. 343 371 SUPER-REPLICABLE FUNCTIONS N j 1,N AND PERIODICALLY VANISHING PROPERTY Chang Heon Kim and Ja Kyung Koo Reprinted from the Journal of the Korean Mathematical

More information

Proof. We omit the proof of the case when f is the reduction of a characteristic zero eigenform (cf. Theorem 4.1 in [DS74]), so assume P (X) has disti

Proof. We omit the proof of the case when f is the reduction of a characteristic zero eigenform (cf. Theorem 4.1 in [DS74]), so assume P (X) has disti Some local (at p) properties of residual Galois representations Johnson Jia, Krzysztof Klosin March 5, 26 1 Preliminary results In this talk we are going to discuss some local properties of (mod p) Galois

More information

Fermat numbers and integers of the form a k + a l + p α

Fermat numbers and integers of the form a k + a l + p α ACTA ARITHMETICA * (200*) Fermat numbers and integers of the form a k + a l + p α by Yong-Gao Chen (Nanjing), Rui Feng (Nanjing) and Nicolas Templier (Montpellier) 1. Introduction. In 1849, A. de Polignac

More information

1, for s = σ + it where σ, t R and σ > 1

1, for s = σ + it where σ, t R and σ > 1 DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,

More information

arxiv:math/ v2 [math.nt] 11 Apr 2006

arxiv:math/ v2 [math.nt] 11 Apr 2006 EVALUATING CONVOLUTION SUMS OF THE DIVISOR FUNCTION BY QUASIMODULAR FORMS EMMANUEL ROYER arxiv:math/050429v2 [math.nt] Apr 2006 ABSTRACT. We provide a systematic method to compute arithmetic sums including

More information

LEGENDRE S THEOREM, LEGRANGE S DESCENT

LEGENDRE S THEOREM, LEGRANGE S DESCENT LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +

More information

Large Sieves and Exponential Sums. Liangyi Zhao Thesis Director: Henryk Iwaniec

Large Sieves and Exponential Sums. Liangyi Zhao Thesis Director: Henryk Iwaniec Large Sieves and Exponential Sums Liangyi Zhao Thesis Director: Henryk Iwaniec The large sieve was first intruded by Yuri Vladimirovich Linnik in 1941 and have been later refined by many, including Rényi,

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

Chapter 4. The Lamé equation. 4.1 The Lamé equation

Chapter 4. The Lamé equation. 4.1 The Lamé equation Chapter 4 The Lamé equation In this chapter we introduce the Lamé (differential) equation L n (y) =0and consider its monodromy group in general. It turns out that a finite monodromy group of the Lamé equation

More information

On Old and New Jacobi Forms

On Old and New Jacobi Forms 1 On Old and New Jacobi Forms by Ralf Schmidt Abstract. Certain index shifting operators for local and global representations of the Jacobi group are introduced. They turn out to be the representation

More information

ON THE p-adic VALUE OF JACOBI SUMS OVER F p

ON THE p-adic VALUE OF JACOBI SUMS OVER F p Kyushu J. Math. 68 (014), 3 38 doi:10.06/kyushujm.68.3 ON THE p-adic VALUE OF JACOBI SUMS OVER F p 3 Takahiro NAKAGAWA (Received 9 November 01 and revised 3 April 014) Abstract. Let p be a prime and q

More information

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer? Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative

More information

On Modular Forms for the Paramodular Group

On Modular Forms for the Paramodular Group On Modular Forms for the Paramodular Group Brooks Roberts and Ralf Schmidt Contents Definitions 3 Linear independence at different levels 6 3 The level raising operators 8 4 Oldforms and newforms 3 5 Saito

More information

Problem Set 5 Solution Set

Problem Set 5 Solution Set Problem Set 5 Solution Set Anthony Varilly Math 113: Complex Analysis, Fall 2002 1. (a) Let g(z) be a holomorphic function in a neighbourhood of z = a. Suppose that g(a) = 0. Prove that g(z)/(z a) extends

More information

(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap

(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups

More information

1.2 The result which we would like to announce here is that there exists a cuspidal automorphic representation u of GL 3;Q (not selfdual) such that th

1.2 The result which we would like to announce here is that there exists a cuspidal automorphic representation u of GL 3;Q (not selfdual) such that th A non-selfdual automorphic representation of GL 3 and a Galois representation Bert van Geemen and Jaap Top Abstract The Langlands philosophy contemplates the relation between automorphic representations

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information