Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Let be an algebraic scheme over , a vertical coherent fractional ideal sheaf on (i.e. is a coherent subsheaf of the sheaf of total quotient rings such that after multiplying with some element of it becomes a vertical ideal sheaf) and the reduction map. We define the function by . The supremum is actually a maximum as for a set of generators of we have .