arxiv: v1 [math.nt] 6 Nov 2015

Size: px
Start display at page:

Download "arxiv: v1 [math.nt] 6 Nov 2015"

Transcription

1 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: v1 [math.nt] 6 Nov 2015 ABSTRACT. Chevyrev and Galbraith recently devised an algorithm which inputs a maximal order of the quaternion algebra ramified at one prime and infinity and constructs a supersingular elliptic curve whose endomorphism ring is precisely this maximal order. They proved that their algorithm is correct whenever it halts, but were unable to show that it indeed halts with any input. If there exist two maximal orders for the same quaternion algebra satisfying a certain relation, such that one of their corresponding theta functions (optimally) dominates the other, then Chevyrev and Galbraith s algorithm would not necessarily halt. They conjectured however, that no such pair of maximal orders exists (up to isomorphism), and hence that their algorithm will always halt. It is the purpose of this paper to verify their conjecture and in turn prove that their algorithm always halts. More precisely, for j = 1,2, let θ j (z) = r j (n)q n be the theta series generated by the norm maps coming from primitive elements of two maximal orders of the quaternion algebra B p ramified precisely at p and. We show that if θ 1 dominates θ 2, i.e. r 1 (n) r 2 (n) for all n, then the two maximal orders are isomorphic, and thus the two theta series are the same. 1. INTRODUCTION Let E be an elliptic curve over F p 2. Deuring [3] showed that the endomorphism ring of E is either an order in an imaginary quadratic field (the ordinary case) or an order in a quaternion algebra (the supersingular case). When E is defined over some other number field, the endomorphism ring is either isomorphic to Z or an order in an imaginary quadratic field (the Complex Multiplication or CM case). In this case, we say that the elliptic curve E has (exact) CM by this order. For each discriminant d < 0, there is a unique order O d of disriminant d in the ring of integers of O Q( d). There is a natural reduction map from elliptic curves over the Hilbert class field of Q( d) to elliptic curves overf p 2, and this map sends CM elliptic curves to supersingular elliptic curves. Determining the set of d for which this reduction map is surjective from the set of elliptic curves with CM by O d is of particular interest. Since the reduction map is not always surjective and is not in general one-to-one, one sees that the inverse problem (i.e., determining a CM elliptic curve which maps to a given supersingular elliptic curve under the reduction map) is quite difficult. There are several lines being investigated. Elkies, Ono and Yang [5] worked in the problem when the discriminant of the order corresponding to the CM elliptic curve s endomorphism ring is large. Furthermore, it turns out that for d sufficiently large, the image is equidistributed across all supersingular elliptic curves, as was investigated by Elkies, Ono, and Yang in [5] and later by Jetchev and the second author [8]; here there is Date: November 9, Mathematics Subject Classification. 11E20, 11E45, 11F37, 11G05, 16H05, 68W40. Key words and phrases. sign changes of cusp forms, supersingular elliptic curves, quaternion algebras, theta series, ternary quadratic forms, halting of algorithms. The research of the second author was supported by grant project numbers and of the Research Grants Council. 1

2 a correspondence between elliptic curves with CM by O d which reduce to a supersingular elliptic curve and optimal embeddings of O d in its endomorphism ring. Chevyrev and Galbraith [2] considered the special case when the order in the quaternion algebra is maximal and constructed an algorithm to compute a supersingular elliptic curve with a given endomorphism ring (a maximal order in the quaternional algebra). Their construction involved successive minima (the smallest, second smallest, etc. positive integers which are primitively represented) by the quadratic form corresponding to the reduced norm map on the maximal order. They showed that their algorithm gives the correct answer whenever it terminates, but they failed to show that the algorithm indeed halts. They were however able to show that if the algorithm did not terminate, then there would be a pair of maximal orders of the quaternion algebra of different types which would have a peculiar relation between their norm maps. They then conjectured that there were no such pair existed (see Conjecture 2.3). The goal of this paper is to prove Conjecture 2.3, and in turn prove the halting of the algorithm of Chevyrev and Galbraith. The peculiar relation mentioned above involves the theta series of maximal orders generated by their norm maps on their trace zero elements, which are in fact ternary quadratic forms. Therefore, in order to solve our problem, some properties and facts about ternary quadratic forms and their theta series are required. By the general theory of modular forms we know that the theta functions are modular forms of weight 3/2. Given two theta series generated by the norm maps of two different maximal orders, essentially Conjecture 2.3 by Chevyrev and Galbraith states that if one of them dominates the other one then the two modular forms are actually the same. Our strategy to attack the problem is to decompose the theta series and study the sign changes of the coefficients of the cusp forms in this decomposition. To deal with the decomposition, we apply the useful mass formula which was introduced by Siegel [15] and later was extended by Schulze-Pillot [13]. For the part of the decomposition that is orthogonal to unary theta functions, we use a bound on the coefficients of such half integral weight forms which was studied by Iwaniec [7] and later extended to the weight 3/2 case by Duke [4]. From this one may show that these coefficients are dominated by the coefficients of the other part of the decomposition, unless the coefficient of the other part vanishes. In the special case that the coefficient of the other part does indeed vanish, the central idea in this paper is to use an argument about the sign changes of the coefficients to conclude that they must also vanish. These sign changes were investigated by Bruinier and Kohnen [1] and later by Kohnen, Lau and Wu [10]. 2. DEFINITIONS AND MAIN RESULT Let B p over Q be the unique quaternion algebra which ramifies at exactly the primes p and, with the norm map Nr( ), trace map Tr( ) and the anti-involution x x. Let O be a maximal order of B p. The algorithm by Chevyrew and Galbraith [2] constructs an elliptic curve E over F p 2, such that the endomorphism ring is isomorphic to the maximal order, i.e. End(E) = O. In their paper, they have conjectured our theorem below and showed that if it holds, then their algorithm terminates. Before giving our theorem, let us give some definitions. Let O T = {2x Tr(x) : x O}. It is the so-called Gross lattice and described by Gross in [6]. It is obvious that O T = (2O+Z) B 0 p has rank 3, where B 0 p is the set of all trace zero elements in B p. If we write O = Z[1,ũ 1,ũ 2,ũ 3 ] as a Z-lattice generatated by the three generators ũ i s, then one sees that O T =Z[u 1,u 2,u 3 ], where u i = 2ũ i Tr(ũ i ) (trace-zero). Hence, for any x O T, we may write x=(x 1,x 2,x 3 ), where x i Z, as coordinates with respect to O T =Z[u 1,u 2,u 3 ] and hence the reduced norm Nr(x) is a positive definite ternary quadratic form for all x O T. It is natural to associate a 3 3 positive definite matrix M =(Tr(u i u j )) i, j with the reduced norm on O T, such that Nr(x)= 1 2 xt Mx for all x Z 3. 2

