Epsilon conjecture

Epsilon conjecture

The epsilon conjecture is a statement in number theory concerning properties of Galois representations associated with modular forms. It was proposed by Jean-Pierre Serre and proved by Ken Ribet. The proof of epsilon conjecture was a significant step towards the proof of Fermat's Last Theorem. As shown by Serre and Ribet, the Taniyama–Shimura conjecture (whose status was unresolved at the time) and the epsilon conjecture together imply that the Fermat's Last Theorem is true.

Statement of the epsilon conjecture

Let "E" be an elliptic curve with integer coefficients in a global minimal form. Denote by δ"p", respectively, "n""p", the exponent with which a prime "p" appears in the prime factorization of the discriminant Δ of "E", respectively, the conductor "N" of "E". Suppose that "E" is a modular elliptic curve, then we can perform a level descent modulo primes dividing one of the exponents δ"p" of a prime dividing the discriminant. If "p"δ"p" is an odd prime power factor of Δ and if "p" divides "N" only once (i.e. "n""p"=1), then there exists another elliptic curve "E' ", with conductor "N' " = "N"/"p", such that the coefficients of the L-series of "E" are congruent modulo to the coefficients of the L-series of "E' ".

The epsilon conjecture is a "relative" statement: assuming that a given elliptic curve "E" over Q is modular, it predicts the precise level of "E".

Application of the epsilon conjecture to Fermat's Last Theorem

In his thesis, Yves Hellegouarch defined an object that is now called the Frey curve. If is an odd prime and "a", "b", and "c" are positive integers such that

:"a" + "b" = "c",

then a corresponding Frey curve is an algebraic curve given by the equation

: "y"2 = "x"("x" − "a")("x" + "b").

This is a nonsingular algebraic curve of genus one defined over Q, and its projective completion is an elliptic curve over Q. Gerhard Frey suggested that any such curve would have peculiar properties, and in particular, will not be modular. In the early 1980s, Jean-Pierre Serre gave a reformulation in terms of Galois representations, and proved "all but ε" to show that Frey had been correct and that a Frey curve cannot be modular. The remaining ε is the epsilon conjecture.

Taniyama–Shimura plus epsilon implies Fermat's Last Theorem

Suppose that the Fermat equation with exponent ≥ 3 had a solution in non-zero integers "a", "b", "c". Let us form the corresponding Frey curve "E". It is an elliptic curve and one can show that its discriminant Δ is equal to 16 ("abc")2 and its conductor "N" is the radical of "abc", i.e. the product of all distinct primes dividing "abc". By the Taniyama–Shimura conjecture, "E" is a modular elliptic curve. Since "N" is square-free, by the epsilon conjecture one can perform level descent modulo . Repeating this procedure, we will eliminate all odd primes from the conductor and reach the modular curve "X"0(2) of level 2. However, this curve is not an elliptic curve since it has genus zero, resulting in a contradiction.

Coda

In 1994, Andrew Wiles and Richard Taylor completed a proof of a big part of the Taniyama–Shimura conjecture concerning the modularity of the semistable elliptic curves, which is sufficient to yield Fermat's Last Theorem. Their papers were published in 1995 in the Annals of Mathematics.

ee also

* abc conjecture

References

* Anthony W. Knapp, "Elliptic Curves", Princeton, 1992
*
* Kenneth Ribet, [http://www.numdam.org/item?id=AFST_1990_5_11_1_116_0 "From the Taniyama-Shimura conjecture to Fermat's last theorem".] Annales de la faculté des sciences de Toulouse Sér. 5, 11 no. 1 (1990), p. 116-139.
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Conjecture Abc — La conjecture abc est une conjecture en théorie des nombres. Elle a été formulée pour la première fois par Joseph Oesterlé et David Masser en 1985. Si elle était vérifiée, elle permettrait de démontrer aisément le théorème de Fermat Wiles, entre… …   Wikipédia en Français

  • Conjecture De Mertens — En théorie des nombres, si nous définissons la fonction de Mertens ainsi: étant la fonction de Möbius, alors la conjecture de Mertens énonce que Stieltjes prétendit en 1885 que …   Wikipédia en Français

  • Conjecture de mertens — En théorie des nombres, si nous définissons la fonction de Mertens ainsi: étant la fonction de Möbius, alors la conjecture de Mertens énonce que Stieltjes prétendit en 1885 que …   Wikipédia en Français

  • Conjecture abc — La conjecture abc est une conjecture en théorie des nombres. Elle a été formulée pour la première fois par Joseph Oesterlé et David Masser en 1985. C est « le problème non résolu le plus important en analyse diophantienne[1] » car si… …   Wikipédia en Français

  • Conjecture de Fermat — Dernier théorème de Fermat Travail de Diophante traduit du grec en latin par Claude Gaspard Bachet de Méziriac. Cette édition du livre a été publiée en 1621. La page 85 contient le problème II.VIII de Diophante, et est la page sur laquelle Pierre …   Wikipédia en Français

  • Unique games conjecture — The Unique Games Conjecture (UGC) is a conjecture in computational complexity theory made by Subhash Khot in 2002.A unique game is a special case of a two prover, one round (2P1R) game. A two player, one round game has two players (also known as… …   Wikipedia

  • Abc conjecture — The abc conjecture is a conjecture in number theory. It was first proposed by Joseph Oesterlé and David Masser in 1985. The conjecture is stated in terms of simple properties of three integers, one of which is the sum of the other two. Although… …   Wikipedia

  • Hadwiger conjecture (graph theory) — In graph theory, the Hadwiger conjecture (or Hadwiger s conjecture) states that, if an undirected graph G requires k or more colors in any vertex coloring, then one can find k disjoint connected subgraphs of G such that each subgraph is connected …   Wikipedia

  • Bogomolov conjecture — In mathematics, the Bogomolov conjecture generalises the Manin Mumford conjecture. It says that given a curve C of genus geq 2 over a number field K together with an embedding into its Jacobian J, the number of overline{K} rational points in C… …   Wikipedia

  • Duffin–Schaeffer conjecture — The Duffin–Schaeffer conjecture is an important conjecture in metric number theory proposed by R. J. Duffin and A. C. Schaeffer in 1941 [1]. It states that if is a real valued function taking on positive values, then for almost all α (with… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”