Universal bundle: Difference between revisions
m WP:CHECKWIKI error fixes using AWB (10093) |
major formatting improvements |
||
Line 1: | Line 1: | ||
In [[mathematics]], the '''universal bundle''' in the theory of [[fiber bundle]]s with structure group a given [[topological group]] |
In [[mathematics]], the '''universal bundle''' in the theory of [[fiber bundle]]s with structure group a given [[topological group]] {{mvar|G}}, is a specific bundle over a [[classifying space]] {{mvar|BG}}, such that every bundle with the given [[structure group]] {{mvar|G}} over {{mvar|M}} is a [[pullback bundle|pullback]] by means of a [[continuous map]] {{math|''M'' → ''BG''}}. |
||
:''M'' → ''BG''. |
|||
==Existence of a universal bundle== |
==Existence of a universal bundle== |
||
===In the CW complex category=== |
===In the CW complex category=== |
||
When the definition of the classifying space takes place within the homotopy [[category (mathematics)|category]] of [[CW complex]]es, existence theorems for universal bundles arise from [[Brown's representability theorem]]. |
When the definition of the classifying space takes place within the homotopy [[category (mathematics)|category]] of [[CW complex]]es, existence theorems for universal bundles arise from [[Brown's representability theorem]]. |
||
===For compact Lie groups=== |
===For compact Lie groups=== |
||
We will first prove: |
We will first prove: |
||
'''Proposition'''<br /> |
|||
Let <math>G</math> be a compact [[Lie group]]. |
|||
There exists a contractible space <math>EG</math> on which <math>G</math> acts freely. The projection <math>EG\longrightarrow BG</math> is a |
|||
<math>G</math>-principal fibre bundle.<br /> |
|||
'''Proof''' |
|||
There exists an injection of <math>G</math> into a [[unitary group]] <math>U(n)</math> for <math>n</math> big enough.<ref>[[J. J. Duistermaat]] and J. A. Kolk, |
|||
-- ''Lie Groups'', Universitext, Springer. Corollary 4.6.5</ref> |
|||
If we find <math>EU(n)</math> then we can take <math>EG</math> to be <math>EU(n)</math>. |
|||
:'''Proposition.''' Let {{mvar|G}} be a compact [[Lie group]]. There exists a contractible space {{mvar|EG}} on which {{mvar|G}} acts freely. The projection {{math|''EG'' → ''BG''}} is a {{mvar|G}}-principal fibre bundle. |
|||
The construction of ''EU(n)'' is given in [[classifying space for U(n)]]. |
|||
<math>\Box</math> |
|||
'''Proof.''' There exists an injection of {{mvar|G}} into a [[unitary group]] {{math|''U''(''n'')}} for {{mvar|n}} big enough.<ref>[[J. J. Duistermaat]] and J. A. Kolk,-- ''Lie Groups'', Universitext, Springer. Corollary 4.6.5</ref> If we find {{math|''EU''(''n'')}} then we can take {{mvar|EG}} to be {{math|''EU''(''n'')}}. The construction of {{math|''EU''(''n'')}} is given in [[classifying space for U(n)|classifying space for {{math|''U''(''n'')}}]]. |
|||
The following Theorem is a corollary of the above Proposition. |
The following Theorem is a corollary of the above Proposition. |
||
:'''Theorem.''' If {{mvar|M}} is a paracompact manifold and {{math|''P'' → ''M''}} is a principal {{mvar|G}}-bundle, then there exists a map {{math| ''f'' : ''M'' → ''BG''}}, well defined up to homotopy, such that {{mvar|P}} is isomorphic to {{math| ''f'' <sup>∗</sup>(''EG'')}}, the pull-back of the {{mvar|G}}-bundle {{math|''EG'' → ''BG''}} by {{math| ''f''}}. |
|||
'''Theorem'''<br /> |
|||
If <math>M</math> is a paracompact manifold and <math>P\longrightarrow M</math> is a principal <math>G</math>-bundle, then there exists a map |
|||
⚫ | '''Proof.''' On one hand, the pull-back of the bundle {{math|''π'' : ''EG'' → ''BG''}} by the natural projection {{math|''P'' ×<sub>''G''</sub> ''EG'' → ''BG''}} is the bundle {{math|''P'' × ''EG''}}. On the other hand, the pull-back of the principal {{mvar|G}}-bundle {{math|''P'' → ''M''}} by the projection {{math|''p'' : ''P'' ×<sub>''G''</sub> ''EG'' → ''M''}} is also {{math|''P'' × ''EG''}} |
||
<math>f:M\longrightarrow BG</math>, well defined up to homotopy, such that <math>P</math> is isomorphic to <math>f^*(EG)</math>, the pull-back |
|||
of the <math>G</math>-bundle <math>EG\longrightarrow BG</math> by <math>f</math>.<br /> |
|||
⚫ | |||
'''Proof''' |
|||
P & \to & P\times EG & \to & EG \\ |
|||
⚫ | On one hand, the pull-back of the bundle |
||
⚫ | |||
<math>p:P\times_G EG\longrightarrow M</math> is also <math>P\times EG</math><br /> |
|||
⚫ | |||
⚫ | |||
⚫ | |||
P & \longleftarrow & P\times EG& \longrightarrow & EG \\ |
|||
⚫ | |||
Since {{mvar|p}} is a fibration with contractible fibre {{mvar|EG}}, sections of {{mvar|p}} exist.<ref>A.~Dold -- ''Partitions of Unity in the Theory of Fibrations'',Annals of Math., vol. 78, No 2 (1963)</ref> To such a section {{mvar|s}} we associate the composition with the projection {{math|''P'' ×<sub>''G''</sub> ''EG'' → ''BG''}}. The map we get is the {{math| ''f'' }} we were looking for. |
|||
⚫ | |||
⚫ | |||
For the uniqueness up to homotopy, notice that there exists a one to one correspondence between maps {{math| ''f'' : ''M'' → ''BG''}} such that {{math| ''f'' <sup>∗</sup>(''EG'') → ''M''}} is isomorphic to {{math|''P'' → ''M''}} and sections of {{mvar|p}}. We have just seen how to associate a {{math| ''f'' }} to a section. Inversely, assume that {{math| ''f'' }} is given. Let {{math|Φ : ''f'' <sup>∗</sup>(''EG'') → ''P''}} be an isomorphism: |
|||
Since <math>p</math> is a fibration with contractible fibre <math>EG</math>, |
|||
sections of <math>p</math> exist.<ref>A.~Dold |
|||
⚫ | |||
-- ''Partitions of Unity in the Theory of Fibrations'',Annals of Math., vol. 78, No 2 (1963)</ref> To such a section <math>s</math> |
|||
we associate the composition with the projection <math>P\times_G EG\longrightarrow BG</math>. The map we get is the <math>f</math> we were |
|||
looking for.<br /> |
|||
For the uniqueness up to homotopy, notice that there exists a one to one correspondence between maps |
|||
<math>f:M\longrightarrow BG</math> such that <math>f^*EG\longrightarrow M</math> is isomorphic to <math>P\longrightarrow M</math> and sections of <math>p</math>. We have just seen |
|||
how to associate a <math>f</math> to a section. Inversely, assume that <math>f</math> is given. Let <math>\Phi</math> be an isomorphism |
|||
between <math>f^*EG</math> and <math>P</math> |
|||
⚫ | |||
Now, simply define a section by |
Now, simply define a section by |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
<math>\Box</math> |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | The total space of a universal bundle is usually written |
||
⚫ | |||
⚫ | |||
⚫ | |||
:''Y'' = ''X''×''EG'', |
|||
⚫ | |||
and corresponding quotient. See [[equivariant cohomology]] for more detailed discussion. |
|||
⚫ | The total space of a universal bundle is usually written {{mvar|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 {{mvar|G}}, in cases where the [[orbit space]] is [[Pathological (mathematics)|pathological]] (in the sense of being a non-[[Hausdorff space]], for example). The idea, if {{mvar|G}} acts on the space {{mvar|X}}, is to consider instead the action on {{math|''Y'' {{=}} ''X'' × ''EG''}}, and corresponding quotient. See [[equivariant cohomology]] for more detailed discussion. |
||
If |
If {{mvar|EG}} is contractible then {{mvar|X}} and {{mvar|Y}} are [[homotopy equivalent]] spaces. But the diagonal action on {{mvar|Y}}, i.e. where {{mvar|G}} acts on both {{mvar|X}} and {{mvar|EG}} coordinates, may be [[well-behaved]] when the action on {{mvar|X}} is not. |
||
==Examples== |
==Examples== |
||
* [[Classifying space for U(n)]] |
* [[Classifying space for U(n)]] |
||
==See also== |
==See also== |
||
* [[Chern class]] |
* [[Chern class]] |
||
Revision as of 08:36, 25 May 2014
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 EG → BG is a G-principal fibre bundle.
Proof. There exists an injection of G into a unitary group U(n) for n big enough.[1] 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).
The following Theorem is a corollary of the above Proposition.
- Theorem. If M is a paracompact manifold and P → M is a principal G-bundle, then there exists a map f : M → BG, well defined up to homotopy, such that P is isomorphic to f ∗(EG), the pull-back of the G-bundle EG → BG by f.
Proof. On one hand, the pull-back of the bundle π : EG → BG by the natural projection P ×G EG → BG is the bundle P × EG. On the other hand, the pull-back of the principal G-bundle P → M by the projection p : P ×G EG → M is also P × EG
Since p is a fibration with contractible fibre EG, sections of p exist.[2] To such a section s we associate the composition with the projection P ×G EG → BG. The map we get is the f we were looking for.
For the uniqueness up to homotopy, notice that there exists a one to one correspondence between maps f : M → BG such that f ∗(EG) → M is isomorphic to P → M and sections of p. We have just seen how to associate a f to a section. Inversely, assume that f is given. Let Φ : f ∗(EG) → P be an isomorphism:
Now, simply define a section by
Because all sections of p are homotopic, the homotopy class of f is unique.
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
See also
External links
Notes
- ^ J. J. Duistermaat and J. A. Kolk,-- Lie Groups, Universitext, Springer. Corollary 4.6.5
- ^ A.~Dold -- Partitions of Unity in the Theory of Fibrations,Annals of Math., vol. 78, No 2 (1963)