Algebraic Geometry
《Algebraic Geometry》 · 第 182 页 · Chapter II,Section 8,Definition
Let $Y$ be a nonsingular subvariety of a nonsingular variety $X$ over $k$. The locally free sheaf $\mathcal J/\mathcal J^2$ we call the conormal sheaf of $Y$ in $X$. Its dual $\mathcal N_{Y/X}=\mathcal Hom_{\mathcal O_Y}(\mathcal J/\mathcal J^2,\mathcal O_Y)$ is called the normal sheaf of $Y$ in $X$. It is locally free of rank $r=\operatorname{codim}(Y,X)$.