|
|
| Line 1: |
Line 1: |
| In [[mathematics]], the theory of [[fiber bundle]]s with a [[structure group]] <math>G</math> (a [[topological group]]) allows an operation of creating an '''associated bundle''', in which the typical fiber of a bundle changes from <math>F_1</math> to <math>F_2</math>, which are both [[topological space]]s with a [[group action]] of <math>G</math>. For a fibre bundle ''F'' with structure group ''G'', the transition functions of the fibre (i.e., the [[cocycle (algebraic topology)|cocycle]]) in an overlap of two coordinate systems ''U''<sub>α</sub> and ''U''<sub>β</sub> are given as a ''G''-valued function ''g''<sub>αβ</sub> on ''U''<sub>α</sub>∩''U''<sub>β</sub>. One may then construct a fibre bundle ''F''′ as a new fibre bundle having the same transition functions, but possibly a different fibre.
| | Jerrie is what you could certainly call me but Simply put i don't like when consumers use my full name. My husband and I chose to live a life in Massachusetts. What I love doing is to play croquet and furthermore now I have your time to take on issues. The job I've been occupying designed for years is an order clerk. See what's new on a few website here: http://[http://Search.usa.gov/search?query=prometeu.net prometeu.net]<br><br>Also visit my blog :: [http://prometeu.net clash of clans hack tool no survey no password] |
| | |
| ==An example==
| |
| | |
| A simple case comes with the [[Möbius strip]], for which <math>G</math> is the [[cyclic group]] of order 2, <math>\mathbb{Z}_2</math>. We can take as <math>F</math> any of: the real number line <math>\mathbb{R}</math>, the interval <math>[-1,\ 1]</math>, the real number line less the point 0, or the two-point set <math>\{-1,\ 1\}</math>. The action of <math>G</math> on these (the non-identity element acting as <math>x\ \rightarrow\ -x</math> in each case) is comparable, in an intuitive sense. We could say that more formally in terms of gluing two rectangles <math>[-1,\ 1] \times I</math> and <math>[-1,\ 1] \times J</math> together: what we really need is the data to identify <math>[-1,\ 1]</math> to itself directly ''at one end'', and with the twist over ''at the other end''. This data can be written down as a patching function, with values in ''G''. The '''associated bundle''' construction is just the observation that this data does just as well for <math>\{-1,\ 1\}</math> as for <math>[-1,\ 1]</math>.
| |
| | |
| ==Construction==
| |
| In general it is enough to explain the transition from a bundle with fiber <math>F</math>, on which <math>G</math> acts, to the associated [[principal bundle]] (namely the bundle where the fiber is <math>G</math>, considered to act by translation on itself). For then we can go from <math>F_1</math> to <math>F_2</math>, via the principal bundle. Details in terms of data for an open covering are given as a case of [[Descent (category theory)|descent]].
| |
| | |
| This section is organized as follows. We first introduce the general procedure for producing an associated bundle, with specified fibre, from a given fibre bundle. This then specializes to the case when the specified fibre 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 fibre of the principal bundle, we describe how to construct any associated bundle by means of a [[fibre product]] construction.<ref>All of these constructions are due to [[Charles Ehresmann|Ehresmann]] (1941-3). Attributed by Steenrod (1951) page 36</ref>
| |
| | |
| ===Associated bundles in general===
| |
| Let π : ''E'' → ''X'' be a fibre bundle over a [[topological space]] ''X'' with structure group ''G'' and typical fibre ''F''. By definition, there is a [[group action|left action]] of ''G'' (as a [[transformation group]]) on the fibre ''F''. Suppose furthermore that this action is [[group action#Types_of_actions|effective]].<ref>Effectiveness 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 to ''E''.</ref>
| |
| There is a [[locally trivial|local trivialization]] of the bundle ''E'' consisting of an [[open cover]] ''U''<sub>i</sub> of ''X'', and a collection of [[bundle map|fibre maps]]
| |
| :φ<sub>i</sub> : π<sup>-1</sup>(''U''<sub>i</sub>) → ''U''<sub>i</sub> × ''F'' | |
| such that the [[transition map]]s are given by elements of ''G''. More precisely, there are continuous functions ''g''<sub>ij</sub> : (''U''<sub>i</sub> ∩ ''U''<sub>j</sub>) → ''G'' such that
| |
| :ψ<sub>ij</sub>(''u'',''f'') := φ<sub>i</sub> o φ<sub>j</sub><sup>-1</sup>(''u'',''f'') = (''u'',''g''<sub>ij</sub>(''u'')''f'') for each (''u'',''f'') ∈ (''U''<sub>i</sub> ∩ ''U''<sub>j</sub>) × ''F''.
| |
| | |
| Now let ''F''′ be a specified topological space, equipped with a continuous left action of ''G''. Then the bundle '''associated''' to ''E'' with fibre ''F''′ is a bundle ''E''′ with a local trivialization subordinate to the cover ''U''<sub>i</sub> whose transition functions are given by
| |
| :ψ′<sub>ij</sub>(''u'',''f''′) = (''u'', ''g''<sub>ij</sub>(''u'') ''f''′) for (''u'',f′) ∈(''U''<sub>i</sub> ∩ ''U''<sub>j</sub>) × ''F''′
| |
| where the ''G''-valued functions ''g''<sub>ij</sub>(''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 in each case they are given by the same system of ''G''-valued functions. (Using another local trivialization, and passing to a common refinement if necessary, the ''g''<sub>ij</sub> transform via the same coboundary.) Hence, by the [[fiber bundle construction theorem]], this produces a fibre bundle ''E''′ with fibre ''F''′ as claimed.
| |
| | |
| ===Principal bundle associated to a fibre bundle===
| |
| As before, suppose that ''E'' is a fibre bundle with structure group ''G''. In the special case when ''G'' has a [[group action#Types_of_actions|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 to the fibre bundle ''E''. If, moreover, the new fibre ''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. Note that, although there is no canonical way to specify a right action on a principal homogeneous space for ''G'', any two such actions will yield principal bundles which have the same underlying fibre bundle with structure group ''G'' (since this comes from the left action of ''G''), and isomorphic as ''G''-spaces in the sense that there is a globally defined ''G''-valued function relating the two.
| |
| | |
| In this way, a principal ''G''-bundle equipped with a right action is often thought of as part of the data specifying a fibre bundle with structure group ''G'', since to a fibre bundle one may construct the principal bundle via the associated bundle construction. One may then, as in the next section, go the other way around and derive any fibre bundle by using a fibre product.
| |
| | |
| ===Fiber bundle associated to a principal bundle===
| |
| | |
| Let π : ''P'' → ''X'' be a [[principal bundle|principal ''G''-bundle]] and let ρ : ''G'' → Homeo(''F'') be a continuous [[group action|left action]] of ''G'' on a space ''F'' (in the smooth category, we should have a smooth action on a smooth manifold). Without loss of generality, we can take this action to be effective.
| |
| | |
| Define a right action of ''G'' on ''P'' × ''F'' via<ref>Husemoller, Dale (1994), p. 45.</ref><ref>Sharpe, R. W. (1997), p. 37.</ref>
| |
| :<math>(p,f)\cdot g = (p\cdot g, \rho(g^{-1})f)\, .</math>
| |
| We then [[quotient space|identify]] by this action to obtain the space ''E'' = ''P'' ×<sub>ρ</sub> ''F'' = (''P'' × ''F'') /''G''. Denote the equivalence class of (''p'',''f'') by [''p'',''f'']. Note that
| |
| :<math>[p\cdot g,f] = [p,\rho(g)f] \mbox{ for all } g\in G.</math> | |
| Define a projection map π<sub>ρ</sub> : ''E'' → ''X'' by π<sub>ρ</sub>([''p'',''f'']) = π(''p''). Note that this is [[well-defined]].
| |
| | |
| Then π<sub>ρ</sub> : ''E'' → ''X'' is a fiber bundle with fiber ''F'' and structure group ''G''. The transition functions are given by ρ(''t''<sub>''ij''</sub>) where ''t''<sub>''ij''</sub> are the transition functions of the principal bundle ''P''.
| |
| | |
| ==Reduction of the structure group==
| |
| {{details|reduction of the structure group}}
| |
| | |
| The companion concept to associated bundles is the '''reduction of the structure group''' of a <math>G</math>-bundle <math>B</math>. We ask whether there is an <math>H</math>-bundle <math>C</math>, such that the associated <math>G</math>-bundle is <math>B</math>, up to [[isomorphism]]. More concretely, this asks whether the transition data for <math>B</math> can consistently be written with values in <math>H</math>. In other words, we ask to identify the image of the associated bundle mapping (which is actually a [[functor]]).
| |
| | |
| ===Examples of reduction===
| |
| | |
| Examples for [[vector bundle]]s include: the introduction of a ''metric'' resulting in reduction of the structure group from a [[general linear group]] GL(''n'') to an [[orthogonal group]] O(''n''); and the existence of complex structure on a real bundle resulting in reduction of the structure group from real general linear group GL(2''n'','''R''') to complex general linear group GL(''n'','''C''').
| |
| | |
| Another important case is finding a decomposition of a vector bundle ''V'' of rank ''n'' as a [[Whitney sum]] (direct sum) of sub-bundles of rank ''k'' and ''n-k'', resulting in reduction of the structure group from GL(''n'','''R''') to GL(''k'','''R''') × GL(''n-k'','''R''').
| |
| | |
| One can also express the condition for a [[foliation]] to be defined as a reduction of the [[tangent bundle]] to a block matrix subgroup - but here the reduction is only a necessary condition, there being an ''integrability condition'' so that the [[Frobenius theorem (differential topology)|Frobenius theorem]] applies.
| |
| | |
| == See also ==
| |
| *[[Spinor bundle]]
| |
| | |
| == References ==
| |
| {{reflist}}
| |
| | |
| ==Books==
| |
| *{{cite book | last = Steenrod | first = Norman | title = The Topology of Fibre Bundles | publisher = Princeton University Press | location = Princeton | year = 1951 | isbn = 0-691-00548-6}}
| |
| *{{cite book | last = Husemoller | first = Dale | title = Fibre Bundles | publisher = Springer | edition = Third |location = New York | year=1994 | isbn=978-0-387-94087-8}}
| |
| *{{cite book | last = Sharpe | first = R. W. | title = Differential Geometry: Cartan's Generalization of Klein's Erlangen Program | publisher = Springer | location = New York | year=1997 | isbn=0-387-94732-9}}
| |
| | |
| | |
| [[Category:Fiber bundles]]
| |
| [[Category:Algebraic topology]]
| |
| [[Category:Differential topology]]
| |
| [[Category:Differential geometry]]
| |
Jerrie is what you could certainly call me but Simply put i don't like when consumers use my full name. My husband and I chose to live a life in Massachusetts. What I love doing is to play croquet and furthermore now I have your time to take on issues. The job I've been occupying designed for years is an order clerk. See what's new on a few website here: http://prometeu.net
Also visit my blog :: clash of clans hack tool no survey no password