ScalingStacks

Paragraph [01KC]

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

The proofs by Ullmo and Zhang of Bogomolov’s conjecture make a fundamental use of an equidistribution principle which had been discovered together with Szpiro [50]. Let us first introduce a terminology : say a sequence (or a net) of algebraic points in a variety XX over a number field is generic if any strict subvariety of XX contains at most finitely terms of the sequence.

Let L¯\overline{L} be a line bundle on XX with a semi-positive adelic metric. The idea of the equidistribution principle is to consider a generic sequence (xj)(x_{j}) such that hL¯​(xj)→e⁡(L¯)h_{\overline{L}}(x_{j})\rightarrow e(\overline{L}), i.e., realizing the equality in Zhang’s inequality, and to use this inequality further, as a variational principle. Let vv be a place of FF ; for any nn, let δ​(xj)v\delta(x_{j})_{v} be the probability measure on XvX_{v} which gives any conjugate of xjx_{j} the same mass, 1/[F(xj):F]1/[F(x_{j}):F]. The equidistribution theorem states that for a generic sequence (xj)(x_{j}), the sequence of measures (δ​(xj)v)(\delta(x_{j})_{v}) on XvX_{v} converges vaguely towards the measure c1​(L¯)vn/(c1​(L)n|X)c_{1}(\overline{L})^{n}_{v}/(c_{1}(L)^{n}|X).

In these papers, the equidistribution property was only investigated at an archimedean place, but the introduction of the measures on Berkovich spaces was motivated by potential equidistribution theorems on those. In [18], I was able to prove general results on curves only. Indeed, unless XX is a curve, I needed an ampleness assumption on the metrized line bundle L¯\overline{L} in order to apply Zhang’s inequality to slight variations of it. This requirement has been removed by a paper of Yuan [55] who could understand arithmetic volumes beyond the ample case. Yuan’s proof is an arithmetic analogue of an inequality of Siu [49] which Faber [28] and Gubler [38] used to prove the geometric case of the equidistribution theorem.

In [19], we considered more general variations of the metrized line bundles. The discussion in that article was restricted to the arithmetic case but the arguments extend to the geometric case.

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)}.

The particular case stated above is equivalent to loc.cit., Lemma 6.1, as one can see by by multiplying the metric on L¯\overline{L} by an adequate constant at some place of FF. Taking for MM the trivial line bundle 𝒪X\mathscr{O}_{X}, with an admissible metric, one recovers the equidistribution theorems of Yuan, Faber and Gubler.

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