ScalingStacks

Example 4.109 . [02SS]

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

Example 4.109.

Let Σ\Sigma be a complete fan in NℝN_{\mathbb{R}} and Ψ\Psi a support function on Σ\Sigma. By Theorem 4.97, any equivalence class of semipositive models of (XΣ,DΨ)(X_{\Sigma},D_{\Psi}) is determined by a rational piecewise affine concave function ψ\psi with rec⁡(ψ)=Ψ\operatorname{rec}(\psi)=\Psi. By Lemma 3.79, any such function can be realized as the inverse image by an affine map of the support function of a standard simplex. Using the previous proposition, any equivalence class of semipositive toric models can be induced by an equivariant projective morphism.

More explicitly, let e>0e>0 be an integer such that e​ψe\psi is an H-lattice concave function. Let Π\Pi be a complete SCR complex in NℝN_{\mathbb{R}} compatible by e​ψe\psi and such that rec⁡(Π)=Σ\operatorname{rec}(\Pi)=\Sigma (see the proof of Theorem 4.97). Then, (𝒳Π,De​ψ,e)({\mathcal{X}}_{\Pi},D_{e\psi},e) is a toric model of (XΣ,DΨ)(X_{\Sigma},D_{\Psi}) in the class determined by ψ\psi.

Choose an H-representation e​ψ​(u)=min0≤i≤r⁡(mi​(u)+li)e\psi(u)=\min_{0\leq i\leq r}(m_{i}(u)+l_{i}) with (mi,li)∈M~(m_{i},l_{i})\in{\widetilde{M}} for i=0,…,ri=0,\dots,r. Put 𝜶=(l1−l0,…,lr−l0)\boldsymbol{\alpha}=(l_{1}-l_{0},\dots,l_{r}-l_{0}). Let HH and AA be as in Lemma 3.79. In our case, HH is a morphism of lattices and

(4.110) e​ψ=A∗​ΨΔr+m0+l0.e\psi=A^{\ast}\Psi_{\Delta^{r}}+m_{0}+l_{0}.

We follow examples 4.3, 4.26, 4.44 and 4.75, and consider ℙSr\mathbb{P}^{r}_{S} as a toric scheme over SS. Let p=(p0:…:pr)p=(p_{0}:\dots:p_{r}) be a rational point in the principal open subset of ℙKr\mathbb{P}^{r}_{K} such that val⁡(p)=𝜶{\operatorname{val}}(p)=\boldsymbol{\alpha}. One can verify that the hypothesis of Proposition 4.72 are satisfied. Let Φp,A:𝒳Π→ℙSr\Phi_{p,A}\colon{\mathcal{X}}_{\Pi}\to\mathbb{P}^{r}_{S} be the associated morphism. Then

De​ψ=Φp,A∗​DΨΔr+div⁡(ϖ−l0​χ−m0).D_{e\psi}=\Phi_{p,A}^{\ast}D_{\Psi_{\Delta^{r}}}+\operatorname{div}(\varpi^{-l_{0}}\chi^{-m_{0}}).

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