[Math] the 31st homotopy group of the 2-sphere

at.algebraic-topologyhomotopy-theory

What is $\pi_{31}(S^2)$, the 31st homotopy group of the 2-sphere ?


This question has a physics motivation:

  1. There are relations between (2nd and 3rd) Hopf fibrations and (2- and 3-) qubits (quantum bits) entanglement; see Pinilla and Luthra – Hopf Fibration and Quantum Entanglement in Qubit Systems.

  2. Maybe there are relations between classification of qubits entanglements and sphere homotopy groups, and we are interested in the classification of 4-qubits entanglements.


I tried fo find the solution on the net, with help of math fans, but without success.

Wikipedia gives only to the 22nd group homotopy of the 2-sphere.

This article of John Baez gives interesting references, like Allen Hatcher, Stable homotopy groups of spheres or a link with braids (Berrick, Cohen, Wong, and Wu – Configurations, braids, and homotopy groups). One speaks of a book of Kochman Stanley O.: Stable Homotopy Groups of Spheres: A Computer-Assisted Approach.


But I am totally unable to find the answer.

A subsidiary question would be: Until what rank do we know these high homotopy group of the 2-sphere?

Best Answer

My apologies for updating this very old question.

As already mentioned, the 31st homotopy group of $S^2$ is the same as the 31st homotopy group of $S^3$. Serre's mod-C theory shows that this is a finite abelian group, and moreover that for any prime $p$ the first $p$-primary torsion occurs in $\pi_{2p} S^3$. This means that we don't have to check any primes $p$ for which $2p > 31$, which leaves us with the primes $p=3,5,7,11,13$.

The main tool for calculating these is the EHP spectral sequence. For $S^3$ the EHP sequence is pretty simple: there is a long exact sequence $$ \dots \to \pi_{n-1}(S^{2p-1}) \to \pi_{n}(S^3) \to \pi_{n}(S^{2p+1}) \to \pi_{n-2}(S^{2p-1}) \to \dots $$ that goes through $n > 3$.

The next point is the stable range. At odd primes and for odd spheres, the stable range is larger than that given by the Freudenthal theorem: if $n$ is odd, the stabilization map $\pi_{n+k}(S^n) \to \pi_k^S(S^0)$ is an epimorphism if $k=(n+1)(p-1) - 2$ and an isomorphism if $k < (n+1)(p-1)-2$. This means that all the groups relevant to computing $\pi_{31}(S^3)$ appear in the stable ranges of $\pi_*(S^{2p \pm 1})$ for $p \geq 5$, and those stable ranges are moreover very sparse (they only include the "image of J", which is well-known). If I have calculated correctly, $\pi_{31}(S^3)$ includes no $p$-torsion for $p \geq 5$.

That leaves only $p=3$, where we have to switch to a different algorithm ("I cannot do this, so I better look up what Toda calculated"). Toda showed that the 3-primary part of $\pi_{31}(S^3)$ is $\Bbb Z/3$. I found this in his 2003 text, "Unstable 3-primary Homotopy Groups of Spheres", but that was simply because I had it handier.

Combining this with the information from Mark Grant's answer gives $\Bbb Z/3 \oplus \Bbb Z/2 \oplus \Bbb Z/2 \oplus \Bbb Z/2 \oplus \Bbb Z/2$.