ScalingStacks

Lemma 5.12 . [0175]

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

If YY is a stratum of 𝒳0{\mathcal{X}}_{0} corresponding to a face σ\sigma of Δ⁡(ℒ)\Delta({\mathcal{L}}), then Y⊄supp⁡DY\not\subset\operatorname{supp}D. It follows that the ℚ{\mathbb{Q}}-Cartier divisor

BYℒ:=BY−D|YB^{\mathcal{L}}_{Y}:=B_{Y}-D|_{Y}

is well-defined, and we have a canonical identification ℒ|Y=K(Y,BYℒ){\mathcal{L}}|_{Y}=K_{(Y,B^{\mathcal{L}}_{Y})} as ℚ{\mathbb{Q}}-line bundles. Further, if σ\sigma is a maximal face of Δ⁡(ℒ)\Delta({\mathcal{L}}), then 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.