ScalingStacks

Proposition 2.3.3 . [01JH]

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

Let X¯\overline{X} a the analytic space associated to a proper KK-scheme. Let L¯1,L¯2,…,L¯k\overline{L}_{1},\overline{L}_{2},\dots,\overline{L}_{k} be admissible metrized line bundles on X\mathrm{X}. Let Z\mathrm{Z} be a kk-dimensional Zariski closed subset of X\mathrm{X}. Assume that L¯1\overline{L}_{1} is strongly pluriharmonic on U\mathrm{U}. Then, the support of the measure c1​(L¯1)​…​c1​(L¯k)​δZc_{1}(\overline{L}_{1})\dots c_{1}(\overline{L}_{k})\delta_{\mathrm{Z}} is disjoint from U\mathrm{U}.

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