Proof. [04MT]
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.
We start by proving the first equality. Let , we know from LemmaΒ 1.5.3 below that has a center on if and only if has a center on . Thus, it is enough to prove that for and , has a center on if and only if .
The elements are precisely the valuations invariant under the torus action, hence if has a center on , it must be the closure of a torus orbit . By [KKMSD73, Theorem 6], there exists a cone such that the generic point of is contained in the associated toric affine chart . In particular, for any monomial that is regular on , we have . In other words, writing , we have for all , so that . Since , .
By the same argument, if , there exists a cone such that , which means that has positive value on each monomial , and thus has a center on and in particular on .
To prove the second equality, since is the identity on , we merely have to prove that . However this follows directly from the definition of , and the fact that for by LemmaΒ 1.5.3. Indeed, only depends on the values , where is a local equation for a component of at . Since is a toric model, these local equations can be taken to be monomials, so that the result follows from the fact that and take the same values on monomials. β