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$

2 Answers 2

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
    Commented Oct 27, 2016 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$ Commented Oct 27, 2016 at 21:09

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .