For the blowup of a complex manifold at a point in complex dimension , the differential gives a section of whose divisor on a complex manifold is . Indeed, a local chart has and for , so its Jacobian determinant is . The holomorphic line bundle associated to a divisor then gives the formula for the canonical bundle.
Let be a smooth complex analytic hypersurface through the blowup centre with . Its multiplicity at that point is one, so . Combining this with the canonical bundle formula for a point blowup gives . The nontrivial powers of the exceptional line bundle of a point blowup prove the equivalence for . On a compact complex curve the premise cannot hold for an irreducible hypersurface: it is one point, so its negative divisor has degree , whereas the canonical bundle has even degree .

Articles by others on the same topic (0)

There are currently no matching articles.