Register to reply 
Lie vs. covariant derivative 
Share this thread: 
#1
Jan507, 09:48 PM

P: 23

Is there any relationship between the Lie ([itex]\pounds[/itex]) and covariant derivative ([itex]\nabla[/itex])?
Say I have 2 vector fields V, W and a metric g, the Lie and covariant derivative of W along V are: [tex]\pounds_{V}W = [V,W][/tex] [tex]V^\alpha \nabla_\alpha W^\mu = V^\alpha \partial_\alpha W^\mu + V^\alpha \Gamma^\mu_{\alpha \nu} W^\nu[/tex] which appear rather different. But conceptually I thought both derivatives help us to define what parallel transporting a vector in a general manifold means? Is there a good place to read about such issues? Thanks!! 


#2
Jan607, 12:47 PM

P: 302

To take covariant derivatives you need a metric structure on your manifold, which is not needed when taking Lie derivatives.
I like Schutz book on diffgeometry. 


#3
Jan607, 01:35 PM

P: 218

For example, the simplest possible derivative operator on a manifold is the coordinate partial derivative [itex]\partial/\partial x^i[/itex]. In order to construct this derivative all one needs is a coordinate chart in an open neighbourhood of some point. At the next level of complexity is the Lie derivative. Since the Lie derivative of, for example, one vector field along another is simply equal to their Lie bracket you need to have both a coordinate chart and some means to define the idea of the 'flow' of a vector field. The generalization to Lie derivatives of higher order tensors along the flow of a vector field is then a straightforward generalization of this idea. At an even higher level of complexity is the idea of the exterior derivative. Since this acts on differential forms, one needs to have not only a coordinate chart, but also a definition of the vector space of differential forms at a point and, at a further level of generalization, a means to define the space of differential [itex]p[/itex]forms over a manifold. Finally, one arrives at the covariant derivative. As stated above, one needs a metric structure on the manifold in order to define the covariant derivative (depending on your point of view and your upbringing, you may prefer to speak of the need to have a linear connection instead of a metric structure; these are, however, equivalent requirements). 


#4
Jan607, 02:05 PM

Emeritus
Sci Advisor
PF Gold
P: 16,092

Lie vs. covariant derivative



#5
Jan607, 02:36 PM

Sci Advisor
P: 2,340

