Let $X/R$ be a smooth scheme over a ring $R$. Consider the category of locally free crystals of finite rank on the situs $\mathop{\mathit{Crys}}(X/W_{t}(R))$. We show that it is equivalent to the category of locally free $W_{t}(\mathcal{O}_{X})$-modules of finite rank endowed with a nilpotent, integrable de Rham-Witt connection. In the case where $R$ is a perfect field this was shown by Etesse \cite{E} and Bloch \cite{Bl}. We use the result for a construction of the Gauß-Manin connection as a de Rham-Witt connection.
References
P. Berthelot, Cohomologie cristalline des schémas de charactéristique $p > 0$, Springer LNM 407 (1974).
Mathematical Reviews (MathSciNet):
MR384804
P. Berthelot and A. Ogus, Notes on crystalline cohomology, Princeton (1978).
Mathematical Reviews (MathSciNet):
MR491705
S. Bloch, Crystals and de Rham-Witt connections , J. Inst. Math. Jussieu, 3 (2004, no. 3), 315--326.
J.-Y. Etesse, Complexe de De Rham-Witt à coefficients dans un crystal , Comp. Math., 66 , 57--120 (1988).
Mathematical Reviews (MathSciNet):
MR937988
R. Hartshorne, Residues and Duality, Springer LNM 20 (1966).
Mathematical Reviews (MathSciNet):
MR222093
N. Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turritin , IHES Publ. Math. No.3 (1970).
Mathematical Reviews (MathSciNet):
MR291177
N. Katz and T. Oda, On the differentiation of de Rham cohomology classes with respect to parameters , J. Math. Kyoto Univ., 8-2 (1968), 199--213.
Mathematical Reviews (MathSciNet):
MR237510
A. Langer and Th. Zink, De Rham-Witt cohomology for a proper and smooth morphism , preprint (2001). http://www.mathematik.uni-bielefeld.de/~zink.