Skip to main content
1 of 3
Dev Sinha
  • 5k
  • 27
  • 42

First an important distinction: "Each element in $\pi_3(\vee S^2)$ has description in terms of linking number of point preimages (circles in $S^3$) of map $S^3 \to S^2$" is not a fully correct statement. What has a description in terms of such linking numbers is $Hom(\pi_3(\vee S^2), Z).$ As you say, $\pi_3(\vee S^2)$ itself is described as generated by Whitehead products and $\pi_3(M)$ is a quotient of this.

Dually, $Hom(\pi_3(M), Z)$ will consist of a sub-module of these linking numbers, and if you want you can make it more geometric. For any collection of closed two-dimensional cochains $\{ \alpha_i, \beta_i \}$ such that $\sum \alpha_i \smile \beta_i= d \theta_i$ one can form the generalized linking number which to some $f : S^3 \to S^2$ evaluates the "integral" $\int_{S^3} \sum f^* \alpha_i \smile d^{-1} f^* \beta_i - f^* \theta_i$. Here $\int_{S^3}$ just evaluation on the fundamental class of $S^3$ and $d^{-1} f^* \beta_i$ indicates a choice of $1$-cochain which cobounds $f^* \beta_i$. If the $\alpha_i$ and $\beta_i$ are Poincare dual to codimension two submanifolds of $M$ this will be a linking number (with "correction" by the $\theta_i$) of the preimages of those submanifolds.

So far, this is just addressing $\pi_3$. But in recent work Ben Walter and I generalize such "linking numbers" and show that the resulting collection yields a finite-index subgroup of $Hom(\pi_n(X), Z)$ for simply connected $X$. One can take the formulae there - in this case one will need to go to "weight two" - and translate them into geometric terms as I did for $\pi_3$ above. We give a number of examples, and I'd be happy to provide closer analysis for simply connected $M^4$ if you think what we do is relevant and I understood better what you're looking for. The caveats are that we are representing functionals on homotopy groups rather than homotopy groups themselves, and what we can do about torsion is very limited.

Dev Sinha
  • 5k
  • 27
  • 42