The generalized Fermat equation
Version 1 / Oct 07, 2026 / CC BY 4.0
Abstract
Provenance statement
Tools used
- Anthropic
- Claude OpusVersion 5.5
- SageMath
- SageMathVersion 10.9
- PARI Group
- PARI/GPVersion 2.17.3
- GAP Group
- GAPVersion 4.15.1
- Python Software Foundation
- Python (python-flint/Arb, SymPy, mpmath)Version 3.12
References
- Abrashkin, Victor. Modular representations of the Galois group of a local field and a generalization of a conjecture of Shafarevich. Izv. Akad. Nauk SSSR Ser. Mat., vol. 53, no. 6, pp. 1135–1182. 1989. English translation: Math. USSR-Izv. 35 (1990), no.~3, 469–518
- Abrashkin, Victor. Ramification estimate for Fontaine–Laffaille Galois modules. J. Algebra, vol. 427, pp. 319–328. 2015
- Abrashkin, Victor. Groups of automorphisms of local fields of period and nilpotent class , II. Internat. J. Math., vol. 28, no. 10, pp. 1750066. 2017. Part I: Internat. J. Math. 28 (2017), no.~6, 1750043; cited by the numbering of \hrefhttps://arxiv.org/abs/1403.4121v5arXiv:1403.4121v5
- Abrashkin, Victor. Groups of automorphisms of local fields of period and nilpotent class . Ann. Inst. Fourier (Grenoble), vol. 67, no. 2, pp. 605–635. 2017
- Artin, Michael; Grothendieck, Alexander; Verdier, Jean-Louis. Théorie des topos et cohomologie étale des schémas (SGA~4), Tome 3. Springer, vol. 305. 1973
- Bai, Meng; Zhang, Zhongfeng. On the Diophantine equation . J. Southwest China Normal Univ. Nat. Sci. Ed., vol. 39, no. 6, pp. 14–17. 2014. in ChineseDOI
- Barnet-Lamb, Thomas; Gee, Toby; Geraghty, David. Serre weights for rank two unitary groups. Math. Ann., vol. 356, no. 4, pp. 1551–1598. 2013DOI
- Barnet-Lamb, Thomas; Gee, Toby; Geraghty, David; Taylor, Richard. Local-global compatibility for , I. Ann. Fac. Sci. Toulouse Math. (6), vol. 21, no. 1, pp. 57–92. 2012
- Barnet-Lamb, Thomas; Gee, Toby; Geraghty, David; Taylor, Richard. Local-global compatibility for , II. Ann. Sci. Éc. Norm. Supér. (4), vol. 47, no. 1, pp. 165–179. 2014
- Barnet-Lamb, Thomas; Gee, Toby; Geraghty, David; Taylor, Richard. Potential automorphy and change of weight. Ann. of Math. (2), vol. 179, no. 2, pp. 501–609. 2014
- Beilinson, Alexander. On the crystalline period map. Camb. J. Math., vol. 1, no. 1, pp. 1–51. 2013. cited by the numbering of \hrefhttps://arxiv.org/abs/1111.3316v4arXiv:1111.3316v4, whose \S\S1.15–1.17 differ from the journal version
- Bella\"\iche, Joël; Chenevier, Gaëtan. Formes non tempérées pour et conjectures de Bloch–Kato. Ann. Sci. Éc. Norm. Supér. (4), vol. 37, no. 4, pp. 611–662. 2004DOI
- Bellovin, Rebecca; Gee, Toby. -valued local deformation rings and global lifts. Algebra Number Theory, vol. 13, no. 2, pp. 333–378. 2019. in \hrefhttps://arxiv.org/abs/1708.04885v3arXiv:1708.04885v3 the results of \S3.3 are numbered one higher
- Bennett, Michael A.; Bruni, Carmen; Freitas, Nuno. Sums of two cubes as twisted perfect powers, revisited. Algebra Number Theory, vol. 12, no. 4, pp. 959–999. 2018
- Bennett, Michael A.; Das, Pranabesh. Gaps between cubes with perfect power sum. Bull. Lond. Math. Soc., vol. 57, no. 10, pp. 3051–3060. 2025DOI
- Bennett, Michael A.; Luca, Florian; Mulholland, Jamie. Twisted extensions of the cubic case of Fermat's Last Theorem. Ann. Sci. Math. Québec, vol. 35, no. 1, pp. 1–15. 2011
- Berger, Laurent. Représentations -adiques et équations différentielles. Invent. Math., vol. 148, no. 2, pp. 219–284. 2002
- Bergström, Jonas; van der Geer, Gerard. Picard modular forms and the cohomology of local systems on a Picard modular surface. Comment. Math. Helv., vol. 97, no. 2, pp. 305–381. 2022DOI
- Berkovich, Vladimir G. Étale cohomology for non-Archimedean analytic spaces. Publ. Math. Inst. Hautes Études Sci., vol. 78, pp. 5–161. 1993
- Beukers, Frits; Heckman, Gert. Monodromy for the hypergeometric function . Invent. Math., vol. 95, no. 2, pp. 325–354. 1989
- Billerey, Nicolas; Chen, Imin; Dembélé, Lassina; Dieulefait, Luis; Freitas, Nuno. Some extensions of the modular method and Fermat equations of signature . Publ. Mat., vol. 67, no. 2, pp. 715–741. 2023
- Billerey, Nicolas; Chen, Imin; Dieulefait, Luis; Freitas, Nuno. A multi-Frey approach to Fermat equations of signature . Trans. Amer. Math. Soc., vol. 371, no. 12, pp. 8651–8677. 2019
- Billerey, Nicolas; Chen, Imin; Dieulefait, Luis; Freitas, Nuno. On Darmon's program for the generalized Fermat equation, I. J. Reine Angew. Math., vol. 822, pp. 107–146. 2025. cited by the numbering of \hrefhttps://arxiv.org/abs/2205.15861v5arXiv:2205.15861v5
- Billerey, Nicolas; Chen, Imin; Dieulefait, Luis; Freitas, Nuno. On Darmon's program for the generalized Fermat equation, II. Math. Comp., vol. 94, no. 354, pp. 1977–2003. 2025. cited by the numbering of \hrefhttps://arxiv.org/abs/2308.07062v2arXiv:2308.07062v2
- Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard. On the modularity of elliptic curves over : wild 3-adic exercises. J. Amer. Math. Soc., vol. 14, no. 4, pp. 843–939. 2001
- Bruin, Nils. On powers as sums of two cubes. Algorithmic number theory (Leiden, 2000), vol. 1838, pp. 169–184. 2000DOI
- Calegari, Frank; Emerton, Matthew; Gee, Toby. Globally realizable components of local deformation rings. J. Inst. Math. Jussieu, vol. 21, no. 2, pp. 533–602. 2022. cited by the numbering of \hrefhttps://arxiv.org/abs/1807.03529v3arXiv:1807.03529v3
- Caraiani, Ana. Monodromy and local-global compatibility for . Algebra Number Theory, vol. 8, no. 7, pp. 1597–1646. 2014
- Cassels, J. W. S.; Flynn, E. V. Prolegomena to a middlebrow arithmetic of curves of genus 2. Cambridge University Press, Cambridge, vol. 230. 1996DOI
- Chen, Imin; Siksek, Samir. Perfect powers expressible as sums of two cubes. J. Algebra, vol. 322, no. 3, pp. 638–656. 2009
- Clozel, Laurent; Harris, Michael; Taylor, Richard. Automorphy for some -adic lifts of automorphic mod Galois representations. Publ. Math. Inst. Hautes Études Sci., vol. 108, pp. 1–181. 2008
- Coleman, Robert F. Effective Chabauty. Duke Math. J., vol. 52, no. 3, pp. 765–770. 1985DOI
- Colmez, Pierre; Fontaine, Jean-Marc. Construction des représentations -adiques semi-stables. Invent. Math., vol. 140, no. 1, pp. 1–43. 2000
- Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; Wilson, R. A. Atlas of finite groups. Oxford University Press. 1985
- Dahmen, Sander R. Classical and modular methods applied to Diophantine equations. 2008. r̆lhttp://hdl.handle.net/1874/29640
- Darmon, Henri. Rigid local systems, Hilbert modular forms, and Fermat's last theorem. Duke Math. J., vol. 102, no. 3, pp. 413–449. 2000
- Darmon, Henri; Granville, Andrew. On the equations and . Bull. Lond. Math. Soc., vol. 27, no. 6, pp. 513–543. 1995
- Davis, Rachel; Pries, Rachel. Cohomology groups of Fermat curves via ray class fields of cyclotomic fields. J. Algebra, vol. 554, pp. 78–105. 2020. cited by the numbering of \hrefhttps://arxiv.org/abs/1806.08352v3arXiv:1806.08352v3
- de Jong, A. J. Étale fundamental groups of non-Archimedean analytic spaces. Compos. Math., vol. 97, no. 1–2, pp. 89–118. 1995
- Deligne, Pierre. La conjecture de Weil. I. Publ. Math. Inst. Hautes Études Sci., vol. 43, pp. 273–307. 1974
- Deligne, Pierre. La conjecture de Weil. II. Publ. Math. Inst. Hautes Études Sci., vol. 52, pp. 137–252. 1980
- Deligne, Pierre. Un théorème de finitude pour la monodromie. Discrete groups in geometry and analysis (New Haven, Conn., 1984), vol. 67, pp. 1–19. 1987
- Deligne, Pierre. Le groupe fondamental de la droite projective moins trois points. Galois groups over (Berkeley, CA, 1987), vol. 16, pp. 79–297. 1989
- Deligne, Pierre; Katz, Nicholas. Groupes de monodromie en géométrie algébrique (SGA~7~II). Springer, vol. 340. 1973
- Dettweiler, Michael; Sabbah, Claude. Hodge theory of the middle convolution. Publ. Res. Inst. Math. Sci., vol. 49, no. 4, pp. 761–800. 2013
- Diamond, Fred; Shurman, Jerry. A first course in modular forms. Springer-Verlag, vol. 228. 2005
- Dickson, Leonard Eugene. Linear groups, with an exposition of the Galois field theory. B. G. Teubner. 1901
- Dieulefait, Luis; Golfieri Madriaga, Franco. On Fermat's Last Theorem over the $\mathbbZ_3$-extension of $\mathbbQ$ and other fields. 2025. preprint, \hrefhttps://arxiv.org/abs/2507.16883v1arXiv:2507.16883v1
- Dieulefait, Luis V. Existence of families of Galois representations and new cases of the Fontaine–Mazur conjecture. J. Reine Angew. Math., vol. 577, pp. 147–151. 2004
- Edixhoven, Bas. Néron models and tame ramification. Compos. Math., vol. 81, no. 3, pp. 291–306. 1992
- Faber, Xander. Finite -irregular subgroups of . La Matematica, vol. 2, pp. 479–522. 2023
- Fedorov, Roman. Variations of Hodge structures for hypergeometric differential operators and parabolic Higgs bundles. Int. Math. Res. Not. IMRN, no. 18, pp. 5583–5608. 2018
- Fontaine, Jean-Marc. Il n'y a pas de variété abélienne sur . Invent. Math., vol. 81, no. 3, pp. 515–538. 1985
- Fontaine, Jean-Marc. Schémas propres et lisses sur . Proceedings of the Indo-French Conference on Geometry (Bombay, 1989), pp. 43–56. 1993
- Fontaine, Jean-Marc. Représentations -adiques potentiellement semi-stables. Périodes -adiques (Bures-sur-Yvette, 1988), vol. 223, pp. 321–347. 1994
- Fontaine, Jean-Marc. Représentations -adiques semi-stables. Périodes -adiques (Bures-sur-Yvette, 1988), vol. 223, pp. 113–184. 1994
- Fontaine, Jean-Marc; Laffaille, Guy. Construction de représentations -adiques. Ann. Sci. Éc. Norm. Supér. (4), vol. 15, no. 4, pp. 547–608. 1982
- Freitas, Nuno. On the Fermat-type equation . Comment. Math. Helv., vol. 91, no. 2, pp. 295–304. 2016
- Freitas, Nuno; Kraus, Alain. On the symplectic type of isomorphisms of the -torsion of elliptic curves. Mem. Amer. Math. Soc., vol. 277, no. 1361. 2022
- Freitas, Nuno; Kraus, Alain; Siksek, Samir. Class field theory, Diophantine analysis and the asymptotic Fermat's Last Theorem. Adv. Math., vol. 363, pp. 106964. 2020
- Freitas, Nuno; Kraus, Alain; Siksek, Samir. On asymptotic Fermat over the $\mathbbZ_2$-extension of $\mathbbQ$. Ann. Math. Blaise Pascal, vol. 28, no. 1, pp. 1–6. 2021
- Freitas, Nuno; Mocanu, Diana. Local points on twists of with applications. 2025. preprint, \hrefhttps://arxiv.org/abs/2509.04294v4arXiv:2509.04294v4
- Freitas, Nuno; Sánchez-Rodríguez, Ignasi. Comparing Galois representations in the residually reducible case. Math. Comp. 2026. to appear; cited by the numbering of \hrefhttps://arxiv.org/abs/2510.12956v1arXiv:2510.12956v1DOI
- Ghitza, Alexandru; Yamauchi, Takuya. The non-existence of some Galois representations of moderate dimension in small characteristic. 2025. preprint, \hrefhttps://arxiv.org/abs/2509.00635v2arXiv:2509.00635v2
- Golfieri Madriaga, Franco; Pacetti, Ariel. Hypergeometric motives and the generalized Fermat equation. 2025. preprint, \hrefhttps://arxiv.org/abs/2412.08804v2arXiv:2412.08804v2
- Golfieri Madriaga, Franco; Pacetti, Ariel; Rodriguez-Villegas, Fernando. On rank 2 hypergeometric motives. 2026. preprint, \hrefhttps://arxiv.org/abs/2603.17978v1arXiv:2603.17978v1
- Greenberg, Ralph. Galois representations with open image. Ann. Math. Québec, vol. 40, no. 1, pp. 83–119. 2016
- Grothendieck, Alexander. Revêtements étales et groupe fondamental (SGA~1). Springer, vol. 224. 1971
- Hattori, Shin. Integral -adic Hodge theory and ramification of crystalline representations. An excursion into -adic Hodge theory: from foundations to recent trends, vol. 54, pp. 159–203. 2019
- Jacquet, Hervé; Shalika, Joseph A. On Euler products and the classification of automorphic forms. II. Amer. J. Math., vol. 103, no. 4, pp. 777–815. 1981
- Jaswal, Manvir. Programs and data for ``The generalized Fermat equation ęrn-0.08em''. 2026. programs, outputs and commands for Appendix~A, Remark~4.18 and the Supplement; Zenodo, r̆lhttps://doi.org/10.5281/zenodo.23197806
- Johansson, Fredrik. Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Trans. Comput., vol. 66, no. 8, pp. 1281–1292. 2017
- Katz, Nicholas M. Galois properties of torsion points on abelian varieties. Invent. Math., vol. 62, no. 3, pp. 481–502. 1981DOI
- Katz, Nicholas M. Exponential sums and differential equations. Princeton University Press, vol. 124. 1990
- Kenku, M. A. On the number of -isomorphism classes of elliptic curves in each -isogeny class. J. Number Theory, vol. 15, no. 2, pp. 199–202. 1982DOI
- Khare, Chandrashekhar; Wintenberger, Jean-Pierre. On Serre's conjecture for 2-dimensional mod representations of $Gal(\overline\mathbbQ/\mathbbQ)$. Ann. of Math. (2), vol. 169, no. 1, pp. 229–253. 2009
- Khare, Chandrashekhar; Wintenberger, Jean-Pierre. Serre's modularity conjecture. I, II. Invent. Math., vol. 178, no. 3, pp. 485–504 and 505–586. 2009
- Kisin, Mark. Potentially semi-stable deformation rings. J. Amer. Math. Soc., vol. 21, no. 2, pp. 513–546. 2008
- Koch, Helmut. Galois theory of -extensions. Springer-Verlag. 2002
- Kraus, Alain. Sur l'équation . Experiment. Math., vol. 7, no. 1, pp. 1–13. 1998
- Kraus, Alain; Oesterlé, Joseph. Sur une question de B. Mazur. Math. Ann., vol. 293, pp. 259–275. 1992DOI
- Laishram, Shanta; Shorey, Tarlok N. Baker's explicit -conjecture and applications. Acta Arith., vol. 155, no. 4, pp. 419–429. 2012
- Massy, Richard. Construction de -extensions galoisiennes d'un corps de caractéristique différente de . J. Algebra, vol. 109, no. 2, pp. 508–535. 1987
- Mazur, Barry. Rational isogenies of prime degree (with an appendix by D. Goldfeld). Invent. Math., vol. 44, no. 2, pp. 129–162. 1978DOI
- McCallum, William; Poonen, Bjorn. The method of Chabauty and Coleman. Explicit methods in number theory, vol. 36, pp. 99–117. 2012
- Mináč, Ján; Tân, Nguy\~ên Duy. Construction of unipotent Galois extensions and Massey products. Adv. Math., vol. 304, pp. 1021–1054. 2017. cited by the numbering of \hrefhttps://arxiv.org/abs/1501.01346v4arXiv:1501.01346v4
- Mokrane, Abdellah. La suite spectrale des poids en cohomologie de Hyodo–Kato. Duke Math. J., vol. 72, no. 2, pp. 301–337. 1993
- Moon, Hyunsuk. Finiteness results on certain mod Galois representations. J. Number Theory, vol. 84, no. 1, pp. 156–165. 2000
- Moon, Hyunsuk; Taguchi, Yuichiro. Refinement of Tate's discriminant bound and non-existence theorems for mod Galois representations. Doc. Math., vol. Extra Vol., pp. 641–654. 2003
- Nakkajima, Yukiyoshi. -adic weight spectral sequences of log varieties. J. Math. Sci. Univ. Tokyo, vol. 12, no. 4, pp. 513–661. 2005
- Odlyzko, A. M. Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results. Sém. Théor. Nombres Bordeaux (2), vol. 2, no. 1, pp. 119–141. 1990
- Patrikis, Stefan; Taylor, Richard. Automorphy and irreducibility of some -adic representations. Compos. Math., vol. 151, no. 2, pp. 207–229. 2015
- Poitou, Georges. Sur les petits discriminants. Séminaire Delange–Pisot–Poitou. Théorie des nombres, vol. 18, no. 1, pp. Exposé 6, 18 pp. 1976–1977
- Ribet, Kenneth A. On modular representations of $\rm Gal(\overlineQ/Q)$ arising from modular forms. Invent. Math., vol. 100, pp. 431–476. 1990DOI
- Ribet, Kenneth A. Report on mod representations of $\rm Gal(\overlineQ/Q)$. Motives (Seattle, WA, 1991), vol. 55, Part 2, pp. 639–676. 1994DOI
- Saito, Takeshi. Modular forms and -adic Hodge theory. Invent. Math., vol. 129, no. 3, pp. 607–620. 1997
- Saito, Takeshi. Hilbert modular forms and -adic Hodge theory. Compos. Math., vol. 145, no. 5, pp. 1081–1113. 2009
- Schaefer, Edward F. 2-descent on the Jacobians of hyperelliptic curves. J. Number Theory, vol. 51, no. 2, pp. 219–232. 1995DOI
- Şengün, Mehmet Haluk. The nonexistence of certain representations of the absolute Galois group of quadratic fields. Proc. Amer. Math. Soc., vol. 137, no. 1, pp. 27–35. 2009
- Serre, Jean-Pierre. Abelian -adic representations and elliptic curves. W. A. Benjamin. 1968
- Serre, Jean-Pierre. Corps locaux. Hermann. 1968
- Serre, Jean-Pierre. Propriétés galoisiennes des points d'ordre fini des courbes elliptiques. Invent. Math., vol. 15, no. 4, pp. 259–331. 1972DOI
- Shafarevich, Igor R. Extensions with prescribed ramification points. Publ. Math. Inst. Hautes Études Sci., vol. 18, pp. 71–92. 1963. in Russian
- Sharifi, Romyar T. Twisted Heisenberg representations and local conductors. 1999
- Silverman, Joseph H. Advanced topics in the arithmetic of elliptic curves. Springer-Verlag, New York, vol. 151. 1994DOI
- Silverman, Joseph H. The arithmetic of elliptic curves. Springer, Dordrecht, vol. 106. 2009DOI
- Silverman, Joseph H.; Tate, John T. Rational points on elliptic curves. Springer, Cham. 2015DOI
- Stoll, Michael. Implementing 2-descent for Jacobians of hyperelliptic curves. Acta Arith., vol. 98, no. 3, pp. 245–277. 2001DOI
- Tate, John. The non-existence of certain Galois extensions of unramified outside . Arithmetic geometry (Tempe, AZ, 1993), vol. 174, pp. 153–156. 1994
- The GAP Group. GAP – Groups, Algorithms, and Programming, version 4.15.1. 2025. r̆lhttps://www.gap-system.org
- The PARI Group. PARI/GP version 2.17.3. Univ. Bordeaux. 2025. r̆lhttps://pari.math.u-bordeaux.fr/
- Tsuji, Takeshi. -adic étale cohomology and crystalline cohomology in the semi-stable reduction case. Invent. Math., vol. 137, no. 2, pp. 233–411. 1999
- Tsuji, Takeshi. Semi-stable conjecture of Fontaine–Jannsen: a survey. Cohomologies -adiques et applications arithmétiques, II, vol. 279, pp. 323–370. 2002
- Wilcox, Ashleigh. A systematic approach to Diophantine equations: two thousand solved examples. 2024. preprint, \hrefhttps://arxiv.org/abs/2404.08719v2arXiv:2404.08719v2
- Wintenberger, Jean-Pierre. Sur les représentations -adiques géométriques de conducteur et de dimension de $G_\mathbbQ$. 2004. preprint, \hrefhttps://arxiv.org/abs/math/0406576v2arXiv:math/0406576v2
- Zhou, Zhong-Peng. The inter-universal Teichmüller theory and new Diophantine results over the rational numbers. I. 2025. preprint, \hrefhttps://arxiv.org/abs/2503.14510v1arXiv:2503.14510v1
Version history
- v1Submitted by Manvir JaswalInitial depositSupersededOct 07, 2026
- v2Submitted by Manvir JaswalSubmitted as a new versionCurrentOct 09, 2026