A note on homotopy types of connected components of Map \((S^4, BSU(2))\) (Q425285): Difference between revisions

It is known that the \(k\)-th connected component of the mapping space \({\text Map}(S^4, BSU(2))\) is homotopy equivalent to the classifying space of the gauge group \({\mathcal G}_k\) of the principal \(SU(2)\)-bundle over \(S^4\) with its second Chern number \(k\). \textit{S. Tsukuda} [J. Pure Appl. Algebra 161, No.1--2, 235--243 (2001; Zbl 0976.55004)] obtained the \(p\)-local homotopy type of its connected components, but his proof was not complete for the case \(p=2\). In this paper, the author gives the complete proof by using the Chern character and some numerical computations of a sequence \(\{\epsilon_i\}_{i=0}^{\infty}\) of rational numbers. Moreover, he also studies the \(A_n\)-type of the gauge group \({\mathcal G}_k\) by using the \(\epsilon_i\)'s and obtains some upper bound for \(A_n\) types.