G-structure on a manifoldIn differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM (or GL(M)) of M. The notion of G-structures includes various classical structures that can be defined on manifolds, which in some cases are tensor fields. For example, for the orthogonal group, an O(n)-structure defines a Riemannian metric, and for the special linear group an SL(n,R)-structure is the same as a volume form.
Principal bundleIn mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product of a space with a group . In the same way as with the Cartesian product, a principal bundle is equipped with An action of on , analogous to for a product space. A projection onto . For a product space, this is just the projection onto the first factor, . Unlike a product space, principal bundles lack a preferred choice of identity cross-section; they have no preferred analog of .
Pullback (differential geometry)Let be a smooth map between smooth manifolds and . Then there is an associated linear map from the space of 1-forms on (the linear space of sections of the cotangent bundle) to the space of 1-forms on . This linear map is known as the pullback (by ), and is frequently denoted by . More generally, any covariant tensor field – in particular any differential form – on may be pulled back to using . When the map is a diffeomorphism, then the pullback, together with the pushforward, can be used to transform any tensor field from to or vice versa.