ScalingStacks

Proof. [04MV]

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 π’³βŠ‚π’³Β―\mathscr{X}\subset\bar{\mathscr{X}} be a toric compactification of 𝒳\mathscr{X}, i.e. a proper toric RR-scheme containing 𝒳\mathscr{X} as a torus-invariant open subset. By the valuative criterion of properness, any valuation of 𝕋an\mathbb{T}^{\an} has a center on 𝒳¯\bar{\mathscr{X}}. We write c𝒳¯​(x)c_{\bar{\mathscr{X}}}(x) for the center of xβˆˆπ•‹anx\in\mathbb{T}^{\an}.

We start by proving that c𝒳¯​(΢​(val⁑(x))CLOSEc_{\bar{\mathscr{X}}}(\zeta(\val(x)) is the generic point of the minimal closed torus orbit ZZ in 𝒳¯\bar{\mathscr{X}} containing c𝒳¯​(x)c_{\bar{\mathscr{X}}}(x). We may work on the toric affine chart 𝒳σ=Spec⁑R⁑[ΟƒΛ‡βˆ©M^]\mathscr{X}_{\sigma}=\Spec R[\check{\sigma}\cap\hat{M}] associated with ZZ. Since the valuation ΢⁑(val⁑(x))\zeta(\val(x)) is monomial, it is enough to prove that ΢⁑(val⁑(x))​(zm)=vx​(zm)β‰₯0\zeta(\val(x))(z^{m})=v_{x}(z^{m})\geq 0 for mβˆˆΟƒΛ‡βˆ©Mm\in\check{\sigma}\cap M and that ΢​(val⁑(x))​(z)>0\zeta(\val(x))(z)>0 for zz a local equation of any torus invariant divisor containing ZZ, to have that c𝒳¯​(΢​(val⁑(x))CLOSEc_{\bar{\mathscr{X}}}(\zeta(\val(x)) lies in ZZ. Since zmz^{m} is regular on 𝒳σ\mathscr{X}_{\sigma}, the first condition holds; the local equation zz is monomial and ΢⁑(val⁑(x))​(z)=vx​(z)>0\zeta(\val(x))(z)=v_{x}(z)>0 since ZZ contains c𝒳¯​(x)c_{\bar{\mathscr{X}}}(x). Moreover, we conclude that c𝒳¯​(x)c_{\bar{\mathscr{X}}}(x) must be contained in the toric interior of ZZ by minimality of ZZ.

Now assume that vxv_{x} is centered on 𝒳\mathscr{X}, i.e. c𝒳¯​(x)βˆˆπ’³c_{\bar{\mathscr{X}}}(x)\in\mathscr{X}. Since 𝒳\mathscr{X} is torus-invariant and c𝒳¯​(x)∈Zc_{\bar{\mathscr{X}}}(x)\in Z, we have ZβŠ‚π’³Z\subset\mathscr{X}, hence its generic point c𝒳¯​(΢⁑(val⁑(x)))βˆˆπ’³c_{\bar{\mathscr{X}}}(\zeta(\val(x)))\in\mathscr{X}. This implies that ΢⁑(val⁑(x))\zeta(\val(x)) has center on 𝒳\mathscr{X}. Conversely, if ΢⁑(val⁑(x))\zeta(\val(x)) has a center on 𝒳\mathscr{X}, then ZβŠ‚π’³Z\subset\mathscr{X} and c𝒳¯​(x)∈Zc_{\bar{\mathscr{X}}}(x)\in Z as mentioned above; thus, c𝒳​(x)βˆˆπ’³c_{\mathscr{X}}(x)\in\mathscr{X}, which concludes the proof. ∎

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