Advertisement
Guest User

Untitled

a guest
Sep 21st, 2017
63
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.22 KB | None | 0 0
  1. Some comments, especially on the Sage code you sent me a link to.
  2.  
  3. 1. Sage's long-existing E.isogenies_prime(degree(ell) works fine for
  4. ell=2,3,5,7,13 over any number field, so you should be using that for
  5. those ell.
  6.  
  7. 2. The division-polynomial code you have is wrong, and will miss some
  8. isogenies. You want a factor of the div. poly. of degree (l-1)/2, but
  9. it does not have to be an irreducible factor, and not every
  10. irreducible factor of that degree will be valid. (For example, when
  11. ell=5 it is possible that the two x-coordinates in the subgroup are
  12. both in your field, so you'll have two degree-1 factors and not one
  13. degree-2). I explained how to deal with this in my talk at MSRI a
  14. year ago. I suggest that your students look at that talk, and I will
  15. send you Kimi's code which takes the factors of the division poly and
  16. does the right thing with them.
  17.  
  18. 3. Kimi is about to go away for 3 weeks, but he has just given me his
  19. code for ell=11, which will also work for ell=17 and 19 at least,
  20. though possibly not for curves with j=0 and j=1728. (However it is a
  21. fact that there are no 11-isogenies when j=0 or j=1728 over a
  22. quadratric field anyway). I will check those out and send them to you
  23. right away.
  24.  
  25. John
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement