This volume contains the expanded lectures given at a conference on number theory and arithmetic geometry held at Boston University. It introduces and explains the many ideas and techniques used by Wiles, and to explain how his result can be combined with Ribets theorem and ideas of Frey and Serre to prove Fermats Last Theorem. The book begins with an overview of the complete proof, followed by several introductory chapters surveying the basic theory of elliptic curves, modular functions and curves, Galois cohomology, and finite group schemes. Representation theory, which lies at the core of the proof, is dealt with in a chapter on automorphic representations and the Langlands-Tunnell theorem, and this is followed by in-depth discussions of Serres conjectures, Galois deformations, universal deformation rings, Hecke algebras, and complete intersections. The book concludes by looking both forward and backward, 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 an indispensable resource.
"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)
