No label defined (Q4344951)

For the Brown-Peterson spectrum \(BP\) at each prime \(p\), \(L_n\) denotes the Bousfield localization functor with respect to \(v_n^{-1} BP\). A \(p\)-local finite spectrum \(F\) has type \(n\) if \(K(n)_*(F) \neq 0\) and \(K(n-1)_* (F)=0\) for the Morava \(K\)-theories \(K(i)_*(-)\). Here the prime \(p\) is 3. Then the mod 3 Moore spectrum \(M\) has type 1 and the Toda-Smith spectrum \(V(1)\) has type 2. Generally, the homotopy groups \(\pi_* (L_nF_{m-1})\) have more information than \(\pi_* (L_nF_m)\), where \(F_m\) denotes a finite spectrum of type \(m\). The homotopy groups \(\pi_* (L_2V(1))\), which are those of \(L_2\)-localization of a type 2 spectrum, are determined by the recent works of the second author, and Henn and Mahowald. In this paper, the homotopy groups \(\pi_* (L_2M\wedge X)\), which are those of \(L_2\)-localization of a type 1 spectrum, are determined by using the Adams-Novikov spectral sequence, where \(X\) denotes the 8 skeleton of \(BP\). The \(E_2\)-term of the Adams-Novikov spectral sequence for \(\pi_* (L_2M)\) does not have the horizontal vanishing line, but the one for \(\pi_* (L_2M \wedge X)\) does, and so it collapses from the \(E_2\)-term. Therefore, the homotopy groups are determined by computing \(E_2\)-term \(\text{Ext}^{s,t}_\Gamma (E(2)_*\), \(E(2)_*/(3) [t_1]/ (t^3_1))\) for the Johnson-Wilson spectrum \(E(2)\) and \(\Gamma =E(2)_* E(2)\). The main tool is the change of the theorem: \[ \text{Ext}^{s,t}_\Gamma \bigl(E (2)_*, E(2)_*/(3) [t_1]/ (t^3_1) \bigr)= \text{Ext}^{s,t}_\Sigma \bigl(E(2)_*, E(2)_*/(3) \bigr). \] Here \(\Sigma= E(2)_* [t^3_1, t_2,t_3, \dots] \bigotimes_{BP_*} E(2)_*\), which is not a Hopf algebroid but a coalgebroid. Thus, the computation uses only its module structure, not an algebra structure. The structure of the groups is very complicated, while it indicates the duality \[ E_2^{s,*} \bigl(X\wedge V(1)_{(j)} \bigr) \approx\Hom \biggl(E^{4-s,*}_2 \bigl(X \wedge V(1)_{(j)} \bigr), \mathbb{Q}/ \mathbb{Z} \biggr), \] which is, if the prime \(p>3\), the theorem of Hopkins and Gross. Here \(V(1)_{(j)}\) denotes the mapping cone of an iterated Adams map \(\alpha^j: \Sigma^{4_j} M\to M\).