ScalingStacks

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

We refer to [dFKX12], [NX13, §2.2] and [KNX15] for more details and references on what follows.

Let 𝒳{\mathcal{X}} be a model with K𝒳logK^{\mathrm{log}}_{\mathcal{X}} ℚ{\mathbb{Q}}-Cartier, and recall that 𝒳div{\mathcal{X}}^{\mathrm{div}} denotes the set of divisorial valuations vv on 𝒳{\mathcal{X}} such that v⁡(t)=1v({t})=1. We define the log discrepancy A𝒳​(v)A_{\mathcal{X}}(v) as the log discrepancy of vv with respect to the pair (𝒳,𝒳0,red)({\mathcal{X}},{\mathcal{X}}_{0,\mathrm{red}}), in the usual sense of the Minimal Model Program.

The log discrepancy function A𝒳:𝒳div→ℚA_{\mathcal{X}}\colon{\mathcal{X}}^{\mathrm{div}}\to{\mathbb{Q}} is characterized by the following property: if 𝒳′{\mathcal{X}}^{\prime} is a model over 𝒳{\mathcal{X}} with proper birational morphism ρ:𝒳′→𝒳\rho\colon{\mathcal{X}}^{\prime}\to{\mathcal{X}}, then

K𝒳′log=ρ∗​K𝒳log+∑EbE​A𝒳​(vE)​E,K^{\mathrm{log}}_{{\mathcal{X}}^{\prime}}=\rho^{*}K^{\mathrm{log}}_{\mathcal{X}}+\sum_{E}b_{E}A_{\mathcal{X}}(v_{E})E, (5.2)

with EE running over the irreducible components of 𝒳0′{\mathcal{X}}^{\prime}_{0}.

We say that a model 𝒳{\mathcal{X}} is log canonical (lc for short), Kawamata log terminal (klt) or divisorially log terminal (dlt) if the pair (𝒳,𝒳0,red)({\mathcal{X}},{\mathcal{X}}_{0,\mathrm{red}}) has this property, in the sense of the Minimal Model Program.

Since the generic fiber XX is smooth, a model 𝒳{\mathcal{X}} is thus lc (resp. klt) if and only if K𝒳logK^{\mathrm{log}}_{\mathcal{X}} is ℚ{\mathbb{Q}}-Cartier, with log discrepancy function A𝒳:𝒳div→ℚA_{\mathcal{X}}\colon{\mathcal{X}}^{\mathrm{div}}\to{\mathbb{Q}} taking non-negative (resp. positive) values. If 𝒳{\mathcal{X}} is lc, then the center c𝒳​(v)∈𝒳0c_{\mathcal{X}}(v)\in{\mathcal{X}}_{0} of a valuation v∈𝒳divv\in{\mathcal{X}}^{\mathrm{div}} with A𝒳​(v)=0A_{\mathcal{X}}(v)=0 is called an lc center of 𝒳{\mathcal{X}}, and an lc model 𝒳{\mathcal{X}} is dlt if and only if 𝒳snc{\mathcal{X}}_{\mathrm{snc}} contains all lc centers. The irreducible components of each non-empty EJE_{J} are then normal, with generic point contained in 𝒳snc{\mathcal{X}}_{\mathrm{snc}} [Kol13, 4.16].

Example 5.3.

Assume that dimX=1\dim X=1, and let 𝒳{\mathcal{X}} be a dlt model. Each irreducible component EiE_{i} is then a smooth curve. At a point ξ∈Ei∩Ej\xi\in E_{i}\cap E_{j}, i≠ji\neq j, 𝒳{\mathcal{X}} is snc. At a closed point ξ∈E̊i\xi\in\mathring{E}_{i}, 𝒳{\mathcal{X}} is either regular, or has a cyclic quotient singularity.

Example 5.4.

If 𝒳{\mathcal{X}} is toroidal, then 𝒳{\mathcal{X}} is lc, and 𝒳{\mathcal{X}} is dlt if and only if it is snc. Following [dFKX12, KNX15], we could say that an lc model 𝒳{\mathcal{X}} is qdlt (for quotient of dlt) if its lc centers are contained in a toroidal open subset 𝒰⊂𝒳{\mathcal{U}}\subset{\mathcal{X}}.

Example 5.5.

If 𝒳{\mathcal{X}} is any model such that 𝒳0{\mathcal{X}}_{0} has klt singularities (and hence is reduced), then 𝒳{\mathcal{X}} is dlt, by inversion of adjunction.

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