Frame bundle

Let E → X be a real vector bundle of rank k over a topological space X. A frame at a point x ∈ X is an ordered basis for the vector space E_x. Equivalently, a frame can be viewed as a linear isomorphism

${\displaystyle p:\mathbf {R} ^{k}\to E_{x}.}$

The set of all frames at x, denoted F_x, has a natural right action by the general linear group GL(k, R) of invertible k × k matrices: a group element g ∈ GL(k, R) acts on the frame p via composition to give a new frame

${\displaystyle p\circ g:\mathbf {R} ^{k}\to E_{x}.}$

This action of GL(k, R) on F_x is both free and transitive (this follows from the standard linear algebra result that there is a unique invertible linear transformation sending one basis onto another). As a topological space, F_x is homeomorphic to GL(k, R) although it lacks a group structure, since there is no "preferred frame". The space F_x is said to be a GL(k, R)-torsor.

The frame bundle of E, denoted by F(E) or F_GL(E), is the disjoint union of all the F_x:

${\displaystyle \mathrm {F} (E)=\coprod _{x\in X}F_{x}.}$

Each point in F(E) is a pair (x, p) where x is a point in X and p is a frame at x. There is a natural projection π : F(E) → X which sends (x, p) to x. The group GL(k, R) acts on F(E) on the right as above. This action is clearly free and the orbits are just the fibers of π.

The frame bundle F(E) can be given a natural topology and bundle structure determined by that of E. Let (U_i, φ_i) be a local trivialization of E. Then for each x ∈ U_i one has a linear isomorphism φ_i,x : E_x → R^k. This data determines a bijection

${\displaystyle \psi _{i}:\pi ^{-1}(U_{i})\to U_{i}\times \mathrm {GL} (k,\mathbf {R} )}$

given by

${\displaystyle \psi _{i}(x,p)=(x,\varphi _{i,x}\circ p).}$

With these bijections, each π⁻¹(U_i) can be given the topology of U_i × GL(k, R). The topology on F(E) is the final topology coinduced by the inclusion maps π⁻¹(U_i) → F(E).

With all of the above data the frame bundle F(E) becomes a principal fiber bundle over X with structure group GL(k, R) and local trivializations ({U_i}, {ψ_i}). One can check that the transition functions of F(E) are the same as those of E.

The above all works in the smooth category as well: if E is a smooth vector bundle over a smooth manifold M then the frame bundle of E can be given the structure of a smooth principal bundle over M.

A vector bundle E and its frame bundle F(E) are associated bundles. Each one determines the other. The frame bundle F(E) can be constructed from E as above, or more abstractly using the fiber bundle construction theorem. With the latter method, F(E) is the fiber bundle with same base, structure group, trivializing neighborhoods, and transition functions as E but with abstract fiber GL(k, R), where the action of structure group GL(k, R) on the fiber GL(k, R) is that of left multiplication.

Given any linear representation ρ : GL(k, R) → GL(V,F) there is a vector bundle

${\displaystyle \mathrm {F} (E)\times _{\rho }V}$

associated to F(E) which is given by product F(E) × V modulo the equivalence relation (pg, v) ~ (p, ρ(g)v) for all g in GL(k, R). Denote the equivalence classes by [p, v].

The vector bundle E is naturally isomorphic to the bundle F(E) ×_ρ R^k where ρ is the fundamental representation of GL(k, R) on R^k. The isomorphism is given by

${\displaystyle [p,v]\mapsto p(v)}$

where v is a vector in R^k and p : R^k → E_x is a frame at x. One can easily check that this map is well-defined.

Any vector bundle associated to E can be given by the above construction. For example, the dual bundle of E is given by F(E) ×_ρ* (R^k)* where ρ* is the dual of the fundamental representation. Tensor bundles of E can be constructed in a similar manner.

The tangent frame bundle (or simply the frame bundle) of a smooth manifold M is the frame bundle associated to the tangent bundle of M. The frame bundle of M is often denoted FM or GL(M) rather than F(TM). If M is n-dimensional then the tangent bundle has rank n, so the frame bundle of M is a principal GL(n, R) bundle over M.

If a vector bundle E is equipped with a Riemannian bundle metric then each fiber E_x is not only a vector space but an inner product space. It is then possible to talk about the set of all orthonormal frames for E_x. An orthonormal frame for E_x is an ordered orthonormal basis for E_x, or, equivalently, a linear isometry

${\displaystyle p:\mathbf {R} ^{k}\to E_{x}}$

where R^k 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 F_O(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 F_SO(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 F_OM 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 F_SOM.

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

${\displaystyle i:{\mathrm {F} }_{\mathrm {O} }(E)\to {\mathrm {F} }_{\mathrm {GL} }(E)}$

is principal bundle map. One says that F_O(E) is a reduction of the structure group of F_GL(E) from GL(k, R) to O(k).

If a smooth manifold M comes with additional structure it is often natural to consider a subbundle of the full frame bundle of M which is adapted to the given structure. For example, if M is a Riemannian manifold we saw above that it is natural to consider the orthonormal frame bundle of M. The orthonormal frame bundle is just a reduction of the structure group of F_GL(M) to the orthogonal group O(n).

In general, if M is a smooth n-manifold and G is a Lie subgroup of GL(n, R) we define a G-structure on M to be a reduction of the structure group of F_GL(M) to G. Explicitly, this is a principal G-bundle F_G(M) over M together with a G-equivariant bundle map

${\displaystyle {\mathrm {F} }_{G}(M)\to {\mathrm {F} }_{\mathrm {GL} }(M)}$

over M.

In this language, a Riemannian metric on M gives rise to an O(n)-structure on M. The following are some other examples.

• Every oriented manifold has an oriented frame bundle which is just a GL⁺(n, R)-structure on M.
• A volume form on M determines a SL(n, R)-structure on M.
• A 2n-dimensional symplectic manifold has a natural Sp(2n, R)-structure.
• A 2n-dimensional complex or almost complex manifold has a natural GL(n, C)-structure.

In many of these instances, a G-structure on M uniquely determines the corresponding structure on M. For example, a SL(n, R)-structure on M determines a volume form on M. However, in some cases, such as for symplectic and complex manifolds, an added integrability condition is needed. A Sp(2n, R)-structure on M uniquely determines a nondegenerate 2-form on M, but for M to be symplectic, this 2-form must also be closed.

• Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, vol. 1 (New ed.), Wiley Interscience, ISBN 0-471-15733-3
• Kolář, Ivan; Michor, Peter; Slovák, Jan (1993), Natural operators in differential geometry (PDF), Springer-Verlag, archived from the original (PDF) on 2017-03-30, retrieved 2008-08-02
• Sternberg, S. (1983), Lectures on Differential Geometry ((2nd ed.) ed.), New York: Chelsea Publishing Co., ISBN 0-8218-1385-4