5.4. Log discrepancies [016N]
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
5.4. Log discrepancies
Let be a model with -Cartier, and recall that denotes the set of divisorial valuations on such that . We define the log discrepancy as the log discrepancy of with respect to the pair , in the usual sense of the Minimal Model Program.
The log discrepancy function is characterized by the following property: if is a model over with proper birational morphism , then
| (5.2) |
with running over the irreducible components of .
We say that a model is log canonical (lc for short), Kawamata log terminal (klt) or divisorially log terminal (dlt) if the pair has this property, in the sense of the Minimal Model Program.
Since the generic fiber is smooth, a model is thus lc (resp. klt) if and only if is -Cartier, with log discrepancy function taking non-negative (resp. positive) values. If is lc, then the center of a valuation with is called an lc center of , and an lc model is dlt if and only if contains all lc centers. The irreducible components of each non-empty are then normal, with generic point contained in [Kol13, 4.16].
Example 5.3.
Assume that , and let be a dlt model. Each irreducible component is then a smooth curve. At a point , , is snc. At a closed point , is either regular, or has a cyclic quotient singularity.
Example 5.4.
Example 5.5.
If is any model such that has klt singularities (and hence is reduced), then is dlt, by inversion of adjunction.