Topological modular forms

Topological modular forms
Name	Topological modular forms
Abbreviation	tmf
Field	Algebraic topology
Introduced	1990s–2000s
Key figures	Michael Hopkins, Haynes Miller, Mark Mahowald, Paul Goerss, John Rognes, André Henriques, Jacob Lurie, Christopher L. Douglas, Mike Hill, Matt Ando
Institutions	Princeton University, Harvard University, Massachusetts Institute of Technology, University of Chicago, Institut des Hautes Études Scientifiques, Max Planck Institute for Mathematics
Related	Elliptic cohomology, Chromatic homotopy theory, Morava K-theory, Moduli stack of elliptic curves

Contents

Topological modular forms are a spectrum in stable homotopy theory that connects algebraic topology with the theory of modular forms, providing a universal elliptic-oriented cohomology theory. Originating from work by researchers across Princeton University and Harvard University, tmf synthesizes ideas from elliptic cohomology, formal group laws, and the moduli stack of elliptic curves to produce a highly structured ring spectrum with deep links to arithmetic geometry. It has influenced developments at institutions such as Massachusetts Institute of Technology and University of Chicago and is central to modern approaches in chromatic homotopy theory.

Introduction

The construction of tmf grew out of collaborations among Michael Hopkins, Haynes Miller, Mark Mahowald, Paul Goerss, and others at conferences and workshops hosted by Institute for Advanced Study and Mathematical Sciences Research Institute. Inspired by earlier operators like Atkin operator in the context of modular form theory and by the formal-group techniques of Sir Michael Atiyah and Isadore Singer, tmf aims to realize the algebra of modular forms as the homotopy groups of a spectrum. Early breakthroughs occurred in programs at Princeton University and Harvard University, with later categorical formulations influenced by Jacob Lurie and work at Institut des Hautes Études Scientifiques.

tmf sits at the intersection of concepts developed by Daniel Quillen (formal groups), J. Peter May (operads), and Gunnar Carlsson (stable homotopy). The chromatic approach of Douglas Ravenel and the Nilpotence and Periodicity theorems of Devinatz Hopkins Smith provided a framework linking spectra such as Morava E-theory and Morava K-theory to local moduli problems like the Lubin–Tate moduli problem. Connections to the arithmetic of Serre and Deligne emerged, with the geometry of the moduli stack of elliptic curves and the work of Nicholas Katz and Gerd Faltings informing the understanding of congruences and level structures. Influential seminars at University of Chicago and Max Planck Institute for Mathematics helped propagate these ideas.

Constructions of tmf include approaches by Paul Goerss and Haynes Miller using cosimplicial methods, descent techniques related to the Goerss–Hopkins–Miller theorem of Michael Hopkins and Haynes Miller, and derived algebraic geometry formulations by Jacob Lurie and Christopher L. Douglas. Model categories and structured ring spectra from the work of Elmendorf–Mandell, Mandell May Schwede Shipley, and J. Peter May provide technical foundations, while brave new algebra ideas from John Rognes and André Henriques shaped equivariant and higher-categorical generalizations. Variants include forms with level structure inspired by Igusa, Katz–Mazur theory, and localizations at primes following techniques from Mark Hovey and Neil Strickland.

The homotopy groups of tmf reflect rings of modular forms studied by Jean-Pierre Serre and Kurt Godel (note: Serre only), and the Adams–Novikov spectral sequence developed by J. Frank Adams and Serre-influenced literature enables explicit computations. Computational milestones by Mark Mahowald, Haynes Miller, Ernest Devinatz, Charles Rezk, and Paul Goerss produced charts of low-dimensional homotopy groups, with further work by Mike Hill and Matt Ando extending periodicity phenomena. Cohomology operations in tmf relate to Steenrod algebra techniques pioneered by Norman Steenrod and John Milnor, and power operations analyzed by Charles Rezk and Andrew Baker give action of Hecke operators analogous to those of Atkin–Lehner and Hecke theory studied by Atkin and Lehner.

tmf provides a bridge to number-theoretic structures from the studies of Pierre Deligne, Jean-Pierre Serre, and Nicholas Katz on congruences between modular forms, and to geometric insights from Gerd Faltings and Michael Artin concerning moduli problems. Derived and spectral algebraic geometry frameworks due to Jacob Lurie, Bertrand Toen, and Gabriel Riehl formalize the role of the moduli stack of elliptic curves and of level structures investigated by Igusa and Katz–Mazur. Relations to Shimura varieties and to the arithmetic of elliptic curves studied by Andrew Wiles, Richard Taylor, and Gerhard Frey hint at speculative connections between tmf and modularity lifting techniques.

Applications of tmf include input to the study of stable homotopy groups of spheres pursued by Michael Hopkins, Mark Mahowald, and Paul Goerss; equivariant refinements associated to John Rognes and André Henriques; and connections to conformal field theory motifs considered by Edward Witten and Graeme Segal. Related spectra and theories include Elliptic cohomology, Topological cyclic homology developed by Bokstedt Hsiang Madsen contributors, K-theory influenced by Michael Atiyah and Friedrich Hirzebruch, and local theories such as Morava E-theory and Lubin–Tate spectra. Ongoing research at Institute for Advanced Study, Massachusetts Institute of Technology, and Max Planck Institute for Mathematics explores further interactions with quantum field theory figures like Witten and categorical structures from Jacob Lurie.