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 be a good minimal dlt-model of . We need to make the following technical assumption: the strata of are precisely the log canonical centers of the pair that are contained in . By the definition of a dlt-model, every log canonical center of is a stratum. The converse implication is known when is defined over an algebraic curve [Ko13, 4.16]. We will prove in Corollary 4.4 that it also holds when 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 -schemes. In any case, if our technical assumption holds, we can proceed in the following way.