Hochschild-Witt complex

The "de Rham-Witt complex" of Deligne and Illusie is a functorial complex of sheaves $W^*(X)$ on a smooth algebraic variety $X$ over a finite field, computing the cristalline cohomology of $X$. I am going to present a non-commutative generalization of this: even for a non-commutative ring $A$, one can define a functorial "Hochschild-Witt complex" with homology $WHH^*(A)$; if $A$ is commutative, then $WHH^i(A)=W^i(X)$, $X = Spec A$ (this is analogous to the isomorphism $HH^i(A)=H^i(X)$ discovered by Hochschild, Kostant and Rosenberg). Moreover, the construction of the Hochschild-Witt complex is actually simpler than the Deligne-Illusie construction, and it allows to clarify the structure of the de Rham-Witt complex.