ScalingStacks

Theorem 5.81 . [02VT]

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

Theorem 5.81.

Let Σ\Sigma be a complete fan of NℝN_{\mathbb{R}}, let Ψ\Psi be a support function on Σ\Sigma and let L=𝒪⁡(DΨ)L=\mathcal{O}(D_{\Psi}). Let ∥⋅∥\|\cdot\| be an approachable metric on LanL^{{\text{\rm an}}} and let ψ=ψ∥⋅∥\psi=\psi_{\|\cdot\|} be the corresponding concave function. Then

(5.82) (valK)∗​(c1​(L¯)n∧δXΣ)=n!​ℳ¯M​(ψ).({\operatorname{val}}_{K})_{\ast}(c_{1}(\overline{L})^{n}\land\delta_{X_{\Sigma}})=n!{\overline{\mathcal{M}}}_{M}(\psi).

Moreover, the measure c1​(L¯)n∧δXΣc_{1}(\overline{L})^{n}\land\delta_{X_{\Sigma}} is characterized, in the Archimedean case, by equation (5.82) and the fact of being toric, while in the non-Archimedean case it is given by

c1​(L¯)n∧δXΣ=(θΣ)∗​(𝐞K)∗​n!​ℳ¯M​(ψ).c_{1}(\overline{L})^{n}\land\delta_{X_{\Sigma}}=(\theta_{\Sigma})_{\ast}({\operatorname{\mathbf{e}}}_{K})_{\ast}n!{\overline{\mathcal{M}}}_{M}(\psi).

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