Tangent Bundle questions about commutative diagram

In summary: In smooth manifolds a lot of things are trivial. And that's the reason why we can work with charts. It's an artifact of the category of smooth manifolds that they are so well behaved. In order to understand what is going on you have to understand the general situation. In a smooth manifold we can take any chart and identify ##\pi^{-1}(U)## with ##U \times F##. But this is not the case in general.
  • #1
orion
93
2
I don't know how to create a commutative diagram here so I'd like to refer to Diagram (1) in this Wikipedia article. I need to discuss the application of this diagram to the tangent bundle of a smooth manifold because there are some basic points that are either glossed over or conflict in the literature.

So first I'd like to examine the left hand side of that diagram and in particular ##\pi##. Some books say the following: ##\pi(p,v) = p##. Other books say ##\pi(v) = p##. Which is correct? And if it is ##\pi(p,v) = p## then how does ##\pi## differ from ##\text{proj}_1## in that diagram? And doesn't that conflict with ##\pi^{-1}(p) = T_pM## and not ##\{ p \} \times T_pM##?

I'm sorry for all the technical questions, but this is really bothering me that I can't understand that diagram as applied to the tangent bundle.
 
Physics news on Phys.org
  • #2
orion said:
Which is correct?
It depends on what you mean by ##v##. The case ##\pi(p,v)=p## (this notation should be made more precise as I did below) only makes sense if you are talking about a local trivialization, and ##v## here means an element of the fibre. The case ##\pi(v)=p## is more general and here ##v## is an element of the fibre bundle.

orion said:
how does ππ\pi differ from proj1proj1\text{proj}_1 in that diagram?
In this case, we are talking about a local trivialization. More precisely, we should write ##\pi(\phi^{-1}(p,v))##, and the statement that this is equal to ##\mathbf{proj_1}## is precisely the statement of commutativity.

I make an analogy with smooth manifold theory. Instead of local trivializations we use charts. We should make chart independent definitions, even though often we do calculation in charts. In calculations, it is common to relax the notation. I believe this is the reason why some authors may choose to use the more relaxed notation for a point in the tangent bundle within a local trivialization.
 
  • Like
Likes orion
  • #3
orion said:
I don't know how to create a commutative diagram here so I'd like to refer to Diagram (1) in this Wikipedia article. I need to discuss the application of this diagram to the tangent bundle of a smooth manifold because there are some basic points that are either glossed over or conflict in the literature.

So first I'd like to examine the left hand side of that diagram and in particular ##\pi##. Some books say the following: ##\pi(p,v) = p##. Other books say ##\pi(v) = p##. Which is correct? And if it is ##\pi(p,v) = p## then how does ##\pi## differ from ##\text{proj}_1## in that diagram? And doesn't that conflict with ##\pi^{-1}(p) = T_pM## and not ##\{ p \} \times T_pM##?

I'm sorry for all the technical questions, but this is really bothering me that I can't understand that diagram as applied to the tangent bundle.
I admit it's hard not to think of ##\pi## as ##\text{proj}_1## and of ##E## as ##B \times F##. And in addition homeomorphisms all over the place. So the details are in the generality of the definition or in the difference between a trivial and a non-trivial bundle.
##E## is more flexible than just ##B \times F##. It behaves locally as the direct product, but not globally. That is the main point.
Of course in many cases (and this is how I try to get hold of it), it is just a manifold where at each point the tangent space of it is attached.
I think it's a good idea to keep the Möbius strip in mind.
 
  • Like
Likes orion
  • #4
Thank you for your answers. They are very helpful. I think maybe your answers might cover my next question but I have to think about it some more.

My next question concerns ##\pi^{-1}(p)##. This should be ##T_pM## as I am told. Suppose ##v \in T_pM## for some ##p \in M##. How exactly is ##p## associated with ##T_pM## in the fiber? I mean other than notationally as ##T_pM##. In other words, how does ##v## "know" that it is associated with ##p##? Again, I'm thinking without appealing to the bundle chart.
 
  • #5
