---
title: 'Darmon''s Program: Modular Approach for Fermat Equations'
url: https://www.emergentmind.com/topics/darmon-s-program
type: topic
---

# Darmon's Program: Modular Approach for Fermat Equations

Searching arXiv for recent papers on Darmon’s Program and generalized Fermat equations.
Darmon’s Program is a modular strategy for families of generalized Fermat equations with one varying prime exponent. In its modern form, it treats equations such as
\[
x^p+y^p=z^r,\qquad x^r+y^r=z^p,\qquad A x^r+B y^q=C z^p,
\]
by attaching to a putative primitive non-trivial solution a Frey object whose residual \(2\)-dimensional Galois representations can be studied by modularity, irreducibility, level lowering, and explicit elimination. Its distinctive feature is that, beyond the classical modular method, the natural Frey object is often not an elliptic curve but a higher-dimensional abelian variety of \(\mathrm{GL}_2\)-type over a totally real field, typically a Jacobian of a hyperelliptic curve [2507.15149].

## 1. Historical formulation and scope

Darmon formulated the program in 2000 as an extension of the Wiles-style modular method from Frey elliptic curves over \(\mathbf Q\) to abelian varieties of \(\mathrm{GL}_2\)-type over totally real fields. The motivating problem is the generalized Fermat equation
\[
x^p+y^q=z^r,
\]
especially in one-parameter families where one exponent varies and the others are fixed. After permuting variables, the principal signatures are \((p,p,r)\), \((r,r,p)\), and \((q,r,p)\). The guiding philosophy is unchanged from the classical case: construct a Frey object from a putative primitive non-trivial solution, prove modularity of its \(p\)-adic representation, show residual irreducibility, lower the level, and derive a contradiction from the scarcity of Hilbert newforms at the resulting Serre level [2205.15861].

What makes the program genuinely different from the classical modular method is the geometry of the natural Frey objects. For signatures such as \((p,p,r)\) with \(r\ge 5\), Darmon predicted that one must leave the elliptic setting and work with Jacobians of hyperelliptic curves. The 2025 survey emphasizes that the general framework was developed first for \((p,p,r)\) and \((r,r,p)\), while later work extends the same philosophy systematically to signature \((2,r,p)\) by means of a Frey hyperelliptic curve whose Jacobian is of \(\GL_2\)-type over \(K=\mathbf Q(\zeta_r)^+\) [2507.15149] [2605.02632].

## 2. Frey abelian varieties and Frey representations

A central formal notion is that of a Frey representation. For odd primes \(p,q,r\), points \(t_1,t_2,t_3\in \mathbf P^1(\overline K)\), and \(K=\mathbf Q(\zeta_q,\zeta_r)^+\), a Frey representation of signature \((p,q,r)\) with respect to \((t_1,t_2,t_3)\) is a representation
\[
\rho:G_{K(t)}\to \mathrm{GL}_2(\mathbf F)
\]
whose projectivization is unramified outside \(\{t_1,t_2,t_3\}\) and whose inertia images at those points have orders \(p,q,r\). In the signatures relevant to Darmon’s Program, these representations arise from Jacobians \(J/K\) of hyperelliptic curves with real multiplication, so that for each \(\lambda\mid \ell\) one has a \(2\)-dimensional representation
\[
\rho_{J,\lambda}:G_K\to \mathrm{GL}_2(K_\lambda).
\]
The determinant is cyclotomic:
\[
\det \rho_{A,\lambda}=\chi_p,
\]
which is decisive for modularity and for lowering to Hilbert newforms of trivial character [2507.15149].

For signature \((p,p,r)\), Darmon’s hyperelliptic families are built from
\[
g(X)=\prod_{j=1}^{(r-1)/2}(X+\omega_j),\qquad \omega_j=\zeta_r^j+\zeta_r^{-j},
\]
and
\[
f(x)=x\,g(x^2-2).
\]
The associated curves are
\[
C_r^-(t):\ y^2=f(x)+2-4t,\qquad
C_r^+(t):\ y^2=(x+2)\bigl(f(x)+2-4t\bigr),
\]
with Jacobians \(J_r^\pm(t)\). For signature \((r,r,p)\), one also has Kraus’ hyperelliptic curves \(C_r(a,b)\) and Freitas’ Frey elliptic curves over \(K=\mathbf Q(\zeta_r)^+\). A major conceptual advance of the effective 2025 framework is that the Frey hyperelliptic curves for both \((p,p,r)\) and \((r,r,p)\) can be viewed as quadratic twists of specializations of a single family \(C_r^{-}(s)\), yielding a uniform treatment of both signatures [2504.01967].

