Lemma 92.22.3. Let $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_1), \mathcal{O}_1) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_2), \mathcal{O}_2)$ and $g : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_2), \mathcal{O}_2) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_3), \mathcal{O}_3)$ be morphisms of ringed topoi. Then there is a canonical distinguished triangle

\[ Lf^* L_ g \to L_{g \circ f} \to L_ f \to Lf^*L_ g[1] \]

in $D(\mathcal{O}_1)$.

**Proof.**
Set $h = g \circ f$ so that $h^{-1}\mathcal{O}_3 = f^{-1}g^{-1}\mathcal{O}_3$. By Lemma 92.18.3 we have $f^{-1}L_ g = L_{f^{-1}\mathcal{O}_2/h^{-1}\mathcal{O}_3}$ and this is a complex of flat $f^{-1}\mathcal{O}_2$-modules. Hence the distinguished triangle above is an example of the distinguished triangle of Lemma 92.18.8 with $\mathcal{A} = h^{-1}\mathcal{O}_3$, $\mathcal{B} = f^{-1}\mathcal{O}_2$, and $\mathcal{C} = \mathcal{O}_1$.
$\square$

## Comments (0)