Frey curve

Frey curve

The Frey curve is a particular construction of an elliptic curve attached to a putative nontrivial solution of Fermat's equation, introduced to relate Diophantine equations to the arithmetic of elliptic curves and modular forms. It played a pivotal role in the proof of Fermat's Last Theorem by providing a bridge between the work of Gerhard Frey, Ken Ribet, and Andrew Wiles. The construction led to deep interactions among Galois group, Serre's conjecture, Taniyama–Shimura–Weil conjecture, and the arithmetic of modular curves.

Definition and construction

Given integers a, b, c purportedly satisfying a^n + b^n = c^n with exponent n > 2, the Frey curve is an elliptic curve defined over the rationals by a short Weierstrass equation whose coefficients are explicit symmetric functions of a, b, c. Frey observed that one may take a model with discriminant and conductor closely related to the prime divisors of abc and the exponent n, yielding an elliptic curve with unusual ramification and reduction properties at primes dividing abc and at n. The construction uses transformations from the plane curve defined by X^n + Y^n = 1 to an elliptic curve model, producing a curve with specified minimal discriminant Δ and conductor N, which in turn determine associated Galois representations and level structures on modular curves.

Historical context and motivation

The idea arose in the early 1980s when Gerhard Frey proposed associating an elliptic curve to a hypothetical counterexample to Pierre de Fermat's last theorem in order to exploit results from the theory of modular forms. Frey's proposal drew attention from Jean-Pierre Serre and Ken Ribet, who connected the arithmetic properties of the curve to conjectures of Serre and to level-lowering phenomena. Ribet proved that Frey's insight implied that a nontrivial solution would produce an elliptic curve violating the expected modularity predicted by the Taniyama–Shimura–Weil conjecture, thereby converting Fermat's Last Theorem into a problem about modularity. This chain of ideas motivated subsequent work by Andrew Wiles, Richard Taylor, and others that culminated in the proof of modularity for semistable elliptic curves and the resolution of Fermat's Last Theorem.

Connection to Fermat's Last Theorem

Frey's strategy was to assume the existence of integers a, b, c with a^p + b^p = c^p for a prime p and to construct an elliptic curve whose arithmetic invariants would contradict modularity expectations. Ribet proved that, under Serre's conjectural recipe for attaching modular forms to Galois representations, the Frey curve would be irreducible and have conductor of specific form, and that level-lowering results would yield a contradiction with known properties of newforms of low level. This reduction showed that the proof of the Taniyama–Shimura–Weil conjecture for a broad class of elliptic curves would imply the impossibility of nontrivial Fermat solutions; when Andrew Wiles established modularity for semistable elliptic curves, it closed the final logical gap and proved Fermat's Last Theorem.

Properties and invariants

The Frey curve exhibits several notable arithmetic features. Its minimal discriminant Δ is highly constrained by the prime factors of the hypothetical solution, and its conductor N is typically squarefree away from the exponent p, reflecting controlled bad reduction at those primes. The curve yields a two-dimensional p-adic Galois representation on the p-torsion of its Tate module, whose ramification and local behavior at primes dividing N and at p are essential to level-lowering arguments. The Frey construction often produces curves that are semistable at primes not dividing abc and with potentially multiplicative reduction at primes dividing abc, connecting to the classification of reduction types on elliptic curves. Associated arithmetic invariants such as the L-series, local root numbers, and Tamagawa factors can be calculated in terms of the original integers a, b, c, and these invariants play roles in comparisons with coefficients of Hecke operator eigenforms.

Modularity and the Frey–Ribet–Wiles argument

The Frey–Ribet–Wiles argument is the concatenation of Frey's construction, Ribet's level-lowering theorem, and Wiles's modularity lifting techniques. Ribet proved that if a Frey-type curve arose from a counterexample, then the corresponding mod p Galois representation would be modular of a level that contradicts existence results for certain newforms. Wiles, later with Richard Taylor, developed techniques to prove modularity lifting theorems for semistable elliptic curves by studying deformation rings and comparing them with Hecke algebras, thereby verifying the Taniyama–Shimura–Weil conjecture in the required semistable case. The successful application of these methods showed that no Frey curve with the predicted properties can exist, completing the deduction of Fermat's Last Theorem from modularity results. Subsequent generalizations of modularity theorems and of Serre's conjecture further extended the landscape first illuminated by the Frey curve and its role in the interplay among Gerhard Frey, Ken Ribet, Andrew Wiles, Jean-Pierre Serre, Richard Taylor, and the community of arithmetic geometers.

Category:Elliptic curves