Now, observe that a principal bundle connection in a principal bundle produces a fiber bundle connection in the associated bundles. Take the context given in the latter note. Given , take a representative . We have a map
being . Now, take as definition:
At this way, we also carry the parallel transport concept to the associated bundle. \cite
Particular case: vector bundle connections
In the case of a vector bundle connection with associated principal bundle the frame bundle, the induced connection is obtained, in the sense of its connection 1-form, by simply pulling back with a particular frame. Let's see in the case of the tangent bundle.
Suppose we have a vector bundle connection on the bundle , induced by a principal connection on the frame bundle which is described by a 1-form on , . Then, if we select the frame in , we are providing a section of , and we can consider the -valued 1-form on .
On the other hand, the frame let us to write down a connection matrix (whose entries are 1-forms) for the connection . Given a vector field on , the connection gives us a way to differentiate it:
Where are the components of the -valued 1-form for the given frame.
Claim:
How does acts on ?
Consider a point , we have
Now, since is the connection induced by , you can compute for a vector , and such that and . What does is consider as an infinitesimal curve in and extract the components of .
But in the case , this curve is precisely so
It is clear that if then . I think that the opposite is also true:
Given two vectors with , they can be interpreted as infinitesimal curves through , i.e., curves inside with moving frames over them. I guess that by means of a local trivialization we can find a local section such that restricted we obtain the frames represented by , that is,
And then,
Example
(xournal 197)
Consider the worked example here, where we construct the connection 1-form of a connection on the tangent bundle of from a covariant derivative operator. Now, let's see how to express the induced principal connection on the frame bundle in terms of its 1-form. Consider a frame at . Since is in this case it can be seen as a subgroup of and then
The first components of the columns are elements of . If we pass from a frame at to a frame at the 1-form of the connection measures how this change fails to be constant.
To compute the 1-form we apply the 1-form of the original vector bundle connection (see here) to the vectors
to see how every vector in the frame fails to be constant.
These "mistakes" are expressed like an element of . But in order to compare the mistakes, we "send them" to a common place, being the origin with the canonical basis, or, equivalently, to . I have to think this better. Anyway, what we are doing is to express these mistakes with respect to the frame itself, so we multiply the matrix
made with the mistakes by obtaining :
being such that
Remember: this 1-form tells us how much do we "fail to be constant" when we pass from the frame to a nearby frame , but expressing this mistake with respect to the frame itself.