ScalingStacks

Definition 6.7 . [02FH]

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

Definition 6.7.

A pair (V,Δ)(V,\Delta) is klt iff KV+ΔK_{V}+\Delta is ℚ\mathbb{Q}-Cartier and if for any log-resolution π:X→V\pi:X\to V of (V,Δ)(V,\Delta), we have the numerical equivalence of Cartier divisors:

N⁡(KX+Δ′)≅π∗​N​(KV+Δ)+∑E​e​x​c.N​aE​EN(K_{X}+\Delta^{\prime})\cong\pi^{*}N(K_{V}+\Delta)+\sum_{E\ exc.}Na_{E}E

with aE>−1a_{E}>-1, Δ′\Delta^{\prime} the proper transform of Δ\Delta in XX (same multiplicities) and NN is an integer such that N⁡(KV+Δ)N(K_{V}+\Delta) is Cartier.

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