Anticanonical strict transform under a point blowup

ID: anticanonical-strict-transform-under-a-point-blowup

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 .

New to topics? Read the docs here!