ScalingStacks

Subsection [04X4]

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.3) Let ๐’ณ\mathscr{X} be a good minimal dlt-model of XX. We need to make the following technical assumption: the strata of ๐’ณk\mathscr{X}_{k} are precisely the log canonical centers of the pair (๐’ณ,๐’ณk,red)(\mathscr{X},\mathscr{X}_{k,\mathrm{red}}) that are contained in ๐’ณk\mathscr{X}_{k}. By the definition of a dlt-model, every log canonical center of (๐’ณ,๐’ณk,red)(\mathscr{X},\mathscr{X}_{k,\mathrm{red}}) is a stratum. The converse implication is known when ๐’ณ\mathscr{X} is defined over an algebraic curve [Ko13, 4.16]. We will prove in Corollary 4.4 that it also holds when ๐’ณk\mathscr{X}_{k} is reduced, which is the most important case for our purposes. We expect that the assumption is always satisfied, but the relevant parts of the Minimal Model Program have not been written down for RR-schemes. In any case, if our technical assumption holds, we can proceed in the following way.

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