Associated bundle

Short description: Fiber bundle

In mathematics, the theory of fiber bundles with a structure group G (a topological group) allows an operation of creating an associated bundle, in which the typical fiber of a bundle changes from F1 to F2, which are both topological spaces with a group action of G. For a fiber bundle F with structure group G, the transition functions of the fiber (i.e., the cocycle) in an overlap of two coordinate systems Uα and Uβ are given as a G-valued function gαβ on Uα∩Uβ. One may then construct a fiber bundle F′ as a new fiber bundle having the same transition functions, but possibly a different fiber.

## Contents

* 1 Construction
* 1.1 Associated bundles in general
* 1.2 Principal G-bundle associated with a G-bundle
* 1.3 G-bundle associated with a principal G-bundle
* 2 Example
* 3 Extension of the structure group
* 4 Reduction of the structure group
* 4.1 Examples
* 5 See also
* 6 References
* 7 Books

## Construction

In general it is enough to explain the transition from a bundle with fiber F, on which G acts, to the associated principal bundle (namely the bundle where the fiber is G, considered to act by translation on itself). For then we can go from F1 to F2, via the principal bundle. Details in terms of data for an open covering are given as a case of descent.

This section is organized as follows. We first introduce the general procedure for producing an associated bundle, with specified fiber, from a given fiber bundle. This then specializes to the case when the specified fiber is a principal homogeneous space for the left action of the group on itself, yielding the associated principal bundle. If, in addition, a right action is given on the fiber of the principal bundle, we describe how to construct any associated bundle by means of a fiber product construction.[1]

### Associated bundles in general

Let π:E->X be a fiber bundle over a topological space X with structure group G and typical fiber F. By definition, there is a left action of G (as a transformation group) on the fiber F. Suppose furthermore that this action is faithful.[2] There is a local trivialization of the bundle E consisting of an open cover Ui of X, and a collection of fiber mapsφi:π−1(Ui)->Ui×Fsuch that the transition maps are given by elements of G. More precisely, there are continuous functions gij:Ui∩Uj->G such thatψij(u,f):=φi∘φj−1(u,f)=(u,gij(u)f),for each (u,f)∈(Ui∩Uj)×F.This satisfies the cocycle condition:gij(x)gjk(x)=gik(x),x∈Ui∩Uj∩UkNow let F′ be a specified topological space, equipped with a continuous left action of G. Then the bundle associated with E with fiber F′ is a bundle E′ with a local trivialization subordinate to the cover Ui whose transition functions are given byψ'ij(u,f′)=(u,gij(u)f′),for each (u,f′)∈(Ui∩Uj)×F′,where the G-valued functions gij(u) are the same as those obtained from the local trivialization of the original bundle E. This definition clearly respects the cocycle condition on the transition functions, since the functions {gij}i,j satisfy the cocycle condition. Hence, by the existence part of the fiber bundle construction theorem, this produces a fiber bundle E′ with fiber F′, which is associated with E as claimed.

### Principal G-bundle associated with a G-bundle

As before, suppose that E is a fiber bundle with structure group G. In the special case when G has a free and transitive left action on F′, so that F′ is a principal homogeneous space for the left action of G on itself, then the associated bundle E′ is called the principal G-bundle associated with the fiber bundle E. If, moreover, the new fiber F′ is identified with G (so that F′ inherits a right action of G as well as a left action), then the right action of G on F′ induces a right action of G on E′. With this choice of identification, E′ becomes a principal bundle in the usual sense.

By the isomorphism part of the fiber bundle construction theorem, the construction is unique up to isomorphism. That is, between any two constructions, there is a G-equivariant bundle isomorphism. This is also called a gauge transformation. This allows us to speak of the principal G-bundle associated with a G-bundle. In this way, a principal G-bundle equipped with a right action is often thought of as part of the data specifying a fiber bundle with structure group G. One may then, as in the next section, go the other way around and derive any fiber bundle by using a fiber product.

### G-bundle associated with a principal G-bundle

Let π:P->X be a principal G-bundle. Given a faithful left action ρ:G->Homeo⁡(F) of G on a fiber space F (in the smooth category, we should have a smooth action on a smooth manifold), the goal is to construct a G-bundle πρ:E->X of the fiber space F over the base space X such that it is associated with P.

Define a right action of G on P×F via[3][4]

(p,f)⋅g=(p⋅g,g−1⋅f).

