A report on Wiles’ Cambridge lectures
HTML articles powered by AMS MathViewer
- by K. Rubin and A. Silverberg PDF
- Bull. Amer. Math. Soc. 31 (1994), 15-38 Request permission
Abstract:
In lectures at the Newton Institute in June of 1993, Andrew Wiles announced a proof of a large part of the Taniyama-Shimura Conjecture and, as a consequence, Fermat’s Last Theorem. This report for nonexperts discusses the mathematics involved in Wiles’ lectures, including the necessary background and the mathematical history.References
- B. J. Birch and W. Kuyk (eds.), Modular functions of one variable. IV, Lecture Notes in Mathematics, Vol. 476, Springer-Verlag, Berlin-New York, 1975. MR 0376533
- J. Buhler, R. Crandall, R. Ernvall, and T. Metsänkylä, Irregular primes and cyclotomic invariants to four million, Math. Comp. 61 (1993), no. 203, 151–153. MR 1197511, DOI 10.1090/S0025-5718-1993-1197511-5
- J. W. S. Cassels and A. Fröhlich (eds.), Algebraic number theory, Academic Press, London; Thompson Book Co., Inc., Washington, D.C., 1967. MR 0215665
- Pierre Deligne and Jean-Pierre Serre, Formes modulaires de poids $1$, Ann. Sci. École Norm. Sup. (4) 7 (1974), 507–530 (1975) (French). MR 379379, DOI 10.24033/asens.1277 L. E. Dickson, History of the theory of numbers (Vol. II), Chelsea Publ. Co., New York, 1971.
- Harold M. Edwards, Fermat’s last theorem, Graduate Texts in Mathematics, vol. 50, Springer-Verlag, New York-Berlin, 1977. A genetic introduction to algebraic number theory. MR 616635, DOI 10.1007/978-1-4684-9307-8
- Martin Eichler, Quaternäre quadratische Formen und die Riemannsche Vermutung für die Kongruenzzetafunktion, Arch. Math. 5 (1954), 355–366 (German). MR 63406, DOI 10.1007/BF01898377
- Gerd Faltings, $p$-adic Hodge theory, J. Amer. Math. Soc. 1 (1988), no. 1, 255–299. MR 924705, DOI 10.1090/S0894-0347-1988-0924705-1
- Gerd Faltings, Crystalline cohomology and $p$-adic Galois-representations, Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988) Johns Hopkins Univ. Press, Baltimore, MD, 1989, pp. 25–80. MR 1463696
- Matthias Flach, A finiteness theorem for the symmetric square of an elliptic curve, Invent. Math. 109 (1992), no. 2, 307–327. MR 1172693, DOI 10.1007/BF01232029
- Gerhard Frey, Links between solutions of $A-B=C$ and elliptic curves, Number theory (Ulm, 1987) Lecture Notes in Math., vol. 1380, Springer, New York, 1989, pp. 31–62. MR 1009792, DOI 10.1007/BFb0086544
- Stephen S. Gelbart, Automorphic forms on adèle groups, Annals of Mathematics Studies, No. 83, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1975. MR 0379375, DOI 10.1515/9781400881611
- Benedict H. Gross, Kolyvagin’s work on modular elliptic curves, $L$-functions and arithmetic (Durham, 1989) London Math. Soc. Lecture Note Ser., vol. 153, Cambridge Univ. Press, Cambridge, 1991, pp. 235–256. MR 1110395, DOI 10.1017/CBO9780511526053.009 G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, Fourth ed., Oxford Univ. Press, London, 1971.
- Y. Hellegouarch, Étude des points d’ordre fini des variétés abéliennes de dimension un définies sur un anneau principal, J. Reine Angew. Math. 244 (1970), 20–36 (French). MR 274451, DOI 10.1515/crll.1970.244.20 —, Points d’ordre fini des variétés abéliennes de dimension un, Colloque de Théorie des Nombres (Univ. Bordeaux, Bordeaux, 1969), Bull. Soc. Math. France, Mém. 25, Soc. Math. France, Paris, 1971, pp. 107-112. —, Points d’ordre fini sur les courbes elliptiques, C. R. Acad. Sci. Paris Sér. A-B 273 (1971), A540-A543.
- Y. Hellegouarch, Points d’ordre $2p^{h}$ sur les courbes elliptiques, Acta Arith. 26 (1974/75), no. 3, 253–263 (French). MR 379507, DOI 10.4064/aa-26-3-253-263
- V. A. Kolyvagin, Euler systems, The Grothendieck Festschrift, Vol. II, Progr. Math., vol. 87, Birkhäuser Boston, Boston, MA, 1990, pp. 435–483. MR 1106906
- Robert P. Langlands, Base change for $\textrm {GL}(2)$, Annals of Mathematics Studies, No. 96, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1980. MR 574808
- B. Mazur, Deforming Galois representations, Galois groups over $\textbf {Q}$ (Berkeley, CA, 1987) Math. Sci. Res. Inst. Publ., vol. 16, Springer, New York, 1989, pp. 385–437. MR 1012172, DOI 10.1007/978-1-4613-9649-9_{7}
- B. Mazur, Number theory as gadfly, Amer. Math. Monthly 98 (1991), no. 7, 593–610. MR 1121312, DOI 10.2307/2324924
- B. Mazur and J. Tilouine, Représentations galoisiennes, différentielles de Kähler et “conjectures principales”, Inst. Hautes Études Sci. Publ. Math. 71 (1990), 65–103 (French). MR 1079644, DOI 10.1007/BF02699878
- Joseph Oesterlé, Nouvelles approches du “théorème” de Fermat, Astérisque 161-162 (1988), Exp. No. 694, 4, 165–186 (1989) (French). Séminaire Bourbaki, Vol. 1987/88. MR 992208
- Ravi Ramakrishna, On a variation of Mazur’s deformation functor, Compositio Math. 87 (1993), no. 3, 269–286. MR 1227448
- Paulo Ribenboim, 13 lectures on Fermat’s last theorem, Springer-Verlag, New York-Heidelberg, 1979. MR 551363, DOI 10.1007/978-1-4684-9342-9
- K. A. Ribet, On modular representations of $\textrm {Gal}(\overline \textbf {Q}/\textbf {Q})$ arising from modular forms, Invent. Math. 100 (1990), no. 2, 431–476. MR 1047143, DOI 10.1007/BF01231195 —, Report on mod $\ell$ representations of ${\text {Gal}}(\bar {\textbf {Q}}/{\textbf {Q}})$, Motives (U. Jannsen, S. Kleiman, and J-P. Serre, eds.), Proc. Sympos. Pure Math., vol. 55 (Part 2), Amer. Math. Soc., Providence, RI, 1994 (to appear).
- Serge Lang, Cyclotomic fields I and II, 2nd ed., Graduate Texts in Mathematics, vol. 121, Springer-Verlag, New York, 1990. With an appendix by Karl Rubin. MR 1029028, DOI 10.1007/978-1-4612-0987-4 —, Kolyvagin’s system of Gauss sums, Arithmetic Algebraic Geometry (G. van der Geer, F. Oort, and J. Steenbrink, eds.), Progr. Math., vol. 89, Birkhäuser, Boston, 1991, pp. 309-324.
- Karl Rubin, The “main conjectures” of Iwasawa theory for imaginary quadratic fields, Invent. Math. 103 (1991), no. 1, 25–68. MR 1079839, DOI 10.1007/BF01239508
- Jean-Pierre Serre, Sur les représentations modulaires de degré $2$ de $\textrm {Gal}(\overline \textbf {Q}/\textbf {Q})$, Duke Math. J. 54 (1987), no. 1, 179–230 (French). MR 885783, DOI 10.1215/S0012-7094-87-05413-5
- Goro Shimura, Correspondances modulaires et les fonctions $\zeta$ de courbes algébriques, J. Math. Soc. Japan 10 (1958), 1–28 (French). MR 95173, DOI 10.2969/jmsj/01010001
- Goro Shimura, Construction of class fields and zeta functions of algebraic curves, Ann. of Math. (2) 85 (1967), 58–159. MR 204426, DOI 10.2307/1970526
- Goro Shimura, Introduction to the arithmetic theory of automorphic functions, Kanô Memorial Lectures, No. 1, Iwanami Shoten Publishers, Tokyo; Princeton University Press, Princeton, N.J., 1971. Publications of the Mathematical Society of Japan, No. 11. MR 0314766
- Goro Shimura, On elliptic curves with complex multiplication as factors of the Jacobians of modular function fields, Nagoya Math. J. 43 (1971), 199–208. MR 296050, DOI 10.1017/S0027763000014471
- Goro Shimura, On the factors of the jacobian variety of a modular function field, J. Math. Soc. Japan 25 (1973), 523–544. MR 318162, DOI 10.2969/jmsj/02530523
- Goro Shimura, Yutaka Taniyama and his time. Very personal recollections, Bull. London Math. Soc. 21 (1989), no. 2, 186–196. MR 976064, DOI 10.1112/blms/21.2.186
- Joseph H. Silverman, The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1986. MR 817210, DOI 10.1007/978-1-4757-1920-8
- Francisco Thaine, On the ideal class groups of real abelian number fields, Ann. of Math. (2) 128 (1988), no. 1, 1–18. MR 951505, DOI 10.2307/1971460
- Jerrold Tunnell, Artin’s conjecture for representations of octahedral type, Bull. Amer. Math. Soc. (N.S.) 5 (1981), no. 2, 173–175. MR 621884, DOI 10.1090/S0273-0979-1981-14936-3
- André Weil, Über die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen, Math. Ann. 168 (1967), 149–156 (German). MR 207658, DOI 10.1007/BF01361551
Additional Information
- © Copyright 1994 American Mathematical Society
- Journal: Bull. Amer. Math. Soc. 31 (1994), 15-38
- MSC: Primary 11F80; Secondary 11D41, 11G05
- DOI: https://doi.org/10.1090/S0273-0979-1994-00512-9
- MathSciNet review: 1256978