How can I visualize the nontrivial element of $\pi_4(S^3)$ and $\pi_5(S^3)$ ? - MathOverflow

How can I visualize the nontrivial element of $\pi_4(S^3)$ and $\pi_5(S^3)$ ?

2010-09-11T03:28:53Z

I've read in the textbooks that the non-trivial generator $\eta_n$ of $\pi_{n+1}(S^n)$ is the suspension of the Hopf map $S^3\to S^2$, and the generator $\chi$ of $\pi_5(S^3)$ is given by $\eta_3 \circ \eta_4$. Fine.

My question is, how I can visualize them? Is there a nice explicit way to describe these maps $\eta_3$ and $\eta_3\circ \eta_4$ ? How about the generator of $\pi_6(S^3)$ ?

(Other questions on MO look more serious. Hopefully this question is not out of place ...)

EDIT: anyone with rudimentary understanding of basic homotopy theory would say $\eta$ and $\eta\circ\eta$ are explicit enough, but I just can't visualize the suspension. I would be happy with a nice description of $SU(2)$ bundles over $S^n$, as my first exposure to homotopy is through quantum field theory...

Further edit: Thanks everyone for answers, I'm almost inclined to accept Per's answer, but I'm not still satisfied :p

Answer by Bo Peng for How can I visualize the nontrivial element of $\pi_4(S^3)$ and $\pi_5(S^3)$ ?

2010-09-11T04:50:57Z

You can read some John Baez

http://math.ucr.edu/home/baez/week102.html

which contains exactly your answer :-)

Answer by Per Vognsen for How can I visualize the nontrivial element of $\pi_4(S^3)$ and $\pi_5(S^3)$ ?

2010-09-11T05:43:47Z

The main thing to visualize is the Hopf fibration of $S^2$, its suspensions, and their various compositions.

Let $f \colon S^3 \to S^2$ be the Hopf fibration.

When you suspend $f$ to get $g \colon S^4 \to S^3$, you effectively embed a 2-sphere as the equator of a 3-sphere and extend the mapping in parallel to 2-spheres of latitude. Thus away from the poles you still have circles as preimages.

You can see that $f$ and $g$ compose to give a map $h \colon S^4 \to S^2$. To get a sense of how this looks as a fibration, you can work backwards. First, the preimage of a point in $S^2$ under $f$ is a circle in $S^3$. As noted above, each pointwise preimage of this circle under the suspension $g$ is again generically a circle. When the different circles fit together cleanly, it looks like you get a torus fibration, where the tori twist and interlink within each latitudinal 3-sphere of $S^4$ analogously to the meshing of circles in $S^3$ for the Hopf fibration. If you now suspend this situation, you get a torus fibration over $S^3$ that looks like $h$ within each 2-sphere of latitude.

(I'm still not happy with this description but decided to post it in the hope it might spark some ideas.)

Answer by Makoto for How can I visualize the nontrivial element of $\pi_4(S^3)$ and $\pi_5(S^3)$ ?

2010-09-20T05:29:23Z

$S^3$ is isomorphic to $SO(3)$, which is a real Lie group and therefore is a differentiable and oriented real 3-fold, which has the double cover by $SU(2)$ which is the universal covering of $SO(3)$ or exponential of $su(2)$. Higher dimensional terms come from Bott's periodicity theorem. This is the QFT explanation.

In other words, thanks to the complex structure, we have a triangulation (approximation by CW (cell) complex attaching several n-dimensinal cell $e^n$ to a point set ${0}$, and Eilenberg-Steenrod axioms of singular homology of integral coefficient [with torsion module]). Then the textbook of Chern-Weil theory of characteristic class or some classic foliation (Postnikov tower of fibration) can tell you that there is a $E_2$ spectral sequence of double complex [see Bott-Tu GTM82, P.251-252] which is computable by exact sequence. This is the algebraic topology answer (non-simply connected space).

Answer by Dev Sinha for How can I visualize the nontrivial element of $\pi_4(S^3)$ and $\pi_5(S^3)$ ?

2010-09-20T06:09:19Z

Through the Pontrjagin-Thom construction, a framed $n-k$ manifold in $S^n$ determines a map from $S^n$ to $S^{n-k}$. $\eta$ is represented by $S^1$ in $S^3$ with framing which "twists around once". The suspension of $\eta$ is represented by $S^1$ in $S^4$ lying in the equatorial $S^3$ with framing which is the product of this "twist once" framing within $S^3$ and the trivial framing in the normal direction, etc.

The composite is represented by an $S^1 \times S^1$ with a framing which is "twist around once" on each factor.