ScalingStacks

Theorem 5.70 . [02VI]

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

Let ∥⋅∥\|\cdot\| be a toric semipositive algebraic metric on LanL^{{\text{\rm an}}} and let ψ=ψ∥⋅∥\psi=\psi_{\|\cdot\|} be the associated function on NℝN_{\mathbb{R}}. Let c1​(L¯)n∧δXΣc_{1}(\overline{L})^{n}\land\delta_{X_{\Sigma}} be the associated measure. Then

(5.71) (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),

where ℳ¯​(ψ){\overline{\mathcal{M}}}(\psi) is the measure of Definition 5.32. Moreover,

(5.72) 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.