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. For example, is it possible to have a Mukai equivalence between a supersingular K3 surface and a non supersingular one? Being a total novice in algebraic geometry, I have no idea if this could be possible. There is a pretty high chance this post is very confused for which I apologize.