Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 115 / 4 / b

For a principal connection with connection form $\mathcal{A}$, the horizontal distribution of a principal connection is $H=\ker \mathcal{A}$, the complement of the tangent spaces to the $G$-orbits. Its curvature of a principal connection isIf $X,Y$ are horizontal vector fields, then $\mathcal{A}(X)=\mathcal{A}(Y)=0$, and henceThe Frobenius theorem says that $H$ is integrable exactly when $[X,Y]$ is horizontal for all horizontal $X,Y$. The displayed identity makes this equivalent to the vanishing of the horizontal two-form $\mathcal{F}$, hence to $\mathcal{F}=0$. Thus the horizontal distribution is integrable exactly for a flat principal connection.