ScalingStacks

Proof. [04VT]

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 Proposition 3.3.2, it is enough to show that Sk⁡(𝒳)\mathrm{Sk}(\mathscr{X}) is contained in the right hand side of (3.3.5). Shrinking 𝒞\mathscr{C} around ss if necessary, we can assume that m​K𝒳+m​(𝒳s)redmK_{\mathscr{X}}+m(\mathscr{X}_{s})_{\mathrm{red}} is generated by global sections ω1,…,ωr\omega_{1},\ldots,\omega_{r}. Then for each point xx on 𝒳ssnc\mathscr{X}^{\mathrm{snc}}_{s}, we can choose an index ii in {1,…,r}\{1,\ldots,r\} such that div𝒳snc​(ωi)+m​(𝒳s)red\mathrm{div}_{\mathscr{X}^{\mathrm{snc}}}(\omega_{i})+m(\mathscr{X}_{s})_{\mathrm{red}} is an effective divisor on 𝒳\mathscr{X} and xx is not contained in its support. This implies that the weight wtωi\mathrm{wt}_{\omega_{i}} of ωi\omega_{i} is zero at all points of Sk⁡(𝒳)∩red𝒳−1​(x)\mathrm{Sk}(\mathscr{X})\cap\mathrm{red}_{\mathscr{X}}^{-1}(x) and non-negative at all other points of XKanX^{\mathrm{an}}_{K}. Thus Sk⁡(𝒳)∩red𝒳−1​(x)\mathrm{Sk}(\mathscr{X})\cap\mathrm{red}_{\mathscr{X}}^{-1}(x) is contained in Sk⁡(XK,ωi)\mathrm{Sk}(X_{K},\omega_{i}). Varying the point xx, we find that Sk⁡(𝒳)\mathrm{Sk}(\mathscr{X}) is contained in

⋃i=1rSk⁡(XK,ωi).\bigcup_{i=1}^{r}\mathrm{Sk}(X_{K},\omega_{i}).

∎

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