Conormal line of a smooth analytic hypersurface
ID: conormal-line-of-a-smooth-analytic-hypersurface
For reduced local equations with a holomorphic unit, the holomorphic line bundle associated to a divisor has local generators and transition . Differentiation along gives . Sending the restricted local generator to gives the conormal isomorphism. The term disappears only after restricting to .
New to topics? Read the docs here!