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, is torsion for each fixed . Equivalently, for some positive integer . Since is upper semicontinuous in the Zariski topology, it follows that is trivial for a fixed independent of . Given any snc model , is torsion free of rank one, and hence a line bundle. The choice of a trivializing section yields a holomorphic section of , inducing a holomorphic family of trivializing sections of for . As a consequence, the family of volume forms has analytic singularities at , and the result is thus a consequence of Theorem A, since . ∎