Lie vs Covariant Derivative: Intuitive Understanding

Click For Summary
SUMMARY

The discussion clarifies the distinction between the Lie derivative and the covariant derivative in differential geometry. The Lie derivative, denoted as L_X(Y), measures the compatibility of vector field flows and is defined through the commutation of vector fields. In contrast, the covariant derivative employs a connection to perform parallel transport along curves. Key insights include the relationship between the two derivatives, particularly how the Lie derivative indicates dynamical invariance and commutation of flows.

PREREQUISITES
  • Understanding of vector fields and flows
  • Familiarity with differential geometry concepts
  • Knowledge of parallel transport and connections
  • Basic comprehension of commutators in vector calculus
NEXT STEPS
  • Study the properties of Lie derivatives in vector fields
  • Explore the concept of parallel transport in Riemannian geometry
  • Learn about connections and their role in covariant derivatives
  • Investigate the implications of commutation relations in dynamical systems
USEFUL FOR

Mathematicians, physicists, and students of differential geometry seeking a deeper understanding of the differences and applications of Lie and covariant derivatives.

sit.think.solve
Messages
9
Reaction score
0
Loosely speaking or Intuitively how should one understand the difference between Lie Derivative and Covariant derivative? Definitions for both sounds awfully similar...
 
Physics news on Phys.org
The covariant derivative uses a connection, while the Lie derivative doesn't.
 
Just to spotlight one of these: The Lie derivative L_X(Y) is basically a dynamical invariant. It measures how compatible the flows of the vector fields are, i.e. how much they commute with each other. If X is generated by the flow \phi_t and Y is generated by \psi_s, then the Lie derivative [X,Y] at point P is the tangent vector at time 0 of the curve given by: t \mapsto \psi_{-t} \circ \phi_{-t} \circ \psi_t \circ \phi_t (P).

Berger describes this as moving P forward in time along the X-curves by t, then moving along the Y-curve by t, then moving backward in time along the X-curve and finally moving backward in time along the Y-curve. If you've ended up back at P, then [X,Y]=0 at P.

In particular, if \phi_s \circ \psi_t=\psi_t \circ \phi_s for all s and t, then [X,Y]=0.

The covariant derivative acts similarly except instead of pushing Y along the X-curves via X's flow, we are pushing Y along X-curve via parallel transport. This explanation, though, is a bit of circular logic, since one usually uses the specific covariant derivative to generate the parallel transport.
 
Last edited:

Similar threads

  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 15 ·
Replies
15
Views
6K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 37 ·
2
Replies
37
Views
10K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 26 ·
Replies
26
Views
10K
  • · Replies 42 ·
2
Replies
42
Views
14K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K