sporadic points on modular curves
play

Sporadic points on modular curves David Zureick-Brown (Emory - PowerPoint PPT Presentation

Sporadic points on modular curves David Zureick-Brown (Emory University) Anastassia Etropolski (Foursquare) Maarten Derickx (MIT) Jackson Morrow (Centre de Recherches Mathematiques, Berkeley) Mark van Hoeij (Florida State University) Slides


  1. Sporadic points on modular curves David Zureick-Brown (Emory University) Anastassia Etropolski (Foursquare) Maarten Derickx (MIT) Jackson Morrow (Centre de Recherches Mathematiques, Berkeley) Mark van Hoeij (Florida State University) Slides available at http://www.math.emory.edu/~dzb/slides/ Chicago Number Theory Day June 20, 2020 DZB (Emory University) Sporadic points on modular curves June 20, 2020 1 / 38

  2. Mazur’s Theorem Theorem (Mazur, 1978) Let E / Q be an elliptic curve. Then E ( Q ) tors is isomorphic to one of the following groups. Z / N Z , for 1 ≤ N ≤ 10 or N = 12 , Z / 2 Z ⊕ Z / 2 N Z , for 1 ≤ N ≤ 4 . Via geometry, let Y 1 ( N ) be the curve paramaterizing ( E , P ), where P is a point of exact order N on E , and let Y 1 ( M , N ) (with M | N ) be the curve paramaterizing E / K such that E ( K ) tors contains Z / M Z ⊕ Z / N Z . Then Y 1 ( N )( Q ) � = ∅ and Y 1 (2 , 2 N )( Q ) � = ∅ iff N are as above. DZB (Emory University) Sporadic points on modular curves June 20, 2020 2 / 38

  3. Modular curves via Tate normal form Example ( N = 9) E ( K ) ∼ = Z / 9 Z if and only if there exists t ∈ K such that E is isomorphic to y 2 + ( t − rt + 1) xy + ( rt − r 2 t ) y = x 3 + ( rt − r 2 t ) x 2 where r is t 2 − t + 1. The torsion point is (0 , 0). Example ( N = 11) E ( K ) ∼ = Z / 11 Z correspond to a , b ∈ K such that a 2 + ( b 2 + 1) a + b ; in which case E is isomorphic to y 2 + ( s − rs + 1) xy + ( rs − r 2 s ) y = x 3 + ( rs − r 2 s ) x 2 where r is ba + 1 and s is − b + 1. DZB (Emory University) Sporadic points on modular curves June 20, 2020 3 / 38

  4. Rational Points on X 1 ( N ) and X 1 (2 , 2 N ) Let X 1 ( N ) and X 1 ( M , N ) be the smooth compactifications of Y 1 ( N ) and Y 1 ( M , N ). We can restate the results of Mazur’s Theorem as follows. X 1 ( N ) and X 1 (2 , 2 N ) have genus 0 for exactly the N appearing in Mazur’s Theorem. (So in particular, there are infinitely many E / Q with such torsion structure.) If g ( X 1 ( N )) (resp. g ( X 1 (2 , 2 N ))) is greater than 0, then X 1 ( N )( Q ) (resp. X 1 (2 , 2 N )( Q )) consists only of cusps. So, in a sense, the simplest thing that could happen does happen for these modular curves. DZB (Emory University) Sporadic points on modular curves June 20, 2020 4 / 38

  5. Higher Degree Torsion Points Theorem (Merel, 1996) For every integer d ≥ 1 , there is a constant N ( d ) such that for all K / Q of degree at most d and all E / K, # E ( K ) tors ≤ N ( d ) . Expository reference: Darmon, Rebellodo (Clay summer school, 2006) Problem Fix d ≥ 1 . Classify all groups which can occur as E ( K ) tors for K / Q of degree d. Which of these occur infinitely often? DZB (Emory University) Sporadic points on modular curves June 20, 2020 5 / 38

  6. Quadratic Torsion Theorem (Kamienny–Kenku–Momose, 1980’s) Let E be an elliptic curve over a quadratic number field K. Then E ( K ) tors is one of the following groups. Z / N Z , for 1 ≤ N ≤ 16 or N = 18 , Z / 2 Z ⊕ Z / 2 N Z , for 1 ≤ N ≤ 6 , Z / 3 Z ⊕ Z / 3 N Z , for 1 ≤ N ≤ 2 , or Z / 4 Z ⊕ Z / 4 Z . In particular, the corresponding curves X 1 ( M , N ) all have g ≤ 2, which guarantees that they have infinitely many quadratic points. DZB (Emory University) Sporadic points on modular curves June 20, 2020 6 / 38

  7. Sporadic Points Let X / Q be a curve and let P ∈ Q . The degree of P is [ Q ( P ) : Q ]. The set of degree d points of X is infinite if X admits a degree d map X → P 1 ; X admits a degree d map X → E , where rank E ( Q ) > 0; or Jac X contains a positive rank abelian subvariety such that. . . Most Q points arise in the fashion. We call outliers isolated When X is a modular curve, cusps and CM points give rise to many isolated points; we call an isolated point sporadic if it is not cuspidal or CM. See Bianca Viray’s CNTA talk, linked here. DZB (Emory University) Sporadic points on modular curves June 20, 2020 7 / 38

  8. Cubic Torsion Theorem (Jeon–Kim–Schweizer, 2004) Let E be an elliptic curve over a cubic number field K. Then the subgroups which arise as E ( K ) tors infinitely often are exactly the following. Z / N Z , for 1 ≤ N ≤ 20 , N � = 17 , 19 , or Z / 2 Z ⊕ Z / 2 N Z , for 1 ≤ N ≤ 7 . DZB (Emory University) Sporadic points on modular curves June 20, 2020 8 / 38

  9. Minimalist conjecture Conjecture A modular curve X admits a non cuspidal, non CM point of degree d if and only if X admits a degree d map X → P 1 ; ot X admits a degree d map X → E , where rank E ( Q ) > 0; or Jac X contains a positive rank abelian subvariety such that. . . DZB (Emory University) Sporadic points on modular curves June 20, 2020 9 / 38

  10. Minimalist conjecture Conjecture A modular curve X admits a non cuspidal, non CM point of degree d if and only if X admits a degree d map X → P 1 ; ot X admits a degree d map X → E , where rank E ( Q ) > 0; or Jac X contains a positive rank abelian subvariety such that. . . DZB (Emory University) Sporadic points on modular curves June 20, 2020 9 / 38

  11. Cubic Torsion Theorem (Jeon–Kim–Schweizer, 2004) Let E be an elliptic curve over a cubic number field K. Then the subgroups which arise as E ( K ) tors infinitely often are exactly the following. Z / N Z , for 1 ≤ N ≤ 20 , N � = 17 , 19 , or Z / 2 Z ⊕ Z / 2 N Z , for 1 ≤ N ≤ 7 . Theorem (Najman, 2014) The elliptic curve 162b1 has a 21-torsion point over Q ( ζ 9 ) + . Remark Parent showed that the largest prime that can divide E ( K ) tors in the cubic case is p = 13. DZB (Emory University) Sporadic points on modular curves June 20, 2020 10 / 38

  12. Classification of Cubic Torsion Theorem (Etropolski–Morrow–ZB–Derickx–van Hoeij) The only torsion subgroups which appear for an elliptic curve over a cubic field are Z / N Z , for 1 ≤ N ≤ 21 , N � = 17 , 19 , and Z / 2 Z ⊕ Z / 2 N Z , for 1 ≤ N ≤ 7 . The only sporadic point is the elliptic curve 162b1 over Q ( ζ 9 ) + . DZB (Emory University) Sporadic points on modular curves June 20, 2020 11 / 38

  13. Modular curves Definition X ( N )( K ) := { ( E / K , P , Q ) : E [ N ] = � P , Q �} ∪ { cusps } X ( N )( K ) ∋ ( E / K , P , Q ) ⇔ ρ E , N ( G K ) = { I } Definition Γ( N ) ⊂ H ⊂ GL 2 ( � Z ) (finite index) X H := X ( N ) / H X H ( K ) ∋ ( E / K , ι ) ⇔ H ( N ) ⊂ H mod N Stacky disclaimer This is only true up to twist; there are some subtleties if 1 j ( E ) ∈ { 0 , 12 3 } (plus some minor group theoretic conditions), or 2 if − I ∈ H . DZB (Emory University) Sporadic points on modular curves June 20, 2020 12 / 38

  14. Example - torsion on an elliptic curve If E has a K -rational torsion point P ∈ E ( K )[ n ] (of exact order n ) then:    1 ∗   H ( n ) ⊂  0 ∗ since for σ ∈ G K and Q ∈ E ( K )[ n ] such that E ( K )[ n ] ∼ = � P , Q � , σ ( P ) = P σ ( Q ) = a σ P + b σ Q DZB (Emory University) Sporadic points on modular curves June 20, 2020 13 / 38

  15. Example - Isogenies If E has a K -rational, cyclic isogeny φ : E → E ′ with ker φ = � P � then:    ∗ ∗   H ( n ) ⊂  0 ∗ since for σ ∈ G K and Q ∈ E ( K )[ n ] such that E ( K )[ n ] ∼ = � P , Q � , σ ( P ) = a σ P σ ( Q ) = b σ P + c σ Q DZB (Emory University) Sporadic points on modular curves June 20, 2020 14 / 38

  16. Example - other maximal subgroups Normalizer of a split Cartan: N sp = <  >      ∗ 0 0 1      ,  0 ∗ − 1 0 H ( n ) ⊂ N sp and H ( n ) �⊂ C sp iff there exists an unordered pair { φ 1 , φ 2 } of cyclic isogenies, whose kernels intersect trivially, neither of which is defined over K , but which are both defined over some quadratic extension of K , and which are Galois conjugate. DZB (Emory University) Sporadic points on modular curves June 20, 2020 15 / 38

  17. Example - other maximal subgroups Normalizer of a non-split Cartan: � � C ns = im F ∗ p 2 → GL 2 ( F p ) ⊂ N ns H ( n ) ⊂ N ns and H ( n ) �⊂ C ns iff E admits a “necklace” (Rebolledo, Wuthrich) DZB (Emory University) Sporadic points on modular curves June 20, 2020 16 / 38

  18. � � � � � � � � A typical subgroup (from Rouse–ZB) “Jenga” ker φ 4 ⊂ H (32) ⊂ GL 2 ( Z / 32 Z ) dim F 2 ker φ 4 = 4 φ 4 ker φ 3 ⊂ H (16) ⊂ GL 2 ( Z / 16 Z ) dim F 2 ker φ 3 = 3 φ 3 ker φ 2 ⊂ H (8) ⊂ GL 2 ( Z / 8 Z ) dim F 2 ker φ 2 = 2 φ 2 ker φ 1 ⊂ H (4) ⊂ GL 2 ( Z / 4 Z ) dim F 2 ker φ 1 = 3 φ 1 = H (2) GL 2 ( Z / 2 Z ) ker φ i ⊂ I + ℓ i M 2 ( F ℓ ) ∼ = F 4 ℓ DZB (Emory University) Sporadic points on modular curves June 20, 2020 17 / 38

  19. � � � � Non-abelian entanglements (from Brau–Jones) There exists a surjection θ : GL 2 ( Z / 3 Z ) → GL 2 ( Z / 2 Z ). H (6) := Γ θ ⊂ GL 2 ( Z / 6 Z ) � � GL 2 ( Z / 2 Z ) GL 2 ( Z / 3 Z ) im ρ E , 6 ⊂ H (6) ⇔ j ( E ) = 2 10 3 3 t 3 (1 − 4 t 3 ) ⇒ K ( E [2]) ⊂ K ( E [3]) j X H ∼ = P 1 − → X (1) DZB (Emory University) Sporadic points on modular curves June 20, 2020 18 / 38

Recommend


More recommend