The \(\mathrm{GL}_2\)-type condition is the mechanism that keeps the modular method two-dimensional despite the higher dimension of the Frey variety. For the Jacobians \(J_r^\pm\) and related families, one has real multiplication by the maximal totally real subfield \(K=\mathbf Q(\zeta_r)^+\), and the Tate module decomposes into \(2\)-dimensional \(\lambda\)-adic pieces. This is why higher-dimensional Jacobians can still be compared with Hilbert modular forms of parallel weight \(2\), exactly as elliptic curves are compared with classical modular forms [2504.01967].

## 3. Modular-method architecture

The program is usually organized into five steps. First, one constructs a Frey curve or Frey abelian variety \(A/K\) from a putative primitive non-trivial solution. Second, one proves modularity of \(A\). Third, one proves absolute irreducibility of the residual representation
\[
\bar\rho_{A,\mathfrak p}:G_K\to \mathrm{GL}_2(\mathbf F_{\mathfrak p}).
\]
Fourth, one lowers the level to obtain
\[
\bar\rho_{A,\mathfrak p}\simeq \bar\rho_{g,\mathfrak P}
\]
for a Hilbert newform \(g\) of parallel weight \(2\), trivial character, and controlled level. Fifth, one eliminates all such \(g\) by comparing Frobenius traces, local conductor exponents, inertial types, or coefficient-field constraints [2205.15861].

The modularity step is no longer purely formal, but modern modularity lifting results make it viable in many of the cases targeted by the program. The survey highlights a theorem of Khare–Thorne: if
\[
\rho:G_K\to \mathrm{GL}_2(\overline{\mathbf Q}_p)
\]
is unramified almost everywhere, de Rham with Hodge–Tate weights \(\{0,1\}\) at all \(v\mid p\), and has residual representation modular and irreducible on \(G_{K(\zeta_p)}\), then \(\rho\) is modular and arises from a Hilbert modular form of weight \((2,\dots,2)\). This is the form of modularity used for Frey Jacobians over totally real fields [2507.15149].

Level lowering over totally real fields uses the theorems of Fujiwara, Jarvis, and Rajaei. To apply them, one needs precise conductor control and finite-flatness or unramifiedness at primes above \(p\). For hyperelliptic Frey Jacobians this requires explicit analysis of discriminants, semistable reduction, multiplicative or potentially good reduction, and local Weil–Deligne types. In the effective framework of 2025, the lowered level in the generalized Fermat settings depends only on the fixed coefficients \(A,B,C\) and the exponent \(r\), not on the hypothetical solution itself, which is what makes large-scale elimination possible [2504.01967].

## 4. Technical bottlenecks and conjectural inputs

The hardest obstruction in the early stages of the program was irreducibility. For elliptic curves over totally real fields there are many irreducibility criteria, but Darmon’s Program requires analogous control for residual \(2\)-dimensional pieces cut out of higher-dimensional \(\mathrm{GL}_2\)-type abelian varieties. The 2016 paper on
\[
x^p+y^p=z^r
\]
provided a decisive new ingredient: an irreducibility criterion for mod-\(\mathfrak p\) representations attached to certain abelian varieties of \(\mathrm{GL}_2\)-type over totally real fields. That paper also gave the first unconditional Diophantine result in the program whose proof genuinely uses a higher-dimensional Frey abelian variety, rather than an elliptic curve in disguise [1605.02198].

A second bottleneck is the “trivial solution obstruction.” In the \((p,p,r)\) setting, the trivial primitive solution \((1,-1,0)\) yields a nonsingular Frey hyperelliptic curve \(C_r^\pm(1,-1,0)\) whose Jacobian has CM by \(\mathbf Q(\zeta_r)\). Because level lowering may land in the same residual modular world as such a CM object, the modular method can lose its separating power. Recent work repeatedly isolates this obstruction: in the \(r=5\) case the treated congruence classes are exactly those in which the trivial-solution obstruction can be avoided by choosing the appropriate Frey curve \(C^+\) or \(C^-\), and in the \(r=7\) case the remaining unresolved part is reduced to the Cartan-normalizer behavior forced by the CM Jacobian attached to the trivial solution [2210.02316] [2308.07062].

The third persistent issue is big image. Darmon’s big image conjecture predicts that for large \(\mathfrak p\), the image of \(\bar\rho_{A,\mathfrak p}\) should be large, excluding reducible, exceptional, and Cartan-normalizer cases except in special geometric situations such as CM. Modern work has sharpened the conjectural remainder. For \(x^5+y^5=z^p\) and \(x^7+y^7=z^p\), recent results reduce the unresolved part essentially to the Cartan case of Darmon’s conjecture, eliminating the Borel/reducible alternative by a combination of higher-dimensional and multi-Frey arguments [2205.15861] [2308.07062].

## 5. Major advances and representative applications

Recent progress has turned the program from a largely conjectural framework into a sequence of concrete Diophantine applications.

