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
U' \mapsto \{ a' : U' \to Y\text{ over }B\text{ with } a'|_ U = a|_ U\}
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)