ScalingStacks

Proof. [02QK]

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 Ψ\Psi is a strictly concave function on Σ\Sigma, then ΔΨ\Delta_{\Psi} is an nn-dimensional lattice polytope. Conversely, if Δ\Delta is a lattice polytope in MℝM_{\mathbb{R}}, then ΨΔ\Psi_{\Delta}, the support function of Δ\Delta, is a strictly concave function on the complete fan ΣΔ=Π⁡(ΨΔ)\Sigma_{\Delta}=\Pi(\Psi_{\Delta}) (see examples 3.71 and 3.76). Therefore, the result follows from Theorem 4.18 and the construction of Remark 4.40. ∎

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