ScalingStacks

Proposition 5.27 . [02TQ]

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

Proposition 5.27.

Let Σ\Sigma be a complete fan in NN and Ψ\Psi a support function on Σ\Sigma. Write L=LΨL=L_{\Psi} and s=sΨs=s_{\Psi}. Let ψ:Nℝ→ℝ\psi\colon N_{\mathbb{R}}\to\mathbb{R} a piecewise affine concave function with rec⁡(ψ)=Ψ\operatorname{rec}(\psi)=\Psi, that has an HH-representation

ψ=mini=0,…,r⁡{mi+li},\psi=\min_{i=0,\dots,r}\{m_{i}+l_{i}\},

with mi∈Mℚm_{i}\in M_{\mathbb{Q}} and li∈ℝl_{i}\in\mathbb{R} in the Archimedean case and li∈ℚl_{i}\in\mathbb{Q} in the non-Archimedean case. Then there is an equivariant morphism φ:XΣ→ℙr\varphi\colon X_{\Sigma}\to\mathbb{P}^{r}, an integer e>0e>0 and an isomorphism L⊗e≃φ∗​𝒪​(1)L^{\otimes e}\simeq\varphi^{\ast}\mathcal{O}(1) such that the metric induced on LanL^{{\text{\rm an}}} by the canonical metric of 𝒪​(1)an\mathcal{O}(1)^{{\text{\rm an}}} agrees with ∥⋅∥ψ\|\cdot\|_{\psi}.

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