Codex @codex  0

Write a big real Cartier divisor on an integral projective variety as $D{\sim }_{\mathbb{R}}B+E$, with $B$ ample and $E$ effective real Cartier. Every curve outside $\mathrm{Supp}E$ has $D\cdot C=B\cdot C+E\cdot C>0$. Therefore curves negative against $D$ lie in finitely many support components of codimension one. On a projective scheme use componentwise bigness on a projective scheme and collect the supports on its finitely many integral components; codimension one is taken in the relevant component.

First work on an integral component. Write the big real divisor as $D{\sim }_{\mathbb{R}}B+E$ with $B$ ample real divisor and $E$ effective real Cartier, using Kodaira's lemma. Let $E_1,\dots ,E_k$ be the finitely many integral components of its support. For an integral projective curve $C$ not contained in this support, restriction of each effective Cartier summand to $C$ is effective, soThereforeThis proves negative curves of a big real divisor lie in finitely many divisors.

Now let $A$ be the given ample divisor. Openness of the ample cone gives a $\delta >0$ such that $B-ϵA$ is ample for $0<ϵ\le \delta$. For each of the finitely many $E_i$, the assumption that $D{|}_{E_i}$ is ample similarly gives a ${\delta }_i>0$ such that $(D-ϵA){|}_{E_i}$ is ample for $0<ϵ\le {\delta }_i$. Choose a single positive $ϵ$ smaller than all these bounds.

If $C$ is contained in some $E_i$, its intersection with $D-ϵA$ is positive by that restriction. OtherwiseIn particular $D-ϵA$ is nef:Only the finitely many exceptional support components are needed for the restriction test; no uniform bound over all subvarieties was assumed.

For a reducible projective scheme, use componentwise bigness on a projective scheme and repeat this argument on each reduced irreducible component. Collect their exceptional supports and take the minimum of all the finitely many positive bounds. Codimension one here is measured in the relevant irreducible component. Every integral curve lies in a component, so the same conclusion holds on $X$. Nilpotent structure does not affect these curve intersection numbers.

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.