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
Proof.
Let be a determination of and let be a
representative of . The assumption implies that the -line bundle
is ample. By CorollaryΒ 1.5 we may thus assume that
has been chosen so that admits an ample extension
for each model dominating .
If denotes the corresponding vertical blow-up
then for some ,
and is a model function such that
is -positive.
Now suppose is semipositive and pick ,
as above. Upon replacing by we may assume that .
Then the closed -form
|
|
|
is also -positive for each , completing the proof since
is bounded.
β