How does one compute Chern numbers of spherical rational homology classes $$f: S ^{2k} \to BU.$$ These generate rational homology by Milnor-Moore theorem since BU is a connected H-space, and so $c_k$ cannot kill such a class. It seems very likely that $\langle c_k,[f] \rangle =1$ but what is the proof? Let me add here that I meant that $[f]$ is a Milnor-Moore generator, i.e. it's the multiplicative identity in $\pi_{2k} (BU, \mathbb{Q}) \simeq {\mathbb {Q}}$.
1 Answer
$\begingroup$
$\endgroup$
5
We have that if $f\colon S^{2k}\to BU$ is an actual map of topological spaces (it is a little bit unclear from your formulation if you assume this) then $\langle c_k,[f]\rangle>$ is a multiple of $(k-1)!$ and all multiple are possible. See for instance Husemoller: Fibre bundles, Cor 18.9.8, GTM 20, Springer Verlag.
-
$\begingroup$ I cannot find this in Husemoller, would you give a section number or an outline of the argument? $\endgroup$– YashaCommented Nov 3, 2011 at 2:24
-
$\begingroup$ Sorry I intended to give the precise reference but managed to forget. $\endgroup$ Commented Nov 3, 2011 at 5:11
-
$\begingroup$ I have 3rd edition but do not have this cor. What edition do you mean? Could you just outline the argument I may be able to fill in the details. $\endgroup$– YashaCommented Nov 3, 2011 at 13:00
-
$\begingroup$ In 3rd edition this statement is Cor 20.9.8. It's a consequence of Bott periodicity. $\endgroup$ Commented Nov 3, 2011 at 14:40
-
$\begingroup$ I read the proof and it is pretty clear except for one part in the proof of periodicity. He looks at the Bott map $\beta:\tilde K(X)\to \tilde K(X\wedge S^2)$ coming from $\xi\mapsto \xi\otimes(\gamma -1)\in \tilde K(X\times S^2)$ where $\gamma$ is the canonical complex line bundle over $S^2=\mathbb{CP}^1$. He claims that this map is obviously onto. I don't quite see why that's true. $\endgroup$ Commented Nov 3, 2011 at 16:38