For a complex submanifold , the holomorphic conormal bundle is the annihilator of inside , or equivalently the dual of the holomorphic normal bundle. For a smooth analytic hypersurface with local equation , it is generated by . It is also the locally free analytic sheaf .
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 .

Articles by others on the same topic (0)

There are currently no matching articles.