3 When we talk about a quadratic form, we often talk about its equivalence class. Let Q 1 and Q 2 be two ternary quadratic forms. We say Q 1 and Q 2 arez-equivalent (denoted as Q 1 Z Q 2 ) if there is some M GL 3 (Z) such that Q 1 (Mx)=Q 2 (x) for all x Z 3. For the sub-lattice O T, we define for each non-negative integer n, a O T(n)=#{x=(x 1,x 2,x 3 ) O T : Nr(x)=n,gcd(x 1,x 2,x 3 )=1}, the number of primitive representations of n for the reduced norm Nr on O T. We also define the number of representations of n to be r O T(n)=#{x=(x 1,x 2,x 3 ) O T : Nr(x)=n}. Similarly, we let O = Z[1,ṽ 1,ṽ 2,ṽ 3 ] be another maximal order of B p. We have the corresponding Gross lattice O T = Z[v 1,v 2,v 3 ] where v i = 2ṽ i Tr(ṽ i ), the associated matrix M =(Tr(v i v j )) i, j for the reduced norm on O T, and the sequences a O T(n) and r O T(n). Definition 2.1. Let O and O be two maximal orders of B p. We say that O T optimally dominates O T if for every non-negative integer n. a O T(n) a O T(n), Remark 2.2. By Lemma 11 in [2], we have a O T(n) a O T(n) for all n if and only if r O T(n) r O T(n) for all n. For any two orders O and O, we say that they are of the same type if they are isomorphic to each other, or equivalently they are conjugates of each other, i.e. there is a non-zero element c B p such that coc 1 = O. In this case we write O O. We are now ready to state the conjecture of Chevyrev and Galbraith, upon which the halting of their algorithm is contingent. Conjecture 2.3 (Chevyrev Galbraith [2]). Let O and O be two maximal orders of B p. If O T optimally dominates O T, then O and O are of the same type. The main goal of this paper is to prove that Conjecture 2.3 is true. Theorem 2.4. Conjecture 2.3 is true. Furthermore, the algorithm of Chevyrev and Galbraith must halt. Remark 2.5. In a similar way, we say O T and O T are the same type if there is a non-zero element c B p such that co T c 1 = O T, and we write O T O T. By Lemma 4 in [2], we know that O T O T if and only if O O. Remark 2.6. There is a second conjecture of Chevyrev and Galbraith about the occurrence of the smallest n 0 for which both a O T(n 1 ) a O T(n 1 ) and a O T(n 2 ) < a O T(n 2 ) occur for some n 1,n 2 < n 0. They conjecture in particular that this occurs in n 0 = O(p) and determine the running time of their algorithm under this assumption. In our context, this n 0 corresponds to the first sign change. Although there is some discussion in [10] about the size of n 0, there are a number of inexplicit constants which would need to be worked out to determine the size of n 0 implied by their theorem, and it is not expected that their proof would yield a bound anywhere close to the conjectured O(p). The first author is trying to determine (and improve upon) an explicit bound for n 0 in his Masters thesis. 3

