Is the Lie derivative a tensor itself?

Click For Summary

Discussion Overview

The discussion revolves around the nature of the Lie derivative in the context of differential geometry and general relativity, specifically whether the Lie derivative itself can be classified as a tensor. Participants explore definitions, properties, and implications of the Lie derivative as it acts on various mathematical objects.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • Some participants assert that the Lie derivative can be considered a tensor due to its linearity in both arguments, referencing its action on vector fields.
  • One participant emphasizes that the Lie derivative of a tensor is indeed a tensor, drawing a parallel to the derivative of a function being a function.
  • Another participant provides a specific expression for the Lie derivative of a vector field, suggesting that it can be shown to equal a form involving covariant derivatives under certain conditions.
  • There are references to the need for general coordinate transformations to analyze the behavior of the Lie derivative and its potential inhomogeneous terms.

Areas of Agreement / Disagreement

Participants express varying viewpoints on whether the Lie derivative itself is a tensor, with some supporting this idea while others provide conditions and contexts that may affect this classification. The discussion remains unresolved, with multiple competing views present.

Contextual Notes

Some claims depend on specific assumptions about the absence of torsion and the nature of the vector fields involved. The discussion highlights the complexity of defining the Lie derivative in different contexts.

spinless
Messages
1
Reaction score
0
Hi everyone!

A few days ago in General Relativity class, the professor introduced the concept of Lie derivative and at the end he mentioned that the Lie derivative was a tensor itself. I've been looking everywhere, but I only find how it acts on vectors, tensors, etc. Does anyone know of any book/article/website that mentions this idea?

Thank you very much in advance!!
 
Physics news on Phys.org
Here are some definitions:
https://www.physicsforums.com/insights/pantheon-derivatives-part-iv/#Lie-Derivatives

If ##X,Y## are vector fields, then ##\mathcal{L}_X(Y)=[X,Y]## which is again a vector field. ##\mathcal{L}## is linear in both arguments, so you may consider it a tensor. How it acts can be seen in the article I linked to.

Every derivative is a directional derivative. It measures variation in that direction. There are three main parameters: function, direction, and location. All of them can be the variable that results in different quantities: a number, a function, or even a field of directions. We abstract from function and location and consider directions alone in the case of vector fields.
 
  • Like
Likes   Reactions: Astronuc, dextercioby and spinless
Moderator's note: Thread moved to the Differential Geometry forum.
 
spinless said:
Hi everyone!

A few days ago in General Relativity class, the professor introduced the concept of Lie derivative and at the end he mentioned that the Lie derivative was a tensor itself. I've been looking everywhere, but I only find how it acts on vectors, tensors, etc. Does anyone know of any book/article/website that mentions this idea?

Thank you very much in advance!!
The Lie derivative of a tensor is a tensor. Just like the derivative of a functions is a function.
 
spinless said:
Hi everyone!

A few days ago in General Relativity class, the professor introduced the concept of Lie derivative and at the end he mentioned that the Lie derivative was a tensor itself. I've been looking everywhere, but I only find how it acts on vectors, tensors, etc. Does anyone know of any book/article/website that mentions this idea?

Thank you very much in advance!!
You can find the general expression for the Lie derivative of a tensor with respect to some vector field ##\xi##. Just apply the definition, and perform a general coordinate transformation to see whether you get inhomogenous terms. E.g., for a vector field ##V## you obtain in component form

##L_{\xi} V^{\mu} = \xi^{\lambda} \partial_{\lambda}V^{\mu} -V^{\lambda}\partial_{\lambda}\xi^{\mu}##

If you're dealing without torsion, you can actually show that this equals

##L_{\xi} V^{\mu} = \xi^{\lambda} \nabla_{\lambda}V^{\mu} -V^{\lambda}\nabla_{\lambda}\xi^{\mu}##

Similar arguments hold for Lie derivatives of general tensor fields.
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 27 ·
Replies
27
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 37 ·
2
Replies
37
Views
11K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 9 ·
Replies
9
Views
8K
  • · Replies 8 ·
Replies
8
Views
4K