Remark 60.24.2 (Mayer-Vietoris). In the situation of Remark 60.24.1 suppose we have an open covering $X = X' \cup X''$. Denote $X''' = X' \cap X''$. Let $f'$, $f''$, and $f''$ be the restriction of $f$ to $X'$, $X''$, and $X'''$. Moreover, let $\mathcal{F}'$, $\mathcal{F}''$, and $\mathcal{F}'''$ be the restriction of $\mathcal{F}$ to the crystalline sites of $X'$, $X''$, and $X'''$. Then there exists a distinguished triangle

$Rf_{\text{cris}, *}\mathcal{F} \longrightarrow Rf'_{\text{cris}, *}\mathcal{F}' \oplus Rf''_{\text{cris}, *}\mathcal{F}'' \longrightarrow Rf'''_{\text{cris}, *}\mathcal{F}''' \longrightarrow Rf_{\text{cris}, *}\mathcal{F}[1]$

in $D(\mathcal{O}_{X'/S'})$.

Hints: This is a formal consequence of the fact that the subcategories $\text{Cris}(X'/S)$, $\text{Cris}(X''/S)$, $\text{Cris}(X'''/S)$ correspond to open subobjects of the final sheaf on $\text{Cris}(X/S)$ and that the last is the intersection of the first two.

There are also:

• 2 comment(s) on Section 60.24: Some further results

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).