ScalingStacks

Proof. [02VB]

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.

Since ∥⋅∥\|\cdot\| is semipositive, c1(L,∥⋅∥)∧δXΣc_{1}(L,\|\cdot\|)\land\delta_{X_{\Sigma}} is a positive measure. By Corollary 5.65, c1(L,∥⋅∥𝕊)∧δXΣc_{1}(L,\|\cdot\|_{\mathbb{S}})\land\delta_{X_{\Sigma}} is a positive measure. Hence ∥⋅∥𝕊\|\cdot\|_{\mathbb{S}} is a semipositive toric metric. By equation (5.64) and Lemma 5.60, the positivity of c1(L,∥⋅∥𝕊)∧δXΣc_{1}(L,\|\cdot\|_{\mathbb{S}})\land\delta_{X_{\Sigma}} implies that the function ψ∥⋅∥=ψ∥⋅∥𝕊\psi_{\|\cdot\|}=\psi_{\|\cdot\|_{\mathbb{S}}} is concave. ∎

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