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!