Lemma 37.9.4. Let $S$ be a scheme. Let $X \subset X'$ and $Y \subset Y'$ be first order thickenings over $S$. Assume given a morphism $a : X \to Y$ and a map $A : a^*\mathcal{C}_{Y/Y'} \to \mathcal{C}_{X/X'}$ of $\mathcal{O}_ X$-modules. For an open subscheme $U' \subset X'$ consider morphisms $a' : U' \to Y'$ such that
$a'$ is a morphism over $S$,
$a'|_ U = a|_ U$, and
the induced map $a^*\mathcal{C}_{Y/Y'}|_ U \to \mathcal{C}_{X/X'}|_ U$ is the restriction of $A$ to $U$.
Here $U = X \cap U'$. Then the rule
defines a sheaf of sets on $X'$.
Comments (0)