A higher chromatic analogue of the image of \(J\) (Q520882)

With the present paper, the author lifts several classical notions and results in stable homotopy theory to higher chromatic levels. Each of these generalizations is interesting in its own right. Moreover, they are used to derive some evidence for the chromatic redshift conjecture. In the following brief summary, \(p\) is a fixed prime, \(K\) denotes the usual complex \(K\)-theory spectrum, \(K(n)\) denotes Morava \(K\)-theory at the prime \(p\), and \(K(\pi,n)\) denotes an Eilenberg-MacLane space. The same notation is used in the paper. Orientations: Let \(\beta\) denote the inclusion \(\mathbb C \mathbb P^\infty \hookleftarrow \mathbb C \mathbb P^1\), viewed as a continuous map \(K(\mathbb Z,2) \leftarrow S^2\). A complex orientation of a ring spectrum \(E\) can be defined as an element of \(E^2(K(\mathbb Z,2))\) that pulls back to the unit in \(E^2(S^2)\) under this map \(\beta\). For a fixed prime \(p\) and a \(K(n)\)-local ring spectrum \(E\), the author introduces the similar notion of an \(n\)-orientation: an element of the cohomology group \(E^{S\langle \text{det} \rangle}(K(\mathbb Z_p,n+1))\) that pulls back to a unit in \(E^{S\langle \text{det} \rangle}(S\langle \text{det} \rangle)\) under a certain map \(\rho_n\). Here, \(S\langle \text{det} \rangle\) denotes the invertible spectrum introduced by \textit{P. Goerss} et al. [J. Topol.~8, No.~1, 267--294 (2015; Zbl 1314.55006)]. For \(n=1\) and \(p>2\), it may be identified as the \(K(1)\)-localization of \(S^2\). Snaith's Theorem: \textit{V. Snaith} [Mem.\ Am.\ Math.\ Soc.\ 221, 152 p. (1979; Zbl 0413.55004)] identified the complex \(K\)-theory spectrum \(K\) with \(\mathbb C \mathbb P^\infty = K(\mathbb Z,2)\) localized away from the above map \(\beta\): \[ \Sigma^\infty K(\mathbb Z,2)_+[\beta^{-1}] \simeq K. \] In the present paper, the homotopy fixed point spectrum \(E_n^{hS^\pm}\) of Morava E-theory \(E_n\) under a certain subgroup \(S^\pm\) of the Morava stabilizer group is indentified with the \(K(n)\)-localization of \(K(\mathbb Z_p,n+1)\), localized away from the above map \(\rho_n\): \[ L_{K(n)}\Sigma^\infty K(\mathbb Z_p,n+1)_+[\rho_n^{-1}] \simeq E_n^{hS^{\pm}}. \] The equivalence is an equivalence of \(E_\infty\)-ring spectra, and the spectrum on either side is shown to be the universal multiplicative \(n\)-oriented ring spectrum. Image of \(J\): As the author explains, part of Adams' work on the image of the \(J\)-homomorphism in [\textit{J. F. Adams}, Topology~5, 21--71 (1966; Zbl 0145.19902)] can be interpreted as the computation of \[ [(S^2)^{\wedge l(p-1)},L_{K(1)} S^1] \] as \(\mathbb Z/p^{k+1}\), where \(p^k\) is the highest power of \(p\) dividing \(l\). The author shows that, more generally, for any \(n\), \[ [S\langle \text{det} \rangle^{\wedge l(p-1)},L_{K(n)}S^1] \] contains a subgroup isomorphic to \(\mathbb Z/p^{k+1}\).