4 3. PROOF OF THE THEOREM As the theory of modular turns out to be useful in our proof, we give some notations of the space of modular forms here. Let N be a positive integer divisible by 4. We denote the space of modular forms (resp. cusp forms) of weight 3/2 and level N with a Dirichlet character χ modulo N as M 3/2 (Γ 0 (N), χ) (S 3/2 (Γ 0 (N), χ)). Whenever the character is trivial, we abbreviate these by M 3/2 (N) and S 3/2 (N). For M squarefree and odd, there is a distinguished subspace M + 3/2 (M) of M 3/2(4M) (resp. S + 3/2 (M) S 3/2(4M)) called Kohnen s plus space, defined by the property that the Fourier expansion n=1 a nq n of any f M + (M) is supported on those n 3/2 0,3 (mod 4). Kohnen s plus space is Hecke-isomorphic to M 2 (M), and in particular satisfies multiplicity one. Modular forms enter our investigation here via the theta series for O T. Definition 3.1. Let O be a maximal order of B p. Define the theta series of O T by θ O T(z)= q Nr(x) = r O T(n)q n, x O T n=0 where q=e 2πiz, for z lying in the upper half plane. It is well-known that θ O T(z) is a modular form with weight 3/2 and level 4p, and the trivial character, i.e. θ O T(z) M 3/2 (4p). In fact, Gross[6] showed that it lies in Kohnen s plus space [9]. When we study the cusp form of weight 3/2, we usually have to deal with the unary theta functions (See section 4 in [14]) which have some special behaviour in the coefficients in their Fourier expansion. Definition 3.2. For each odd Dirichlet character ψ modulo a positive integer r and positive integer t, we define the unary theta function ( )) t. h ψ,t (z)= ψ(m)me 2πitm2z ( = ψ(m)mq tm2 S 3/2 (Γ 0 4tr 2 ),ψ m 1 m 1 For any fixed N and χ, we decompose S 3/2 (Γ 0 (N), χ) into the subspace U(N, χ) spanned by the unary theta functions and the subspace U (N, χ) which is the orthogonal complement of U(N, χ) with respect to the Petersson inner product. Again if the character is trivial, we abbreviate these subspaces by U(N) and U (N), respectively. The strategy of our proof is to make use of the following theorem, which is due to Kohnen, Lau and Wu [10], to study the sign changes of θ O T(z) θ O T(z). Theorem 3.3 (Kohnen, Lau and Wu). Let N 4 an integer divisible by 4 andχ be a Dirichlet character modulo N. Suppose that g U (N, χ) with the n-th coefficient of its Fourier { expansion a(n). For any positive square-free integer t such that a(t) 0 and the sequence a(tn 2 ) } n N is real, then the sequence{ a(tn 2 ) } has infinitely many sign changes. n N Remark 3.4. Kohnen, Lau and Wu actually gave much stronger results in their paper [10] but this simplified version is strong enough for our use. In order to study the sign changes of θ O T(z) θ O T(z) by using the above tool, we need the following lemma. Lemma 3.5. Let O and O be two maximal orders of B p. If O T optimally dominates O T, then θ O T(z) θ O T(z) U (4p). 4

5 Remark 3.6. To give an idea of how sign changes are used to obtain a contradiction, we directly prove this using an analytic argument based on a bound for the Fourier coefficients, but for any two maximal orders (not necessarily dominating each other) one can prove that θ O T(z) θ O T(z) U (4p) directly from the fact that U(4p) M + 3/2 (p) is trivial. In particular, using the fact that θ O T(z) lies in Kohnen s plus space, one can show that H O T(z)=0in the decomposition (3.1) below by using Kohnen s Hecke isomorphism via Shimura correspondences (see [9]). Proof. It s natural for us to decompose θ O T(z) M 3/2 (4p) as the sum (3.1) θ O T(z)=E O T(z)+H O T(z)+ f O T(z), where E O T(z) is an Eisenstein series, H O T(z) U(4p) and f O T(z) U (4p). Recalling Q 1 is the tenary quadratic form induced by the reduced norm on O T, the n-th Fourier coefficient of E O T(z) is given by Siegel [15] and extended to ternary quadratic form by Schulze-Pillot [13] that a E (n)= Q gen(q 1 ) r Q (n) #Aut(Q) Q gen(q1 ) 1 #Aut(Q) where the sums are over the genus of Q 1, and r Q (n) is the number of representations of n by a quadratic form Q. Since Q 1 and Q 2 are locally equivalent (see [6], p. 130), they are in the same genus. So the Eisenstein series are cancelled in θ O T(z) θ O T(z) when we consider the decomposition of θ O T(z) in a similar way. In other words, θ O T(z) θ O T(z) can be decomposed as the sum θ O T(z) θ O T(z)=H(z)+ f(z), where the H(z) U(4p) and f(z) U (4p). Considering the n-th coefficient of their Fourier expansions, we have r O T(n) r O T(n)=a H (n)+a f (n). Duke [4] has shown that for any ε > 0, we have a f (n) ε n 13/28+ε for any positive integer n. Now suppose that the unary theta functions contribute in our theta series θ O T(z), i.e. H(z) 0. Then it is clear that for any positive integer n such that a H (n) 0, a H (n) is alternating between positive and negative values with a H (n) n 1/2 as n grows. Then the growth of the Fourier coefficients of H will dominate the growths of the coefficients of f and hence we must have r O T(n) r O T(n)<0 for some large enough n. But note that as O T optimally dominates O T, by Remark 2.2 we have r O T(n) r O T(n) 0 for all positive integer n. This forces H = 0 and our lemma follows. With the above tools, we are ready to prove the following crucial ingredient which later results our main theorem. Proposition 3.7. Let O and O be two maximal orders of B p. If O T optimally dominates O T, then θ O T(z)=θ O T(z). Proof. Recall that g(z) := θ O T(z) θ O T(z)= n=1 b(n)qn U (4p) by Lemma 3.5, and we have b(n) 0 for all positive integer n by assumption. Our goal is to show b(n) = 0 for all positive n. Suppose there is a positive square-free t N such that b(t) 0, then by Theorem 3.3 (due to Kohnen, Lau and Wu), the sequence { b(tm 2 ) } has sign changes. But then this contradicts m N to the fact that b(n) 0 for all positive n. Hence we have b(n) = 0 for all positive square-free n N. Let l be a prime number and now we repeat the same argument for all n=tl 2,where t is a positive square-free number. First we apply the U l 2-operator on g, i.e. g U l 2 = n=1 b(nl2 )q n. 5,

6 Then g ( )) Ul 2 S 3/2 (Γ 0 (4pl 2 ), 4l 2 is a cusp form (See Section 3.2 in [11]), and by the same argument as in Lemma 3.5, we have g )) Ul 2 U (4pl 2,. We write g Ul 2 = n=1 d(n)qn and note that d(n) = b(nl 2 ) 0 for all positive n. Once again, suppose there is a positive square-free t N such that d(t) 0. Then by applying Theorem 3.3 for g Ul 2 we know that the sequence { d(tm 2 ) } m N has sign changes. This shows that we must have d(t)= b(tl2 )=0 for any positive square-free t N. Repeating the argument, we obtain by induction on the number of prime divisors in the square part of n N that b(n)=0 for all positive n. In order to prove our main theorem, it remains to show that the same theta series must come from the same maximal orders (in the sense of isomorphism). The following has probably been shown in the literature before, but for completeness we give a detailed proof here. Lemma 3.8. Let O and O be two maximal orders of B p. Let Q 1 and Q 2 be the ternary quadratic forms induced by the reduced norm on the lattices O T and O T, respectively (see Section 2). Then the following statements are equivalent: (a) O T O T ; (b) θ O T(z)=θ O T(z); (c) Q 1 Z Q 2. Proof. As mentioned in Section 2, we let O = Z[1,ũ 1,ũ 2,ũ 3 ] and O = Z[1,ṽ 1,ṽ 2,ṽ 3 ]. Then we have O T =Z[u 1,u 2,u 3 ] and O T =Z[v 1,v 2,v 3 ], and two associated positive definite matrices M = (Tr(u i u j )) i, j and M = (Tr(v i v j )) i, j with associated integral ternary quadratic forms Q 1 (x) := 1 2 xt Mx and Q 2 (x) := 1 2 xt M x for all x Z 3. (a) (b): Suppose there is a non-zero element c B p such that co T c 1 = O T. Note that Nr(cxc 1 )=Nr(x) for all x B p and non-zero c B p, hence (b) holds by Definition 3.1 of the theta series. (b) (c): Suppose θ O T(z)=θ O T(z), then all the coefficients of their Fourier expansion are the same. By Schiemann [12], we have Q 1 Z Q 2. (See Remark [12] below) (c) (a): Suppose Q 1 (Ax)=Q 2 (x) for some A GL 3 (Z). Without loss of generality we can let Q 1 (x) = Q 2 (x), otherwise we can replace the generaters (u 1,u 2,u 3 ) T (as a column vector) by S(u 1,u 2,u 3 ) T. Then we have M = M, and so Tr(u i u j )=Tr(v i v j ). Note that for trace-zero element x B p we have x= x and hence (3.2) Tr(u i u j )=Tr(v i v j ), for all i, j=1,2,3. Our strategy is to recover the isomorphic structure of O T and O T by the above information about the trace of the product of their generators. By the relation u i = 2ũ i Tr(ũ i ) and O = Z[1,ũ 1,ũ 2,ũ 3 ] is an order, one can show that Z[1,u 1,u 2,u 3 ] is also an order (similarly for Z[1,v 1,v 2,v 3 ]). Our strategy is to construct an explicit isomorphism between these two orders. To do so, it is natural to consider the mapping φ ε : a+bu 1 + cu 2 + du 3 a+bεv 1 + cεv 2 + dεv 3, for ε {±1}. It is clear that it is bijective and it preserves addition. And it turns out that there is a choice of ε {±1} such that φ ε preserves mutiplication. To show this, it suffices to show that φ ε (u 1 u 2 ) = v 1 v 2. We first suppose ε = 1 and simply denote the mapping as φ. Since Z[1,u 1,u 2,u 3 ] is an order, we may write u 1 u 2 = A+Bu 1 + Cu 2 + Du 3 for some integers A, B, C and D. Similarly we have v 1 v 2 = A + B v 1 +C v 2 + D v 3. 6 ( 4l 2

7 As φ(u 1 u 2 ) = A+Bv 1 + Cv 2 + Dv 3, so it remains to show that A = A, B = B, C = C and D=D. Our trick is to keep using equation (3.2) and the fact that x 2 = Nr(x)=Tr(x 2 )/2 Z for all trace-zero x. Note that Tr(u 1 u 2 )=Tr(v 1 v 2 ) by (3.2) implies A=A. Now consider Tr(u 1 u 1 u 2 )=u 2 1 Tr(u 2)=0=Tr(v 1 v 1 v 2 ), and on the other hand we have Hence, using (3.2), we get Tr(u 1 u 1 u 2 )=Tr(Au 1 + Bu 2 1 +Cu 1u 2 + Du 1 u 3 ) = BTr(u 2 1 )+CTr(u 1u 2 )+DTr(u 1 u 3 ) = BTr(v 2 1 )+CTr(v 1v 2 )+DTr(v 1 v 3 ). BTr(u 2 1)+CTr(u 1 u 2 )+DTr(u 1 u 3 )=B Tr(u 2 1)+C Tr(u 1 u 2 )+D Tr(u 1 u 3 )=0. Similarly, by considering Tr(u 1 u 2 u 2 ), we obtain BTr(u 1 u 2 )+CTr(u 2 2 )+DTr(u 2u 3 )=B Tr(v 1 v 2 )+C Tr(v 2 2 )+D Tr(v 2 v 3 )=0. In the case of Tr(u 1 u 2 u 3 ), we may not have Tr(u 1 u 2 u 3 )=Tr(v 1 v 2 v 3 ), but by a similar argument we have and BTr(u 1 u 3 )+CTr(u 2 u 3 )+DTr(u 2 3 )=Tr(u 1u 2 u 3 ) B Tr(v 1 v 3 )+C Tr(v 2 u 3 )+D Tr(v 2 3 )=Tr(v 1v 2 v 3 ). To conclude, if Tr(u 1 u 2 u 3 )=Tr(v 1 v 2 v 3 )=: T 0, then we have (3.3) M B C = M B C = 0 0, D D T where we recall M= (Tr(u i u j )) i, j =(Tr(u i u j )) i, j = M. So if Tr(u 1 u 2 u 3 )=Tr(v 1 v 2 v 3 )=: T 0, then the above system of equation is solvable and we have B=B, C = C and B=B, C= C and D=D. To show this is the case, we first let T 1 = Tr(u 1 u 2 u 3 ) and T 2 = Tr(v 1 v 2 v 3 ), and show that T 1 = T 2 0 with our trick again. Consider Tr(u 3 u 1 u 2 u 2 )=u 2 2 Tr(u 3u 1 )=Tr(u 2 2 )Tr(u 3u 1 )/2= Tr(v 3 v 1 v 2 v 2 ), and on the other hand we have Tr(u 3 u 1 u 2 u 2 )=ATr(u 3 u 2 )+BTr(u 3 u 1 u 2 )+CTr(u 3 )u DTr(u2 3 )u 2 = ATr(u 3 u 2 )+BTr(u 3 u 1 u 2 ) = A Tr(v 3 v 2 )+BTr(v 3 v 1 v 2 ). Compare with Tr(v 3 v 1 v 2 v 2 ) = A Tr(v 3 v 2 )+B Tr(v 3 v 1 v 2 ) and the fact that Tr(u 3 u 1 u 2 )= Tr(u 1 u 2 u 3 ), we have BT 1 = B T 2. Similarly, by considering Tr(u 1 u 1 u 2 u 3 ) and Tr(u 1 u 1 u 2 u 2 ) and using the fact that Tr(u 1 u 3 u 2 )= Tr(u 1 u 2 u 3 ), we obtain CT 1 = C T 2 and DT 1 = D T 2, respectively. Now suppose T 1 = 0, then by equation (3.3) choosing T = 0 we have B= C=D=0. Then u 1 u 2 = A u 1 = Au 1 2 = A Nr(u 2 ) u 2. But then B p = Q[1,u 1,u 2,u 3 ] = Q[1,u 2,u 3 ], which is impossible. Hence T 1 0, and similarly we have T 2 0. Now let k = T 2 /T 1. Then φ(u 1 u 2 )=A+k(B v 1 +C v 2 + D v 3 )=kv 1 v 2 + A(1 k). Notice that Nr(φ(x))=Nr(x) for any trace-zero x Z[1,u 1,u 2,u 3 ] (which follows from M = M ), and 7

8 Nr(x+a)=Nr(x)+aTr(x)+a 2 for any integer a, we have the following: Nr(φ(u 1 u 2 A))=Nr(u 1 u 2 A) k 2 Nr(v 1 v 2 A)=N A 2 k 2 (N A 2 )=N A 2 k=±1, where N := Nr(u 1 )Nr(u 2 )=Nr(u 1 u 2 )=Nr(v 1 v 2 ). The last step above is valid since N A 2 0 because otherwise u 1 u 2 is a root of the equation (x A) 2 = 0 and hence u 1 u 2 = A, which is impossible again by the above argument. If k= 1, we simply replace v i by v i, i.e. we choose ε = 1 for our isomophism φ ε. Then in this case the sign of T 2 = Tr(v 1 v 2 v 3 ) will change but that of Tr(v i v j ) will not and so all the arguments remain valid. After establishing our isomorphism Z[1,u 1,u 2,u 3 ] φ ε Z[1,v 1,v 2,v 3 ] as a Z-algebra in the central simple Q-algebra B p, we can extend φ ε from Z to Q and obtain a Q-algebra automorphism of B p. Hence by the well-known Skolem Noether theorem it is an inner automorphism and hence cz[1,u 1,u 2,u 3 ]c 1 =Z[1,v 1,v 2,v 3 ] for some non-zero c B p. By the trace argument Tr(cxc 1 )=Tr(x), one can obtain cz[u 1,u 2,u 3 ]c 1 =Z[v 1,v 2,v 3 ], so the lemma follows. Remark 3.9. Schiemann gave a much stronger result in his paper [12]. Roughly speaking, it only requires the first few coefficients of the Fourier expansions to be the same, to ensure the Z-equivalence of the forms. We are finally ready to prove oure main theorem. Proof of Theorem 2.4. By Proposition 3.7, if O T optimally dominates O T, then θ O T = θ O T. Hence by the equivalence of (b) and (a) in Lemma 3.8, we obtain that O T O T. Finally, by Lemma 4 of [2], we conclude that O and O have the same type. REFERENCES [1] J. H. Bruinier and W. Kohnen, Sign changes of coefficients of half integral weight modular forms, In: Modular forms on Schiermonnikoong (eds. B. Edixhoven et. al.), 57 66, Cambridge Univ. Press, [2] I. Chevyrev and S. D. Galbraith, Constructing supersingular elliptic curves with a given endomorphism ring, LMS J. Comput. Math. 17 (2014), [3] M. Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörpen, Abh. Math. Sem. Hansischen Univ. 14 (1941), [4] W. Duke, Hyperbolic distribution problems and half integral weight Maass forms, Invent. Math. 92 (1988), [5] N. Elkies, K. Ono, T. Yang, Reduction of CM elliptic curves and modular function congruences, Int. Math. Res. Not. 44 (2005), [6] B. H. Gross, Heights and the special values of L-series, Number theory (Montreal, Que., 1985), CMS Conf. Proc., vol. 7, Amer. Math. Soc., Providence, RI, 1987, pp [7] H. Iwaniec, Fourier coefficients of modular forms of half-integral weight, Invent. Math. 87 (1987), no. 2, [8] D. Jetchev and B. Kane, Equidistribution of Heegner points and ternary quadratic forms, Math. Ann. 350 (2011), [9] W. Kohnen, Newforms of half-integral weight, Journal für die reine und angewandte Mathematik 333 (1982), [10] W. Kohnen, Y.-K. Lau, and J. Wu, Fourier coefficients of cusp forms of half-integral weight, Math. Z. 273 (2013), [11] K. Ono, The web of modularity: Arithmetic of the coefficients of modular forms and q-series, Conference Board of the Mathematical Sciences 102, Amer. Math. Soc., Providence, RI (2004). 8

9 [12] A. Schiemann, Ternary positive definite quadratic forms are determined by their theta series, Math. Ann. 308 (1997), [13] R. Schulze-Pillot, Thetareihen positiv definiter quadratischer Formen, Invent. Math. 75 (1984), no. 2, [14] G. Shimura, On modular forms of half integral weight, Ann. of Math. 97 (1973), [15] C. L. Siegel, Uber die analytische theorie der quadratisches Formen, Ann. of Math. 36 (1935), MATHEMATICS DEPARTMENT, UNIVERSITY OF HONG KONG, POKFULAM, HONG KONG address: MATHEMATICS DEPARTMENT, UNIVERSITY OF HONG KONG, POKFULAM, HONG KONG address: 9

SIMULTANEOUS SIGN CHANGE OF FOURIER-COEFFICIENTS OF TWO CUSP FORMS

SIMULTANEOUS SIGN CHANGE OF FOURIER-COEFFICIENTS OF TWO CUSP FORMS SIMULTANEOUS SIGN CHANGE OF FOURIER-COEFFICIENTS OF TWO CUSP FORMS SANOLI GUN, WINFRIED KOHNEN AND PURUSOTTAM RATH ABSTRACT. We consider the simultaneous sign change of Fourier coefficients of two modular

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

REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES

REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES NOAM ELKIES, KEN ONO AND TONGHAI YANG 1. Introduction and Statement of Results Let j(z) be the modular function for SL 2 (Z) defined by

More information

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI P. GUERZHOY Abstract. We address a question posed by Ono [7, Problem 7.30], prove a general result for powers of an arbitrary prime, and provide an explanation

More information

On the equality case of the Ramanujan Conjecture for Hilbert modular forms

On the equality case of the Ramanujan Conjecture for Hilbert modular forms On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits

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

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

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

HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS.

HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS. HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS. MATTHEW BOYLAN AND KENNY BROWN Abstract. Recent works of Garvan [2] and Y. Yang [7], [8] concern a certain family of half-integral

More information

THE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono

THE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono THE ARITHMETIC OF BORCHERDS EXPONENTS Jan H. Bruinier and Ken Ono. Introduction and Statement of Results. Recently, Borcherds [B] provided a striking description for the exponents in the naive infinite

More information

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D January 0, 1998 L-SERIES WITH NON-ZERO CENTRAL CRITICAL VALUE Kevin James Department of Mathematics Pennsylvania State University 18 McAllister Building University Park, Pennsylvania 1680-6401 Phone: 814-865-757

More information

Rank-one Twists of a Certain Elliptic Curve

Rank-one Twists of a Certain Elliptic Curve Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give

More information

PARITY OF THE COEFFICIENTS OF KLEIN S j-function

PARITY OF THE COEFFICIENTS OF KLEIN S j-function PARITY OF THE COEFFICIENTS OF KLEIN S j-function CLAUDIA ALFES Abstract. Klein s j-function is one of the most fundamental modular functions in number theory. However, not much is known about the parity

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

An Introduction to Supersingular Elliptic Curves and Supersingular Primes

An Introduction to Supersingular Elliptic Curves and Supersingular Primes An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such

More information

ON THE LIFTING OF HERMITIAN MODULAR. Notation

ON THE LIFTING OF HERMITIAN MODULAR. Notation ON THE LIFTING OF HERMITIAN MODULAR FORMS TAMOTSU IEDA Notation Let be an imaginary quadratic field with discriminant D = D. We denote by O = O the ring of integers of. The non-trivial automorphism of

More information

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1) Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.

More information

REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS

REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS KATHRIN BRINGMANN AND BEN KANE 1. Introduction and statement of results For κ Z, denote by M 2κ! the space of weight 2κ weakly holomorphic

More information

ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3

ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3 ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3 JOHN J WEBB Abstract. Let b 13 n) denote the number of 13-regular partitions of n. We study in this paper the behavior of b 13 n) modulo 3 where

