Orthonormal Frame Bundle
If a vector bundle E is equipped with a Riemannian bundle metric then each fiber Ex is not only a vector space but an inner product space. It is then possible to talk about the set of all of orthonormal frames for Ex. An orthonormal frame for Ex is an ordered orthonormal basis for Ex, or, equivalently, a linear isometry
where Rk is equipped with the standard Euclidean metric. The orthogonal group O(k) acts freely and transitively on the set of all orthonormal frames via right composition. In other words, the set of all orthonormal frames is a right O(k)-torsor.
The orthonormal frame bundle of E, denoted FO(E), is the set of all orthonormal frames at each point x in the base space X. It can be constructed by a method entirely analogous to that of the ordinary frame bundle. The orthonormal frame bundle of a rank k Riemannian vector bundle E → X is a principal O(k)-bundle over X. Again, the construction works just as well in the smooth category.
If the vector bundle E is orientable then one can define the oriented orthonormal frame bundle of E, denoted FSO(E), as the principal SO(k)-bundle of all positively-oriented orthonormal frames.
If M is an n-dimensional Riemannian manifold, then the orthonormal frame bundle of M, denoted FOM or O(M), is the orthonormal frame bundle associated to the tangent bundle of M (which is equipped with a Riemannian metric by definition). If M is orientable, then one also has the oriented orthonormal frame bundle FSOM.
Given a Riemannian vector bundle E, the orthonormal frame bundle is a principal O(k)-subbundle of the general linear frame bundle. In other words, the inclusion map
is principal bundle map. One says that FO(E) is a reduction of the structure group of FGL(E) from GLk(R) to O(k).
Read more about this topic: Frame Bundle
Famous quotes containing the words frame and/or bundle:
“A cold and searching wind drives away all contagion, and nothing can withstand it but what has a virtue in it, and accordingly, whatever we meet with in cold and bleak places, as the tops of mountains, we respect for a sort of sturdy innocence, a Puritan toughness. All things beside seem to be called in for shelter, and what stays out must be part of the original frame of the universe, and of such valor as God himself.”
—Henry David Thoreau (1817–1862)
“In the quilts I had found good objects—hospitable, 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)