14
$\begingroup$

What is $\pi_{31}(S^2)$ - high 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-) qbits (quantum bits) entanglement, see this reference : http://arxiv.org/pdf/0904.4925v1.pdf

2) Maybe there are relations between classification of qbits entanglements and sphere homotopy groups ?

3) We are interested in the classification of 4-qbits entanglements.

$\endgroup$
16
$\begingroup$

In general, finding the isomorphism class of higher homotopy groups of the spheres is an extremely hard problem. Luckily however, there seem to be some techniques available to the low dimensional spheres which aren't available to the higher dimensional spheres. In particular, there appears to be an isomorphism between $\pi_n(S^2)$ and the co-kernel of a homomorphism from the Brunnian braid group in $n$ strings on the disk to the equivalent Brunnian braid group on the sphere. The homomorphism is induced by the canonical geometric embedding of the disk in the sphere.

That is, let $f\colon D\rightarrow S^2$ be the canonical embedding of the disk in to the sphere and let $C(n,D)$ and $C(n,S^2)$ be the configuration space of $n$ points in the the disk $D$ and sphere $S^2$ respectively. It's a well-known theorem that $\pi_1(C(n,M))$ is isomorphic to the pure braid group on $n$ strings in the manifold $M$ and so $f$ induces a homomorphism $f_*\colon\pi_1(C(n,D))\rightarrow\pi_1(C(n,S^2))$ on braid groups.

Let $BB_n\leq\pi_1(C(n,D))$ be the subgroup of Brunnian braids in the disk and similarly let $BB_N^{S^2}\leq \pi_1(C(n,S^2))$ be the subgroup of Brunnian braids in the sphere. A Brunnian braid is a pure braid such that the removal of any one string leaves the remaining braid isotopic to the identity on $n-1$ strings. We may restrict $f_*$ to the Brunnian braids and so get a homomorphism $f_*'\colon BB_n\rightarrow BB_n^{S^n}$. For $n$ large enough (greater than 3 i think), there is an isomorphism $$\pi_n(S^2)\cong \mbox{coker}f_*'=BB_n^{S^2}/\mbox{Im}f_*'.$$

This theorem is attributed to Berrick, Cohen, Wong, Wu in their paper Configurations, braids, and homotopy groups.

What makes this theorem so useful is that it reduces the hard problem of finding homotopy groups of the sphere to what is essentially computational group theory. This is because we have pretty good knowledge of both the disk and sphere braid groups thanks to work done in the 60s stemming from the analysis of the Fadell-Neuwirth fibrations between configuration spaces of $n$ points in a manifold. I've not done any computational group theory before so I don't know if identifying the isomorphism class of the above mentioned cokernel is computationally efficient, but it at least gives us a known algorithm for calculating it (it's possible that identifying the Brunnian subgroup of the respective braid groups might be difficult).


The following is just to keep a comprehensive collection of information we have, and I take no credit for finding these references.

For those that haven't seen the cross-posted question on MathOverflow Mark Grant gives a reference to a paper which appears to give computations of $\pi_i(S^3)$ for all $i\leq 64$ which are of course isomorphic to the $\pi_i(S^2)$ for suitably large $i$ by the isomorphism induced by the hopf fibration:

Curtis, Edward B.,Mahowald, Mark, The unstable Adams spectral sequence for $S^3$, Algebraic topology (Evanston, IL, 1988), 125–162, Contemp. Math., 96, Amer. Math. Soc., Providence, RI, 1989.

In the comments, the OP also gives a reference to a paper in which the $2$ primary part of $\pi_{31}(S^3)$ is given as isomorphic to $\mathbb{Z}_2\oplus\mathbb{Z}_2\oplus\mathbb{Z}_2\oplus\mathbb{Z}_2$:

Nobuyuki Oda, On the 2.Components of the Unstable Homotopy Groups of Spheres I, Proc. Japan Acad. Ser. A Math. Sci. Volume 53, Number 7 (1977), 215-218. (link)

$\endgroup$
  • 1
    $\begingroup$ I should add that this is by no means an exhaustive list of methods we have to calculate the homotopy groups of $S^2$. It's possible that $31$ is small enough as well that this particular homotopy group has already been identified. I know that lists of sphere homotopy groups have been made, but the most extensive part of the list is in the stable range, which $\pi_{31}(S^2)$ does not fall under. $\endgroup$ – Dan Rust May 15 '13 at 12:39
  • 1
    $\begingroup$ John Baez mentions here: math.ucr.edu/home/baez/week264.html that we know the homotopy groups of $S^2$ up to $\pi_{64}$ but I can't seem to find a reference and it's difficult to know what to search for. $\endgroup$ – Dan Rust May 15 '13 at 12:53
  • $\begingroup$ I think the 64 refers to Kochman's work, but he was working stably. The tables of Toda only go out to 19. $\endgroup$ – Drew May 15 '13 at 23:06
  • $\begingroup$ I've added some information given in an answer on MO mathoverflow.net/questions/130922/… as I know some people don't use both sites but may be interested in this question. $\endgroup$ – Dan Rust May 18 '13 at 21:11
  • $\begingroup$ @DanielRust : You were faster than me! In fact, I wonder if we know something about 3-primary part or 5-primary part of $\pi_{31}(S^3)$ There is also a second paper of Oda $\endgroup$ – Trimok May 20 '13 at 10:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.