ScalingStacks

Proof. [02UM]

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.

As in the proof of Proposition 5.16, we can verify that the function ψ∥⋅∥−Ψ\psi_{\|\cdot\|}-\Psi can be extended to a continuous function on NΣN_{\Sigma}. Using that θ0\theta_{0} is a section of ρ0\rho_{0} and the image of θ0\theta_{0} consists of points which are fixed under the action of 𝕊an\mathbb{S}^{{\text{\rm an}}}, we also verify that ∥⋅∥𝕊\|\cdot\|_{\mathbb{S}} is the toric metric associated to ψ∥⋅∥\psi_{\|\cdot\|} by the same proposition. ∎

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