James fibration
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, 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 hav ...
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 topology and geometry. Early life and education Hopf was born in Gräbschen, Germany (now , part of Wrocław, Poland), the son of Elizabeth ( ...
, 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 ...
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 In mathematics, well-behaved topological spaces can be localized at primes, in a similar way to the localization of a ring at a prime. This construction was described by Dennis Sullivan in 1970 lecture notes that were finally published in . The rea ...
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