More information

Quaternions and Arithmetic. Colloquium, UCSD, October 27, 2005

Quaternions and Arithmetic. Colloquium, UCSD, October 27, 2005 Quaternions and Arithmetic Colloquium, UCSD, October 27, 2005 This talk is available from www.math.mcgill.ca/goren Quaternions came from Hamilton after his really good work had been done; and, though beautifully

More information

ON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS. Ken Ono. 1. Introduction

ON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS. Ken Ono. 1. Introduction ON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS Ken Ono Abstract. A partition of a positive integer n is a nonincreasing sequence of positive integers whose sum is n. A Ferrers graph represents a

More information

Sign changes of Fourier coefficients of cusp forms supported on prime power indices

Sign changes of Fourier coefficients of cusp forms supported on prime power indices Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de

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

NON-VANISHING OF THE PARTITION FUNCTION MODULO SMALL PRIMES

NON-VANISHING OF THE PARTITION FUNCTION MODULO SMALL PRIMES NON-VANISHING OF THE PARTITION FUNCTION MODULO SMALL PRIMES MATTHEW BOYLAN Abstract Let pn be the ordinary partition function We show, for all integers r and s with s 1 and 0 r < s, that #{n : n r mod

More information

REGULARIZED PETERSSON INNER PRODUCTS FOR MEROMORPHIC MODULAR FORMS

