ScalingStacks

Theorem 3.3.1 . [01KD]

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

Theorem 3.3.1.

Let XX be a projective variety of dimension nn over FF. Let L¯\overline{L} be an ample line bundle on XX with a semi-positive adelic metric such that e⁡(L¯)=(c^1​(L¯)n+1|X)=0e(\overline{L})=({\widehat{c}}_{1}(\overline{L})^{n+1}|X)=0. Let (xj)(x_{j}) be a generic sequence of algebraic point in XX such that hL¯​(xj)→0h_{\overline{L}}(x_{j})\rightarrow 0. Then, for any line bundle M¯\overline{M} on XX with an admissible adelic metric,

limj→∞hM¯​(xj)=(c^1​(L¯)n​c^1​(M¯)|X)(c1​(L)n|X).\lim_{j\rightarrow\infty}h_{\overline{M}}(x_{j})=\frac{({\widehat{c}}_{1}(\overline{L})^{n}{\widehat{c}}_{1}(\overline{M})|X)}{(c_{1}(L)^{n}|X)}.

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