On Darmon's program for the generalized Fermat equation, I

In 2000, Darmon described a program to study the generalized Fermat equation using modularity of abelian varieties of GL( 2) -type over totally real fields. The original approach was based on hard open conjectures, which have made it difficult to apply in practice. In this paper, building on the progress surrounding the modular method from the last two decades, we analyze and expand the current limits of this program by developing all the necessary ingredients to use Frey abelian varieties for new Diophantine applications. As an application, for all integers n >= 2 , we give a resolution of the generalized Fermat equation x (11) + y (11) = z (n )for solutions (a,b,c) such that a+b satisfies certain 2- or 11-adic conditions. We are also able to reduce the problem of solving x (5) + y( 5 )= z (p) to a weaker version of Darmon's "big image conjecture", thus completing a line of ideas suggested in his original program, and notably only needing the Cartan case of his conjecture.