A uniform quantitative Manin–Mumford theorem for curves over function fields

Abstract We prove that any smooth projective geometrically connected non-isotrivial curve of genus g ≥ 2 g 2 over a one-dimensional function field of any characteristic has at most 16 ⁢ g 2 + 32 ⁢ g + 124 16g^2+32g+124 torsion points for any Abel–Jacobi embedding of the curve into its Jacobian. The proof uses Zhang’s admissible pairing on curves, the arithmetic Hodge index theorem over function fields, and the metrized graph analogue of Elkies’ lower bound for the Green function. More generally, we prove an explicit Bogomolov-type result bounding the number of geometric points of small Néron–Tate height on the curve embedded into its Jacobian.