ScalingStacks

Proof. [04W5]

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

Proof.

We first notice that in the above statement, UU can be replaced by any smaller open set that meets all the log canonical centers: the closure of the restriction of ∑i=ℓ+1jΔi|U\sum^{j}_{i=\ell+1}\Delta_{i}|_{U} to U∩DU\cap D will yield the same divisor on DD.

Then by induction, we only need to treat the case where DD is a component of Δ\Delta, say Δ1\Delta_{1}. If we take a log resolution f:Y→(Z,Δ)f:Y\to(Z,\Delta) and let D′=Δ1′D^{\prime}=\Delta^{\prime}_{1} be the birational transform of DD, then ΔD\Delta_{D} can be computed as follows: if we write f∗​(KZ+Δ)|D′=KD′+ΔD′f^{*}(K_{Z}+\Delta)|_{D^{\prime}}=K_{D^{\prime}}+\Delta_{D^{\prime}} then ΔD=(f|D′)∗​(ΔD′)\Delta_{D}=(f|_{D^{\prime}})_{*}(\Delta_{D^{\prime}}). In particular, as KZ+ΔK_{Z}+\Delta is Cartier, we know that ΔD\Delta_{D} is a integral divisor. Since it is effective, and all the components of ΔD\Delta_{D} are log canonical centers of (X,Δ)(X,\Delta), we see that ΔD\Delta_{D} must be equal to the closure of the restriction of ∑i=2jΔi|U\sum^{j}_{i=2}\Delta_{i}|_{U}. ∎

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