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
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
538 source-bound objects; statement and proof tags appear beside their original text.