Elliptic Curves with Complex Multiplication

Elliptic Curves with Complex Multiplication

Elliptic Curves with Complex Multiplication Drew Moore Discussed with Professor Emerton 1 Definition and Examples Definition 1. We say that an elliptic curve E over a field L has complex multiplication by the imaginary quadratic field K if there is an order R of K and an inclusion [ · ]: R,! End(E) α 7! [α] [ · ] is normalized if there is a map R ! L such that [α]∗! = α!, where ! is an invariant differential for E (and α 2 R has been identified with its image in L). If L ⊃ K, this can always be done. Remark (1). We also say that E has CM by the order R and that E 2 Ell=L(R). For the rest of this document, I will for simplicity assume R = OK is the maximal order of K. Remark (2). If L ⊂ C and End(E) )Z, then E has CM by some quadratic imaginary field. Indeed, the degree function on End(E) ensures that End(E) ⊗ Q is a quadratic imaginary field or Q. 2 3 Example 1. E=Q with Weirstrass equation y = x + ax has complex multiplication by 2 Z[i]. i corresponds to the map (x; y) 7! (−x; iy). This works, because [i] (x; y) = (x; −y) = ∗ dx −dx dx [−1](x; y), and [i] y = iy = i y . p Example 2. If j 2 Q( 5) is one of two solutions to the set of equations 2 3 5 2 (j5 + 250j5 + 3125) − j5 j = 0 j5 = 125 p and if j(E) = j, then E has CM by Z[ −5]. Indeed, the first equation gives the function p3 field of X0(5), where j5(τ) = ∆(5pτ)=∆(τ) is a uniformizer for X0(5). The second equation expresses the fact thatp the dual of [ −5] is itself, up to ±1. Specifically, the point on X0(5) corresponding to (E; [ −5]) is fixed by the Atkin-Lehner involution. Example 3. If Λ = f is a fractional ideal of R, then C=Λ is (the complex analytic space of C-points of) an elliptic curve over C with complex multiplication by R. (This follows since αf ⊂ f for all α 2 R). Later we will see that this elliptic curve can be defined over a number field, and that every elliptic curve in Ell=C(R) is of this form. 1 2 The action of the class group ClK on Ell=L(R) 2.1 Serre’s Construction Example 3 leads us to define the action ¯ −1 ClK Ell=C(R) f ∗ (C=Λ) = C=(f · Λ) for f 2 IK If two fractional ideals differ by a principal ideal, then as lattices they are homothetic; this shows that the action is well-defined. We would like to replace C by any field L. To do so, −1 note that as R-modules, we have that C=(f · Λ) is isomorphic to −1 ∼ f ⊗R (C=Λ) = HomR(f; C=Λ) So we aim to define an elliptic curve ¯f ∗ E with CM by R such that ¯f ∗ E = HomR(f;E). By this, we mean that for A any L-algebra, we have a natural isomorphism of R-modules ∼ (¯f ∗ E)(A) = HomR(f;E(A)) (1) Proposition 1 ([1]). If E 2 Ell=L(R) is normalized respect to some map L ! R, the functor L-Alg ! R-Mod A 7! HomR(f;E(A)) ¯ is representable by an elliptic curve f ∗ E 2 Ell=L(R), so that equation (1) holds. This gives a well-defined action of ClK on Ell=L(R). Proposition 2. If L ⊂ C is algebraically closed (for example L = C), then the action of ClK on Ell=L(R) is simply transitive. Proposition 3. For m an integral ideal of R, there exists an isogeny (unique up to auto- morphisms of E) E ! m¯ ∗ E such that if E[m] is the kernel, the points of E[m] are the m-torsion points of E. Further, if char L = 0, the L¯-points of E[m] form a free rank 1 (R=m)-module. Since m¯ ∗ E = HomR(m;E), we may define the map ' on A-points P as ': P 7! α 7! [α]P 2 HomR(m;E(A)) Remarks. 1. While m¯ ∗ E only depends on the class of m in ClK , the map E ! m¯ ∗ E does depend on the representative ideal m. For example, for π 2 R not a unit, (π) = (1), but the corresponding isogenies are [π] 6= id. ∼ −1 2. When L = C and E(C) = C=Λ, this is just the natural map C=Λ ! C=m Λ. 3. If n is another integral ideal, then the map E ! m¯ n¯ ∗ E can be factored as E ! n¯ ∗ E ! m¯ ∗ n¯ ∗ E =∼ m¯ n¯ ∗ E. 2 2.2 Rationality of j(E) and of End(E) Though so far the only large family of elliptic curves with CM we have seen have been defined over C, the action of ClK on Ell=C(R) readily gives arithmetic/rationality information about such elliptic curves. Indeed, using this action, we get the following results: Proposition 4. Suppose E 2 Ell=C(R). Then [Q(j(E)) : Q] ≤ hK the class number of K, so that j(E) 2 Q¯ . Corollary. The map Ell (R) ! Ell (R) is an equivalence. That is, every E= with CM =Q¯ =C C by R can be defined over a number field L. Remark. So from now on in the characteristic 0 case, we will consider elliptic curves over a number field L containing K. Proposition 5. Suppose that E 2 End=L(R), with K ⊂ L ⊂ C. Then every endomorphism of E is defined over L. 3 The Tate Module and Reduction of CM Elliptic Curves 3.1 Preliminaries on the Tate Module So that we may consider properties of good reduction, we consider E 2 Ell=L(R), where char L may be nonzero. Let ` be a prime number different from char L. Set T = lim E[`n] and V = ⊗ T . ` −n ` Q` Z` ` We view T` as a Z`-sublattice of the 2-dimensional Q` vector space V`. Additionally, define R` = Z`⊗R and K` = Q`⊗QK. Then V` (resp. T`) is a K`-module (resp. R`-module). Proposition 6. T` is free and rank one over R`. Additionally, for α 2 K`, αT` ⊂ T` if and only if α 2 R`. Corollary 1. Let ρ` be the representation sep ρ` : Gal(L =L) ! Aut(T`) × Then the image of ρ` is contained in R` ⊂ Aut(T`E). 3.2 Reduction of CM Elliptic Curves For this section, let E 2 Ell=L(R), with L ⊃ K a number field. Let µ be the roots of unity in K. (In particular, unless j = 0 or 1728, µ = {±1g.) The following proposition shows 3 that the reduction Ee of a CM elliptic curve E has CM, compatible with that on E. Fix a prime P of L. Proposition 7. Suppose E has good reduction at P, and let Ee denote the E mod P. a) Reduction of endomorphisms End(E) ,! End(Ee), 7! e, is well defined, preserves degrees, and gives Ee complex multiplication by R. b) The image End(^E) of this map is its own commutant inside End(Ee). c) The map Ee ! m ∗ Ee, for m ⊂ R integral, is the reduction of the map E ! m ∗ E. d) Let q be a prime of K. Then Ee ! q ∗ Ee is inseparable if and only if P j q. Theorem 1 ([2, Theorem 6]). a) E has potential good reduction at P. In particular j(E) is integral. b) If nP is the exponent conductor at P of ρ` as an abelian character, then the exponent conductor at P of E is 2nP. Example 4. If we consider the example y2 = x3 − x, we can determine the conductor of 6 E=Q(i) explicitly using the Grossencharacter (which we define next section) to be (1 + i) . Thus, there exists a subextension of the field generated by the 3-torsion of E over which E has good reduction at every place. Specifically, we look at the µ4-fixed part of Q(i)(E[3]). Accordingly,p some calculation shows that E has everywhere good reduction over the field Q(i; 3). 4 The Grössencharacter 4.1 In terms of ideals Continue with the notation of subsection 3.2. Suppose P lies above the prime p of K. Let φP = φq 2 End(Ee) denote the q-th power endomorphism of Ee (where q is a power of ab p), and let σP 2 GL be Frobenius. (These act on the Fq-points of Ee identically.) Proposition 8. There is a unique α = αP 2 R such that [α] E E L (α) = NK (P) and commutes. φq Ee Ee Proof. First note: for every β 2 R, [β] is defined over L by Proposition 5. In particular, 4 [fβ] is defined over Fq. In terms of Frobenius, this means that σP σP [fβ](P ) = [fβ](P ) 8P 2 Ee Fq [fβ] ◦ φP = φP ◦ [fβ] Thus, φP commutes with the image of End(E) under the reduction map. Thus by part b of Proposition 7, we have that φq = [fα] for some unique α 2 R. Because reduction is compatible with degrees, we see that L L P jNQ (α)j = q = NQ ( ) This norm computation shows that the prime factorization of α in K only contains primes above p - either p or its conjugate p0. If we show that only p divides α, we can conclude L NK (P) = (α).

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    7 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us