Universal property of the Bousfield--Kuhn functor

Abstract

We present a universal property of the Bousfield--Kuhn functor ${\Phi }_h$ of height $h$, for every positive natural number $h$. This result is achieved by proving that the costabilisation of the $\infty$-category of $v_h$-periodic homotopy types is equivalent to the $\infty$-category of $T(h)$-local spectra. A key component in our proofs is the spectral Lie algebra model for $v_h$-periodic homotopy types (see arXiv:1803.06325): We relate the costabilisation of the $\infty$-category of spectral Lie algebras with the costabilisations of the $\infty$-category of non-unital ${\mathcal{E}}_n$-algebras, via our construction of higher enveloping algebras of spectral Lie algebras.

44 pages