Frame bundle

  • Thread starter Matterwave
  • Start date
  • #1
Matterwave
Science Advisor
Gold Member
3,966
327
Ok, so I don't have much of an intuition for frame bundles, so I have some basic questions.

A frame bundle over a manifold M is a principle bundle who's fibers are the sets of ordered bases for the vector fields on M right.

1) This means that any point in the fiber (say, over a point m in M) is literally a set of ordered bases right?

2) Since the frame bundle is a principle fiber bundle, each fiber has to be isomorphic to its structure group, which I gather is GL(n,R) right. So, a frame bundle over a 4-d manifold is 16 dimensional? Why so many dimensions?

3) What do these dimensions mean? Going "in a different direction" in this fiber corresponds to doing what to my ordered bases?

This stuff seems really confusing to me...
 

Answers and Replies

  • #2
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
I will try to clear things up a little for you, if that is possible.

Ok, so I don't have much of an intuition for frame bundles, so I have some basic questions.

A frame bundle over a manifold M is a principle bundle who's fibers are the sets of ordered bases for the vector fields on M right.

I wouldn't put it that way, because it sounds like you're saying that fibers are made up of basis for the vector space of the vector fields on M, which is false of course. More precise would be that the frame bundle over a manifold M is a principle GL(n,R)-bundle who's fibers are the sets of ordered bases for the tangent space of M at p. (where n=dim(M))

1) This means that any point in the fiber (say, over a point m in M) is literally a set of ordered bases right?
Yes, it is literally an n-tuple of vectors spanning TmM.

2) Since the frame bundle is a principle fiber bundle, each fiber has to be isomorphic to its structure group, which I gather is GL(n,R) right. So, a frame bundle over a 4-d manifold is 16 dimensional? Why so many dimensions?
You have to be careful here because a fiber bundle (such as a principal bundle) is itself a manifold. So you have to distinguish the dimension of the bundle as a manifold and the dimension of its fibers. Here, 16=4² is the dimension of the fiber. The dimension of the frame bundle as a manifold is 16+4=20. What do you mean "why so many dimensions"? I would think that you know the answer to that since you computed correctly that GL(4,R) has dimension 16!

3) What do these dimensions mean? Going "in a different direction" in this fiber corresponds to doing what to my ordered bases?
Ah, perhaps you do not understand what the connection is between the fact on the one hand that the fiber over m are the frames of TmM and the claim that this space is just GL(4,R). This is simply because in a vector space V of dimension n, once you fix a basis (vi), you can then express any vector w in V as a set of n real numbers; namely the so-called coordinates of w wrt to (vi):
[tex]w=\sum_i a_iv_i[/tex]
In particular, if (wj) is another basis of V, then this corresponds to n² numbers (n numbers for each wj), which you can arrange in a matrix by declaring that the first row is to be made up of the n coordinates of w1 and so on. Then the fact that these (wj) are linearly independant is equivalent to saying that the matrix thus constructed has nonvanishing determinant. That is, it is a matrix in GL(n,R). So you see that there is a (non canonical) bijective correspondance between the frames F(V) of V and GL(n,R). Use that to transfer the smooth structure of GL to F(V). You can verify that this will be independant of the choice of bijection and so puts a well-defined canonical smooth structure on F(V) such that given any choice of basis in V resulting as above in a bijection F(V)<-->GL, this bijection is a diffeomorphism. So that is how each fiber of the frame bundle is (non canonically) diffeomorphic to GL(n,R).
 
  • #3
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
In particular, now we see "why" there are 16 dimensions to F(TmM) when dim(M)=4. Namely, once a basis (vi) for TmM has been fixed, there is one degree of freedom/dimension corresponding to each of the 4²=16 ways to choose each coordinate aji of each vector wj of another basis (wj=Ʃajivi).
 
  • #4
Matterwave
Science Advisor
Gold Member
3,966
327
Sorry, I got a little busy. Gimme a little bit of time to digest your post and then I'll respond with more questions. =D
 
  • #5
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
More precise would be that the frame bundle over a manifold M is a principle GL(n,R)-bundle who's fibers are the sets of ordered bases for the tangent space of M at p. (where n=dim(M))

