ScalingStacks

Proposition 5.80 . [02VR]

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

Proposition 5.80.

Let N1N_{1} and N2N_{2} be lattices and Σi\Sigma_{i} a complete fan in Ni,ℝN_{i,\mathbb{R}}, i=1,2i=1,2. Let H:N1→N2H\colon N_{1}\to N_{2} be a linear map such that, for each σ1∈Σ1\sigma_{1}\in\Sigma_{1}, there exists σ2∈Σ2\sigma_{2}\in\Sigma_{2} with H⁡(σ1)⊂σ2H(\sigma_{1})\subset\sigma_{2}. Let p∈XΣ2,0​(K)p\in X_{\Sigma_{2},0}(K) and write A:N1,ℝ→N2,ℝA\colon N_{1,\mathbb{R}}\to N_{2,\mathbb{R}} for the affine map A=H+val⁡(p)A=H+{\operatorname{val}}(p). Let ∥⋅∥\|\cdot\| be an approachable toric metric on 𝒪​(DΨ2)an{\mathcal{O}}(D_{\Psi_{2}})^{{\text{\rm an}}}. Then

ψφp.H∗∥⋅∥=A∗ψ∥⋅∥.\psi_{\varphi_{p.H}^{\ast}\|\cdot\|}=A^{*}\psi_{\|\cdot\|}.

Moreover, the Legendre-Fenchel dual of this function is given by

ψφp.H∗∥⋅∥∨=(H∨)∗(ψ∥⋅∥∨−val(p)).\psi_{\varphi_{p.H}^{\ast}\|\cdot\|}^{\vee}=(H^{\vee})_{*}\big(\psi^{\vee}_{\|\cdot\|}-{\operatorname{val}}(p)\big).

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