ScalingStacks

Proposition 4.47 . [02QS]

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

Let Σ\Sigma be a complete fan in NℝN_{\mathbb{R}} and Ψ:Nℝ→ℝ\Psi\colon N_{\mathbb{R}}\to\mathbb{R} a support function on Σ\Sigma.

  1. (1)

    Let σ∈Σ\sigma\in\Sigma, FσF_{\sigma} the associated face of ΔΨ\Delta_{\Psi}, and mσ′∈Fσ∩Mm_{\sigma}^{\prime}\in F_{\sigma}\cap M. Let πσ:Nℝ→N​(σ)ℝ\pi_{\sigma}\colon N_{\mathbb{R}}\to N(\sigma)_{\mathbb{R}} be the natural projection. Then

    (4.48) (Ψ−mσ′)​(σ)=(πσ)∗​(Ψ−mσ′).(\Psi-m^{\prime}_{\sigma})(\sigma)=(\pi_{\sigma})_{\ast}(\Psi-m_{\sigma}^{\prime}).

    In particular, the restriction of DΨ−mσ′D_{\Psi-m^{\prime}_{\sigma}} to V⁡(σ)V(\sigma) is given by the concave function (πσ)∗​(Ψ−mσ′)(\pi_{\sigma})_{\ast}(\Psi-m_{\sigma}^{\prime}). Moreover, the associated polytope is

    (4.49) Δ(Ψ−mσ′)​(σ)=Fσ−mσ′⊂M​(σ)ℝ=σ⊥.\Delta_{(\Psi-m_{\sigma}^{\prime})(\sigma)}=F_{\sigma}-m_{\sigma}^{\prime}\subset M(\sigma)_{\mathbb{R}}=\sigma^{\bot}.
  2. (2)

    Let H:N′→NH\colon N^{\prime}\to N be a linear map and H∨:M→M′H^{\vee}\colon M\to M^{\prime} its dual map, where M′=(N′)∨M^{\prime}=(N^{\prime})^{\vee}. Let Σ′\Sigma^{\prime} be a fan in Nℝ′N^{\prime}_{\mathbb{R}} such that, for each σ′∈Σ′\sigma^{\prime}\in\Sigma^{\prime} there is σ∈Σ\sigma\in\Sigma with H⁡(σ′)⊂σH(\sigma^{\prime})\subset\sigma, and let p∈XΣ,0​(K)p\in X_{\Sigma,0}(K). Then

    (4.50) φp,H∗​DΨ=DH∗​Ψ,\varphi_{p,H}^{\ast}D_{\Psi}=D_{H^{\ast}\Psi},

    and the associated polytope is

    (4.51) ΔH∗​Ψ=H∨​(ΔΨ)⊂Mℝ′.\Delta_{H^{\ast}\Psi}=H^{\vee}(\Delta_{\Psi})\subset M^{\prime}_{\mathbb{R}}.

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