Here I mean to say

"More precise would be that the frame bundle over a manifold M is a principle GL(n,R)-bundle who's fiber over p is the set of ordered bases for the tangent space of M at p. (where n=dim(M))"
 
  • #6
Matterwave
Science Advisor
Gold Member
3,966
327
Ok, I had some time to look at your post and digest, I get it now thanks. I had a wrong conception that it would only take 4 numbers to specify a basis in 4-D because you only need 4 vectors, but I forgot that each vector actually consists of 4 numbers.

Thanks for the help. =]
 
  • #7
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
Nice, yw!
 
  • #8
Matterwave
Science Advisor
Gold Member
3,966
327
As a follow up, frame bundles, and principle bundles in general, are not vector bundles right? Since GL(n,R) doesn't seem to form a vector space. I'm a little confused because this book I'm reading is discussing the "distribution on P of vertical vectors...", where P is a principle bundle, but it seems to me that a principle bundle is not a vector bundle so where are the vectors?
 
  • #9
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
in the tangent to P! :eek:

Let [itex]\pi[/itex]:P-->B be a principal G-bundle. Then consider the derivative [itex]\pi_*[/itex]:TP-->TB and for each point p in P, form the subspace V_p:=Ker([itex]\pi_{*,p}[/itex])[itex]\subset T_pP[/itex]. Since p is a submersion, this has dimension dim(G) and corresponds to all the directions (tangent vectors) along the fiber through p. According to the standard picture of fiber bundles as a bunch of G's lined up vertically against a horizontally drawn base space, V_p is called the vertical space at p since it is tangent to the fibers. The collection of all the Vp's form a subbundle (aka a tangent distribution!) of TP called the vertical subbundle V.

By the way... a connexion in a principal G-bundle is, by definition, a choice of a subbundle H complementary to V which we call a horizontal subbundle. Such an H is isomorphic to TM via [itex]\pi_*[/itex] and so we think of it as giving the direction "along M" in P. This allows one to define a notion of parallel transport: given a point p in P and a path c(t) in M, to parallelly transport p along c, first lift the velocity vector field v(t) of c up to H via [itex]\pi_*[/itex]. Then use this to lift c(t) up to the unique path c'(t) in P such that
a) c'(0)=p
b) c' is an integral curve of the lifted velocity field
Then by definition, c'(t) is the parallell translate of p along c. Hence, the name "connexion" is justified. And of course, when the bundle is a vector bundle, it can be shown that this definition of connecxon is equivalent to the more common one in terms of specifying an operator on sections [itex]\nabla[/itex].
 
Last edited:
  • #10
Matterwave
Science Advisor
Gold Member
3,966
327
Wow, you explain it a lot better than this book I got haha.

Can you explain a little more your last sentence regarding "when the bundle is a vector bundle..."? Can vector bundles be principle bundles? This seems odd to me because a vector space needs the 0 vector, but the structure group which is usually GL(n,R) (or some subset thereof) for vector bundles cannot contain the 0 matrix.

Or does the above construction of a connexion work even for vector bundles?
 
  • #11
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
Can you explain a little more your last sentence regarding "when the bundle is a vector bundle..."? Can vector bundles be principle bundles?
Oh, sorry. All along I wrote about principal bundles because that is what you seem to be interested in primarily, but actually this definition of connection holds for a general fiber bundle. And while I agree that a vector bundle cannot be a principal bundle, a vector bundle is always a fiber bundle, so this definition of connection in terms of horizontal subbundle applies to it. This is what I had in mind when I wrote that awkward last comment.
 
  • #12
Matterwave
Science Advisor
Gold Member
3,966
327
Interesting, because I assumed that the connection on the tangent bundles we are used to would arise out of some kind of induced connexion on the principle bundle it is associated with. hmm.

I'm only "interested" in principle bundles in so far as that's what the book I'm reading seems to be concerned with. I had assumed that that was so because it "leads" to the regular connection due to some kind of inducement.

EDIT: The book I'm using (Bishop and Crittenden) seems to always suggest that V and H are in P not TP, it'd be pretty weird if they were just blatantly wrong, is there some subtleties there? Or are they just wrong and it should be that V and H live in TP?
 
