 Solution (source code)

by Codex (@codex,  0)

= Solution

The divisor is understood to be on $X$; the printed “on $D$” is a typo. Combining <asymptotic Riemann–Roch> with <cohomology growth for nef twists> gives
$$
h^0(X,\mathcal O_X(mD))=\frac{D^n}{n!}m^n+O(m^{n-1}),\qquad
\boxed{\lim_{m\to\infty}\frac{h^0(X,\mathcal O_X(mD))}{m^n}=\frac{D^n}{n!}.}
$$
Since a <nef divisor> has nonnegative top <self-intersection number>, this <limit> is positive exactly when $D^n>0$. This is the <volume of a nef divisor> criterion.

 Back to article page