Bogomolov conjecture for curves of genus 2 over function fields (Q1367055)

Let \(f: X\to Y\) be a generically smooth semistable curve of genus \(g\geq 2\) over a smooth projective curve \(Y\) over an algebraically closed field. Let \(\overline{K}\) be the algebraic closure of the function field of \(Y\) and \(C\) the generic fibre of \(f\). Let \(j: C(\overline{K})\to \text{Jac} (C)(\overline{K})\) be the Abel-Jacobi embedding with respect to the canonical line bundle of \(C\). Then Bogomolov's conjecture over function fields says that, if \(f\) is non-isotrivial, then the image of \(j\) is discrete in terms of the semi-norm \(\|\;\|_{NT}\) given by the Néron-Tate height pairing on \(\text{Jac} (C)(\overline{K})\). In another paper [see Compos. Math. 105, No. 2, 125-140 (1997)], \textit{A. Moriwaki} proved this conjecture under the assumption that the stable model of \(f:X\to Y\) has only geometrically irreducible fibres. In the present paper the author proves an effective version of Bogomolov's conjecture in the general case. To be more precise: For any \(P\in \text{Jac} (C)(\overline{K})\) and \(r\geq 0\) set \(B_C (P,r):= \{x\in C(\overline{K}): \| j(x)- P\|_{NT}\leq r\}\) and \(r_C(P):= -\infty\) if \(B_C(P,0)\) is infinite and \(r_C(P):= \sup\{r\geq 0: \#(B_C (P,r))< \infty\}\) otherwise. Then the main result of the paper is that there is an effectively calculated positive number \(r_0\) with \(\inf\{r_C (P)\}\geq r_0\) where the infimum is taken over all \(P\in \text{Jac} (C)(\overline{K})\).