ScalingStacks

Theorem 8.7 . [02Y5]

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

Let 0<m1<⋯<mr0<m_{1}<\dots<m_{r} be integer numbers with gcd⁡(m1,…,mr)=1\gcd(m_{1},\dots,m_{r})=1, and p1,…,pr∈K×p_{1},\dots,p_{r}\in K^{\times}. Let φ:𝕋→ℙr\varphi\colon\mathbb{T}\to\mathbb{P}^{r} be the map given by φ(t)=(1:p1tm1:…:prtmr)\varphi(t)=(1:p_{1}t^{m_{1}}:\dots:p_{r}t^{m_{r}}) and let YY be the closure of the image of φ\varphi. Consider the polynomial q∈K⁡[z]q\in K[z] defined as

q={1+∑j=1r|pj|2​zmj, in the Archimedean case,1+∑j=1rpj​zmj, in the non-Archimedean case.\displaystyle q=\begin{cases}1+\sum_{j=1}^{r}|p_{j}|^{2}z^{m_{j}},&\text{ in the Archimedean case},\\ 1+\sum_{j=1}^{r}p_{j}z^{m_{j}},&\text{ in the non-Archimedean case}.\end{cases}

Let {ξi}i⊂K¯×\{\xi_{i}\}_{i}\subset{\overline{K}}^{\times} be the set of roots of qq and, for each ii, let ℓi∈ℕ\ell_{i}\in\mathbb{N} be the multiplicity of ξi\xi_{i}. Let L¯{\overline{L}} and ss be as in Proposition 8.1. Then, in the Archimedean case,

  1. (1)

    ψL¯,s​(u)=−log⁡|pr|−12​∑iℓi​log⁡|e−2​u−ξi|\displaystyle\psi_{{\overline{L}},s}(u)=-\log|p_{r}|-\frac{1}{2}\sum_{i}\ell_{i}\log|\operatorname{e}^{-2u}-\xi_{i}| for u∈ℝu\in\mathbb{R},

  2. (2)

    ℳℤ(ψL¯,s)=−2∑iℓiξi​e2​u(1−ξi​e2​u)2du\displaystyle{\mathcal{M}}_{\mathbb{Z}}(\psi_{{\overline{L}},s})=-2\sum_{i}\ell_{i}\frac{\xi_{i}\operatorname{e}^{2u}}{(1-\xi_{i}\operatorname{e}^{2u})^{2}}\,\,\text{\rm d}u,

  3. (3)

    hL¯tor⁡(Y)=mr​log⁡|pr|+12​∑iℓi2+12​∑i<jℓi​ℓj​ξi+ξjξi−ξj​(log⁡(−ξi)−log⁡(−ξj))\displaystyle\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(Y)=m_{r}\log|p_{r}|+\frac{1}{2}\sum_{i}\ell_{i}^{2}+\frac{1}{2}\sum_{i<j}\ell_{i}\ell_{j}\frac{\xi_{i}+\xi_{j}}{\xi_{i}-\xi_{j}}(\log(-\xi_{i})-\log(-\xi_{j})), where log\log is the principal determination of the logarithm.

While in the non-Archimedean case,

  1. (4)

    ψL¯,s​(u)=valK⁡(pr)+∑iℓi​min⁡{u,valK¯⁡(ξi)}\displaystyle\psi_{{\overline{L}},s}(u)={\operatorname{val}}_{K}(p_{r})+\sum_{i}\ell_{i}\min\{u,{\operatorname{val}}_{{\overline{K}}}(\xi_{i})\} for u∈ℝu\in\mathbb{R},

  2. (5)

    ℳℤ​(ψL¯,s)=∑iℓi​δvalK¯⁡(ξi)\displaystyle{\mathcal{M}}_{\mathbb{Z}}(\psi_{{\overline{L}},s})=\sum_{i}\ell_{i}\delta_{{\operatorname{val}}_{{\overline{K}}}(\xi_{i})},

  3. (6)

    hL¯tor⁡(Y)=mr​log⁡|pr|+∑i<jℓi​ℓj​log⁡(max⁡{1,|ξi|/|ξj|})\displaystyle\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(Y)=m_{r}\log|p_{r}|+\sum_{i<j}\ell_{i}\ell_{j}\log(\max\{1,|\xi_{i}|/|\xi_{j}|\}).

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