Skip to main content

Section 17.2 First Examples

Example 17.7.

For \(k = 1\) the classifying space
\begin{equation*} BU(1) \;=\; \mathrm{Gr}_1(\mathbb{C}^\infty) \;=\; \mathbb{C}P^\infty \end{equation*}
is the infinite complex projective space. For a CW complex \(X\text{,}\) Theorem 17.2 therefore gives
\begin{equation*} \mathrm{Vect}_1^{\mathbb{C}}(X) \;\cong\; [X,\, \mathbb{C}P^\infty]. \end{equation*}
Since \(\mathbb{C}P^\infty = K(\mathbb{Z}, 2)\) is an Eilenberg–MacLane space, Theorem 14.9 further identifies
\begin{equation*} \mathrm{Vect}_1^{\mathbb{C}}(X) \;\cong\; [X,\, K(\mathbb{Z}, 2)] \;\cong\; H^2(X; \mathbb{Z}). \end{equation*}
The class corresponding to a line bundle \(L\) is its first Chern class \(c_1(L) \in H^2(X; \mathbb{Z})\text{.}\) So line bundles, which are geometric objects, are completely determined by a cohomology class. One can show that \(c_1(L \otimes L') = c_1(L) + c_1(L')\text{,}\) so this bijection is a group isomorphism when \(\mathrm{Vect}_1^{\mathbb{C}}(X)\) is given the tensor product.

Example 17.8. Line bundles on \(S^2\).

Specialising Example 17.7 to \(X = S^2\text{,}\)
\begin{equation*} \mathrm{Vect}_1^{\mathbb{C}}(S^2) \;\cong\; [S^2, \mathbb{C}P^\infty] \;\cong\; \pi_2(\mathbb{C}P^\infty) \;\cong\; \mathbb{Z}. \end{equation*}
Complex line bundles on the sphere are classified by an integer, the degree (or first Chern number). A generator is the tautological line bundle on \(S^2 = \mathbb{C}P^1\text{.}\) The sign depends on the identification \(\mathbb{C}P^\infty = K(\mathbb{Z}, 2)\text{,}\) that is, on a choice of generator of \(H^2(\mathbb{C}P^\infty; \mathbb{Z})\text{.}\) The usual convention is that the dual of the tautological bundle has Chern number \(1\) with respect to the complex orientation of \(\mathbb{C}P^1\text{.}\) With this convention the tautological bundle itself has Chern number \(-1\text{.}\) Its unit circle bundle is the Hopf fibration \(S^3 \to S^2\) of Example 10.15.

Remark 17.9.

For \(k \geq 2\text{,}\) the space \(BU(k)\) is no longer an Eilenberg–MacLane space, and the sets \([X, BU(k)]\) are in general very hard to compute directly. Passing to the stable setting in the next section helps for two reasons. Stable phenomena are more tractable, and by Bott periodicity (Theorem 17.12 below) they assemble into a cohomology theory, to which tools such as exact sequences apply.