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 the open immersion of the generic fibre. The recession function (Definition 3.85) determines the restriction of the -Cartier divisor to the fibre over the generic point. Therefore, when is an H-lattice function on with , we have that
| (4.82) |
Thus is a toric model of . The statement follows from Theorem 4.60 and Theorem 4.80. ∎