7
$\begingroup$

I have a map, constructed geometrically, $S^4 \to S^3$. I suspect that it is a representative for the generator $\eta_3\in \pi_4(S^3) \simeq \mathbb{Z}_2$, but I am not 100% sure ($\eta_3$ is defined as the suspension of the Hopf map $S^3 \to S^2$). I'd like to be able to detect the fact that my map is homotopically nontrivial in a geometric or combinatorial way. Is this possible? I imagine there is some sort of index one can calculate, but unfortunately the terms one looks these things up in are very generic (forms, integration, index etc).

$\endgroup$
7
  • 1
    $\begingroup$ Incidentally, this is my 100th question. :-) $\endgroup$
    – David Roberts
    Apr 13, 2013 at 1:51
  • $\begingroup$ I am no topologist, but I think that it is standard that the Freudenthal suspension map $\pi_3(S^2) \to \pi_4(S^3)$ is surjective. Since the Hopf map generates $\pi_3(S^2)$, its suspension generates $\pi_4(S^3)$. $\endgroup$
    – Angelo
    Apr 13, 2013 at 2:12
  • $\begingroup$ @Angelo, I know that part, but my map is defined without reference to suspension or the Hopf map, so I need to know if what I have is homotopic to $\eta_3$. $\endgroup$
    – David Roberts
    Apr 13, 2013 at 3:02
  • $\begingroup$ Sorry, I misread your post, I thought you were saying that you map was defined as the suspension of the Hopf map. $\endgroup$
    – Angelo
    Apr 13, 2013 at 3:18
  • $\begingroup$ What does 'a map constructed geometrically' mean? Are not all of them constructed geometrically? I think it is unlikely that you get a completely satisfactory answer, unless you say what the map is. $\endgroup$ Apr 13, 2013 at 7:36

1 Answer 1

22
$\begingroup$

How about thinking about framed cobordism, which in this case gives an isomorphism between $\pi_4(S^3)$ and the group of cobordism classes of normally framed 1-manifolds in $S^4$. Since your map is constructed geometrically, it probably has a regular value. Pull this back to a collection of disjoint circles in $S^4$, forming a trivial link, with framings of their normal bundles. Since $\pi_1SO(3)$ has order 2, just count up the number of circles with nontrivial framing to see whether this number is odd or even.

$\endgroup$
1
  • $\begingroup$ Thanks, Allen. I thought something like this would be the case, but I didn't know how to phrase it. $\endgroup$
    – David Roberts
    Apr 14, 2013 at 0:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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