ScalingStacks

Proposition 4.78 . [02RR]

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

Let (XΣ,DΨ)(X_{\Sigma},D_{\Psi}) be a toric variety with a 𝕋\mathbb{T}-Cartier divisor. Every toric model (𝒳,D,e)({\mathcal{X}},D,e) of (XΣ,DΨ)(X_{\Sigma},D_{\Psi}) induces a model (𝒳,𝒪⁡(D),e)({\mathcal{X}},\mathcal{O}(D),e) of (XΣ,LΨ)(X_{\Sigma},L_{\Psi}), in the sense of Definition 2.16, where the identification of 𝒪⁡(D)|XΣ\mathcal{O}(D)|_{X_{\Sigma}} with LΨ⊗eL_{\Psi}^{\otimes e} matches the toric sections. Such models will be called toric models.

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