Title: On Darmon's program for the Generalized Fermat equation

Abstract: In 2000, Darmon described a program to study the generalized Fermat equation using modularity of abelian varieties of $\text{GL}_2$-type over totally real fields. The original program was based on hard open conjectures, which has 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 two Diophantine applications.
In the first application, we use a multi-Frey approach combining two Frey elliptic curves over totally real fields, a Frey hyperelliptic over $\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$$ for all integers $n \ge 2$. The use of higher dimensional Frey abelian varieties allows a more efficient proof of the above result due to additional structures that they afford.
In the second application, we use some of the additional structures that Frey abelian varieties possess to give an asymptotic resolution of the generalized Fermat equation $$x^{11} + y^{11} = z^p$$ for solutions locally away from $xy=0$ and where $p$ is a prime exponent. In this application, the use of higher dimensional Frey abelian varieties helps to overcome the computational difficulties arising when working in large spaces of Hilbert modular forms.