ScalingStacks

Remark 3.18 . [027P]

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

Remark 3.18.

Assume that the absolute value |.||\raisebox{1.72218pt}{.}| is non-trivial. Let LL be an ample invertible sheaf on XX, equipped with a semipositive continuous metric hh. Then there exists a sequence {(𝒳n,ℒn)}n⩾1\{(\mathscr{X}_{n},\mathscr{L}_{n})\}_{n\geqslant 1}, where 𝒳n\mathscr{X}_{n} is a model of XX and ℒn\mathscr{L}_{n} is a nef invertible sheaf on 𝒳n\mathscr{X}_{n} such that ℒn|X=L⊗n\mathscr{L}_{n}|_{X}=L^{\otimes n} and that hn=(|.|ℒn​(x)1/n)x∈Xanh_{n}=(|\raisebox{1.72218pt}{.}|_{\mathscr{L}_{n}}(x)^{1/n})_{x\in X^{\mathrm{an}}} converges uniformly to hh. This follows from Proposition 3.10 and the comparison between quotient metrics and model metrics (via the embedding into the projective spaces of lattices). Combining with Proposition 3.17 and Corollary 3.11, we obtain that, in the non-trivial valuation case, our semipositivity coincides with that of Zhang [12] and Moriwaki [8]. We refer the readers to [6, §6] and to [2, §6.8] for the descriptions of the semipositivity in terms of plurisubharmonic currents. Note that their semipositivity is also equivalent to our semipositivity.

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