ScalingStacks

Definition 2.10 . [059M]

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 2.10.

Let Ξ”\Delta be a skeleton associated to a strongly nondegenerate strictly polystable formal scheme 𝔛′\mathfrak{X}^{\prime} over K∘K^{\circ}. A continuous function h:Δ→ℝh:\Delta\rightarrow\mathbb{R} is called piecewise affine linear if there exists a Ξ“\Gamma-rational polytopal subdivision 𝔇\mathfrak{D} of Ξ”\Delta such that for any canonical polysimplex Ξ”S\Delta_{S} of Ξ”\Delta, any formal open subset ψ:π”˜β†’π”›β‘(𝒏,𝒂,m)\psi:\mathfrak{U}\rightarrow\mathfrak{X}(\boldsymbol{n},\boldsymbol{a},m) of 𝔛′\mathfrak{X}^{\prime} whose distinguished stratum is SS and any Ξ”β€²βˆˆπ”‡\Delta^{\prime}\in\mathfrak{D} with Ξ”β€²βŠ†Ξ”S\Delta^{\prime}\subseteq\Delta_{S}, there exist π’Žβˆˆβ„€π’+𝟏\boldsymbol{m}\in\mathbb{Z}^{\boldsymbol{n}+\boldsymbol{1}} and α∈KΓ—\alpha\in K^{\times} such that h|Ξ”β€²=(π’Žβ‹…π’™+v⁑(Ξ±))∘ψan|Ξ”β€²h\Big|_{\Delta^{\prime}}=(\boldsymbol{m}\cdot\boldsymbol{x}+v(\alpha))\circ\psi^{\textup{an}}\Big|_{\Delta^{\prime}} (see Definition 2.3 for the notation and setting).

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