Abstract

We discuss a notion of uniqueness up to $n$-homotopy and study examples from stable homotopy theory. In particular, we show that the $q$-expansion map from elliptic cohomology to topological $K$-theory is unique up to $3$-homotopy, away from the prime $2$, and that upon taking $p$-completions and $F_p^{\times }$-homotopy fixed points, this map is uniquely defined up to $(2p-3)$-homotopy. Using this, we prove new relationships between Adams operations on connective and dualisable topological modular forms — other applications, including a construction of a connective model of Behrens’ $Q(N)$ spectra away from $2N$, will be explored elsewhere. The technical tool facilitating this uniqueness is a variant of the $K(1)$-local Goerss–Hopkins obstruction theory for real spectra, which applies to various elliptic cohomology theories and topological $K$-theories with a trivial complex conjugation action as well as some of their homotopy fixed points.

Keywords

Mathematical Subject Classification

Milestones

Authors