Remark 60.24.14 (Complete comparison). Let p be a prime number. Let (A, I, \gamma ) be a divided power ring with A a Noetherian p-adically complete ring and p nilpotent in A/I. Set S = \mathop{\mathrm{Spec}}(A) and S_0 = \mathop{\mathrm{Spec}}(A/I). Let Y be a proper smooth scheme over S and set X = Y \times _ S S_0. Let \mathcal{F} be a finite type crystal in quasi-coherent \mathcal{O}_{X/S}-modules. Then
there exists a coherent \mathcal{O}_ Y-module \mathcal{F}_ Y endowed with integrable connection
\nabla : \mathcal{F}_ Y \longrightarrow \mathcal{F}_ Y \otimes _{\mathcal{O}_ Y} \Omega _{Y/S}such that \mathcal{F}_ Y/p^ e\mathcal{F}_ Y is the module with connection over A/p^ eA found in Remark 60.24.11, and
we have
R\Gamma (\text{Cris}(X/S), \mathcal{F}) = R\Gamma (Y, \mathcal{F}_ Y \otimes _{\mathcal{O}_ Y} \Omega ^\bullet _{Y/S})in D(A).
Hints: The existence of \mathcal{F}_ Y is Grothendieck's existence theorem (insert future reference here). The isomorphism of cohomologies follows as both sides are computed as R\mathop{\mathrm{lim}}\nolimits of the versions modulo p^ e (see Remark 60.24.10 for the left hand side; use the theorem on formal functions, see Cohomology of Schemes, Theorem 30.20.5 for the right hand side). Each of the versions modulo p^ e are isomorphic by Remark 60.24.11.
Comments (0)
There are also: