1.1 Models [04M9]
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
1.1 Models
Let be a separated scheme of finite type over . A separated flat -scheme of finite type together with an isomorphism of -schemes is called an -model of . We denote by the special fiber of , and by the group of Weil divisors on supported on the special fiber.
If is a normal variety and a Weil divisor on , whose irreducible decomposition is , a stratum of is a connected component of an intersection for some . An open stratum of is a stratum minus the irreducible components of not containing ; this is denoted by .
Definition 1.1.1.
Let be a model of . We say that is a dlt (divisorially log terminal) model of if the following conditions hold:
- -
the pair is log canonical in the sense of the Minimal Model Program (see [KM98]);
- -
the pair is simple normal crossing at the generic points of log canonical centers of .
We will not give a precise definition of log canonical centers here, and refer the reader to [KM98]. However, if is dlt and defined over an algebraic curve - which is the most relevant case for applications - then the log canonical centers of are precisely the strata of by [Kol13, 4.16], so that a dlt model is simple normal crossing at the generic points of the strata of . If is reduced, it follows from the approximation arguments of [NXY19, Corollary 4.4] that this holds in the general case as well.
A dlt model is good if each irreducible component of is -Cartier. See [NXY19, Β§1.12-1.14] for an overview on existence results of such models.