REGULARIZED PETERSSON INNER PRODUCTS FOR MEROMORPHIC MODULAR FORMS REGULARIZED PETERSSON INNER PRODUCTS FOR MEROMORPHIC MODULAR FORMS BEN KANE Abstract. We investigate the history of inner products within the theory of modular forms. We first give the history of the applications

More information

DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS

DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (008), #A60 DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS Neil Calkin Department of Mathematical Sciences, Clemson

More information

Class numbers of quadratic fields Q( D) and Q( td)

Class numbers of quadratic fields Q( D) and Q( td) Class numbers of quadratic fields Q( D) and Q( td) Dongho Byeon Abstract. Let t be a square free integer. We shall show that there exist infinitely many positive fundamental discriminants D > 0 with a

More information

arxiv: v3 [math.nt] 28 Jul 2012

arxiv: v3 [math.nt] 28 Jul 2012 SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS arxiv:1111.2431v3 [math.nt] 28 Jul 2012 JABAN MEHER Abstract. We investigate the cases for which products of two quasimodular or nearly holomorphic eigenforms

More information

Galois Representations

Galois Representations 9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and

More information

Projects on elliptic curves and modular forms

Projects on elliptic curves and modular forms Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master

More information

DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS

DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using

More information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields

More information

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive

More information

