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

TL;DR

This paper advances Darmon's program for the generalized Fermat equation by developing tools to handle modularity issues, leading to new solutions for equations like x^{11} + y^{11} = z^n and reducing complex cases to conjectures.

Contribution

It develops all but the last step of Darmon's modular method for Fermat equations, enabling new Diophantine applications and reducing complex cases to existing conjectures.

Findings

Resolved x^{11} + y^{11} = z^n for certain solutions.

Reduced solving x^5 + y^5 = z^p to Darmon's big image conjecture.

Developed tools to eliminate non-CM Hilbert newforms at the Serre level.

Abstract

In 2000, Darmon described a program to study the generalized Fermat equation using modularity of abelian varieties of $\mathrm{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. In particular, we deal with all but the fifth and last step in the modular method for Fermat equations of signature $(r,r,p)$ in almost full generality. As an application, for all integers $n \geq 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. Moreover, the tools developed can be viewed as an advance in addressing a difficulty not treated in Darmon's original program: even assuming `big image' conjectures about residual Galois representations, one still needs to find a method to eliminate Hilbert newforms at the Serre level which do not have complex multiplication. In fact, we are able to reduce the problem of solving $x^5 + y^5 = z^p$ to 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.