If a smooth maximal cone is generated by a lattice basis , its star subdivision through is the fan of the blowup at the corresponding 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.
The blowup of at the origin is the total space of the tautological line bundle . Its exceptional divisor is the zero section , and projection to the direction of a line gives the bundle map to .
Articles by others on the same topic
There are currently no matching articles.