Frame and coframe bundles
Given a -vector bundle of finite rank , its frame bundle (or bundle of frames in ) is the bundle over the same base whose fiber over is the set of all vector space bases of . The frame bundle has a natural action of given by an ordered change of basis which is free and transitive, i. e., the frame bundle is a principal -bundle.
The frame bundle of a manifold is the principal bundle (also denoted ) of frames in the tangent bundle .
In the finite-dimensional case, the dual -principal bundle is the coframe bundle of the manifold. This means that is the associated bundle to where the left action of on is given by right multiplication by inverses . Also using the same formula. Furthermore, the right action of on this associated bundle is given by left multiplication by inverses on factor.
Coframe bundle has the following independent description. One looks at the set of tuples of the form where and is chart of the smooth structure on , , (an atlas where -s make a basis of topology suffices). acts on the right on by
Then holds. The total space of the coframe bundle by the definition, as a set, consists of classes of equivalence of tuples in where iff and the Jacobian matrix of the transition between charts at is the unit matrix: . The left action of is induced on the quotient. There is an obvious projection . To define the differential and principal bundle structure one charts with local trivializations from the neighborhoods of the form , transfers the structure and checks that the transition functions are of the appropriate smoothness class and right -equivariant. The basic prescription is that to every chart one defines a map
where with . This does not depend on the choice of the chart around . There is an equivariance
and on intersection of and
Then is onto and
what shows that the transition functions are smooth (where has the standard differential structure).
In differential cohesion
Formalization of frame bundles in differential cohesion is discussed there in the section Differential cohesion – Frame bundles