On Darmon’s program for the generalized Fermat equation, II

Authors:
Publisher website
Google Scholar
Abstract
We obtain additional Diophantine applications of the methods surrounding Darmon’s program for the generalized Fermat equation developed in the first part of this series of papers. As a first application, we use a multi-Frey approach combining two Frey elliptic curves over totally real fields, a Frey hyperelliptic curve over Q \mathbb {Q} due to Kraus, and ideas from the Darmon program to give a complete resolution of the generalized Fermat equation x 7 + y 7 = 3 z n \begin{equation*} x^7 + y^7 = 3 z^n \end{equation*} for all integers n ≥ 2 n \ge 2 . Moreover, we explain how the use of higher dimensional Frey abelian varieties allows a more efficient proof of this result due to additional structures that they afford, compared to using only Frey elliptic curves. As a second application, we use some of these additional structures that Frey abelian varieties possess to show that a full resolution of the generalized Fermat equation x 7 + y 7 = z n x^7 + y^7 = z^n depends only on the Cartan case of Darmon’s big image conjecture. In the process, we solve the previous equation for solutions ( a , b , c ) (a,b,c) such that a a and b b satisfy certain 2 2 - or 7 7 -adic conditions and all n ≥ 2 n \ge 2 .
Funding Information
  • Agence Nationale de la Recherche (ANR-23-CE40-0006-01 GAEC)
  • Agence Nationale de la Recherche (RGPIN-2023-03457)
  • Université Clermont-Auvergne (ANR-23-CE40-0006-01 GAEC)
  • Université Clermont-Auvergne (RGPIN-2023-03457)
  • Centre National de la Recherche Scientifique (ANR-23-CE40-0006-01 GAEC)
  • Centre National de la Recherche Scientifique (RGPIN-2023-03457)
  • Natural Sciences and Engineering Research Council of Canada (ANR-23-CE40-0006-01 GAEC)
  • Natural Sciences and Engineering Research Council of Canada (RGPIN-2023-03457)

This publication has 32 references indexed in Scilit: