Skip to main content Accessibility help
×
Home
Hostname: page-component-59b7f5684b-frvt8 Total loading time: 0.642 Render date: 2022-10-02T23:29:49.344Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "useRatesEcommerce": false, "displayNetworkTab": true, "displayNetworkMapGraph": false, "useSa": true } hasContentIssue true

The generalized Fermat equation with exponents 2, 3, $n$

Published online by Cambridge University Press:  26 November 2019

Nuno Freitas
Affiliation:
Departament de Matemàtiques i Informàtica, Universitat de Barcelona (UB), Gran Via de les Corts Catalanes 585, 08007 Barcelona, Spain email nunobfreitas@gmail.com
Bartosz Naskręcki
Affiliation:
Faculty of Mathematics and Computer Science, Adam Mickiewicz University in Poznań, Uniwersytetu Poznańskiego 4, 61-614 Poznań, Poland email nasqret@gmail.com
Michael Stoll
Affiliation:
Mathematisches Institut, Universität Bayreuth, 95440 Bayreuth, Germany email Michael.Stoll@uni-bayreuth.de

Abstract

We study the generalized Fermat equation $x^{2}+y^{3}=z^{p}$, to be solved in coprime integers, where $p\geqslant 7$ is prime. Modularity and level-lowering techniques reduce the problem to the determination of the sets of rational points satisfying certain 2-adic and 3-adic conditions on a finite set of twists of the modular curve $X(p)$. We develop new local criteria to decide if two elliptic curves with certain types of potentially good reduction at 2 and 3 can have symplectically or anti-symplectically isomorphic $p$-torsion modules. Using these criteria we produce the minimal list of twists of $X(p)$ that have to be considered, based on local information at 2 and 3; this list depends on $p\hspace{0.2em}{\rm mod}\hspace{0.2em}24$. We solve the equation completely when $p=11$, which previously was the smallest unresolved $p$. One new ingredient is the use of the ‘Selmer group Chabauty’ method introduced by the third author, applied in an elliptic curve Chabauty context, to determine relevant points on $X_{0}(11)$ defined over certain number fields of degree 12. This result is conditional on the generalized Riemann hypothesis, which is needed to show correctness of the computation of the class groups of five specific number fields of degree 36. We also give some partial results for the case $p=13$. The source code for the various computations is supplied as supplementary material with the online version of this article.

Type
Research Article
Copyright
© The Authors 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

The work reported on in this paper was supported by the Deutsche Forschungsgemeinschaft, grant Sto 299/11-1, in the framework of the Priority Programme SPP 1489. The first author was also partly supported by the grant Proyecto RSME-FBBVA 2015 José Luis Rubio de Francia.

References

