ScalingStacks

Theorem 6.6 . [02W8]

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

Let Σ\Sigma be a complete fan on NℝN_{\mathbb{R}}. Let L¯=(L,∥⋅∥){\overline{L}}=(L,\|\cdot\|) be a toric line bundle on XΣX_{\Sigma}, generated by global sections, and equipped with an approachable toric metric. Choose any toric section ss of LL; let Ψ\Psi be the associated support function on Σ\Sigma, and put ΔΨ=stab⁡(Ψ)\Delta_{\Psi}=\operatorname{stab}(\Psi) for the associated polytope. Then, the toric local height of XΣX_{\Sigma} with respect to L¯{\overline{L}} is given by

(6.7) hL¯tor⁡(XΣ)=(n+1)!​λK​∫ΔΨψL¯,s∨​d​volM.\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(X_{\Sigma})=(n+1)!\lambda_{K}\int_{\Delta_{\Psi}}\psi_{{\overline{L}},s}^{\vee}\,\text{\rm d}\operatorname{vol}_{M}.

where d​volM\,\text{\rm d}\operatorname{vol}_{M} is the unique Haar measure of MℝM_{\mathbb{R}} such that the co-volume of MM is one and ψL¯,s∨\psi_{{\overline{L}},s}^{\vee} is the Legendre-Fenchel dual to the function ψL¯,s\psi_{{\overline{L}},s} associated to (L¯,s)({\overline{L}},s) in Definition 5.14.

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