Teorema de Ribet

Sea E una curva elíptica con coeficientes enteros en una forma mínima global. Denotemos por δ_p, respectivamente, n_p, el exponente con el que un primo p aparece en la factorización prima del discriminante Δ de E, respectivamente, el conductor N de E. Supongamos que E es una curva elíptica modular, a continuación, podemos realizar un descenso de nivel módulo primos ℓ dividiendo uno de los exponentes δ_p de un primo que divide al discriminante. Como E es modular, existe una forma modular f con la misma serie L que E, y además se sabe que f es de peso 2 y tiene nivel N igual al conductor de E. Si p^δp es un factor de potencia impar prima de Δ tal que el exponente δ_p es múltiplo de ℓ, y si p divide a N sólo una vez (es decir, n_p = 1), entonces existe otra forma modular f' también de peso 2, con nivel N'=N/p, de modo que los coeficientes de la serie L de E son congruentes módulo ℓ con los coeficientes de la serie L de f'.

La conjetura épsilon es una declaración relativa: si se asume que una determinada curva elíptica E sobre Q es modular, predice el nivel minimal que tendrá una forma modular cuya serie L es congruente con la de E módulo ℓ. El teorema puede enunciarse más generalmente partiendo de una forma modular f, esté asociada o no a una curva elíptica: el resultado de Ribet de descenso de nivel es un resultado enteramente sobre formas modulares, y es sólo en su aplicación al Último Teorema de Fermat (en combinación con los trabajos de Frey y Wiles) donde se especializa al caso de una curva elíptica modular. En general, el nivel minimal que garantiza el resultado de Ribet (para una forma modular f' que tenga serie L congruente módulo ℓa la de una forma modular f dada) será igual al conductor de Artin de la representación de Galois residual módulo ℓ asociada a f, el cual es bien sabido que divide al nivel N de f.

Una forma breve pues de enunciar el resultado de Ribet de descenso de nivel para formas modulares sería: Si el conductor de Artin de la representación de Galois módulo ℓ de una forma modular de nivel N es un divisor propio N' de N, entonces existe otra forma modular f' de nivel N' cuya serie L es congruente módulo ℓ con la de f. En particular, las representaciones de Galois módulo ℓasociadas a f y a f' son isomorfas. (En este enunciado cuando hablamos de formas modulares en realidad han de ser también formas cuspidales propias para el álgebra de Hecke, otro punto técnico esencial en el resultado de Ribet es que se debe poner como hipótesis que la representación módulo ℓasociada a f es irreducible).

En su tesis, Yves Hellegouarch define un objeto que ahora es llamado curva de Frey. Si ℓ es un primo impar y a, b, y c son números enteros positivos tales que

${\displaystyle a^{\ell }+b^{\ell }=c^{\ell },\ }$

entonces, una curva de Frey correspondiente es una curva algebraica dada por la ecuación

${\displaystyle y^{2}=x(x-a^{\ell })(x+b^{\ell })\ }$

o, de modo equivalente

${\displaystyle y^{2}=x(x-a^{\ell })(x-c^{\ell }).\ }$

Esta es una curva algebraica no singular de género uno sobre Q, que es también (como curva proyectiva, es decir, añadiéndole el punto al infinito, que por corresponder a la dirección vertical está en Q) curva elíptica sobre Q. Gerhard Frey sugirió que cualquier curva de tal naturaleza, por ser semiestable y por la forma especial de su discriminante (que resulta ser una potencia ℓ-esima) tendría demasiadas propiedades peculiares, y, en particular, no va a ser modular. A primeros de la década de 1980, Jean-Pierre Serre dio una reformulación en términos de representaciones de Galois, y demostró que suponiendo la conjetura épsilon (ahora Teorema de Ribet) Frey había estado acertado y que una curva de Frey no puede ser modular.

• Conjetura abc
• Curvas elípticas

• Anthony W. Knapp, Elliptic Curves, Princeton, 1992
• Ken Ribet (1990). «On modular representations of ${\displaystyle \scriptstyle \operatorname {Gal} ({\bar {Q}}/Q)}$ arising from modular forms» (PDF). Inventiones mathematicae 100 (2): 431-471.
• Kenneth Ribet, 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.
• Andrew Wiles (mayo de 1995). «Modular elliptic curves and Fermat's Last Theorem» (PDF). Annals of Mathematics 141 (3): 443-551. doi:10.2307/2118559.
• Weisstein, Eric W. «Frey Curve». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. y Weisstein, Eric W. «Ribet's Theorem». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

• Ken Ribet and Fermat's Last Theorem por Kevin Buzzard 28 de junio de 2008