Associated bundles

In general, we have the following idea: if we have a fiber bundle $E \mapsto M$ with any typical fibre (say $F$ ), we have $G$ -valued functions satisfying the cocycle condition for the overlaps of the trivializations. The fibre itself is not so important because the important data is in these functions, and given any space $F^{'}$ over which the group $G$ acts in a nice way, we can construct a new bundle with fibre $F^{'}$ with the information given by the transition functions. This new bundle has the same gist that the old one. Example: the Mobius strip with fibre the real line (the group is $G L (1)$ ) or the interval $[- 1, 1]$ (the group is $Z_{2}$ ).

Associated bundle to a principal bundle.
For every principal bundle $ξ = P \overset{π}{⟶} M$ with group $G$ , one can define associated bundles if there is a left action of the group $G$ over a new space $F$ .
We take the space $P \times F$ with an action:

(p, f) \cdot g = (p \cdot g, g^{- 1} \cdot f)

If we take the orbits as equivalence class we obtain a new space

E = P \times_{G} F := (P \times F) / G

that has, again, a projection map over $M$ :

\tilde{π} : [p, f] ⟶ π (p)

Moreover, the fibers ${\tilde{π}}^{- 1} (m)$ are isomorphic to $F$ . To see it, think that $[p \cdot g, f] = [p, g \cdot f]$ .

The resulting is a G-bundle called the associated bundle to $ξ$ .

In short:
Pasted image 20211231173959.png

Important case: the frame bundle
Is important to remake an special case: if we have the principal bundle of frames of $T M$ , the frame bundle, with group $G L (R^{n})$ , the associated bundle if we take $F = R^{n}$ is, of course, $T M$ :

If we had a principal connection on a principal bundle, the associated bundle inherits an associated connection.