Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In differential geometry, there are several notions of differentiation, namely:

  • Exterior Derivative, $d$
  • Covariant Derivative/Connection, $\nabla$
  • Lie Derivative, $\mathcal{L}$.

I have listed them in order of appearance in my education/in descending order of my understanding of them. Note, there may be others that I am yet to encounter.

Conceptually, I am not sure how these three notions fit together. Looking at their definitions, I can see that there is even some overlap between the collection of objects they can each act on. I am trying to get my head around why there are (at least) three different notions of differentiation. I suppose my confusion can be summarised by the following question.

What does each one do that the other two can't?

I don't just mean which objects can they act on that the other two can't, I would like a deeper explanation (if it exists, which I believe it does). In terms of their geometric intuition/interpretation, does it make sense that we need these different notions?


Note, I have put the reference request tag on this question because I would be interested to find some resources which have a discussion of these notions concurrently, as opposed to being presented as individual concepts.

share|improve this question
2  
As a quick note, Lie derivative and exterior derivative are related, see en.wikipedia.org/wiki/Lie_coalgebra –  Alexei Averchenko Oct 8 '12 at 15:32
    
@AlexeiAverchenko I would appreciate if you expanded your comment in a sort of answer, if you can. This could be interesting. –  Yuri Vyatkin Oct 9 '12 at 7:56
4  
Just wait until you start working in G bundles and need to deal with the exterior covariant derivative :-p. –  Willie Wong Oct 9 '12 at 8:47
    
@WillieWong I work with vector bundles and have to deal frequently with the exterior covariant derivatives. Secretly, they are in the question, just one needs to expand the notions appropriately –  Yuri Vyatkin Oct 9 '12 at 9:05
    
@WillieWong: Isn't the extension of a connection to a map on $p$-forms with values in the vector bundle an example of an exterior covariant derivative? –  Michael Albanese Dec 22 '12 at 0:43
show 1 more comment

5 Answers

up vote 15 down vote accepted

Short answer:

  • the exterior derivative acts on differential forms;
  • the Lie derivative acts on any tensors and some other geometric objects (they have to be natural, e.g. a connection, see the paper of P. Petersen below);
  • both the exterior and the Lie derivatives don't require any additional geometric structure: they rely on the differential structure of the manifold;
  • the covariant derivative needs a choice of connection which sometimes (e.g. in a presence of a semi-Riemannian metric) can be made canonically;
  • there are relationships between these derivatives.

For a longer answer I would suggest the following selection of papers

  1. T. J. Willmore, The definition of Lie derivative
  2. R. Palais, A definition of the exterior derivative in terms of Lie derivatives
  3. P. Petersen, The Ricci and Bianchi Identities

Of course, there is a lot more to say.


Edit. I decided to extend my answer as I believe that there are some essential points which have not been discussed yet.

  1. An encyclopedic reference that treats all these derivatives concurrently at a modern level of generality is
    I.Kolar, P.W. Michor, J. Slovak, Natural Operations in Differential Geometry (Springer 1993), freely available online here.
    I would not even dare to summarize this resource since it has an abysmal deepness and all-round completeness, and indeed covers all the parts of the original question.
    Moreover, I believe that the bibliography list of this book contains almost any further relevant reference.
  2. As it has been already mentioned by many in this discussion, these operations are intimately related. It cannot be overemphasized that the most important feature that they all share is naturality (they commute with pullback, and this, in particular, makes them coordinate-free).
    See KMS cited above and its bibliography, and specifically the following references may be useful:
    R. Palais, Natural Operations on Differential Forms, e.g. here or here.
    C.L. Terng, Natural Vector Bundles and Natural Differential Operators, e.g. here
  3. It turns out that their naturality forces them to be unique if we impose on them some basic properties, such as $d \circ d = 0$ for the exterior derivative. One way to prove that and further references could be found in:
    D. Krupka, V. Mikolasova, On the uniqueness of some differential invariants: $d$, $[,]$, $\nabla $, see here.
    Also it is interesting that the Bianchi identities for the connection follow from the naturality and the property $d \circ d = 0$ for the exterior derivative, see
    Ph. Delanoe, On Bianchi identities, e.g. here.
  4. The reference list that I produce here is too far from being complete in any sense. I only would add one classical treatment that I personally used to comprehend some of the fundamental notions related to Lie derivatives (in particular, the Lie derivative of a connection!):
    K. Yano, The Theory Of Lie Derivatives And Its Applications, freely available here

Indeed, my comments are speculative and sparse. I wish if this question were answered by someone like P. Michor, to be honest :-)

