Universal bundle

Universal bundle

In mathematics, the universal bundle in the theory of fiber bundles with structure group a given topological group "G", is a specific bundle over a classifying space "BG", such that every bundle with the given structure group "G" over "M" is a pullback by means of a continuous map

:"M" → "BG".

Existence of a universal bundle

In the CW complex category

When the definition of the classifying space takes place within the homotopy category of CW complexes, existence theorems for universal bundles arise from Brown's representability theorem.

For compact Lie groups

We will first prove:
Proposition
Let G be a compact Lie group.There exists a contractible space EG on which G acts freely. The projection EGlongrightarrow BG is aG-principal fibre bundle.
ProofThere exists an injection of G into a unitary group U(n) for n big enough [J. J. Duistermaat and J. A. Kolk,-- "Lie Groups", Universitext, Springer. Corollary 4.6.5] .If we find EU(n) then we can take EG to be EU(n).

The construction of "EU(n)" is given in classifying space for U(n).Box

The following Theorem is a corollary of the above Proposition.

Theorem
If M is a paracompact manifold and Plongrightarrow M is a principal G-bundle, then there exists a mapf:Mlongrightarrow BG, well defined up to homotopy, such that P is isomorphic to f^*(EG), the pull-backof the G-bundle EGlongrightarrow BG by f.
ProofOn one hand, the pull-back of the bundle pi:EGlongrightarrow BG by the natural projection P imes_G EGlongrightarrow BG is the bundle P imes EG. On the other hand, the pull-back of the principal G-bundle Plongrightarrow M by the projectionp:P imes_G EGlongrightarrow M is also P imes EG

egin{align}P & longleftarrow & P imes EG& longrightarrow & EG \downarrow & & downarrow & & downarrowpi\M & longleftarrow^{!!!!!!!p} & P imes_G EG & longrightarrow & BG.end{align}
Since p is a fibration with contractible fibre EG,sections of p exist [A.~Dold-- "Partitions of Unity in the Theory of Fibrations",Annals of Math., vol. 78, No 2 (1963)] . To such a section swe associate the composition with the projection P imes_G EGlongrightarrow BG. The map we get is the f we werelooking for.
For the uniqueness up to homotopy, notice that there exists a one to one correspondence between mapsf:Mlongrightarrow BG such that f^*EGlongrightarrow M is isomorphic to Plongrightarrow M and sections of p. We have just seenhow to associate a f to a section. Inversely, assume that f is given. Let Phi be an isomorphismbetween f^*EG and P
Phi: {(x,u)in M imes EGmid,f(x)=pi(u)} longrightarrow P.
Now, simply define a section by
egin{align}M & longrightarrow & P imes_G EG \x & longrightarrow & lbrack Phi(x,u),u brack.end{align}
Because all sections of p are homotopic, the homotopy class of f is unique.Box

Use in the study of group actions

The total space of a universal bundle is usually written "EG". These spaces are of interest in their own right, despite typically being contractible. For example in defining the homotopy quotient or homotopy orbit space of a group action of "G", in cases where the orbit space is pathological (in the sense of being a non-Hausdorff space, for example). The idea, if "G" acts on the space "X", is to consider instead the action on

:"Y" = "X"×"EG",

and corresponding quotient. See equivariant cohomology for more detailed discussion.

If "EG" is contractible then "X" and "Y" are homotopy equivalent spaces. But the diagonal action on "Y", i.e. where "G" acts on both "X" and "EG" coordinates, may be well-behaved when the action on "X" is not.

Examples

* Classifying space for U(n)

ee also

* Chern class

External links

* [http://planetmath.org/?op=getobj&from=objects&id=3663 PlanetMath page of universal bundle examples]

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Universal binary — A universal binary is, in Apple parlance, an executable file or application bundle that runs natively on either PowerPC or x86 (Intel) based Macintosh computers. It was introduced at the 2005 WWDC as a means to ease the transition from the… …   Wikipedia

  • Universal Service —   Electric service sufficient for basic needs (an evolving bundle of basic services) available to virtually all members of the population regardless of income …   Energy terms

  • Universal service —   Electric service sufficient for basic needs (an evolving bundle of basic services) available to virtually all members of the population regardless of income.   California Energy Comission. Dictionary of Energy Terms …   Energy terms

  • Line bundle — In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising… …   Wikipedia

  • Fiber bundle — In mathematics, in particular in topology, a fiber bundle (or fibre bundle) is a space which looks locally like a product space. It may have a different global topological structure in that the space as a whole may not be homeomorphic to a… …   Wikipedia

  • Principal bundle — In mathematics, a principal bundle is a mathematical object which formalizes some of the essential features of a Cartesian product X times; G of a space X with a group G . Analogous to the Cartesian product, a principal bundle P is equipped with… …   Wikipedia

  • Pullback bundle — In mathematics, a pullback bundle or induced bundle is a useful construction in the theory of fiber bundles. Given a fiber bundle pi; : E rarr; B and a continuous map f : B prime; rarr; B one can define a pullback of E by f as a bundle f * E over …   Wikipedia

  • Monte Carlo Universal — (MCU) is a project on development and practical use of a universal computer code for simulation of particle transport (neutrons, photons, electrons) in three dimensional systems by means of the Monte Carlo method. The main advantage of the Monte… …   Wikipedia

  • Chern class — In mathematics, in particular in algebraic topology and differential geometry, the Chern classes are characteristic classes associated to complex vector bundles. Chern classes were introduced by Shiing Shen Chern (1946). Contents 1 Basic… …   Wikipedia

  • Classifying space for U(n) — In mathematics, the classifying space for the unitary group U(n) is a space B(U(n)) together with a universal bundle E(U(n)) such that any hermitian bundle on a paracompact space X is the pull back of E by a map X → B unique up to homotopy. This… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”