No label defined (Q4357632)

Let \(P\to M\) be a principal bundle with the structure Lie group \(U\) and \(\omega\) a flat bundle on \(P\). Suppose that \(M = G/H\) is a reductive homogeneous space of a simply connected Lie group \(G\) and denote by \(\nabla\) the natural connection on the principal bundle \(G\to M\) and by \(G[e]\) the corresponding holonomy bundle through \(e\). The holonomy homomorphism of \(\omega\) identifies with a homomorphism \(h_{\omega}: H\to U\) satisfying \(h_{\omega}(H^{\circ}) = e\). The equivalence of the following conditions is proved: (i) \(h_{\omega}\) extends to a smooth mapping \(\mathcal H: G\to U\) satisfying \(\mathcal H(g'gh) = \mathcal H(g)\mathcal H(g')\) for \(g\in G, g'\in G[e], h\in H^{\circ}\). (ii) \(P\) is trivial and \(\omega\) is gauge equivalent to a connection given by a form \(\theta_0\) satisfying \(\nabla\theta_0 = 0\). This result is applied to principal homogeneous bundles with reductive base \(M\). For the entire collection see [Zbl 0867.00024].