ScalingStacks

Lemma B.3 . [05C2]

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

Lemma B.3.

Let XX be a proper scheme over KK and L¯\overline{L} a line bundle on XX with an algebraic metric ∥⋅∥L¯\|\cdot\|_{\overline{L}}. Let ∥⋅∥\|\cdot\| be a piecewise ℚ\mathbb{Q}-linear metric on 𝒪Xan\mathcal{O}_{X^{\textup{an}}} such that ∥⋅∥L¯⊗∥⋅∥\|\cdot\|_{\overline{L}}\otimes\|\cdot\| is a semipositive piecewise ℚ\mathbb{Q}-linear metric. Let 𝒳\mathscr{X} be an algebraic model of XX such that L¯\overline{L} has a model ℒ\mathscr{L} on 𝒳\mathscr{X} and set φ:=−log⁡‖1‖\varphi:=-\log\|1\|. Then there is a sequence (𝔞n)n∈ℕ(\mathfrak{a}_{n})_{n\in\mathbb{N}} of vertical coherent fractional ideals on 𝒳\mathscr{X} and a sequence (dn)n∈ℕ(d_{n})_{n\in\mathbb{N}} of positive integers such that 1dn​log⁡|𝔞n|\frac{1}{d_{n}}\log|\mathfrak{a}_{n}| converges uniformly to φ\varphi.

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