ScalingStacks

Theorem 3.3.4 . [04VS]

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

Theorem 3.3.4.

If KXK_{X} is semi-ample over CC and ๐’ณ\mathscr{X} is a good minimal dโ€‹lโ€‹tdlt-model of XX over ๐’ž\mathscr{C}, then

Skโก(XK)=Skโก(๐’ณ).\mathrm{Sk}(X_{K})=\mathrm{Sk}(\mathscr{X}).

Moreover, if mm is a positive integer such that mโ€‹K๐’ณ+mโ€‹(๐’ณs)redmK_{\mathscr{X}}+m(\mathscr{X}_{s})_{\mathrm{red}} is Cartier and generated by global sections ฯ‰1,โ€ฆ,ฯ‰r\omega_{1},\ldots,\omega_{r} over some neighbourhood of ss in ๐’ž\mathscr{C}, then

(3.3.5) Skโก(XK)=โ‹ƒi=1rSkโก(XK,ฯ‰i).\mathrm{Sk}(X_{K})=\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.