This volume contains expanded versions of lectures given at an instructional conference on number theory and arithmetic geometry held August 9 through 18, 1995 at Boston University. Contributor's includeThe purpose of the conference, and of this book, is to introduce and explain the many ideas and techniques used by Wiles in his proof that every (semi-stable) elliptic curve over Q is modular, and to explain how Wiles' result can be combined with Ribet's theorem and ideas of Frey and Serre to show, at long last, that Fermat's Last Theorem is true. The book begins with an overview of the complete proof, followed by several introductory chapters surveying the basic theory of elliptic curves, modular functions, modular curves, Galois cohomology, and finite group schemes. Representation theory, which lies at the core of Wiles' proof, is dealt with in a chapter on automorphic representations and the Langlands-Tunnell theorem, and this is followed by in-depth discussions of Serre's conjectures, Galois deformations, universal deformation rings, Hecke algebras, complete intersections and more, as the reader is led step-by-step through Wiles' proof. In recognition of the historical significance of Fermat's Last Theorem, the volume concludes by looking both forward and backward in time, reflecting on the history of the problem, while placing Wiles' theorem into a more general Diophantine context suggesting future applications. Students and professional mathematicians alike will find this volume to be an indispensable resource for mastering the epoch-making proof of Fermat's Last Theorem.
"The story of Fermat's last theorem (FLT) and its resolution is now well known. It is now common knowledge that Frey had the original idea linking the modularity of elliptic curves and FLT, that Serre refined this intuition by formulating precise conjectures, that Ribet proved a part of Serre's conjectures, which enabled him to establish that modularity of semistable elliptic curves implies FLT, and that finally Wiles proved the modularity of semistable elliptic curves.
The purpose of the book under review is to highlight and amplify these developments. As such, the book is indispensable to any student wanting to learn the finer details of the proof or any researcher wanting to extend the subject in a higher direction. Indeed, the subject is already expanding with the recent researches of Conrad, Darmon, Diamond, Skinner and others. ...
FLT deserves a special place in the history of civilization. Because of its simplicity, it has tantalized amateurs and professionals alike, and its remarkable fecundity has led to the development of large areas of mathematics such as, in the last century, algebraic number theory, ring theory, algebraic geometry, and in this century, the theory of elliptic curves, representation theory, Iwasawa theory, formal groups, finite flat group schemes and deformation theory of Galois representations, to mention a few. It is as if some supermind planned it all and over the centuries had been developing diverse streams of thought only to have them fuse in a spectacular synthesis to resolve FLT. No single brain can claim expertise in all of the ideas that have gone into this "marvelous proof". In this age of specialization, where "each one of us knows more and more about less and less", it is vital for us to have an overview of the masterpiece such as the one provided by this book." (M. Ram Murty, Mathematical Reviews)
