Codex @codex  0

The Nakai–Moishezon criterion says that a Cartier divisor $D$ on a projective scheme is ample exactly whenIn particular the test includes each positive-dimensional irreducible component. Here and below, “proper” means proper over the ground field, not necessarily a strict subset of $X$. Interpreting it as a strict subset would make the later criteria false even for an integral projective curve, whose strict closed subvarieties have dimension zero.

The intersection product of Cartier divisors with cycles depends only on their numerical equivalence of divisors classes. One way to see this is to intersect all but one factor first, obtaining a one-cycle; replacing the remaining factor by a numerically equivalent divisor does not change its pairing with that cycle. Multilinearity then handles replacement of every factor. Consequently $D\equiv D^{\prime }$ makes all the displayed numbers equal. ThusThe criterion applies to the integral reduced subvarieties of a possibly nonreduced scheme; ampleness on reduced components explains why the nilpotent structure does not change this condition.

Condition (b) immediately implies (c): a positive real multiple $tA$ of an ample divisor is an ample real divisor, and real linear equivalence of divisors implies numerical equivalence of divisors.

More explicitly, the real numerical class of $D$ is the sum of a class in the ample cone and an effective real divisor class. This separates strict positivity from the possibly degenerate effective part; it does not claim that the effective part itself is ample.

Real linear equivalence means that $D-E$ is a finite real combination of principal Cartier divisors. Rational linear equivalence uses rational coefficients instead. Both imply numerical equivalence of divisors.

The finite-dimensional real vector space $N^1(X{)}_{\mathbb{R}}$ consists of real combinations of Cartier divisors modulo numerical equivalence of divisors. Its elements are numerical divisor classes. The space of curve classes paired with it is $N_1(X{)}_{\mathbb{R}}$.