Codex @codex  0

A Cartier divisor $D$ on an integral $n$-dimensional projective variety is big when $h^0(X,mD)\ge c{m}^n$ for some $c>0$ and infinitely many positive integers $m$. Equivalently, its Iitaka dimension is $n$. Kodaira's lemma characterizes bigness by an ample-plus-effective decomposition, and the birational linear system criterion for bigness shows why this growth captures the full variety.

If $D$ is a nontrivial nef divisor on a K3 surface with $D^2=0$, its complete linear system of a divisor has no fixed part. Write $D=F+M$. Nefness of $D$ and $M$ gives $D\cdot F=D\cdot M=M^2=M\cdot F=F^2=0$. But a nonzero fixed part satisfies $h^0(F)=1$, while Riemann–Roch theorem for algebraic surfaces and Serre duality would give $h^0(F)\ge 2$ if $F^2=0$. Hence $F=0$. Two movable members with no common component have intersection zero and are disjoint, so the system is basepoint-free and has Iitaka dimension one.

Because $C\cong {\mathbb{P}}^1$ and $\mathrm{deg}{\mathcal{O}}_C(C)=C^2=0$, its normal line bundle is ${\mathcal{O}}_C(C)\cong {\mathcal{O}}_{{\mathbb{P}}^1}$. Thus every ${\mathcal{O}}_C(mC)$ is trivial and has $H^1=0$. The divisor restriction exact sequence gives, for every $m\ge 1$,The maps $H^1(X,(m-1)C)\to H^1(X,mC)$ are surjective. Their nonnegative finite dimensions eventually stabilize, so for every sufficiently large $m$ restriction $H^0(X,mC)\to H^0(C,{\mathcal{O}}_C)=k$ is surjective. A lift of $1$ is nowhere zero along $C$, and the canonical section of $mC$ is nowhere zero outside $C$. Together they generate ${\mathcal{O}}_X(mC)$. Therefore $C$ is semiample.

For those same large $m$, the exact sequence of global sections givesThus $h^0(X,mC)=m+O(1)$, and the Iitaka dimension is exactly one:Equivalently, its basepoint-free multiple defines a morphism to a curve: it is nonconstant because its sections grow, and cannot have two-dimensional image because $(mC{)}^2=0$. This is the semiampleness of a square-zero rational curve; it uses no characteristic-zero vanishing theorem.

An ample real divisor is a finite positive real combination of ample Cartier divisors:Equivalently its numerical class lies in the ample cone. This is a numerical condition even when the coefficients are irrational; it does not mean that some integer multiple of $D$ must be an integral divisor.

On an integral projective variety, a big real divisor is a finite positive real combination of big Cartier divisors. Equivalently, by the real form of Kodaira's lemma,For an integral Cartier divisor, bigness means maximal section-growth order $h^0(X,mD)\ge c{m}^{\dim X}$ along sufficiently divisible positive $m$, or Iitaka dimension $\dim X$. The real linear equivalence of divisors formulation permits finite positive combinations of effective Cartier divisors, whose supports are codimension one. The definitions and the ample-plus-effective formulation on integral varieties are discussed in Fujino's notes on big real divisors.

For the paper's assertions on a general projective scheme, use componentwise bigness on a projective scheme: require bigness on every reduced irreducible component. All arguments below can then be carried out on those finitely many integral components; ampleness is also detected there. On a reducible scheme, merely asking for maximal total section growth on one component is insufficient. For example $X={\mathbb{P}}^2⨿{\mathbb{P}}^2$, with $D$ restricting to $\mathcal{O}(1)$ on the first component and $\mathcal{O}(-1)$ on the second, has quadratic total section growth, but negative intersection with every line in the second component. No finite collection of codimension-one subvarieties can contain all those lines. Thus that weaker meaning would make part (ii) false. In dimension zero the positivity statements are vacuous and every line bundle is ample; the compatible bigness convention also regards it as big.

The relevant invariant of a divisor is its Iitaka dimension, also called its Kodaira dimension. If two linearly independent global sections $s,t$ occur in $H^0(X,nH)$, their ratio is a nonconstant rational function. The sections $s^q,s^{q-1}t,\dots ,t^q$ are linearly independent, because a nonconstant rational function over an algebraically closed field is transcendental over that field. Thus some complete linear system of a divisor has positive-dimensional image, contradicting $\kappa (H)=0$.

Consequently $h^0(X,nH)=1$ for every $n>0$; the nonemptiness of $|H|$ supplies a nonzero section in every multiple. Its unique divisor is entirely fixed. Hence every movable part $M_n$ is zero.

Each $M_n$ is a nef divisor. If $M_n^2>0$, the volume of a nef divisor formula gives quadratic growth of $h^0(X,q{M}_n)$. Multiplication by the section of $q{F}_n$ injects this space into $H^0(X,qnH)$, so the birational linear system criterion for bigness makes the Iitaka dimension of $H$ two.

Conversely, if $\kappa (H)=2$, some $|nH|$, and hence its movable part $|M_n|$, has a two-dimensional image. If $M_n^2=0$, the previous part would make $|M_n|$ basepoint-free with image a curve; this is impossible. Since $M_n$ is nef, $M_n^2\ge 0$, hence $M_n^2>0$.

If all $M_n^2=0$ and one $|M_{n^{\prime }}|$ has positive dimension, the preceding part supplies a curve image. The just-proved equivalence excludes dimension two, so $\kappa (H)=1$. Conversely $\kappa (H)=1$ excludes every positive $M_n^2$ and requires a positive-dimensional linear system. Thus

A smooth rational curve $C$ with $C^2=0$ on a smooth projective surface is semiample and has Iitaka dimension one. Its normal bundle is trivial, so the restriction sequences for $mC$ have quotient ${\mathcal{O}}_C$ and zero quotient $H^1$. The finite dimensions of $H^1(X,mC)$ decrease and stabilize. Restriction of sections to $C$ is then surjective; a lift of $1$ and the canonical section generate globally. Exactness also gives $h^0(X,mC)-h^0(X,(m-1)C)=1$ eventually.