The Samelson product and rational homotopy for gauge groups

From MaRDI portal
Publication:2479817



Abstract: This paper is on the connecting homomorphism in the long exact homotopy sequence of the evaluation fibration evp0:C(P,K)KoK, where C(P,K)KcongGau(P) is the gauge group of a continuous principal K-bundle P over a closed orientable surface or a sphere. We show that in this cases the connecting homomorphism in the corresponding long exact homotopy sequence is given in terms of the Samelson product. As applications, we exploit this correspondence to get an explicit formula for pi2(Gau(Pk)), where Pk denotes the principal S3-bundle over S4 of Chern number k and derive explicit formulae for the rational homotopy groups pin(Gau(P))otimesQ.


Given a principal bundle \(P\to S^m \) over am \(m\)-dimensional sphere with the structure group \(K\) one associates the evaluation fibration \(C(P,K)^K \to K\), where the total space is the gauge group consisting of all \(K\)-equivariant maps from \(P\) to \(K\). The fibre in this bundle is equal to the pointed gauge group. If the base is the sphere it is homotopy equivalent to the pointed maps \(S^m\to K\). Hence the connecting homomorphisms in the evaluation fibration are homomorphisms \(\delta_n:\pi_n(K)\to \pi_{n+m-1}(K)\). The main result of the paper under review states that the value of the connecting homomorphism is given by the Samelson product: \(\delta_n(a)= -\langle a,b\rangle\), where \(b\in \pi_{m-1}(K)\) is the element defining the bundle \(P.\)











This page was built for publication: The Samelson product and rational homotopy for gauge groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2479817)