ScalingStacks

Proposition-Definition 5.2 . [02SX]

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

Proposition-Definition 5.2.

Assume that we are in the non-Archimedean case. For each γ∈Homsg⁡(Mσ,ℝ≥0)\gamma\in\operatorname{Hom}_{\operatorname{sg}}(M_{\sigma},\mathbb{R}_{\geq 0}), the seminorm that, to a function ∑αm​χm∈K⁡[Mσ]\sum\alpha_{m}\chi^{m}\in K[M_{\sigma}] assigns the value supm(|αm|​γ​(m))\sup_{m}(|\alpha_{m}|\gamma(m)), is a multiplicative seminorm on K⁡[Mσ]K[M_{\sigma}] that extends the norm of KK. Therefore it determines a point of XσanX^{{\text{\rm an}}}_{\sigma} that we denote as θσ​(γ)\theta_{\sigma}(\gamma). The maps θσ\theta_{\sigma} are injective, continuous and proper. Moreover, they glue together to define a map

θΣ:XΣ​(ℝ≥0)⟶XΣan\theta_{\Sigma}\colon X_{\Sigma}(\mathbb{R}_{\geq 0})\longrightarrow X_{\Sigma}^{{\text{\rm an}}}

that is injective, continuous and proper. Every point in the image of θΣ\theta_{\Sigma} is fixed under the action of 𝕊an\mathbb{S}^{{\text{\rm an}}}.

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