ScalingStacks

Theorem 6.37 . [02WW]

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

Let Σ\Sigma be a complete fan on NℝN_{\mathbb{R}}. 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} generated by its global sections and equipped with approachable adelic toric metrics. For each ii, let sis_{i} be a toric section of LiL_{i}. Then the height of XΣX_{\Sigma} with respect to L¯0,…,L¯n{\overline{L}}_{0},\dots,{\overline{L}}_{n} is

(6.38) hL¯0,…,L¯n⁡(XΣ)=\displaystyle\operatorname{h}_{{\overline{L}}_{0},\dots,{\overline{L}}_{n}}(X_{\Sigma})= [∑v∈𝔐𝕂nv​MIM​(ϑL¯0v,s0,…,ϑL¯nv,sn)]∈ℝ/def⁡(𝕂×).\displaystyle\left[\sum_{v\in\mathfrak{M}_{\mathbb{K}}}n_{v}\operatorname{MI}_{M}(\vartheta_{{\overline{L}}_{0}^{v},s_{0}},\dots,\vartheta_{{\overline{L}}_{n}^{v},s_{n}})\right]\in\mathbb{R}/\operatorname{def}(\mathbb{K}^{\times}).

In particular, if L¯0=⋯=L¯n=L¯{\overline{L}}_{0}=\dots={\overline{L}}_{n}={\overline{L}}, let ss be a toric section and put Δ=stab⁡(ψL¯v,s)\Delta=\operatorname{stab}(\psi_{{\overline{L}}^{v},s}). Then

hL¯⁡(XΣ)=[(n+1)!​∑v∈𝔐𝕂nv​∫ΔϑL¯v,s​d​volM].\operatorname{h}_{{\overline{L}}}(X_{\Sigma})=\left[(n+1)!\sum_{v\in\mathfrak{M}_{\mathbb{K}}}n_{v}\int_{\Delta}\vartheta_{{\overline{L}}^{v},s}\,\text{\rm d}\operatorname{vol}_{M}\right].

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