Jacobian variety
Let "C" be an algebraic curve of genus "g" at least two defined over a number field "K", let formula_1 denote the algebraic closure of "K", fix an embedding of "C" into its Jacobian variety "J", and let formula_2 denote the Néron-Tate height on "J" associated to an ample symmetric divisor. Then there exists an formula_3 such that the set