We have $\widetilde{KO}(S^4) \cong \mathbb{Z}$ and $\widetilde{K}(S^4) \cong \mathbb{Z}$. There is a map $i:\widetilde{KO}(S^4) \rightarrow \widetilde{K}(S^4)$ that takes a stable vector bundle to its complexification. Question: What is the image of $i$? I've seen it asserted (say, in various sources discussing Rochlin's theorem on signatures of $4$-manifolds) that it is $2 \mathbb{Z}$, but I'm having trouble proving this. 



Complexification of real k-theory gives index $2$ subgroup of complex k-theory
This is the same as the induced map $\pi\_4(KO) \to \pi\_4(KU)$. Via Bott periodicity (see also [this answer](https://mathoverflow.net/questions/192316/the-periodic-values-in-bott-periodicity/192324#192324)), this is the same as the induced map $\pi\_0(KSp) \to \pi\_0(KU)$ coming from the map sending a stable quaternionic vector bundle on a point to its underlying stable complex vector bundle relative to some choice of embedding $\mathbb{C} \to \mathbb{H}$. This map doubles dimensions. 


