Explicit isogeny descent on elliptic curves
HTML articles powered by AMS MathViewer
- by Robert L. Miller and Michael Stoll PDF
- Math. Comp. 82 (2013), 513-529 Request permission
Abstract:
In this note, we consider an $\ell$-isogeny descent on a pair of elliptic curves over $\mathbb {Q}$. We assume that $\ell > 3$ is a prime. The main result expresses the relevant Selmer groups as kernels of simple explicit maps between finite-dimensional $\mathbb {F}_\ell$-vector spaces defined in terms of the splitting fields of the kernels of the two isogenies. We give examples of proving the $\ell$-part of the Birch and Swinnerton-Dyer conjectural formula for certain curves of small conductor.References
- Cheryl DeLorme Beaver, 5-torsion in the Shafarevich-Tate group of a family of elliptic curves, J. Number Theory 82 (2000), no. 1, 25–46. MR 1755152, DOI 10.1006/jnth.1999.2493
- Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor, On the modularity of elliptic curves over $\mathbf Q$: wild 3-adic exercises, J. Amer. Math. Soc. 14 (2001), no. 4, 843–939. MR 1839918, DOI 10.1090/S0894-0347-01-00370-8
- J. Buhler, R. Crandall, R. Ernvall, and T. Metsänkylä, Irregular primes and cyclotomic invariants to four million, Math. Comp. 61 (1993), no. 203, 151–153. MR 1197511, DOI 10.1090/S0025-5718-1993-1197511-5
- J. W. S. Cassels, Arithmetic on curves of genus $1$. I. On a conjecture of Selmer, J. Reine Angew. Math. 202 (1959), 52–99. MR 109136, DOI 10.1515/crll.1959.202.52
- J. W. S. Cassels, Arithmetic on curves of genus 1. VIII. On conjectures of Birch and Swinnerton-Dyer, J. Reine Angew. Math. 217 (1965), 180–199. MR 179169, DOI 10.1515/crll.1965.217.180
- J. E. Cremona, Algorithms for modular elliptic curves, 2nd ed., Cambridge University Press, Cambridge, 1997. MR 1628193
- J.E. Cremona: Elliptic curves database, available online at http://www.warwick.ac.uk/staff/J.E.Cremona/ftp/data/INDEX.html
- J.E. Cremona: Online notes, available as item 26 at http://www.warwick.ac.uk/staff/J.E.Cremona/papers
- J. E. Cremona, T. A. Fisher, C. O’Neil, D. Simon, and M. Stoll, Explicit $n$-descent on elliptic curves. I. Algebra, J. Reine Angew. Math. 615 (2008), 121–155. MR 2384334, DOI 10.1515/CRELLE.2008.012
- B. Creutz, R.L. Miller: Second isogeny descents and the Birch and Swinnerton-Dyer conjectural formula, preprint (2011), arXiv:1105.4018v1 [math.NT].
- Matt DeLong, A formula for the Selmer group of a rational three-isogeny, Acta Arith. 105 (2002), no. 2, 119–131. MR 1932762, DOI 10.4064/aa105-2-2
- Tim Dokchitser and Vladimir Dokchitser, On the Birch-Swinnerton-Dyer quotients modulo squares, Ann. of Math. (2) 172 (2010), no. 1, 567–596. MR 2680426, DOI 10.4007/annals.2010.172.567
- Tim Dokchitser and Vladimir Dokchitser, Parity of ranks for elliptic curves with a cyclic isogeny, J. Number Theory 128 (2008), no. 3, 662–679. MR 2389862, DOI 10.1016/j.jnt.2007.02.008
- Noam D. Elkies and Nicholas F. Rogers, Elliptic curves $x^3+y^3=k$ of high rank, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 3076, Springer, Berlin, 2004, pp. 184–193. MR 2137353, DOI 10.1007/978-3-540-24847-7_{1}3
- T.A. Fisher: On $5$ and $7$ descents for elliptic curves, Ph.D. thesis, University of Cambridge (2000).
- Tom Fisher, Some examples of 5 and 7 descent for elliptic curves over $\bf Q$, J. Eur. Math. Soc. (JEMS) 3 (2001), no. 2, 169–201. MR 1831874, DOI 10.1007/s100970100030
- E. V. Flynn and C. Grattoni, Descent via isogeny on elliptic curves with large rational torsion subgroups, J. Symbolic Comput. 43 (2008), no. 4, 293–303. MR 2402033, DOI 10.1016/j.jsc.2007.11.001
- E.V. Flynn, C. Grattoni: PARI programs, available at http://people.maths.ox.ac.uk/flynn/genus2/flynngrattoni/.
- Gerhard Frey, Der Rang der Lösungen von $Y^{2}=X^{3}\pm p^{3}$ über $\textbf {Q}$, Manuscripta Math. 48 (1984), no. 1-3, 71–101 (German). MR 753725, DOI 10.1007/BF01169002
- V. A. Kolyvagin, Finiteness of $E(\textbf {Q})$ and SH$(E,\textbf {Q})$ for a subclass of Weil curves, Izv. Akad. Nauk SSSR Ser. Mat. 52 (1988), no. 3, 522–540, 670–671 (Russian); English transl., Math. USSR-Izv. 32 (1989), no. 3, 523–541. MR 954295, DOI 10.1070/IM1989v032n03ABEH000779
- B. Mazur, Rational isogenies of prime degree (with an appendix by D. Goldfeld), Invent. Math. 44 (1978), no. 2, 129–162. MR 482230, DOI 10.1007/BF01390348
- Robert L. Miller, Proving the Birch and Swinnerton-Dyer conjecture for specific elliptic curves of analytic rank zero and one, LMS J. Comput. Math. 14 (2011), 327–350. MR 2861691, DOI 10.1112/S1461157011000180
- J. S. Milne, Arithmetic duality theorems, Perspectives in Mathematics, vol. 1, Academic Press, Inc., Boston, MA, 1986. MR 881804
- L.J. Mordell: On the rational solutions of the indeterminate equations of the 3rd and 4th degrees, Proc. Camb. Phil. Soc. 21 (1922), 179–192.
- J. Nekovář: Class number of quadratic fields and Shimura’s correspondence, Math. Ann. 287 (1990), 577–594.
- J. Neukirch: Algebraische Zahlentheorie, Springer-Verlag, Berlin Heidelberg, 1994.
- Jordi Quer, Corps quadratiques de $3$-rang $6$ et courbes elliptiques de rang $12$, C. R. Acad. Sci. Paris Sér. I Math. 305 (1987), no. 6, 215–218 (French, with English summary). MR 907945
- Philippe Satgé, Groupes de Selmer et corps cubiques, J. Number Theory 23 (1986), no. 3, 294–317 (French). MR 846960, DOI 10.1016/0022-314X(86)90075-2
- Edward F. Schaefer, Class groups and Selmer groups, J. Number Theory 56 (1996), no. 1, 79–114. MR 1370197, DOI 10.1006/jnth.1996.0006
- Edward F. Schaefer, Computing a Selmer group of a Jacobian using functions on the curve, Math. Ann. 310 (1998), no. 3, 447–471. MR 1612262, DOI 10.1007/s002080050156
- Edward F. Schaefer and Michael Stoll, How to do a $p$-descent on an elliptic curve, Trans. Amer. Math. Soc. 356 (2004), no. 3, 1209–1231. MR 2021618, DOI 10.1090/S0002-9947-03-03366-X
- Ernst S. Selmer, The Diophantine equation $ax^3+by^3+cz^3=0$, Acta Math. 85 (1951), 203–362 (1 plate). MR 41871, DOI 10.1007/BF02395746
- Ernst S. Selmer, The diophantine equation $ax^3+by^3+cz^3=0.$ Completion of the tables, Acta Math. 92 (1954), 191–197. MR 67131, DOI 10.1007/BF02392703
- Joseph H. Silverman, The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1986. MR 817210, DOI 10.1007/978-1-4757-1920-8
- Joseph H. Silverman, Advanced topics in the arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 151, Springer-Verlag, New York, 1994. MR 1312368, DOI 10.1007/978-1-4612-0851-8
- Jaap Top, Descent by $3$-isogeny and $3$-rank of quadratic fields, Advances in number theory (Kingston, ON, 1991) Oxford Sci. Publ., Oxford Univ. Press, New York, 1993, pp. 303–317. MR 1368429
- Jacques Vélu, Isogénies entre courbes elliptiques, C. R. Acad. Sci. Paris Sér. A-B 273 (1971), A238–A241 (French). MR 294345
- Andrew Wiles, Modular elliptic curves and Fermat’s last theorem, Ann. of Math. (2) 141 (1995), no. 3, 443–551. MR 1333035, DOI 10.2307/2118559
- J. Woo: Arithmetic of elliptic curves and surfaces: descents and quadratic sections, Ph.D. thesis, Harvard University (2010).
Additional Information
- Robert L. Miller
- Affiliation: Warwick Mathematics Institute, Zeeman Building, University of Warwick, Coventry CV4 7AL, United Kingdom – and – The Mathematical Sciences Research Institute, 17 Gauss Way, Berkeley, California 94720-5070
- Address at time of publication: Quid, Inc., 733 Front Street, C1A, San Francisco, California 94111
- Email: rmiller@quid.com
- Michael Stoll
- Affiliation: Mathematisches Institut, Universität Bayreuth, 95440 Bayreuth, Germany
- Email: Michael.Stoll@uni-bayreuth.de
- Received by editor(s): January 23, 2011
- Received by editor(s) in revised form: August 2, 2011
- Published electronically: June 11, 2012
- © Copyright 2012
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Math. Comp. 82 (2013), 513-529
- MSC (2010): Primary 11G05; Secondary 14G05, 14G25, 14H52
- DOI: https://doi.org/10.1090/S0025-5718-2012-02619-6
- MathSciNet review: 2983034