旋量李导数

旋量的李导数定义为

其中 是 在单参数等距同构群作用下的像， 是该群的生成元。对于向量场 和协变导数 ， 的李导数由下式明确给出：

其中 和 是狄拉克矩阵 (Choquet-Bruhat 和 DeWitt-Morette 2000)。