Elliptic cohomology is unique up to homotopy

Abstract

Homotopy theory folklore tells us that the sheaf defining the cohomology theory Tmf of topological modular forms is unique up to homotopy. Here we provide a proof of this fact, although we claim no originality for the statement. This retroactively reconciles all previous constructions of Tmf.

18 pages, comments are very welcome

References in corpus (2)

• Topological modular forms (aftern Hopkins, Miller, and Lurie)
• Connective Models for Topological Modular Forms of Level $n$

Cited by in corpus (3)

• Uniqueness of real ring spectra up to higher homotopy
• Hecke operators on topological modular forms
• On Lurie's theorem and applications