ScalingStacks

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 φx\varphi_{x} 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 𝒳\mathcal{X}, an extension ℒ∈Pic⁡(𝒳)𝐐\mathcal{L}\in\Pic(\mathcal{X})_{\mathbf{Q}} of LL, let ω\omega be the curvature form of the model metric defined by ℒ\mathcal{L}. Let also EE be a component of 𝒳\mathcal{X} corresponding to the divisorial point x=xEx=x_{E}. We have φx=Pω​(−fE)\varphi_{x}=P_{\omega}(-f_{E}) up to a constant. On the other hand, by [BFJ11, Theorem 8.5],

Pω​(−fE)=limm1m​log⁡|𝔞m|P_{\omega}(-f_{E})=\lim_{m}\frac{1}{m}\log|\mathfrak{a}_{m}|

where 𝔞m\mathfrak{a}_{m} denotes the base-ideal of m​ℒ′m\mathcal{L}^{\prime} with ℒ′:=ℒ−E\mathcal{L}^{\prime}:=\mathcal{L}-E. As a consequence, φx\varphi_{x} is indeed a model function as soon as the graded SS-algebra ⨁m≥0H0​(𝒳,m​ℒ′)\bigoplus_{m\geq 0}H^{0}(\mathcal{X},m\mathcal{L}^{\prime}) 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 φx\varphi_{x} is not a model function.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.