Importance of Lie algebra in differential geometry

In summary, the Lie bracket, when thought of as a Lie derivative of vector fields, measures the amount by which these operators do not commute. It can also be interpreted as the "closer of parallelograms" for two vector fields. Integral curves of vector fields can be thought of as the curves that are tangent to the vector field at every point. The curvature of a manifold is additional structure that is not present in the differential structure, and can only be defined with a connection. The structure constants for a holonomic basis can be related to the Christoffel symbols when using the Levi-Civita connection.
  • #1
ianhoolihan
145
0
Hi all,

I've been wondering about this for some time. While I am only familiar with the basics of differential geometry, I have come across the Lie bracket commutator in a few places.

Firstly, what is the intuitive explanation of the Lie bracket [X,Y] of two vectors, if there is one? In terms of vectors being differential linear operators along specific curves?

Another specific example I came across is the invariant formula for the exterior derivative: http://en.wikipedia.org/wiki/Exterior_derivative#Invariant_formula

Is the Lie bracket here just a useful notation, or something deeper? I'm assuming deeper, so could someone explain why? What does it mean to have a different algebra (structure constants)? Do they relate to the curvature of the space?

Any other general comments on how the Lie bracket is related to differential geometry would be much appreciated!

Ianhoolihan
 
Physics news on Phys.org
  • #2
Hi,
this is discussed in Lee's book on smooth manifolds. Get hold of it if you can.

He says that lie bracket is geometricaly interpreted as lie derivative, which is derivation of one vector field by another, in similar way you would have directional derivation of vector field by a single vector in R^n.
 
  • #4
Thanks Alesak,

The link was useful, and I will look further into Lee's book.

Ianhoolihan
 
  • #5
As you said yourself, a vector is a differential operator, and so the Lie bracket, when thought of in these terms, is simply a measure of the amount by which these operators don't commute.

If you consider vectors to be tangent vectors to curves, then the Lie bracket can be thought of infinitesimally as the "closer of parallelograms". Basically, two vector fields will have non-zero Lie bracket if their integral curves don't mesh along lines of constant affine parameter. I.e. if you move along the integral curve of one vector field, you're not moving along the constant affine parameter of the other vector field like you would if you were moving along coordinate lines (which is why coordinate bases have 0 Lie bracket).

If I start at point A, and move a "distance" epsilon along a vector field X (where distance is measured simply by affine parameter), and then I move along the vector field Y a distance epsilon, and then I move in the opposite direction a distance epsilon along X, and move in the opposite direction a distance epsilon along Y, then I find that I don't get back to where I started in general. In the infinitesimal case, one can think of the Lie bracket as the vector (arrow) pointing from where you ended up to where you started (or the other way around, I can't remember the sign convention).
 
  • Like
Likes VEReade
  • #6
Matterwave said:
If you consider vectors to be tangent vectors to curves, then the Lie bracket can be thought of infinitesimally as the "closer of parallelograms". Basically, two vector fields will have non-zero Lie bracket if their integral curves don't mesh along lines of constant affine parameter. I.e. if you move along the integral curve of one vector field, you're not moving along the constant affine parameter of the other vector field like you would if you were moving along coordinate lines (which is why coordinate bases have 0 Lie bracket).

This was what I was thinking. I was thinking curves in terms of the one whose tangent is associated with the vector. Is this what you mean by an "integral curve"? (i.e. I started with a curve, to get vector. You start with vector to get the curve --- integrate to find a curve that satisfies the vector). I'm not clear on what you mean by "mesh", except maybe in the sense of your next quote, i.e. the x,y coordinates of a plane "mesh" in the sense that going along x then y by affine epsilon each reaches the same point by doing the same as y then x.

Matterwave said:
If I start at point A, and move a "distance" epsilon along a vector field X (where distance is measured simply by affine parameter), and then I move along the vector field Y a distance epsilon, and then I move in the opposite direction a distance epsilon along X, and move in the opposite direction a distance epsilon along Y, then I find that I don't get back to where I started in general. In the infinitesimal case, one can think of the Lie bracket as the vector (arrow) pointing from where you ended up to where you started (or the other way around, I can't remember the sign convention).

Cool bananas, I understand that. This business of going round a parallelogram makes me think of curl, but rethinking, probably not.

