Reducing a GL(n)-structure to O(n) using a bundle metric
A fiberwise inner product reduces the structure group of a frame bundle from GL(n) to O(n).
Let be a smooth real rank- vector bundle over a smooth manifold . Its frame bundle is a principal -bundle.
A reduction of structure group from to a subgroup is, by definition, a principal -subbundle such that
as associated bundles.
Example (bundle metric gives an O(n)-reduction)
A bundle metric on is a smooth choice of inner product on each fiber .
Given such a metric, define
Then:
- is a principal -bundle, where is a Lie group acting by postcomposition on frames.
- The inclusion is a reduction of the principal principal G-bundle from to .
- Conversely, any principal -subbundle determines a unique bundle metric by declaring frames in to be orthonormal.
Specializing to recovers the construction of the orthonormal frame bundle.
Examples
- Riemannian manifolds. For , choosing a Riemannian metric on produces the reduction .
- Trivial bundle with standard metric. For the trivial bundle , the standard Euclidean inner product yields as a reduction of .
- Changing the metric changes the reduction. Two different bundle metrics on the same underlying bundle generally produce different -subbundles of , even though both reductions have the same associated bundle .