scientific article; zbMATH DE number 1036685

MaRDI QIDQ4344951zbMATH OpenFDO

Authors Yoshitaka Nakazawa, Katsumi Shimomura

Publication date 8 February 1998

Full work available at URL https://eudml.org/doc/212196

zbMATH Keywords

Adams-Novikov spectral sequencecoalgebroiddualityhomotopy groupsiterated Adams mapJohnson-Wilson spectrum

Mathematics Subject Classification ID

Localization and completion in homotopy theory (55P60) Stable homotopy groups (55Q10) Stable homotopy of spheres (55Q45)

Review text

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\).

Recommendations

• The homotopy groups of an L₂-localized type one finite spectrum at the prime 2
• The homotopy groups of the 𝐿₂-localized Toda-Smith spectrum 𝑉(1) at the prime 3
• The homotopy groups of the L₂-localized mod 3 Moore spectrum

Cited in

(12)

• The homotopy groups of an L₂-localized type one finite spectrum at the prime 2
• The homotopy groups \(\pi_ * (L_ 2 S^ 0)\)
• The Adams-Novikov \(E_2\)-term for \(\pi_*(L_2S^0)\) at the prime 2
• The homotopy groups of the L₂-localized mod 3 Moore spectrum
• Homotopy groups of generalized \(E(2)\)-local Moore spectra at the prime three
• On the homotopy of \(Q(3)\) and \(Q(5)\) at the prime 2
• The homotopy groups of \(L_2T(1)/(v_1)\) at an odd prime
• The homotopy groups of the 𝐿₂-localized Toda-Smith spectrum 𝑉(1) at the prime 3
• The homotopy of L₂V(1) for the prime 3
• The homotopy groups of the L 2-localized Mahowald spectrum X<1>
• The homotopy groups of the \(L_{2}\)-localization of the modulo \(p\) Moore spectrum smashing with the first Ravenel spectrum
• Towards the finiteness of \(\pi _*L_{K(n)}S^0\)

This page was built for publication:

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