ScalingStacks

Proposition 3.2.4 . [04VC]

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

Proposition 3.2.4.

Let ๐’ณ\mathscr{X} be a dโ€‹lโ€‹tdlt-model of XX over ๐’ž\mathscr{C}, let ๐’ด\mathscr{Y} be a proper sโ€‹nโ€‹csnc-model of XX over ๐’ž\mathscr{C} and let h:๐’ดโ†’๐’ณh:\mathscr{Y}\to\mathscr{X} be a morphism of ๐’ž\mathscr{C}-models. Denote by ฮ”\Delta the log pullback of (๐’ณs)red(\mathscr{X}_{s})_{\mathrm{red}} to ๐’ด\mathscr{Y}. If we set

S={xโˆˆSkโก(๐’ด)|vxโ€‹(ฮ”)=vxโ€‹((๐’ดs)red)}S=\{x\in\mathrm{Sk}(\mathscr{Y})\,|\,v_{x}(\Delta)=v_{x}((\mathscr{Y}_{s})_{\mathrm{red}})\}

then Skโก(๐’ณ)=S\mathrm{Sk}(\mathscr{X})=S.

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