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!