A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS

A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS STEPHAN EHLEN 1. Modular curves and Heegner Points The modular curve Y (1) = Γ\H with Γ = Γ(1) = SL (Z) classifies the equivalence

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

Don Zagier s work on singular moduli

Don Zagier s work on singular moduli Don Zagier s work on singular moduli Benedict Gross Harvard University June, 2011 Don in 1976 The orbit space SL 2 (Z)\H has the structure a Riemann surface, isomorphic to the complex plane C. We can fix

More information

Computing central values of twisted L-functions of higher degre

Computing central values of twisted L-functions of higher degre Computing central values of twisted L-functions of higher degree Computational Aspects of L-functions ICERM November 13th, 2015 Computational challenges We want to compute values of L-functions on the

More information

Abstract. Gauss s hypergeometric function gives a modular parameterization of period integrals of elliptic curves in Legendre normal form

Abstract. Gauss s hypergeometric function gives a modular parameterization of period integrals of elliptic curves in Legendre normal form GAUSS S 2 F HYPERGEOMETRIC FUNCTION AND THE CONGRUENT NUMBER ELLIPTIC CURVE AHMAD EL-GUINDY AND KEN ONO Abstract Gauss s hypergeometric function gives a modular parameterization of period integrals of

More information

GUO-NIU HAN AND KEN ONO

GUO-NIU HAN AND KEN ONO HOOK LENGTHS AND 3-CORES GUO-NIU HAN AND KEN ONO Abstract. Recently, the first author generalized a formula of Nekrasov and Okounkov which gives a combinatorial formula, in terms of hook lengths of partitions,

More information

A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION

A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION KEN ONO Abstract. The Shimura correspondence is a family of maps which sends modular forms of half-integral weight to forms of integral

More information

with k = l + 1 (see [IK, Chapter 3] or [Iw, Chapter 12]). Moreover, f is a Hecke newform with Hecke eigenvalue

with k = l + 1 (see [IK, Chapter 3] or [Iw, Chapter 12]). Moreover, f is a Hecke newform with Hecke eigenvalue L 4 -NORMS OF THE HOLOMORPHIC DIHEDRAL FORMS OF LARGE LEVEL SHENG-CHI LIU Abstract. Let f be an L -normalized holomorphic dihedral form of prime level q and fixed weight. We show that, for any ε > 0, for

More information

QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES.

QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. P. GUERZHOY The notion of quadratic congruences was introduced in the recently appeared paper [1]. In this note we present another, somewhat more conceptual

More information

Arithmetic properties of harmonic weak Maass forms for some small half integral weights

Arithmetic properties of harmonic weak Maass forms for some small half integral weights Arithmetic properties of harmonic weak Maass forms for some small half integral weights Soon-Yi Kang (Joint work with Jeon and Kim) Kangwon National University 11-08-2015 Pure and Applied Number Theory

More information