Take the quotient of this action to obtain the space E=P×ρF=(P×F)/G. Denote the equivalence class of (p,f) by [p,f]. Note that

[p⋅g,f]=[p,g⋅f] for all g∈G.

Define a projection map πρ:E->X by πρ([p,f])=π(p). This is well-defined, since π(p)=π(p⋅g), i.e. the action of G on P preserves its fibers. Then πρ:E->X is a fiber bundle with fiber F and structure group G, where the transition functions are given by ρ∘tij, where tij are the transition functions of the principal bundle P.

In category theory, this is the coequalizer construction. There are two continuous maps P×G×F->P×F, given by acting with G on the right on P and on the left on F. The associated fiber bundle P×ρF is the coequalizer of these maps.

## Example

Consider the Möbius strip, for which the structure group is ℤ2, the cyclic group of order 2. The fiber space F can be any of the following: the real number line ℝ, the interval [−1, 1], the real number line less the point 0, or the two-point set {−1, 1}. The non-identity element acts as x↦−x in each case.

These constructions, while different, are in some sense "basically the same" except for a change of fiber. We could say that more formally in terms of gluing two rectangles [−1, 1]×I and [−1, 1]×J together: what we really need is the data to identify [−1, 1] to itself directly at one end, and with the twist over at the other end. This data can be written down as a transition function, with values in G. The associated bundle construction is just the observation that the only data that is relevant is how the transition function works on {−1, 1}. That is, for each G-bundle, the only essential part of it is the principal G-bundle associated with it, which encodes all of the transition data. Since their associated principal G-bundle are isomorphic, all these constructions of the Möbius strip are essentially the same construction.

## Extension of the structure group

Given a subgroup H⊂G and a H-bundle C, then it can be extended to a G-bundle B. Intuitively, the extension is obtained by taking a twisted sum of C, one per coset of H in G.

In detail, defineExt⁡(C):=C×HG=(C×G)/∼,(p,g)∼(p⋅h,h−1g).Then Ext⁡(C)->X is a principal G-bundle with right G-action[p,g]⋅g′=[p,gg′].This is well defined, and is free and transitive on fibers. If C has transition functions hij:Ui∩Uj->H, then Ext⁡(C) has transition functions i∘hij:Ui∩Uj->G where i:H->G is the inclusion function.

The extension always exists, is functorial, and unique up to isomorphism.

More generally, extension is possible given a continuous (smooth) homomorphism φ:H->G. The previous case is the special case where φ is the inclusion function.

Take the contracted productExtφ(C):=C×HG=(C×G)/((p,g)∼(p⋅h,φ(h)−1g)).with the action[p,g]⋅g′=[p,gg′].The transition functions are of the form gij=φ∘hij.

This construction is functorial and has a universal property: any H-equivariant map F:C->Q into a principal G-bundle Q with F(ph)=F(p)⋅φ(h) factors uniquely through a G-bundle morphism Extφ(C)->Q. In particular, the construction of C×HG is unique up to unique isomorphism.

## Reduction of the structure group

Further information: reduction of the structure group

Reduction of the structure group asks whether there is an inverse to the extension.

Given a G-bundle B and a subgroup H⊂G of the structure group, we ask whether there is an H-bundle C, such that after extending the structure group to G, then constructing the associated G-bundle, we recover B up to isomorphism. More concretely, this asks whether the transition data for B can consistently be written with values in H. In other words, we ask to identify the image of the associated bundle mapping (which is actually a functor).

Unlike the case of extension, reduction is not always possible. A goal of obstruction theory is to explain when and how reduction may be impossible.

### Examples

If H⊂G, then a H-bundle C can be extended to a G-bundle B, after which the reduction to H is just C again.

Given a smooth manifold, its frame bundle is a principal general linear group GL(n)-bundle. Many geometric structures over a smooth manifold are then naturally expressed as reductions of GL(n). A Riemannian metric is a reduction of the structure group to the orthogonal group O(n). An orientation is a reduction to the special linear group SL(n).

Given a smooth manifold, its tangent bundle, or more generally, a vector bundle of rank n over it, is also a principal GL(n)-bundle, and we can perform similar reductions. An almost complex structure on a real bundle is a reduction of the structure group from real general linear group GL(2n,ℝ) to the complex general linear group GL(n,ℂ). Decomposing a vector bundle of rank n as a Whitney sum (direct sum) of sub-bundles of rank k and n−k is reducing the structure group from GL(n,ℝ) to GL(k,ℝ)×GL(n−k,ℝ). Extra integrability conditions are necessary for it to make it a "complex" structure, not merely "almost complex".

