The Bousfield-Kuhn functor and topological André-Quillen cohomology

Bordism and cobordism theories and formal group laws in algebraic topology (55N22) Localization and completion in homotopy theory (55P60) (v_n)-periodicity (55Q51)

Abstract: We construct a natural transformation from the Bousfield-Kuhn functor evaluated on a space to the Topological Andre-Quillen cohomology of the K(n)-local Spanier-Whitehead dual of the space, and show that the map is an equivalence in the case where the space is a sphere. This results in a method for computing unstable v_n-periodic homotopy groups of spheres from their Morava E-cohomology (as modules over the Dyer-Lashof algebra of Morava E-theory). We relate the resulting algebraic computations to the algebraic geometry of isogenies between Lubin-Tate formal groups.

Review text

This paper in chromatic homotopy theory works at a prime \(p\) and height \(h\geq 1\), using \(E\), height \(h\) Morava \(E\)-theory, and \(K\), even-periodic height \(h\) Morava \(K\)-theory. Recall that the Bousfield-Kuhn functor \(\Phi_T\) from pointed spaces to spectra is defined using \(T\), a \(v_h\)-telescope on a finite type \(h\) complex. It has the fundamental property that, on the infinite loop space associated to a spectrum \(Y\), \(\Phi_T (\Omega^\infty Y) \simeq Y_T\); moreover, the homotopy groups \(\pi_* (\Phi_T X)\) calculate the completed unstable \(v_h\)-periodic homotopy of the pointed space \(X\). The authors work with the \(K\)-localization \(\Phi X:= (\Phi_T X)_K\) and, for \(R\) a \(K\)-local commutative \(S\)-algebra, use the Basterra-McCarthy description [\textit{M. Basterra} and \textit{R. McCarthy}, Topology Appl. 121, No. 3, 551--566 (2002; Zbl 1004.55003)] of topological André-Quillen homology to give a comparison map \[ c_R : \mathrm{TAQ}^R(R^{X_+}) \rightarrow R^{\Phi(X)} \] and the induced dual \(c^R : (R \wedge \Phi (X))_K \rightarrow \mathrm{TAQ}_R (R^{X_+})\). Taking \(R=S_K\), the \(K\)-local sphere spectrum, gives \[ c^{S_K} : \Phi (X) \rightarrow \mathrm{TAQ}_{S_K} (S^{X_+}_K), \] which relates unstable \(v_h\)-periodic homotopy to André-Quillen cohomology. The class of finite pointed spaces for which \(c^{S_K}\) is an equivalence is thus of significant interest. The authors prove the fundamental result that, for \(q\) a positive odd integer, the sphere \(S^q\) lies in this class. This has been developed (see [\textit{M. Behrens} and \textit{C. Rezk}, in: Bousfield classes and Ohkawa's theorem. Selected contributions given at the workshop, Nagoya, Japan, August 28--30, 2015. Singapore: Springer. 275--323 (2020; Zbl 1456.55007)]) and placed in a wider context by other authors. The proof presented here uses the comparison of \(K\)-local Weiss towers for functors from \(\mathbb{C}\)-vector spaces to spectra, for the functors \(V \mapsto \Phi (\Sigma S^V)\) and \(V \mapsto \mathrm{TAQ}_{S_K} (S_K^{(\Sigma S^V)_+})\). The Weiss tower of the former is related to the Goodwillie tower of the identity and of the latter to the dual of the Kuhn filtration of \(\mathrm{TAQ}\). The comparison relies on an in-depth analysis of the \(E\)-cohomology of \(QX\). The authors then consider the finite resolution \[ \Phi (S^q)\rightarrow (L(0)_q)_K\rightarrow (L(1)_q)_K\rightarrow\dots\rightarrow (L(h)_q)_K \] obtained from the Goodwillie tower of the identity for \(S^q\), where \(L(k)_q\) is the Steinberg summand of the Thom spectrum of \(q\) copies of the reduced regular representation of \((\mathbb{Z}/p)^k\). They show that the \(E\)-homology of this resolution is isomorphic to the dual of the Koszul resolution of the degree \(q\) Dyer-Lashof algebra for Morava \(E\)-theory and give a modular interpretation of this Koszul complex, based on [\textit{C. Rezk}, Algebr. Geom. Topol. 12, No. 3, 1373--1403 (2012; Zbl 1254.14030)].

Recommendations

Cites work

Cited in

(11)

This page was built for publication: The Bousfield-Kuhn functor and topological André-Quillen cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2187251)