ScalingStacks

Lemma 3.2.3 . [04VA]

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

Lemma 3.2.3.

Let ๐’ณ\mathscr{X} be a dโ€‹lโ€‹tdlt-model of XX and let h:๐’ดโ†’๐’ณh:\mathscr{Y}\to\mathscr{X} be a log resolution of (๐’ณ,๐’ณs)(\mathscr{X},\mathscr{X}_{s}). Denote by ฮ”\Delta the log pullback of (๐’ณs)red(\mathscr{X}_{s})_{\mathrm{red}} to ๐’ด\mathscr{Y}. Let xx be a point of Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}) such that red๐’ณโ€‹(x)\mathrm{red}_{\mathscr{X}}(x) does not lie in ๐’ณsnc\mathscr{X}^{\mathrm{snc}}. Then ฮ”<(๐’ดs)red\Delta<(\mathscr{Y}_{s})_{\mathrm{red}} locally at red๐’ดโ€‹(x)\mathrm{red}_{\mathscr{Y}}(x).

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