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!