share|improve this answer
3  
Just to add: they all agree on scalar functions, and the reverse of Palais' construction (the definition of Lie derivatives in terms of exterior derivative) is known as Cartan's formula. –  Willie Wong Oct 9 '12 at 8:43
    
@WillieWong Thank you, this is really a good point. –  Yuri Vyatkin Oct 9 '12 at 9:01
    
Thanks for all of these references. I wish I could have split the bounty between Jesse and yourself. Instead I awarded him the bounty and have accepted your answer. –  Michael Albanese Dec 25 '12 at 5:27
add comment

Since I don't have the time to give a super-detailed answer, allow me to just summarize some things that others have said, adding some additional points in the process. Hopefully this will be at least somewhat helpful.

Basic differences:

  • The exterior derivative and Lie derivative are defined in terms of the structure of a smooth manifold. By contrast, the choice of a connection is an additional structure.
  • All three agree on smooth functions. However, they generalize differently:

    • The exterior derivative takes differential forms as inputs.
    • Connections take sections of a vector bundle (such as tensor fields) as inputs, and differentiation is done with respect to a vector field.
    • The Lie derivative takes tensor fields as inputs, and differentiation is done with respect to a vector field.

Exterior derivative: The main feature here is $d^2 = 0$.

To me, the exterior derivative is the differentation operator we need for Stokes' Theorem to make sense. The $d^2 = 0$ property is dual to saying that "the boundary of a boundary is empty," and is the very thing that makes de Rham cohomology work. I sometimes think about $d^2 = 0$ as describing the commutativity of second derivatives.

Connections: The main feature here is differentiation along curves.

A choice of connection allows us to define the derivative of a vector field (more generally, a section of a vector bundle) with respect to another vector field. From there, we can define the notion of a "covariant derivative" along curves.

Connections generalize the case of $\mathbb{R}^n$, where

$$\nabla_XY := X^i\frac{\partial Y}{\partial x^i}$$

Connections also let us define the concepts of "parallel transport" and "torsion." When a Riemannian metric is given, there is a canonical choice of connection (the Levi-Civita connection) which gives lots of geometric information. In particular, many classical formulas from the differential geometry of curves and surfaces can be phrased in terms of connections.

Lie derivative: The main feature here is the relationship with integral curves and flows, and the fact that $\mathscr{L}_XY = XY - YX$.

Like connections, the Lie derivative also defines a derivative of a vector field (more generally, tensor fields) with respect to another vector field. Intuitively, the Lie derivative $\mathscr{L}_XY$ is the instantaneous change of $Y$ along the integral curves defined by $X$. This intuition comes directly from the definition:

$$\mathscr{L}_XY|_p := \lim_{t \to 0}\frac{D\phi_{-t}(Y_{\phi_t(p)}) - Y_p}{t},$$ where $\phi$ is the flow of $X$.

However, unlike connections, Lie derivatives do not give a well-defined directional derivative of vector fields "along curves." The following problem from Lee's Riemannian Manifolds book illustrates this:

Problem 4-3: b) There exists a vector field on $\mathbb{R}^2$ that vanishes along the $x$-axis, but whose Lie derivative with respect to $\partial_1$ does not vanish on the $x$-axis.

Pretty much all of this can be found in Lee's "Smooth Manifolds" and "Riemannian Manifolds" books.

share|improve this answer
    
I do not think that "differentiation is done with respect to a vector field" demonstrates a difference: one can take the exterior derivative of an appropriate tensor field (differential form) with respect to a vector field, or even with respect to an appropriate tensor field, if one wishes. And conversely, one does not need to take the covariant derivative (with connection) with respect to a vector field, because it is defined point-wise, so can be viewed as mapping one tensor filed to another tensor field. –  Alexey Jun 7 '13 at 13:35
    
I have never heard of the concept of an exterior derivative of a tensor field with respect to an appropriate tensor field. That sounds fascinating. Could you provide a link, reference, or definition? Your "conversely" point is a good one, though. I may consider editing to include a perspective on Ehresmann connections. And of course, you're welcome to write your own answer. –  Jesse Madnick Jun 7 '13 at 20:56
    
I didn't mean anything deep, i just wanted to say that the differential form can be "contracted" with a vector field, for example using its first argument. –  Alexey Jun 7 '13 at 21:18
    
But maybe you are right, because after the contraction it wouldn't be a "differentiation" anymore. –  Alexey Jun 8 '13 at 6:27
add comment

