Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Let be a model of .
The space of (relative, codimension ) numerical equivalence classes on
is defined as the quotient of by the subspace spanned by
numerically trivial line bundles, i.e. those
such that for all projective curves contained in a
fiber of . It is in fact enough to consider vertical curves, i.e. those contained in the special fiber . A class is nef if
for all such curves .
Definition 2.3.
The space of closed -forms on is defined as the direct limit
We say that a closed -form is
determined on a given model if it is the
image of an element .
By definition, two classes
and define the same element in
iff they
pull back to the same class on a model dominating both and .
Definition 2.4.
A closed -form is
semipositive if is nef for some
(or, equivalently, any) determination of .
The natural map gives rise to a
map which in fact is surjective.
We refer to as the de Rham class of the
closed -form .
When is semipositive, the de Rham class
is nef on . In what follows, we shall mainly work with forms
having ample de Rham class.
Any model function induces a form
as follows: for any determination of ,
is the class of the divisor ,
where and is the divisorial point associated
to .