Geometric tool kit for higher-spin gravity (Part I): An introduction to the geometry of differential operators

This paper provides an introduction to the algebra and geometry of differential operators and jet bundles. Its point of view is guided by the leitmotiv that higher-spin gravity theories call for higher-order generalizations of Lie derivatives and diffeomorphisms. Nevertheless, the material covered here may be of general interest to anyone working on topics where geometrical (coordinate-free, global, generic) and mathematically rigorous definitions of differential operators are required.