Jets via Hasse-Schmidt Derivations

This note is intended to provide a general reference for jet spaces and jet differentials, valid in maximal generality (at the level of EGA). The approach is rather concrete, using Hasse-Schmidt (divided) higher differentials. Discussion of projectivized jet spaces (as in Green and Griffiths (1980)) is included.