ScalingStacks

Proof. [02SW]

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.

By definition Xσan⊂ρΣ−1​(Xσ​(ℝ≥0))X_{\sigma}^{{\text{\rm an}}}\subset\rho_{\Sigma}^{-1}(X_{\sigma}(\mathbb{R}_{\geq 0})). For the reverse inclusion we will write only the non-Archimedean case. Assume that p∈ρΣ−1​(Xσ​(ℝ≥0))p\in\rho_{\Sigma}^{-1}(X_{\sigma}(\mathbb{R}_{\geq 0})). There is a σ′\sigma^{\prime} with p∈Xσ′anp\in X_{\sigma^{\prime}}^{{\text{\rm an}}}. Let τ=σ∩σ′\tau=\sigma\cap\sigma^{\prime} be the common face. Then pp is a multiplicative seminorm of K⁡[Mσ′]K[M_{\sigma^{\prime}}] and we show next that it can be extended to a multiplicative seminorm of K⁡[Mτ]K[M_{\tau}]. By [Ful93, §1.2 Proposition 2] there is an element u∈Mσ′u\in M_{\sigma^{\prime}} such that Mτ=Mσ′+ℤ≥0​(−u)M_{\tau}=M_{\sigma^{\prime}}+\mathbb{Z}_{\geq 0}(-u). Hence K⁡[Mτ]=K⁡[Mσ′+ℤ≥0​(−u)]K[M_{\tau}]=K[M_{\sigma^{\prime}}+\mathbb{Z}_{\geq 0}(-u)]. Since ρΣ​(p)∈Xτ​(ℝ≥0)\rho_{\Sigma}(p)\in X_{\tau}(\mathbb{R}_{\geq 0}) we have that |χu​(p)|≠0|\chi^{u}(p)|\not=0. Therefore pp extends to a multiplicative seminorm of K⁡[Mτ]K[M_{\tau}]. Hence p∈Xτan⊂Xσanp\in X^{{\text{\rm an}}}_{\tau}\subset X^{{\text{\rm an}}}_{\sigma}. ∎

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