A distribution on a manifold is a reduction of its tangent bundle to a block matrix subgroup. In detail, a p-dimensional distribution on an n-manifold M is a reduction of the frame bundle TM from GL⁡(n) to the subgroup that preserves a fixed p-plane in ℝn (i.e. a flag 0⊂ℝp⊂ℝn):Gp,q={(AB0C):A∈GL(p,ℝ),C∈GL(q,ℝ),B∈Mp×q(ℝ)},q=n−pWhen the distribution is integrable, Frobenius theorem applies, producing a foliation.

## See also

* Spinor bundle

## References

1. ↑ All of these constructions are due to Ehresmann (1941-3). Attributed by Steenrod (1951) page 36
2. ↑ Faithfulness is a common requirement for fibre bundles; see Steenrod (1951). In particular, this condition is necessary to ensure the existence and uniqueness of the principal bundle associated with E.
3. ↑ Husemoller, Dale (1994), p. 45.
4. ↑ Sharpe, R. W. (1997), p. 37.

## Books

* Steenrod, Norman (1951). The Topology of Fibre Bundles. Princeton: Princeton University Press. ISBN 0-691-00548-6. https://archive.org/details/topologyoffibreb0000stee.
* Husemoller, Dale (1994). Fibre Bundles (Third ed.). New York: Springer. ISBN 978-0-387-94087-8.
* Sharpe, R. W. (1997). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. New York: Springer. ISBN 0-387-94732-9.

* v
* t
* e

Manifolds (Glossary, List, Category)

Basic concepts|

* Topological manifold
* Atlas
* Differentiable/Smooth manifold
* Differential structure
* Smooth atlas
* Submanifold
* Riemannian manifold
* Smooth map
* Submersion
* Pushforward
* Tangent space
* Differential form
* Vector field

Main theorems (list)|

* Atiyah–Singer index
* Darboux's
* De Rham's
* Frobenius
* Generalized Stokes
* Hopf–Rinow
* Noether's
* Sard's
* Whitney embedding

Maps|

* Curve
* Diffeomorphism
* Local
* Geodesic
* Exponential map
* in Lie theory
* Foliation
* Immersion
* Integral curve
* Lie derivative
* Section
* Submersion

Types of
manifolds|

* Calabi–Yau
* Closed
* Collapsing
* Complete
* (Almost) Complex
* (Almost) Contact
* Einstein
* Fibered
* Finsler
* (Almost, Ricci-) Flat
* G-structure
* Hadamard
* Hermitian
* Hyperbolic
* (Hyper) Kähler
* Kenmotsu
* Lie group
* Lie algebra
* Manifold with boundary
* Nilmanifold
* Oriented
* Parallelizable
* Poisson
* Prime
* Quaternionic
* Hypercomplex
* (Pseudo-, Sub-) Riemannian
* Rizza
* Sasakian
* Stein
* (Almost) Symplectic
* Tame

Tensors|

| Vectors|

* Distribution
* Lie bracket
* Pushforward
* Tangent space
* bundle
* Torsion
* Vector field
* Vector flow

|

Covectors|

* Closed/Exact
* Covariant derivative
* Cotangent space
* bundle
* De Rham cohomology
* Differential form
* Complex
* Vector-valued
* One-form
* Exterior derivative
* Interior product
* Pullback
* Ricci curvature
* flow
* Riemann curvature tensor
* Tensor field
* density
* Volume form
* Wedge product

Bundles|

* Adjoint
* Affine
* Associated
* Cotangent
* Dual
* Fiber
* (Co-) Fibration
* Jet
* Lie algebra
* (Stable) Normal
* Principal
* Spinor
* Subbundle
* Tangent
* Tensor
* Vector

Connections|

* Affine
* Cartan
* Ehresmann
* Form
* Generalized
* Koszul
* Levi-Civita
* Principal
* Vector
* Parallel transport

Related|

* Classification of manifolds
* Gauge theory
* History
* Morse theory
* Moving frame
* Singularity theory

Generalizations|

* Banach
* Diffeology
* Diffiety
* Fréchet
* Hilbert
* K-theory
* Non-Hausdorff
* Orbifold
* Secondary calculus
* over commutative algebras
* Sheaf
* Stratifold
* Supermanifold
* Stratified space

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Associated bundle. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Associated_bundle&oldid=4150086"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template