ScalingStacks

Proof. [02TR]

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

Proof.

First observe that the condition li∈ℝl_{i}\in\mathbb{R} in the Archimedean case and li∈ℚl_{i}\in\mathbb{Q} in the non-Archimedean case is equivalent to the condition li∈ℚ​valK⁡(K×)l_{i}\in\mathbb{Q}\,{\operatorname{val}}_{K}(K^{\times}). Let e>0e>0 be an integer such that e​mi∈Mem_{i}\in M and e​li∈valK⁡(K×)el_{i}\in{\operatorname{val}}_{K}(K^{\times}) for i=0,…,ri=0,\dots,r.

Consider the linear map H:Nℝ→ℝrH\colon N_{\mathbb{R}}\to\mathbb{R}^{r} given by H⁡(u)=(e​mi​(u)−e​m0​(u))i=1,…,rH(u)=(em_{i}(u)-em_{0}(u))_{i=1,\dots,r} and the affine map A=H+𝒍A=H+\boldsymbol{l} with 𝒍=(e​li−e​l0)i=1,…,r\boldsymbol{l}=(el_{i}-el_{0})_{i=1,\dots,r}. By Lemma 3.79,

e​ψ=A∗​ΨΔr+e​m0+e​l0.e\psi=A^{\ast}\Psi_{\Delta^{r}}+em_{0}+el_{0}.

We claim that, for each σ∈Σ\sigma\in\Sigma there exists σi0∈ΣΔr\sigma_{i_{0}}\in\Sigma_{\Delta^{r}} such that H⁡(σ)⊂σi0H(\sigma)\subset\sigma_{i_{0}}. Indeed, Ψ⁡(u)=mini⁡{mi​(u)}\Psi(u)=\min_{i}\{m_{i}(u)\}. Since Ψ\Psi is a support function on Σ\Sigma, for each σ∈Σ\sigma\in\Sigma, there exists an i0i_{0} such that Ψ​(u)=mi0​(u)\Psi(u)=m_{i_{0}}(u) for all u∈σu\in\sigma. Writing e0∨=0e_{0}^{\vee}=0, this condition implies

min0≤i≤r⁡{ei∨​(H⁡(u))}=ei0∨​(H⁡(u))for all ​u∈σ.\min_{0\leq i\leq r}\{e_{i}^{\vee}(H(u))\}=e_{i_{0}}^{\vee}(H(u))\quad\text{for all }u\in\sigma.

Hence, H⁡(σ)⊂σi0H(\sigma)\subset\sigma_{i_{0}}, where σi0∈ΣΔr\sigma_{i_{0}}\in\Sigma_{\Delta^{r}} is the cone {v|min0≤i≤r⁡{ei∨​(v)}=ei0∨​(v)}\{v|\min_{0\leq i\leq r}\{e_{i}^{\vee}(v)\}=e_{i_{0}}^{\vee}(v)\} and the claim is proved.

Therefore, we can apply Theorem 4.9 and given a point p∈ℙrr​(K)p\in\mathbb{P}^{r}_{r}(K) such that valK⁡(p)=𝒍{\operatorname{val}}_{K}(p)=\boldsymbol{l}, there is an equivariant map φp,H:XΣ→ℙr\varphi_{p,H}\colon X_{\Sigma}\to\mathbb{P}^{r}. By Example 4.44, there is an isomorphism L⊗e≃φp,H∗​𝒪​(1)L^{\otimes e}\simeq\varphi_{p,H}^{*}\mathcal{O}(1) and a∈K×a\in K^{\times} with valK⁡(a)=l0{\operatorname{val}}_{K}(a)=l_{0} such that (a−1​χ−m0​s)⊗e(a^{-1}\chi^{-m_{0}}s)^{\otimes e} corresponds to φp,H∗​(sΨΔr)\varphi_{p,H}^{*}(s_{\Psi_{\Delta^{r}}}).

Let L¯{\overline{L}} be the line bundle LL equipped with the metric induced by the above isomorphism and the canonical metric of 𝒪​(1)an\mathcal{O}(1)^{{\text{\rm an}}}. Then

ψL¯,s=ψL¯,a−1​χ−m0​s+m0+l0=1e​A∗​ΨΔr+m0+l0=ψ,\psi_{{\overline{L}},s}=\psi_{{\overline{L}},a^{-1}\chi^{-m_{0}}s}+m_{0}+l_{0}=\frac{1}{e}A^{\ast}\Psi_{\Delta^{r}}+m_{0}+l_{0}=\psi,

as stated. ∎

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