A modular approach to Fermat equations of signature using Frey hyperelliptic curves
arXiv:2210.02316
Abstract
In this paper we carry out the steps of Darmon's program for the generalized Fermat equation In particular, we develop the machinery necessary to prove an optimal bound on the exponent for solutions satisfying certain -adic and -adic conditions which are natural from the point of view of the method. We also reduce the problem of resolving this equation to a `big image conjecture', completing a line of ideas suggested in his original program. The above equation is an example of a generalized Fermat equation for which the predicted Frey abelian varieties have dimension and thus it represents an interesting test case for Darmon's program.
32 pages; abstract updated; corrections and remarks about the stated conductors added; additional material and results added; electronic resources updated on github