ScalingStacks

Lemma 3.2 . [015E]

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 3.2.

Let Y⊂𝒳0Y\subset{\mathcal{X}}_{0} be a stratum corresponding to face σ\sigma of Δ⁡(𝒳)\Delta({\mathcal{X}}), and denote by J⊂IJ\subset I the set of irreducible components EiE_{i} cutting out YY. Then

BYℒ:=∑i∉J(1−(ai−κmin​bi))​Ei|YB^{\mathcal{L}}_{Y}:=\sum_{i\notin J}(1-(a_{i}-\kappa_{\min}b_{i}))E_{i}|_{Y}

is a ℚ{\mathbb{Q}}-divisor on YY with snc support, and we have a canonical identification

ℒ|Y=K(Y,BYℒ):=KY+BYℒ{\mathcal{L}}|_{Y}=K_{(Y,B^{\mathcal{L}}_{Y})}:=K_{Y}+B^{\mathcal{L}}_{Y}

as ℚ{\mathbb{Q}}-line bundles. If we further assume that σ\sigma is a maximal face of Δ⁡(ℒ)\Delta({\mathcal{L}}), then BYℒB^{\mathcal{L}}_{Y} has coefficients <1<1, so the pair (Y,BYℒ)(Y,B^{\mathcal{L}}_{Y}) is subklt.

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