## The Lie Bracket of Vector Fields

We know that any vector field can act as an endomorphism on the space of smooth functions on . What happens if we act by one vector field followed by another? To really make things explicit, let’s say that is a coordinate patch, so we can write

where is a coefficient function and measures how fast is changing as we increase the th coordinate function through . Now if we hit this with another vector field we find

At each point the field gives a vector , which acts as a derivation on the ring of smooth functions at . That is

Now, this is obviously an endomorphism on since it’s the composite of two endomorphisms. But it is *not* a vector field, since at a given point we don’t get a derivation of the ring of smooth functions at . Indeed, what happens if we give it the product of two functions?

We’ve got a bunch of terms left over at the end! But one thing is nice about it: the leftover terms are symmetric between and :

So what would happen if instead of using the regular composition product of these endomorphisms, we used the associated Lie bracket? We’d find

That is, the Lie bracket of and *is* another vector field! Indeed, let’s see what it looks like in coordinates:

where we can cancel off the two second partial derivatives because we’re assuming that is “smooth”, which in this case entails “has mixed second partial derivatives which commute” in any local coordinate system.

And so we might appropriately write

Of course, even where we don’t have local coordinates we can still write or and get a vector field. We may also find it useful to write down the value of this field at a point: . Indeed we can check that this behaves like a vector at :

And so the space of smooth vector fields on forms a Lie subalgebra of the Lie algebra of endomorphisms of the vector space .

[…] if intertwines and , as well as and , then intertwines and . But we’ve just seen that vector fields form a Lie algebra, and it would be nice if we could say the same for and . The catch is that we don’t just […]

Pingback by Maps Intertwining Vector Fields « The Unapologetic Mathematician | June 3, 2011 |

[…] a Lie group is a smooth manifold we know that the collection of vector fields form a Lie algebra. But this is a big, messy object because […]

Pingback by The Lie Algebra of a Lie Group « The Unapologetic Mathematician | June 8, 2011 |

[…] is, for any two vector fields the Lie derivative is actually the same as the bracket […]

Pingback by Calculating the Lie Derivative « The Unapologetic Mathematician | June 16, 2011 |

[…] and Flows Now, what does the Lie bracket of two vector fields really measure? We’ve gone through all this time defining and […]

Pingback by Brackets and Flows « The Unapologetic Mathematician | June 18, 2011 |

[…] actually seen this before. We identified the vectors at a point on a manifold with the derivations of the (real) algebra of […]

Pingback by Derivations « The Unapologetic Mathematician | August 10, 2012 |