The authors apply a theorem of J. Lurie to produce cohomology theories associated to certain Shimura varieties of type $U(1,n-1)$. These cohomology theories of topological automorphic forms ($\mathit{TAF}$) are related to Shimura varieties in the same way that $\mathit{TMF}$ is related to the moduli space of elliptic curves.

The theory of topological modular forms is an intricate blend of classical algebraic modular forms and stable homotopy groups of spheres. The construction of this theory combines an algebro-geometric perspective on elliptic curves over finite fields with techniques from algebraic topology, particularly stable homotopy theory. It has applications to and connections with manifold topology, number theory, and string theory. This book provides a careful, accessible introduction to topological modular forms. After a brief history and an extended overview of the subject, the book proper commences with an exposition of classical aspects of elliptic cohomology, including background material on elliptic curves and modular forms, a description of the moduli stack of elliptic curves, an explanation of the exact functor theorem for constructing cohomology theories, and an exploration of sheaves in stable homotopy theory. There follows a treatment of more specialized topics, including localization of spectra, the deformation theory of formal groups, and Goerss-Hopkins obstruction theory for multiplicative structures on spectra. The book then proceeds to more advanced material, including discussions of the string orientation, the sheaf of spectra on the moduli stack of elliptic curves, the homotopy of topological modular forms, and an extensive account of the construction of the spectrum of topological modular forms. The book concludes with the three original, pioneering and enormously influential manuscripts on the subject, by Hopkins, Miller, and Mahowald.

This marvellous and highly original book fills a significant gap in the extensive literature on classical modular forms. This is not just yet another introductory text to this theory, though it could certainly be used as such in conjunction with more traditional treatments. Its novelty lies in its computational emphasis throughout: Stein not only defines what modular forms are, but shows in illuminating detail how one can compute everything about them in practice. This is illustrated throughout the book with examples from his own (entirely free) software package SAGE, which really bring the subject to life while not detracting in any way from its theoretical beauty. The author is the leading expert in computations with modular forms, and what he says on this subject is all tried and tested and based on his extensive experience. As well as being an invaluable companion to those learning the theory in a more traditional way, this book will be a great help to those who wish to use modular forms in applications, such as in the explicit solution of Diophantine equations. There is also a useful Appendix by Gunnells on extensions to more general modular forms, which has enough in it to inspire many PhD theses for years to come. While the book's main readership will be graduate students in number theory, it will also be accessible to advanced undergraduates and useful to both specialists and non-specialists in number theory. --John E. Cremona, University of Nottingham William Stein is an associate professor of mathematics at the University of Washington at Seattle. He earned a PhD in mathematics from UC Berkeley and has held positions at Harvard University and UC San Diego. His current research interests lie in modular forms, elliptic curves, and computational mathematics.

The theory of modular forms and especially the so-called 'Ramanujan Conjectures' have been applied to resolve problems in combinatorics, computer science, analysis and number theory. This tract, based on the Wittemore Lectures given at Yale University, is concerned with describing some of these applications. In order to keep the presentation reasonably self-contained, Professor Sarnak begins by developing the necessary background material in modular forms. He then considers the solution of three problems: the Ruziewicz problem concerning finitely additive rotationally invariant measures on the sphere; the explicit construction of highly connected but sparse graphs: 'expander graphs' and 'Ramanujan graphs'; and the Linnik problem concerning the distribution of integers that represent a given large integer as a sum of three squares. These applications are carried out in detail. The book therefore should be accessible to a wide audience of graduate students and researchers in mathematics and computer science.

This book covers the following three topics in a manner accessible to graduate students who have an understanding of algebraic number theory and scheme theoretic algebraic geometry: 1. An elementary construction of Shimura varieties as moduli of abelian schemes. 2. p-adic deformation theory of automorphic forms on Shimura varieties. 3. A simple proof of irreducibility of the generalized Igusa tower over the Shimura variety. The book starts with a detailed study of elliptic and Hilbert modular forms and reaches to the forefront of research of Shimura varieties associated with general classical groups. The method of constructing p-adic analytic families and the proof of irreducibility was recently discovered by the author. The area covered in this book is now a focal point of research worldwide with many far-reaching applications that have led to solutions of longstanding problems and conjectures. Specifically, the use of p-adic elliptic and Hilbert modular forms have proven essential in recent breakthroughs in number theory (for example, the proof of Fermat's Last Theorem and the Shimura-Taniyama conjecture by A. Wiles and others). Haruzo Hida is Professor of Mathematics at University of California, Los Angeles. His previous books include Modular Forms and Galois Cohomology (Cambridge University Press 2000) and Geometric Modular Forms and Elliptic Curves (World Scientific Publishing Company 2000).