ScalingStacks

Definition 5.8 . [05BE]

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

Definition 5.8.

Let 𝔛\mathfrak{X} be a strongly nondegenerate polystable formal scheme with associated skeleton Δ\Delta and τ\tau an open face of Δ\Delta. A function h:τ→ℝh:\tau\rightarrow\mathbb{R} is called convex if there exists a surjective étale morphism φ:𝔛′→𝔛\varphi:\mathfrak{X}^{\prime}\rightarrow\mathfrak{X} with a strongly nondegenerate strictly polystable formal scheme 𝔛′\mathfrak{X}^{\prime} and an open face τ′\tau^{\prime} of the skeleton associated to 𝔛′\mathfrak{X}^{\prime} with φan​(τ′)=τ\varphi^{\textup{an}}(\tau^{\prime})=\tau such that h∘φan:τ′→ℝh\circ\varphi^{\textup{an}}:\tau^{\prime}\rightarrow\mathbb{R} is convex. For such a convex function hh on τ\tau we define MA⁡(h):=(φan|p𝔛′−1​(τ′))∗​MA⁡(h∘φan|τ′)\MA(h):=\left(\varphi^{\textup{an}}\Big|_{p_{\mathfrak{X}^{\prime}}^{-1}(\tau^{\prime})}\right)_{\ast}\MA\left(h\circ\varphi^{\textup{an}}\Big|_{\tau^{\prime}}\right). It will follow from Corollary 5.10 that this is independent of the choices.

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