Ribet's theorem

Ribet's theorem This article may be too technical for most readers to understand. Bitte helfen Sie mit, es zu verbessern, damit es für Laien verständlich wird, ohne die technischen Details zu entfernen. (Februar 2022) (Erfahren Sie, wie und wann Sie diese Vorlagennachricht entfernen können) This article needs additional citations for verification. Bitte helfen Sie mit, diesen Artikel zu verbessern, indem Sie zuverlässige Quellen zitieren. Nicht bezogenes Material kann angefochten und entfernt werden. Quellen finden: "Ribet's theorem" – news · newspapers · books · scholar · JSTOR (Januar 2021) (Erfahren Sie, wie und wann Sie diese Vorlagennachricht entfernen können) Ribet's theorem (earlier called the epsilon conjecture or ε-conjecture) is part of number theory. It concerns properties of Galois representations associated with modular forms. It was proposed by Jean-Pierre Serre and proven by Ken Ribet. The proof was a significant step towards the proof of Fermat's Last Theorem (FLT). As shown by Serre and Ribet, the Taniyama–Shimura conjecture (whose status was unresolved at the time) and the epsilon conjecture together imply that FLT is true.

In mathematischer Hinsicht, Ribet's theorem shows that if the Galois representation associated with an elliptic curve has certain properties, then that curve cannot be modular (in the sense that there cannot exist a modular form that gives rise to the same representation).[1] Inhalt 1 Aussage 2 Level lowering 3 Geschichte 4 Auswirkungen 5 Siehe auch 6 Anmerkungen 7 Verweise 8 External links Statement Let f be a weight 2 newform on Γ0(qN) – i.e. of level qN where q does not divide N – with absolutely irreducible 2-dimensional mod p Galois representation ρf,p unramified at q if q ≠ p and finite flat at q = p. Then there exists a weight 2 newform g of level N such that {Anzeigestil rho _{f,p}simeq rho _{g,p}.} Im Speziellen, if E is an elliptic curve over {Anzeigestil mathbb {Q} } with conductor qN, then the modularity theorem guarantees that there exists a weight 2 newform f of level qN such that the 2-dimensional mod p Galois representation ρf, p of f is isomorphic to the 2-dimensional mod p Galois representation ρE, p of E. To apply Ribet's Theorem to ρE, p, it suffices to check the irreducibility and ramification of ρE, p. Using the theory of the Tate curve, one can prove that ρE, p is unramified at q ≠ p and finite flat at q = p if p divides the power to which q appears in the minimal discriminant ΔE. Then Ribet's theorem implies that there exists a weight 2 newform g of level N such that ρg, p ≈ ρE, p.

Level lowering Ribet's theorem states that beginning with an elliptic curve E of conductor qN does not guarantee the existence of an elliptic curve E′ of level N such that ρE, p ≈ ρE′, p. The newform g of level N may not have rational Fourier coefficients, and hence may be associated to a higher-dimensional abelian variety, not an elliptic curve. Zum Beispiel, elliptic curve 4171a1 in the Cremona database given by the equation {Anzeigestil E:y^{2}+xy+y=x^{3}-663204x+206441595} with conductor 43 × 97 and discriminant 437 × 973 does not level-lower mod 7 to an elliptic curve of conductor 97. Rather, the mod p Galois representation is isomorphic to the mod p Galois representation of an irrational newform g of level 97.

Jedoch, for p large enough compared to the level N of the level-lowered newform, a rational newform (z.B. an elliptic curve) must level-lower to another rational newform (z.B. elliptic curve). In particular for p ≫ NN1+ε, the mod p Galois representation of a rational newform cannot be isomorphic to an irrational newform of level N.[2] Ähnlich, the Frey-Mazur conjecture predicts that for large enough p (independent of the conductor N), elliptic curves with isomorphic mod p Galois representations are in fact isogenous, and hence have the same conductor. Thus non-trivial level-lowering between rational newforms is not predicted to occur for large p (p > 17).

History In his thesis, Yves Hellegouarch [fr] originated the idea of associating solutions (a,b,c) of Fermat's equation with a different mathematical object: an elliptic curve.[3] If p is an odd prime and a, b, and c are positive integers such that {Anzeigestil a^{p}+b^{p}=c^{p},} then a corresponding Frey curve is an algebraic curve given by the equation {displaystyle y^{2}=x(x-a^{p})(x+b^{p}).} This is a nonsingular algebraic curve of genus one defined over {Anzeigestil mathbb {Q} } , and its projective completion is an elliptic curve over {Anzeigestil mathbb {Q} } .

