Lemma 75.10.5. Let $S$ be a scheme. Let $(U \subset X, V \to X)$ be an elementary distinguished square of algebraic spaces over $S$. For an object $E$ of $D(\mathcal{O}_ X)$ we have a distinguished triangle
\[ R\Gamma (X, E) \to R\Gamma (U, E) \oplus R\Gamma (V, E) \to R\Gamma (U \times _ X V, E) \to R\Gamma (X, E)[1] \]
and in particular a long exact cohomology sequence
\[ \ldots \to H^ n(X, E) \to H^ n(U, E) \oplus H^ n(V, E) \to H^ n(U \times _ X V, E) \to H^{n + 1}(X, E) \to \ldots \]
The construction of the distinguished triangle and the long exact sequence is functorial in $E$.
Proof.
Choose a K-injective complex $\mathcal{I}^\bullet $ representing $E$ whose terms $\mathcal{I}^ n$ are injective objects of $\textit{Mod}(\mathcal{O}_ X)$, see Injectives, Theorem 19.12.6. In the proof of Lemma 75.10.2 we found a short exact sequence of complexes
\[ 0 \to \mathcal{I}^\bullet \to j_{U, *}\mathcal{I}^\bullet |_ U \oplus j_{V, *}\mathcal{I}^\bullet |_ V \to j_{U \times _ X V, *}\mathcal{I}^\bullet |_{U \times _ X V} \to 0 \]
Since $H^1(X, \mathcal{I}^ n) = 0$, we see that taking global sections gives an exact sequence of complexes
\[ 0 \to \Gamma (X, \mathcal{I}^\bullet ) \to \Gamma (U, \mathcal{I}^\bullet ) \oplus \Gamma (V, \mathcal{I}^\bullet ) \to \Gamma (U \times _ X V, \mathcal{I}^\bullet ) \to 0 \]
Since these complexes represent $R\Gamma (X, E)$, $R\Gamma (U, E)$, $R\Gamma (V, E)$, and $R\Gamma (U \times _ X V, E)$ we get a distinguished triangle by Derived Categories, Section 13.12 and especially Lemma 13.12.1.
$\square$
Comments (2)
Comment #2792 by Pieter Belmans on
Comment #2897 by Johan on