Principal bundle of smooth manifolds
(→Definition) |
|||
Line 7: | Line 7: | ||
If $E_o$ is any $H$-space, i.e. a manifold on which $H$ acts from the left, we have a free $H$-action on $F\times E_o$ given by $(f,x) := (fh^{-1},hx)$. Then the orbit space $E = (F\times E_o)/H$ is a bundle over $M$ with fibres diffeomorphic to $E_o$; it is called an ''associated bundle'' to the principal bundle $F$. In particular, if $E_o$ is a vector space and the $H$-action on $E_o$ is linear (a representation of $H$), then $E$ is a vector bundle over $M$, associated to the principal bundle $F$. | If $E_o$ is any $H$-space, i.e. a manifold on which $H$ acts from the left, we have a free $H$-action on $F\times E_o$ given by $(f,x) := (fh^{-1},hx)$. Then the orbit space $E = (F\times E_o)/H$ is a bundle over $M$ with fibres diffeomorphic to $E_o$; it is called an ''associated bundle'' to the principal bundle $F$. In particular, if $E_o$ is a vector space and the $H$-action on $E_o$ is linear (a representation of $H$), then $E$ is a vector bundle over $M$, associated to the principal bundle $F$. | ||
+ | |||
+ | For further information, see \cite{Kobayashi&Nomizu1963}. | ||
</wikitex> | </wikitex> | ||
Revision as of 10:55, 15 May 2013
The user responsible for this page is Jost Eschenburg. No other user may edit this page at present. |
This page has not been refereed. The information given here might be incomplete or provisional. |
1 Definition
An -principal bundle for a Lie group is a smooth bundle where acts on from the right, the action is free (that is if for some then ), and the -orbits are precisely the fibres, for every with . The group is called the structure group of the principal bundle .
The mapping , is a diffeomorphism which is equivariant where acts on itself by right translations. The tangent space of the fibre, is called vertical space; by means of the differential it can be identified with the Lie algebra . The vertical spaces together form an integrable distribution on , called vertical distribution.
If is any -space, i.e. a manifold on which acts from the left, we have a free -action on given by . Then the orbit space is a bundle overTex syntax errorwith fibres diffeomorphic to ; it is called an associated bundle to the principal bundle . In particular, if is a vector space and the -action on is linear (a representation of ), then is a vector bundle over
Tex syntax error, associated to the principal bundle .
For further information, see [Kobayashi&Nomizu1963].
2 Examples
Tex syntax errorwhose fibre over is the set of all bases of the tangent space . The group acts on as follows: is sending a basis onto the basis . Moreover, if
Tex syntax erroris equipped with a Riemannian metric, there is the orthogonal frame bundle where consists of the set of orthonormal bases on ; this is acted on by the orthogonal group in a similar way. If
Tex syntax erroris a Kähler manifold (a Riemannian manifold with a parallel and orthogonal almost complex structure on its tangent bundle), we have the principal bundle of unitary frames (orthonormal frames of type ) with structure group . A different type of examples comes from homogeneous spaces. If
Tex syntax erroris a manifold and a Lie group acting transitively on
Tex syntax errorby diffeomorphisms, is a principal bundle over
Tex syntax errorin various ways: Fixing we have the bundle , . Its fibre over is the isotropy group , while the fibre over is . Thus is an -principal bundle where acts on by right multiplication. When we identify
Tex syntax errorwith the coset space using the -equivariant map , the principal bundle is just the canonical projection . We may embed the principal bundle into the frame bundle as follows. Fixing any basis of for some , we map (viewed as a diffeomorphism on
Tex syntax error) onto the basis of . Thus the structure group of becomes a subgroup of , the structure group of .
3 References
- [Kobayashi&Nomizu1963] S. Kobayashi and K. Nomizu, Foundations of differential geometry. Vol I, Interscience Publishers, a division of John Wiley & Sons, New York-London, 1963. MR1393940 (97c:53001a) Zbl 0508.53002