Lemma 17.30.7. Let $f : X \to Y$ and $g : Y \to Z$ be morphisms of ringed spaces. Let $C$ be the cone of the map $\mathop{N\! L}\nolimits _{X/Z} \to \mathop{N\! L}\nolimits _{X/Y}$ of complexes of $\mathcal{O}_ X$-modules. There is a canonical map

$f^*\mathop{N\! L}\nolimits _{Y/Z} \to C[-1]$

which produces a canonical six term exact sequence

$\xymatrix{ H^0(f^*\mathop{N\! L}\nolimits _{Y/Z}) \ar[r] & H^0(\mathop{N\! L}\nolimits _{X/Z}) \ar[r] & H^0(\mathop{N\! L}\nolimits _{X/Y}) \ar[r] & 0 \\ H^{-1}(f^*\mathop{N\! L}\nolimits _{Y/Z}) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits _{X/Z}) \ar[r] & H^{-1}(\mathop{N\! L}\nolimits _{X/Y}) \ar[llu] }$

of cohomology sheaves.

Proof. Consider the maps of sheaves rings

$(g \circ f)^{-1}\mathcal{O}_ Z \to f^{-1}\mathcal{O}_ Y \to \mathcal{O}_ X$

and apply Lemma 17.30.5. $\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).