ScalingStacks

Example 7.30 . [02XT]

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

Example 7.30.

In dimension 11, a polytope is an interval of the form Δ=[m0,m1]\Delta=[m_{0},m_{1}] for some mi∈ℤm_{i}\in\mathbb{Z}. The corresponding roof function in (7.20) writes down, for x∈[m0,m1]x\in[m_{0},m_{1}], as

(7.31) ϑ(x)=−∑i=1rciℓi(x)log(ℓi(x))\vartheta(x)=-\sum_{i=1}^{r}c_{i}\ell_{i}(x)\log(\ell_{i}(x))

for affine function ℓi=ui​x−λi\ell_{i}=u_{i}x-\lambda_{i} which take non negative values on the Δ\Delta and ci>0c_{i}>0

The polarized toric variety corresponding to Δ\Delta is ℙ1\mathbb{P}^{1} together with the ample divisor m1​[(0:1)]−m0​[(1:0)]m_{1}[(0:1)]-m_{0}[(1:0)]. Write L=𝒪ℙ1​(x1−x0)L={\mathcal{O}}_{\mathbb{P}^{1}}(x_{1}-x_{0}) for the associate line bundle and L¯{\overline{L}} for the adelic metrized line bundle corresponding to the function ϑ\vartheta. The Legendre-Fenchel dual to −ci​ℓi​(x)​log⁡(ℓi​(x))-c_{i}\ell_{i}(x)\log(\ell_{i}(x)) is the function fi:ℝ→ℝf_{i}\colon\mathbb{R}\rightarrow\mathbb{R} defined, for v∈ℝv\in\mathbb{R}, by

fi​(v)=λiui​v−ci​e−1−vci​ui.f_{i}(v)=\frac{\lambda_{i}}{u_{i}}v-c_{i}{\operatorname{e}}^{-1-\frac{v}{{c_{i}u_{i}}}}.

Therefore, the function ψ=ϑ∨\psi=\vartheta^{\vee} is the sup-convolution of these function, namely ψ=f1⊞⋯⊞fm\psi=f_{1}\boxplus\dots\boxplus f_{m} For the height, a simple computation shows that

hL¯⁡(ℙ1)=∫m0m1ϑ​d​x=∑i=1rci4​ui​[ℓi​(x)2​(1−2​log⁡(ℓi​(x)))]m0m1{\operatorname{h}_{\overline{L}}(\mathbb{P}^{1})}=\int_{m_{0}}^{m_{1}}\vartheta\,\text{\rm d}x=\sum_{i=1}^{r}\frac{c_{i}}{4u_{i}}\Big[\ell_{i}(x)^{2}\left(1-2\log(\ell_{i}(x))\right)\Big]^{m_{1}}_{m_{0}}

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