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 a model of .
A vertical fractional ideal sheaf is a finitely generated
-submodule of the function field of such that .
Then defines a continuous
function by setting
Note that each vertical Cartier divisor defines a vertical fractional ideal sheaf , hence a continuous function
.
Note that is the constant function since .
The map extends by linearity to .
Definition 2.1.
A function on is a model function
if there exists a model and a -divisor
such that . We then call a determination
of .
We let be the space of model functions on .
Proposition 2.2.
[BFJ11, PropositionΒ 2.2] The -vector space of model functions is stable under max. If is a model function and is a determination then is affine on each face of .