Balakrishnan, J. S., Dogra, N., Müller, J. S., Tuitman, J. and Vonk, J., Explicit Chabauty–Kim for the split Cartan modular curve of level 13 , Ann. of Math. (2) 189 (2019), 885944, doi:10.4007/annals.2019.189.3.6.CrossRefGoogle Scholar
Baran, B., An exceptional isomorphism between modular curves of level 13 , J. Number Theory 145 (2014), 273300, doi:10.1016/j.jnt.2014.05.017; MR 3253304.CrossRefGoogle Scholar
Bennett, M. A., Bruni, C. and Freitas, N., Sums of two cubes as twisted perfect powers, revisited , Algebra Number Theory 12 (2018), 959999, doi:10.2140/ant.2018.12.959; MR 3830208.CrossRefGoogle Scholar
Bilu, Y., Parent, P. and Rebolledo, M., Rational points on X 0 +(p r ) , Ann. Inst. Fourier (Grenoble) 63 (2013), 957984 (in English, with English and French summaries), doi:10.5802/aif.2781; MR 3137477.CrossRefGoogle Scholar
Bosma, W., Cannon, J. and Playoust, C., The Magma algebra system. I. The user language , J. Symbolic Comput. 24 (1997), 235265. Computational algebra and number theory (London, 1993), doi:10.1006/jsco.1996.0125; MR 1484478.CrossRefGoogle Scholar
Brown, D., Primitive integral solutions to x 2 + y 3 = z 10 , Int. Math. Res. Not. IMRN 2012 (2012), 423436; MR 2876388 (2012k:11036).CrossRefGoogle Scholar
Bruin, N., The Diophantine equations x 2 ± y 4 = ±z 6 and x 2 + y 8 = z 3 , Compos. Math. 118 (1999), 305321, doi:10.1023/A:1001529706709; MR 1711307 (2001d:11035).CrossRefGoogle Scholar
Bruin, N., Chabauty methods using elliptic curves , J. reine angew. Math. 562 (2003), 2749, doi:10.1515/crll.2003.076; MR 2011330 (2004j:11051).Google Scholar
Bruin, N., The primitive solutions to x 3 + y 9 = z 2 , J. Number Theory 111 (2005), 179189, doi:10.1016/j.jnt.2004.11.008; MR 2124048 (2006e:11040).CrossRefGoogle Scholar
Bruin, N., Poonen, B. and Stoll, M., Generalized explicit descent and its application to curves of genus 3 , Forum Math. Sigma 4 (2016), Art. e6, 80 pp, doi:10.1017/fms.2016.1; MR 3482281.CrossRefGoogle Scholar
Bruin, N. and Stoll, M., Two-cover descent on hyperelliptic curves , Math. Comp. 78 (2009), 23472370, doi:10.1090/S0025-5718-09-02255-8; MR 2521292 (2010e:11059).CrossRefGoogle Scholar
Bruin, N. and Stoll, M., The Mordell–Weil sieve: proving non-existence of rational points on curves , LMS J. Comput. Math. 13 (2010), 272306, doi:10.1112/S1461157009000187; MR 2685127.CrossRefGoogle Scholar
Centeleghe, T. G., Integral Tate modules and splitting of primes in torsion fields of elliptic curves , Int. J. Number Theory 12 (2016), 237248, doi:10.1142/S1793042116500147; MR 3455277.CrossRefGoogle Scholar
Chen, I., The Jacobians of non-split Cartan modular curves , Proc. Lond. Math. Soc. (3) 77 (1998), 138, doi:10.1112/S0024611598000392; MR 1625491.CrossRefGoogle Scholar
Cohen, H., Number theory, Vol. II. Analytic and modern tools, Graduate Texts in Mathematics, vol. 240 (Springer, New York, 2007); MR 2312338.Google Scholar
Cremona, J. E., Algorithms for modular elliptic curves, second edition (Cambridge University Press, Cambridge, 1997); MR 1628193 (99e:11068).Google Scholar
Dahmen, S. R., Classical and modular methods applied to Diophantine equations, PhD thesis, Utrecht University (2008), https://dspace.library.uu.nl/handle/1874/29640.Google Scholar
Darmon, H., Diamond, F. and Taylor, R., Fermat’s last theorem , in Current developments in mathematics, 1995 (Cambridge, MA) (International Press, Cambridge, MA, 1994), 1154; MR 1474977.Google Scholar
Darmon, H. and Granville, A., On the equations z m = F (x, y) and Ax p + By q = Cz r , Bull. Lond. Math. Soc. 27 (1995), 513543, doi:10.1112/blms/27.6.513; MR 1348707 (96e:11042).CrossRefGoogle Scholar
de Smit, B. and Edixhoven, B., Sur un résultat d’Imin Chen , Math. Res. Lett. 7 (2000), 147153 (in French, with English and French summaries), doi:10.4310/MRL.2000.v7.n2.a1; MR 1764312.CrossRefGoogle Scholar
Dokchitser, T. and Dokchitser, V., Root numbers of elliptic curves in residue characteristic 2 , Bull. Lond. Math. Soc. 40 (2008), 516524, doi:10.1112/blms/bdn034; MR 2418807.CrossRefGoogle Scholar
Dose, V., Fernández, J., González, J. and Schoof, R., The automorphism group of the non-split Cartan modular curve of level 11 , J. Algebra 417 (2014), 95102, doi:10.1016/j.jalgebra.2014.05.036; MR 3244639.CrossRefGoogle Scholar
Edwards, J., A complete solution to X 2 + Y 3 + Z 5 = 0 , J. reine angew. Math. 571 (2004), 213236, doi:10.1515/crll.2004.043; MR 2070150 (2005e:11035).Google Scholar
Fisher, T., On families of 7- and 11-congruent elliptic curves , LMS J. Comput. Math. 17 (2014), 536564, doi:10.1112/S1461157014000059; MR 3356045.CrossRefGoogle Scholar
Freitas, N., On the Fermat-type equation x 3 + y 3 = z p , Comment. Math. Helv. 91 (2016), 295304, doi:10.4171/CMH/386; MR 3493372.CrossRefGoogle Scholar
Freitas, N. and Kraus, A., An application of the symplectic argument to some Fermat-type equations , C. R. Math. Acad. Sci. Paris 354 (2016), 751755 (in English, with English and French summaries), doi:10.1016/j.crma.2016.06.002; MR 3528327.CrossRefGoogle Scholar
Freitas, N. and Kraus, A., On the symplectic type of isomorphisms of the p-torsion of elliptic curves, Mem. Amer. Math Soc., to appear. Preprint (2019), arXiv:1607.01218.Google Scholar
Freitas, N. and Siksek, S., Fermat’s last theorem over some small real quadratic fields , Algebra Number Theory 9 (2015), 875895, doi:10.2140/ant.2015.9.875; MR 3352822.CrossRefGoogle Scholar
Gérardin, P., Facteurs locaux des algèbres simples de rang 4. I , in Reductive groups and automorphic forms, I (Paris, 1976/1977), Publications Mathématiques de L’Université Paris VII, vol. 1 (Université Paris VII, Paris, 1978), 3777 (in French); MR 680785.Google Scholar
Halberstadt, E. and Kraus, A., Courbes de Fermat: résultats et problèmes , J. reine angew. Math. 548 (2002), 167234 (in French, with English summary), doi:10.1515/crll.2002.058; MR 1915212.Google Scholar
Kraus, A., Sur le défaut de semi-stabilité des courbes elliptiques à réduction additive , Manuscripta Math. 69 (1990), 353385 (in French, with English summary), doi:10.1007/BF02567933; MR 1080288.CrossRefGoogle Scholar
Kraus, A. and Oesterlé, J., Sur une question de B. Mazur , Math. Ann. 293 (1992), 259275 (in French), doi:10.1007/BF01444715; MR 1166121.CrossRefGoogle Scholar
Ligozat, G., Courbes modulaires de niveau 11 , in Modular functions of one variable, V (Proc. Second Int. Conf., University of Bonn, Bonn, 1976), Lecture Notes in Mathematics, vol. 601 (Springer, Berlin, 1977), 149237; (in French); MR 0463118.CrossRefGoogle Scholar
The LMFDB Collaboration, The L-functions and modular forms database, 2017, http://www.lmfdb.org.Google Scholar
Loeffler, D. and Weinstein, J., On the computation of local components of a newform , Math. Comp. 81 (2012), 11791200, doi:10.1090/S0025-5718-2011-02530-5; MR 2869056.CrossRefGoogle Scholar
Loeffler, D. and Weinstein, J., Erratum: ‘On the computation of local components of a newform’ , Math. Comp. 84 (2015), 355356, doi:10.1090/S0025-5718-2014-02867-6; MR 3266964.CrossRefGoogle Scholar
Mazur, B., Rational isogenies of prime degree (with an appendix by D. Goldfeld) , Invent. Math. 44 (1978), 129162, doi:10.1007/BF01390348; MR 482230 (80h:14022).CrossRefGoogle Scholar
Pacetti, A., On the change of root numbers under twisting and applications , Proc. Amer. Math. Soc. 141 (2013), 26152628, doi:10.1090/S0002-9939-2013-11532-7; MR 3056552.CrossRefGoogle Scholar
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, doi:10.1215/S0012-7094-07-13714-1; MR 2309145 (2008i:11085).CrossRefGoogle Scholar
Rohrlich, D. E., Elliptic curves and the Weil–Deligne group, Elliptic Curves and Related Topics, vol. 4 (American Mathematical Society, Providence, RI, 1994), 125157; MR 1260960.Google Scholar
Serre, J.-P. and Tate, J., Good reduction of abelian varieties , Ann. of Math. (2) 88 (1968), 492517, doi:10.2307/1970722; MR 0236190.CrossRefGoogle Scholar
Shimura, G., Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan, vol. 11 (Princeton University Press, Princeton, NJ, 1994); reprint of the 1971 original; Kanô Memorial Lectures, 1; MR 1291394.Google Scholar
Siksek, S., Explicit Chabauty over number fields , Algebra Number Theory 7 (2013), 765793, doi:10.2140/ant.2013.7.765; MR 3095226.CrossRefGoogle Scholar
Siksek, S. and Stoll, M., The generalised Fermat equation x 2 + y 3 = z 15 , Arch. Math. (Basel) 102 (2014), 411421, doi:10.1007/s00013-014-0639-z; MR 3254783.CrossRefGoogle Scholar
Silverman, J. H., The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 106, second edition (Springer, Dordrecht, 2009), doi:10.1007/978-0-387-09494-6; MR 2514094.CrossRefGoogle Scholar
Stoll, M., Implementing 2-descent for Jacobians of hyperelliptic curves , Acta Arith. 98 (2001), 245277, doi:10.4064/aa98-3-4; MR 1829626 (2002b:11089).CrossRefGoogle Scholar
Stoll, M., Chabauty without the Mordell–Weil group , in Algorithmic and experimental methods in algebra, geometry, and number theory (Springer, Cham, 2017), 623663; MR 3792746.CrossRefGoogle Scholar
Weil, A., Über die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen , Math. Ann. 168 (1967), 149156 (in German); MR 0207658 (34 #7473).CrossRefGoogle Scholar
Supplementary material: File

Freitas et al. supplementary material

Freitas et al. supplementary material

Download Freitas et al. supplementary material(File)
File 49 KB
2
Cited by

Save article to Kindle

To save this article to your Kindle, first ensure coreplatform@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 saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved 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 generalized Fermat equation with exponents 2, 3, $n$
Available formats
×

Save article to Dropbox

To save 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 used this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about saving content to Dropbox.

The generalized Fermat equation with exponents 2, 3, $n$
Available formats
×

Save article to Google Drive

To save 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 used this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about saving content to Google Drive.

The generalized Fermat equation with exponents 2, 3, $n$
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *