EHP spectral sequence

In mathematics, the EHP spectral sequence is a spectral sequence used for inductively calculating the homotopy groups of spheres localized at some prime p. It is described in more detail in Ravenel (2003, chapter 1.5) and Mahowald (2001). It is related to the EHP long exact sequence of Whitehead (1953); the name "EHP" comes from the fact that Whitehead named 3 of the maps of his sequence "E" (the first letter of the German word "Einhängung" meaning "suspension"), "H" (for Hopf, as this map is the second Hopf-James invariant), and "P" (related to (Whitehead) products).

For p = 2 the spectral sequence uses some exact sequences associated to the fibration (James 1957)

S^{n}(2)\rightarrow \Omega S^{{n+1}}(2)\rightarrow \Omega S^{{2n+1}}(2)

(where Ω stands for a loop space and the (2) is localization of a topological space at the prime 2). This gives a spectral sequence with E₁^k,n term π_k+n(S²ⁿ⁻¹(2)) and converging to π_*^S(2) (stable homotopy of spheres localized at 2). The spectral sequence has the advantage that the input is previously calculated homotopy groups. It was used by Toda (1977) to calculate the first 31 stable homotopy groups of spheres.

For arbitrary primes one uses some fibrations found by Toda (1962):

\widehat S^{{2n}}(p)\rightarrow \Omega S^{{2n+1}}(p)\rightarrow \Omega S^{{2pn+1}}(p)

S^{{2n-1}}(p)\rightarrow \Omega \widehat S^{{2n}}(p)\rightarrow \Omega S^{{2pn-1}}(p)

where $\widehat S^{{2n}}$ is the 2np − 1 skeleton of the loop space $\Omega S^{{2n+1}}$ . (For p = 2, $\widehat S^{{2n}}$ is the same as $S^{{2n}}$ , so Toda's fibrations at p = 2 are the same as the James fibrations.)

References

James, I.M. (1957), "On the suspension sequence", Annals of Mathematics, The Annals of Mathematics, Vol. 65, No. 1, 65 (1): 74–107, JSTOR 1969666, doi:10.2307/1969666
Mahowald, M. (2001) [1994], "EHP spectral sequence", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
Oda, N. (1977), "On the 2-components of the unstable homotopy groups of spheres, I–II", Proc. Japan Acad. Ser. A Math. Sci., 53 (6): 202–218, doi:10.3792/pjaa.53.202
Ravenel, Douglas C. (2003), Complex cobordism and stable homotopy groups of spheres (2nd ed.), AMS Chelsea, ISBN 0-8218-2967-X
Toda, Hirosi (1962), Composition methods in homotopy groups of spheres, Princeton University Press, ISBN 0-691-09586-8
Whitehead, George W. (1953), "On the Freudenthal theorems", Annals of Mathematics, Second Series, The Annals of Mathematics, Vol. 57, No. 2, 57 (2): 209–228, JSTOR 1969855, MR 0055683, doi:10.2307/1969855

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.