Last edited:
  • #13
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
Well, on page 74, they say V is a distribution on P. By definition, this means it is a vector subbundle of TP. Also, note that they are using the notation Pp to mean TpP. Also, they use the notation [itex]d\pi[/itex] while I use [itex]\pi_*[/itex]. Other than that, their definition of V is exactly the same as mine. They put

[tex]V_p:=\{t\in T_pP | \pi_*(t)=0\}=\mathrm{Ker}(\pi_{*,p})[/tex]
 
  • #14
Matterwave
Science Advisor
Gold Member
3,966
327
Oh, so it's just notation...ok. @_@

You've been of great help thanks. =]
 
Last edited:
  • #15
Matterwave
Science Advisor
Gold Member
3,966
327
Some follow up questions. This formulation of parallel transport is pretty foreign to me.

Let's restrict ourselves to vector bundles since that is ultimately my interest as a physicist.

You said that with this construction, I can get a unique curve c'(t) which is the horizontal lift of c(t) given c'(0)=p and c'(t) being the integral curve of the horizontally lifted tangent vectors to c(t).

Does this uniqueness define a unique way for me to define parallel transport? The way that I've always learned about parallel transport and connections is that there is some degree of arbitrariness to them. If I am not given a metric structure on my manifold, then I can have connections with torsion or without torsion, for example, and there was no way for me to a priori define which matrices in GL(n,R) to act on my tangent spaces to transform my vectors as they move along a path.

This seems to clash with the uniqueness of the horizontal lift. Does this uniqueness imply that given a vector bundle E over a manifold M, I have only 1 unique way to define parallel transport of a vector in E along a curve in M?
 
  • #16
Matterwave
Science Advisor
Gold Member
3,966
327
Another follow up question. This book is now talking about how the connexion in the principle bundle will "induce" in some special way a connexion in its associated fiber bundle. Is this construction the same as one would get if one simply redid the construction, as you said was possible, on this associated fiber bundle without first doing the construction on the principle fiber bundle?

For example, if I have a connexion on my frame bundle to M, it should induce a connexion on my tangent bundle TM.

If I had, instead, just started with TM as a vector bundle without any regard to the fact that it was associated with the frame bundle and did the construction of vertical distributions, etc., would I have arrived at the same result?
 
  • #17
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
Some follow up questions. This formulation of parallel transport is pretty foreign to me.

Let's restrict ourselves to vector bundles since that is ultimately my interest as a physicist.

You said that with this construction, I can get a unique curve c'(t) which is the horizontal lift of c(t) given c'(0)=p and c'(t) being the integral curve of the horizontally lifted tangent vectors to c(t).

Does this uniqueness define a unique way for me to define parallel transport? The way that I've always learned about parallel transport and connections is that there is some degree of arbitrariness to them. If I am not given a metric structure on my manifold, then I can have connections with torsion or without torsion, for example, and there was no way for me to a priori define which matrices in GL(n,R) to act on my tangent spaces to transform my vectors as they move along a path.

This seems to clash with the uniqueness of the horizontal lift. Does this uniqueness imply that given a vector bundle E over a manifold M, I have only 1 unique way to define parallel transport of a vector in E along a curve in M?

The freedom is in the choice of the horizontal bunble H. Given V, there is an infinite number of ways to choose a complementary bundle to it.
 
  • #18
Matterwave
Science Advisor
Gold Member
3,966
327
Hmmm, can you elaborate a bit on that?

I can see that if H is arbitrary, then my definition of what is a horizontal lift is aribtrary, and that would mean arbitrariness in parallel transport. But I can't see how H would be arbitrary, doesn't it have to encompass every "direction" that V doesn't in order to be a compliment to it?

I mean dim(V)=dim(G) and dim(H)=dim(M) and dim(P)=dim(G)+dim(M) right, so I'm not seeing how it can be arbitrary.

Perhaps a simple example would help? Or perhaps one could try to explain, for example, if my manifold is now endowed with a metric, how that limits my choice of H to be compatible somehow.
 
  • #19
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
There are always an infinite number of ways to choose a complementary subspace. The simplest example is in R². Set V:=R x {0}. There is an infinite number of ways to chose a subspace complementary to V since in fact, any subspace other than V itelf does the job, so the complementary subspaces H are in 1-1 correspondence with the angle θ in (0,pi) that they make with the horizontal.