The Lie derivative then (I'm assuming that is what you've just described by "Lie bracket") can be operated on any vectors. But, if they are the tangent vectors to coordinate curves, does one then get some sense of curvature of the manifold? I.e. [itex][e_a,e_b]={f_{ab}}^c e_c[/itex] gives the structure constants. Can these be related somehow to the curvature? (On second thought, if the manifold itself has curvature, should it matter whether or not I use a coordinate curve or not?).

Thanks Matterwave for your help. I've actually been reading up on the questions you've asked and the responses from Ben Niehoff --- good questions, good answers.

Ianhoolihan
 
  • #7
By integral curves, I mean the curves which are tangent to your vector field at every point. Since vector fields are differential operators, one can integrate them to obtain integral curves.

By mesh, I meant the integral curves of two different vector fields intersecting each other.

The curvature of a manifold is additional structure that isn't present in the mere differential structure of a manifold. You can't get a sense of curvature until you define a connection.
 
  • #8
I should note that if you are using the Levi-Civita connection, then the structure constants do appear in the Christoffel symbols. But that has more to do with what type of basis you're using than anything else. The structure constants for a holonomic basis are 0.
 
  • #9
Matterwave said:
I should note that if you are using the Levi-Civita connection, then the structure constants do appear in the Christoffel symbols. But that has more to do with what type of basis you're using than anything else. The structure constants for a holonomic basis are 0.

Right you are. I still feel something deeper is there, to do with curvature, but I don't know enough at this stage.

Another thing: it is always talked about how Lie algebras are a way of expressing the continuous symmetries of objects. How does this work? For rotations for example, does [itex][J_a,J_b]=i{\epsilon_{ab}}^c J_c[/itex] express all there is to know about rotational symmetry?

Ianhoolihan
 
  • #10
No, the Lie algebra gives you some of the structure, but not all of it. It won't give you, for example, the topological structure of whatever Lie group you are looking at.

You can think of Lie Algebras as the generator of infinitesimal group actions, which is how Lie himself thought about them. The Lie algebra, if you will, are the "elements of the Lie group infinitesimally close to the identity".

If you want to express the full symmetry of the problem, you need to use the Lie group, but under many circumstances, using the Lie algebra is "good enough". Since Lie algebras are linear vector spaces, they are a lot easier to work with than a general Lie group which may have non-trivial topology.
 
  • #11
ianhoolihan said:
Hi all,
Any other general comments on how the Lie bracket is related to differential geometry would be much appreciated!

Ianhoolihan

The Lie bracket of vector fields is defined on a differentiable manifold. The definition does not use an inner product and so does not a priori contain any geometric information.

But when there is a Levi-Civita connection on the manifold, then the Lie bracket expresses geometric relationships.

For instance, the Lie bracket expresses the failure of the covariant derivative to commute. This is the equation,

[itex]\nabla_{X}[/itex]Y - [itex]\nabla_{Y}[/itex]X = [X,Y]

For a surface, the Riemannian geometry can be expressed in terms of a Lie algebra on the tangent space to the bundle of unit vectors - the so called tangent circle bundle.

On the tangent circle bundle, there are three global vector fields,

V,E[itex]_{1}[/itex] and E[itex]_{2}[/itex]

The E's are horizontal and V is vertical. V is the derivative of the action of the rotation group on the fiber circles and the E's are defined in terms of the Riemannian metric.

These three vector fields form a Lie algebra. The relations in this algebra are

[V,E[itex]_{1}[/itex]] = E[itex]_{2}[/itex]

[V,E[itex]_{2}[/itex]] = -E[itex]_{1}[/itex]

[E[itex]_{1}[/itex],E[itex]_{2}[/itex]] = K[itex]\circ[/itex][itex]\pi[/itex]

Here, K is the Gauss curvature and [itex]\pi[/itex] is the projection map onto the surface.

These relations are dual to the usual structure equations expressed in terms of differential forms.

Interestingly, the last equation says that the Gauss curvature measures the failure of the horizontal distribution to be involutive.Here is a problem for you that might help you get an intuition of the geometric meaning of the Lie bracket.

let (s,t) be a positively oriented orthonormal frame and define the 1 forms

w[itex]_{1}[/itex](v) = <s,v> and w[itex]_{2}[/itex](v) = <t,v> where <,> is the Riemannian metric.

Find a formula that expresses the exterior derivatives of the w's in terms of the Lie bracket of s and t.

