How can the isomorphism of pullback bundles by homotopic maps be proven?

  • Thread starter kakarukeys
  • Start date
  • Tags
    Fibre
In summary, Chris Isham said that it is fairly easy to show that the pullback bundles of a fiber bundle by two homotopic maps are isomorphic. But he hasn't had a clue. Can somebody tell him how to prove?
  • #1
kakarukeys
190
0
Chris Isham said (Modern Differential Geometry for Physicists) it's fairly easy to show that the pullback bundles of a (locally trivial) fibre bundle by two homotopic maps are isomorphic. But I haven't had a clue. Can somebody tell me how to prove?
 
Physics news on Phys.org
  • #2
Ok I think I know how to do it. Its tricky because the isomorphism does not seem to be at all unique. that makes it not really stick out for you.

you have

an open cover by Ui, and on each overlap you have two clutching data, sij and tij, which are maps into the group of automorphisms of the fiber F.

then you need isomorphisms, i.e. homeomorphisms fi:Ui-->Ui, such that

on overlaps, sij o fj = fi o tij. so you take f1 to be anything, then you need f2 = sij^(-1) 0 f1 o tij on Ui meet Uj. so define it that way on Ui meet Uj and use an extension lemma like urysohn, to extend f2 to all of U2.

continue with f3,...

it seems compactness is needed. you could look it up in atiyah's book on k theory, or husemollers book on bundles, or steenrod, or any other book on bundles, like hatcher's algebraic topology, which is free online.
 
  • #3
i seem to have neglected to make f2 a homeomorphism, simply by using any old extension in fact i can't understand any of it myself. what the heck is sij^(-1)?
 
  • #4
here is a free reference that uses parallel transport to assign an isomorphism of pullbacks to a homotopy for principal fiber bundles.

http://arxiv.org/pdf/math/0105161
 
  • #5
well i looked in bott tu p. 58 for the vector bundle case, and it is knid of like what i said.

one shows the isomorphism class of a bundle on YxI, restricted to Yx{0} cannot change locally near 0.

i.e. the homotopy gives a pull back bundle E on YxI, and we look at its restriction to Yx{0} and we just cross that restriction with I to get a family F of bundles on YxI, which have isomorphic restrictions to every Yxt.

So we have an isomorphism of these bundles E,F over 0 and want to extend the isomorphism say to Yxe where e is a small interval containing 0.

To do this view the isomorphism as a section defined over Yx{0}, of the subbundle Iso(E,F) of Hom(E,F).

Then since this last bundle has Eucklidean space fibers, we can extend, again by a Urysohn type lemma.

then near t=0 the section lies in Iso(E,F), and using compactness of Y and I we get our theorem over YxI.

It can be extended to paracompact Y. This argumenT uses that the bundle of isomorphisms of two vector bundies is itself a fiber bundle contained in a euclidean space bundle, which seems a little special for all fiber bundles..

to go further i guess we need to know your definition of a fiber bundle. but i will probably leave it here.
 
  • #6
was this useful?
 
  • #7
At my present level, I can't comprehend what you said. I have bookmarked this page, in future I will refer back to it. Thank you mathwonk, all I know now is that it's not fairly easy.
 

What is the definition of pullback of a fibre bundle?

The pullback of a fibre bundle is a construction that allows one to relate two different fibre bundles by pulling back one of them to the other through a map between their respective base spaces.

What is the purpose of pullback in fibre bundles?

The purpose of pullback in fibre bundles is to provide a way to compare and relate different fibre bundles that may have different base spaces and fibre spaces.

How is pullback of a fibre bundle different from pushforward?

Pullback and pushforward are two different operations that are used to relate different fibre bundles. While pullback moves a fibre bundle from one base space to another, pushforward moves a fibre bundle from one fibre space to another.

What are the applications of pullback of fibre bundles in mathematics?

Pullback of fibre bundles has various applications in mathematics, including in differential geometry, algebraic geometry, and topology. It is also used in the study of vector bundles, principal bundles, and sheaves.

How is pullback of fibre bundles related to the notion of a pullback bundle?

The pullback of a fibre bundle is a generalization of the concept of a pullback bundle, where the latter refers to the pullback of a vector bundle. Pullback of fibre bundles extends this concept to any type of fibre bundle, not just vector bundles.

Similar threads

  • Differential Geometry
Replies
6
Views
2K
  • Differential Geometry
Replies
12
Views
3K
  • Differential Geometry
Replies
2
Views
3K
  • Differential Geometry
Replies
9
Views
3K
Replies
21
Views
25K
  • Other Physics Topics
Replies
2
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
10
Views
3K
Replies
26
Views
17K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
6
Views
3K
  • Beyond the Standard Models
Replies
22
Views
6K
Back
Top