The connective topological modular forms spectrum, $tmf$, is in a sense initial among elliptic spectra, and as such is an important link between the homotopy groups of spheres and modular forms. A primary goal of this volume is to give a complete account, with full proofs, of the homotopy of $tmf$ and several $tmf$-module spectra by means of the classical Adams spectral sequence, thus verifying, correcting, and extending existing approaches. In the process, folklore results are made precise and generalized. Anderson and Brown-Comenetz duality, and the corresponding dualities in homotopy groups, are carefully proved. The volume also includes an account of the homotopy groups of spheres through degree 44, with complete proofs, except that the Adams conjecture is used without proof. Also presented are modern stable proofs of classical results which are hard to extract from the literature. Tools used in this book include a multiplicative spectral sequence generalizing a construction of Davis and Mahowald, and computer software which computes the cohomology of modules over the Steenrod algebra and products therein. Techniques from commutative algebra are used to make the calculation precise and finite. The $H$-infinity ring structure of the sphere and of $tmf$ are used to determine many differentials and relations.

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.

The Handbook of Homotopy Theory provides a panoramic view of an active area in mathematics that is currently seeing dramatic solutions to long-standing open problems, and is proving itself of increasing importance across many other mathematical disciplines. The origins of the subject date back to work of Henri Poincaré and Heinz Hopf in the early 20th century, but it has seen enormous progress in the 21st century. A highlight of this volume is an introduction to and diverse applications of the newly established foundational theory of ¥ -categories. The coverage is vast, ranging from axiomatic to applied, from foundational to computational, and includes surveys of applications both geometric and algebraic. The contributors are among the most active and creative researchers in the field. The 22 chapters by 31 contributors are designed to address novices, as well as established mathematicians, interested in learning the state of the art in this field, whose methods are of increasing importance in many other areas.

The author presents a detailed analysis of 2-complete stable homotopy groups, both in the classical context and in the motivic context over C. He uses the motivic May spectral sequence to compute the cohomology of the motivic Steenrod algebra over C through the 70-stem. He then uses the motivic Adams spectral sequence to obtain motivic stable homotopy groups through the 59-stem. He also describes the complete calculation to the 65-stem, but defers the proofs in this range to forthcoming publications. In addition to finding all Adams differentials, the author also resolves all hidden extensions by 2, η, and ν through the 59-stem, except for a few carefully enumerated exceptions that remain unknown. The analogous classical stable homotopy groups are easy consequences. The author also computes the motivic stable homotopy groups of the cofiber of the motivic element τ. This computation is essential for resolving hidden extensions in the Adams spectral sequence. He shows that the homotopy groups of the cofiber of τ are the same as the E2-page of the classical Adams-Novikov spectral sequence. This allows him to compute the classical Adams-Novikov spectral sequence, including differentials and hidden extensions, in a larger range than was previously known.