Uniform bound for the effective Bogomolov conjecture (Q514397)

The conjecture referred to in the title is the boundedness result for rational points of small height on a smooth curve \(C\) over a global field \(K=k(Y)\) proved by \textit{Z. Cinkir} [Invent. Math. 183, No. 3, 517--562 (2011; Zbl 1285.14029)]. The formula proved by Cinkir is rather precise and involves the modular invariants of the special fibres of \(f: C\to Y\): that is, the intersections of the image of \(Y\) in the moduli space of curves with the strata in the Deligne-Mumford boundary. The result here is a more uniform (but, in general, weaker) version of Cinkir's result that depends only on the genus \(g\) of~\(C\). The bound, on the lim~inf over all rational points of the heights associated with degree~\(1\) divisors on~\(C\), is of order \(g^{-3}\). The method is to examine in detail the possible fibres of \(f\) (after semi-stable reduction) and thus estimate the modular invariants: one should recall that the modular invariant \(\delta_i\) is essentially a count of nodes on the fibre occurring on components of genus~\(\geq i\).