Invariant frames for vector bundles and applications

This paper completes a proof of the Dirac reduction theorem by involutive tangent subbundles. As a consequence, Dirac reduction by a proper Lie group action having one isotropy type is carried out. The main technical tool in the proof is the notion of partial connections on suitable vector bundles.