リー微分
Note that the antisymmetrized covariant derivative , and the Lie derivative "L""u""v" differ by the torsion of the connection, so that if a connection is torsion free, then its antisymmetrization "is" the Lie derivative.