AN INTRODUCTION TO ELLIPTIC CURVES
|
|
- Magdalene Wade
- 5 years ago
- Views:
Transcription
1 AN INTRODUCTION TO ELLIPTIC CURVES MACIEJ ULAS.. First definitions and properties.. Generalities on elliptic curves Definition.. An elliptic curve is a pair (E, O), where E is curve of genus and O E. We say that the elliptic curve E is defined over K and write E/K if E is defined over K as a curve and O E(K)-the set o K-rational points on E. Theorem.. Let E be an elliptic curve defined over K. (a) There exists functions x, y K(E) such that the map ϕ : E P (ϕ = [x, y, ]) gives and isomorphisms of E/K onto a curve given by a Weierstrass equation C : y + a xy + a 3y = x 3 + a x + a 4x + a 6 with coefficients a,..., a 6 K; and such that ϕ(o) = [0,, 0]. (b) Any two Weierstrass equation for E as in (a) are related by linear change of variables of the form x = u x + r, y = u 3 y + su x + t with u, r, s, t K and u 0. (c) Conversely, every smooth cubic curve C given by a Weierstrass equation as in (a) is an elliptic curve defined over K with origin O = [0,, 0]. If the characteristic of K is not or 3, we may assume that our elliptic curve has Weierstrass equation of the form This equation has associated quantities: the discriminant of E, and j-invariant E : y = x 3 + Ax + B. (E) = 6(4A 3 + 7B ), j(e) = 78 (4A)3 (E). From the previous theorem we deduce that the only change of variables preserving this form of the equation is and then x = u x, y = u 3 y for some u K ; u 4 A = A, u 6 B = B, u (E ) =, j(e ) = j(e). Theorem.3. () Let A, B K and consider E : y = x 3 + Ax + B. Then (a) E is nonsingular if and only if (E) 0. (b) E has a node if and only if (E) = 0 and A 0. (c) E has a cusp if and only if A = B = 0. () Two elliptic curves are isomorphic (over K) if and only if they have the same j-invariant. (3) Let j 0 K. Then there exists and elliptic curve defined over K(j 0) with j-invariant equal to j 0. More precisely, if j 0 0, 78 then If j 0 = 0 then we take If j 0 = 78 then we take E : y + xy = x 3 We can define an addition law on E by the following rule. 36 j 0 78 x j 0 78, (E) = j0 (j 0 78), j = j0. 3 E : y + y = x 3, (E) = 7, j = 0. E : y = x 3 + x, (E) = 64, j = 78. Addition law Let P, Q E and let L be the line containing P and Q (tangent line to E if P = Q), and let R be the third point of intersection of L with E. Let L be the line connecting R and O. Then P + Q is the point such that L intersects E at R, O, and P + Q. Theorem.4. The addition law has the following properties: (a) If a line L intersects E at the (not necessarily distinct) points P, Q, R, then P + Q + R = O.
2 MACIEJ ULAS (b) P + O = P for all P E. (c) P + Q = Q + P for all P, Q E. (d) Let P E. There is a point of E, denoted P, so that P + ( P ) = O. (e) (P + Q) + R = P + (Q + R) for all P, Q, R E. Corollary.5. The addition law makes E into an abelian group with identity element O. Moreover, if E is defined over K, then the set E(K) = {(x, y) K : y + a xy + a 3y = x 3 + a x + a 4x + a 6} {O} is a subgroup of E. The set E(K) is usually called the set of K-rational points on E. For m Z and P E we will write [m]p = P P (m terms) for m > 0, [0]P = O, [m]p = [ m]p for m < 0. Definition.6. Let E be an elliptic curve and m Z, 0. The m-torsion subgroup of E is the set The torsion subgroup of E is the set of points of finite order E[m] := {P E : [m]p = O}. Tors(E) = E[m]. If E is defined over the field K then Tors(E(K)) will denote the points of finite order in E(K)... Group law algorithm. Theorem.7. Let E be an elliptic curve given by a Weierstrass equation and let and P i = (x i, y i) E for i = 0,,. () Let P 0 = (x 0, y 0) E. Then m= E(K) = {(x, y) K : y + a xy + a 3y = x 3 + a x + a 4x + a 6} {O} P 0 = (x 0, y 0 a x 0 a 3). () Let P + P = P 3. If x + x = 0 and y + y + a x + a 3 = 0, then Otherwise, let P + P = O. λ = y y x x, ν = y x y x x x if x x λ = 3x +a x +a 4 a y y +a x +a 3, ν = x3 +a 4x +a 6 a 3 y y +a x +a 3 if x = x (3) With λ and ν given above y = λx + ν is the line through P and P, or tangent to E if P = P and then P 3 = (x 3, y 3) with x 3 = λ + a λ a x x, y 3 = ( λ + a )x 3 ν a 3. Definition.8. Let E/K be an elliptic curve given in long Weierstrass form. The differential form ω = is called the invariant differential associated with Weierstrass equation. dx dy = y + a x + a 3 3x + a x + a 4 a y Theorem.9. Let E be an elliptic curve. Then the invariant differential ω of E is holomorphic and non-vanishing, i.e. ord P (ω) = 0 for all P E, where ord P (ω) := ord P (ω/dx). Definition.0. Let E/K be an elliptic curve Q E. The translation by Q map is the map of the form τ Q : E P P + Q E. We then have ( τqω = τq ω ) d(τqx) = ω. dx
3 AN INTRODUCTION TO ELLIPTIC CURVES 3.3. Torsion points and Mordell-Weil theorem. Theorem.. (Lutz, Nagell) Let E/Q be an elliptic curve with Weierstrass equation E : y = x 3 + Ax + B, A, B Z. Suppose that P = (x P, y P ) E(Q) is a non-zero torsion point. Then () x P, y P Z. () If []P O, then y P (E). In particular, Tors(E(Q)) is a finite group. Theorem.. (Mazur) Let E/Q be an elliptic curve. Then the torsion subgroup Tors(E) is one of the following fifteen groups: Further, each of these groups does occur as an Tors(E(Q)). Z/NZ, N 0 or N = ; Z/Z Z/NZ, N 4. Theorem.3. (Mordell, Weil) Let K be a number field and E/K ba an elliptic curve. The group E(K) is finitely generated, i.e. where the number r = r(e) is called the rank of E(K). E(K) = Tors(E(K)) Z r, Conjecture.4. Let K = Q. Then for each n N there exists an elliptic curve E/Q such that r E n. Theorem.5. (Merel) () For all d N there exists a constant B(d) 0 such that for all elliptic curves E over a number field K with [K : Q] = d then Tors(E(K)) B(d). () Let E be an elliptic curve over a number field K such that [K : Q] = d. If E(K) has a torsion point of order p, where p is a prime number, then p > d 3d..4. Isogenies. First of all let us note the following. Theorem.6. The expressions giving the group law on the curve E define morphisms + : E E (P, P ) P + P E and : E P P E. Definition.7. Let E and E be elliptic curves. An isogeny between E and E is a morphism ϕ : E E, satisfying ϕ(o) = O. We say that t E and E are isogenous if there is an isogeny ϕ between them with ϕ(e ) {O}. It is well known that if ϕ : C C is a morphism of curves then ϕ is either constant or surjective. In particular, we get that if ϕ : E E is an isogeny then ϕ(e ) = {O} or ϕ(e ) = E. Thus, expect the trivial isogeny [0](P ) = O for all P E, every other isogeny is a finite map of curves. Because a nontrivial isogeny is finite map we can consider an injection of function fields ϕ : K(E ) f f ϕ K(E ). This allows us to consider degree of ϕ (deg ϕ), separable and inseparable degrees of ϕ (deg s ϕ and deg i ϕ respectively) and more generally each property of ϕ is a manifestation of a property of the finite extension K(E )/ϕ K(E ). We put deg[0] = 0. We define the set Hom(E, E ) = {isogenies ϕ : E E }. Because the addition of points defines a morphism we get that Hom(E, E ) is a group under the addition law If E = = E then for an elliptic curve E we define This is a ring with addition and multiplication given by composition (ϕ + ψ)(p ) = ϕ(p ) + ψ(p ). End(E) = Hom(E, E). (ϕψ)(p ) = ϕ(ψ(p )) and is called the endomorphism ring of E. The set of invertible elements of End(E) is called the automorphism group of E and is denoted by Aut(E). In a similar way we define the sets of isogenies defined over K. The corresponding groups of isogenies are denoted with the usual subscripts, thus Hom K(E, E ), End K(E, E ), Aut K(E, E ). Example.8. For each m Z we can define a multiplication by m isogeny by: [m] : E P [m]p E. Let us note that if E is defined over K then [m] is defined over K too. Lemma.9. (a) Let E/K be an elliptic curve and let m Z \ {0}. Then the multiplication by m map [m] : E E is non-constant. (b) Let E, E be elliptic curves. Then the group of isogenies Hom(E, E ) is a torsion-free Z module.
4 4 MACIEJ ULAS (c) Let E be an elliptic curve. Then the endomorphism ring End(E) is a (not necessarily commutative) ring of characteristic zero with no zero divisors. Definition.0. Let K be a field and suppose that char K = 0. If End(E) = Z, then we say that E has complex multiplication. Here we identify multiplication by m map with an integer m. Example.. Let E/K be an the elliptic curve E : y = x 3 + ax. Then End(E) is strictly larger then Z. Indeed, it contains an element which we denote [i] given by [i] : E (x, y) ( x, iy) E, where i K is primitive fourth root of unity. In particular, if i K then End K(E) is a proper subset of End(E). Example.. Let us assume that char K and let a, b K with b 0 and r = a 4b 0. Let us consider two elliptic curves E : y = x 3 + ax + bx, E : Y = X 3 ax + rx. There are isogenies of degree ( y ϕ : E (x, y) x, y(b x ) ), x ( Y ˆϕ : E (X, Y ) 4X, Y (r X ) ). 8X We have ϕ ˆϕ = [] and ˆϕ ϕ = []. This gives an example of so called dual isogenies. Example.3. Let K be a field of characteristic p > 0 and put q = p r. If E/K is given by Weierstrass equation then we define Using expression for (E) and j(e) we deduce that E : y + a xy + a 3x = x 3 + a x + a 4x + a 6 E (q) : y + a q xy + a q 3x = x 3 + a q x + a q 4x + a q 6. ϕ q : E (x, y) (x q, y q ) E (q). (E (q) ) = (E) q, j(e (q) ) = j(e) q. In particular, if E is nonsingular then E (q) is nonsingular too. If K = F q is a finite field then the q th -power map on K is the identity and thus E (q) = E. Then ϕ q is an endomorphisms of E, called the Frobenius endomorphism. Moreover, we have P E(K) if and only if ϕ q(p ) = P..5. The dual isogeny. Let ϕ : E E be a non-constant isogeny. Then ϕ induces a map ϕ : Pic 0 (E ) Pic 0 (E ). Moreover, we have group isomorphisms κ i : E i P class of (P ) (O) Pic 0 (E i) for i =,. We thus get a homomorphism going in the opposite direction to ϕ given by the composition κ ϕ κ. For given Q E and any P E such that ϕ(p ) = Q we have an equality (κ ϕ κ )(Q) = [deg ϕ](p ). The above equality suggests that there should be an isogeny ˆϕ : E E satisfying ˆϕ ϕ = [deg ϕ]. Theorem.4. Let ϕ : E E be an isogeny of degree m. () There exists a unique isogeny ˆϕ : E E satisfying ˆϕ ϕ = [deg ϕ]. () As a group homomorphism, ˆϕ equals the composition of the maps κ : E Q (Q) (O) Div 0 (E ), ϕ : Div 0 (E ) Div 0 (E ), κ : Div 0 (E ) n p(p ) [n P ]P E. Definition.5. Let ϕ : E E be an isogeny. The dual isogeny to ϕ is the isogeny ˆϕ given above. If ϕ = [0] then we put ˆϕ = [0]. Theorem.6. Let ϕ : E E be an isogeny. () Let m = deg ϕ. Then () Let λ : E E 3 be another isogeny. Then (3) Let ψ : E E be another isogeny. Then ˆϕ ϕ = [m] E, ϕ ˆϕ = [m] E. λ ϕ = ˆϕ ˆλ. ψ + ϕ = ˆψ + ˆϕ.
5 AN INTRODUCTION TO ELLIPTIC CURVES 5 (4) For all m Z we have (5) We have (6) We have ˆ [m] = [m] and deg[m] = m. deg ˆϕ = deg ϕ. ˆϕ = ϕ. As a consequence of the previous theorem we get two interesting results. Theorem.7. Let E, E be elliptic curves. The degree map is positive definite quadratic form. deg : Hom(E, E ) Z Theorem.8. Let E be an elliptic curve and m Z \ {0}. () If char(k) = 0 or gcd(m, char(k)) =, then () If char(k) = p, then either E[m] = (Z/mZ) (Z/mZ). E[p r ] = {O} for all r =,,... ; or E[p r ] = Z/p r Z for all r =,, The Tate module. Let E/K be an elliptic curve and m. Let us suppose that char(k) = 0 or gcd(m, char(k)) =. Then E[m] = (Z/mZ) (Z/mZ). If G K/K := Gal(K/K), then G K/K acts on E[m]. Indeed, if [m]p = O and σ G K/K, then This observation leads to representation [m]p σ = ([m]p ) σ = O. G K/K Aut(E[m]) = GL (Z/mZ), where the isomorphism depends on the basis chosen for E[m]. However, in general it is easier to work with matrices with entries from a ring of characteristic 0. This leads to : Definition.9. Let E be an elliptic curve and l Z a prime. The (l adic) Tate module of E is the group T l (E) = lim E[l n ], where the inverse limit being taken with respect to the natural maps E[l n+ ] P [l]p E[l n ]. Each E[l n ] can be seen as a Z/l n Z-module and thus T l (E) has a natural structure as a Z l -module. With the help of characterization of E[l n ] we get: Lemma.30. As a Z l -module, the Tate module has the following structure. () T l (E) = Z l Z l if l char(k). () T l (E) = {0} or Z l if p = char(k) > 0. Let us note that the action of G K/K commutes with the multiplication by l maps used to form the inverse limit. This implies that G K/K acts on T l (E) too. Moreover, one can prove that this action is continuous. Definition.3. The l-adic representation (of G K/K on E), denoted by ρ l, is the map giving the action of G K/K on T l (E). ρ l : G K/K Aut(T l (E)) An important property of a Tate module of an elliptic curve is the fact that it can be used as a useful tool for studying isogenies. More precisely, if ϕ : E E is an isogeny, then ϕ, for any given n, gives map This allows us to define a Z l -linear map which induces homomorphism and in case of E = E = E Theorem.3. Let E, E be elliptic curves. Then the natural map is injective. ϕ : E [l n ] E [l n ]. ϕ l : T l (E ) T l (E ) Hom(E, E ) Hom(T l (E ), T l (E )) End(E) End(T l (E)). Hom(E, E ) Z l ϕ ϕ l Hom(T l (E ), T l (E ))
6 6 MACIEJ ULAS From the previous result we deduce the following: Theorem.33. Let E, E be elliptic curves. Then Hom(E, E ) is a free Z-module of rank at most 4. Similarly, we can define Hom K(T l (E ), T l (E )) to be the group of Z l -linear maps from T l (E ) to T l (E ) which commute with the action of G K/K as given by l-adic representation. This implies that we have homomorphism Theorem.34. The natural map is an isomorphism if: (a) (Tate) K is finite field; (b) (Faltings) K is number field. Hom K(E, E ) Z l Hom K(T l (E ), T l (E )). Hom K(E, E ) Z l Hom K(T l (E ), T l (E )). Definition.35. Let A be a (not necessarily commutative) algebra, finitely generated over Q. An order R of A is a subring of A which is finitely generated as Z-module and which satisfies R Q = A. Example.36. Let A be a quadratic imaginary field and O A its ring of integers. Then for each integers f > 0, the ring Z + fo A is an order of A. Definition.37. A quaternion algebra is an algebra of the form with multiplication rules A = Q + Qα + Qβ + Qαβ α, β Q, α < 0, β < 0, αβ = βα. Example.38. The ring of quaternions, i.e. R = Q + Qi + Qj + Qk with multiplicity rules i = j = k = ijk = is an example of quaternion algebra. Theorem.39. Let E/K be an elliptic curve. The endomorphism ring of E is either Z, an order in imaginary quadratic field, or an order in a quaternion algebra. Remark.40. If char(k) = 0 then End(E) can not be a quaternion algebra. Theorem.4. Let E/K be an elliptic curve. Then its automorphism group Aut(E) is a finite group dividing 4. More precisely, the order of Aut(E) is given by the following list: () if j(e) 0, 78, () 4 if j(e) = 78 and char(k), 3, (3) 6 if j(e) = 0 and char(k), 3, (4) if j(e) = 0 = 78 and char(k) = 3, (5) 4 if j(e) = 0 = 78 and char(k) =. Moreover, if char(k), 3 then Aut(E) = µ n.. Elliptic curves over finite fields.. The Hasse bound. Let K be finite field with q elements and let E be an elliptic curve defined over K. Here q is a power of a prime number. A question arises how big is the (finite!) set E(K) in this case? The following theorem was conjectured by E. Artin and was proved by H. Hasse in 930 s. Theorem.. Let E/K be an elliptic curve defined over the field with q elements. Then E(K) q q... The Weil conjectures. In 949 A. Weil states a general conjectures concerning the behaviour of the number of rational points on varietes defined over finite fields. Let K be finite field of q elements and let K n be the extension of K of degree n for each n. We have K n = q n. Let V/K be a projective variety defined over K. Definition.. The zeta function of V/K is the power series ( Z(V/K, T ) = exp V (K) T n ). n If we know the closed expression for Z(V/K, T ) then we can find the numbers V (K n) by the formula n= V (K n) = log Z(V/K, T ). (n )! dt n Theorem.3. (Weil conjectures) Let K be a finite field with q elements and V/K be a smooth projective variety of dimension n. (a) Rationality. The zeta function of V is rational Z(V/K, T ) Q(T ). (b) Functional equation. There is an integer ɛ such that Z ( V/K, q n T d n ) = ±q nɛ T ɛ Z(V/K, T ).
7 AN INTRODUCTION TO ELLIPTIC CURVES 7 (c) Riemman Hypothesis. There is a factorization Z(V/K, T ) = P(T ) Pn (T ) P 0(T )P (T ) P n(t ) with P i Z[T ]. Moreover, P 0(T ) = T, P n(t ) = q n T, and for each i n, P i(t ) factors over C as P i(t ) = j ( α ijt ) with α ij = q i/. Weil proved the above conjecture for curves and abelian varietes. The rationality of Zeta function was proved by Dwork in 960. The Riemann hypothesis was proved by Deligne in 973. In case of elliptic curves we have the following: Theorem.4. Let K be a finite field with q elements and E/K an elliptic curve. Then there is an a Z such that ( ) Moreover Z E/K, = Z(E/K, T ), and qt Z(E/K, T ) = at + qt ( T )( qt ). at + qt = ( αt )( βt ) with α = β = q. Remark.5. The reason why the shape of factorization of Z(V/K, T ) is called Riemman hypothesis is the following. Introducing the new variable s by the equality T = q s we get that the for an elliptic curve E ζ E/K (s) = Z(E/K, q s ) = aq s + q s ( q s )( q s ). From the functional equation we get the equality ζ E/K (s) = ζ E/K ( s) ( ) which strongly resembles the functional equation for ξ(s) = s pi s(s )Γ s ζ(s), where ζ(s) is zeta function of Riemman. Moreover, the Riemann hypothesis for Z(E/K, T ) implies that if ζ E/K (s) = 0 then q s = q and thus Re(s) =..3. The endomorphism ring. We know that in characteristic p there is only two possibilities for the group of p-torsion points E[p], namely 0 and Z/pZ. Moreover, we have also seen the characterization of End(E). There is a strong connection between these two notions. Theorem.6. (Deuring) Let K be a (perfect) field of characteristic p and E/K be an elliptic curve. For each integer r, let ϕ r : E E (pr ) and ˆϕ r : E (pr) E be the p r -power Frobenius map and its dual. () The following statements are equivalent. (a) E[p r ] = 0 for one (all) r. (b) ˆϕ r is (purely) inseparable for one (all) r. (c) The map [p] : E E is purely inseparable and j(e) F p. (d) End(E) is an order in a quaternion algebra (here End(E) means End K (E)). () If the equivalent conditions in () do not hold then E[p r ] = Z/p r Z for all r. Further, if j(e) F p, then End(E) is an order in a quadratic imaginary field Definition.7. If E has the properties given by Deuring theorem in (), then we say that E is supersingular, or that E has Hasse invariant 0. Otherwise, we say that E is ordinary, or that E has Hasse invariant. From the Deuring theorem we know that up to isomorphism, there are only finitely many elliptic curves with Hasse invariant 0, since each has j-invariant in F p. For example, for p = the only one supersingular elliptic curve is We have the following supersingularity criterion. Theorem.8. Let K be finite field of characteristic p >. () Let E/K be an elliptic curve with Weierstrass equations E : y + y = x 3. E : y = f(x), where F K[x] is a cubic polynomial with distinct roots (in K). Then E is supersingular if and only if the coefficient of x p in f(x) p is zero. () Let m = p, and define a polynomial ( ) m m H p(t) = t i. i Let λ K, λ 0,. Then the elliptic curve is supersingular if and only if H p(λ) = 0. i=0 E : y = x(x )(x λ)
8 8 MACIEJ ULAS (3) The polynomial H p(t) has distinct roots in K. Up to isomorphism, there are exactly [ p ] + ɛ p supersingular elliptic curves in characteristic p, where ɛ 3 =, and for p 5 ɛ p = 0,,, if p, 5, 7, (mod ) respectively. Using the criterion () one can easily check that the curve E : y = x 3 + with j-invariant j(e) = 0, satisfies: E is supersingular in characteristic p p (mod 3), E is ordinary in characteristic p p (mod 3). Similarly, one can check that the curve E : y = x 3 + x with j-ivariant j(e) = 78, satisfies: E is supersingular in characteristic p p 3 (mod 4), E is ordinary in characteristic p p (mod 4). If j(e) 0, 78 then primes for which E is supersingular are rare. For example, for the curve E : y + y = x 3 x 0x 0 with j(e) = there are only 7 primes 3500 for which E is supersingular. However, we have the following result. Theorem.9. (Elkies) For each E/Q the set of those primes for which E/F p is superingular is infinite. 3. Elliptic curves over C Definition 3.. We say that Λ C is a lattice if Λ is a discrete subgroup of C which contains an R-basis of C. Definition 3.. An elliptic function (relative to the lattice Λ) is a meromorphic function on C which satisfies The set of all elliptic functions is denoted C(Λ). f(z + ω) = f(z) for all ω Λ, z C. Definition 3.3. Let Λ C be a lattice. The Weierstrass -function (relative to Λ) is defined by the series (z; Λ) = z + ( (z ω) ). ω The Eisenstein series of weight k (for Λ) is the series G k (Λ) = ω Λ\{0} ω Λ\{0} ω k. There is a strong connection between these two notions. More precisely, we have: Theorem 3.4. (b) For all z C \ Λ, (a) The Laurent series for about z = 0 is given by where g = 60G 4, g 3 = 40G 6. We also have: Theorem 3.5. Let Λ be a lattice. Then (z) = z + (k + )G k+ (Λ)z k. k= (z) = 4 (z) 3 g (z) g 3, C(Λ) = C( (z), (z)). Theorem 3.6. Let g and g 3 be the quantities associated to a lattice Λ C. (a) The polynomials f(x) = 4x 3 g x g 3 has distinct zeros and its discriminant (Λ) = g 3 7g3 is non zero. (b) Let E/C be the elliptic curve E : y = 4x 3 g x g 3, which is an elliptic curve from (a). Then the map G : C/Λ z [ (z) : (z) : ] E P (C) is a complex analytic isomorphism of complex Lie groups. (c) (Uniformization) Let E/C be the elliptic curve E : y = 4x 3 Ax B with A 3 7B 0. Then there exists a unique lattice Λ C such that g (Λ) = A, g 3(Λ) = B. Theorem 3.7. Let E : y = 4x 3 g x g 3 be the elliptic curve over C.
9 AN INTRODUCTION TO ELLIPTIC CURVES 9 () Let α i β be paths on E(C) giving a basis for H (E, Z). Then the periods dx ω = y, ω = dx y are R-linearly independent. () Let Λ C be the lattice generated by ω and ω. Then the map α F : E(C) P P O dx y β (mod Λ) is a complex analytic isomorphism. Its inverse is the map G given in the previous theorem. Let Λ, Λ be lattices in C. If α C satisfies αλ Λ then the map is holomorphic homomorphism. We have the following result: Theorem 3.8. (a) With notation as above, the association ϕ α : C/Λ z αz mod Λ {α C : αλ Λ } {holomorphic maps ϕ : C/Λ C/Λ, ϕ(0) = 0}. α ϕ α is a bijection. (b) Let E and E be the elliptic curves corresponding to the lattices Λ and Λ. Then the inclusion {isogenies ϕ : E E } {holomorphic maps ϕ : C/Λ C/Λ, ϕ(0) = 0} is a bijection. (c) Let E i/c be an elliptic curve with corresponding lattice Λ i for i =,. Then E, E are isomorphic over C if and only if Λ and Λ are homotetic, i.e. Λ = αλ for some α C. 4. Modular forms and modular curves 4.. Modular functions and modular forms. Let Γ C be a lattice and let us consider the Eisenstein series G k (Λ), the discriminant and the j-invariant We have the following properties (Λ) = g 3 7g 3 j(λ) = 78 (4g)3 (Λ). G k (αλ) = α k G k (Λ), (αλ) = α (Λ), j(αλ) = j(λ). The domain of these functions is the space of lattices. We consider these functions modulo homothety. We introduce the following notation and terminology: Definition 4.. The modular group is the group of matrices with integer entries and determinant. { ( ) a b } SL (Z) = : a, b, c, d Z, ad bc =. Each element of SL (Z) can be understood as an automorphism of the Riemann sphere Ĉ = C { }. We have ( ) a b (τ) = aτ + b cτ + d, τ Ĉ. Definition 4.. The upper half plane is the set H = {τ C : Im(τ) > 0}. The formula Im(γ(τ)) = Im(τ) ( ) a b cτ + d, τ = SL (Z) together with the equality (γ γ )(τ) = γ (γ (τ ) ) for all γ, γ SL (Z) show that SL (Z) acts on H. Moreover, we put Λ τ = Z + Zτ for τ H and G k (τ) = G k (Λ τ ), (τ) = (Λ τ ), j(τ) = j(λ τ ). We have identities ( ) G k (γτ) = (cτ + d) k a b G k (τ) for γ = SL (Z). In particular, if c = 0, then necessarily d = ± and G k (γτ) = G k (τ). For example G k (τ + ) = G k (τ) and thus G k has Fourier expansion G k (τ) = c(n)q n, where we put q = e πiτ. n=
10 0 MACIEJ ULAS Definition 4.3. A meromorphic function on H is called a modular function of weight k (for SL (Z)) if it satisfies: ( ) a b (a) f(τ) = (cτ + d) k f(γτ) for all γ = SL (Z); (b) The Fourier expansion of f in the variable q = e πiτ has the form f(τ) = for some finite integer n 0 = n 0(f). n=n 0 c(n)q n Definition 4.4. We say that f is a modular form of weight k if f is holomorphic on H and n 0(f) = 0, in which case we also say that f is holomorphic at and then we put f( ) = c(0). If f( ) = 0, then we call f a cusp form. We have the following examples of modular functions Theorem 4.5. form (a) The j-function j(τ) is a modular function of weight 0 which is holomorphic on H. The Fourier series of j has the j(τ) = τ c(n)q n with c(n) Z. (b) The Eisenstein series G k (τ) is a modular form of weight k. Its Fourier series is given by G k (τ) = ζ(k) + (πi)k σ k (n)q n, (k )! where σ α(n) = d n dα. (c) The discriminant function (τ) is a cusp form of weight. Its Fourier series has the form (τ) = (π) τ(n)q n = (π) q ( q n ) 4 with τ() = and τ(n) Z. n= n= We know that j(τ) is modular function of weight 0 and H/ SL (Z) has an natural structure of a Riemann surface. This plus some extra work allows to prove the following: Theorem 4.6. The map j : H/ SL (Z) C is a complex analytic isomorphism of (open) Riemann surfaces. In particular this implies that H/ SL (Z) is not compact (but has natural compactification as P(C)). We define H = H P(Q). Here SL (Z) acts (transitively) on P(Q) in the usual manner. One can prove that the quotient H / SL (Z) has a structure of a Riemann surface and then that the function j defines complex analytic isomorphism n= j : H / SL (Z) P(C). Definition 4.7. For each integer N, we define subgroups SL (Z) as follows: { ( ) a b } Γ 0(N) = SL (Z) : c 0 (mod N), { ( ) a b Γ (N) = { ( ) a b Γ(N) = n= } SL (Z) : c 0 (mod N), a d (mod N), } SL (Z) : b c 0 (mod N), a d (mod N). More generally, a congruence subgroup of SL (Z) is defined to be a subgroup Γ of SL (Z) which contains Γ(N) for some integer N. If Γ is a congruence subgroup of SL (Z), then Γ acts on H and we can form the quotient space H /Γ. Shimura proved that H /Γ has a natural structure as a Riemann surface. The action of Γ on Q H gives finitely many orbits and the images of these orbits in the quotient space H /Γ are called cusps of Γ. Definition 4.8. Let Γ be a congruence subgroup of SL (Z). A meromorphic function f on H is called a modular function of weight k for Γ if: ( ) a b (a) f(τ) = (cτ + d) k f(γτ) for all γ = Γ; and (b) f is meromorphic at each of the cusps of H /Γ. A modular function is called a modular form if it is holomorphic on H and at each cusps of H /Γ. A modular function is called a cusp form if it is a modular form and vanishes at every cusp. Example 4.9. Let η(τ) = q /4 n= ( qn ) be the Dedekind η function. The function is a cusp form of weight for the group Γ 0(). f(τ) = η(τ) η(τ)
11 AN INTRODUCTION TO ELLIPTIC CURVES 4.. Modular curves. Let Γ be a congruence subgroup of SL (Z). If Γ = SL (Z), then we have seen that the points of the Riemann surface H/ SL (Z) are in one-to-one correspondence with the isomorphism classes of elliptic curves defined over C. This isomorphism sends the point τ (mod Γ) of H/Γ to the elliptic curve E τ = Z/(Z + Zτ). Let us consider now the subgroup { ( ) a b } Γ (N) = SL (Z) : c 0 (mod N), a d (mod N). Since Γ (N) SL (Z) for each τ H/Γ (N) we have corresponding elliptic curve E τ. However, each point of H/Γ (N) contains additional information. To be more precise, let us note that if T τ E τ corresponds with the fraction /N C/Λ τ then T τ E τ [N]. Next, we note that the isomorphism f : C/Γ τ z z cτ + d C/Λ γ(τ), where γ(τ) = (aτ + b)/(cτ + d), sends /N to /N(cτ + d). If now γ Γ (N) then N N(cτ + d) = c τ + d N N cτ + d f(λ τ ) = Λ γ(τ). What does it mean? This means that the point /N C/Λ τ remains fixed under the action of an element of Γ (N). This implies that each point of H/Γ (N) gives an elliptic curve E τ /C together with a specified point T τ of exact order N. Moreover, for any given elliptic curve E/C there is a point τ H/Γ (N) and an isomorphism E τ E such that T τ T. Thus the Riemann surface H/Γ (N) can be understood as a space which parameterizes equivalence classes of pairs (E, T ), where E is an elliptic curve defined over C and T E is a point of exact order N. The quotient H/Γ (N) is an example of moduli space for the moduli problem of determining equivalence classes of pairs (E, T ), where E is an elliptic curve defined over C and T E is a point of exact order N. Similar analysis can be performed for the subgroup Γ 0(N). If γ Γ 0(N) and τ H/Γ 0(N) then the subgroup { N, N,..., N } C/Λ τ N remains invariant under the action of γ. Thus, we get that the quotient H/Γ (N) is a moduli space for the problem of determining equivalence classes of pairs (E, G), where E is an elliptic curve over C and G E is a cyclic subgroup of exact order N. We summarize the observations given above in the following: Theorem 4.0. (Shimura) Let N be an integer. (a) There exists a smooth projective curve X 0(N)(C) and a complex analytic isomorphism j N,0 : H /Γ 0(N) X 0(N)(C) such that the following holds: Let τ H/Γ 0(N), and let K = Q(j N,0(τ)). τ corresponds to an equivalence class of pairs (E, G), where E is an elliptic curve and G E is a cyclic group of order N. This equivalence class contains a pair such that both E and G are defined over K. (b) There exists a smooth projective curve X (N)(C) and a complex analytic isomorphism j N, : H /Γ 0(N) X (N)(C) such that the following holds: Let τ H/Γ (N), and let K = Q(j N,(τ)). τ corresponds to an equivalence class of pairs (E, T ), where E is an elliptic curve and T E is a point of exact order N. This equivalence class contains a pair such that E is defined over K and T E(K). More generally, Shimura proved that if Γ is any congruence subgroup of SL (Z), then one can find in a similar manner a smooth projective curve X(Γ) defined over some number field K(Γ) and a complex analytic isomorphism j Γ : H /Γ X(Γ)(C). This allows to put the following: Definition 4.. The curve X(Γ) is a modular curve. The set of cusps of X(Γ) consists of the finite set of points j Γ(P(Q)/Γ). In other words the cusps of X(Γ) are the image under j Γ of the cusps of Γ. Using the machinery of modular curves B. Mazur was able to prove the following: Theorem 4.. (Mazur) Let E/Q be an elliptic curve. Then the torsion subgroup Tors(E) is one of the following fifteen groups: Further, each of these groups does occur as an Tors(E). Z/NZ, N 0 or N = ; Z/Z Z/NZ, N 4. Theorem 4.3. (Modularity theorem) (Wiles, Taylor, Breuil, Conrad, Diamond) Let E/C be an elliptic curve with j Q. Then for some positive integer N there exists a surjective holomorphic function f : X 0(N)(C) E. References [] J. Silverman, The Arithmetic of Elliptic pa Curves, Springer-Verlag, New York, 986.
COMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationElliptic Curves over Finite Fields 1
Elliptic Curves over Finite Fields 1 B. Sury 1. Introduction Jacobi was the first person to suggest (in 1835) using the group law on a cubic curve E. The chord-tangent method does give rise to a group
More informationAn 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 informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationElliptic Curves, Group Schemes,
Elliptic Curves, Group Schemes, and Mazur s Theorem A thesis submitted by Alexander B. Schwartz to the Department of Mathematics in partial fulfillment of the honors requirements for the degree of Bachelor
More information1 What is an elliptic curve?
A Whirlwind Tour of Elliptic Curves In this talk I aim to discuss as many interesting aspects of elliptic curves as possible. Note that interesting means (of course) what I, the speaker, think is interesting,
More informationElliptic curves and modularity
Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationMappings of elliptic curves
Mappings of elliptic curves Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Isogenies of Elliptic Curves
More information14 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 informationCongruence Subgroups
Congruence Subgroups Undergraduate Mathematics Society, Columbia University S. M.-C. 24 June 2015 Contents 1 First Properties 1 2 The Modular Group and Elliptic Curves 3 3 Modular Forms for Congruence
More informationCOMPLEX MULTIPLICATION: LECTURE 14
COMPLEX MULTIPLICATION: LECTURE 14 Proposition 0.1. Let K be any field. i) Two elliptic curves over K are isomorphic if and only if they have the same j-invariant. ii) For any j 0 K, there exists an elliptic
More informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationThe Arithmetic of Elliptic Curves
The Arithmetic of Elliptic Curves Sungkon Chang The Anne and Sigmund Hudson Mathematics and Computing Luncheon Colloquium Series OUTLINE Elliptic Curves as Diophantine Equations Group Laws and Mordell-Weil
More information20 The modular equation
18.783 Elliptic Curves Lecture #20 Spring 2017 04/26/2017 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More information20 The modular equation
18.783 Elliptic Curves Spring 2015 Lecture #20 04/23/2015 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationElliptic Curves. Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor Alan Candiotti) 10 Dec.
Elliptic Curves Akhil Mathew Department of Mathematics Drew University Math 155, Professor Alan Candiotti 10 Dec. 2008 Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
More informationElliptic Curves Spring 2015 Lecture #7 02/26/2015
18.783 Elliptic Curves Spring 2015 Lecture #7 02/26/2015 7 Endomorphism rings 7.1 The n-torsion subgroup E[n] Now that we know the degree of the multiplication-by-n map, we can determine the structure
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationEXERCISES 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 informationCounting points on elliptic curves: Hasse s theorem and recent developments
Counting points on elliptic curves: Hasse s theorem and recent developments Igor Tolkov June 3, 009 Abstract We introduce the the elliptic curve and the problem of counting the number of points on the
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
More informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationElliptic Curves and Their Torsion
Elliptic Curves and Their Torsion SIYAN DANIEL LI CONTENTS 1 Introduction 1 1.1 Acknowledgments....................................... 2 2 Elliptic Curves and Maps Between Them 2 2.1 The Group Operation......................................
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More information25 Modular forms and L-functions
18.783 Elliptic Curves Lecture #25 Spring 2017 05/15/2017 25 Modular forms and L-functions As we will prove in the next lecture, Fermat s Last Theorem is a corollary of the following theorem for elliptic
More informationElliptic Curves as Complex Tori
Elliptic Curves as Complex Tori Theo Coyne June 20, 207 Misc. Prerequisites For an elliptic curve E given by Y 2 Z = X 2 + axz 2 + bz 3, we define its j- invariant to be j(e = 728(4a3 4a 3 +27b. Two elliptic
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationElliptic Curves with 2-torsion contained in the 3-torsion field
Elliptic Curves with 2-torsion contained in the 3-torsion field Laura Paulina Jakobsson Advised by Dr. M. J. Bright Universiteit Leiden Universita degli studi di Padova ALGANT Master s Thesis - 21 June
More informationp-adic families of modular forms
April 3, 2009 Plan Background and Motivation Lecture 1 Background and Motivation Overconvergent p-adic modular forms The canonical subgroup and the U p operator Families of p-adic modular forms - Strategies
More informationThe 8 th International Conference on Science and Mathematical Education in Developing Countries
On Never Primitive points for Elliptic curves The 8 th International Conference on Science and Mathematical Education in Developing Countries University of Yangon Myanmar 4 th -6 th December 2015, Francesco
More informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationElliptic Curves Spring 2015 Lecture #23 05/05/2015
18.783 Elliptic Curves Spring 2015 Lecture #23 05/05/2015 23 Isogeny volcanoes We now want to shift our focus away from elliptic curves over C and consider elliptic curves E/k defined over any field k;
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationWhen 2 and 3 are invertible in A, L A is the scheme
8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are non-negative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves
More informationFORMAL 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 informationSPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC
SPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC KIM, SUNGJIN. Introduction Let E k (z) = 2 (c,d)= (cz + d) k be the Eisenstein series of weight k > 2. The j-function on the upper half plane is defined
More informationThe 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 informationElliptic Curves Spring 2019 Problem Set #7 Due: 04/08/2019
18.783 Elliptic Curves Spring 2019 Problem Set #7 Due: 04/08/2019 Description These problems are related to the material covered in Lectures 13-14. Instructions: Solve problem 1 and then solve one of Problems
More informationElliptic Curves and Elliptic Functions
Elliptic Curves and Elliptic Functions ARASH ISLAMI Professor: Dr. Chung Pang Mok McMaster University - Math 790 June 7, 01 Abstract Elliptic curves are algebraic curves of genus 1 which can be embedded
More informationCLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES
CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES FRANK GOUNELAS 1. Class Field Theory We ll begin by motivating some of the constructions of the CM (complex multiplication) theory for
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationExplicit Complex Multiplication
Explicit Complex Multiplication Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Explicit CM Eindhoven,
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationQuaternions 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 informationIntroduction to Modular Forms
Introduction to Modular Forms Lectures by Dipendra Prasad Written by Sagar Shrivastava School and Workshop on Modular Forms and Black Holes (January 5-14, 2017) National Institute of Science Education
More informationTHERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11
THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil
More informationTopics in Number Theory: Elliptic Curves
Topics in Number Theory: Elliptic Curves Yujo Chen April 29, 2016 C O N T E N T S 0.1 Motivation 3 0.2 Summary and Purpose 3 1 algebraic varieties 5 1.1 Affine Varieties 5 1.2 Projective Varieties 7 1.3
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationDip. Matem. & Fisica. Notations. Università Roma Tre. Fields of characteristics 0. 1 Z is the ring of integers. 2 Q is the field of rational numbers
On Never rimitive points for Elliptic curves Notations The 8 th International Conference on Science and Mathematical Education in Developing Countries Fields of characteristics 0 Z is the ring of integers
More informationClass invariants for quartic CM-fields
Number Theory Seminar Oxford 2 June 2011 Elliptic curves An elliptic curve E/k (char(k) 2) is a smooth projective curve y 2 = x 3 + ax 2 + bx + c. Q P E is a commutative algebraic group P Q Endomorphisms
More informationTHE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE
AJSE Mathematics Volume 1, Number 1, June 2009, Pages 97 106 THE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE BENEDICT H. GROSS Abstract. We survey the progress that has been made on the arithmetic of elliptic
More informationModular Forms, Elliptic Curves, and Modular Curves
1 Modular Forms, Elliptic Curves, and Modular Curves This chapter introduces three central objects of the book. Modular forms are functions on the complex upper half plane. A matrix group called the modular
More informationNumber Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011
Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011 January 27 Speaker: Moshe Adrian Number Theorist Perspective: Number theorists are interested in studying Γ Q = Gal(Q/Q). One way
More informationModular forms and the Hilbert class field
Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant
More informationTorsion subgroups of rational elliptic curves over the compositum of all cubic fields
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro
More informationSingular and Supersingular Moduli
Singular and Supersingular Moduli a senior honors thesis by Anthony Varilly Advised by Prof. Benedict H. Gross in partial fulfillment of the honors requirements for the degree of Bachelor of Arts in Mathematics
More informationApplications of Complex Multiplication of Elliptic Curves
Applications of Complex Multiplication of Elliptic Curves MASTER THESIS Candidate: Massimo CHENAL Supervisor: Prof. Jean-Marc COUVEIGNES UNIVERSITÀ DEGLI STUDI DI PADOVA UNIVERSITÉ BORDEAUX 1 Facoltà di
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationProjects 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 informationIgusa Class Polynomials
Genus 2 day, Intercity Number Theory Seminar Utrecht, April 18th 2008 Overview Igusa class polynomials are the genus 2 analogue of the classical Hilbert class polynomial. For each notion, I will 1. tell
More informationLARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE
LARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE EVERETT W. HOWE, FRANCK LEPRÉVOST, AND BJORN POONEN Abstract. We construct examples of families of curves of genus 2 or 3 over
More informationThe arithmetic of elliptic curves An update. Benedict H. Gross. In 1974, John Tate published The arithmetic of elliptic curves in
The arithmetic of elliptic curves An update Benedict H. Gross In 1974, John Tate published The arithmetic of elliptic curves in Inventiones. In this paper [Ta], he surveyed the work that had been done
More informationAlgebraic Geometry: Elliptic Curves and 2 Theorems
Algebraic Geometry: Elliptic Curves and 2 Theorems Chris Zhu Mentor: Chun Hong Lo MIT PRIMES December 7, 2018 Chris Zhu Elliptic Curves and 2 Theorems December 7, 2018 1 / 16 Rational Parametrization Plane
More informationWeil pairing. Algant: Regensburg and Leiden Elliptic curves and Weil conjectures seminar, Regensburg. Wednesday 22 nd June, 2016.
Weil pairing Jana Sotáková Algant: Regensburg and Leiden Elliptic curves and Weil conjectures seminar, Regensburg Wednesday 22 nd June, 2016 Abstract In this talk we are mainly invested in constructing
More informationHans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c
MATH 104C NUMBER THEORY: NOTES Hans Wenzl 1. DUPLICATION FORMULA AND POINTS OF ORDER THREE We recall a number of useful formulas. If P i = (x i, y i ) are the points of intersection of a line with the
More informationIntroduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 2018)
Introduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 208) Henrik Bachmann (Math. Building Room 457, henrik.bachmann@math.nagoya-u.ac.jp) Lecture notes
More informationA SUMMARY OF THE CM THEORY OF ELLIPTIC CURVES
A SUMMARY OF THE CM THEORY OF ELLIPTIC CURVES JAYCE GETZ 1. Introduction: a few modular forms We first fix some terminology from the classical theory of modular forms over Γ := SL 2 (Z). For k 4, let E
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationNumber Fields Generated by Torsion Points on Elliptic Curves
Number Fields Generated by Torsion Points on Elliptic Curves Kevin Liu under the direction of Chun Hong Lo Department of Mathematics Massachusetts Institute of Technology Research Science Institute July
More informationIdentifying supersingular elliptic curves
Identifying supersingular elliptic curves Andrew V. Sutherland Massachusetts Institute of Technology January 6, 2012 http://arxiv.org/abs/1107.1140 Andrew V. Sutherland (MIT) Identifying supersingular
More informationClassical modular group
Chapter 29 Classical modular group In this section, we introduce the classical modular group SL 2 (Z), examine the hyperbolic quotient in detail, and we discuss some arithmetic applications. 29. The fundamental
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationComputing modular polynomials in dimension 2 ECC 2015, Bordeaux
Computing modular polynomials in dimension 2 ECC 2015, Bordeaux Enea Milio 29/09/2015 Enea Milio Computing modular polynomials 29/09/2015 1 / 49 Computing modular polynomials 1 Dimension 1 : elliptic curves
More informationQuadratic points on modular curves
S. Alberts Quadratic points on modular curves Master thesis Supervisor: Dr. P.J. Bruin Date: November 24, 2017 Mathematisch Instituut, Universiteit Leiden Contents Introduction 3 1 Modular and hyperelliptic
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 informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationCounting points on elliptic curves over F q
Counting points on elliptic curves over F q Christiane Peters DIAMANT-Summer School on Elliptic and Hyperelliptic Curve Cryptography September 17, 2008 p.2 Motivation Given an elliptic curve E over a finite
More informationThe Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January
The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian
More informationCongruent Number Problem and Elliptic curves
Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using
More informationTHE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE
THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE ARNAB KUNDU Abstract. We first look at the fundamental group, and try to find a suitable definition that can be simulated for algebraic varieties. In the
More informationAn analogue of the Weierstrass ζ-function in characteristic p. José Felipe Voloch
An analogue of the Weierstrass ζ-function in characteristic p José Felipe Voloch To J.W.S. Cassels on the occasion of his 75th birthday. 0. Introduction Cassels, in [C], has noticed a remarkable analogy
More informationConstructing Class invariants
Constructing Class invariants Aristides Kontogeorgis Department of Mathematics University of Athens. Workshop Thales 1-3 July 2015 :Algebraic modeling of topological and computational structures and applications,
More informationELLIPTIC CURVES OVER FINITE FIELDS
Further ELLIPTIC CURVES OVER FINITE FIELDS FRANCESCO PAPPALARDI #4 - THE GROUP STRUCTURE SEPTEMBER 7 TH 2015 SEAMS School 2015 Number Theory and Applications in Cryptography and Coding Theory University
More informationThe Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013
The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.
More informationFERMAT S WORLD A TOUR OF. Outline. Ching-Li Chai. Philadelphia, March, Samples of numbers. 2 More samples in arithemetic. 3 Congruent numbers
Department of Mathematics University of Pennsylvania Philadelphia, March, 2016 Outline 1 2 3 4 5 6 7 8 9 Some familiar whole numbers 1. Examples of numbers 2, the only even prime number. 30, the largest
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 informationCOMPLEX MULTIPLICATION: LECTURE 13
COMPLEX MULTIPLICATION: LECTURE 13 Example 0.1. If we let C = P 1, then k(c) = k(t) = k(c (q) ) and the φ (t) = t q, thus the extension k(c)/φ (k(c)) is of the form k(t 1/q )/k(t) which as you may recall
More informationOn the Distribution of Traces of Frobenius of Rational Elliptic Curves
On the Distribution of Traces of Frobenius of Rational Elliptic Curves Brandon Tran, Minh-Tam Trinh, Phil Wertheimer 2012 Clemson University REU Report 15 August 2012 2 Contents 1 Introduction 5 1.1 Acknowledgments.........................
More informationA course in. Elliptic Curves. Taught by T.A. Fisher. Lent 2013
A course in Elliptic Curves Taught by T.A. Fisher Lent 2013 Last updated: July 10, 2013 1 Disclaimer These are my notes from Prof. Fisher s Part III course on elliptic curves, given at Cambridge University
More informationCurves, Cryptography, and Primes of the Form x 2 + y 2 D
Curves, Cryptography, and Primes of the Form x + y D Juliana V. Belding Abstract An ongoing challenge in cryptography is to find groups in which the discrete log problem hard, or computationally infeasible.
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 informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationThe group structure of rational points of elliptic curves over a finite field
The group structure of rational points of elliptic curves over a finite field 2015/09 ECC 2015, Bordeaux, France Damien Robert Équipe LFANT, Inria Bordeaux Sud-Ouest Institut de Mathématiques de Bordeaux
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More information