Comprehensive account of recent developments in arithmetic theory of modular forms, for graduates and researchers.

Modular forms are tremendously important in various areas of mathematics, from number theory and algebraic geometry to combinatorics and lattices. Their Fourier coefficients, with Ramanujan's tau-function as a typical example, have deep arithmetic significance. Prior to this book, the fastest known algorithms for computing these Fourier coefficients took exponential time, except in some special cases. The case of elliptic curves (Schoof's algorithm) was at the birth of elliptic curve cryptography around 1985. This book gives an algorithm for computing coefficients of modular forms of level one in polynomial time. For example, Ramanujan's tau of a prime number p can be computed in time bounded by a fixed power of the logarithm of p. Such fast computation of Fourier coefficients is itself based on the main result of the book: the computation, in polynomial time, of Galois representations over finite fields attached to modular forms by the Langlands program. Because these Galois representations typically have a nonsolvable image, this result is a major step forward from explicit class field theory, and it could be described as the start of the explicit Langlands program. The computation of the Galois representations uses their realization, following Shimura and Deligne, in the torsion subgroup of Jacobian varieties of modular curves. The main challenge is then to perform the necessary computations in time polynomial in the dimension of these highly nonlinear algebraic varieties. Exact computations involving systems of polynomial equations in many variables take exponential time. This is avoided by numerical approximations with a precision that suffices to derive exact results from them. Bounds for the required precision--in other words, bounds for the height of the rational numbers that describe the Galois representation to be computed--are obtained from Arakelov theory. Two types of approximations are treated: one using complex uniformization and another one using geometry over finite fields. The book begins with a concise and concrete introduction that makes its accessible to readers without an extensive background in arithmetic geometry. And the book includes a chapter that describes actual computations.

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 theory of p-adic and classic modular forms, and the study of arithmetic and p-adic L-functions has proved to be a fruitful area of mathematics over the last decade. Professor Hida has given courses on these topics in the USA, Japan, and in France, and in this book provides the reader with an elementary but detailed insight into the theory of L-functions. The presentation is self contained and concise, and the subject is approached using only basic tools from complex analysis and cohomology theory. Graduate students wishing to know more about L-functions will find that this book offers a unique introduction to this fascinating branch of mathematics.

The notes in this volume correspond to advanced courses held at the Centre de Recerca Matemàtica as part of the research program in Arithmetic Geometry in the 2009-2010 academic year. The notes by Laurent Berger provide an introduction to p-adic Galois representations and Fontaine rings, which are especially useful for describing many local deformation rings at p that arise naturally in Galois deformation theory. The notes by Gebhard Böckle offer a comprehensive course on Galois deformation theory, starting from the foundational results of Mazur and discussing in detail the theory of pseudo-representations and their deformations, local deformations at places l ≠ p and local deformations at p which are flat. In the last section,the results of Böckle and Kisin on presentations of global deformation rings over local ones are discussed. The notes by Mladen Dimitrov present the basics of the arithmetic theory of Hilbert modular forms and varieties, with an emphasis on the study of the images of the attached Galois representations, on modularity lifting theorems over totally real number fields, and on the cohomology of Hilbert modular varieties with integral coefficients. The notes by Lassina Dembélé and John Voight describe methods for performing explicit computations in spaces of Hilbert modular forms. These methods depend on the Jacquet-Langlands correspondence and on computations in spaces of quaternionic modular forms, both for the case of definite and indefinite quaternion algebras. Several examples are given, and applications to modularity of Galois representations are discussed. The notes by Tim Dokchitser describe the proof, obtained by the author in a joint project with Vladimir Dokchitser, of the parity conjecture for elliptic curves over number fields under the assumption of finiteness of the Tate-Shafarevich group. The statement of the Birch and Swinnerton-Dyer conjecture is included, as well as a detailed study of local and global root numbers of elliptic curves and their classification.

Automorphic forms and Galois representations have played a central role in the development of modern number theory, with the former coming to prominence via the celebrated Langlands program and Wiles' proof of Fermat's Last Theorem. This two-volume collection arose from the 94th LMS-EPSRC Durham Symposium on 'Automorphic Forms and Galois Representations' in July 2011, the aim of which was to explore recent developments in this area. The expository articles and research papers across the two volumes reflect recent interest in p-adic methods in number theory and representation theory, as well as recent progress on topics from anabelian geometry to p-adic Hodge theory and the Langlands program. The topics covered in volume one include the Shafarevich Conjecture, effective local Langlands correspondence, p-adic L-functions, the fundamental lemma, and other topics of contemporary interest.

This classic book contains an introduction to systems of l-adic representations, a topic of great importance in number theory and algebraic geometry, as reflected by the spectacular recent developments on the Taniyama-Weil conjecture and Fermat's Last Theorem. The initial chapters are devoted to the Abelian case (complex multiplication), where one