Characteristic classes for quaternionic bundles

Question

In a nutshell, the derivation of the Stiefel-Whitney and Chern classes for a (let's say) closed space $X$ is as follows: For $k = {\mathbb{R}}$ or $\mathbb{C}$, any $k$-line bundle $\xi \to X$ is the pullback $f^*\gamma$ of the tautological bundle $\gamma \to k\mathbb{P}^\infty$; and since $k{\mathbb{P}}^\infty$ is a $K(\pi, n)$, the pullback $f^*[k\mathbb{P}^\infty]$ classifies $\xi$ up to homotopy. For $k = \mathbb{R}$, we have $\mathbb{RP}^\infty = K(\mathbb{Z}_2, 1)$; and for $k = \mathbb{C}$, we have $\mathbb{CP}^\infty = K(\mathbb{Z}, 2)$. Thus in the real case, we have a characteristic class $w_1(\xi)\in H^1(X, \mathbb{Z}_2)$; and in the complex case, we have a characteristic class $c_1(\xi)\in H^2(X, \mathbb{Z})$. For a general bundle $\xi \to X$, we can use the splitting principle to define classes $w(\xi)\in H^*(X, \mathbb{Z}_2)$ and $c(\xi)\in H^{2*}(X, \mathbb{Z})$.

This construction seems to rely on the apparent coincidence that $\mathbb{RP}^\infty$ and $\mathbb{CP}^\infty$ are both Eilenberg-MacLane spaces. I therefore have a question:

We can perform the analogous construction for quarternionic line bundles (unless I'm mistaken) and similarly show that they're all pullbacks of the tautological line bundle $\gamma\to \mathbb{HP}^\infty$. Unfortunately, $\mathbb{HP}^\infty$ is not a $K(\pi, n)$. Is there an analogue of the Stiefel-Whitney or Chern class that classifies quaternionic bundles; and if so, how is it derived?

My apologies in advance for the vagueness of the question. (Something like, "Go read [book]" is a totally valid response.)

Answer 1

The formalism you want is that of principal bundles. For $K = \mathbb{R}, \mathbb{C}, \mathbb{H}$, classifying $n$-dimensional $K$-vector bundles is equivalent to classifying principal $\text{GL}_n(K)$-bundles. For any topological group $G$, there is a classifying space $BG$ for classifying principal $G$-bundles, and by the Yoneda lemma a characteristic class of principal $G$-bundles is precisely a cohomology class in the cohomology of $BG$.

For the case of quaternionic line bundles the relevant topological group is $G = \text{GL}_1(\mathbb{H})$, which up to homotopy can be replaced with $G = \text{Sp}(1)$. Hence the classifying space of quaternionic line bundles is $B\text{Sp}(1)$, and you want to compute the cohomology of this classifying space. The answer is that

$$H^{\bullet}(B \text{Sp}(1), \mathbb{Z}) \cong \mathbb{Z}[p_1]$$

is a polynomial ring on the universal first Pontryagin class $p_1 \in H^4(B \text{Sp}(1), \mathbb{Z})$. Similarly the integral cohomology of $B \text{Sp}(n)$, which gives integral characteristic classes for $n$-dimensional quaternionic vector bundles, is a polynomial ring on classes $p_k \in H^{4k}, k \le n$.

I don't really understand your second question.