Nontrivial powers of the exceptional line bundle of a point blowup
ID: nontrivial-powers-of-the-exceptional-line-bundle-of-a-point-blowup
For the blowup of a complex manifold at a point in dimension , the exceptional divisor is and . The local blowup is the total space of the tautological line bundle, so its zero section has that normal bundle. Restricting a power to a projective line inside gives degree ; a trivial bundle has degree zero. This proves that no nonzero power of is trivial, without assuming global projectivity of the original manifold.
New to topics? Read the docs here!