ScalingStacks

Proposition 4.103 . [02SK]

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

Let Π\Pi and ψ\psi be as before and let Λ∈Π\Lambda\in\Pi. Let mΛ∈Mm_{\Lambda}\in M and lΛ∈ℤl_{\Lambda}\in\mathbb{Z} be such that ψ|Λ=(mΛ+lΛ)|Λ\psi|_{\Lambda}=(m_{\Lambda}+l_{\Lambda})|_{\Lambda}. Let π~Λ:N~ℝ→N~​(Λ)ℝ{\widetilde{\pi}}_{\Lambda}\colon{\widetilde{N}}_{\mathbb{R}}\to{\widetilde{N}}(\Lambda)_{\mathbb{R}} be the projection, and π~Λ∨:M~​(Λ)ℝ→M~ℝ{\widetilde{\pi}}^{\vee}_{\Lambda}\colon{\widetilde{M}}(\Lambda)_{\mathbb{R}}\to{\widetilde{M}}_{\mathbb{R}} the dual map. Then

(4.104) (ψ−mΛ−lΛ)​(Λ)=(π~Λ)∗​(c⁡(ψ−mΛ−lΛ)).(\psi-m_{\Lambda}-l_{\Lambda})(\Lambda)=({\widetilde{\pi}}_{\Lambda})_{\ast}(\operatorname{c}(\psi-m_{\Lambda}-l_{\Lambda})).

Moreover, this is a support function on the fan Π⁡(Λ)\Pi(\Lambda). Its stability set is the polytope Δψ,Λ:=(π~Λ∨+(mΛ,lΛ))−1​epi⁡(−ψ∨)\Delta_{\psi,\Lambda}:=({\widetilde{\pi}}^{\vee}_{\Lambda}+(m_{\Lambda},l_{\Lambda}))^{-1}\operatorname{epi}(-\psi^{\vee}). Hence, the restriction of the divisor Dψ−mΛ−lΛD_{\psi-m_{\Lambda}-l_{\Lambda}} to the variety V⁡(Λ)V(\Lambda) is the divisor associated to the support function of Δψ,Λ\Delta_{\psi,\Lambda}

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