Knowledge

Modularity theorem

Source 📝

190: 772:. Wiles used this to prove Fermat's Last Theorem, and the full Taniyama–Shimura–Weil conjecture was finally proved by Diamond, Conrad, Diamond & Taylor; and Breuil, Conrad, Diamond & Taylor; building on Wiles's work, they incrementally chipped away at the remaining cases until the full result was proved in 1999. Once fully proven, the conjecture became known as the modularity theorem. 1394: 697:, corresponding to Hecke eigenforms of weight 2. The 1-dimensional factors are elliptic curves (there can also be higher-dimensional factors, so not all Hecke eigenforms correspond to rational elliptic curves). The curve obtained by finding the corresponding cusp form, and then constructing a curve from it, is 738:-series of the elliptic curve; this was the first serious evidence that the conjecture might be true. Weil also showed that the conductor of the elliptic curve should be the level of the corresponding modular form. The Taniyama–Shimura–Weil conjecture became a part of the 1582:
attached on the one hand to elliptic curves, and on the other hand to modular forms. The latter formulation has been used in the proof of the conjecture. Dealing with the level of the forms (and the connection to the conductor of the curve) is particularly delicate.
749:. He did this by attempting to show that any counterexample to Fermat's Last Theorem would imply the existence of at least one non-modular elliptic curve. This argument was completed in 1987 when Jean-Pierre Serre identified a missing link (now known as the 1127: 756:
Even after gaining serious attention, the Taniyama–Shimura–Weil conjecture was seen by contemporary mathematicians as extraordinarily difficult to prove or perhaps even inaccessible to proof. For example, Wiles's Ph.D. supervisor
1814:
cannot be modular. Thus, the proof of the Taniyama–Shimura–Weil conjecture for this family of elliptic curves (called Hellegouarch–Frey curves) implies FLT. The proof of the link between these two statements, based on an idea of
1001: 483: 1523: 586: 1058:
There are several formulations of the conjecture. Showing that they are equivalent was a main challenge of number theory in the second half of the 20th century. The modularity of an elliptic curve
734:
and Taniyama worked on improving its rigor until 1957. André Weil rediscovered the conjecture, and showed in 1967 that it would follow from the (conjectured) functional equations for some twisted
1132: 1809: 1745: 1651: 634: 1389:{\displaystyle {\begin{aligned}x(z)&=q^{-2}+2q^{-1}+5+9q+18q^{2}+29q^{3}+51q^{4}+\cdots \\y(z)&=q^{-3}+3q^{-2}+9q^{-1}+21+46q+92q^{2}+180q^{3}+\cdots \end{aligned}}} 761:
states that it seemed "impossible to actually prove", and Ken Ribet considered himself "one of the vast majority of people who believed was completely inaccessible".
856: 775:
Several theorems in number theory similar to Fermat's Last Theorem follow from the modularity theorem. For example: no cube can be written as a sum of two
1657: 3045: 340:
is the smallest integer for which such a parametrization can be found (which by the modularity theorem itself is now known to be a number called the
17: 813:(a suitable generalization of a modular form) to more general objects of arithmetic algebraic geometry, such as to every elliptic curve over a 2379: 2296: 2256: 714: 402: 346:), then the parametrization may be defined in terms of a mapping generated by a particular kind of modular form of weight two and level 3671: 722:
stated a preliminary (slightly incorrect) version of the conjecture at the 1955 international symposium on algebraic number theory in
753:
or Ribet's theorem) in Frey's original work, followed two years later by Ken Ribet's completion of a proof of the epsilon conjecture.
3468: 332:; this is a curve with integer coefficients with an explicit definition. This mapping is called a modular parametrization of level 3666: 254: 2294:
Conrad, Brian; Diamond, Fred; Taylor, Richard (1999), "Modularity of certain potentially Barsotti–Tate Galois representations",
1452: 226: 3560: 3197: 3157: 3038: 2765: 2353: 2140: 509: 3676: 233: 207: 1756: 3661: 3626: 3248: 3147: 3616: 2250:
Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001), "On the modularity of elliptic curves over
273: 693:
for an elliptic curve. The Jacobian of the modular curve can (up to isogeny) be written as a product of irreducible
240: 3326: 3031: 31: 2988: 2454:
Freitas, Nuno; Le Hung, Bao V.; Siksek, Samir (2015), "Elliptic curves over real quadratic fields are modular",
3473: 3394: 3384: 3321: 1673: 765: 342: 222: 211: 169: 149: 90: 3071: 2998: 2551: 382: 3681: 3291: 3187: 3550: 3514: 3213: 3126: 2993: 3524: 3162: 1603: 810: 597: 2592:
Discusses the Taniyama–Shimura–Weil conjecture 3 years before it was proven for infinitely many cases.
3651: 3570: 2679: 769: 153: 2920: 3686: 3483: 3463: 3399: 3316: 3218: 3177: 2812: 2608: 2456: 1587: 746: 745:
The conjecture attracted considerable interest when Gerhard Frey suggested in 1986 that it implies
710: 690: 157: 108: 3374: 3182: 312: 200: 3009: 2518:
Frey, Gerhard (1986), "Links between stable elliptic curves and certain Diophantine equations",
247: 3656: 3167: 2915: 2807: 3281: 3545: 3243: 3192: 3081: 2906: 2857: 2798: 2410: 1579: 3621: 3493: 3152: 2972: 2953: 2886: 2845: 2746: 2708: 2655: 2617: 2588: 2539: 2503: 2475: 2447: 2400: 2363: 2327: 2287: 2198: 1662: 3404: 8: 3458: 3336: 3301: 3258: 3238: 2335: 2123:
Zagier, D. (1985). "Modular points, modular curves, modular surfaces and modular forms".
489: 2621: 2479: 3588: 3379: 3359: 2941: 2890: 2833: 2659: 2576: 2507: 2465: 2435: 2214: 1895: 750: 698: 359: 3331: 2157: 2100: 1051:
The conjecture, going back to the 1950s, was completely proven by 1999 using ideas of
996:{\displaystyle f(z)=q-2q^{2}-3q^{3}+2q^{4}-2q^{5}+6q^{6}+\cdots ,\qquad q=e^{2\pi iz}} 3488: 3435: 3306: 3121: 3116: 3006: 2965:
Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (ZĂŒrich, 1994)
2933: 2894: 2874: 2825: 2761: 2734: 2696: 2670: 2663: 2643: 2568: 2527: 2511: 2491: 2427: 2388: 2371: 2349: 2315: 2275: 2186: 2136: 2107: 802: 739: 694: 173: 78: 820:
In 2013, Freitas, Le Hung, and Siksek proved that elliptic curves defined over real
727: 3478: 3364: 3341: 2925: 2866: 2817: 2724: 2715:
Shimura, Goro (1989), "Yutaka Taniyama and his time. Very personal recollections",
2688: 2633: 2625: 2560: 2483: 2419: 2305: 2265: 2226: 2176: 2128: 2103: 1436: 1097: 806: 798: 393: 2692: 2310: 2270: 3593: 3409: 3351: 3253: 3076: 3055: 2968: 2949: 2882: 2855:(1967), "Über die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen", 2841: 2742: 2704: 2651: 2584: 2535: 2499: 2443: 2396: 2359: 2345: 2339: 2323: 2283: 2194: 821: 719: 295: 137: 56: 3276: 3101: 3086: 3063: 1916: 1656:
has a solution with non-zero integers, hence a counter-example to FLT. Then as
1010:
not equal to 37, one can verify the property about the coefficients. Thus, for
758: 679: 640: 291: 133: 2638: 2487: 2076: 3645: 3608: 3389: 3369: 3296: 3091: 3023: 2937: 2878: 2829: 2738: 2700: 2647: 2572: 2531: 2495: 2431: 2392: 2319: 2279: 2190: 1820: 46: 2852: 2729: 2181: 2127:. Lecture Notes in Mathematics. Vol. 1111. Springer. pp. 225–248. 797:
The modularity theorem is a special case of more general conjectures due to
176:, extended Wiles's techniques to prove the full modularity theorem in 2001. 3555: 3529: 3519: 3509: 3311: 3131: 2960: 2901: 2793: 1816: 1067: 1052: 814: 731: 301: 165: 161: 145: 141: 86: 82: 60: 2404:
Contains a gentle introduction to the theorem and an outline of the proof.
3430: 3268: 2753: 2546: 1432: 308: 3425: 2945: 2870: 2837: 2629: 2580: 2439: 2132: 2099:
A synthetic presentation (in French) of the main ideas can be found in
214: in this section. Unsourced material may be challenged and removed. 2963:(1995b), "Modular forms, elliptic curves, and Fermat's last theorem", 817:. Most cases of these extended conjectures have not yet been proved. 3286: 3014: 2231: 2032: 671: 370:
The modularity theorem implies a closely related analytic statement:
3004: 2929: 2821: 2564: 2423: 189: 2372:"A proof of the full Shimura–Taniyama–Weil conjecture is announced" 1900: 1586:
The most spectacular application of the conjecture is the proof of
478:{\displaystyle L(E,s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}.} 2470: 850:, with discriminant (and conductor) 37, is associated to the form 3598: 3583: 1980: 776: 351: 305: 287: 2044: 3578: 2796:(1995), "Ring-theoretic properties of certain Hecke algebras", 2215:"From the Taniyama–Shimura conjecture to Fermat's Last Theorem" 2020: 1055:, who proved it in 1994 for a large family of elliptic curves. 701:
to the original curve (but not, in general, isomorphic to it).
2904:(1995a), "Modular elliptic curves and Fermat's last theorem", 2673:(1987), "Sur les représentations modulaires de degré 2 de Gal( 2408:
Diamond, Fred (1996), "On deformation rings and Hecke rings",
1431:
are modular of weight 0 and level 37; in other words they are
2596:
Ribet, Kenneth A. (1990), "On modular representations of Gal(
1847: 1066:
can be expressed also by saying that there is a non-constant
723: 2088: 1992: 689:
Some modular forms of weight two, in turn, correspond to
666:-series are also thought of as the Fourier coefficients of 1819:(1985), is difficult and technical. It was established by 2249: 2038: 1887: 1518:{\displaystyle x\!\left({\frac {az+b}{cz+d}}\right)=x(z)} 2967:, Basel, Boston, Berlin: BirkhĂ€user, pp. 243–245, 2333: 581:{\displaystyle f(E,q)=\sum _{n=1}^{\infty }a_{n}q^{n}.} 160:. Later, a series of papers by Wiles's former students 2520:
Annales Universitatis Saraviensis. Series Mathematicae
768:, proved the Taniyama–Shimura–Weil conjecture for all 670:. The function obtained in this way is, remarkably, a 1759: 1676: 1606: 1455: 1130: 859: 600: 512: 405: 2453: 2050: 1103:
For example, a modular parametrization of the curve
2293: 2026: 2008: 1970: 1968: 1863: 1804:{\displaystyle \Delta ={\frac {1}{256}}(abc)^{2p}} 1803: 1739: 1645: 1517: 1388: 1017:, there are 6 solutions of the equation modulo 3: 995: 628: 580: 477: 1917:"Some History of the Shimura-Taniyama Conjecture" 1578:Another formulation depends on the comparison of 1459: 27:Relates rational elliptic curves to modular forms 3643: 1965: 1953: 678:and is also an eigenform (an eigenvector of all 2717:The Bulletin of the London Mathematical Society 1941: 1894:Harris, Michael (2020). "Virtues of Priority". 1875: 3053: 2219:Annales de la FacultĂ© des Sciences de Toulouse 3039: 686:, which follows from the modularity theorem. 2380:Notices of the American Mathematical Society 2297:Journal of the American Mathematical Society 2257:Journal of the American Mathematical Society 2155: 2111: 1924:Notices of the American Mathematical Society 1667:was the first to notice, the elliptic curve 2791: 2077:http://www.lmfdb.org/EllipticCurve/Q/37/a/1 764:In 1995, Andrew Wiles, with some help from 3046: 3032: 2919: 2811: 2728: 2637: 2469: 2309: 2269: 2230: 2180: 2110:. For more details see Hellegouarch  1899: 1740:{\displaystyle y^{2}=x(x-a^{p})(x+b^{p})} 274:Learn how and when to remove this message 130:modularity conjecture for elliptic curves 2773: 1869: 2785: 2774:Taniyama, Yutaka (1956), "Problem 12", 2714: 2407: 2341:Modular forms and Fermat's last theorem 2014: 14: 3644: 3469:Clifford's theorem on special divisors 2986: 2959: 2900: 2369: 2212: 2122: 2063: 2062:For the calculations, see for example 2002: 1998: 1893: 715:Wiles's proof of Fermat's Last Theorem 358:-expansion, followed if need be by an 3027: 3005: 2752: 2669: 2595: 2545: 1986: 1974: 1959: 365: 2851: 2517: 1947: 1914: 1881: 212:adding citations to reliable sources 183: 172:, culminating in a joint paper with 2549:(1991), "Number theory as gadfly", 24: 3627:Vector bundles on algebraic curves 3561:Weber's theorem (Algebraic curves) 3158:Hasse's theorem on elliptic curves 3148:Counting points on elliptic curves 2051:Freitas, Le Hung & Siksek 2015 1760: 792: 550: 443: 152:proved the modularity theorem for 25: 3698: 3672:Conjectures that have been proved 2980: 2552:The American Mathematical Monthly 2027:Conrad, Diamond & Taylor 1999 1646:{\displaystyle a^{p}+b^{p}=c^{p}} 629:{\displaystyle q=e^{2\pi i\tau }} 1590:(FLT). Suppose that for a prime 832:For example, the elliptic curve 639:we see that we have written the 188: 126:Taniyama–Shimura–Weil conjecture 3249:Hurwitz's automorphisms theorem 2606:) arising from modular forms", 2338:; Stevens, Glenn, eds. (1997), 2242: 2205: 2149: 2116: 2093: 2081: 2069: 2056: 1833: 1092:. In particular, the points of 967: 199:needs additional citations for 3667:Theorems in algebraic geometry 3474:Gonality of an algebraic curve 3385:Differential of the first kind 1908: 1789: 1776: 1734: 1715: 1712: 1693: 1512: 1506: 1268: 1262: 1144: 1138: 869: 863: 528: 516: 421: 409: 381:we may attach a corresponding 13: 1: 3617:Birkhoff–Grothendieck theorem 3327:Nagata's conjecture on curves 3198:Schoof–Elkies–Atkin algorithm 3072:Five points determine a conic 3010:"Taniyama–Shimura Conjecture" 2989:"Shimura–Taniyama conjecture" 2693:10.1215/S0012-7094-87-05413-5 2311:10.1090/S0894-0347-99-00287-8 2271:10.1090/S0894-0347-01-00370-8 1989:, pp. 203–205, 223, 226. 1915:Lang, Serge (November 1995). 1857: 662:, so the coefficients of the 32:Serre's modularity conjecture 3188:Supersingular elliptic curve 2162:sur les courbes elliptiques" 591:If we make the substitution 179: 156:, which was enough to imply 7: 3677:20th century in mathematics 3395:Riemann's existence theorem 3322:Hilbert's sixteenth problem 3214:Elliptic curve cryptography 3127:Fundamental pair of periods 2994:Encyclopedia of Mathematics 2156:Hellegouarch, Yves (1974). 122:Taniyama–Shimura conjecture 18:Taniyama–Shimura conjecture 10: 3703: 3525:Moduli of algebraic curves 2254:: wild 3-adic exercises", 827: 811:automorphic representation 770:semistable elliptic curves 708: 704: 154:semistable elliptic curves 29: 3662:Theorems in number theory 3607: 3569: 3538: 3502: 3451: 3444: 3418: 3350: 3267: 3231: 3206: 3140: 3109: 3100: 3062: 2680:Duke Mathematical Journal 2488:10.1007/s00222-014-0550-z 1074:, from the modular curve 691:holomorphic differentials 104: 96: 74: 66: 52: 42: 3292:Cayley–Bacharach theorem 3219:Elliptic curve primality 2784:English translation in ( 2609:Inventiones Mathematicae 2457:Inventiones Mathematicae 2089:https://oeis.org/A007653 1826: 674:of weight two and level 658:of the complex variable 30:Not to be confused with 3551:Riemann–Hurwitz formula 3515:Gromov–Witten invariant 3375:Compact Riemann surface 3163:Mazur's torsion theorem 2182:10.4064/aa-26-3-253-263 2125:Arbeitstagung Bonn 1984 1096:can be parametrized by 373:To each elliptic curve 313:classical modular curve 3168:Modular elliptic curve 2370:Darmon, Henri (1999), 1805: 1741: 1647: 1597:, the Fermat equation 1580:Galois representations 1519: 1390: 997: 630: 582: 554: 479: 447: 300:can be obtained via a 144:in a particular way. 3082:Rational normal curve 2907:Annals of Mathematics 2858:Mathematische Annalen 2799:Annals of Mathematics 2758:Fermat's Last Theorem 2730:10.1112/blms/21.2.186 2411:Annals of Mathematics 1846:was already known by 1806: 1742: 1648: 1588:Fermat's Last Theorem 1520: 1391: 998: 747:Fermat's Last Theorem 711:Fermat's Last Theorem 709:Further information: 684:Hasse–Weil conjecture 631: 583: 534: 480: 427: 158:Fermat's Last Theorem 120:(formerly called the 109:Fermat's Last Theorem 3622:Stable vector bundle 3494:Weil reciprocity law 3484:Riemann–Roch theorem 3464:Brill–Noether theory 3400:Riemann–Roch theorem 3317:Genus–degree formula 3178:Mordell–Weil theorem 3153:Division polynomials 2987:Darmon, H. (2001) , 2344:, Berlin, New York: 2336:Silverman, Joseph H. 1757: 1674: 1604: 1453: 1128: 857: 598: 510: 492:of the coefficients 403: 223:"Modularity theorem" 208:improve this article 3682:Arithmetic geometry 3445:Structure of curves 3337:Quartic plane curve 3259:Hyperelliptic curve 3239:De Franchis theorem 3183:Nagell–Lutz theorem 2622:1990InMat.100..431R 2480:2015InMat.201..159F 2213:Ribet, K. (1990b). 1539:, for all integers 805:seeks to attach an 490:generating function 396:, commonly written 39: 3452:Divisors on curves 3244:Faltings's theorem 3193:Schoof's algorithm 3173:Modularity theorem 3007:Weisstein, Eric W. 2871:10.1007/BF01361551 2671:Serre, Jean-Pierre 2639:10338.dmlcz/147454 2630:10.1007/BF01231195 2211:See the survey of 2133:10.1007/BFb0084592 2066:, pp. 225–248 2039:Breuil et al. 2001 1801: 1737: 1643: 1515: 1386: 1384: 1006:For prime numbers 993: 751:epsilon conjecture 626: 578: 475: 366:Related statements 136:over the field of 118:modularity theorem 38:Modularity theorem 37: 3639: 3638: 3635: 3634: 3546:Hasse–Witt matrix 3489:Weierstrass point 3436:Smooth completion 3405:TeichmĂŒller space 3307:Cubic plane curve 3227: 3226: 3141:Arithmetic theory 3122:Elliptic integral 3117:Elliptic function 2910:, Second Series, 2802:, Second Series, 2792:Taylor, Richard; 2767:978-1-85702-521-7 2760:, Fourth Estate, 2414:, Second Series, 2387:(11): 1397–1401, 2355:978-0-387-94609-2 2158:"Points d'ordre 2 2142:978-3-540-39298-9 2108:Jean-Pierre Serre 1774: 1658:Yves Hellegouarch 1528:and likewise for 1494: 1435:, defined on the 1399:where, as above, 1098:modular functions 803:Langlands program 740:Langlands program 695:Abelian varieties 641:Fourier expansion 470: 328:for some integer 284: 283: 276: 258: 174:Christophe Breuil 114: 113: 79:Christophe Breuil 16:(Redirected from 3694: 3652:Algebraic curves 3479:Jacobian variety 3449: 3448: 3352:Riemann surfaces 3342:Real plane curve 3302:Cramer's paradox 3282:BĂ©zout's theorem 3107: 3106: 3056:algebraic curves 3048: 3041: 3034: 3025: 3024: 3020: 3019: 3001: 2975: 2956: 2923: 2897: 2848: 2815: 2783: 2770: 2749: 2732: 2711: 2676: 2666: 2641: 2601: 2591: 2542: 2514: 2473: 2450: 2403: 2376: 2366: 2330: 2313: 2290: 2273: 2237: 2236: 2234: 2232:10.5802/afst.698 2209: 2203: 2202: 2184: 2169:Acta Arithmetica 2166: 2153: 2147: 2146: 2120: 2114: 2097: 2091: 2085: 2079: 2073: 2067: 2060: 2054: 2048: 2042: 2036: 2030: 2024: 2018: 2012: 2006: 1996: 1990: 1984: 1978: 1972: 1963: 1957: 1951: 1945: 1939: 1938: 1936: 1935: 1921: 1912: 1906: 1905: 1903: 1891: 1885: 1879: 1873: 1867: 1851: 1845: 1837: 1810: 1808: 1807: 1802: 1800: 1799: 1775: 1767: 1750:of discriminant 1746: 1744: 1743: 1738: 1733: 1732: 1711: 1710: 1686: 1685: 1666: 1652: 1650: 1649: 1644: 1642: 1641: 1629: 1628: 1616: 1615: 1596: 1574: 1567: 1556: 1538: 1524: 1522: 1521: 1516: 1499: 1495: 1493: 1479: 1465: 1445: 1437:upper half-plane 1430: 1419: 1409:. The functions 1408: 1395: 1393: 1392: 1387: 1385: 1375: 1374: 1359: 1358: 1328: 1327: 1309: 1308: 1290: 1289: 1248: 1247: 1232: 1231: 1216: 1215: 1185: 1184: 1166: 1165: 1120: 1095: 1091: 1087: 1073: 1065: 1061: 1047: 1046:(3) = 3 − 6 = −3 1040: 1036: 1032: 1028: 1024: 1020: 1016: 1009: 1002: 1000: 999: 994: 992: 991: 957: 956: 941: 940: 925: 924: 909: 908: 893: 892: 849: 822:quadratic fields 807:automorphic form 799:Robert Langlands 788: 781: 737: 677: 669: 665: 661: 657: 635: 633: 632: 627: 625: 624: 587: 585: 584: 579: 574: 573: 564: 563: 553: 548: 502: 484: 482: 481: 476: 471: 469: 468: 459: 458: 449: 446: 441: 394:Dirichlet series 391: 385: 380: 376: 357: 349: 339: 335: 331: 327: 298: 290:states that any 279: 272: 268: 265: 259: 257: 216: 192: 184: 140:are related to 138:rational numbers 40: 36: 21: 3702: 3701: 3697: 3696: 3695: 3693: 3692: 3691: 3687:1995 in science 3642: 3641: 3640: 3631: 3603: 3594:Delta invariant 3565: 3534: 3498: 3459:Abel–Jacobi map 3440: 3414: 3410:Torelli theorem 3380:Dessin d'enfant 3360:Belyi's theorem 3346: 3332:PlĂŒcker formula 3263: 3254:Hurwitz surface 3223: 3202: 3136: 3110:Analytic theory 3102:Elliptic curves 3096: 3077:Projective line 3064:Rational curves 3058: 3052: 2983: 2978: 2930:10.2307/2118559 2921:10.1.1.169.9076 2822:10.2307/2118560 2778:(in Japanese), 2768: 2674: 2597: 2565:10.2307/2324924 2424:10.2307/2118586 2374: 2356: 2346:Springer-Verlag 2334:Cornell, Gary; 2245: 2240: 2210: 2206: 2164: 2154: 2150: 2143: 2121: 2117: 2098: 2094: 2086: 2082: 2074: 2070: 2061: 2057: 2049: 2045: 2037: 2033: 2025: 2021: 2013: 2009: 1997: 1993: 1985: 1981: 1973: 1966: 1958: 1954: 1946: 1942: 1933: 1931: 1930:(11): 1301–1307 1919: 1913: 1909: 1892: 1888: 1880: 1876: 1868: 1864: 1860: 1855: 1854: 1840: 1838: 1834: 1829: 1792: 1788: 1766: 1758: 1755: 1754: 1728: 1724: 1706: 1702: 1681: 1677: 1675: 1672: 1671: 1660: 1637: 1633: 1624: 1620: 1611: 1607: 1605: 1602: 1601: 1591: 1569: 1558: 1540: 1529: 1480: 1466: 1464: 1460: 1454: 1451: 1450: 1439: 1421: 1410: 1400: 1383: 1382: 1370: 1366: 1354: 1350: 1320: 1316: 1301: 1297: 1282: 1278: 1271: 1256: 1255: 1243: 1239: 1227: 1223: 1211: 1207: 1177: 1173: 1158: 1154: 1147: 1131: 1129: 1126: 1125: 1104: 1093: 1089: 1081: 1075: 1071: 1063: 1059: 1042: 1038: 1034: 1030: 1026: 1022: 1018: 1011: 1007: 978: 974: 952: 948: 936: 932: 920: 916: 904: 900: 888: 884: 858: 855: 854: 833: 830: 795: 793:Generalizations 783: 779: 735: 720:Yutaka Taniyama 717: 707: 682:); this is the 680:Hecke operators 675: 667: 663: 659: 644: 611: 607: 599: 596: 595: 569: 565: 559: 555: 549: 538: 511: 508: 507: 501: 493: 464: 460: 454: 450: 448: 442: 431: 404: 401: 400: 389: 383: 378: 374: 368: 355: 350:, a normalized 347: 337: 333: 329: 321: 315: 296: 280: 269: 263: 260: 217: 215: 205: 193: 182: 134:elliptic curves 89: 85: 81: 59: 57:Yutaka Taniyama 35: 28: 23: 22: 15: 12: 11: 5: 3700: 3690: 3689: 3684: 3679: 3674: 3669: 3664: 3659: 3654: 3637: 3636: 3633: 3632: 3630: 3629: 3624: 3619: 3613: 3611: 3609:Vector bundles 3605: 3604: 3602: 3601: 3596: 3591: 3586: 3581: 3575: 3573: 3567: 3566: 3564: 3563: 3558: 3553: 3548: 3542: 3540: 3536: 3535: 3533: 3532: 3527: 3522: 3517: 3512: 3506: 3504: 3500: 3499: 3497: 3496: 3491: 3486: 3481: 3476: 3471: 3466: 3461: 3455: 3453: 3446: 3442: 3441: 3439: 3438: 3433: 3428: 3422: 3420: 3416: 3415: 3413: 3412: 3407: 3402: 3397: 3392: 3387: 3382: 3377: 3372: 3367: 3362: 3356: 3354: 3348: 3347: 3345: 3344: 3339: 3334: 3329: 3324: 3319: 3314: 3309: 3304: 3299: 3294: 3289: 3284: 3279: 3273: 3271: 3265: 3264: 3262: 3261: 3256: 3251: 3246: 3241: 3235: 3233: 3229: 3228: 3225: 3224: 3222: 3221: 3216: 3210: 3208: 3204: 3203: 3201: 3200: 3195: 3190: 3185: 3180: 3175: 3170: 3165: 3160: 3155: 3150: 3144: 3142: 3138: 3137: 3135: 3134: 3129: 3124: 3119: 3113: 3111: 3104: 3098: 3097: 3095: 3094: 3089: 3087:Riemann sphere 3084: 3079: 3074: 3068: 3066: 3060: 3059: 3051: 3050: 3043: 3036: 3028: 3022: 3021: 3002: 2982: 2981:External links 2979: 2977: 2976: 2957: 2914:(3): 443–551, 2898: 2849: 2813:10.1.1.128.531 2806:(3): 553–572, 2789: 2771: 2766: 2750: 2723:(2): 186–196, 2712: 2687:(1): 179–230, 2667: 2616:(2): 431–476, 2593: 2559:(7): 593–610, 2543: 2515: 2464:(1): 159–206, 2451: 2418:(1): 137–166, 2405: 2367: 2354: 2331: 2304:(2): 521–567, 2291: 2264:(4): 843–939, 2246: 2244: 2241: 2239: 2238: 2204: 2175:(3): 253–263. 2148: 2141: 2115: 2092: 2080: 2068: 2055: 2043: 2031: 2019: 2007: 1991: 1979: 1964: 1952: 1940: 1907: 1886: 1874: 1861: 1859: 1856: 1853: 1852: 1831: 1830: 1828: 1825: 1812: 1811: 1798: 1795: 1791: 1787: 1784: 1781: 1778: 1773: 1770: 1765: 1762: 1748: 1747: 1736: 1731: 1727: 1723: 1720: 1717: 1714: 1709: 1705: 1701: 1698: 1695: 1692: 1689: 1684: 1680: 1654: 1653: 1640: 1636: 1632: 1627: 1623: 1619: 1614: 1610: 1526: 1525: 1514: 1511: 1508: 1505: 1502: 1498: 1492: 1489: 1486: 1483: 1478: 1475: 1472: 1469: 1463: 1458: 1397: 1396: 1381: 1378: 1373: 1369: 1365: 1362: 1357: 1353: 1349: 1346: 1343: 1340: 1337: 1334: 1331: 1326: 1323: 1319: 1315: 1312: 1307: 1304: 1300: 1296: 1293: 1288: 1285: 1281: 1277: 1274: 1272: 1270: 1267: 1264: 1261: 1258: 1257: 1254: 1251: 1246: 1242: 1238: 1235: 1230: 1226: 1222: 1219: 1214: 1210: 1206: 1203: 1200: 1197: 1194: 1191: 1188: 1183: 1180: 1176: 1172: 1169: 1164: 1161: 1157: 1153: 1150: 1148: 1146: 1143: 1140: 1137: 1134: 1133: 1079: 1004: 1003: 990: 987: 984: 981: 977: 973: 970: 966: 963: 960: 955: 951: 947: 944: 939: 935: 931: 928: 923: 919: 915: 912: 907: 903: 899: 896: 891: 887: 883: 880: 877: 874: 871: 868: 865: 862: 829: 826: 794: 791: 766:Richard Taylor 706: 703: 643:of a function 637: 636: 623: 620: 617: 614: 610: 606: 603: 589: 588: 577: 572: 568: 562: 558: 552: 547: 544: 541: 537: 533: 530: 527: 524: 521: 518: 515: 497: 486: 485: 474: 467: 463: 457: 453: 445: 440: 437: 434: 430: 426: 423: 420: 417: 414: 411: 408: 367: 364: 319: 292:elliptic curve 282: 281: 196: 194: 187: 181: 178: 170:Richard Taylor 150:Richard Taylor 132:) states that 112: 111: 106: 102: 101: 98: 97:First proof in 94: 93: 91:Richard Taylor 76: 75:First proof by 72: 71: 68: 67:Conjectured in 64: 63: 54: 53:Conjectured by 50: 49: 44: 26: 9: 6: 4: 3: 2: 3699: 3688: 3685: 3683: 3680: 3678: 3675: 3673: 3670: 3668: 3665: 3663: 3660: 3658: 3657:Modular forms 3655: 3653: 3650: 3649: 3647: 3628: 3625: 3623: 3620: 3618: 3615: 3614: 3612: 3610: 3606: 3600: 3597: 3595: 3592: 3590: 3587: 3585: 3582: 3580: 3577: 3576: 3574: 3572: 3571:Singularities 3568: 3562: 3559: 3557: 3554: 3552: 3549: 3547: 3544: 3543: 3541: 3537: 3531: 3528: 3526: 3523: 3521: 3518: 3516: 3513: 3511: 3508: 3507: 3505: 3501: 3495: 3492: 3490: 3487: 3485: 3482: 3480: 3477: 3475: 3472: 3470: 3467: 3465: 3462: 3460: 3457: 3456: 3454: 3450: 3447: 3443: 3437: 3434: 3432: 3429: 3427: 3424: 3423: 3421: 3419:Constructions 3417: 3411: 3408: 3406: 3403: 3401: 3398: 3396: 3393: 3391: 3390:Klein quartic 3388: 3386: 3383: 3381: 3378: 3376: 3373: 3371: 3370:Bolza surface 3368: 3366: 3365:Bring's curve 3363: 3361: 3358: 3357: 3355: 3353: 3349: 3343: 3340: 3338: 3335: 3333: 3330: 3328: 3325: 3323: 3320: 3318: 3315: 3313: 3310: 3308: 3305: 3303: 3300: 3298: 3297:Conic section 3295: 3293: 3290: 3288: 3285: 3283: 3280: 3278: 3277:AF+BG theorem 3275: 3274: 3272: 3270: 3266: 3260: 3257: 3255: 3252: 3250: 3247: 3245: 3242: 3240: 3237: 3236: 3234: 3230: 3220: 3217: 3215: 3212: 3211: 3209: 3205: 3199: 3196: 3194: 3191: 3189: 3186: 3184: 3181: 3179: 3176: 3174: 3171: 3169: 3166: 3164: 3161: 3159: 3156: 3154: 3151: 3149: 3146: 3145: 3143: 3139: 3133: 3130: 3128: 3125: 3123: 3120: 3118: 3115: 3114: 3112: 3108: 3105: 3103: 3099: 3093: 3092:Twisted cubic 3090: 3088: 3085: 3083: 3080: 3078: 3075: 3073: 3070: 3069: 3067: 3065: 3061: 3057: 3049: 3044: 3042: 3037: 3035: 3030: 3029: 3026: 3017: 3016: 3011: 3008: 3003: 3000: 2996: 2995: 2990: 2985: 2984: 2974: 2970: 2966: 2962: 2961:Wiles, Andrew 2958: 2955: 2951: 2947: 2943: 2939: 2935: 2931: 2927: 2922: 2917: 2913: 2909: 2908: 2903: 2902:Wiles, Andrew 2899: 2896: 2892: 2888: 2884: 2880: 2876: 2872: 2868: 2864: 2860: 2859: 2854: 2850: 2847: 2843: 2839: 2835: 2831: 2827: 2823: 2819: 2814: 2809: 2805: 2801: 2800: 2795: 2794:Wiles, Andrew 2790: 2787: 2781: 2777: 2772: 2769: 2763: 2759: 2755: 2751: 2748: 2744: 2740: 2736: 2731: 2726: 2722: 2718: 2713: 2710: 2706: 2702: 2698: 2694: 2690: 2686: 2682: 2681: 2672: 2668: 2665: 2661: 2657: 2653: 2649: 2645: 2640: 2635: 2631: 2627: 2623: 2619: 2615: 2611: 2610: 2605: 2600: 2594: 2590: 2586: 2582: 2578: 2574: 2570: 2566: 2562: 2558: 2554: 2553: 2548: 2544: 2541: 2537: 2533: 2529: 2525: 2521: 2516: 2513: 2509: 2505: 2501: 2497: 2493: 2489: 2485: 2481: 2477: 2472: 2467: 2463: 2459: 2458: 2452: 2449: 2445: 2441: 2437: 2433: 2429: 2425: 2421: 2417: 2413: 2412: 2406: 2402: 2398: 2394: 2390: 2386: 2382: 2381: 2373: 2368: 2365: 2361: 2357: 2351: 2347: 2343: 2342: 2337: 2332: 2329: 2325: 2321: 2317: 2312: 2307: 2303: 2299: 2298: 2292: 2289: 2285: 2281: 2277: 2272: 2267: 2263: 2259: 2258: 2253: 2248: 2247: 2233: 2228: 2224: 2220: 2216: 2208: 2200: 2196: 2192: 2188: 2183: 2178: 2174: 2170: 2163: 2161: 2152: 2144: 2138: 2134: 2130: 2126: 2119: 2113: 2109: 2105: 2102: 2096: 2090: 2084: 2078: 2072: 2065: 2059: 2052: 2047: 2040: 2035: 2028: 2023: 2016: 2011: 2004: 2000: 1995: 1988: 1983: 1976: 1971: 1969: 1961: 1956: 1949: 1944: 1929: 1925: 1918: 1911: 1902: 1897: 1890: 1883: 1878: 1871: 1870:Taniyama 1956 1866: 1862: 1849: 1843: 1836: 1832: 1824: 1822: 1821:Kenneth Ribet 1818: 1796: 1793: 1785: 1782: 1779: 1771: 1768: 1763: 1753: 1752: 1751: 1729: 1725: 1721: 1718: 1707: 1703: 1699: 1696: 1690: 1687: 1682: 1678: 1670: 1669: 1668: 1664: 1659: 1638: 1634: 1630: 1625: 1621: 1617: 1612: 1608: 1600: 1599: 1598: 1594: 1589: 1584: 1581: 1576: 1573: 1565: 1561: 1555: 1551: 1547: 1543: 1536: 1532: 1509: 1503: 1500: 1496: 1490: 1487: 1484: 1481: 1476: 1473: 1470: 1467: 1461: 1456: 1449: 1448: 1447: 1443: 1438: 1434: 1428: 1424: 1417: 1413: 1407: 1403: 1379: 1376: 1371: 1367: 1363: 1360: 1355: 1351: 1347: 1344: 1341: 1338: 1335: 1332: 1329: 1324: 1321: 1317: 1313: 1310: 1305: 1302: 1298: 1294: 1291: 1286: 1283: 1279: 1275: 1273: 1265: 1259: 1252: 1249: 1244: 1240: 1236: 1233: 1228: 1224: 1220: 1217: 1212: 1208: 1204: 1201: 1198: 1195: 1192: 1189: 1186: 1181: 1178: 1174: 1170: 1167: 1162: 1159: 1155: 1151: 1149: 1141: 1135: 1124: 1123: 1122: 1119: 1115: 1111: 1107: 1101: 1099: 1085: 1078: 1070:defined over 1069: 1062:of conductor 1056: 1054: 1049: 1045: 1014: 988: 985: 982: 979: 975: 971: 968: 964: 961: 958: 953: 949: 945: 942: 937: 933: 929: 926: 921: 917: 913: 910: 905: 901: 897: 894: 889: 885: 881: 878: 875: 872: 866: 860: 853: 852: 851: 848: 844: 840: 836: 825: 824:are modular. 823: 818: 816: 812: 808: 804: 800: 790: 786: 778: 773: 771: 767: 762: 760: 754: 752: 748: 743: 741: 733: 729: 725: 721: 716: 712: 702: 700: 696: 692: 687: 685: 681: 673: 655: 651: 647: 642: 621: 618: 615: 612: 608: 604: 601: 594: 593: 592: 575: 570: 566: 560: 556: 545: 542: 539: 535: 531: 525: 522: 519: 513: 506: 505: 504: 500: 496: 491: 472: 465: 461: 455: 451: 438: 435: 432: 428: 424: 418: 415: 412: 406: 399: 398: 397: 395: 392:-series is a 387: 371: 363: 361: 354:with integer 353: 345: 344: 325: 318: 314: 310: 307: 303: 299: 293: 289: 278: 275: 267: 256: 253: 249: 246: 242: 239: 235: 232: 228: 225: â€“  224: 220: 219:Find sources: 213: 209: 203: 202: 197:This section 195: 191: 186: 185: 177: 175: 171: 167: 163: 159: 155: 151: 147: 143: 142:modular forms 139: 135: 131: 127: 123: 119: 110: 107: 103: 99: 95: 92: 88: 84: 80: 77: 73: 69: 65: 62: 58: 55: 51: 48: 47:Number theory 45: 41: 33: 19: 3556:Prym variety 3530:Stable curve 3520:Hodge bundle 3510:ELSV formula 3312:Fermat curve 3269:Plane curves 3232:Higher genus 3207:Applications 3172: 3132:Modular form 3013: 2992: 2964: 2911: 2905: 2862: 2856: 2803: 2797: 2786:Shimura 1989 2779: 2775: 2757: 2754:Singh, Simon 2720: 2716: 2684: 2678: 2613: 2607: 2603: 2598: 2556: 2550: 2547:Mazur, Barry 2526:(1): iv+40, 2523: 2519: 2461: 2455: 2415: 2409: 2384: 2378: 2340: 2301: 2295: 2261: 2255: 2251: 2243:Bibliography 2222: 2218: 2207: 2172: 2168: 2159: 2151: 2124: 2118: 2095: 2083: 2071: 2058: 2046: 2034: 2022: 2015:Diamond 1996 2010: 1994: 1982: 1955: 1943: 1932:. Retrieved 1927: 1923: 1910: 1889: 1877: 1865: 1841: 1835: 1817:Gerhard Frey 1813: 1749: 1655: 1592: 1585: 1577: 1571: 1563: 1559: 1553: 1549: 1545: 1541: 1534: 1530: 1527: 1446:and satisfy 1441: 1426: 1422: 1415: 1411: 1405: 1401: 1398: 1121:is given by 1117: 1113: 1109: 1105: 1102: 1083: 1076: 1068:rational map 1057: 1053:Andrew Wiles 1050: 1043: 1012: 1005: 846: 842: 838: 834: 831: 819: 815:number field 796: 784: 774: 763: 755: 744: 732:Goro Shimura 718: 688: 683: 653: 649: 645: 638: 590: 498: 494: 487: 372: 369: 341: 323: 316: 309:coefficients 302:rational map 285: 270: 261: 251: 244: 237: 230: 218: 206:Please help 201:verification 198: 166:Fred Diamond 162:Brian Conrad 146:Andrew Wiles 129: 125: 121: 117: 115: 105:Consequences 87:Fred Diamond 83:Brian Conrad 61:Goro Shimura 3431:Polar curve 2865:: 149–156, 2853:Weil, AndrĂ© 2225:: 116–139. 2106:article of 2064:Zagier 1985 2003:Wiles 1995b 1999:Wiles 1995a 1661: [ 1433:meromorphic 782:th powers, 759:John Coates 3646:Categories 3426:Dual curve 3054:Topics in 1987:Singh 1997 1975:Ribet 1990 1960:Serre 1987 1934:2022-11-08 1901:2003.08242 1858:References 264:March 2021 234:newspapers 3539:Morphisms 3287:Bitangent 3015:MathWorld 2999:EMS Press 2938:0003-486X 2916:CiteSeerX 2895:120553723 2879:0025-5831 2830:0003-486X 2808:CiteSeerX 2788:, p. 194) 2739:0024-6093 2701:0012-7094 2664:120614740 2648:0020-9910 2573:0002-9890 2532:0933-8268 2512:119132800 2496:0020-9910 2471:1310.7088 2432:0003-486X 2393:0002-9920 2320:0894-0347 2280:0894-0347 2191:0065-1036 1948:Frey 1986 1882:Weil 1967 1839:The case 1823:in 1987. 1761:Δ 1700:− 1380:⋯ 1322:− 1303:− 1284:− 1253:⋯ 1179:− 1160:− 983:π 962:⋯ 927:− 895:− 879:− 699:isogenous 672:cusp form 622:τ 616:π 551:∞ 536:∑ 444:∞ 429:∑ 343:conductor 311:from the 180:Statement 2756:(1997), 2104:Bourbaki 1444:) > 0 503:is then 3599:Tacnode 3584:Crunode 2973:1403925 2954:1333035 2946:2118559 2887:0207658 2846:1333036 2838:2118560 2747:0976064 2709:0885783 2656:1047143 2618:Bibcode 2589:1121312 2581:2324924 2540:0853387 2504:3359051 2476:Bibcode 2448:1405946 2440:2118586 2401:1723249 2364:1638473 2328:1639612 2288:1839918 2199:0379507 2075:LMFDB: 1041:; thus 828:Example 777:coprime 705:History 386:-series 360:isogeny 352:newform 306:integer 288:theorem 248:scholar 3579:Acnode 3503:Moduli 2971:  2952:  2944:  2936:  2918:  2893:  2885:  2877:  2844:  2836:  2828:  2810:  2776:Sugaku 2764:  2745:  2737:  2707:  2699:  2677:/Q)", 2662:  2654:  2646:  2587:  2579:  2571:  2538:  2530:  2510:  2502:  2494:  2446:  2438:  2430:  2399:  2391:  2362:  2352:  2326:  2318:  2286:  2278:  2197:  2189:  2139:  2087:OEIS: 1039:(2, 1) 1035:(2, 0) 1031:(1, 1) 1027:(1, 0) 1023:(0, 1) 1019:(0, 0) 801:. The 388:. The 336:. If 250:  243:  236:  229:  221:  2942:JSTOR 2891:S2CID 2834:JSTOR 2782:: 269 2660:S2CID 2577:JSTOR 2508:S2CID 2466:arXiv 2436:JSTOR 2375:(PDF) 2165:(PDF) 1920:(PDF) 1896:arXiv 1848:Euler 1827:Notes 1665:] 1570:37 | 1557:with 728:Nikkƍ 724:Tokyo 377:over 304:with 294:over 255:JSTOR 241:books 43:Field 3589:Cusp 2934:ISSN 2875:ISSN 2826:ISSN 2762:ISBN 2735:ISSN 2697:ISSN 2644:ISSN 2569:ISSN 2528:ISSN 2492:ISSN 2428:ISSN 2389:ISSN 2350:ISBN 2316:ISSN 2276:ISSN 2187:ISSN 2137:ISBN 2112:2001 2101:this 1568:and 1420:and 726:and 713:and 488:The 286:The 227:news 168:and 148:and 116:The 100:2001 70:1957 2926:doi 2912:141 2867:doi 2863:168 2818:doi 2804:141 2725:doi 2689:doi 2634:hdl 2626:doi 2614:100 2561:doi 2484:doi 2462:201 2420:doi 2416:144 2306:doi 2266:doi 2227:doi 2177:doi 2129:doi 1844:= 3 1772:256 1595:≄ 5 1566:= 1 1440:Im( 1364:180 1088:to 1015:= 3 809:or 787:≄ 3 730:. 210:by 128:or 3648:: 3012:. 2997:, 2991:, 2969:MR 2950:MR 2948:, 2940:, 2932:, 2924:, 2889:, 2883:MR 2881:, 2873:, 2861:, 2842:MR 2840:, 2832:, 2824:, 2816:, 2743:MR 2741:, 2733:, 2721:21 2719:, 2705:MR 2703:, 2695:, 2685:54 2683:, 2658:, 2652:MR 2650:, 2642:, 2632:, 2624:, 2612:, 2585:MR 2583:, 2575:, 2567:, 2557:98 2555:, 2536:MR 2534:, 2522:, 2506:, 2500:MR 2498:, 2490:, 2482:, 2474:, 2460:, 2444:MR 2442:, 2434:, 2426:, 2397:MR 2395:, 2385:46 2383:, 2377:, 2360:MR 2358:, 2348:, 2324:MR 2322:, 2314:, 2302:12 2300:, 2284:MR 2282:, 2274:, 2262:14 2260:, 2223:11 2221:. 2217:. 2195:MR 2193:. 2185:. 2173:26 2171:. 2167:. 2135:. 2001:; 1967:^ 1928:42 1926:. 1922:. 1663:fr 1575:. 1564:bc 1562:− 1560:ad 1552:, 1548:, 1544:, 1404:= 1348:92 1339:46 1333:21 1237:51 1221:29 1205:18 1116:− 1112:= 1108:− 1100:. 1048:. 1037:, 1033:, 1029:, 1025:, 1021:, 845:− 841:= 837:− 789:. 742:. 362:. 164:, 124:, 3047:e 3040:t 3033:v 3018:. 2928:: 2869:: 2820:: 2780:7 2727:: 2691:: 2675:Q 2636:: 2628:: 2620:: 2604:Q 2602:/ 2599:Q 2563:: 2524:1 2486:: 2478:: 2468:: 2422:: 2308:: 2268:: 2252:Q 2235:. 2229:: 2201:. 2179:: 2160:p 2145:. 2131:: 2053:. 2041:. 2029:. 2017:. 2005:. 1977:. 1962:. 1950:. 1937:. 1904:. 1898:: 1884:. 1872:. 1850:. 1842:n 1797:p 1794:2 1790:) 1786:c 1783:b 1780:a 1777:( 1769:1 1764:= 1735:) 1730:p 1726:b 1722:+ 1719:x 1716:( 1713:) 1708:p 1704:a 1697:x 1694:( 1691:x 1688:= 1683:2 1679:y 1639:p 1635:c 1631:= 1626:p 1622:b 1618:+ 1613:p 1609:a 1593:p 1572:c 1554:d 1550:c 1546:b 1542:a 1537:) 1535:z 1533:( 1531:y 1513:) 1510:z 1507:( 1504:x 1501:= 1497:) 1491:d 1488:+ 1485:z 1482:c 1477:b 1474:+ 1471:z 1468:a 1462:( 1457:x 1442:z 1429:) 1427:z 1425:( 1423:y 1418:) 1416:z 1414:( 1412:x 1406:e 1402:q 1377:+ 1372:3 1368:q 1361:+ 1356:2 1352:q 1345:+ 1342:q 1336:+ 1330:+ 1325:1 1318:q 1314:9 1311:+ 1306:2 1299:q 1295:3 1292:+ 1287:3 1280:q 1276:= 1269:) 1266:z 1263:( 1260:y 1250:+ 1245:4 1241:q 1234:+ 1229:3 1225:q 1218:+ 1213:2 1209:q 1202:+ 1199:q 1196:9 1193:+ 1190:5 1187:+ 1182:1 1175:q 1171:2 1168:+ 1163:2 1156:q 1152:= 1145:) 1142:z 1139:( 1136:x 1118:x 1114:x 1110:y 1106:y 1094:E 1090:E 1086:) 1084:N 1082:( 1080:0 1077:X 1072:ℚ 1064:N 1060:E 1044:a 1013:l 1008:l 989:z 986:i 980:2 976:e 972:= 969:q 965:, 959:+ 954:6 950:q 946:6 943:+ 938:5 934:q 930:2 922:4 918:q 914:2 911:+ 906:3 902:q 898:3 890:2 886:q 882:2 876:q 873:= 870:) 867:z 864:( 861:f 847:x 843:x 839:y 835:y 785:n 780:n 736:L 676:N 668:f 664:q 660:τ 656:) 654:τ 652:, 650:E 648:( 646:f 619:i 613:2 609:e 605:= 602:q 576:. 571:n 567:q 561:n 557:a 546:1 543:= 540:n 532:= 529:) 526:q 523:, 520:E 517:( 514:f 499:n 495:a 473:. 466:s 462:n 456:n 452:a 439:1 436:= 433:n 425:= 422:) 419:s 416:, 413:E 410:( 407:L 390:L 384:L 379:ℚ 375:E 356:q 348:N 338:N 334:N 330:N 326:) 324:N 322:( 320:0 317:X 297:ℚ 277:) 271:( 266:) 262:( 252:· 245:· 238:· 231:· 204:. 34:. 20:)

Index

Taniyama–Shimura conjecture
Serre's modularity conjecture
Number theory
Yutaka Taniyama
Goro Shimura
Christophe Breuil
Brian Conrad
Fred Diamond
Richard Taylor
Fermat's Last Theorem
elliptic curves
rational numbers
modular forms
Andrew Wiles
Richard Taylor
semistable elliptic curves
Fermat's Last Theorem
Brian Conrad
Fred Diamond
Richard Taylor
Christophe Breuil

verification
improve this article
adding citations to reliable sources
"Modularity theorem"
news
newspapers
books
scholar

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