Remark 8.8 . [01CE]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Remark 8.8.
We do not know whether the function in (8.5) is necessarily a model function. This is the case on a toric variety, see Proposition 9.1 below, but we suspect the answer is no in general.
Pick an SNC model , an extension of , let be the curvature form of the model metric defined by . Let also be a component of corresponding to the divisorial point . We have up to a constant. On the other hand, by [BFJ11, Theorem 8.5],
where denotes the base-ideal of with . As a consequence, is indeed a model function as soon as the graded -algebra is finitely generated. Building on Nakayama’s counterexample to the existence of Zariski decompositions [Nak04], it is reasonable to expect this algebra not to be finitely generated in general, and to subsequently prove that is not a model function.