Let me focus on the difference between Lie derivatives and covariant derivatives. Suppose I have a manifold with a connection $\nabla$ and a point $p$ in the manifold. Let $v$ be a vector field on $M$ and take $\xi \in T_pM$. The point to stress is that $\xi$ is not a vector field (although in practice it is often a vector field evaluated at $p$). We can then obtain $\nabla_{\xi}v \in T_pM$. Thus, covariant derivatives let you take directional derivatives of vector fields.

Lie derivatives of vector fields cannot quite be interpreted this way. The symbol "$\mathcal{L}_{\xi} v$" is not defined because $\xi$ is not a vector field. However, if we take a vector field $X$, we can think of $\mathcal{L}_{X} v$ (which is a new vector field) as the derivative of $v$ as we walk along the integral curves of $X$.

To understand the difference between these two ideas, consider working in coordinates. The Lie derivative will take the form $(\mathcal{L}_{X} v)^a=X^b \partial_b v^a-v^b \partial_b X^a$. The second term indicates that the first derivative of $X^\mu$ is involved when differentiating along flow lines. There is no sensible way to differentiate $v$ in the direction of a vector unless the vector is a vector field or you have additional structure that tells you how to connect nearby tangent spaces (a connection). (The only obvious guess would be $X^b \partial_b v^a$ which gives different vectors in different coordinate systems.)

share|improve this answer
add comment

A very short answer:

In finite dimensions and at least in characteristic 0, the equation $$\operatorname{d} \omega(x, y) = \omega(x) - \omega(y) - \omega([x, y])$$ allows you to define $[-,-]: V \wedge V \to V$ if you know $\operatorname{d}: V^* \to V^* \wedge V^*$ and vice versa.

Furthermore, you can prove that conditions $[[x, y], z] + [[y, z], x] + [[z, x], y] = 0$ and $d^2 = 0$ are equivalent under this correspondence.

Now, unfortunately this doesn't apply to infinite-dimensional case that is general Lie derivative and exterior derivative, and I don't know how relevant this is to general Lie derivative and exterior derivative, but it's very nice to know this relation at least in purely algebraic case.

https://en.wikipedia.org/wiki/Lie_coalgebra

share|improve this answer
add comment

1) The vector derivative, $\partial$

In geometric calculus, one deals in not just vector fields but multivector fields--fields that associated oriented planes, volumes, or other types of primitives to each point. These multivector fields are differentiated by an operator denoted $\partial$. It can act on multivector fields in either of two ways. On a multivector field $A(r)$, it can act as $\partial \wedge A$, which is the familiar exterior derivative. This increases the grades of all components of the field by one--vectors become planes, planes become volumes, and so on.

But there is another derivative, denoted $\partial \cdot A$, which goes by various names: interior derivative, codifferential, and so on. Both these notions of differentiation arise from $\partial$, however. It is, in my opinion, foolish that differential forms treats the $\partial \cdot$ operation as somehow only expressible in terms of $\partial \wedge$, however. To me (and in GC) they are on equal footing with one another.

2) The covariant derivative, $\nabla$

Now, introduce a global rotation field called $\underline R(a; r)$, which acts linearly on the vector $a$ and is a function of position $r$. For brevity, we'll just call this $\underline R(a)$ in most cases. We can, at our discretion, use or set this rotation field to our liking, perhaps because it is convenient, perhaps because it is necessary--you can regard it as inherent to the space if you like.

We can then look at the transformation of $A \mapsto A' = \underline R(A)$. This naturally changes the way we must differentiate. See that

$$a \cdot \partial A' = \underline R(a \cdot \partial A) + (a \cdot \dot \partial) \dot{\underline{R}}(A)$$

This is just a fancy product rule, with the overdot saying we differentiate only the linear operator, not its argument.

We define the covariant derivative to get rid of the messy second term on the right-hand side. That is,

$$a \cdot \nabla A' = \underline R(a \cdot \nabla A)$$

Introducing or changing the rotation field changes the covariant derivative. This gives a way to talk about differentiation regardless of the current rotation field $\underline R$. Changing the rotation field can be beneficial to alter the geometry of the space in a way that is convenient. Thus, the rotation field represents generalized, position-dependent rotational degrees of freedom to rotate fields at all points in space by varying amounts and orientations at will. The covariant derivative allows us to do this and still recover results that are independent of the choice of rotation field--of the choice of gauge.

3) The Lie derivative

In GC, the Lie derivative has no special symbol. Rather, it can be built from covariant derivatives. Consider two vector fields $A, B$. The Lie derivative is simply

$$\mathcal L_A B = A \cdot \nabla B - B \cdot \nabla A$$

I'm not as familiar with Lie derivatives, but I'm given to understand that if $B$ were transported along a "flow" generated by $A$, this quantity would measure how much $B$ maintains its value during the process.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.