ScalingStacks

Definition 4.74 . [02RM]

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

Definition 4.74.

Let Σ\Sigma be a complete fan in NℝN_{\mathbb{R}} and Ψ\Psi a virtual support function on Σ\Sigma. Let (XΣ,DΨ)(X_{\Sigma},D_{\Psi}) be the associated toric variety and 𝕋\mathbb{T}-Cartier divisor defined over KK. A toric model of (XΣ,DΨ)(X_{\Sigma},D_{\Psi}) is a triple (𝒳,D,e)({\mathcal{X}},D,e), where 𝒳{\mathcal{X}} is a toric model over SS of XX, DD is a 𝕋\mathbb{T}-Cartier divisor on 𝒳{\mathcal{X}} and e>0e>0 is an integer such that the isomorphism ι:XΣ→𝒳η\iota\colon X_{\Sigma}\to{\mathcal{X}}_{\eta} that extends the identity of 𝕋K\mathbb{T}_{K} satisfies ι∗​(D)=e​DΨ\iota^{\ast}(D)=eD_{\Psi}. When e=1e=1, the toric model (𝒳,D,1)({\mathcal{X}},D,1) will be denoted simply by (𝒳,D)({\mathcal{X}},D). A toric model will be called proper whenever the scheme 𝒳{\mathcal{X}} is proper over SS.

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