The homotopy groups _ * (L_ 2 S^ 0)

DOI10.1016/0040-9383(94)00032-GMaRDI QIDQ1804899zbMATH OpenFDO

Authors Katsumi Shimomura, Atsuko Yabe

Publication date 7 March 1996

Published in Topology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0040-9383(94)00032-G

zbMATH Keywords

\(v_ 1\)-Bockstein spectral sequencesAdams-Novikov spectral sequenceBousfields localization functorsBrown- Peterson spectrumchromatic spectral sequencechromatic towerperiodic families

Mathematics Subject Classification ID

Stable homotopy theory, spectra (55P42) Localization and completion in homotopy theory (55P60) Stable homotopy of spheres (55Q45) Adams spectral sequences (55T15)

Review text

The chromatic approach to stable homotopy is based on Bousfield's localization functors \(L_n\), which are localization with respect to \(v_n^{-1} \text{BP}\) or \(E(n)\). Here BP is the Brown-Peterson spectrum at the prime \(p\) and \(E(n)\) is constructed from BP by killing and inverting certain elements in \(\text{BP}_*= \mathbb{Z}_{(p)} [v_1, v_2, \dots ]\) to obtain \(E(n)_*= \mathbb{Z}_{(p)} [v_1, v_2, \dots, v_n, v_n^{-1} ]\). Since \(L_n L_m= L_m\) for \(n\geq m\), the localization map \(X\to L_m X\) gives rise to an inverse system \(\to L_n X\to L_{n-1} X\to \cdots L_1 X\to L_0 X\) which is called the chromatic tower of \(X\). For \(X\) finite it is known that \(\pi_* (X)\cong \varprojlim \pi_* (L_n X)\), hence it is fundamental to understand the pieces \(L_n X\), in particular \(\pi_* (L_n S^0)\) which gathers the information on periodic families in \(\pi_*^s (S^0)\) related to \(v_n\). Serre's theorem on the homotopy groups of spheres gives \(\pi_* (L_0 S^0)= \mathbb{Q}\), and work of Mahowald, Miller, Ravenel and Bousfield has determined \(\pi_* (L_1 S^0)\), which is given by the image of the classical \(J\)-homomorphism in positive dimensions (at \(p\neq 2\)), but has nontrivial homotopy in negative dimensions as well. This paper contains the important next step, namely the computation of \(\pi_* (L_2 S^0)\) for \(p>3\). The result is much too complicated to be stated here. The computation of \(\pi_* (L_2 S^0)\) is highly technical and complex and uses various spectral sequences. The main tools are the Adams-Novikov spectral sequence based on \(E(2)\) and the chromatic spectral sequence with \(E_1\)-term \(E_1^{s,t}= H^t (M^s_k)\) converging to \(H^{s+t} (E(2)/ I_k)\). Here \(M^s_k\) is an inductively constructed \(E(2)\)-comodule and \(I_k= (p, v_1, \dots, v_k)\). The groups \(H^* (M^0_1)\), \(H^* (M^1_0)\), \(H^* (M^1_1)\) have been known for some time, so the main result is the determination of \(H^* (M^2_0)\). The computation of \(H^* (M^2_0)\) proceeds inductively using \(\text{mod } p\) and \(v_1\)-Bockstein spectral sequences and gives \(\pi_* (L_2 S^0)\) as a corollary. But \(H^* (M^2_0)\) contains much more information and will have other applications, e.g. on non triviality of certain products, as well.

Recommendations

• The homotopy groups \(\pi_*(L_2V(0) \wedge T(k))\)
• scientific article; zbMATH DE number 1036685
• The Adams-Novikov \(E_2\)-term for \(\pi_*(L_2S^0)\) at the prime 2

Cited in

(31)

• The secondary differentials on the third line of the Adams spectral sequence
• The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres
• The Adams-Novikov \(E_2\)-term for \(\pi_*(L_2S^0)\) at the prime 2
• On some products of \(\beta\)-elements in the stable homotopy of \(L_ 2\)-local spheres
• Centralizers of elementary Abelian p-subgroups and mod-p cohomology of profinite groups
• Chromatic splitting for the \(K(2)\)-local sphere at \(p=2\)
• Computations of orbits for the Lubin-Tate ring
• The chromatic splitting conjecture at \(n = p = 2\)
• The convergence of \(\widetilde{\gamma}_s (b_0h_n- h_1b_{n-1})\)
• On homotopy groups of \(E_C^{hG_{24}} \wedge A_1\)
• The \(E_{2}\)-term of the \(K(n)\)-local \(E_{n}\)-Adams spectral sequence
• The first line of the Bockstein spectral sequence on a monochromatic spectrum at an odd prime
• The (𝑛+1)-Lipschitz homotopy group of the Heisenberg group ℍⁿ
• The homotopy groups of \(L_2T(1)/(v_1)\) at an odd prime
• Pin c Cobordism and Equivariant Spin c Cobordism of Cyclic 2-Groups
• scientific article; zbMATH DE number 18370 (Why is no real title available?)
• The homotopy groups of \(S_{E(2)}\) at \(p\geq 5\) revisited
• scientific article; zbMATH DE number 579354 (Why is no real title available?)
• scientific article; zbMATH DE number 1751506 (Why is no real title available?)
• The -family in the K(2)-local sphere at the prime 2
• The centralizer resolution of the \(K(2)\)-local sphere at the prime \(2\)
• On the Iwasawa theory of the Lubin-Tate moduli space
• The Slice Spectral Sequence of a 𝐶₄-Equivariant Height-4 Lubin–Tate Theory
• Exotic Picard groups and chromatic vanishing via the Gross-Hopkins duality
• \(KU\)-local zeta-functions of finite CW-complexes
• Morava K-theory and filtrations by powers
• The cohomology of P(2) in dimensions less than 4 at an odd prime
• The duality resolution at n=p=2
• New infinite families in the stable homotopy groups of spheres
• Nonvanishing of products in v₂-periodic families at the prime 3
• Towards the finiteness of \(\pi _*L_{K(n)}S^0\)

This page was built for publication: The homotopy groups \(\pi_ * (L_ 2 S^ 0)\)

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