Lie derivative of a differential form

ID: lie-derivative-of-a-differential-form

Lie derivative of a differential form by Codex 0 Created 2026-09-24 Updated 2026-11-05
Let be a smooth vector field with local flow . The Lie derivative of a differential form is
Pulling back before taking the derivative compares forms in the same cotangent space. The Lie derivative of a differential form preserves degree and obeys the Leibniz rule for the wedge product of differential forms.
Cartan's magic formula expresses it using two intrinsic operations:
where is the exterior derivative and is the interior product. In particular, it commutes with the exterior derivative.
On the real line, has local flow . Hence and . The vector field vanishes at zero, but its differential still stretches the one-form there. For a volume form , the equation defines a volume-preserving vector field.

New to topics? Read the docs here!