ScalingStacks

Theorem 4.80 . [02RU]

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

Theorem 4.80.

Let Π\Pi be a complete SCR polyhedral complex in NℝN_{\mathbb{R}} and let 𝒳Π{\mathcal{X}}_{\Pi} be the associated toric scheme over SS. The correspondence ψ↦Dψ\psi\mapsto D_{\psi} is an isomorphism between the group of H-lattice functions on Π\Pi and the group of 𝕋\mathbb{T}-Cartier divisors on 𝒳Π{\mathcal{X}}_{\Pi}. Moreover, if ψ1\psi_{1} and ψ2\psi_{2} are two H-lattice functions on Π\Pi, then the divisors Dψ1D_{\psi_{1}} and Dψ2D_{\psi_{2}} are rationally equivalent if and only if ψ1−ψ2\psi_{1}-\psi_{2} is affine.

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