- #1
RedX
- 970
- 3
When calculating the derivative of a vector field X at a point p of a smooth manifold M, one uses the Lie derivative, which gives the derivative of X in the direction of another vector field Y at the same point p of the manifold.
If the manifold is a Riemannian manifold (that is, equipped with a metric tensor), then there is a natural connection called the Levi-Civita connection that also tells you the derivative of a vector field X at a point p of a smooth manifold.
Do these two methods of calculating the derivative give the same result?
And why is the Lie derivative so complicated? It seems the reason is that you need to define a diffeomorphism f: M --> M (an active transformation) because doing so will induce a transformation between tangent spaces: f*: T(M) --> T(M), and to compare 2 vectors at different points you first need to bring one vector to the other through f* so that you can subtract them. This diffeomorphism f is provided by a "flow", which is induced by Y. So what is so special about a diffeomorphism generated by a vector field Y? Why not just use any diffeomorphism to define the derivative, and not necessarily one generated by a vector field?
Also, is there an easy way to see that a flow generated by a vector field is a diffeomorphism?
If the manifold is a Riemannian manifold (that is, equipped with a metric tensor), then there is a natural connection called the Levi-Civita connection that also tells you the derivative of a vector field X at a point p of a smooth manifold.
Do these two methods of calculating the derivative give the same result?
And why is the Lie derivative so complicated? It seems the reason is that you need to define a diffeomorphism f: M --> M (an active transformation) because doing so will induce a transformation between tangent spaces: f*: T(M) --> T(M), and to compare 2 vectors at different points you first need to bring one vector to the other through f* so that you can subtract them. This diffeomorphism f is provided by a "flow", which is induced by Y. So what is so special about a diffeomorphism generated by a vector field Y? Why not just use any diffeomorphism to define the derivative, and not necessarily one generated by a vector field?
Also, is there an easy way to see that a flow generated by a vector field is a diffeomorphism?