リー微分
Pullback and Lie derivative.