As A Principal Bundle
There is a natural projection
from the Stiefel manifold Vk(Fn) to the Grassmannian of k-planes in Fn which sends a k-frame to the subspace spanned by that frame. The fiber over a given point P in Gk(Fn) is the set of all orthonormal k-frames contained in the space P.
This projection has the structure of a principal G-bundle where G is the associated classical group of degree k. Take the real case for concreteness. There is a natural right action of O(k) on Vk(Rn) which rotates a k-frame in the space it spans. This action is free but not transitive. The orbits of this action are precisely the orthonormal k-frames spanning a given k-dimensional subspace; that is, they are the fibers of the map p. Similar arguments hold in the complex and quaternionic cases.
We then have a sequence of principal bundles:
The vector bundles associated to these principal bundles via the natural action of G on Fk are just the tautological bundles over the Grassmannians. In other words, the Stiefel manifold Vk(Fn) is the orthogonal, unitary, or symplectic frame bundle associated to the tautological bundle on a Grassmannian.
When one passes to the n → ∞ limit, these bundles become the universal bundles for the classical groups.
Read more about this topic: Stiefel Manifold
Famous quotes containing the words principal and/or bundle:
“The principal rule of art is to please and to move. All the other rules were created to achieve this first one.”
—Jean Racine (16391699)
“In the quilts I had found good objectshospitable, warm, with soft edges yet resistant, with boundaries yet suggesting a continuous safe expanse, a field that could be bundled, a bundle that could be unfurled, portable equipment, light, washable, long-lasting, colorful, versatile, functional and ornamental, private and universal, mine and thine.”
—Radka Donnell-Vogt, U.S. quiltmaker. As quoted in Lives and Works, by Lynn F. Miller and Sally S. Swenson (1981)