Covariant derivative vs. Lie derivative

In summary, the Lie derivative and the covariant derivative are both directional derivatives of a vector in a special case. However, the Lie derivative does not rely on a connection on the manifold, while the covariant derivative does. A connection can be thought of as a field of 2 planes on the unit circle bundle of the manifold, and the covariant derivative can be seen as a section of the tensor product of the vector bundle with the cotangent bundle. A connection always exists on a vector bundle over a smooth manifold, and this theorem does not require a Riemannian metric. Even in connections that are not compatible with a Riemannian metric, curvature is still present. This theorem does not have a specific
  • #1
Quchen
13
0
Hey there,

For quite some time I've been wondering now whether there's a well-understandable difference between the Lie and the covariant derivative. Although they're defined in fundamentally different ways, they're both (in a special case, at least) standing for the directional derivative of a vector. However, the Lie derivative doesn't make any assumptions about whether there's a connection on the manifold or not.
So where's the difference in between the two derivatives, where's the structure of the manifold playing into what the result of the derivative will be?

With best regards,
Quchen
 
Physics news on Phys.org
  • #2
Lie derivative depends on the derivatives of the vector vector field along which you take it, the covariant derivative does not:

[tex]\nabla_{fX} = f\nabla_X [/tex]

for any function [tex]f[/tex]

Lie derivative does not have this nice property.
 
  • #3
Ah that makes sense. The vector the covariant derivative operates with respect to merely gives a direction on the manifold, whereas in the Lie derivative, the extension of the field is considered. What the metric/connection does is provide such an extension, but that extension is a property of the space, not a field defined on it ... correct?
 
  • #4
Well, I would not go that far as to attribute some property to "space" itself. This is the additional geometrical structure (connection in this case) that is being used here. The same "space" may carry a whole bunch of different connections. (but any two connections differ by a tensor, so one connection is enough).
 
  • #5
Quchen said:
Ah that makes sense. The vector the covariant derivative operates with respect to merely gives a direction on the manifold, whereas in the Lie derivative, the extension of the field is considered. What the metric/connection does is provide such an extension, but that extension is a property of the space, not a field defined on it ... correct?

A connection may be thought of as a field but not as a vector field. For instance, on an orientable surface, a connection may be thought of as a field of 2 planes on the unit circle bundle of the manifold. This field must be rotation invariant in the sense that the differential of the action of rotation on the fiber circles should preserve the planes.
 
  • #6
It's becoming clearer and clearer. I guess it would have been more obvious if almost all fibre bundles I've encountered hadn't been vector bundles so far.
Thanks to both of you.
 
  • #7
Quchen said:
It's becoming clearer and clearer. I guess it would have been more obvious if almost all fibre bundles I've encountered hadn't been vector bundles so far.
Thanks to both of you.

The unit circle bundle is just the vectors of length 1 in the vector bundle. So really you have already encountered it.
 
Last edited:
  • #8
>So really you have already encountered it.
Ah, it's been called the "unit tangent bundle", so yes.
 
  • #9
BTW: A vector field along a curve may be thought of as a curve in the vector bundle itself. For a surface, if the vector field has length 1 then it is a curve in the unit circle bundle. The derivative of this curve lies in the tangent bundle of the unit circle bundle. If the derivative actually lies in the field of 2 planes of the connection then the vector field is said to be parallel along the curve.
 
  • #10
Quchen said:
Ah that makes sense. The vector the covariant derivative operates with respect to merely gives a direction on the manifold, whereas in the Lie derivative, the extension of the field is considered. What the metric/connection does is provide such an extension, but that extension is a property of the space, not a field defined on it ... correct?

This is correct. The covariant derivative needs only to know a direction and a vector field along a curve that fits the direction. Parallel transport of a vector is the solution of an ODE along the curve whose initial condition is the vector you want to parallel transport.
 
  • #11
On any vector bundle over a smooth manifold, one can think of the covariant derivative of a vector field, Y, i.e. a section of the vector bundle, as a 1 form that takes values in other sections of the same bundle. Given a tangent vector field,X, DY(X) is another section of the vector bundle. It is a 1 form because it is smooth and acts linearlly at each point of the tangent bundle i.e. DY(aX + bZ) = aDY(X) + bDY(Z) pointwise.

This definition highlights the property that covariant derivatives do no depend on the flow of the tangent fields but only on their point values.

Notice also that this definition does not require the two vector fields to both come from the tangent bundle. So there is no notion of Lie derivative of Y with respect to X.
 
Last edited:
  • #12
So it's basically a section in the product space of tangent- and cotangent space?
 
  • #13
Quchen said:
So it's basically a section in the product space of tangent- and cotangent space?

Sort of. You have the right idea.

It is a section of the tensor product of the vector bundle with the cotangent bundle.
 
  • #14
That was the physicist in me saying "tensor product of the bundles" ;)
 
  • #15
Quchen said:
That was the physicist in me saying "tensor product of the bundles" ;)

!

BTW: This idea of covariant differentiation does not require a Riemannian metric on the vector bundle either. In Physics it is known as a gauge potential.
 
  • #16
So what is needed for a connection to exist? Fanciest thing I've seen so far was the curvature form on Lie-valued bundles.
 
  • #17
Quchen said:
So what is needed for a connection to exist? Fanciest thing I've seen so far was the curvature form on Lie-valued bundles.

It is a theorem that there is always a connection on a vector bundle over a smooth manifold.

This theorem is not hard to prove.

Wierdly, one always gets curvature even in connections that are not compatible with a Riemannian metric.

I do not know about Lie valued bundles.
 
Last edited:
  • #18
Oh wow.
Does the theorem/proof have a name or something?
 
  • #19
Quchen said:
Oh wow.
Does the theorem/proof have a name or something?