orion said:
In other words, how does vvv "know" that it is associated with ppp? Again, I'm thinking without appealing to the bundle chart.
##\pi(v)## is exactly the answer to the question: to which ##p## is ##v## associated to?

You may be thinking: 'I need to define ##v## in terms of ##p## ...' but you may think of ##v## as an abstract point in a tangent bundle which you randomly pick.

The example as orion stated is the Mobius strip. It is a fibre bundle. But it is also a manifold, which you can imagine, is embedded in ##\mathbb{R}^3##. So there is certainly nothing wrong with picking a point ##v## in ##\mathbb{R}^3## which lies in the mobius strip submanifold, and asking the question: To which ##p## in the circle (which is also embedded in ##\mathbb{R}^3##), should I assign to ##v##? The answer is again ##\pi(v)##.
 
Last edited:
  • #6
I understand, but where does the information reside? In ##\pi## or in ##v## itself? To complicate matters, in the book by JEFFREY Lee, he defines a vector at a point ##p## by ##v_p:=(p,v)##.
 
  • #7
If you don't like Wiki's hair brush, you can also think of ##E## as a corn field. I prefer wheat, but anyway. ##p## is where the grains ##v## meat the ground.
Personally I find it better to denote ##\pi^{-1}(p)## as ##\{p\} \times TM##, i.e. the entire vector field where ##T_pM## is the specification at ##p##. We do the same with the gradient all the time without even thinking about it. How often did you use ##\nabla## without evaluating it at a special point? Do you really always write ##\nabla_p##? How does the gradient know, where it has to be evaluated?

##\pi## is the projection along the grains to the ground point. Locally it is perfectly alright to imagine a direct product, ##U \times F##, resp. ##\{p\} \times F##. You simply cannot chose ##U## to be the entire base as long as your bundle might be non-trivial.
 
  • Like
Likes orion
  • #8
orion said:
I understand, but where does the information reside? In ##\pi## or in ##v## itself? To complicate matters, in the book by JEFFREY Lee, he defines a vector by ##v_p:=(p,v)##.
Because it's a vector field. The points are important at such an abstract approach. (See my ##\nabla## example above.)
 
  • Like
Likes Lucas SV and orion
  • #9
orion said:
I understand, but where does the information reside? In ##\pi## or in ##v## itself? To complicate matters, in the book by JEFFREY Lee, he defines a vector at a point ##p## by ##v_p:=(p,v)##.
The answer is probably either. If you fix a ##\pi## you can perturb ##v## to give different values of ##p##. If you fix a ##v##, you can perturb ##\pi## (by having chosen a slightly different definition of the fibre bundle) to give different values of ##p##.
 
  • Like
Likes orion
  • #10
Ok. thanks guys. You have been a big help.
 
  • Like
Likes fresh_42 and Lucas SV
  • #11
P.S.: The picture with a field of wheat is the better one when it comes to sheaves and sections.
(Edit: corrected a technical term.)
 
Last edited:
  • #12
- Whenever one has a function between two sets ##f:S →T## then the pre-image ##f^{-1}(p)## of a point in ##T## is all points that ##f## maps onto ##p##. Each point in the pre-image is associated with ##p## by the function ##f## itself. In your example ##T_{p}M## is the pre-image of the point ##p## in ##M## under the bundle projection map ##π##. A point ##v## in the bundle ##TM## "knows"" that it is associated with ##p## because ##π(v) = p##. ##T_{p}M## is called the "fiber" of ##TM## over ##p##.

- Whenever one has a Cartesian product of sets ##U×V##( not necessarily topological spaces but just plain old sets) then one can represent any point as a pair ##(u,v)##. The maps ##ρroj_{1}(u,v) = u## and ##ρroj_{2}(u,v) = v## are called projection maps.

