A note on the Fourier coefficients of a Cohen–Eisenstein series

Abstract

We prove a formula for the coefficients of a weight 3/2 Cohen-Eisenstein series of squarefree level N . This formula generalizes a result of Gross, and in particular, it proves a conjecture of Quattrini. Let l be an odd prime number. For any elliptic curve E defined over Q of rank zero and square-free conductor N , if l | |E(Q)|, under certain conditions on the Shafarevich-Tate group X D , we show that l divides |X D | if and only if l divides the class number h(−D) of Q( √ −D). the coefficients of the Cohen-Eisenstein serieswhere g i and w i are certain orders defined in Sec. 2. We work with certain definite quaternion algebras ramified at finitely many primes p 1 , p 2 , . . . , p k , and we compute the coefficients of H for square-free level in Theorem 5.1. As a consequence, we deduce Conjecture 2.3 (Corollary 5.3). The estimation of the number of imaginary quadratic fields whose ideal class group has an element of order l ≥ 2 and the analogous questions for quadratic twists of elliptic curves has been the center of interest in many results. For elliptic curves E of prime conductors, using the theory of p-adic L-functions and Eisenstein quotients, Mazur [10] showed that under certain conditions, the quadratic twist of E by a primitive, odd quadratic Dirichlet character χ has finite Mordell-Weil group of order not divisible by a prime l if and only if the quadratic field associated to χ has class number prime to l. In [5], Frey obtained the information about the elements of order l in the Selmer group of E D , the quadratic twist of E by −D, by assuming the elliptic curve E over Q contains a Q-rational torsion point of prime order l. In [7], James proved that 3 divides the order of the Selmer group of X 0 (11) D if and only if 3 divides the class number h(−D) under the similar assumption that the elliptic curve E contains a rational torsion point of order 3. In [17], Wong showed that there are infinitely many negative fundamental discriminants −D such that the twist X 0 (11) D of the modular curve X 0 (11) has rank 0 over Q and an element of order 5 in its Shafarevich-Tate group. Using the circle method and results of Frey and Kolyvagin, Ono [11] proved a result for the nontriviality of class groups of imaginary quadratic fields and results on the nontriviality of the Shafarevich-Tate groups of certain elliptic curves. It is also known that for almost all primes l, there exist infinitely many square-free integers D such that l |X D | [8].We prove that (Theorem 2.6) if E is an elliptic curve with square-free conductor N and l is an odd prime dividing |E(Q)|, under certain conditions on the Shafarevich-Tate group X D , the proportion of X D in the family, divisible by l, is the same as the proportion of class numbers h(−D) divisible by l in the family of negative quadratic fields Q( √ −D) with the same Kronecker conditions.To prove Theorem 5.1, we follow the strategy of Gross and we use Eichler's formula. The contents of this paper are as follows. In Sec. 2, we discuss some preliminaries. In Sec. 3, we compute th...

NOTE ON THE p-DIVISIBILITY OF CLASS NUMBERS OF AN INFINITE FAMILY OF IMAGINARY QUADRATIC FIELDS

“…The Birch Swinnerton-Dyer conjecture is an elliptic curve analogue of the analytic class number formula. For any elliptic curve defined over Q of rank zero and square-free conductor N, if p | |E(Q)|, under certain conditions on the Shafarevich-Tate group X D , the first author [13]…”