Central cohomology operations and \(K\)-theory (Q2921041)

Let \(E\) be a cohomology theory and \(\underline{E}_0\) denote the 0-th space of an \(\Omega\)-spectrum representing \(E\). Then the unstable bidegree (0, 0) operations are given by \(E^0(\underline{E}_0)\cong [\underline{E}_0, \underline{E}_0]\). Let us denote by \(\mathcal{A}(E)\) the subset of all additive operations of \(E^0(\underline{E}_0)\). This paper concentrates on the case of \(E=\mathrm{BP}\langle n \rangle\) and shows that the central operations \(Z(\mathcal{A}(\mathrm{BP}\langle n \rangle))\) arise from \(K\)-theory for all \(n \geq 1\). Let \(p\) be an odd prime. Let \(\mathrm{BP}\) be the \(p\)-local Brown-Peterson spectrum which is defined to be the telescope of a multiplicative idempotent \(\mathrm{MU}_{(p)} \to \mathrm{MU}_{(p)}\). The coefficient group is given by \(\mathrm{BP}_*=\mathbb{Z}_{(p)}[v_1, v_2, \cdots ]\) with \(|v_i| =2(p^i-1)\) where the \(v_j\) denote the Hazewinkel generators. Then \(\mathrm{BP}\langle n \rangle\) is the spectrum obtained from \(\mathrm{BP}\) by killing \((v_{n+1}, v_{n+2}, \cdots ) \subset \mathrm{BP}_*\). The authors construct fibrations \(\Sigma^{2(p^n-1)}\mathrm{BP}\langle n \rangle \overset{v_n} {\mathrm{BP}}\langle n \rangle \mathrm{BP}\langle n-1 \rangle\), so a tower of \(\mathrm{BP}\)-module spectra is formed: NEWLINE\[NEWLINE\mathrm{BP} \to \cdots \to \mathrm{BP}\langle n \rangle \to \mathrm{BP}\langle n-1 \rangle \to \cdots \to \mathrm{BP}\langle 1 \rangle \to \mathrm{BP}\langle 0 \rangle.NEWLINE\]NEWLINE Here, in particular, \(\mathrm{BP}\langle 0 \rangle =H\mathbb{Z}\) and \(\mathrm{BP}\langle 1 \rangle =g\), the Adams summand of connective \(p\)-local \(K\)-theory. Denote by \(p_n : \mathcal{A}(\mathrm{BP}) \to \mathcal{A}(\mathrm{BP}\langle n \rangle)\) the ring homomorphism induced by the map \(\underline{\mathrm{BP}}_0 \to\underline{\mathrm{BP}\langle n \rangle}_0\) coming from the composite map \(\mathrm{BP} \to \mathrm{BP}\langle n \rangle\) above and the splitting of this map. Let \(i_n : \mathcal{A}(g) \to \mathcal{A}(\mathrm{BP}\langle n \rangle)\) be the composition of \(p_n\) and the map \(\hat{i} : \mathcal{A}(g) \to \mathcal{A}(\mathrm{BP})\) previously defined by \textit{M. J. Strong} and \textit{S. Whitehouse} [J. Pure Appl. Algebra 214, No. 6, 910--918 (2010; Zbl 1200.55028)]. Then the main theorem of this paper states that the image of \(i_n\) coincides with the centre of \(\mathcal{A}(\mathrm{BP}\langle n \rangle)\) for \(n \geq 1\).