spinor lie derivative