CONGRUENCES FOR BROKEN k-diamond PARTITIONS

CONGRUENCES FOR BROKEN k-diamond PARTITIONS CONGRUENCES FOR BROKEN k-diamond PARTITIONS MARIE JAMESON Abstract. We prove two conjectures of Paule and Radu from their recent paper on broken k-diamond partitions. 1. Introduction and Statement of Results

More information

Twisted L-Functions and Complex Multiplication

Twisted L-Functions and Complex Multiplication Journal of umber Theory 88, 104113 (2001) doi:10.1006jnth.2000.2613, available online at http:www.idealibrary.com on Twisted L-Functions and Complex Multiplication Abdellah Sebbar Department of Mathematics

More information

RIMS L. Title: Abstract:,,

RIMS L. Title: Abstract:,, & 2 1 ( ) RIMS L 13:30 14:30 ( ) Title: Whittaker functions on Sp(2,R) and archimedean zeta integrals. There are 4 kinds of generic representations of Sp(2,R), and explicit formulas of Whittaker functions

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

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

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

NUMBER FIELDS WITHOUT SMALL GENERATORS

NUMBER FIELDS WITHOUT SMALL GENERATORS NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields

More information

REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS

REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS REGULARIZED INNER PRODUCTS AND WEAKLY HOLOMORPHIC HECKE EIGENFORMS KATHRIN BRINGMANN AND BEN KANE 1. Introduction and statement of results Hecke operators play a central role in the study of modular forms.

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

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

Abstracts of papers. Amod Agashe

Abstracts of papers. Amod Agashe Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible

More information

LIFTING CONGRUENCES TO WEIGHT 3/2

LIFTING CONGRUENCES TO WEIGHT 3/2 LIFTING CONGRUENCES TO WEIGHT 3/2 NEIL DUMMIGAN AND SRILAKSHMI KRISHNAMOORTHY Abstract. Given a congruence of Hecke eigenvalues between newforms of weight 2, we prove, under certain conditions, a congruence

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC

More information

On the number of dominating Fourier coefficients of two newforms

On the number of dominating Fourier coefficients of two newforms On the number of dominating Fourier coefficients of two newforms Liubomir Chiriac Abstract Let f = n 1 λ f (n)n (k 1 1)/2 q n and g = n 1 λg(n)n(k 2 1)/2 q n be two newforms with real Fourier coeffcients.

More information

CONGRUENCE PROPERTIES FOR THE PARTITION FUNCTION. Department of Mathematics Department of Mathematics. Urbana, Illinois Madison, WI 53706

CONGRUENCE PROPERTIES FOR THE PARTITION FUNCTION. Department of Mathematics Department of Mathematics. Urbana, Illinois Madison, WI 53706 CONGRUENCE PROPERTIES FOR THE PARTITION FUNCTION Scott Ahlgren Ken Ono Department of Mathematics Department of Mathematics University of Illinois University of Wisconsin Urbana, Illinois 61801 Madison,

More information

arxiv: v1 [math.nt] 9 Apr 2009

arxiv: v1 [math.nt] 9 Apr 2009 CM LIFTINGS OF SUPERSINGULAR ELLIPTIC CURVES arxiv:0904.1608v1 [math.nt] 9 Apr 2009 BEN KANE Abstract. Assuming GRH, we present an algorithm which inputs a prime p and outputs the set of fundamental discriminants

More information

NEW IDENTITIES INVOLVING SUMS OF THE TAILS RELATED TO REAL QUADRATIC FIELDS KATHRIN BRINGMANN AND BEN KANE

NEW IDENTITIES INVOLVING SUMS OF THE TAILS RELATED TO REAL QUADRATIC FIELDS KATHRIN BRINGMANN AND BEN KANE NEW IDENTITIES INVOLVING SUMS OF THE TAILS RELATED TO REAL QUADRATIC FIELDS KATHRIN BRINGMANN AND BEN KANE To George Andrews, who has been a great inspiration, on the occasion of his 70th birthday Abstract.

More information

Modularity of Abelian Varieties

Modularity of Abelian Varieties 1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists

More information

L-SERIES WITH NONZERO CENTRAL CRITICAL VALUE

L-SERIES WITH NONZERO CENTRAL CRITICAL VALUE JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 11, Number 3, July 1998, Pages 635 641 S 0894-0347(98)0063-X L-SERIES WITH NONZERO CENTRAL CRITICAL VALUE KEVIN JAMES 1. Introduction Suppose that f

More information

Short proofs of the universality of certain diagonal quadratic forms

Short proofs of the universality of certain diagonal quadratic forms Arch. Math. 91 (008), 44 48 c 008 Birkhäuser Verlag Basel/Switzerland 0003/889X/010044-5, published online 008-06-5 DOI 10.1007/s00013-008-637-5 Archiv der Mathematik Short proofs of the universality of

More information

Tables of elliptic curves over number fields

Tables of elliptic curves over number fields Tables of elliptic curves over number fields John Cremona University of Warwick 10 March 2014 Overview 1 Why make tables? What is a table? 2 Simple enumeration 3 Using modularity 4 Curves with prescribed

More information

POSITIVE DEFINITE n-regular QUADRATIC FORMS

POSITIVE DEFINITE n-regular QUADRATIC FORMS POSITIVE DEFINITE n-regular QUADRATIC FORMS BYEONG-KWEON OH Abstract. A positive definite integral quadratic form f is called n- regular if f represents every quadratic form of rank n that is represented

More information

Kneser s p-neighbours and algebraic modular forms

Kneser s p-neighbours and algebraic modular forms Kneser s p-neighbours and algebraic modular forms Matthew Greenberg University of Calgary 5 September 2011 1 / 36 Agenda 1 introduction 2 adelic automorphic forms 3 algebraic modular forms (after Gross)

More information

The Galois Representation Associated to Modular Forms (Part I)

The Galois Representation Associated to Modular Forms (Part I) The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2

More information

THE ASYMPTOTIC DISTRIBUTION OF ANDREWS SMALLEST PARTS FUNCTION

THE ASYMPTOTIC DISTRIBUTION OF ANDREWS SMALLEST PARTS FUNCTION THE ASYMPTOTIC DISTRIBUTION OF ANDREWS SMALLEST PARTS FUNCTION JOSIAH BANKS, ADRIAN BARQUERO-SANCHEZ, RIAD MASRI, YAN SHENG Abstract. In this paper, we use methods from the spectral theory of automorphic

