Fiber bundle homeomorphism with the fiber

Click For Summary

Discussion Overview

The discussion centers on the properties of fiber bundles, specifically the homeomorphism between the preimage of a point in the base space under a continuous map and the fiber. Participants explore the implications of local trivializations and the conditions under which these homeomorphisms hold, raising questions about the nature of neighborhoods in the base space and their relationship to the total space.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that the homeomorphism between ##\pi^{-1}(\{p\})## and the fiber ##F## is established using the subspace topology from ##\pi^{-1}(U)##.
  • Others emphasize the importance of commutative diagrams in establishing the homeomorphic relationship between ##\pi^{-1}(p)## and ##\{p\} \times F##.
  • A participant questions whether the requirement for homeomorphisms in fiber bundles holds for any open neighborhood of a point in the base space, suggesting it may not be true unless the bundle is trivial.
  • There is a discussion about the nature of charts in topological manifolds, with some arguing that not every chart is homeomorphic to the entire Euclidean space, while others challenge this view based on definitions of charts.
  • Participants express uncertainty about the implications of disconnected components in relation to the homeomorphic properties of preimages under the projection map.

Areas of Agreement / Disagreement

Participants do not reach consensus on several points, including the nature of neighborhoods in the base space and the properties of charts in topological manifolds. Multiple competing views remain regarding the conditions under which homeomorphisms hold in fiber bundles.

Contextual Notes

Limitations include unresolved assumptions about the nature of neighborhoods in the base space and the implications of disconnected components on the homeomorphic properties of fiber bundles.

  • #31
cianfa72 said:
A general question on tangent and cotangent bundle. Are they always trivial bundle regardless of the base space topological manifold ?
They're only guanteed to be locally , only at times globally trivial. IIRC, the latter is true only for product spaces. The term " Trivial Bundle" wouldn't have been coined.
 
Physics news on Phys.org
  • #32
jbergman said:
Have you systematically worked through a book like Tu's Introduction to Manifolds?
Yes, I'm keeping study Tu's book.

In particular at the end of section 12.3 he talks of isomorphism between vector bundles over the same manifold ##\mathbb M##. But the manifold ##\mathbb M## in general may not have a vector space structure, so why he talks of isomorphisms and non just diffeomorphism ? Thanks.
 
Last edited:
  • #33
cianfa72 said:
Yes, I'm keeping study Tu's book.

In particular at the end of section 12.3 he talks of isomorphism between vector bundles over the same manifold ##\mathbb M##. But the manifold ##\mathbb M## in general may not have a vector space structure, so why he talks of isomorphisms and non just diffeomorphism ? Thanks.
Isomorphisms of the bundles not ##M##.
 
  • #34
martinbn said:
Isomorphisms of the bundles not ##M##.
However, in general, bundles do not have a vector space structure.

Edit: eventually the term isomorphism is not restricted to just vector spaces (e.g. in the context of differentiable manifolds a diffeomorphism is actually an isomorphism).
 
Last edited:
  • #35
cianfa72 said:
Yes, I'm keeping study Tu's book.

In particular at the end of section 12.3 he talks of isomorphism between vector bundles over the same manifold ##\mathbb M##. But the manifold ##\mathbb M## in general may not have a vector space structure, so why he talks of isomorphisms and non just diffeomorphism ? Thanks.
Maybe the manifolds themselves only have a topological structure, not a differentiable one?
 
  • #36
WWGD said:
Maybe the manifolds themselves only have a topological structure, not a differentiable one?
Yes, in that case (topological manifolds alone) the isomorphism is actually an homeomorphism.

Btw up to dimension 3, every topological manifold admits a differentiable structure and all these structures are equivalent.
 
Last edited:
  • #37
cianfa72 said:
Yes, I'm keeping study Tu's book.

In particular at the end of section 12.3 he talks of isomorphism between vector bundles over the same manifold ##\mathbb M##. But the manifold ##\mathbb M## in general may not have a vector space structure, so why he talks of isomorphisms and non just diffeomorphism ? Thanks.
The cylinder and the mobius strip are two different vector bundles over the base manifold of the circle. The cylinder is a trivial bundle and the Mobius strip is not. They are not isomorphic. I would work through Lee's chapter on vector bundles because it goes more in depth.

Basically, different vector bundles can be twisted in different ways over the base space, but locally it is like a product manifold. I think you need to build up intuition as to what twisting means here. Essentially it means that our patches above open sets on M where we can define local trivializations are different. With the cylinder we can define a trivialization over the open set U which is the entire circle. With the Mobius strip we can only define trivializations on patches above proper subsets of the circle.
 
  • Like
Likes   Reactions: cianfa72
  • #38
cianfa72 said:
Yes, in that case (topological manifolds alone) the isomorphism is actually an homeomorphism.

Btw up to dimension 3, every topological manifold admits a differentiable structure and all these structures are equivalent.
You may want to look up some more into Stieffel-Whitney classes.
 
  • Like
Likes   Reactions: jbergman
  • #39
As far as I can tell, the topology assigned on the tangent bundle is not the same as the initial topology from the canonical projection map ##\pi## on the first factor (see Tu's book section 12.1).
 
  • #40
cianfa72 said:
As far as I can tell, the topology assigned on the tangent bundle is not the same as the initial topology from the canonical projection map ##\pi## on the first factor (see Tu's book section 12.1).
Yes, the initial topology will contain whole fibers. The bundle topology also has open subsets of fibers.

Why!
 
  • #41
martinbn said:
Why!
Yes, open sets in initial topology contain whole fibers, however each fiber ##\pi^{-1} \{p \}## will be open in the initial topology iff the base space B has the discrete topology.
 
Last edited:
  • #42
cianfa72 said:
Yes, open sets in initial topology contain whole fibers, however each fiber ##\pi^{-1} \{p \}## will be open in the initial topology iff the base space B has the discrete topology.
No, i meant why do you make these statements/questions?
 
  • #43
martinbn said:
No, i meant why do you make these statements/questions?
Just to double check my understanding (also sometimes I've problem with reading english).
 
Last edited:

Similar threads

  • · Replies 20 ·
Replies
20
Views
767
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 61 ·
3
Replies
61
Views
7K
  • · Replies 13 ·
Replies
13
Views
5K
  • · Replies 39 ·
2
Replies
39
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K