Skip to main content
×
×
Home

The Mordell–Weil sieve: proving non-existence of rational points on curves

  • Nils Bruin (a1) and Michael Stoll (a2)
Abstract

We discuss the Mordell–Weil sieve as a general technique for proving results concerning rational points on a given curve. In the special case of curves of genus 2, we describe quite explicitly how the relevant local information can be obtained if one does not want to restrict to mod p information at primes of good reduction. We describe our implementation of the Mordell–Weil sieve algorithm and discuss its efficiency.

Supplementary materials are available with this article.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      The Mordell–Weil sieve: proving non-existence of rational points on curves
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      The Mordell–Weil sieve: proving non-existence of rational points on curves
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      The Mordell–Weil sieve: proving non-existence of rational points on curves
      Available formats
      ×
Copyright
References
Hide All
[1] Baker, A. and Wüstholz, G., Logarithmic forms and Diophantine geometry, New Mathematical Monographs 9 (Cambridge University Press, Cambridge, 2007).
[2] Bosma, W., Cannon, J. and Playoust, C., ‘The Magma algebra system I: The user language’, J. Symb. Comp. 24 (1997) 235265. Also see the MAGMA home page at http://magma.maths.usyd.edu.au/magma/.
[3] Bruin, N., ‘The arithmetic of Prym varieties in genus 3’, Compositio Math. 144 (2008) 317338.
[4] Bruin, N. and Elkies, N. D., ‘Trinomials ax 7+bx+c and ax 8+bx+c with Galois groups of order 168 and 8*168’, Algorithmic number theory: 5th international symposium, ANTS-V (Sydney, Australia, July 2002) proceedings, Lecture Notes in Computer Science 2369 (eds Fieker, Claus and Kohel, David R.; Springer, Berlin, 2002) 172188.
[5] Bruin, N. and Stoll, M., ‘Deciding existence of rational points on curves: an experiment’, Experiment. Math. 17 (2008) 181189.
[6] Bruin, N. and Stoll, M., ‘2-cover descent on hyperelliptic curves’, Math. Comp. 78 (2009) 23472370.
[7] Bruin, N. and Stoll, M., ‘MWSieve-new.m’, MAGMA code for Mordell–Weil sieve computation, 2009, electronic appendix to ‘The Mordell–Weil sieve: proving non-existence of rational points on curves’, LMS J. Comput. Math. 13 (2010) 272–306, doi: 10.1112/S1461157009000187.
[8] Bugeaud, Y., Mignotte, M., Siksek, S., Stoll, M. and Tengely, Sz., ‘Integral points on hyperelliptic curves’, Algebra Number Theory 2 (2008) 859885.
[9] Cantor, D. G., ‘Computing in the Jacobian of a hyperelliptic curve’, Math. Comp. 48 (1987) 95101.
[10] Cassels, J. W. S. and Flynn, E. V., Prolegomena to a middlebrow arithmetic of curves of genus 2 (Cambridge University Press, Cambridge, 1996).
[11] Chabauty, C., ‘Sur les points rationnels des courbes algébriques de genre supérieur à l’unité’, C. R. Acad. Sci. Paris 212 (1941) 882885 (in French).
[12] Coleman, R. F., ‘Effectve Chabauty’, Duke Math. J. 52 (1985) 765770.
[13] Flynn, E. V., ‘A flexible method for applying Chabauty’s theorem’, Compositio Math. 105 (1997) 7994.
[14] Flynn, E. V., ‘The Hasse principle and the Brauer–Manin obstruction for curves’, Manuscripta Math. 115 (2004) 437466.
[15] Flynn, E. V., FTP site with formulas relating to genus 2 curves, http://people.maths.ox.ac.uk/∼flynn/genus2/.
[16] Flynn, E. V. and Smart, N. P., ‘Canonical heights on the Jacobians of curves of genus 2 and the infinite descent’, Acta Arith. 79 (1997) 333352.
[17] Hartshorne, R., Algebraic geometry, Graduate Texts in Mathematics 52 (Springer, New York, 1977).
[18] McCallum, W. and Poonen, B., The method of Chabauty and Coleman, Preprint, 2007, http://www-math.mit.edu/∼poonen/papers/chabauty.pdf. Proceedings of the 2004 IHP Trimestre on Explicit Methods in Number Theory, in the ‘Panorama & Syntheses’ series of the SMF, to appear.
[19] Murty, V. K. and Scherk, J., ‘Effective versions of the Chebotarev density theorem for function fields’, C. R. Acad. Sci. Paris Sér. I Math. 319 (1994) 523528.
[20] Pohlig, G. C. and Hellman, M. E., ‘An improved algorithm for computing logarithms over GF(p) and its cryptographic significance’, IEEE Trans. Inform. Theory IT-24 (1978) 106110.
[21] Poonen, B., ‘Heuristics for the Brauer–Manin obstruction for curves’, Experiment. Math. 15 (2006) 415420.
[22] Poonen, B., Schaefer, E. F. and Stoll, M., ‘Twists of X(7) and primitive solutions to x 2+y 3=z 7’, Duke Math. J. 137 (2007) 103158.
[23] Scharaschkin, V., ‘Local-global problems and the Brauer–Manin obstruction’, PhD Thesis, University of Michigan, 1999.
[24] Shafarevich (ed.), I. R., Algebraic geometry I, Encyclopaedia of Mathematical Sciences 23 (Springer, Berlin, 1994).
[25] Stoll, M., ‘On the height constant for curves of genus two’, Acta Arith. 90 (1999) 183201.
[26] Stoll, M., ‘Implementing 2-descent on Jacobians of hyperelliptic curves’, Acta Arith. 98 (2001) 245277.
[27] Stoll, M., ‘On the height constant for curves of genus two, II’, Acta Arith. 104 (2002) 165182.
[28] Stoll, M., ‘Independence of rational points on twists of a given curve’, Compositio Math. 142 (2006) 12011214.
[29] Stoll, M., ‘Finite descent obstructions and rational points on curves’, Algebra Number Theory 1 (2007) 349391.
[30] Stoll, M., ‘Applications of the Mordell–Weil sieve’, Oberwolfach Rep. 4 (2007) 19671970.
[31] Stoll, M., ‘How to obtain global information from computations over finite fields’, Higher-dimensional geometry over finite fields, NATO Science for Peace and Security Series: Information and Communication Security 16 (eds Kaledin, D. and Tschinkel, Y.; IOS Press, Amsterdam, 2008) 189196.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

LMS Journal of Computation and Mathematics
  • ISSN: -
  • EISSN: 1461-1570
  • URL: /core/journals/lms-journal-of-computation-and-mathematics
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×
MathJax

MSC classification

Type Description Title
UNKNOWN
Supplementary materials

Bruin Supplementary Material
Supplementary material.zip

 Unknown (31 KB)
31 KB

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed