arxiv: v3 [math.nt] 28 Jul 2012


 Veronica Burke
 1 years ago
 Views:
Transcription
1 SOME REMARKS ON RANKINCOHEN 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 RaninCohen 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 RaninCohen bracet of two eigenforms was studied by Lanphier and TalooBighash [8]. They also proved that except for finitely many cases, the RaninCohen 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 RaninCohen 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, MaassShimura 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 RANKINCOHEN 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 nonzero 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 nonzero 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 nonzero 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 nonzero. 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 RANKINCOHEN 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 nonpositive. ) 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 RANKINCOHEN BRACKETS OF EIGENFORMS 7 3. Nearly holomorphic modular forms Definition 3.1. The MaassShimura 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 = RaninCohen 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 RaninCohen 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 AtinLehner 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 squarefree.
9 SOME REMARKS ON RANKINCOHEN 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 issquarefree, 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 qexpansion of f 0 (being primitive) starts with q, whereas the qexpansion 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 squarefree, 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 Woperator 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 123of Modular Forms, Springer, [3] W. Due, When is the product of two Hece eigenforms an eigenform?, In Number theory in progress, Vol. 2 (ZaopaneKoś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 MaassShimura operators, J. Number Theory 128 (2008), no.8, [8] D. Lanphier, R. TalooBighash, On RaninCohen 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 zetafunctions of quadratic fields, in Modular Functions of One Variable IV, Lect. Notes in Math. 627, Springer, Berlin, 1977, HarishChandra Research Institute, Chhatnag Road, Jhunsi, Allahabad , India. address:
On RankinCohen Brackets of Eigenforms
On RankinCohen Brackets of Eigenforms Dominic Lanphier and Ramin TaklooBighash 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 RankinCohen
More informationRANKINCOHEN BRACKETS AND VAN DER POLTYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION
RANKINCOHEN BRACKETS AND VAN DER POLTYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION B. RAMAKRISHNAN AND BRUNDABAN SAHU Abstract. We use RankinCohen brackets for modular forms and quasimodular forms
More information(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 informationarxiv: v1 [math.nt] 28 Jan 2010
NON VANISHING OF CENTRAL VALUES OF MODULAR LFUNCTIONS 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 informationTHE RAMANUJANSERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES. (q = e 2πiτ, τ H : the upperhalf plane) ( d 5) q n
THE RAMANUJANSERRE 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 informationLecture 12 : Hecke Operators and Hecke theory
Math 726: Lfunctions 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 informationSHIMURA LIFTS OF HALFINTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS
SHIMURA LIFTS OF HALFINTEGRAL 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 informationRESEARCH 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 informationRATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS
MATHEMATICS OF COMPUTATION Volume 66, Number 218, April 1997, Pages 833 839 S 00255718(97)008211 RATIONAL EIGENVECTORS IN SPACES OF TERNARY FORMS LARRY LEHMAN Abstract. We describe the explicit computation
More informationMock modular forms and their shadows
Mock modular forms and their shadows Zachary A. Kent Emory University Classical EichlerShimura Theory Modular Forms Basic Definitions Classical EichlerShimura Theory Modular Forms Basic Definitions Notation:
More informationTHE 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 5divisibility of Q(n, where Q(n is the number
More informationof S 2 (Γ(p)). (Hecke, 1928)
Equivariant AtkinLehner Theory Introduction AtkinLehner Theory: AtkinLehner (1970), Miyake (1971), Li (1975): theory of newforms (+ Talgebra action) a canonical basis for S k (Γ 1 (N)) and hence also
More informationETAQUOTIENTS AND ELLIPTIC CURVES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3169 3176 S 00029939(97)039282 ETAQUOTIENTS AND ELLIPTIC CURVES YVES MARTIN AND KEN ONO (Communicated by
More informationSECOND 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 informationTwists 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 informationETAQUOTIENTS AND THETA FUNCTIONS
ETAQUOTIENTS 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 informationBefore 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 informationMod 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 information0. Introduction. Let/ 0(N)((c a )e SL2(Z)] co(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 informationSIGN 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 informationCongruences 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 informationRank 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 informationResidual 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 informationTWISTS 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 informationMultiple 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 informationarxiv: 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 informationSPRING 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 informationCLASSIFICATION OF TORSIONFREE GENUS ZERO CONGRUENCE GROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 129, Number 9, Pages 2517 2527 S 00029939(01)061767 Article electronically published on April 17, 2001 CLASSIFICATION OF TORSIONFREE GENUS ZERO
More informationComputing 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 informationTATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto
TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto TorontoMontreal Number Theory Seminar April 910, 2011 1 Let k be a field that is finitely generated over its prime field
More informationarxiv: v3 [math.nt] 12 Jan 2011
SUPERCONGRUENCES FOR APÉRYLIKE 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 informationTHE NUMBER OF PRIME DIVISORS OF A PRODUCT
Journal of Combinatorics and Number Theory JCNT 2009, Volume 1, Issue # 3, pp. 6573 ISSN 19425600 c 2009 Nova Science Publishers, Inc. THE NUMBER OF PRIME DIVISORS OF A PRODUCT OF CONSECUTIVE INTEGERS
More informationConstructions 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 informationCHUNG PANG MOK. The correct form of Proposition 2.2 of [M1] should be stated as follows:
CORRIGENDUM AND ADDENDUM TO SPECIAL VALUES OF LFUNCTIONS 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 informationHow 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 informationarxiv: 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 informationHermitian 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.rwthaachen.de
More informationCOUNTING 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 informationA 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 informationRational Equivariant Forms
CRMCICMAConcordia 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 informationarxiv: 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 informationSome 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 informationGabor 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 informationarxiv: 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 informationINTEGRAL 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 informationTOPICS 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 Nonvanishing of Dirichlet Lfunctions on the line Rs) = ) Let q and let χ be a Dirichlet character modulo q.
More informationRamanujan 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 informationarxiv: 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 informationTITLES & 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 informationHecke 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 informationMATH 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 informationTHE 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 informationpadic 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 informationTHE 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 ABCconjecture
More informationDOUBLE 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 informationbe 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 informationPrimes 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 2056/06 Dirichlet.pdf].
More informationarxiv: 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 informationMEROMORPHIC 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 LianZhong Yang Shandong University, School of Mathematics
More informationNew 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, Bangalore560 00, Karnataka, India Department
More informationMultiple 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 informationarxiv: 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 informationModules 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 zerodivisors, i.e. if ab = 0 then either a or b is zero. Or equivalently, two
More informationCOMPOSITIONS, 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 informationDONG 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 informationCOUNTING 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 informationCYCLOTOMIC 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 informationWeyl 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 informationarxiv: v1 [math.nt] 9 Sep 2017
arxiv:179.2954v1 [math.nt] 9 Sep 217 ON THE FACTORIZATION OF x 2 +D GENERALIZED RAMANUJANNAGELL EQUATION WITH HUGE SOLUTION) AMIR GHADERMARZI Abstract. Let D be a positive nonsquare integer such that
More information1 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 informationIntegral 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 informationTHE 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 information4. 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 informationA CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF 1EIGENSPACES 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 informationCYCLES AND FIXED POINTS OF HAPPY FUNCTIONS
Journal of Combinatorics and Number Theory Volume 2, Issue 3, pp. 6577 ISSN 19425600 c 2010 Nova Science Publishers, Inc. CYCLES AND FIXED POINTS OF HAPPY FUNCTIONS Kathryn Hargreaves and Samir Siksek
More informationBad 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 informationDefinitions, 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 informationClassification 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 informationarxiv: 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 information1. 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 informationarxiv: 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 information25 Modular forms and Lfunctions
18.783 Elliptic Curves Lecture #25 Spring 2017 05/15/2017 25 Modular forms and Lfunctions As we will prove in the next lecture, Fermat s Last Theorem is a corollary of the following theorem for elliptic
More informationSUPERREPLICABLE FUNCTIONS N (j 1,N ) AND PERIODICALLY VANISHING PROPERTY
J. Korean Math. Soc. 44 007, No., pp. 343 371 SUPERREPLICABLE 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 informationProof. 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 informationFermat 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 YongGao Chen (Nanjing), Rui Feng (Nanjing) and Nicolas Templier (Montpellier) 1. Introduction. In 1849, A. de Polignac
More information1, for s = σ + it where σ, t R and σ > 1
DIRICHLET LFUNCTIONS AND DEDEKIND ζfunctions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet Lfunctions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,
More informationarxiv: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 informationLEGENDRE 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 informationLarge 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 informationExercises 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 informationChapter 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 informationOn 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 informationON THE padic VALUE OF JACOBI SUMS OVER F p
Kyushu J. Math. 68 (014), 3 38 doi:10.06/kyushujm.68.3 ON THE padic 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 information2x 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 informationOn 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 informationProblem 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.unibonn.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 information1.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 nonselfdual 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 informationTC10 / 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 informationFIELD 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