ScalingStacks

Proof. [01CK]

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

Proof.

For each t∈𝐑Nt\in\mathbf{R}^{N} let ftf_{t} be the upper envelope of the family of piecewise 𝐐\mathbf{Q}-affine convex functions ff on N𝐑N_{\mathbf{R}} such that f=gΔ+O⁡(1)f=g_{\Delta}+O(1) and f⁡(xi)≤tif(x_{i})\leq t_{i} for all ii, and let ∥⋅∥t\|\cdot\|_{t} be the corresponding continuous toric semipositive metric. By Proposition 8.6, each measure μw\mu_{w} with w∈𝐑+N∩{∑iwi=degL}w\in\mathbf{R}_{+}^{N}\cap\{\sum_{i}w_{i}=\deg L\} is of the form c1(L,∥⋅∥t)nc_{1}(L,\|\cdot\|_{t})^{n} for some t∈𝐑Nt\in\mathbf{R}^{N}. Now elementary Newton polytope considerations show that ftf_{t} is piecewise 𝐐\mathbf{Q}-affine when all tit_{i} are rational, and the result follows by continuity of t↦c1(L,∥⋅∥t)nt\mapsto c_{1}(L,\|\cdot\|_{t})^{n}. ∎

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