Added to Favorites

Related Searches

Definitions

In mathematics, in particular the theory of principal bundles, one can ask if a $G$-bundle "comes from" a subgroup $H\; <\; G$. This is called reduction of the structure group (to $H$), and makes sense for any map $H\; to\; G$, which need not be an inclusion (despite the terminology).
## Definition

Formally, given a G-bundle B and a map H → G (which need not be an inclusion),
a reduction of the structure group (from G to H) is an H-bundle $B\_H$ such that the pushout $B\_H\; times\_H\; G$ is isomorphic to B.## Examples

Examples for vector bundles, particularly the tangent bundle of a manifold:## Integrability

Many geometric structures are stronger than G-structures; they are G-structures with an integrability condition. Thus such a structure requires a reduction of the structure group (and can be obstructed, as below), but this is not sufficient. Examples include complex structure, symplectic structure (as opposed to almost complex structures and almost symplectic structures).## Obstruction

G-bundles are classified by the classifying space BG, and similarly H-bundles are classified by the classifying space BH, and the induced G-structure on an H-bundle corresponds to the induced map $BH\; to\; BG$. Thus given a G-bundle with classifying map $xicolon\; X\; to\; BG$, the obstruction to the reduction of the structure group is the class of $xi$ as a map to the cofiber $BG/BH$; the structure group can be reduced if and only if the class of $bar\; xi$ is null-homotopic.### Structure over a point

As a simple example, there is no obstruction to reducing the structure group of a $G$-space to an $H$-space, thinking of a $G$-space as a $G$-bundle over a point, as in that case the classifying map is null-homotopic, as the domain is a point. Thus there is no obstruction to "reducing the structure group" of a vector space: thus every vector space admits an orientation, and so forth.
## See also

## References

Note that these do not always exist, nor if they exist are they unique.

As a concrete example, every even dimensional real vector space is the underlying real space of a complex vector space: it admits a linear complex structure. A real vector bundle admits an almost complex structure if and only if it is the underlying real bundle of a complex vector bundle. This is a reduction along the inclusion GL(n,C) → GL(2n,R)

In terms of transition maps, a G-bundle can be reduced if and only if the transition maps can be taken to have values in H. Note that the term reduction is misleading: it suggests that H is a subgroup of G, which is often the case, but need not be (for example for spin structures): it's properly called a lifting.

More abstractly, "G-bundles over X" is a functor in G: given a map H → G, one gets a map from H-bundles to G-bundles by inducing (as above). Reduction of the structure group of a G-bundle B is choosing an H-bundle whose image is B.

The inducing map from H-bundles to G-bundles is in general neither onto nor one-to-one, so the structure group cannot always be reduced, and when it can, this reduction need not be unique. For example, not every manifold is orientable, and those that are orientable admit exactly two orientations.

If H is a Lie subgroup of G, then there is a natural one-to-one correspondence between reductions of a G-bundle B to H and global sections of the fiber bundle B/H obtained by quotienting B by the right action of H. Specifically, the fibration B → B/H is a principal H-bundle over B/H. If σ : X → B/H is a section, then the pullback bundle B_{H} = σ^{-1}B is a reduction of B.

- $GL^+\; <\; GL$ is an orientation, and this is possible if and only if the bundle is orientable
- $SL\; <\; GL$ is a volume form; since $SL\; to\; GL^+$ is a deformation retract, a volume form exists if and only if a bundle is orientable
- $SL^\{pm\}\; <\; GL$ is a pseudo-volume form, and this is always possible
- $O(n)\; <\; GL(n)$ is a metric; as $O(n)$ is the maximal compact subgroup (so the inclusion is a deformation retract), this is always possible
- $GL(n,mathbf\{C\})\; <\; GL(2n,mathbf\{R\})$ is an almost complex structure
- $mbox\{Spin\}(n)\; to\; mbox\{SO\}(n)$ (which is not an inclusion: it's a 2-fold covering space) is a spin structure.
- $GL(k)\; times\; GL(n-k)\; <\; GL(n)$ decomposes a vector bundle as a Whitney sum (direct sum) of sub-bundles of rank k and n − k.

Another example is for a foliation, which requires a reduction of the tangent bundle to a block matrix subgroup, together with an integrability condition so that the Frobenius theorem applies.

When $H\; to\; G$ is a homotopy equivalence, the cofiber is contractible, so there is no obstruction to reducing the structure group, for example for $O(n)\; to\; GL(n)$.

Conversely, the cofiber induced by the inclusion of the trivial group $e\; to\; G$ is again $BG$, so the obstruction to an absolute parallelism (trivialization of the bundle) is the class of the bundle.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday December 26, 2007 at 08:34:42 PST (GMT -0800)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday December 26, 2007 at 08:34:42 PST (GMT -0800)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.