ScalingStacks

Corollary 6.39 . [02WY]

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

Corollary 6.39.

Let H:N→ℤrH\colon N\to\mathbb{Z}^{r} be an injective map such that H⁡(N)H(N) is a saturated sublattice of ℤr\mathbb{Z}^{r}, p∈ℙr​(𝕂)p\in\mathbb{P}^{r}(\mathbb{K}) and Y⊂ℙrY\subset\mathbb{P}^{r} the closure of the image of the map φH,p:𝕋→ℙr\varphi_{H,p}\colon\mathbb{T}\to\mathbb{P}^{r}. Let m0∈Mm_{0}\in M and mi=ei∨∘H+m0∈Mm_{i}=e_{i}^{\vee}\circ H+m_{0}\in M, i=1,…,ri=1,\dots,r, and write p=(p0:…:pr)p=(p_{0}:\dots:p_{r}) with pi∈𝕂×p_{i}\in\mathbb{K}^{\times}. Let Δ=conv⁡(m0,…,mr)⊂Mℝ\Delta=\operatorname{conv}(m_{0},\dots,m_{r})\subset M_{\mathbb{R}} and ϑv:Δ→ℝ\vartheta_{v}\colon\Delta\to\mathbb{R} the function parameterizing the upper envelope of the extended polytope conv⁡((m0,log⁡|p0|v),…,(mr,log⁡|pr|v))⊂Mℝ×ℝ.\operatorname{conv}\left((m_{0},\log|p_{0}|_{v}),\dots,(m_{r},\log|p_{r}|_{v})\right)\subset M_{\mathbb{R}}\times\mathbb{R}. Then YY is integrable and

hO⁡(1)¯can⁡(Y)=[(n+1)!​∑v∈𝔐𝕂nv​∫Δϑv​d​volM]∈ℝ/def⁡(𝕂×).\operatorname{h}_{{\overline{O(1)}}^{{\operatorname{can}}}}(Y)=\left[(n+1)!\sum_{v\in\mathfrak{M}_{\mathbb{K}}}n_{v}\int_{\Delta}\vartheta_{v}\,\text{\rm d}\operatorname{vol}_{M}\right]\in\mathbb{R}/\operatorname{def}(\mathbb{K}^{\times}).

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