Blowup invariance of plurigenera
ID: blowup-invariance-of-plurigenera
For a point blowup of a smooth algebraic surface , where is a smooth projective surface over an algebraically closed field, multiplication by the exceptional section to power identifies with . Every effective pluricanonical representative must contain , since after subtracting copies its intersection with is . The projection formula for sheaves and identify the remaining sections with those on . No effectivity of itself is assumed.
New to topics? Read the docs here!