The map ##π## is also called a projection map but it does not mean the same thing since the bundle ##TM## is generally not a Cartesian product. The local trivialization described in the Wikipedia page says that a bundle generalizes the idea of a Cartesian product. Locally around any point it is a product but globally it may not be.

- Whenever one has a function ##f:M →N## between two sets the "graph" of ##f## is the function ##F:M →M×N## defined by ##F(p) = (p,f(p))##. Note that ##proj_{1}(F(p)) = p## . Conversely any function ##F## from ##M## into ##M×N## such that ##proj_{1}(F(p))=p## is the graph of a function from ##M## into ##N##. For a bundle, a map ##f:M →TM## such that ##π(f(p)) = p## generalizes the idea of a graph. Locally around any point, ##f## is a graph. For a bundle, ##f## is usually called a "section" of the bundle. An important example of a section of a bundle is a vector field on smooth manifold.

- It is true that ##T_{p}M## is homeomorphic to ##p×T_{p}M##. But this just says that a space is homeomorphic to its Cartesian product with a point. The point could be any point anywhere and does not have to be the point ##p##.

BTW: Usually the notation ##TM## means the tangent bundle of a smooth manifold.
 
Last edited:
  • Like
Likes orion and fresh_42
  • #13
Here is an example that you might find helpful. Suppose ##M## is a closed smooth manifold without boundary in ##R^{n}##. Define ##TM## to be the subset of ##M×R^{n}## of pairs ##(p,v)## where ##v## is tangent to ##M## at ##p##. ##TM## is a subset of a Cartesian product but in general will not be a Cartesian product itself. But each of its points ##(p,v)## has a natural projection onto the first factor ##(p,v) →p##. This is the bundle projection map π. So here it is obvious how ##v## is connected to ##p##.

##TM## is isomorphic to the tangent bundle of ##M##.

One could also take the vectors ##v## to be orthogonal to ##M##. Then one gets another bundle called the normal bundle of the embedding of ##M## in ##R^{n}##.
 
Last edited:
  • Like
Likes orion
  • #14
lavinia said:
- Whenever one has a function between two sets ##f:S →T## then the pre-image ##f^{-1}(p)## of a point in ##T## is all points that ##f## maps onto ##p##. Each point in the pre-image is associated with ##p## by the function ##f## itself. In your example ##T_{p}M## is the pre-image of the point ##p## in ##M## under the bundle projection map ##π##. A point ##v## in the bundle ##TM## "knows"" that it is associated with ##p## because ##π(v) = p##.


This is very appealing to me except I have one question. Take, for example, the simple real-valued function ##f(x)=x^2##. Now this function associates the number 3 with the number 9. How do I know? Because the function says take the number given and square it. I know exactly the prescription.

But ##\pi## is something else. We are told that it is a bundle projection. A projection of what onto what? My question is how does ##\pi## take an element of ##T_pM## and output ##p##? How does it determine the point ##p## associated with ##v##?

I realize that I could just accept it as it is written in the books and move on, but these sorts of details drive me crazy because I feel like there is something lacking in my understanding.

lavinia, I thank you so much for your help and thorough replies. I feel like I'm making progress, like I'm 90% where I need to be.
 
  • #15
Think about the example of the tangent bundle in my second post. There I tried to make it crystal clear.

One can always take a local trivialization and project onto the first factor. This projection is independent of which local trivialization you choose.

For instance you can think of ##R^2## as a trivial bundle of the real line with fiber ##R##. Any pair ##(x,y)## has a natural bundle projection π defined by π(x,y) = x. Here (x,y) is a point in the fiber above x.
 
Last edited:
  • #16
orion said:
Take, for example, the simple real-valued function f(x)=x2f(x)=x2f(x)=x^2. Now this function associates the number 3 with the number 9. How do I know? Because the function says take the number given and square it. I know exactly the prescription.

