ScalingStacks

Corollary 5.47 . [02UF]

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

Corollary 5.47.

Let Σ\Sigma be a complete fan and let Ψ\Psi be a support function on Σ\Sigma. Let ψ\psi be a rational piecewise affine concave function on NℝN_{\mathbb{R}} with rec⁡(ψ)=Ψ\operatorname{rec}(\psi)=\Psi and let ∥⋅∥\|\cdot\| be the metric defined by any model of (XΣ,LΨ)(X_{\Sigma},L_{\Psi}) in the equivalence class determined by ψ\psi. Then the equality ψ∥⋅∥=ψ\psi_{\|\cdot\|}=\psi holds. So the metric ∥⋅∥\|\cdot\| agrees with the metric ∥⋅∥ψ\|\cdot\|_{\psi} of Proposition 5.16. Moreover, the algebraic metric ∥⋅∥\|\cdot\| is semipositive.

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