Lemma 71.7.2. Let S be a scheme. Let X be an algebraic space over S. Let D \subset X be an effective Cartier divisor. Then for the conormal sheaf we have \mathcal{C}_{D/X} = \mathcal{I}_ D|D = \mathcal{O}_ X(D)^{\otimes -1}|_ D.
Proof. Omitted. \square
Comments (0)