ScalingStacks

Proposition 2.37 . [02JM]

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

Proposition 2.37.

Let YY be a dd-dimensional cycle of XX, L¯i=(Li,∥⋅∥i){\overline{L}}_{i}=(L_{i},\|\cdot\|_{i}), i=0,…,di=0,\dots,d, a collection of integrable metrized line bundles, and sds_{d} a rational section of LdL_{d} such that div⁡(sd)\operatorname{div}(s_{d}) intersects YY properly. Then log⁡‖sd‖\log\|s_{d}\| is integrable with respect to the measure c1⁡(L¯0)∧⋯∧c1⁡(L¯d−1)∧δY\operatorname{c}_{1}({\overline{L}}_{0})\land\dots\land\operatorname{c}_{1}({\overline{L}}_{d-1})\wedge\delta_{Y}.

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