I don't know. The argument is typical rather than peculiar.
 
  • #20
i think the argument is by induction on a finite open cover of the manifold. Choose frames on each open set in the cover.On an open ball choose any connection. assume inductively that the connection has extended to n-1 open sets. on the n'th you need to extend the connection that already exists on its intersection with the previous open sets. The connection on the n'th open set must obey a transformation rule with respect to the chosen frames on the intersection. Use this rule to extend across the entire open set.
 
  • #21
Sounds reasonable. Let's see how long it takes me to stumble upon that in literature.
 
  • #22
Quchen said:
Sounds reasonable. Let's see how long it takes me to stumble upon that in literature.

Can you tell me what the role of gauge potentials is in Physics?
 
  • #23
lavinia said:
Can you tell me what the role of gauge potentials is in Physics?
I guess you're asking that on a level I'm not able to answer. I'm just getting into the topic, and all I've got is half-knowledge both on the mathematical and physical side. If you're still interested ...
 
  • #24
Quchen said:
I guess you're asking that on a level I'm not able to answer. I'm just getting into the topic, and all I've got is half-knowledge both on the mathematical and physical side. If you're still interested ...

Anything you have to say would interest me
 
  • #25
Alright then, Electrodynamics is surely the easiest example.
Take R^4 as a manifold and assign an additional degree of freedom to each point*. In the EM case, that is an element of U(1), think of some ring everywhere in spacetime. There's now a connection on this bundle, and the connection coefficients turn out to be 1-forms that describe the electromagnetic potential. The associated curvature is F=dA, the electromagnetic field strength.
*: I guess that's the fiber, but I haven't found it stated like that explicitly
 
  • #26
Quchen said:
Alright then, Electrodynamics is surely the easiest example.
Take R^4 as a manifold and assign an additional degree of freedom to each point*. In the EM case, that is an element of U(1), think of some ring everywhere in spacetime. There's now a connection on this bundle, and the connection coefficients turn out to be 1-forms that describe the electromagnetic potential. The associated curvature is F=dA, the electromagnetic field strength.
*: I guess that's the fiber, but I haven't found it stated like that explicitly

Let me think about this.
 
  • #27
Interesting things happen when you have a charged field that interacts with the EM field. I'll try to describe scalar electrodynamics, describing electrons requires spinors which is just extra complication at this stage.

The main object of study is the action functional, which is the integral of the lagrangian over all of spacetime. The lagrangian has terms that go like [itex]\eta^{\mu\nu}\partial_\mu \phi(x)^* \partial_\nu \phi(x)[/itex] and also [itex]m^2 \phi(x)^* \phi(x)[/itex]. (* is the complex conjugate) The way we make this field phi interact with the EM field is by demanding that the action is invariant under 'local U(1) symmetry', which I guess in the language of fibre bundles means we have a U(1) fibre bundle sort of... sitting there... doing... something.

The term [itex]\phi(x)^* \phi(x)[/itex] is unchanged when we transform it like this: [itex]\phi(x) \rightarrow e^{iq\theta(x)}\phi(x)[/itex]. The field transforms under a *rep* of U(1) hence the q, which is the charge of the field. But the term [itex]\eta^{\mu\nu}\partial_\mu \phi(x)^* \partial_\nu \phi(x)[/itex] picks up extra terms when the partial derivatives act on the theta(x), so it's not invariant. The way this is fixed is by replacing the partial derivative with the covariant derivative on the U(1) bundle, which includes the connection, and this extra bit represents an interaction between the EM field and the scalar field. This is called 'minimal coupling'.

So we end up with an 'interaction lagrangian' that looks something like [itex]q^2 \eta^{\mu\nu} A_\mu A_\nu \phi(x)^* \phi(x)[/itex], which in terms of Feynman diagrams represents an antiparticle (the phi*) interacting with a particle (the phi) creating two photons (the As). I don't know it thoroughly enough to explain it in any more detail, and some of it might be wrong, I can't remember. I hope it helps a bit.
 

FAQ: Covariant derivative vs. Lie derivative

What is the difference between a covariant derivative and a Lie derivative?

A covariant derivative is a mathematical concept used in differential geometry to describe the change in a vector field along a given direction. It takes into account the curvature of the space in which the vector field exists. On the other hand, a Lie derivative is a concept used in differential geometry and differential topology to describe the change of a tensor field along a given direction. It does not take into account the curvature of the space, but rather the flow of a vector field.

How do covariant derivatives and Lie derivatives relate to each other?

Covariant derivatives and Lie derivatives are related in that they both describe the change of mathematical objects along a given direction. However, they use different mathematical tools and concepts to do so. Covariant derivatives are based on the concept of parallel transport, while Lie derivatives are based on the concept of Lie brackets.

When should I use a covariant derivative vs. a Lie derivative?

The choice between using a covariant derivative or a Lie derivative depends on the specific problem you are trying to solve. If you are studying a vector field on a curved space, it is more appropriate to use a covariant derivative. If you are studying a tensor field on a flat space, a Lie derivative would be more suitable.

Do covariant derivatives and Lie derivatives have any real-world applications?

Yes, both covariant derivatives and Lie derivatives have many real-world applications in fields such as physics, engineering, and computer science. They are used to model and analyze various physical systems, such as gravitational fields and fluid flows. In computer science, they are used in algorithms for image processing and computer graphics.

Are there any limitations to using covariant derivatives and Lie derivatives?

Like any mathematical tool, covariant derivatives and Lie derivatives have their limitations. They are most commonly used in smooth and well-behaved spaces, and may not be applicable in more complex or chaotic systems. Additionally, their calculations can become very complex in higher dimensions, making them more difficult to use in practical applications.

Back
Top