ScalingStacks

Lemma 4.1.6 . [04W4]

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

Lemma 4.1.6.

Let (Z,Δ=∑i=1jΔi)(Z,\Delta=\sum^{j}_{i=1}\Delta_{i}) be a reduced d​l​tdlt-pair over kk such that KZ+ΔK_{Z}+\Delta is Cartier. Let DD be a log canonical center and let Δ1,…,Δℓ\Delta_{1},\ldots,\Delta_{\ell} be the irreducible components of Δ\Delta that contain DD. Let UU be the maximal open subset of ZZ where ZZ is smooth and Δ\Delta is a divisor with strict normal crossings. If we write (KZ+Δ)|D=KD+ΔD(K_{Z}+\Delta)|_{D}=K_{D}+\Delta_{D}, then ΔD\Delta_{D} is equal to the closure of the restriction of ∑i=ℓ+1jΔi|U\sum^{j}_{i=\ell+1}\Delta_{i}|_{U} to U∩DU\cap D.

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