The log tangent space of the log jet space

Abstract

We introduce new notions of log jet spaces. Mildly singular spaces are ``smooth'' in log geometry, so their log jet spaces behave like the jet spaces of smooth varieties. Myriad examples contrast log jet spaces with the usual jet spaces of schemes. We then compute the log K\"ahler differentials of the log jet and arc spaces after de Fernex and Docampo. We obtain some of their applications to the structure of the log jet space. We conclude with comparison remarks with other log jet spaces.