Is there is a known version of the HKR theorem as proved in say Swan's paper "Hochschild Cohomology of Quasiprojective Varieties" in positive characteristic? I assume something is known about this as in the affine case the theorem is still true so this seems like a reasonably naive question. Although there is no discussion of this in the paper, I guess the methods in the Swan paper roughly give the result as long the dimension of the variety is smaller than the characteristic (correct?) but don't generalize completely. 


If it isn't known, any ideas about the possibility of looking for a counterexample could also be helpful. If the above statement is true it seems reasonable to look at surfaces in characteristic 2 such as Enriques surfaces or K3 surfaces. I have no idea if it could be possible to do calculations in these cases.



Hochschild Kostant Rosenberg theorem for varieties in positive characteristic?
See [this](https://arxiv.org/abs/1710.06039) paper of mine and Gabriele Vezzosi. We prove that HKR holds in particular for smooth proper schemes $X$ of dimension at most $p$, the characteristic prime. In particular, it holds for smooth proper surfaces in characteristic $2$.


