Remark 76.17.6. A special case of Lemmas 76.17.1, 76.17.2, 76.17.4, and 76.17.5 is where $Y = Y'$. In this case the map $A$ is always zero. The sheaf of Lemma 76.17.4 is just given by the rule

and we act on this by the sheaf $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(a^*\Omega _{Y/B}, \mathcal{C}_{X/X'})$.

## Comments (0)