Hi, Wandering,
[tex] {\mathcal L}_{\vec{X}} \vec{Y} = \left[ \vec{X}, \vec{Y} \right] = \nabla_{\vec{X}} \vec{Y}  \nabla_{\vec{Y}} \vec{X} [/tex] (In differential geometry books, you'll see this mentioned as one of the definining properties of a Riemannian connection [itex]\nabla[/itex].) Following are some elaborations on what coalquay told you: [itex] \vec{W} = W^x\, \partial_x + W^y \, \partial_y + W^z \, \partial_z [/itex] where [itex]W^x, \; W^y, \; W^z[/itex] are functions and where [itex]x, \, y, \, z[/itex] are Cartesian coordinates. Differential geometry is, if you like, very broadly speaking the study of rates of change on general smooth manifolds. Note surprisingly, derivatives of various kinds occur everywhere in this subject! And since manifolds occur everywhere in modern physics, this means that derivatives of various kinds occur everywhere in physics! Here's a short list off the top of my head: 1. Darboux derivatives (act on maps between manifolds), 2. Vector fields (act on functions), 3. Lie derivatives (wrt some vector field; act on vector fields, or even on tensor fields), 4. Exterior derivatives (act on exterior forms), 5. Covariant derivatives (wrt some vector field; act on vector fields, or even on tensor fields). Exterior forms also have a differential character, e.g. the exterior derivative of a function is a oneform dual to the gradient from undergraduate vector calculus. As coalquay said, the notion of levels of structure is crucial here: Riemannian manifolds are defined by adding additional "geometric structure" to smooth manifolds, and so on. There are various relations between these which are important. In particular, if [itex]\omega[/itex] is a oneform, then [itex]d\omega[/itex] is a twoform which can be defined by giving its value on a pair of vector fields: [tex] d\omega \left( \vec{X}, \vec{Y} \right) = \vec{X} \left( \omega \left( \vec{Y} \right) \right)  \vec{Y} \, \left( \omega \left( \vec{X} \right) \right)  \omega \left( \left[ \vec{X},\vec{Y} \right] \right) [/tex] In the case of leftinvariant vector fields on a Lie group, we obtain a very simple relationship: [tex] \nabla_{\vec{X}} \vec{Y} = 1/2 \, {\mathcal L}_{\vec{X}} \vec{Y} [/tex] Going back to the Lie derivative, this has to do with a certain kind of asymmetry in the covariant derivative, between the vector field doing the Lie dragging and the vector field which is being dragged. One could also ask about possible failure of covariant derivatives to commute, and then (by definition) [tex]R \left( \vec{X}, \vec{Y}; \vec{Z}) = \left( \nabla_{\vec{X}} \nabla_{\vec{Y}}  \nabla_{\vec{Y}} \nabla_{\vec{X}}  \nabla_{\left[ \vec{X}, \vec{Y} \right]} \right) \, \vec{Z} [/tex] where [itex]R[/itex] is the Riemann curvature tensor, and where in the equation above, both sides define the same vector field. Here, the combination [tex] \nabla_{\vec{X}} \nabla_{\vec{Y}}  \nabla_{\vec{Y}} \nabla_{\vec{X}}  \nabla_{\left[ \vec{X}, \vec{Y} \right]} [/tex] is sometimes called the curvature operator. The commutator or Lie bracket is needed, in general, in order to "close up the quadrilateral"; this bracket vanishes if [itex]\vec{X}, \, \vec{Y}[/itex] are two of the coordinate vector fields in some chart. Nakahara, Geometry, Topology, and Physics, IOP, 1990. I'd consider this too sketchy to meet your needs. Frankel should be much better for you, IMO. Widely used differential geometry textbooks include: Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, 2nd Ed., Academic Press, 1986. Dubrovin, Fomenko, Novikov, Modern Geometry Methods and Applications (two volumes), 2nd Ed., Springer, 1992. This thread should probably be moved to the differential geometry board, BTW, since I think this is really more about mathematics than about gtr. All of the above is useful in areas of physics far removed from gravitation physics. 


#6
Jan807, 10:27 PM

Sci Advisor
P: 2,340

Good grief, I forgot to mention the torsion tensor at the same time that I mentioned the Riemann tensor:
[tex] T \left( \vec{X}, \vec{Y} \right) = \nabla_{\vec{X}} \vec{Y}  \nabla_{\vec{Y}} \vec{X}  \left[ \vec{X}, \vec{Y} \right] [/tex] The curvature and torsion tensors defined in terms of vector fields as above are related to slightly more abstract notions of curvature and torsion twoforms which are defined for any affine connection. For a general affine connection, both the curvature and torsion might be nonvanishing. For a "LeviCivita connection" (really due to Christoffel; it is probably best to think of this notion as the notion of a "(semi)Riemannian connection"), the curvature is generally nonzero but the torsion vanishes. (Which is why, in the previous post, I mentioned that I was using a LeviCivita connection.) For a "Weitzenboeck connection" (used in teleparallel theories of gravitation), the torsion is generally nonzero but the curvature vanishes. In gauge theories, in the first case the connection plays the role of a "potential" and the curvature plays the role of a "field strength". This is a solid and very useful analogy, but from other points of view, or in other contexts, it can also be somewhat misleading, as for example in discussing gravitoelectromagnetism (GEM). 


#7
Jan2207, 03:16 PM

P: 23

Thanks for the replies so far. I have T. Frankel's Geometry of Physics, and will be looking at it in due time.
I'd like to ask a more specific question regarding this Lie vs. covariant derivatives. Say I have 2 vector fields V, W and a metric g. I also have the integral curve of V passing through some point P; i.e. there is a parameter [itex]\lambda[/itex] such that [itex]dX^\mu/d\lambda\vert_p = V[p][/itex]. Suppose I wish to find the components of W some parameter [itex]\xi[/itex] down from P along the integral curve of V. Do I do [tex] \exp\left[\xi V^\alpha \nabla_\alpha\right] W^\beta [/tex] or do I do [tex] \left( \exp\left[\xi \pounds_V\right] W\right)^\beta\? [/tex] and how are these related, if at all? 


#8
Mar1207, 11:16 PM

P: 20

I have a related question:
I was not happy with most physics books' implicit definition of a covariant derivative so I started looking at lifts of curves in vector bundles... which became associated to principal fibre bundles (because Morita taught me that one may not have the lift of a curve defined all the way to the fibre over the endpoint of the curve unless the fibre is compact)... which took me into Lie groups and algebras... and Adjoint (and adjoint) representations... And now I'm looking for the path from a connection form in a principal fibre bundle back down to the Christoffel symbols defined on the associated vector bundle which is compatible with the metric. Oh how I wish I had just listened to Wald and his algebraic argument. Is there any book (or books) that do this without too much more pain? Much thanks, ZM 


#9
Jul2107, 11:02 PM

P: 42

The definiteion of connection [tex]\nabla[/tex] does not require a metric structure. what is the relationship between a connection, covariant derivative and Lie derivative? 


#10
Dec611, 09:01 AM

P: 2

It's been half a decade since anyone's posted on this thread, so I don't know if it's appropriate for me to. But this seems to be the goto thread for Lie vs. covariant for everyone at pf and even across the Web. So, since I'm struggling with trying to understand these issues myself, I hope it's alright if I ask some questions I still have about some of these posts. Maybe if a physicist helps me, we can improve the thread even more for all those people who are linked here.
Note, in fact, that what is needed was explicitly described as structure. Recall that first bit: Finally: 


Register to reply 
Related Discussions  
Covariant derivative  Differential Geometry  13  
Covariant derivative  Advanced Physics Homework  2  
Covariant derivative  Advanced Physics Homework  3  
Covariant derivative  Differential Geometry  12  
Intuitively what's the difference between Lie Derivative and Covariant Derivative?  Differential Geometry  3 