ScalingStacks

Proof. [02VG]

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.

By Proposition 5.67, the function ψ∥⋅∥\psi_{\|\cdot\|} is concave. By Proposition 5.52 it is also rational piecewise affine. By Corollary 5.47, the metric ∥⋅∥𝕊=∥⋅∥ψ\|\cdot\|_{\mathbb{S}}=\|\cdot\|_{\psi} is toric algebraic and semipositive. ∎

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