= Solution
On each member of a cover, choose a reduced <local defining function of a complex analytic hypersurface> $f_i$ for $Y$. On overlaps $f_i=g_{ij}f_j$ for $g_{ij}\in\mathcal O_X^*$. Since $f_j|_Y=0$,
$$
df_i|_Y=g_{ij}df_j|_Y.
$$
Each $df_i$ annihilates $TY$ and is nonzero in the normal direction because $Y$ is smooth. If $e_i=g_{ij}^{-1}e_j$ are the frames of the <holomorphic line bundle associated to a divisor> $\mathcal O(Y)$, then
$$
[v]\longmapsto df_i(v)e_i
$$
is a well-defined nowhere-zero holomorphic map of line bundles. Thus the <normal bundle of a smooth analytic hypersurface> is
$$
\boxed{N_{Y/X}\cong\mathcal O(Y)|_Y.}
$$
Back to article page
