ScalingStacks

Subsubsection [04UT]

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

(2.2.1) A dโ€‹lโ€‹tdlt-model of XX is a normal proper ๐’ž\mathscr{C}-model ๐’ณ\mathscr{X} of XX such that (๐’ณ,(๐’ณs)red)(\mathscr{X},(\mathscr{X}_{s})_{\mathrm{red}}) is a dโ€‹lโ€‹tdlt-pair. This means that (๐’ณ,(๐’ณs)red)(\mathscr{X},(\mathscr{X}_{s})_{\mathrm{red}}) is log canonical and that each log canonical center of (๐’ณ,(๐’ณs)red)(\mathscr{X},(\mathscr{X}_{s})_{\mathrm{red}}) has non-empty intersection with ๐’ณsnc\mathscr{X}^{\mathrm{snc}}. In particular, every proper sโ€‹nโ€‹csnc-model of XX is a dโ€‹lโ€‹tdlt-model. An equivalent formulation of the definition is the following: K๐’ณ+(๐’ณs)redK_{\mathscr{X}}+(\mathscr{X}_{s})_{\mathrm{red}} is โ„š\mathbb{Q}-Cartier, and for every log resolution h:๐’ดโ†’๐’ณh:\mathscr{Y}\to\mathscr{X} of (๐’ณ,๐’ณs)(\mathscr{X},\mathscr{X}_{s}) and every irreducible component EE of ๐’ดs\mathscr{Y}_{s}, the multiplicity of EE in the log pullback ฮ”\Delta of (๐’ณs)red(\mathscr{X}_{s})_{\mathrm{red}} to ๐’ด\mathscr{Y} is at most 11. Moreover, if it is equal to 11, then hโก(E)h(E) must have non-empty intersection with ๐’ณsnc\mathscr{X}^{\mathrm{snc}}. In practice, we will apply the dโ€‹lโ€‹tdlt property via Lemma 3.2.3 below.

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