Let $(X,\mathcal{O}\_X)$ be a Noetherian integral scheme and let $g$ be a (numerical) additive nonnegative function from coherent $\mathcal{O}\_X$-modules to $[0,\infty)$. This question may be well known to the expert but I couldn't find a reference: is $g$ a constant multiple of generic rank? If true, do you know of any reference for this?


**Notes:**


1. If $X=\mathrm{Spec}\:R$ is affine with $R$ an integral domain, then a proof can be found in [Northcott-Reufel](http://qjmath.oxfordjournals.org/content/16/4/297.extract), Theorem 2, p. 303. There are also other proofs.
2. If $X$ is a projective variety over a field, I think I can prove it, but I don't know any reference for this case.


I have a feeling this question must have been answered in K-theory.



Nonnegative additive functions on coherent sheaves
I suppose that "additive" means that "additive over short exact sequences". If so, this is does not seem too hard, at least if $X$ is separated.


By noetherian induction, you may assume that for all proper integral subscheme $Y$ of $X$, the restriction of $g$ to $Y$ is given by a multiple of the generic rank at $Y$. But every coherent sheaf with support on $Y$ can be given by a successive extension of coherent sheaves of $\mathcal O\_Y$-modules; hence the restriction of $g$ to sheaves supported on $Y$ is given by a multiple of the length of the stalk at the generic point of $Y$. On the other hand, for each $n > 0$ denote by $Y\_n$ the subscheme defined by the $n^{\mathrm th}$ power of the sheaf of ideals of $Y$; the length of the stalk of $\mathcal O\_{Y\_n}$ at the generic point of $Y$ is unbounded, but by the positivity of $g$ the value of $g(\mathcal O\_{Y\_n})$ is bounded by $g(\mathcal O\_X)$. Hence this multiple is 0, and $g$ is 0 on all torsion sheaves. In particular, if $F \to G$ is a generic isomorphism of coherent sheaves, $g(F) = g(G)$.


But on the other hand if $F$ is a coherent sheaf of generic rank $r$, there exists homomorphisms $F \to G$ and $\mathcal O\_X^r \to G$ of coherent sheaves that are generic isomorphisms; hence $g(F) = rg(\mathcal O\_X)$. The conclusion follows.