Use this to compute the length of the covariant derivative of s with respect to itself.
What does this mean about the Lie bracket, [s,t], when s is tangent to a geodesic?
 
Last edited:
  • #12
lavinia said:
The Lie bracket of vector fields is defined on a differentiable manifold. The definition does not use an inner product and so does not a priori contain any geometric information.

But when there is a Levi-Civita connection on the manifold, then the Lie bracket expresses geometric relationships.

For instance, the Lie bracket expresses the failure of the covariant derivative to commute. This is the equation,

[itex]\nabla_{X}[/itex]Y - [itex]\nabla_{Y}[/itex]X = [X,Y]

For a surface, the Riemannian geometry can be expressed in terms of a Lie algebra on the tangent space to the bundle of unit vectors - the so called tangent circle bundle.

On the tangent circle bundle, there are three global vector fields,

V,E[itex]_{1}[/itex] and E[itex]_{2}[/itex]

The E's are horizontal and V is vertical. V is the derivative of the action of the rotation group on the fiber circles and the E's are defined in terms of the Riemannian metric.

These three vector fields form a Lie algebra. The relations in this algebra are

[V,E[itex]_{1}[/itex]] = E[itex]_{2}[/itex]

[V,E[itex]_{2}[/itex]] = -E[itex]_{1}[/itex]

[E[itex]_{1}[/itex],E[itex]_{2}[/itex]] = K[itex]\circ[/itex][itex]\pi[/itex]

Here, K is the Gauss curvature and [itex]\pi[/itex] is the projection map onto the surface.

These relations are dual to the usual structure equations expressed in terms of differential forms.

Interestingly, the last equation says that the Gauss curvature measures the failure of the horizontal distribution to be involutive.

Ah, that was well beyond me, but I'm sure it'd benefit someone else.

Here is a problem for you that might help you get an intuition of the geometric meaning of the Lie bracket.

let (s,t) be a positively oriented orthonormal frame and define the 1 forms

w[itex]_{1}[/itex](v) = <s,v> and w[itex]_{2}[/itex](v) = <t,v> where <,> is the Riemannian metric.

Find a formula that expresses the exterior derivatives of the w's in terms of the Lie bracket of s and t.

Use this to compute the length of the covariant derivative of s with respect to itself.
What does this mean about the Lie bracket, [s,t], when s is tangent to a geodesic?

OK, first problem: doing the exterior derivative. http://en.wikipedia.org/wiki/Exterior_derivative#Exterior_derivative_in_local_coordinates doesn't seem to work, as aren't these one forms the basis one forms, so by this Wikipedia definition, the answer would be zero?

But then, if you look at the next section http://en.wikipedia.org/wiki/Exterior_derivative#Invariant_formula, it's nonzero(?) I realize I must be wrong somewhere (probably that I need a coordinate basis above), but I'm not sure why, so I'd appreciate someone reconciling the two, and showing what's right.

I do feel a little stupid, but such is life.
 
  • #13
ianhoolihan said:
Ah, that was well beyond me, but I'm sure it'd benefit someone else.
OK, first problem: doing the exterior derivative. http://en.wikipedia.org/wiki/Exterior_derivative#Exterior_derivative_in_local_coordinates doesn't seem to work, as aren't these one forms the basis one forms, so by this Wikipedia definition, the answer would be zero?

But then, if you look at the next section http://en.wikipedia.org/wiki/Exterior_derivative#Invariant_formula, it's nonzero(?) I realize I must be wrong somewhere (probably that I need a coordinate basis above), but I'm not sure why, so I'd appreciate someone reconciling the two, and showing what's right.

I do feel a little stupid, but such is life.

I purposefully gave you the difficult answer hoping that you would see that the relationship of Lie brackets and Lie algebras to differential geometry is complicated but also profound. There really was no simple answer to your very good question.For a levi_civita connection the entire geometry on a surface can be expressed in term of a Lie algebra. And the answer to your question as to whether the curvature was related to the Lie derivative is yes.

I strongly recommend reading Singer and Thorpe's book on elementary topology and geometry. It covers this Lie algebra approach to the Riemannian geometry of surfaces. It is just a great book and is written for beginners.

For the problem I suggested there is a formula for the exterior derivative of a 1 form that will help.

dw(x,y) = x.w(y) - y.w(x) - w([x,y]) ( i may be off by a factor of 1/2 but no matter)

