ScalingStacks

Proposition 5.75 . [02VP]

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.75.

Let ∥⋅∥\|\cdot\| be an approachable toric metric on LanL^{{\text{\rm an}}}, and denote L¯=(L,∥⋅∥){\overline{L}}=(L,\|\cdot\|) and ψ=ψL¯,s\psi=\psi_{{\overline{L}},s} the associated concave function on NℝN_{\mathbb{R}}. Let σ∈Σ\sigma\in\Sigma and mσ∈Mm_{\sigma}\in M such that Ψ|σ=mσ|σ\Psi|_{\sigma}=m_{\sigma}|_{\sigma}. Let πσ:Nℝ→N​(σ)ℝ\pi_{\sigma}\colon N_{\mathbb{R}}\to N(\sigma)_{\mathbb{R}} be the projection, πσ∨:M​(σ)ℝ→Mℝ\pi^{\vee}_{\sigma}\colon M(\sigma)_{\mathbb{R}}\to M_{\mathbb{R}} the dual inclusion and ι:V⁡(σ)→X\iota\colon V(\sigma)\to X the closed immersion. Set s′=χmσ​ss^{\prime}=\chi^{m_{\sigma}}s. Then

(5.76) ψι∗​L¯,ι∗​s′=(πσ)∗​(ψ−mσ).\psi_{\iota^{\ast}{\overline{L}},\iota^{\ast}s^{\prime}}=(\pi_{\sigma})_{\ast}(\psi-m_{\sigma}).

Dually, we have that

(5.77) ψι∗​L¯,ι∗​s′∨=(πσ∨+mσ)∗​ψ∨.\psi_{\iota^{\ast}{\overline{L}},\iota^{\ast}s^{\prime}}^{\vee}=(\pi^{\vee}_{\sigma}+m_{\sigma})^{\ast}\psi^{\vee}.

In other words, the Legendre-Fenchel dual of ψι∗​L¯,ι∗​s′\psi_{\iota^{\ast}{\overline{L}},\iota^{\ast}s^{\prime}} is the restriction of ψ∨\psi^{\vee} to the face FσF_{\sigma} translated by −mσ-m_{\sigma}.

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