Im 1982 Gerhard Frey called attention to the unusual properties of the same curve, now called a Frey curve.[4] This provided a bridge between Fermat and Taniyama by showing that a counterexample to FLT would create a curve that would not be modular. The conjecture attracted considerable interest when Frey suggested that the Taniyama–Shimura–Weil conjecture implies FLT. Jedoch, his argument was not complete.[5] Im 1985 Jean-Pierre Serre proposed that a Frey curve could not be modular and provided a partial proof.[6][7] This showed that a proof of the semistable case of the Taniyama–Shimura conjecture would imply FLT. Serre did not provide a complete proof and the missing bit became known as the epsilon conjecture or ε-conjecture. In the summer of 1986, Kenneth Alan Ribet proved the epsilon conjecture, thereby proving that the Taniyama–Shimura–Weil conjecture implied FLT.[8] Implications Suppose that the Fermat equation with exponent p ≥ 5[8] had a solution in non-zero integers a, b, c. The corresponding Frey curve Eap,bp,cp is an elliptic curve whose minimal discriminant Δ is equal to 2−8 (abc)2p and whose conductor N is the radical of abc, d.h. the product of all distinct primes dividing abc. An elementary consideration of the equation ap + bp = cp, makes it clear that one of a, b, c is even and hence so is N. By the Taniyama–Shimura conjecture, E is a modular elliptic curve. Since all odd primes dividing a, b, c in N appear to a pth power in the minimal discriminant Δ, by Ribet's theorem repetitive level descent modulo p strips all odd primes from the conductor. Jedoch, no newforms of level 2 remain because the genus of the modular curve X0(2) ist Null (and newforms of level N are differentials on X0(N)).

See also ABC conjecture Wiles' proof of Fermat's Last Theorem Notes ^ "The Proof of Fermat's Last Theorem". 2008-12-10. Ab dem Original archiviert 2008-12-10. ^ Silliman, Jesse; Vogt, Isabel (2015). "Powers in Lucas Sequences via Galois Representations". Verfahren der American Mathematical Society. 143 (3): 1027–1041. arXiv:1307.5078. CiteSeerX 10.1.1.742.7591. doi:10.1090/S0002-9939-2014-12316-1. HERR 3293720. ^ Hellegouarch, Yves (1972). "Courbes elliptiques et equation de Fermat". Doctoral Dissertation. BNF 359121326. ^ Frey, Gerhard (1982), "Rationale Punkte auf Fermatkurven und getwisteten Modulkurven" [Rational points on Fermat curves and twisted modular curves], J. Reine Angew. Mathematik. (auf Deutsch), 331 (331): 185–191, doi:10.1515/crll.1982.331.185, HERR 0647382 ^ Frey, Gerhard (1986), "Links between stable elliptic curves and certain Diophantine equations", Annales Universitatis Saraviensis. Series Mathematicae, 1 (1): iv+40, ISSN 0933-8268, HERR 0853387 ^ Gewächshaus, J.-P. (1987), "Lettre à J.-F. Mestre [Letter to J.-F. Mestre]", Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), Zeitgenössische Mathematik (auf Französisch), vol. 67, Vorsehung, RI: Amerikanische Mathematische Gesellschaft, pp. 263–268, doi:10.1090/conm/067/902597, ISBN 9780821850749, HERR 0902597 ^ Gewächshaus, Jean Pierre (1987), "Sur les représentations modulaires de degré 2 de Gal(Q/Q)", Duke Mathematical Journal, 54 (1): 179–230, doi:10.1215/S0012-7094-87-05413-5, ISSN 0012-7094, HERR 0885783 ^ Nach oben springen: a b Ribet, Ken (1990). "On modular representations of Gal(Q/Q) arising from modular forms" (Pdf). Mathematische Entdeckungen. 100 (2): 431–476. Bibcode:1990InMat.100..431R. doi:10.1007/BF01231195. HERR 1047143. References Kenneth Ribet, From the Taniyama-Shimura conjecture to Fermat's last theorem. Annales de la faculté des sciences de Toulouse Sér. 5, 11 nein. 1 (1990), p. 116–139. Andrew Wiles (Kann 1995). "Modular elliptic curves and Fermat's Last Theorem" (Pdf). Annalen der Mathematik. 141 (3): 443–551. CiteSeerX 10.1.1.169.9076. doi:10.2307/2118559. JSTOR 2118559. Richard Taylor and Andrew Wiles (Kann 1995). "Ring-theoretic properties of certain Hecke algebras" (Pdf). Annalen der Mathematik. 141 (3): 553–572. CiteSeerX 10.1.1.128.531. doi:10.2307/2118560. ISSN 0003-486X. JSTOR 2118560. OCLC 37032255. Zbl 0823.11030. Frey Curve and Ribet's Theorem External links Ken Ribet and Fermat's Last Theorem by Kevin Buzzard June 28, 2008 Kategorien: Algebraic curvesRiemann surfacesModular formsTheorems in number theoryTheorems in algebraic geometryFermat's Last Theorem