ScalingStacks

Bogomolov’s conjecture [01KB]

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

Bogomolov’s conjecture

Let XX be a projective smooth curve of genus g≥2g\geq 2 and let L¯\overline{L} be an ample line bundle on XX with a canonical metric inducing the Néron–Tate height. When FF is a number field, Bogomolov conjectured in [14] that e⁡(L¯)>0e(\overline{L})>0 ; this conjecture has been shown by Ullmo [53]. Its generalization to a subvariety XX of an Abelian variety AA, LL being an ample line bundle on AA with a canonical metric, asserts that e⁡(X,L¯)>0e(X,\overline{L})>0 when XX is not the translate of an abelian subvariety by a torsion point ; it has been shown by Zhang [60].

Since hL¯​(P)=0h_{\overline{L}}(P)=0 for any algebraic point P∈A⁡(F¯)P\in A(\overline{F}) which is a torsion point, these theorems imply in turn a theorem of Raynaud [46, 47] (formerly, a conjecture of Manin and Mumford) that the torsion points lying in a subvariety XX of an abelian variety are not Zariski dense in XX, unless XX is itself the translate of an abelian subvariety by a torsion point.

The analogues of Bogomolov’s and Zhang’s conjecture in the geometric case is still open in general ; see [37, 21] and the references therein for partial results.

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