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$

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