Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 14 3 Solution Created 2026-10-03 Updated 2026-10-14
Take a locally finite trivializing cover of the real vector bundle , and a subordinate smooth partition of unity . Each trivialization identifies its fibers with and hence supplies a smooth Euclidean inner product there. DefineEach weighted term extends by zero outside its chart, since the weight has support within that chart. Local finiteness makes the sum smooth in every bundle chart. At each at least one weight is positive; for every nonzero contribution to is positive. Thus is a smooth positive-definite fiber metric, which is precisely an inner product varying smoothly with the fibers.
A G-structure on a vector bundle is a reduction of its frame bundle from to : a principal -subbundle whose extension of structure group is the full frame bundle. Equivalently, it is a choice of smooth local frames with transition matrices in , and the reduction consists of the right -orbits of these frames. The adapted frames are part of the structure, not merely a statement that an individual fiber has a basis.
Given a fiber metric, the Gram-Schmidt process transforms any smooth local frame into Euclidean orthonormal frames. At each step the squared norm to be divided out is positive, so the divisions and positive square roots depend smoothly on the base point. Two such frames differ by an orthogonal matrix. All the orthonormal frames therefore form a principal reduction, an orthogonal structure on a real vector bundle.
Conversely, let be an reduction. A frame in definesReplacing by for leaves this rule unchanged, since preserves the Euclidean inner product. It is consequently independent of the adapted frame and defines a positive-definite fiber metric. Its coefficients are smooth in local adapted frames. These constructions are mutually inverse. An -structure is equivalent to a smooth fiberwise inner product.
For , the additional condition is an orientation of a vector bundle. Such a reduction supplies consistently oriented orthonormal frames, since its transition determinants are . Conversely an orientation together with a fiber metric selects the oriented Euclidean orthonormal frames and gives an reduction. ThusIt is not true for every real bundle. The Möbius line bundle is obtained from by . If it had an orientation, hence a nowhere-zero continuous section, its coefficient on the interval would satisfy while staying nonzero. The intermediate value theorem makes that impossible. Since , it has no reduction. For each , its direct sum with a trivial rank- bundle has transition matrix and determinant line equal to the Möbius line. It is also nonorientable and has no -structure. This obstruction concerns the bundle's orientation, independently of the existence of a metric.