Theorem 4.95 . [02S9]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Theorem 4.95.
Let be a complete SCR complex in and its associate toric scheme over . Let be an H-lattice function on and the corresponding -Cartier divisor on .
- (1)
The following properties are equivalent:
- (a)
is ample;
- (b)
for every vertical curve contained in ;
- (c)
for every -dimensional polyhedron ;
- (d)
The function is strictly concave on .
- (a)
- (2)
The following properties are equivalent:
- (a)
is generated by global sections;
- (b)
for every vertical curve contained in ;
- (c)
for every -dimensional polyhedron ;
- (d)
The function is concave.
- (a)