Lemma 60.12.6. In Situation 60.7.5. The sheaf of differentials $\Omega _{X/S}$ has the following two properties:

$\Omega _{X/S}$ is locally quasi-coherent, and

for any morphism $(U, T, \delta ) \to (U', T', \delta ')$ of $\text{Cris}(X/S)$ where $f : T \to T'$ is a closed immersion the map $c_ f : f^*(\Omega _{X/S})_{T'} \to (\Omega _{X/S})_ T$ is surjective.

## Comments (0)

There are also: