In order to learn about vector bundles, I would like to draw the tautological vector bundle over the complex projective line
$$ E = \{(x,v) \in \mathbb{CP}^1 \times \mathbb{C}^2 : v \in x \} .$$
Identifying the complex projective line with the Riemann sphere, $\mathbb{CP}^1 \cong S^2$, I hope that it might be possible to visualize this bundle by attaching small planes to each point of the sphere, similar to how one can visualize the tangent bundle of sphere.
In other words, I'm looking for an embedding $E \hookrightarrow S^2 \times \mathbb{R}^3$ into a trivial bundle. (Obviously, $E$ has to be viewed as a 2-dimensional real vector bundle for this to make sense.) I am aware that such a thing might not exist, in which case I would like to learn why.
Best Answer
I claim that there is no bundle embedding of the realification of the tautological bundle $\mathcal{O}(-1)$ into the trivial (real) bundle $S^2 \times \mathbb{R}^3$. Suppose there were; then we could take the orthogonal complement $N$, and we would obtain a decomposition $$ N \oplus \mathcal{O}(-1)_{\mathbb{R}} = S^2 \times \mathbb{R}^3$$ where $N$ is a real line bundle. But real line bundles on any compact CW complex $X$ are classified by the first Stiefel-Whitney class, which lives in $H^1(X, \mathbb{Z}/2)$ (since the infinite 1-Grassmannian is a $K(\mathbb{Z}/2, 1)$). However, $H^1(S^2, \mathbb{Z}/2)=0$, and so $N$ is trivial.
It follows that if such an embedding existed, then $\mathcal{O}(-1)_{\mathbb{R}}$ would be stably trivial. This is, however, not the case. Stable trivialty would imply that the Stiefel-Whitney classes were trivial, as the product formula for them shows. However, we know that the top Chern class in $H^2(\mathbb{CP}^1, \mathbb{Z})$ generates the group, and also that (Proposition 3.8 in Hatcher's Vector Bundles and K-theory, available here) implies that the top Stiefel-Whitney class is the image of the top Chern class. But the image of a generator in $H^2(\mathbb{CP}^1, \mathbb{Z})$ in $H^2(S^2, \mathbb{Z}/2)$ is nonzero.