ScalingStacks

Proof. [02RX]

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

Proof.

Denote by ι:XΣ=Xrec⁡(Π)→𝒳Π\iota\colon X_{\Sigma}=X_{\operatorname{rec}(\Pi)}\to{\mathcal{X}}_{\Pi} the open immersion of the generic fibre. The recession function (Definition 3.85) determines the restriction of the 𝕋\mathbb{T}-Cartier divisor to the fibre over the generic point. Therefore, when ψ\psi is an H-lattice function on Π\Pi with rec⁡(ψ)=Ψ\operatorname{rec}(\psi)=\Psi, we have that

(4.82) ι∗​Dψ=Drec⁡(ψ)=DΨ.\iota^{\ast}D_{\psi}=D_{\operatorname{rec}(\psi)}=D_{\Psi}.

Thus (𝒳Π,Dψ)({\mathcal{X}}_{\Pi},D_{\psi}) is a toric model of (XΣ,DΨ)(X_{\Sigma},D_{\Psi}). The statement follows from Theorem 4.60 and Theorem 4.80. ∎

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