The ample cone consists of real numerical divisor classes represented by ample real divisors. It is an open convex cone, and Kleiman's criterion identifies it with the interior of the nef cone.
The sum of a nef real Cartier class and an ample real Cartier class on a projective scheme is ample. By Kleiman's criterion, the ample cone is the interior of the nef cone. If a ball about an ample class lies in that convex cone, translating it by a nef class still lies in the cone. The sum is consequently still an interior point.
Articles by others on the same topic
There are currently no matching articles.