EHP spectral sequence

From Wikipedia, the free encyclopedia

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", "H", and "P".

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 E1k,n term πk+n(S2n−1(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 Oda (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 ΩS2n + 1. (For p = 2, \widehat S^{2n} is the same as S2n, so Toda's fibrations at p = 2 are same same as the James fibrations.)

[edit] References