ScalingStacks

Theorem 5.33 . [02TY]

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

Let ∥⋅∥\|\cdot\| be a semipositive smooth toric metric on LanL^{{\text{\rm an}}}. Let c1​(L¯)n∧δXΣc_{1}({\overline{L}})^{n}\land\delta_{X_{\Sigma}} be the measure defined by L¯{\overline{L}}. Then,

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

where val{\operatorname{val}} is the map of diagram (5.7). In addition, this measure is uniquely characterized by equation (5.34) and the property of being 𝕊an\mathbb{S}^{{\text{\rm an}}}-invariant.

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