HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the EHP spectral sequence is a
spectral sequence In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by , they h ...
used for inductively calculating the
homotopy groups of spheres In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure ...
localized at some
prime A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
''p''. It is described in more detail in and . It is related to the EHP long exact sequence of ; the name "EHP" comes from the fact that George W. Whitehead named 3 of the maps of his sequence "E" (the first letter of the German word "Einhängung" meaning "suspension"), "H" (for
Heinz Hopf Heinz Hopf (19 November 1894 – 3 June 1971) was a German mathematician who worked on the fields of dynamical systems, topology and geometry. Early life and education Hopf was born in Gräbschen, German Empire (now , part of Wrocław, Poland) ...
, as this map is the second Hopf–James invariant), and "P" (related to
Whitehead product In mathematics, the Whitehead product is a graded quasi-Lie algebra structure on the homotopy groups of a space. It was defined by J. H. C. Whitehead in . The relevant MSC code is: 55Q15, Whitehead products and generalizations. Definition G ...
s). For p = 2 the spectral sequence uses some exact sequences associated to the fibration :S^n(2)\rightarrow \Omega S^(2)\rightarrow \Omega S^(2), where \Omega 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_1^ term equal to : \pi_(S^(2)) and converging to \pi_*^S(2) (stable homotopy groups of spheres localized at 2). The spectral sequence has the advantage that the input is previously calculated homotopy groups. It was used by to calculate the first 31 stable homotopy groups of spheres. For arbitrary primes one uses some fibrations found by : :\widehat S^(p)\rightarrow \Omega S^(p)\rightarrow \Omega S^(p) : S^(p)\rightarrow \Omega \widehat S^(p)\rightarrow \Omega S^(p) where \widehat S^ is the (2np-1)-skeleton of the loop space \Omega S^. (For p = 2, the space \widehat S^ is the same as S^, so Toda's fibrations at p = 2 are the same as the James fibrations.)


References

* * * * * * Spectral sequences {{topology-stub