Анотація:
Given a principal fibre bundle with structure group S, and a fibre transitive Lie group G of automorphisms thereon, Wang's theorem identifies the invariant connections with certain linear maps ψ:g→s. In the present paper, we prove an extension of this theorem which applies to the general situation where G acts non-transitively on the base manifold. We consider several special cases of the general theorem, including the result of Harnad, Shnider and Vinet which applies to the situation where G admits only one orbit type. Along the way, we give applications to loop quantum gravity.