Topological modular forms with level structure

Michael Hill, Tyler Lawson

Research output: Contribution to journalArticlepeer-review

21 Scopus citations


The cohomology theory known as (Formula presented.), for “topological modular forms,” is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to a functorial family of objects corresponding to elliptic curves with level structure and modular forms on them. Along the way, we produce a natural way to restrict to the cusps, providing multiplicative maps from (Formula presented.) with level structure to forms of (Formula presented.)-theory. In particular, this allows us to construct a connective spectrum (Formula presented.) consistent with properties suggested by Mahowald and Rezk. This is accomplished using the machinery of logarithmic structures. We construct a presheaf of locally even-periodic elliptic cohomology theories, equipped with highly structured multiplication, on the log-étale site of the moduli of elliptic curves. Evaluating this presheaf on modular curves produces (Formula presented.) with level structure.

Original languageEnglish (US)
Pages (from-to)359-416
Number of pages58
JournalInventiones Mathematicae
Issue number2
StatePublished - Feb 1 2016

Bibliographical note

Publisher Copyright:
© 2015, Springer-Verlag Berlin Heidelberg.


Dive into the research topics of 'Topological modular forms with level structure'. Together they form a unique fingerprint.

Cite this