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.
Let be a toric compactification of , i.e. a proper toric -scheme containing as a torus-invariant open subset. By the valuative criterion of properness, any valuation of has a center on . We write for the center of .
We start by proving that is the generic point of the minimal closed torus orbit in containing .
We may work on the toric affine chart associated with .
Since the valuation is monomial, it is enough to prove that for and that for a local equation of any torus invariant divisor containing , to have that lies in . Since is regular on , the first condition holds; the local equation is monomial and since contains . Moreover, we conclude that must be contained in the toric interior of by minimality of .
Now assume that is centered on , i.e. . Since is torus-invariant and , we have , hence its generic point . This implies that has center on .
Conversely, if has a center on , then and as mentioned above; thus, , which concludes the proof.
β