ScalingStacks

Remark 6.23 . [02WG]

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

Remark 6.23.

In the integrable case, the toric height can be expressed as an alternating sum of mixed integrals as follows. Let L¯i=(Li,∥⋅∥i){\overline{L}}_{i}=(L_{i},\|\cdot\|_{i}), i=0,…,ni=0,\dots,n, be toric line bundles on XΣX_{\Sigma} equipped with integrable toric metrics and set L¯i=L¯i,+⊗(L¯i,−)−1{\overline{L}}_{i}={\overline{L}}_{i,+}\otimes({\overline{L}}_{i,-})^{-1} for some approachable metrized toric line bundles L¯i,+{\overline{L}}_{i,+}, L¯i,−{\overline{L}}_{i,-}. Choose a toric section for each line bundle and write ϑi,+\vartheta_{i,+} and ϑi,−\vartheta_{i,-} for the corresponding roof functions. Then

hL¯0,…,L¯ntor⁡(XΣ)=∑ε0,…,εn∈{±1}ε0​…​εn​MIM​(ϑ0,ε0,…,ϑn,εn).\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}_{0},\dots,{\overline{L}}_{n}}(X_{\Sigma})=\sum_{\varepsilon_{0},\dots,\varepsilon_{n}\in\{\pm 1\}}\varepsilon_{0}\dots\varepsilon_{n}\operatorname{MI}_{M}(\vartheta_{{0},\varepsilon_{0}},\dots,\vartheta_{n,\varepsilon_{n}}).

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