ScalingStacks

Proposition 2.33 . [02JF]

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

Let YY be a dd-dimensional subvariety of XX and L¯i=(Li,∥⋅∥i){\overline{L}}_{i}=(L_{i},\|\cdot\|_{i}), i=0,…,d−1i=0,\dots,d-1, a collection of approachable metrized line bundles on XX. For each ii, let (∥⋅∥i,l)l≥0(\|\cdot\|_{i,l})_{l\geq 0} be a sequence of semipositive smooth (in the Archimedean case) or algebraic (in the non-Archimedean case) metrics on LianL_{i}^{{\text{\rm an}}} that converge to ∥⋅∥i\|\cdot\|_{i}. Then the measures c1(L0,∥⋅∥0,l)∧⋯∧c1(Ld−1,∥⋅∥d−1,l)∧δY\operatorname{c}_{1}(L_{0},\|\cdot\|_{0,l})\land\dots\land\operatorname{c}_{1}(L_{d-1},\|\cdot\|_{d-1,l})\wedge\delta_{Y} converge weakly to a measure on XanX^{\text{\rm an}}.

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