The Stacks project

Lemma 60.9.2. Assumptions as in Definition 60.8.1. The inclusion functor

\[ \text{Cris}(X/S) \to \text{CRIS}(X/S) \]

commutes with finite nonempty limits, is fully faithful, continuous, and cocontinuous. There are morphisms of topoi

\[ (X/S)_{\text{cris}} \xrightarrow {i} (X/S)_{\text{CRIS}} \xrightarrow {\pi } (X/S)_{\text{cris}} \]

whose composition is the identity and of which the first is induced by the inclusion functor. Moreover, $\pi _* = i^{-1}$.

Proof. For the first assertion see Lemma 60.8.2. This gives us a morphism of topoi $i : (X/S)_{\text{cris}} \to (X/S)_{\text{CRIS}}$ and a left adjoint $i_!$ such that $i^{-1}i_! = i^{-1}i_* = \text{id}$, see Sites, Lemmas 7.21.5, 7.21.6, and 7.21.7. We claim that $i_!$ is exact. If this is true, then we can define $\pi $ by the rules $\pi ^{-1} = i_!$ and $\pi _* = i^{-1}$ and everything is clear. To prove the claim, note that we already know that $i_!$ is right exact and preserves fibre products (see references given). Hence it suffices to show that $i_! * = *$ where $*$ indicates the final object in the category of sheaves of sets. To see this it suffices to produce a set of objects $(U_ i, T_ i, \delta _ i)$, $i \in I$ of $\text{Cris}(X/S)$ such that

\[ \coprod \nolimits _{i \in I} h_{(U_ i, T_ i, \delta _ i)} \to * \]

is surjective in $(X/S)_{\text{CRIS}}$ (details omitted; hint: use that $\text{Cris}(X/S)$ has products and that the functor $\text{Cris}(X/S) \to \text{CRIS}(X/S)$ commutes with them). In the affine case this follows from Lemma 60.5.6. We omit the proof in general. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 07IJ. Beware of the difference between the letter 'O' and the digit '0'.