If you do not know this formula, try to prove it.
 
  • #14
lavinia said:
I purposefully gave you the difficult answer hoping that you would see that the relationship of Lie brackets and Lie algebras to differential geometry is complicated but also profound. There really was no simple answer to your very good question.


For a levi_civita connection the entire geometry on a surface can be expressed in term of a Lie algebra. And the answer to your question as to whether the curvature was related to the Lie derivative is yes.

That's what I want to here! Now I just need to fill in the details...

lavinia said:
I strongly recommend reading Singer and Thorpe's book on elementary topology and geometry. It covers this Lie algebra approach to the Riemannian geometry of surfaces. It is just a great book and is written for beginners.

...and this is the sort of resource I am looking for.

lavinia said:
For the problem I suggested there is a formula for the exterior derivative of a 1 form that will help.

dw(x,y) = x.w(y) - y.w(x) - w([x,y]) ( i may be off by a factor of 1/2 but no matter)

If you do not know this formula, try to prove it.

Yes, that formula was actually the one in the second link. I've actually been trying to prove (without knowing it) the more general invariant formula for any p-form. Does the Singer and Thorpe book cover this?

As for your problem: I didn't know how to use the above formula in the covariant derivative --- I just get some nasty coordinate thing. What (non coordinate?) formula would you prod me toward in this case?

Cheers
 
  • #15
ianhoolihan said:
Yes, that formula was actually the one in the second link. I've actually been trying to prove (without knowing it) the more general invariant formula for any p-form. Does the Singer and Thorpe book cover this?

Yes but it is a standard formula. Any book on differentiable manifolds should have it.
As for your problem: I didn't know how to use the above formula in the covariant derivative --- I just get some nasty coordinate thing. What (non coordinate?) formula would you prod me toward in this case?

Cheers

This part requires learning the structural equations of Riemannian Geometry on a surface.

i leave that up to you.

Note that dw1(s,t) = - w1([s,t]).
 
  • #16
lavinia said:
This part requires learning the structural equations of Riemannian Geometry on a surface.

i leave that up to you.

Note that dw1(s,t) = - w1([s,t]).

In that case, would you mind giving a brief answer to your question so that I know the answer when I get it (and don't have to revive thread) and for completeness of other readers.

Cheers
 
  • #17
OT, yesterday I got this book from library and it looks very good. It avoids differential geometry, but perhaps it is a plus.
 

1) What is Lie algebra and how does it relate to differential geometry?

Lie algebra is a mathematical structure that studies the properties of symmetry in a given space. It is an important tool in differential geometry because it helps to describe the geometric properties of a space and the transformations that preserve those properties.

2) How does Lie algebra help in understanding the geometry of a space?

Lie algebra provides a way to analyze and classify the symmetries of a space, which in turn reveals important geometric information about the space. It also allows for the study of how different symmetries interact with each other and how they affect the geometry of the space.

3) What are the practical applications of Lie algebra in differential geometry?

Lie algebra has numerous applications in differential geometry, including in the study of curves and surfaces, group theory, and the theory of connections. It also has applications in physics, particularly in the fields of general relativity and quantum mechanics.

4) Can you provide an example of how Lie algebra is used in differential geometry?

One example is the use of Lie algebra in the study of Lie groups, which are groups that have both a smooth manifold structure and a group structure. Lie algebra allows for the classification and analysis of these groups, which are important in the study of geometric objects such as spheres and projective spaces.

5) How does Lie algebra contribute to the understanding of curvature in differential geometry?

Lie algebra plays a crucial role in the study of curvature in differential geometry. It provides a way to describe and quantify the curvature of a space, as well as the changes in curvature under different transformations. This is important in understanding the global properties of a space, such as its topology and its behavior under different transformations.

Similar threads

  • Differential Geometry
Replies
5
Views
2K
  • Differential Geometry
Replies
1
Views
2K
Replies
7
Views
2K
  • Science and Math Textbooks
Replies
6
Views
986
  • Differential Geometry
Replies
10
Views
3K
  • Special and General Relativity
Replies
10
Views
1K
  • Science and Math Textbooks
Replies
2
Views
2K
  • Differential Geometry
Replies
5
Views
3K
  • Differential Geometry
Replies
13
Views
4K
  • Differential Geometry
Replies
9
Views
2K
Back
Top