This illustrates the situation in the linear setting. In the vector bundle setting there is even more freedom in the choice of a complementary subbundle H.
 
  • #20
Matterwave
Science Advisor
Gold Member
3,966
327
Ah, that makes things a lot clearer. Thanks.

EDIT: Just out of curiosity, are you a mathematician? Or a physicist who learned a lot of math? hehe...
 
Last edited:
  • #21
lavinia
Science Advisor
Gold Member
3,252
637
As a follow up, frame bundles, and principle bundles in general, are not vector bundles right? Since GL(n,R) doesn't seem to form a vector space. I'm a little confused because this book I'm reading is discussing the "distribution on P of vertical vectors...", where P is a principle bundle, but it seems to me that a principle bundle is not a vector bundle so where are the vectors?

The vertical vectors are tangent to the manifold of frames in each fiber. They are the kernel of the differential of the bundle projection map.

Horizontal vectors are tangent to the bundle of frames. They vary with the connection and are not in the kernel of the projection.
 
  • #22
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
Ah, that makes things a lot clearer. Thanks.

EDIT: Just out of curiosity, are you a mathematician? Or a physicist who learned a lot of math? hehe...

I am a grad student in math, but my undergrad degree is in physics. What about yourself? I think you said you are a physics student, but what are you doing specifically? What is your motivation for learning about all this bundle nonsense? :)
 
  • #23
Matterwave
Science Advisor
Gold Member
3,966
327
The book I'm using defines parallel transport along a curve c(t) in M of a vector in an associated vector bundle (taken to be TM for simplicity) as follows. Given the curve c(t) in M, horizontally lift this curve into the frame bundle giving you a curve c'(t) in the frame bundle such that c'(0)=b, where projb=c(0). This curve c'(t) gives you the parallel translate of a the point b along the curve c(t), and gives you, at each point, the parallel translated basis vectors for our associated tangent bundle {f(t)}. The parallel transport of a vector in the tangent bundle along this curve c(t) is then basically to keep the components of our vector constant as we change our basis vectors so that they are parallel transported. I.e. v(t)=sum(v(0)f(t)) where v(t) is the parallel transported vector, and v(0) are the components of this vector as t=0.

This construction makes sense to me. In essence, I am just parallel transporting my basis vectors using this connexion H on the frame bundle, and that gives me a notion of parallel transporting my vectors in TM by keeping their components constant since my basis vectors are parallel. This means that my connexion H on my frame bundle induces a connexion H' (equiv to a law of parallel transport) on my tangent bundle.

My question is, is there some (not ridiculously difficult) way to link this "new" construction of parallel transport, etc., with the "regular" construction I'm used to in the sense of a covariant derivative? I.e. is there some way to pinpoint which H I should choose, if I have to choose, i.e. on a Riemannian manifold the unique law of parallel transport that preserves inner products and has no torsion? This should pinpoint for me a unique distribution H in my frame bundle right? But how do I know which H?

EDIT: I have an undergrad degree in Astrophysics and Economics, and am a graduate student in physics. I'm learning this mostly for my own enjoyment because I have a lot of interest in differential geometry, but also because I want a clear mathematical understanding of the concepts I use in general relativity and quantum field theory for connections, etc. =]
 
  • #24
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
You can look at Chris Wendl's remarkably enlightening lecture notes on bundles (see his website). Particularly, Theorem 3.38 exhibits the link between connexions on the frame bundle and the corresponding connexions in the associated vector bundle.

here:http://www.homepages.ucl.ac.uk/~ucahcwe/connections.html
 
  • #25
Matterwave
Science Advisor
Gold Member
3,966
327
Ok, I'll take a look thanks =]
 

Related Threads on Frame bundle

Replies
3
Views
1K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
1K
Replies
0
Views
4K
  • Last Post
Replies
1
Views
1K
Replies
5
Views
7K
  • Last Post
Replies
2
Views
2K
  • Last Post
2
Replies
35
Views
7K
Top