ScalingStacks

Proof. [02TF]

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.

Let s′s^{\prime} be another toric section of LL. Then there is an element m∈Mm\in M such that s′=χm​ss^{\prime}=\chi^{m}s. The corresponding virtual support function is Ψ′=Ψ−m\Psi^{\prime}=\Psi-m. Denote by ∥⋅∥\|\cdot\| and ∥⋅∥′\|\cdot\|^{\prime} the metrics associated to s,Ψs,\Psi and to s′,Ψ′s^{\prime},\Psi^{\prime} respectively. Then

‖s⁡(p)‖′=‖χ−m​s′​(p)‖′=eλK​(m+Ψ′)​(val⁡(p))=eλK​Ψ​(val⁡(p))=‖s⁡(p)‖.\|s(p)\|^{\prime}=\|\chi^{-m}s^{\prime}(p)\|^{\prime}=\operatorname{e}^{\lambda_{K}(m+\Psi^{\prime})({\operatorname{val}}(p))}=\operatorname{e}^{\lambda_{K}\Psi({\operatorname{val}}(p))}=\|s(p)\|.

Thus both metrics agree. ∎

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