ScalingStacks

Proof. [02UB]

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.

If there exists such a SCR polyhedral complex Π\Pi, then Π\Pi and ψ\psi determine a model of 𝒪⁡(DΨ)\mathcal{O}(D_{\Psi}) and hence a toric algebraic metric ∥⋅∥\|\cdot\|. By Proposition 5.41, ψ=ψ∥⋅∥\psi=\psi_{\|\cdot\|} and, by the classification of toric metrics in Proposition 5.16, the function ψ∥⋅∥−Ψ\psi_{\|\cdot\|}-\Psi extends to a continuous function on NΣN_{\Sigma}. ∎

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