ScalingStacks

Proposition 4.13 . [05AU]

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

Let XX be a separated scheme of finite type over KK of dimension nn with line bundles L1,…,LnL_{1},...,L_{n} on XX. Let VV be an open subset of XanX^{\textup{an}} and ∥⋅∥i\|\cdot\|_{i} a continuous metric on Lian|VL_{i}^{\textup{an}}\Big|_{V} for each ii. Denote by L¯1,…,L¯n\overline{L}_{1},...,\overline{L}_{n} the line bundles L1an|V,…,Lnan|VL_{1}^{\textup{an}}\Big|_{V},...,L_{n}^{\textup{an}}\Big|_{V}, endowed with these metrics. For i∈{1,…,n}i\in\{1,...,n\} let (∥⋅∥i,k)k∈ℕ(\|\cdot\|_{i,k})_{k\in\mathbb{N}} be piecewise ℚ\mathbb{Q}-linear metrics on Li|VL_{i}\Big|_{V} converging uniformly to the continuous metric ∥⋅∥i\|\cdot\|_{i} on Li|VL_{i}\Big|_{V}. Suppose that all ∥⋅∥i,k\|\cdot\|_{i,k} are semipositive in VV. Denote by L¯i,k\overline{L}_{i,k} the line bundle Lian|VL_{i}^{\textup{an}}\Big|_{V} endowed with the metric ∥⋅∥i,k\|\cdot\|_{i,k}. Then the measures c1​(L¯1,k)∧…∧c1​(L¯n,k)c_{1}\left(\overline{L}_{1,k}\right)\wedge...\wedge c_{1}\left(\overline{L}_{n,k}\right) converge weakly to a positive Radon measure on VV.

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