ScalingStacks

Corollary 4.15 . [05AX]

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

Corollary 4.15.

Let XX be a separated scheme of finite type over KK of dimension nn. Let M1,…,MnM_{1},...,M_{n} be line bundles on XanX^{\textup{an}}, VV an open subset of XanX^{\textup{an}} and 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 M1|V,…,Mn|VM_{1}\Big|_{V},...,M_{n}\Big|_{V} converging uniformly to a continuous metric ∥⋅∥i\|\cdot\|_{i} on Mi|VM_{i}\Big|_{V}. Suppose that all ∥⋅∥i,k\|\cdot\|_{i,k} are semipositive in VV. Write M¯i,k:=(Mi,∥⋅∥i,k)\overline{M}_{i,k}:=\left(M_{i},\|\cdot\|_{i,k}\right) and let L¯1,…,L¯n\overline{L}_{1},...,\overline{L}_{n} be line bundles on XanX^{\textup{an}} endowed with piecewise ℚ\mathbb{Q}-linear metrics on VV. Then the measures c1​(L¯1⊗M¯1,k)∧…∧c1​(L¯n⊗M¯n,k)c_{1}\left(\overline{L}_{1}\otimes\overline{M}_{1,k}\right)\wedge...\wedge c_{1}\left(\overline{L}_{n}\otimes\overline{M}_{n,k}\right) converge weakly to a Radon measure on VV denoted by c1(L¯1⊗(M1,∥⋅∥1))∧…∧c1(L¯n⊗(Mn,∥⋅∥n))c_{1}(\overline{L}_{1}\otimes(M_{1},\|\cdot\|_{1}))\wedge...\wedge c_{1}(\overline{L}_{n}\otimes(M_{n},\|\cdot\|_{n})) (as above this measure does not depend on the choice of the ∥⋅∥i,k\|\cdot\|_{i,k}).

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