5
$\begingroup$

On $S^4$, we know that rank 2 complex vector bundles are classified by $\pi_3(U(2))=\mathbb Z$. Any element $g\in\pi_3(U(2))=\mathbb Z$ determines a complex vector bundle $E$ over $S^4$.

Question: Can we say that the corresponding second Chern class $c_2(E)$ equals $g$, i.e. $\left<c_2(E),[S^4]\right>=\deg(g)$.

$\endgroup$
1
$\begingroup$

Choose a homotopy equivalence $U(2)\simeq \Omega BU(2)$ to use as an identification and let $g:S^3\rightarrow U(2)\simeq \Omega BU(2)$ represent a homotopy class in $\pi_3U(2)$. Then the $U(2)$-bundle $E\rightarrow S^4$ corresponding to $g$ is classified by the map $\tilde{g}:S^4\rightarrow BU(2)$ which is adjoint to $g$. Then $g$ is homotopic to the composite

$g:S^3\xrightarrow{E}\Omega S^4\xrightarrow{\Omega\tilde{g}}\Omega BU(2)\xrightarrow{\simeq} U(2)$

where $E:S^3\rightarrow\Omega\Sigma S^3$ is the suspension map.

Now since the fibration $SU(2)\rightarrow U(2)\xrightarrow{det}S^1$ splits and there is a homotopy equivalence $U(2)\simeq S^1\times S^3$, there is a spherical generator $x_3\in H^3U(2)=\mathbb{Z}$ in the sense that

$g^*x_3=\text{deg}(g)\cdot s_3\in H^3S^3$

where $s_3$ generates $H^3S^3=\mathbb{Z}$. Moreover we may assume that $x_3$ is the cohomology suspension of the second Chern class

$x_3=\sigma (c_2)$

Now all of this together gives us a second equation for $g^*x_3$

$g^*x_3=g^*\sigma (c_2)=E^*(\Omega\tilde{g})^*\sigma (c_2)=E^*\sigma (\tilde{g}^*c_2)=\text{deg}(\tilde{g})\cdot E^*\sigma(s_4)=\text{deg}(\tilde{g})\cdot s_3$

Finally combine the two expressions for $g^*x_3$ to get

$g^*x_3=\text{deg}(g)\cdot s_3=\text{deg}(\tilde{g})\cdot s_3$

and conclude that $\text{deg}(g)=\text{deg}(\tilde{g})$. That is, in the wording of your question, "the corresponding second Chern class $c_2(E)$ equals $g$".

$\endgroup$
0
6
$\begingroup$

You can identify $c_2$ with an element of $H^4(BU(2))$. Let $BU(2)\to K({\mathbb Z}, 4)$ be a map that classifies $c_2$. It induces a homomorphism $\pi_4(BU(2))\cong [S^4, BU(2)]_*\to [S^4, K({\mathbb Z}, 4)]_*\cong H^4(S^4)$. If I understand correctly, your first question is equivalent to asking whether this homomorphism is an isomorphism. It follows from Bott's integrality theorem that the analogous homomorphism $\pi_{2n}(BU(n))\to H^{2n}(S^{2n})$ that classifies $c_n$ is multiplication by $(n-1)!$ (see for example Husemoller's book Fibre bundles, Corollary 9.8). In your case $n=2$, so it is an isomorphism.

$\endgroup$
2
  • $\begingroup$ Bott Integrality Theorem holds for $n\geq3$. $\endgroup$ – DLIN Oct 27 '16 at 9:33
  • $\begingroup$ Husemoller's book explicitly says that it holds for $n\ge 1$. Where did you see the assumption $n\ge 3$? $\endgroup$ – Gregory Arone Oct 27 '16 at 21:09

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.