Lemma 20.33.3. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $X = U \cup V$ be the union of two open subspaces of $X$. For objects $E$, $F$ of $D(\mathcal{O}_ X)$ we have a Mayer-Vietoris sequence

$\xymatrix{ & \ldots \ar[r] & \mathop{\mathrm{Ext}}\nolimits ^{-1}(E_{U \cap V}, F_{U \cap V}) \ar[lld] \\ \mathop{\mathrm{Hom}}\nolimits (E, F) \ar[r] & \mathop{\mathrm{Hom}}\nolimits (E_ U, F_ U) \oplus \mathop{\mathrm{Hom}}\nolimits (E_ V, F_ V) \ar[r] & \mathop{\mathrm{Hom}}\nolimits (E_{U \cap V}, F_{U \cap V}) }$

where the subscripts denote restrictions to the relevant opens and the $\mathop{\mathrm{Hom}}\nolimits$'s and $\mathop{\mathrm{Ext}}\nolimits$'s are taken in the relevant derived categories.

Proof. Use the distinguished triangle of Lemma 20.33.1 to obtain a long exact sequence of $\mathop{\mathrm{Hom}}\nolimits$'s (from Derived Categories, Lemma 13.4.2) and use that

$\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(j_{U!}E|_ U, F) = \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ U)}(E|_ U, F|_ U)$

by Lemma 20.32.8. $\square$

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