ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00QM

Proof. (Sketch) Using Lemma 3.5 and the holomorphic volume form formula (13), the neighbourhood of the toric boundary near 𝒜λ,σ∞\mathcal{A}_{\lambda,\sigma}^{\infty} only contributes O⁡(s−l)O(s^{-l}) to the normalised measure, where l=dimN​CΔ​(σ)l=\dim NC_{\Delta}(\sigma). The same lemmas imply (16) by summing over contributions from boundary type regions. In the toric region corresponding to the neighbourhood of ∂Δλ∨\partial\Delta_{\lambda}^{\vee}, the convergence of the normalised volume measure follows from Prop. 3.2 and formula (12). ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.