Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Consider a model of the proper variety over .
The rational vector space space
is by definition the quotient of
by the subspace
generated by classes of line bundles such that
for each closed curve in the special fiber .
Note that is finite dimensional by applying [Kle66, Prop.Β IV.1.4]
to .
We define
.
An element (resp.Β
is called nef if
for all closed curves in .
We call a line bundle on nef if
the class of in is nef.