arXiv:0908.2512 Differential forms on arithmetic jet spaces from arXiv Front: math.NT by James Borger, Alexandru Buium We study derivations and differential forms on the arithmetic jet spaces of smooth schemes, relative to several primes. As applications we give a new interpretation of arithmetic Laplacians and we discuss the de Rham cohomology of some specific arithmetic jet spaces.
nLab page on Arithmetic jet space