ScalingStacks

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 xβˆˆπ•‹anx\in\mathbb{T}^{\an}, we know from LemmaΒ 1.5.3 below that xx has a center on 𝒳\mathscr{X} if and only if ΢⁑(val⁑(x))\zeta(\val(x)) has a center on 𝒳\mathscr{X}. Thus, it is enough to prove that for n∈Nℝn\in N_{\mathbb{R}} and y=΢⁑(n)y=\zeta(n), yy has a center on 𝒳\mathscr{X} if and only if n∈|Ξ£1|n\in\lvert\Sigma_{1}\rvert.
The elements y∈΢⁑(Nℝ)y\in\zeta(N_{\mathbb{R}}) are precisely the valuations invariant under the torus action, hence if yy has a center on 𝒳\mathscr{X}, it must be the closure of a torus orbit YβŠ‚π’³kY\subset\mathscr{X}_{k}. By [KKMSD73, Theorem 6], there exists a cone ΟƒβˆˆΞ£^\sigma\in\hat{\Sigma} such that the generic point of YY is contained in the associated toric affine chart 𝒳σ=Spec⁑R⁑[ΟƒΛ‡βˆ©M^]\mathscr{X}_{\sigma}=\Spec R[\check{\sigma}\cap\hat{M}]. In particular, for any monomial zmz^{m} that is regular on 𝒳σ\mathscr{X}_{\sigma}, we have vy​(zm)β‰₯0v_{y}(z^{m})\geq 0. In other words, writing y=΢⁑(n)y=\zeta(n), we have ⟨n,m⟩β‰₯0\langle n,m\rangle\geq 0 for all mβˆˆΟƒΛ‡m\in\check{\sigma}, so that nβˆˆΟƒn\in\sigma. Since vy​(t)=1v_{y}(t)=1, y∈΢⁑(|Ξ£1|)y\in\zeta(\lvert\Sigma_{1}\rvert).
By the same argument, if n∈|Ξ£1|n\in\lvert\Sigma_{1}\rvert, there exists a cone Οƒ\sigma such that nβˆˆΟƒn\in\sigma, which means that v΢⁑(n)v_{\zeta(n)} has positive value on each monomial mβˆˆΟƒΛ‡m\in\check{\sigma}, and thus has a center on 𝒳σ\mathscr{X}_{\sigma} and in particular on 𝒳\mathscr{X}.

To prove the second equality, since ρ𝒳\rho_{\mathscr{X}} is the identity on ΢⁑(|Ξ£1|)=Sk⁑(𝒳)\zeta(\lvert\Sigma_{1}\rvert)=\Sk(\mathscr{X}), we merely have to prove that ρ𝒳=Οπ’³βˆ˜val\rho_{\mathscr{X}}=\rho_{\mathscr{X}}\circ\val. However this follows directly from the definition of ρ𝒳\rho_{\mathscr{X}}, and the fact that c𝒳​(x)∈c𝒳​(΢​(val⁑(x)))Β―c_{{\mathscr{X}}}(x)\in\overline{c_{{\mathscr{X}}}(\zeta(\val(x)))} for xβˆˆπ’³^Ξ·x\in\widehat{\mathscr{X}}_{\eta} by LemmaΒ 1.5.3. Indeed, ρ𝒳​(x)\rho_{\mathscr{X}}(x) only depends on the values vx​(z)v_{x}(z), where zz is a local equation for a component of 𝒳k\mathscr{X}_{k} at c𝒳​(x)c_{\mathscr{X}}(x). Since 𝒳\mathscr{X} is a toric model, these local equations can be taken to be monomials, so that the result follows from the fact that xx and ΢⁑(val⁑(x))\zeta(\val(x)) take the same values on monomials. ∎

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