The homotopy types of Sp(2)-gauge groups (Q1958474)

Let \(G\) be a simple, simply connected compact Lie group, let \(P_k\) be a principal \(G\)-bundle over \(S^4\) with the classifying element \(k\in \mathbb Z =\pi_3(G)\), and let \({\mathcal G}_k\) denote the gauge group of \(P_k\). It is known that these gauge groups \(\{{\mathcal G}_k\}_{k\in \mathbb Z}\) have finitely many homotopy types and the author tries to determine this number explicitly. In this paper, he considers the case \(G=\text{Sp}(2)\). In particular, he shows that \((k,40)=(k',40)\) if there is a homotopy equivalence \({\mathcal G}_k\simeq {\mathcal G}_{k'}\), and he also proves that there is a homotopy equivalence \(({\mathcal G}_k)_{p}\simeq ({\mathcal G}_{k'})_p\) if \((k,40)=(k',40)\) for \(p\in \{\text{any prime or }0\}\). These results are proved by explicit computations of homotopy groups.