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)