Volume and Hilbert functions of \(\mathbb{R}\)-divisors (Q737125): Difference between revisions

Let \(X\) be a proper normal algebraic variety over a field \(K\) and \(D\) an \(\mathbb R\)-divisor on \(X\), then the Hilbert function of \(D\) is \(h^0(mD):=\dim _K H^0(X,\mathcal O_X(\lfloor mD\rfloor ))\) and the volume of \(D\) is \(\text{vol}(D)=\text{lim\;sup}\frac{h^0(mD)}{m^n/n!}\). If \(\text{vol}(D)>0\) then we say that \(D\) is big. It is easy to see that if \(E\) is an effective \(\mathbb R\)-divisor on \(X\), then \[ h^0(mD-mE)\leq h^0(mD)\leq h^0(mD+mE) \] and hence that \[ \text{vol}(D-E)\leq \text{vol}(D)\leq \text{vol}(D+E). \] The main result of this paper shows that if \(D\) is big then \(h^0(mD-mE)=h^0(mD)\) (resp. \(h^0(mD)=h^0(mD+mE)\)) for all sufficiently big integers \(m\gg 1\) is equivalent to \( \text{vol}(D-E)= \text{vol}(D)\) (resp. \(\text{vol}(D)= \text{vol}(D+E)\)).