Ample divisor after blowing up a torus-fixed point

ID: ample-divisor-after-blowing-up-a-torus-fixed-point

For an ample invariant divisor and the blowup of a torus-fixed smooth point in dimension at least two, is ample for sufficiently large integers . In the subdivided cone, its local characters are , where is dual to the omitted ray generator. The new strict inequalities have gap one on the omitted ray and grow linearly with elsewhere, proving the claim by the toric ampleness criterion.

New to topics? Read the docs here!