ScalingStacks

Proof. [015F]

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.

The first point is a simple consequence of the triviality of the normal bundle 𝒪𝒳0​(𝒳0){\mathcal{O}}_{{\mathcal{X}}_{0}}({\mathcal{X}}_{0}) together with the adjunction formula

KY=(K𝒳+∑i∈JEi)|Y,K_{Y}=(K_{\mathcal{X}}+\sum_{i\in J}E_{i})|_{Y},

canonically realized by Poincaré residues once an order on JJ has been chosen. When σ\sigma is a maximal face of Δ⁡(ℒ)\Delta({\mathcal{L}}), each EiE_{i} meeting YY properly satisfies κi>κmin\kappa_{i}>\kappa_{\min}, which implies that BYℒB^{\mathcal{L}}_{Y} has coefficients <1<1. ∎

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