| Paper | Representative result | Significance |
|---|---|---|
| [1605.02198] | For a fixed regular prime \(r\ge 5\), there exists \(C(r)\) such that for every prime \(p>C(r)\), the equation \(x^p+y^p=z^r\) has no non-trivial proper solutions with \(r\mid ab\) and \(2\nmid ab\). | First unconditional Diophantine result in the program that genuinely requires a higher-dimensional Frey abelian variety. |
| [2205.15861] | For all integers \(n\ge 2\), there are no integer solutions to \(x^{11}+y^{11}=z^n\) with \(abc\neq 0\), \(\gcd(a,b,c)=1\), and \(2\mid a+b\) or \(11\mid a+b\). | Carries out all but the fifth step for signature \((r,r,p)\) in almost full generality and reduces \(x^5+y^5=z^p\) to the Cartan case of Darmon’s big image conjecture. |
| [2210.02316] | For \(n\ge 3\), there are no non-trivial primitive solutions to \(x^n+y^n=z^5\) in either case \(2\nmid ab,\ 5\mid ab\) or \(2\mid ab,\ 5\nmid ab\). | First full proof-of-concept for signature \((p,p,5)\) with genus-\(2\) Frey Jacobians, including modularity, irreducibility, conductor analysis, level lowering, and elimination. |
| [2308.07062] | For all integers \(n\ge 2\), there are no non-trivial primitive solutions to \(x^7+y^7=3z^n\). | Demonstrates that higher-dimensional Frey varieties can make the proof more efficient than an elliptic-only strategy; for \(x^7+y^7=z^p\), only the Cartan case remains. |
| [2504.01967] | Gives an effective, uniform framework for \((p,p,r)\) and \((r,r,p)\), together with a Magma package, and solves several families for \(r=5\). | Makes the program algorithmic: the lowered level depends only on the fixed coefficients, and elimination can be carried out systematically. |
| [2605.02632] | Develops the program for \(A x^2+B y^r=C z^p\) and proves, for \(p\ge 7\), \(p\neq 11\), that \(-5x^2+y^5=z^{2p}\) has no primitive solutions with \(2\mid a\) and \(3\mid b\). | Extends the framework to signature \((2,r,p)\) and applies it to a conjecture of Laradji–Mignotte–Tzanakis. |

These papers also clarify the internal structure of the program. In some signatures the natural proof is genuinely higher-dimensional; in others a multi-Frey method is more effective, combining Frey elliptic curves over \(\mathbf Q\) or totally real fields with Frey hyperelliptic Jacobians. The resulting synthesis is especially visible in the resolution of \(x^7+y^7=3z^n\), where the Jacobian \(J_7(a,b)\) contributes stronger coefficient-field restrictions and Galois symmetries than the elliptic Frey curves alone [2308.07062].

## 6. Current status and open directions

The current state of Darmon’s Program is markedly stronger than its original formulation. There are now unconditional Diophantine applications in which the Frey object is genuinely higher-dimensional, effective conductor and level-lowering frameworks for the main one-parameter signatures, explicit elimination procedures, and large-scale computations of Hilbert newforms. The 2025 survey presents the program as a working research methodology rather than a speculative blueprint [2507.15149].

At the same time, the survey also identifies the remaining structural difficulties. Step \(5\), the elimination of all Hilbert newforms at the Serre level, is still often the hardest part. Trivial primitive solutions yield CM Frey varieties and obstruct naive elimination. Big-image statements for \(\mathrm{GL}_2\)-type abelian varieties remain open in general. Conductor computations for hyperelliptic Jacobians, especially at \(2\), are delicate. Even after level lowering, Hilbert modular spaces can be very large. These issues explain why many of the strongest current theorems are either asymptotic in the varying exponent or conditional only on the Cartan case of Darmon’s big image conjecture [2507.15149].

Two recent developments indicate the likely direction of the subject. First, the effective 2025 framework shows that the program can be made algorithmic, with a common formalism for \((p,p,r)\) and \((r,r,p)\), explicit local analysis of Néron models, and a Magma implementation of the elimination step [2504.01967]. Second, the 2026 treatment of \((2,r,p)\) shows that the hyperelliptic, \(\GL_2\)-type strategy is not confined to the original two signatures; it extends to a broader hypergeometric setting in which elliptic Frey curves are unavailable [2605.02632].

In its mature form, Darmon’s Program is therefore best understood as a higher-dimensional modular method for generalized Fermat equations. Its defining insight is that the modular method does not depend on elliptic curves as such, but on access to \(2\)-dimensional Galois representations with tightly controlled local behavior. Frey Jacobians with real multiplication provide exactly that structure, and the recent literature shows that, once modularity, irreducibility, level lowering, and elimination can be organized around them, the program becomes a practical mechanism for resolving infinite Diophantine families far beyond the classical Fermat equation.

Source: https://www.emergentmind.com/topics/darmon-s-program