Not every function is like the square function. In particular the ##\pi## function does not take real numbers as arguments. Even for real valued functions, it is not always the case you can write down a concrete number for all values of the function.

In the definition of fibre bundle, we do not specify the ##\pi## map. But if we want to check a certain structure ##(E, \pi, B)##, we need to check ##\pi## is a continuous surjection from ##E## to ##B## with a local triviality condition. So, when we talk about a specific example of a fibre bundle, we do need to specify ##\pi##.
 
  • Like
Likes orion
  • #17
Orion

As Lucas SV explained the definition of a bundle just says that there must be a projection function. There is no need to specify one since it is a general definition that applies to all possible bundles. When one defines a specific bundle then you need to define the projection. Otherwise it is not specific.

I have given you some examples of specific projections.

A function can be talked about in general terms just like anything else. For instance I can speak of the integers. Do I need to list all of them to make sense? I can speak of differentiable functions. Do I need to list say which specific ones I am talking about.? The same goes for bundle projections or for that matter pretty much anything else.
 
  • Like
Likes Lucas SV
  • #18
lavinia said:
A function can be talked about in general terms just like anything else. For instance I can speak of the integers. Do I need to list all of them to make sense? I can speak of differentiable functions. Do I need to list say which specific ones I am talking about.? The same goes for bundle projections or for that matter pretty much anything else.
A.K.A. the axiom of choice.
 
  • #19
Thanks to both of you.

I need to digest all this before I can say whether I have any other questions, but I do have a rather simple, silly question that came up in lavinia's first reply because I've seen it stated in textbooks as well. Given ##T_pM## why can we say that ##T_pM## is homeomorphic to ##\{ p \} \times T_pM##?
 
  • #20
orion said:
Thanks to both of you.

I need to digest all this before I can say whether I have any other questions, but I do have a rather simple, silly question that came up in lavinia's first reply because I've seen it stated in textbooks as well. Given ##T_pM## why can we say that ##T_pM## is homeomorphic to ##\{ p \} \times T_pM##?

Consider the map ##f:T_p M \rightarrow \{p\} \times T_p M## defined by ##f(V)=\{p,V\}## for a vector ##V\in T_p M##. You can easily show that ##f## is a homeomorphism.
 
  • Like
Likes orion
  • #21
I see it. Thanks!
 

1. What is the tangent bundle?

The tangent bundle is a mathematical concept that describes the collection of all possible tangent vectors on a differentiable manifold. It is denoted as TM, where M is the manifold.

2. How is the tangent bundle related to commutative diagrams?

In a commutative diagram, the arrows represent morphisms between objects. The tangent bundle is often used in commutative diagrams to represent the tangent space of the objects involved.

3. What is the significance of tangent bundle in differential geometry?

The tangent bundle is a fundamental concept in differential geometry as it allows for the study of smooth functions and curves on a manifold. It also plays a crucial role in defining notions such as tangent spaces, vector fields, and differential forms.

4. How is the tangent bundle represented mathematically?

The tangent bundle is represented as a disjoint union of tangent spaces attached to each point on a manifold. Mathematically, it can be written as TM = ⋃p∈M TpM, where TpM is the tangent space at point p.

5. What are some real-world applications of tangent bundles?

Tangent bundles have various applications in physics, engineering, and computer science. They are used to study the motion of particles in mechanics, the flow of fluids in fluid dynamics, and the behavior of dynamical systems. In computer science, they are used in computer vision and machine learning algorithms.

Similar threads

  • Differential Geometry
Replies
9
Views
404
  • Differential Geometry
2
Replies
55
Views
7K
  • Differential Geometry
Replies
15
Views
3K
Replies
16
Views
3K
  • Differential Geometry
Replies
17
Views
2K
  • Differential Geometry
Replies
3
Views
2K
Replies
3
Views
2K
  • Differential Geometry
Replies
11
Views
3K
Replies
4
Views
2K
  • Differential Geometry
Replies
32
Views
3K
Back
Top