ScalingStacks

Proof. [018A]

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.

As recalled above, KXtK_{X_{t}} is torsion for each fixed tt. Equivalently, h0​(Xt,r​KXt)=1h^{0}(X_{t},rK_{X_{t}})=1 for some positive integer rr. Since t↦h0​(Xt,r​KXt)t\mapsto h^{0}(X_{t},rK_{X_{t}}) is upper semicontinuous in the Zariski topology, it follows that r​KXtrK_{X_{t}} is trivial for a fixed rr independent of tt. Given any snc model π:𝒳→𝔻\pi\colon{\mathcal{X}}\to{\mathbb{D}}, π∗​𝒪​(r​K𝒳/𝔻)\pi_{*}{\mathcal{O}}(rK_{{\mathcal{X}}/{\mathbb{D}}}) is torsion free of rank one, and hence a line bundle. The choice of a trivializing section yields a holomorphic section η\eta of K𝒳/𝔻K_{{\mathcal{X}}/{\mathbb{D}}}, inducing a holomorphic family ηt\eta_{t} of trivializing sections of r​KXtrK_{X_{t}} for t≠0t\neq 0. As a consequence, the family of volume forms νt:=|ηt|2/r\nu_{t}:=|\eta_{t}|^{2/r} has analytic singularities at t=0t=0, and the result is thus a consequence of Theorem A, since μt=νt/νt​(Xt)\mu_{t}=\nu_{t}/\nu_{t}(X_{t}). ∎

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