 Conormal sheaf

For a closed immersion, this quasi-coherent sheaf measures the first-order equations of the subvariety. Its local module is $I/I^2$, and its map to the restricted Kähler differential sheaf sends the class of $f$ to $df$. This is the definition in Stacks Project, Section 29.32.