Notes on Lie derivatives, algebraic D-varieties, and Ax's theorem

We discuss the relationship between Lie derivatives and the linear differential equations on cotangent spaces of algebraic D-varieties at sharp points. We also take the liberty to give an account of Ax’s theorem (which may be useful as an entry point to the subject for students).