More information

MOCK MODULAR FORMS AS p-adic MODULAR FORMS

MOCK MODULAR FORMS AS p-adic MODULAR FORMS MOCK MODULAR FORMS AS p-adic MODULAR FORMS KATHRIN BRINGMANN, PAVEL GUERZHOY, AND BEN KANE Abstract. In this paper, we consider the question of correcting mock modular forms in order to obtain p-adic modular

More information

Raising the Levels of Modular Representations Kenneth A. Ribet

Raising the Levels of Modular Representations Kenneth A. Ribet 1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is

More information

LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS

LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS PETE L. CLARK 1. What is an arithmetic Fuchsian group? The class of Fuchsian groups that we are (by far) most interested in are the arithmetic groups.

More information

The Leech lattice. 1. History.

The Leech lattice. 1. History. The Leech lattice. Proc. R. Soc. Lond. A 398, 365-376 (1985) Richard E. Borcherds, University of Cambridge, Department of Pure Mathematics and Mathematical Statistics, 16 Mill Lane, Cambridge, CB2 1SB,

More information

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued

More information

Distribution of Fourier coefficients of primitive forms

Distribution of Fourier coefficients of primitive forms Distribution of Fourier coefficients of primitive forms Jie WU Institut Élie Cartan Nancy CNRS et Nancy-Université, France Clermont-Ferrand, le 25 Juin 2008 2 Presented work [1] E. Kowalski, O. Robert

More information

LINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES

LINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES LINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES YOUNGJU CHOIE, WINFRIED KOHNEN, AND KEN ONO Appearing in the Bulletin of the London Mathematical Society Abstract. Here we generalize

More information

A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS

A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS IWAO KIMURA ABSTRACT. Let l > 3 be an odd prime. Let S 0, S +, S be mutually disjoint nite sets of rational primes. For

More information

CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION

CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION MADELINE LOCUS AND IAN WAGNER Abstract. Let p tn denote the number of partitions of n into t colors. In analogy with Ramanujan s work on the partition function,

More information

arxiv: v1 [math.nt] 15 Mar 2012

arxiv: v1 [math.nt] 15 Mar 2012 ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic

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

CM liftings of Supersingular Elliptic Curves

CM liftings of Supersingular Elliptic Curves Journal de Théorie des Nombres de Bordeaux 00 (XXXX), 000 000 CM liftings of Supersingular Elliptic Curves par Ben Kane Résumé. Supposant vraie la conjecture de Riemann généralisée nous présentons un algorithme

More information

Introductory comments on the eigencurve

Introductory comments on the eigencurve Introductory comments on the eigencurve Handout # 5: March 8, 2006 (These are brief indications, hardly more than an annotated list, of topics mentioned in my lectures. ) 1 The basic Hecke diagram As before

More information

A weak multiplicity-one theorem for Siegel modular forms

A weak multiplicity-one theorem for Siegel modular forms A weak multiplicity-one theorem for Siegel modular forms Rudolf Scharlau Department of Mathematics University of Dortmund 44221 Dortmund, Germany scharlau@math.uni-dortmund.de Lynne Walling Department

More information

Analytic Number Theory

Analytic Number Theory American Mathematical Society Colloquium Publications Volume 53 Analytic Number Theory Henryk Iwaniec Emmanuel Kowalski American Mathematical Society Providence, Rhode Island Contents Preface xi Introduction

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

14 Ordinary and supersingular elliptic curves

14 Ordinary and supersingular elliptic curves 18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that

More information

On elliptic curves in characteristic 2 with wild additive reduction

On elliptic curves in characteristic 2 with wild additive reduction ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2

More information

A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms

A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms Jennings-Shaffer C. & Swisher H. (014). A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic

More information

(Not only on the Paramodular Conjecture)

(Not only on the Paramodular Conjecture) Experiments on Siegel modular forms of genus 2 (Not only on the Paramodular Conjecture) Modular Forms and Curves of Low Genus: Computational Aspects ICERM October 1st, 2015 Experiments with L-functions

More information

RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY

RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY Christian Ballot Université de Caen, Caen 14032, France e-mail: ballot@math.unicaen.edu Michele Elia Politecnico di Torino, Torino 10129,

More information

Computer methods for Hilbert modular forms

Computer methods for Hilbert modular forms Computer methods for Hilbert modular forms John Voight University of Vermont Workshop on Computer Methods for L-functions and Automorphic Forms Centre de Récherche Mathématiques (CRM) 22 March 2010 Computer

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

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

A brief overview of modular and automorphic forms

A brief overview of modular and automorphic forms A brief overview of modular and automorphic forms Kimball Martin Original version: Fall 200 Revised version: June 9, 206 These notes were originally written in Fall 200 to provide a very quick overview

More information

On the zeros of certain modular forms

On the zeros of certain modular forms On the zeros of certain modular forms Masanobu Kaneko Dedicated to Professor Yasutaka Ihara on the occasion of his 60th birthday. The aim of this short note is to list several families of modular forms

More information

CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker

CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES Reinier Bröker Abstract. We give an algorithm that constructs, on input of a prime power q and an integer t, a supersingular elliptic curve over F q with trace

More information

GROSS-ZAGIER ON SINGULAR MODULI: THE ANALYTIC PROOF

GROSS-ZAGIER ON SINGULAR MODULI: THE ANALYTIC PROOF GROSS-ZAGIER ON SINGULAR MOULI: THE ANALYTIC PROOF EVAN WARNER. Introduction The famous results of Gross and Zagier compare the heights of Heegner points on modular curves with special values of the derivatives

More information

THE TRIANGULAR THEOREM OF EIGHT AND REPRESENTATION BY QUADRATIC POLYNOMIALS

THE TRIANGULAR THEOREM OF EIGHT AND REPRESENTATION BY QUADRATIC POLYNOMIALS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 THE TRIANGULAR THEOREM OF EIGHT AND REPRESENTATION BY QUADRATIC POLYNOMIALS WIEB BOSMA AND BEN

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

On the generation of the coefficient field of a newform by a single Hecke eigenvalue

On the generation of the coefficient field of a newform by a single Hecke eigenvalue On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2

More information