ScalingStacks

Remark 5.1 . [05B3]

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

Remark 5.1.

Let 𝔛\mathfrak{X} be a strongly nondegenerate strictly polystable formal scheme over K∘K^{\circ} of dimension n+1n+1 with associated skeleton Ξ”\Delta. Consider an nn-dimensional closed face τ¯\bar{\tau} of Ξ”\Delta with interior Ο„\tau and the formal open subscheme 𝔛′\mathfrak{X}^{\prime} of 𝔛\mathfrak{X} consisting of all formal open subsets π”˜\mathfrak{U} with S⁑(π”˜)=τ¯S(\mathfrak{U})=\bar{\tau}. Let hh be a piecewise affine linear convex function (see Definition 2.10) on τ¯\bar{\tau} and 𝔇\mathfrak{D} a subdivision of τ¯\bar{\tau} such that h|Ξ”β€²h\Big|_{\Delta^{\prime}} is affine linear for all Ξ”β€²βˆˆπ”‡\Delta^{\prime}\in\mathfrak{D}. Let ΞΉ:𝔛′′→𝔛′\iota:\mathfrak{X}^{\prime\prime}\rightarrow\mathfrak{X}^{\prime} be the corresponding formal scheme (cf. Construction 2.6). We have seen in Proposition 2.11 that hh induces a Cartier divisor DD on 𝔛′′\mathfrak{X}^{\prime\prime}. We set π’ͺ⁑(h∘p𝔛′):=π’ͺ⁑(D)\mathcal{O}(h\circ p_{\mathfrak{X}^{\prime}}):=\mathcal{O}(D) where p𝔛′:𝔛′a​n→τ¯p_{\mathfrak{X}^{\prime}}:\mathfrak{X}^{\prime an}\rightarrow\overline{\tau} is the restriction of the contraction p𝔛:𝔛anβ†’Ξ”p_{\mathfrak{X}}:\mathfrak{X}^{\textup{an}}\rightarrow\Delta. For a line bundle 𝔏\mathfrak{L} on a formal scheme, we will denote by c1​(𝔏)c_{1}(\mathfrak{L}) the first Chern class of the special fibre of 𝔏\mathfrak{L}.

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