Modular forms and elliptic curves over imaginary quadratic number fields
The motivation for this thesis is two-fold. First we investigate the correspondence between elliptic curves with conductor a and newforms of weight 2 for I'0 (a), where a is an ideal of 'l?K and K is one of the 4 non-Euclidean imaginary quadratic number fields with class number 1. In Part I we develop an algorithm for finding rational newforms by calculating the action of the Hecke algebra on the first rational homology group of the hyperbolic upper half-space modulo I'o(a). This work is an extension of Cremona's work (4) on modular forms over the 5 Euclidean fields. We give tables of the results of implementing this algorithm on a computer. We list the dimensions of the +1eigenspaces for the action of J on H1( r0 (a)\H;, Q) along with the first few Hecke eigenvalues for each of the rational newforms. In addition we give tables of elliptic curves with small conductor, found via a sys- tematic computer search using Tate's algorithm, and the trace of Frobenius at the first few primes. In all cases agreement was found in the Hecke eigenvalues and trace of Frobenius at the first 15 primes. Secondly we provide extensive numerical evidence to support the Birch, Swin nerton-Dyer Conjecture. Part II is a description of joint work carried out with Cremona to calculate the quantities involved. We give tables of the results of these calculations over the 9 imaginary quadratic number fields with class number 1. We provide isogeny classes of curves of given conductor along with the order of the group of torsion points defined over K; the Cp numbers; and the complex period of each curve. For each of the newforms corresponding to a class of elliptic curves without complex multiplication, we calculate the ratio L( F, 1)/ 7r( F) where L( F, 1) is the value of the L-series of the newform, F, at s = 1 and 7r( F) is the period. In the cases where L(F, 1)/7r(F) =f 0 we list the values of L(F, 1) and 7r( F). In the majority of cases we find agreement in the quantities predicted in the conjecture.